Professional Documents
Culture Documents
Compact Hausdorff Space: Equivalent Definitions in Tabular Format
Compact Hausdorff Space: Equivalent Definitions in Tabular Format
Definition
A topological
A topological space
space is
is said to be
No. Shorthand said to be
compact Hausdorff
compact
if ...
Hausdorff if ...
it is compact (i.e.,
every open cover
has a finite subcover)
Compact
and Hausdorff (i.e.,
1 and Fill this in later
any two distinct
Hausdorff
points can be
separated by disjoint
open subsets)
for any subset
of ,
is closed in
Closed iff a subset is closed iff
if and only if it
2 compact it is compact in the
is a compact
on subsets subspace topology
space in the
subspace
topology
for any
ultrafilter of
every ultrafilter
Ultrafilter , there is a
3 converges to a
formulation unique point
unique point.
such
that .
there exists a
Closed power such
it is homeomorphic
subspace that
to a closed
4 of has a closed
subspace of a
Tychonoff subspace
Tychonoff cube.
cube homeomorphic
to .
Metaproperties
Topospaces
Privacy • Desktop