Countably compact space
In mathematics a topological space is countably compact if every countable open cover has a finite subcover.
Examples
- The first uncountable ordinal (with the order topology) is an example of a countably compact space that is not compact.
Properties
- Every compact space is countably compact.
- A countably compact space is compact if and only if it is Lindelöf.
- A countably compact space is always limit point compact.
- For T1 spaces, countable compactness and limit point compactness are equivalent.
- For metrizable spaces, countable compactness, sequential compactness, limit point compactness and compactness are all equivalent.
- The example of the set of all real numbers with the standard topology shows that neither local compactness nor σ-compactness nor paracompactness imply countable compactness.
- The continuous image of a countably compact space is countably compact.
- Every countably compact space is pseudocompact.
- In a countably compact space, every locally finite family of nonempty subsets is finite.
- Every countably compact paracompact space is compact.[1]
gollark: It's generally possible to run LineageOS on at least some cheap Android devices, which is nice as I do not have to suffer the horrors of the manufacturer's software.
gollark: I've never actually lost any, I think my last one died due to a nonfunctional touchscreen and the one before that due to a defect with the charging port.
gollark: I mostly just buy cheap (~£120) phones, which means repair is hard but at least they can be replaced cheaply in two years when they inevitably break.
gollark: Something like that? In any case, it was allegedly vaguely better somehow but made repairs cost more.
gollark: Apple started the trend some years back of fusing the screen glass with the touchscreen digitizer or whatever it is so it's very expensive to replace if it cracks, since you have to replace the entire thing.
References
- James Munkres (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.