Hausdorff space
A Hausdorff space (or space) is a type of topological space in which points can be "cleanly separated" by neighborhoods. Specifically, for any two distinct points, there exist disjoint open sets containing each point. Consequently, Hausdorff property ensures that limits of sequences are unique when they exist.
Definitions
A topological space is Hausdorff, if for any two points
, there exists two disjoint open sets
,
, such that
and
.
Equivalent Definitions
Any convergent sequence in has at most one limit.
Properties
Subspaces of Hausdorff spaces are Hausdorff.
Proof.
Let with
Hausdorff. For
, there exist disjoint open sets
with
and
. Then
and
are disjoint open sets in
containing
and
.
□
Finite products of Hausdorff spaces are Hausdorff.
Proof.
Let be Hausdorff. Consider points
. There exists an index
with
.
Since is Hausdorff, choose disjoint open sets
containing
and
. Then
and
are disjoint open sets containing the two points.
□
Compact subsets of Hausdorff spaces are closed.
Proof.
Let be compact and
Hausdorff. For any
, for each
choose disjoint open sets
and
.
The collection covers
. By compactness, finitely many
cover
. Then
Examples
Every metric space is a Hausdorff space.
See also
Terminology
| Hausdorff space | espace de Hausdorff | hausdorff-Raum | ハウスドルフ空間 | Hausdorff 空间 · Hausdorff 空間 | 5 languages |
|
Submit a translation in your language
Choose a language, enter the translated term, and submit it for review.
Hausdorff space The translation form requires the Terminology site script.
|
|||||