Intermediate Value Theorem - Converse Is False

Converse Is False

A "Darboux function" is a real-valued function f that has the "intermediate value property", i.e., that satisfies the conclusion of the intermediate value theorem: for any two values a and b in the domain of f, and any y between f(a) and f(b), there is some c between a and b with 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 f : defined by f(x) = sin(1/x) for x > 0 and f(0) = 0. This function is not continuous at x = 0 because the limit of f(x) as x tends to 0 does not exist; yet the function has the intermediate value property. Another, more complicated example is given by the Conway base 13 function.

Historically, this intermediate value property has been suggested as a definition for continuity of real-valued functions; this definition was not adopted.

Darboux's theorem states that all functions that result from the differentiation of some other function on some interval have the intermediate value property (even though they need not be continuous).

Read more about this topic:  Intermediate Value Theorem

Famous quotes containing the words converse and/or false:

    “You are old, Father William,” the young man cried,
    “And life must be hastening away;
    You are cheerful, and love to converse upon death:
    Now tell me the reason, I pray.”

    “I am cheerful, young man,” Father William replied;
    “Let the cause thy attention engage;
    In the days of my youth I remembered my God,
    And He hath not forgotten my age.”
    Robert Southey (1774–1843)

    What makes all doctrines plain and clear?
    About two hundred pounds a year.
    And that which was proved true before
    Prove false again? Two hundred more.
    Samuel Butler (1612–1680)