Weak Hausdorff space

In mathematics, a weak Hausdorff space or weakly Hausdorff space is a topological space where the image of every continuous map from a compact Hausdorff space into the space is closed. The notion was introduced by M. C. McCord to remedy an inconvenience of working with the category of Hausdorff spaces. It is often used in tandem with compactly generated spaces in algebraic topology. For that, see the category of compactly generated weak Hausdorff spaces.

Their strictness as separation properties in increasing order is

• T₁: every single-point set is closed.
• Template:Nobr: the image of every path is closed.
• Template:Nobr: the image under a continuous map of a compact Hausdorff space is closed.
• Template:Nobr: every compact subset is closed.
• Template:Nobr: every compact subspace is Hausdorff.
• Template:Nobr: distinct points have disjoint neighborhoods.

These are further described in the below.

k-Hausdorff spaces

A Template:Visible anchor is a topological space which satisfies any of the following equivalent conditions:

1. Each compact subspace is Hausdorff.
2. The diagonal $\{(x,x):x\in X\}$ is k-closed in $X\times X.$
   • A subset $A\subseteq Y$ is Template:Visible anchor, if $A\cap K$ is closed in $K$ for each compact $K\subseteq Y.$
3. Each compact subspace is closed and strongly locally compact.
   • A space is Template:Visible anchor if for each $x\in X$ and each (not necessarily open) neighborhood $U\subseteq X$ of $x,$ there exists a compact neighborhood $V\subseteq X$ of $x$ such that $V\subseteq U.$

Properties

• A Hausdorff space is k-Hausdorff. For a space is Hausdorff if and only if the diagonal $\{(x,x):x\in X\}$ is closed in $X\times X,$ and each closed subset is a k-closed set.
• A k-Hausdorff space is KC. A Template:Visible anchor is a topological space in which every compact subspace is closed.
• A KC space is weak Hausdorff. For if $X$ is KC and $f:K\to X$ is a continuous map from a compact space $K,$ then $f(K)$ is compact, hence closed.
• To show that the coherent topology induced by compact Hausdorff subspaces preserves the compact Hausdorff subspaces and their subspace topology requires that the space be k-Hausdorff; weak Hausdorff is not enough. Hence k-Hausdorff can be seen as the more fundamental definition.

Δ-Hausdorff spaces

A Template:Visible anchor is a topological space where the image of every path is closed; that is, if whenever $f:[0,1]\to X$ is continuous then $f([0,1])$ is closed in $X.$ Every weak Hausdorff space is $\mathrm{\Delta }$-Hausdorff, and every $\mathrm{\Delta }$-Hausdorff space is a T₁ space. A space is Template:Visible anchor if its topology is the finest topology such that each map $f:{\mathrm{\Delta }}^n\to X$ from a topological $n$-simplex ${\mathrm{\Delta }}^n$ to $X$ is continuous. $\mathrm{\Delta }$-Hausdorff spaces are to $\mathrm{\Delta }$-generated spaces as weak Hausdorff spaces are to compactly generated spaces.

See also

• Template:Annotated link, a Hausdorff space where every continuous function from the space into itself has a fixed point.
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link