Hausdorff space

A Hausdorff space (or $\text{[math]}$ 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 $\text{[math]}$ is Hausdorff, if for any two points $\text{[math]}$ , there exists two disjoint open sets $\text{[math]}$ , $\text{[math]}$ , such that $\text{[math]}$ and $\text{[math]}$ .

Equivalent Definitions

Any convergent sequence in $\text{[math]}$ has at most one limit.

Properties

Property.

Subspaces of Hausdorff spaces are Hausdorff.

Proof

Let $\text{[math]}$ with $\text{[math]}$ Hausdorff. For $\text{[math]}$ , there exist disjoint open sets $\text{[math]}$ with $\text{[math]}$ and $\text{[math]}$ . Then $\text{[math]}$ and $\text{[math]}$ are disjoint open sets in $\text{[math]}$ containing $\text{[math]}$ and $\text{[math]}$ .

□

Property.

Finite products of Hausdorff spaces are Hausdorff.

Proof

Let $\text{[math]}$ be Hausdorff. Consider points $\text{[math]}$ . There exists an index $\text{[math]}$ with $\text{[math]}$ .

Since $\text{[math]}$ is Hausdorff, choose disjoint open sets $\text{[math]}$ containing $\text{[math]}$ and $\text{[math]}$ . Then $\text{[math]}$ and $\text{[math]}$ are disjoint open sets containing the two points.

□

Property.

Compact subsets of Hausdorff spaces are closed.

Proof

Let $\text{[math]}$ be compact and $\text{[math]}$ Hausdorff. For any $\text{[math]}$ , for each $\text{[math]}$ choose disjoint open sets $\text{[math]}$ and $\text{[math]}$ .

The collection $\text{[math]}$ covers $\text{[math]}$ . By compactness, finitely many $\text{[math]}$ cover $\text{[math]}$ . Then

$\text{[math]}$

is open, contains $\text{[math]}$ , and is disjoint from $\text{[math]}$ . Hence $\text{[math]}$ is closed.

□

Examples

Every metric space is a Hausdorff space.

Proof

HTTP-Response: 
Error 400: ! Text line contains an invalid character.
l.27 ...[midway, above, sloped] {\footnotesize ^^?
 (exit code 1)

Diagram-Code:
\documentclass[tikz,border=8pt]{standalone}
\usetikzlibrary{calc}
\usepackage{amsmath}
\begin{document}
\begin{tikzpicture}[scale=1.3]

\def\r{1.5}

\coordinate (x) at (0,0);

\def\ang{20}

\coordinate (y) at ({2*\r*cos(\ang)}, {2*\r*sin(\ang)});

\draw[fill=blue!25!cyan, opacity=0.2, dashed, thick] (x) circle (\r);
\draw[fill=blue!25!cyan, opacity=0.2, dashed, thick] (y) circle (\r);

\fill (x) circle (2pt);
\fill (y) circle (2pt);

\node[below left] at (x) {$x$};
\node[above right] at (y) {$y$};

\draw[black, dashed, thick]
(x) -- ({\r*cos(\ang)}, {\r*sin(\ang)})
node[midway, above, sloped] {\footnotesize };

\end{tikzpicture}
\end{document}

Let $\text{[math]}$ be a metric space, take two distinct points $\text{[math]}$ such that $\text{[math]}$ .

Consider open balls $\text{[math]}$ and $\text{[math]}$ where $\text{[math]}$ . The open balls are both open with $\text{[math]}$ and $\text{[math]}$ .