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 an open subset of the space that is regular under the subspace topology.
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. Equivalently, a space X is locally regular if and only if the collection of all open sets that are regular under the subspace topology forms a base for the topology on X.
Examples and properties
- Every locally regular T0 space is locally Hausdorff.
- A regular space is always locally regular.
- A locally compact Hausdorff space is regular, hence locally regular.
- A T1 space need not be locally regular as the set of all real numbers endowed with the cofinite topology shows.
gollark: It's not actually very powerful.
gollark: Oh, no, I just really underutilize it.
gollark: So basically zero load except for when I need to do something weird like compile things or transcode videos.
gollark: Mine mostly only run personal file storage, a wiki thing I use for notes, my website, random programming projects, Discord bots, and also an internet radio station for some reason.
gollark: That is a *lot* of servers and stuff.
See also
- Locally Hausdorff space
- Locally compact space
- Locally metrizable space
- Normal space
- Homeomorphism
- Locally normal space
References
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.