Namespaces
Variants
Actions

Difference between revisions of "Sequential space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: isbn link)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A [[Topological space|topological space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846201.png" /> such that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846202.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846203.png" /> (that is, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846204.png" /> is not closed), then there is a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846205.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846206.png" /> of points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846207.png" /> that converges to a point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846208.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s0846209.png" /> always implies that there is a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s08462010.png" /> of points from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s08462011.png" /> that converges to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s08462012.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084620/s08462013.png" /> is called a Fréchet–Urysohn space.
+
{{TEX|done}}{{MSC|54A20}}
 +
 
 +
A [[topological space]] $X$ such that if $A\subset X$ and $A\neq[A]$ (that is, the set $A$ is not closed), then there is a sequence $x_k$, $k=1,2,\dots,$ of points of $A$ that converges to a point of $[A]\setminus A$. If $x\in[A]\subset X$ always implies that there is a sequence $x_k$ of points from $A$ that converges to $x$, then $X$ is called a '''Fréchet–Urysohn space'''.
  
  
Line 5: Line 7:
 
====Comments====
 
====Comments====
 
Sequential spaces form a coreflective subcategory (see [[Reflective subcategory|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|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.
 
Sequential spaces form a coreflective subcategory (see [[Reflective subcategory|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|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.
 +
 +
Every Fréchet–Urysohn space is a sequential space.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Engelking,   "General topology" , Heldermann (1989)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Engelking, "General topology" , Heldermann (1989)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> Jerzy Kąkol, Wiesław Kubiś, Manuel López-Pellicer, "Descriptive topology in selected topics of functional analysis" Springer (2011) {{ISBN|978-1-4614-0528-3}} {{ZBL|1231.46002}}</TD></TR>
 +
</table>

Latest revision as of 13:12, 25 November 2023

2020 Mathematics Subject Classification: Primary: 54A20 [MSN][ZBL]

A topological space $X$ such that if $A\subset X$ and $A\neq[A]$ (that is, the set $A$ is not closed), then there is a sequence $x_k$, $k=1,2,\dots,$ of points of $A$ that converges to a point of $[A]\setminus A$. If $x\in[A]\subset X$ always implies that there is a sequence $x_k$ of points from $A$ that converges to $x$, then $X$ is called a Fréchet–Urysohn space.


Comments

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.

Every Fréchet–Urysohn space is a sequential space.

References

[a1] R. Engelking, "General topology" , Heldermann (1989)
[a2] Jerzy Kąkol, Wiesław Kubiś, Manuel López-Pellicer, "Descriptive topology in selected topics of functional analysis" Springer (2011) ISBN 978-1-4614-0528-3 Zbl 1231.46002
How to Cite This Entry:
Sequential space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Sequential_space&oldid=15285
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article