Namespaces
Variants
Actions

T 1-space

From Encyclopedia of Mathematics
Revision as of 17:24, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

attainable space

A topological space in which the closure of any one-point set coincides with itself. This is equivalent to the requirement that the intersection of all neighbourhoods of a point is identical with or that, for any two different points , there exist neighbourhoods and of them such that and , i.e. that the separation axiom holds.

Attainability, i.e. the property that holds, is a hereditary property: Any subspace of a -space is a -space, and a topology majorizing the topology of a -space is a -topology. Any -space (cf. Hausdorff space) is -space, but the converse is not true: There exist -spaces which are not -spaces. These include, for example, an infinite set with the topology in which the sets with finite complements are considered to be open.


Comments

A very important class of spaces that are but, as a rule, not are the spectra of rings with the Zariski topology, cf. Affine scheme.

References

[a1] R. Engelking, "General topology" , Heldermann (1989)
How to Cite This Entry:
T 1-space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=T_1-space&oldid=48945
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article