﻿

# 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 of the space that is regular under the subspace topology. A locally regular space is somewhere between a locally Hausdorff space and a locally compact Hausdorff space.

Formal definition

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

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

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

Examples and properties

* Every locally regular space is locally Hausdorff
* A locally compact Hausdorff space is always locally regular.
* A regular space is always locally regular
* A T1 space need not be locally regular as the set of all real numbers endowed with the cofinite topology shows.
* A 0-dimensional space is a topological space that has a base consisting entirely of open and closed sets. Every 0-dimensional locally regular space is regular

Theorems

Theorem 1

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

Proof

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

ee also

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

References

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• 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… …   Wikipedia

• Locally compact space — In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space.Formal definitionLet X be a topological space. The… …   Wikipedia

• Regular space — In topology and related fields of mathematics, regular spaces and T3 spaces are particularly convenient kinds of topological spaces.Both conditions are examples of separation axioms. Definitions Suppose that X is a topological space. X is a… …   Wikipedia

• Regular polytope — In mathematics, a regular polytope is a polytope whose symmetry is transitive on its flags, thus giving it the highest degree of symmetry. All its elements or j faces (for all 0≤ j ≤ n , where n is the dimension of the polytope) cells, faces and… …   Wikipedia

• Locally finite collection — In the mathematical field of topology, local finiteness is a property of collections of subsets of a topological space. It is fundamental in the study of paracompactness and topological dimension. A collection of subsets of a topological space X… …   Wikipedia

• Locally discrete collection — In mathematics, particularly topology, collections of subsets are said to be locally discrete if they look like they have precisely one element from a local point of view. The study of locally discrete collections is worthwile as Bing s… …   Wikipedia

• Locally finite measure — In mathematics, a locally finite measure is a measure for which every point of the measure space has a neighbourhood of finite measure.DefinitionLet ( X , T ) be a Hausdorff topological space and let Sigma; be a sigma; algebra on X that contains… …   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

• Regular representation — In mathematics, and in particular the theory of group representations, the regular representation of a group G is the linear representation afforded by the group action of G on itself. ignificance of the regular representation of a groupTo say… …   Wikipedia

• Space (mathematics) — This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… …   Wikipedia