In mathematics, in the field of topology, a topological space is said to be locally Hausdorff if every point has a neighbourhood that is a Hausdorff space under the subspace topology.

Examples and sufficient conditions

Properties

A space is locally Hausdorff exactly if it can be written as a union of Hausdorff open subspaces. And in a locally Hausdorff space each point belongs to some Hausdorff dense open subspace. Every locally Hausdorff space is T1. The converse is not true in general. For example, an infinite set with the cofinite topology is a T1 space that is not locally Hausdorff. Every locally Hausdorff space is sober. If G is a topological group that is locally Hausdorff at some point x \in G, then G is Hausdorff. This follows from the fact that if y \in G, there exists a homeomorphism from G to itself carrying x to y, so G is locally Hausdorff at every point, and is therefore T1 (and T1 topological groups are Hausdorff).