- Locally Hausdorff space
In
mathematics , in the field oftopology , atopological space is said to be locally Hausdorff if every point has an open neighbourhood that is Hausdorff under thesubspace topology .Here are some facts:
* Every
Hausdorff space is locally Hausdorff.
* Every locally Hausdorff space is T1.
* There are locally Hausdorff spaces where a sequence has more than one limit. This can never happen for a Hausdorff space.
* Theetale space for the sheaf of differentiable functions on adifferential manifold is not Hausdorff, but it is locally Hausdorff.
* AT1 space need not be locally Hausdorff; an example of this is an infinite set given the cofinite topology.
* Let "X" be a set given the particular point topology. Then "X" is locally Hausdorff at precisely one point. From the last example, it will follow that a set (with more than one point) given theparticular point topology is not atopological group . Note that if "x" is the 'particular point' of "X", and y is distinct from "x", then any set containing "y" that doesn't also contain "x" inherits the discrete topology and is therefore Hausdorff. However, no neighbourhood of "y" is actually Hausdorff so that the space cannot be locally Hausdorff at "y".
* An infinite set in the finite complement topology is neither Hausdorff nor locally Hausdorff.
* If "G" is a topological group that is locally Hausdorff at "x" for some point "x" of "G", then "G" is locally Hausdorff at every point. This follows from that fact that if "y" is a point of "G", there exists a homeomorphism from "G" to itself carrying "x" to "y"ee also
*
Hausdorff space
Wikimedia Foundation. 2010.