Compactness axioms

From Knowino
Jump to: navigation, search

In general topology, the important property of compactness has a number of related properties.

The definitions require some preliminary terminology. A cover of a set X is a family \mathcal{U} = \{ U_\alpha : \alpha \in A \} such that the union \bigcup_{\alpha \in A} U_\alpha is equal to X. A subcover is a subfamily which is again a cover \mathcal{S} = \{ U_\alpha : \alpha \in B \} where B is a subset of A. A refinement is a cover \mathcal{R} = \{ V_\beta : \beta \in B \} such that for each β in B there is an α in A such that V_\beta \subseteq U_\alpha. A cover is finite or countable if the index set is finite or countable. A cover is point finite if each element of X belongs to a finite numbers of sets in the cover. The phrase "open cover" is often used to denote "cover by open sets".

[edit] Definitions

We say that a topological space X is

Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools