﻿

Locally normal space

In mathematics, particularly topology, a topological space "X" is locally normal if intuitively it looks locally like a normal space. More precisely, a locally normal space satisfies the property that each point of the space belongs to a neighbourhood of the space that is normal under the subspace topology.

Formal definition

A topological space "X" is said to be locally normal if and only if each point, "x", of "X" has a neighbourhood that is normal under the subspace topology.

Note that not every neighbourhood of "x" has to be normal, but at least one neighbourhood of "x" has to be normal (under the subspace topology).

Note however, that if a space were called locally normal if and only if each point of the space belonged to a subset of the space that was normal under the subspace topology, then every topological space would be locally normal. This is because, the singleton {"x"} is vacuously normal and contains "x". Therefore, the definition is more restrictive.

Examples and properties

* Every locally normal space is locally regular and hence locally Hausdorff
* A locally compact Hausdorff space is always locally normal.
* A normal space is always locally normal
* A T1 space need not be locally normal as the set of all real numbers endowed with the cofinite topology shows.

Theorems

Theorem 1

If "X" is homeomorphic to "Y" and "X" is locally normal, then so is "Y".

Proof

This follows from the fact that the image of a normal space under a homeomorphism is always normal.

ee also

*Locally Hausdorff space
*Locally compact space
*Locally metrizable space
*Normal space
*Homeomorphism
*Locally regular space

References

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Locally regular space — In mathematics, particularly topology, a topological space X is locally regular if intuitively it looks locally like a regular space. More precisely, a locally regular space satisfies the property that each point of the space belongs to a subset… …   Wikipedia

• Normal space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology and related branches of mathematics, a no …   Wikipedia

• Normal bundle — In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Contents 1 Definition 1.1 Riemannian manifold 1.2 …   Wikipedia

• Space-filling curve — 3 iterations of a Peano curve construction, whose limit is a space filling curve. In mathematical analysis, a space filling curve is a curve whose range contains the entire 2 dimensional unit square (or more generally an N dimensional hypercube) …   Wikipedia

• Normal convergence — In mathematics normal convergence is a type of convergence for series of functions. Like absolute convergence, it has the useful property that it is preserved when the order of summation is changed. Contents 1 History 2 Definition 3 Distinctions …   Wikipedia

• Locally compact group — In mathematics, a locally compact group is a topological group G which is locally compact as a topological space. Locally compact groups are important because they have a natural measure called the Haar measure. This allows one to define… …   Wikipedia

• Normal family — In mathematics, with special application to complex analysis, a normal family is a pre compact family of continuous functions. Informally, this means that the functions in the family are not exceedingly numerous or widely spread out; rather, they …   Wikipedia

• Normal coordinates — In differential geometry, normal coordinates at a point p in a differentiable manifold equipped with a symmetric affine connection are a local coordinate system in a neighborhood of p obtained by applying the exponential map to the tangent space… …   Wikipedia

• Paracompact space — In mathematics, a paracompact space is a topological space in which every open cover admits a locally finite open refinement. Paracompact spaces are sometimes also required to be Hausdorff. Paracompact spaces were introduced by Dieudonné (1944).… …   Wikipedia

• Moore space (topology) — In mathematics, more specifically point set topology, a Moore space is a developable regular Hausdorff space. Equivalently, a topological space X is a Moore space if the following conditions hold: Any two distinct points can be separated by… …   Wikipedia