Contents
Locally Hausdorff space
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).
This article is derived from Wikipedia and licensed under CC BY-SA 4.0. View the original article.
Wikipedia® is a registered trademark of the
Wikimedia Foundation, Inc.
Bliptext is not
affiliated with or endorsed by Wikipedia or the
Wikimedia Foundation.