Extension To Semi-continuous Functions
If the continuity of the function f is weakened to semi-continuity, then the corresponding half of the boundedness theorem and the extreme value theorem hold and the values –∞ or +∞, respectively, from the extended real number line can be allowed as possible values. More precisely:
Theorem: If a function f : → [–∞,∞) is upper semi-continuous, meaning that
for all x in, then f is bounded above and attains its supremum.
Proof: If f(x) = –∞ for all x in, then the supremum is also –∞ and the theorem is true. In all other cases, the proof is a slight modification of the proofs given below. In the proof of the boundedness theorem, the upper semi-continuity of f at x only implies that the limit superior of the subsequence {f(xnk)} is bounded above by f(x) < ∞, but that is enough to obtain the contradiction. In the proof of the extreme value theorem, upper semi-continuity of f at d implies that the limit superior of the subsequence {f(dnk)} is bounded above by f(d), but this suffices to conclude that f(d) = M. ∎
Applying this result to −f proves:
Theorem: If a function f : → (–∞,∞] is lower semi-continuous, meaning that
for all x in, then f is bounded below and attains its infimum.
A real-valued function is upper as well as lower semi-continuous, if and only if it is continuous in the usual sense. Hence these two theorems imply the boundedness theorem and the extreme value theorem.
Read more about this topic: Extreme Value Theorem
Famous quotes containing the words extension and/or functions:
“We know then the existence and nature of the finite, because we also are finite and have extension. We know the existence of the infinite and are ignorant of its nature, because it has extension like us, but not limits like us. But we know neither the existence nor the nature of God, because he has neither extension nor limits.”
—Blaise Pascal (16231662)
“In todays world parents find themselves at the mercy of a society which imposes pressures and priorities that allow neither time nor place for meaningful activities and relations between children and adults, which downgrade the role of parents and the functions of parenthood, and which prevent the parent from doing things he wants to do as a guide, friend, and companion to his children.”
—Urie Bronfenbrenner (b. 1917)