§ Every continuous function on [a,b] attains a maximum
The high-level machinery proof:
- Continuous image of a compact set
[a, b]
under function f is a compact set f([a, b])
(1). - Compact set in R is closed (2) (Heine Borel).
- sup(f[a,b]) is a limit point of f([a,b]). (4:
sup
is a limit point). - Thus f([a,b]) (closed) contains sup(f([a,b]) (limit point) (5: closed set contains all limit points).
- Thus f attains maxima sup(f([a,b])) on [a,b].
§ (1) Continuous image of compact set is compact
- Let f:A→B be a continuous function. Let C⊆A be a compact set.
- Need to show f(C) is compact.
- Take any open cover {Vi} of f(C). Need finite subcover.
- Pullback Vi: Let Ui≡f−1(Vi). Each Ui open as f is continuous. {Ui=f−1(Vi)} cover C since {Vi} cover f(C).
- Extract finite subcover {Uj:j∈J} for finite set J.
- Push forward finite subcover: {Vj:j∈J} cover f(C) as Uj cover C.