Difference between revisions of "Compact"
From Queer Beagle Wiki
Kfagerstrom (talk | contribs)  (Created page with " (EVT = Extreme Value Theorem):")  | 
				Kfagerstrom (talk | contribs)   | 
				||
| Line 1: | Line 1: | ||
| − |   (EVT = Extreme Value Theorem):  | + |   (EVT = Extreme Value Theorem)  | 
| + | |||
| + | A continuous image of a compact space is compact. That is, if X,Y are topological spaces, and if X is compact and f: X → Y is a continuous surjective function, then Y is compact.  | ||
Revision as of 19:06, 7 December 2022
(EVT = Extreme Value Theorem)
A continuous image of a compact space is compact. That is, if X,Y are topological spaces, and if X is compact and f: X → Y is a continuous surjective function, then Y is compact.