Sequential space

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

A topological space such that if and (that is, the set is not closed), then there is a sequence , of points of that converges to a point of . If always implies that there is a sequence of points from that converges to , then is called a Fréchet–Urysohn space.


Sequential spaces form a coreflective subcategory (see Reflective subcategory) of the category of all topological spaces; the coreflection is obtained by retopologizing an arbitrary space with the topology in which a subset is closed if and only if it is closed under limits of sequences (in the original topology). Spaces which satisfy the first axiom of countability are always sequential (indeed, they are Fréchet–Urysohn spaces), and the sequential spaces form the smallest coreflective subcategory containing all first-countable spaces. For this reason, many topological results which are traditionally proved for first-countable spaces can readily be extended to sequential spaces.


[a1] R. Engelking, "General topology" , Heldermann (1989)
How to Cite This Entry:
Sequential space. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article