- Continuity property
mathematics, the continuity property may be presented as follows.
:Suppose that "f" : ["a", "b"] → R is a
continuous function. Then the image "f"( ["a", "b"] ) is a closed bounded interval.
The theorem is the combination of the
intermediate value theoremand the extreme value theorem, comprising the three assertions:
# The image "f"( ["a", "b"] ) is an interval.
# This image is bounded.
# This image interval is closed, so "f" attains both its bounds.
The first assertion is broadly the intermediate value theorem; the latter two are equivalent to the extreme value theorem.
Proof of assertion 1
Intermediate value theorem#Proof
Proof of assertion 2
Extreme value theorem#Proof of the boundedness theorem
Proof of assertion 3
Extreme value theorem#Proof of the extreme value theorem
It is important to note that this theorem only applies to continuous real functions. It does not apply to functions with
function domainthe rational numbers. As the rationals do not satisfy the least upper bound axiom, they are not complete.
To illustrate, this consider
f would obtain its maximum value at but this is not in the set.
If f is not continuous consider as a counterexample
This is unbounded, but [0,1] is bounded.
Further, one should carefully note that the set must be closed, otherwise the maximum and minimum values might not be obtained.
* Binmore, K. G. "Mathematical Analysis: A Straightforward Approach", Cambridge University Press, (1982). ISBN 0521288827.
Wikimedia Foundation. 2010.