Content deleted Content added
→See also: unhelpful |
→Converse is false: fix redirect |
||
Line 91:
A [[Darboux function]] is a real-valued function {{mvar|f}} that has the "intermediate value property," i.e., that satisfies the conclusion of the intermediate value theorem: for any two values {{mvar|a}} and {{mvar|b}} in the ___domain of {{mvar|f}}, and any {{mvar|y}} between {{math|''f''(''a'')}} and {{math|''f''(''b'')}}, there is some {{mvar|c}} between {{mvar|a}} and {{mvar|b}} with {{math|1=''f''(''c'') = ''y''}}. The intermediate value theorem says that every continuous function is a Darboux function. However, not every Darboux function is continuous; i.e., the converse of the intermediate value theorem is false.
As an example, take the function {{math|''f'' : [0, ∞) → [−1, 1]}} defined by {{math|1=''f''(''x'') = sin(1/''x'')}} for {{math|''x'' > 0}} and {{math|1=''f''(0) = 0}}. This function is not continuous at {{math|1=''x'' = 0}} because the [[limit of a function|limit]] of {{math|1=''f''(''x'')}} as {{mvar|x}} tends to 0 does not exist; yet the function has the intermediate value property. Another, more complicated example is given by
In fact, [[Darboux's theorem (analysis)|Darboux's theorem]] states that all functions that result from the [[derivative|differentiation]] of some other function on some interval have the [[intermediate value property]] (even though they need not be continuous).
| |||