Jump to content

Hausdorff space

From Mathepedia, the mathematical encyclopedia

Revision as of 23:26, 16 July 2026 by {{GENDER:InfernalAtom683|

Mathepedia render error: ! Extra }, or forgotten $. l.8 '"2} } No pages of output. Transcript written on /var/lib/mathepedia-renderer/cache/mathepedia-cbb0e139328 50b9fe4e18f60e540979921293739af0280a15eb127d1c1c6428f-fkr1ovtr/diagram.log.

'"7

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This article belongs to Topology
This article belongs to
Topology
2,310 articles
The study of spaces, continuity, and deformation

A Hausdorff space (or LaTeX 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

Definition.

A topological space LaTeX is Hausdorff, if for any two points LaTeX, there exists two disjoint open sets LaTeX, LaTeX, such that LaTeX and LaTeX.

Equivalent Definitions

Any convergent sequence in LaTeX has at most one limit.

Properties

Property.

Subspaces of Hausdorff spaces are Hausdorff.

Proof.

Let LaTeX with LaTeX Hausdorff. For LaTeX, there exist disjoint open sets LaTeX with LaTeX and LaTeX. Then LaTeX and LaTeX are disjoint open sets in LaTeX containing LaTeX and LaTeX.

Property.

Finite products of Hausdorff spaces are Hausdorff.

Proof.

Let LaTeX be Hausdorff. Consider points LaTeX. There exists an index LaTeX with LaTeX.

Since LaTeX is Hausdorff, choose disjoint open sets LaTeX containing LaTeX and LaTeX. Then LaTeX and LaTeX are disjoint open sets containing the two points.

Property.

Compact subsets of Hausdorff spaces are closed.

Proof.

Let LaTeX be compact and LaTeX Hausdorff. For any LaTeX, for each LaTeX choose disjoint open sets LaTeX and LaTeX.

The collection LaTeX covers LaTeX. By compactness, finitely many LaTeX cover LaTeX. Then

LaTeX
is open, contains LaTeX, and is disjoint from LaTeX. Hence LaTeX is closed.

Examples

Example.

Every metric space is a Hausdorff space.

See also

Terminology

The following table lists the principal terms used in this article.
English
Français
Deutsch
日本語
中文
More
Hausdorff space espace de Hausdorff hausdorff-Raum ハウスドルフ空間 Hausdorff 空间 · Hausdorff 空間 5 languages
No additional translations are available yet.
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.