If f: X ---> Y is a continuous map of topological spaces and X is compact, then f(X) is compact.
Suppose that is an open cover of f(X) by sets open in Y.
By continuity of f, is open in X for every U in
The collection is an open cover of X, since for any x in X, f(X) must belong to some U in
By compactness of X, there is a finite subcover, hence is a finite subcover of for f(X).
I'm preparing proofs for my exam, and I was just wondering if anyone could please explain how this proof would alter if the question was:
Show that if K is a compact subset of X and f is continuous, then f(K) is compact in Y.
I'm thinking the proof would just stay the same since it is just a subset?
Thanks in advance!
Yeah the same basic structure works, but you gotta specify about being open in which topology, with subspaces running around.
For instance take any open covering of F(K) with sets open in Y (this is important because continuity of f is w.r.t. the topology on Y). Pull back, its still an open cover by continuity and set inclusion invariance under pullbacks of continuous maps. K is compact so yeah just pick the finite subcover, then send that stuff back into Y and it will still cover K, but it is finite now, and they are still a subset of the original collection of open sets. (perhaps an argument should be made here about the open sets still being the same you know like why is ).
But yeah it is pretty much exactly the same, just want to stress that you just gotta at least state where the sets are open when dealing with subsets like this generally.