> [!definition] > > Let $(X, \topo)$ be a [[Topological Space|topological space]]. $(X, \topo)$ is a **Hausdorff space** if > $ > \forall a, b \in X, \exists A, B \in \topo: a \in A, b \in B, A \cap B = \emptyset > $ > for any two points in $X$, there exists [[Open Set|open sets]] that contain each, but have no points in common. > [!theorem] > > Let $\bracs{(X_i, \topo_i)}_{i \in I}$ be a family of topological spaces and $(X, \topo)$ be their [[Product Topology|product topology]]. If $(X_i, \topo_i)$ is Hausdorff for each $i \in I$, then $(X, \topo)$ is also Hausdorff. > > *Proof*. Let $x, y \in X$, $x \ne y$. Then there exists $i \in I$ such that $\pi_i(x) \ne \pi_i(y)$. Since $(X_i, \topo_i)$ is Hausdorff, there exists disjoint open sets $U_i, V_i$ such that $\pi_i(x) \in U_i, \pi_i(y) \in V_i$. As the projection maps are [[Continuity|continuous]] $\pi_i^{-1}(U_i)$ and $\pi_i^{-1}(V_i)$ are disjoint open sets such that $x \in \pi_i^{-1}(U_i)$ and $y \in \pi_i^{-1}(V_i)$. Therefore $(X,\topo)$ is also Hausdorff. > [!theorem] > > Let $(X, \topo)$ be a Hausdorff space, $F$ [[Compactness|compact]] and $x \not\in F$. Then there exists disjoint open sets $U, V$ such that $x \in U$, $F \subset V$. > > *Proof*. For all $y \in F$, and take disjoint $U_y$ and $V_y$ such that $x \in U_y$ and $y \in V_y$. Then $\bracs{V_y}_{y \in F}$ is an open cover of $F$, and has a finite subcover $\bracs{V_i}_{1}^{n}$. Let $U = \bigcap_{i = 1}^{n}U_i$ and $V = \bigcup_{i = 1}^{n}V_i$, then $U, V$ are disjoint with $x \in U$ and $F \subset V$. > [!theorem] > > Let $(X, \topo)$ be a Hausdorff space and $F$ be a compact set, then $F$ is [[Closed Set|closed]]. > > *Proof*. Let $x \not\in F$, then there exists $U$ open that separates $x$ from $F$. Therefore $F^c$ is open and $F$ is closed. > [!theorem] > > Let $(X, \topo)$ be a [[Compactness|compact]] Hausdorff space, then $X$ is [[Normal Space|normal]]. > > *Proof*. Let $E, F$ be closed sets, then they are also compact. For each $x \in E$, choose $U_x, V_x$ disjoint such that $x \in U_x$, $F \subset V_x$. Then $\bracs{U_x}_{x \in E}$ is an open cover of $E$, and has a finite subcover $\bracs{U_i}_{1}^{n}$. Let $U = \bigcup_{i = 1}^{n}U_i$ and $V = \bigcap_{i = 1}^{n}V_i$, then $U, V$ are disjoint with $E \subset U$, $F \subset V$. > [!theorem] > > Let $X$ be a topological space. $X$ is **Hausdorff** if and only if every [[Net|net]] in $X$ converges to at most one point. > > *Proof*. Suppose that $X$ is Hausdorff and let $\net{x}$ be a net such that $x_\alpha \to x$. Let $y \ne x$, then there exists $U \in \cn(x)^o$ and $V \in \cn(y)^o$ such that $U \cap V = \emptyset$. Since $x_\alpha \to x$, there exists $\beta \in A$ such that $x_\alpha \in U, x_\alpha \not \in V$ for all $\alpha \gtrsim \beta$. Therefore $\net{x}$ is not eventually in $V$, and $x_\alpha \not\to y$. > > Suppose that $X$ is not Hausdorff. Let $x \ne y$ such that there exists no disjoint open neighbourhoods that separate them. Consider the [[Directed Set|directed set]] $\cn(x)^o \times \cn(y)^o$. For each $\alpha = (U, V)$ where $U \in \cn(x)^o$ and $V \in \cn(y)^0$, choose $x_\alpha \in U \cap V$, which is possible since $x$ and $y$ have no disjoint neighbourhoods. Then for any $U \in \cn(x)^o$, $x_{(U',V)} \in U$ for all $(U', V) \gtrsim (U, X)$. For any $V \in \cn(y)^o$, $x_{(U, V')} \in V$ for all $(U, V') \gtrsim (X, V)$. Therefore $x_\alpha \to x$ and $x_\alpha \to y$, and the limit is not unique.