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: The experimental HTTP/3 support isn't really working out, so I might just switch back to the arch repos' nginx.
gollark: They *are* quite well-documented as mostly using horrible hybrids of nginx (400 lines of config now, and also I had to compile a custom build myself), Python, Node.js, and some static site compilers.
gollark: And I *did* use Golang in my foolish youth.
gollark: Palaiologos is clearly trying to deflect from the real point here, which is that they secretly use rust for all things.
gollark: As you're my alt, and that means you're also me, and I like Rust and dislike C, you obviously must like rust and dislike C, but be too ashamed to admit it.
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.