Espacio topológico caracterizado por secuencias
En topología y campos relacionados de las matemáticas , un espacio secuencial es un espacio topológico cuya topología se puede caracterizar completamente por sus secuencias convergentes/divergentes. Se los puede considerar como espacios que satisfacen un axioma muy débil de numerabilidad , y todos los espacios de primer orden (en particular los espacios métricos ) son secuenciales.
En cualquier espacio topológico, si una secuencia convergente está contenida en un conjunto cerrado , entonces el límite de esa secuencia también debe estar contenido en él . Los conjuntos con esta propiedad se conocen como secuencialmente cerrados . Los espacios secuenciales son precisamente aquellos espacios topológicos para los cuales los conjuntos secuencialmente cerrados son, de hecho, cerrados. (Estas definiciones también pueden reformularse en términos de conjuntos secuencialmente abiertos; véase más adelante). Dicho de otra manera, cualquier topología puede describirse en términos de redes (también conocidas como secuencias de Moore-Smith), pero esas secuencias pueden ser "demasiado largas" (indexadas por un ordinal demasiado grande) para comprimirlas en una secuencia. Los espacios secuenciales son aquellos espacios topológicos para los cuales las redes de longitud contable (es decir, las secuencias) son suficientes para describir la topología.
![{\estilo de visualización C,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cualquier topología se puede refinar (es decir, hacer más fina) hasta convertirse en una topología secuencial, llamada correflexión secuencial de![{\estilo de visualización X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los conceptos relacionados de espacios de Fréchet-Urysohn , espacios T -secuenciales y espacios -secuenciales también se definen en términos de cómo la topología de un espacio interactúa con las secuencias, pero tienen propiedades sutilmente diferentes.![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los espacios secuenciales y los espacios -secuenciales fueron introducidos por SP Franklin . [1]![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Historia
Aunque los espacios que satisfacen tales propiedades se habían estudiado implícitamente durante varios años, la primera definición formal se debe a SP Franklin en 1965. Franklin quería determinar "las clases de espacios topológicos que pueden especificarse completamente mediante el conocimiento de sus secuencias convergentes", y comenzó investigando los espacios de primer orden , para los que ya se sabía que las secuencias eran suficientes. Franklin llegó entonces a la definición moderna abstrayendo las propiedades necesarias de los espacios de primer orden.
Definiciones preliminares
Sea un conjunto y sea una secuencia en ; es decir, una familia de elementos de , indexada por los números naturales . En este artículo, significa que cada elemento de la secuencia es un elemento de y, si es una función, entonces Para cualquier índice la cola de comenzando en es la secuencia Una secuencia está eventualmente en si alguna cola de satisface![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}=\left(x_{i}\right)_{i=1}^{\infty}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}\subseteq S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x_{\bullet }\right)=\left(f\left(x_{i}\right)\right)_{i=1}^{\infty }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización yo,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\geq i}=(x_{i},x_{i+1},x_{i+2},\ldots ){\text{.}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\geq i}\subseteq S.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea una topología sobre y una secuencia en ella. La secuencia converge a un punto escrito (cuando el contexto lo permite, ), si, para cada entorno de eventualmente está en se llama entonces un punto límite de![{\estilo de visualización \tau}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet} {\overset {\tau} {\to}}x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}\to x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\in \tau }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una función entre espacios topológicos es secuencialmente continua si implica![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}\to x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x_{\bullet })\a f(x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cierre secuencial/interior
Sea un espacio topológico y sea un subconjunto. La clausura topológica ( o interior topológico ) de en se denota por (o interior ).![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {cl}_{X}S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nombre del operador {int} _{X}S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El cierre secuencial de en es el conjunto que define un mapa, el operador de cierre secuencial , sobre el conjunto potencia de Si es necesario para mayor claridad, este conjunto también puede escribirse o Siempre es el caso que pero lo inverso puede fallar.![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {scl} (S)=\left\{x\in X:{\text{existe una secuencia }}s_{\bullet }\subseteq S{\text{ tal que }}s_{\bullet }\to x\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {scl}_{X}(S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {scl} _{(X,\tau )}(S).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nombreoperador {scl} _{X}S\subseteq \nombreoperador {cl} _{X}S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El interior secuencial de in es el conjunto (el espacio topológico nuevamente indicado con un subíndice si es necesario).![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {sint} (S)=\{s\in S:{\text{siempre que }}x_{\bullet }\subseteq X{\text{ y }}x_{\bullet }\to s,{\text{ entonces }}x_{\bullet }{\text{ está eventualmente en }}S\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El cierre secuencial y el interior satisfacen muchas de las buenas propiedades del cierre topológico y el interior: para todos los subconjuntos![{\displaystyle R,S\subseteq X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y ;![{\displaystyle \operatorname {sint} _{X}(X\setminus S)=X\setminus \operatorname {scl} _{X}(S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y ;![{\displaystyle \operatorname {sint} (\conjunto vacío )=\conjunto vacío }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
;
; y![{\textstyle \operatorname {scl} (S)\subseteq \operatorname {scl} (\operatorname {scl} (S)).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es decir, el cierre secuencial es un operador de preclausura . A diferencia del cierre topológico, el cierre secuencial no es idempotente : la última contención puede ser estricta. Por lo tanto, el cierre secuencial no es un operador de clausura (de Kuratowski ) .
Conjuntos cerrados y abiertos secuencialmente
Un conjunto es secuencialmente cerrado si ; equivalentemente, para todos y tales que debemos tener [nota 1]![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S=\nombre del operador {scl} (S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s_{\bullet}\subseteq S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s_{\bullet} {\overset {\tau} {\to}}x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en S.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Se define que un conjunto es secuencialmente abierto si su complemento es secuencialmente cerrado. Las condiciones equivalentes incluyen:![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o- Para todo y tal que eventualmente está en (es decir, existe algún entero tal que la cola ).
![{\displaystyle x_{\bullet}\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\en S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet} {\overset {\tau} {\to}}s,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización i}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\geq i}\subseteq S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un conjunto es un vecindario secuencial de un punto si contiene en su interior secuencial; los vecindarios secuenciales no necesitan ser secuencialmente abiertos (ver § Espacios T y N-secuenciales más abajo).![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es posible que un subconjunto de sea secuencialmente abierto pero no abierto. De manera similar, es posible que exista un subconjunto secuencialmente cerrado que no sea cerrado.![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Espacios secuenciales y correflexión
Como se discutió anteriormente, el cierre secuencial no es en general idempotente, y por lo tanto no es el operador de cierre de una topología. Se puede obtener un cierre secuencial idempotente mediante iteración transfinita : para un ordinal sucesor define (como es habitual) y, para un ordinal límite define Este proceso da una secuencia creciente de conjuntos indexada por ordinales; como resulta, esa secuencia siempre se estabiliza por índice (el primer ordinal incontable ). A la inversa, el orden secuencial de es el ordinal mínimo en el que, para cualquier elección de la secuencia anterior se estabilizará. [2]![{\displaystyle \alpha +1,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización \alfa ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\operatorname {scl} )^{\alpha }(S)=\bigcup _{\beta <\alpha }{(\operatorname {scl} )^{\beta }(S)}{\text{.}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \omega _{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El cierre secuencial transfinito de es el conjunto terminal en la secuencia anterior: El operador es idempotente y, por lo tanto, un operador de cierre . En particular, define una topología, la correflexión secuencial. En la correflexión secuencial, todo conjunto secuencialmente cerrado es cerrado (y todo conjunto secuencialmente abierto es abierto). [3]![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\operatorname {scl} )^{\omega _{1}}(S).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\operatorname {scl} )^{\omega _{1}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Espacios secuenciales
Un espacio topológico es secuencial si satisface cualquiera de las siguientes condiciones equivalentes:![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es su propia correflexión secuencial. [4]- Cada subconjunto secuencialmente abierto de es abierto.
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Todo subconjunto secuencialmente cerrado de es cerrado.
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para cualquier subconjunto que no esté cerrado en existe algún [nota 2] y una secuencia en que converge a [5]
![{\displaystyle S\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\in \operatorname {cl} (S)\setminus S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- (Propiedad universal) Para cada espacio topológico, una función es continua si y sólo si es secuencialmente continua (si entonces ). [6]
![{\estilo de visualización Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet}\to x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es el cociente de un espacio primer contable.
es el cociente de un espacio métrico.
Al tomar y como la función identidad en la propiedad universal, se sigue que la clase de espacios secuenciales consiste precisamente en aquellos espacios cuya estructura topológica está determinada por sucesiones convergentes. Si dos topologías coinciden en sucesiones convergentes, entonces necesariamente tienen la misma correflexión secuencial. Además, una función de es secuencialmente continua si y solo si es continua en la correflexión secuencial (es decir, cuando está precompuesta con ).![{\displaystyle Y=X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
yo- ynorte-espacios secuenciales
Un espacio T -secuencial es un espacio topológico con orden secuencial 1, que es equivalente a cualquiera de las siguientes condiciones: [1]
- El cierre secuencial (o interior) de cada subconjunto de está secuencialmente cerrado (resp. abierto).
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o son idempotentes.![{\displaystyle \nombreoperador {sint} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o![{\textstyle \operatorname {sint} (S)=\bigcup _{{\text{abierto secuencialmente}}U\subseteq S}{U}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Cualquier vecindario secuencial de puede reducirse a un conjunto secuencialmente abierto que contiene ; formalmente, los vecindarios secuencialmente abiertos son una base de vecindario para los vecindarios secuenciales.
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para cualquier y cualquier vecindad secuencial de existe una vecindad secuencial de tal que, para cada conjunto es una vecindad secuencial de
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m\en M,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización m.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ser un espacio T -secuencial no es comparable con ser un espacio secuencial; hay espacios secuenciales que no son T -secuenciales y viceversa. Sin embargo, un espacio topológico se denomina -secuencial (o vecindad-secuencial ) si es tanto secuencial como T -secuencial. Una condición equivalente es que cada vecindad secuencial contenga una vecindad abierta (clásica). [1]![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todo espacio numerable (y por lo tanto todo espacio metrizable ) es secuencial. Existen espacios vectoriales topológicos que son secuenciales pero no secuenciales (y por lo tanto no T secuenciales). [1]
![{\estilo de visualización N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Espacios de Fréchet-Urysohn
Un espacio topológico se llama Fréchet-Urysohn si satisface alguna de las siguientes condiciones equivalentes:![{\displaystyle (X,\tau )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es hereditariamente secuencial; es decir, cada subespacio topológico es secuencial.- Para cada subconjunto
![{\displaystyle \operatorname {scl} _{X}S=\operatorname {cl} _{X}S.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para cualquier subconjunto que no esté cerrado en y existe una secuencia en que converge a
![{\displaystyle S\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\in \left(\operatorname {cl} _{X}S\right)\setminus S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A los espacios de Fréchet-Urysohn también se les llama a veces "Fréchet", pero no deben confundirse ni con los espacios de Fréchet en el análisis funcional ni con la condición T 1 .
Ejemplos y condiciones suficientes
Todo complejo CW es secuencial, ya que puede considerarse como un cociente de un espacio métrico.
El espectro principal de un anillo noetheriano conmutativo con la topología de Zariski es secuencial. [7]
Toma la recta real e identifica el conjunto de los números enteros hasta un punto. Como cociente de un espacio métrico, el resultado es secuencial, pero no es numerable en primer lugar.![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todo espacio de primer orden contable es de Fréchet-Urysohn y todo espacio de Fréchet-Urysohn es secuencial. Por lo tanto, todo espacio metrizable o pseudometrizable —en particular, todo espacio de segundo orden contable , espacio métrico o espacio discreto— es secuencial.
Sea un conjunto de aplicaciones de espacios de Fréchet–Urysohn a Entonces la topología final que induce en es secuencial.![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un espacio vectorial topológico de Hausdorff es secuencial si y sólo si no existe una topología estrictamente más fina con las mismas secuencias convergentes. [9]
Espacios que son secuenciales pero no Fréchet-Urysohn
El espacio de Schwartz y el espacio de funciones suaves , como se analiza en el artículo sobre distribuciones , son espacios secuenciales ampliamente utilizados. [10] [11]![{\displaystyle {\mathcal {S}}\left(\mathbb {R} ^{n}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De manera más general, todo espacio DF de Montel de dimensión infinita es secuencial, pero no de Fréchet-Urysohn .
El espacio de Arens es secuencial, pero no el de Fréchet-Urysohn. [12] [13]
No ejemplos (espacios que no son secuenciales)
El espacio más simple que no es secuencial es la topología cocontable sobre un conjunto incontable. Toda sucesión convergente en dicho espacio es eventualmente constante; por lo tanto, todo conjunto es secuencialmente abierto. Pero la topología cocontable no es discreta . (Se podría llamar a la topología "secuencialmente discreta"). [14]
Sea el espacio de funciones de prueba -suaves con su topología canónica y sea el espacio de distribuciones, el espacio dual fuerte de ; ninguno es secuencial (ni siquiera un espacio de Ascoli). [10] [11] Por otra parte, tanto y son espacios de Montel [15] y, en el espacio dual de cualquier espacio de Montel, una secuencia de funcionales lineales continuos converge en la topología dual fuerte si y solo si converge en la topología débil* (es decir, converge puntualmente). [10]
![{\estilo de visualización k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}'(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{c}^{\infty }(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{c}^{\infty }(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}'(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Consecuencias
Todo espacio secuencial tiene estrechez contable y se genera de forma compacta .
Si es una sobreyección abierta continua entre dos espacios secuenciales de Hausdorff entonces el conjunto de puntos con preimagen única es cerrado. (Por continuidad, también lo es su preimagen en el conjunto de todos los puntos en los que es inyectiva.)
![{\displaystyle \{y:{|f^{-1}(y)|=1}\}\subseteq Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es una función sobreyectiva (no necesariamente continua) sobre un espacio secuencial de Hausdorff y bases para la topología en entonces es una función abierta si y sólo si, para cada vecindad básica de y secuencia en hay una subsecuencia de que eventualmente está en ![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\to Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\in {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{\bullet}=\left(y_{i}\right)_{i=1}^{\infty}\to f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{\bullet}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización f(B).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades categóricas
La subcategoría completa Seq de todos los espacios secuenciales se cierra bajo las siguientes operaciones en la categoría Top de espacios topológicos:
La categoría Seq no está cerrada bajo las siguientes operaciones en Top :
- Imágenes continuas
- Subespacios
- Productos finitos
Los espacios secuenciales, al estar cerrados bajo sumas y cocientes topológicos, forman una subcategoría correflectiva de la categoría de espacios topológicos . De hecho, son la envoltura correflectiva de los espacios metrizables (es decir, la clase más pequeña de espacios topológicos cerrados bajo sumas y cocientes y que contienen a los espacios metrizables).
La subcategoría Seq es una categoría cartesiana cerrada respecto de su propio producto (no el de Top ). Los objetos exponenciales están dotados de la topología (secuencia convergente)-abierta.
PI Booth y A. Tillotson han demostrado que Seq es la subcategoría cartesiana cerrada más pequeña de Top que contiene los espacios topológicos subyacentes de todos los espacios métricos , complejos CW y variedades diferenciables y que está cerrada bajo colimites, cocientes y otras "ciertas identidades razonables" que Norman Steenrod describió como "convenientes". [17]
Todo espacio secuencial se genera de forma compacta , y los productos finitos en Seq coinciden con los de los espacios generados de forma compacta, ya que los productos de la categoría de espacios generados de forma compacta preservan los cocientes de los espacios métricos.
Véase también
Notas
Citas
- ^ abcd Snipes, Ray (1972). "Espacios topológicos T-secuenciales" (PDF) . Fundamenta Mathematicae . 77 (2): 95–98. doi :10.4064/fm-77-2-95-98. ISSN 0016-2736.
- ^ * Arhangel'skiĭ, AV; Franklin, SP (1968). "Invariantes ordinales para espacios topológicos". Michigan Math. J. 15 ( 3): 313–320. doi : 10.1307/mmj/1029000034 .
- ^ Baron, S. (octubre de 1968). "La subcategoría coreflectiva de los espacios secuenciales". Canadian Mathematical Bulletin . 11 (4): 603–604. doi : 10.4153/CMB-1968-074-4 . ISSN 0008-4395. S2CID 124685527.
- ^ "¿La topología de conjuntos secuencialmente abiertos es secuencial?". Mathematics Stack Exchange .
- ^ Arkhangel'skii, AV y Pontryagin LS, Topología general I, definición 9 p.12
- ^ Baron, S.; Leader, Solomon (1966). "Solución al problema n.° 5299". The American Mathematical Monthly . 73 (6): 677–678. doi :10.2307/2314834. ISSN 0002-9890. JSTOR 2314834.
- ^ "Sobre las propiedades secuenciales de los espacios topológicos noetherianos" (PDF) . 2004. Consultado el 30 de julio de 2023 .
- ^ Dudley, RM, Sobre la convergencia secuencial - Transactions of the American Mathematical Society Vol 112, 1964, pp. 483-507
- ^ abc Gabrielyan, Saak (2019). "Propiedades topológicas de espacios estrictos y duales fuertes de espacios estrictos de Montel". Revista de Matemáticas . 189 (1): 91–99. arXiv : 1702.07867 . doi :10.1007/s00605-018-1223-6.
![{\estilo de visualización (LF)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización (LF)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ ab T. Shirai, Sur les Topologies des Espaces de L. Schwartz, Proc. Académico de Japón. 35 (1959), 31-36.
- ^ Engelking 1989, Ejemplo 1.6.19
- ^ Ma, Dan (19 de agosto de 2010). "Una nota sobre el espacio de Arens" . Consultado el 1 de agosto de 2013 .
- ^ matemáticas; Sleziak, Martin (6 de diciembre de 2016). "Ejemplo de diferentes topologías con las mismas secuencias convergentes". Intercambio de pila de matemáticas . StackOverflow . Consultado el 27 de junio de 2022 .
- ^ "Espacio vectorial topológico". Enciclopedia de Matemáticas . Consultado el 6 de septiembre de 2020.
Es un espacio de Montel, por lo tanto paracompacto y, por lo tanto, normal.
- ^ Steenrod 1967
Referencias
- Arkhangel'skii, AV y Pontryagin, LS, Topología general I , Springer-Verlag, Nueva York (1990) ISBN 3-540-18178-4 .
- Arkhangel'skii, AV (1966). "Mappings and spaces" (PDF) . Russian Mathematical Surveys . 21 (4): 115–162. Bibcode :1966RuMaS..21..115A. doi :10.1070/RM1966v021n04ABEH004169. ISSN 0036-0279. S2CID 250900871 . Consultado el 10 de febrero de 2021 .
- Akiz, Hürmet Fulya; Koçak, Lokman (2019). "Espacios secuencialmente Hausdorff y espacios secuencialmente Hausdorff completos". Facultad de Comunicaciones de la Universidad de Ciencias de Ankara Serie A1Matemáticas y Estadística . 68 (2): 1724–1732. doi : 10.31801/cfsuasmas.424418 . ISSN 1303-5991 . Consultado el 10 de febrero de 2021 .
- Boone, James (1973). "Una nota sobre espacios mesocompactos y secuencialmente mesocompactos". Revista del Pacífico de Matemáticas . 44 (1): 69–74. doi : 10.2140/pjm.1973.44.69 . ISSN 0030-8730.
- Booth, Peter; Tillotson, J. (1980). «Categorías monoidales cerradas, cartesianas cerradas y convenientes de espacios topológicos». Pacific Journal of Mathematics . 88 (1): 35–53. doi : 10.2140/pjm.1980.88.35 . ISSN 0030-8730 . Consultado el 10 de febrero de 2021 .
- Engelking, R., Topología general , Heldermann, Berlín (1989). Edición revisada y completa.
- Foged, L. (1985). "Una caracterización de imágenes cerradas de espacios métricos". Actas de la American Mathematical Society . 95 (3): 487–490. doi : 10.1090/S0002-9939-1985-0806093-3 . ISSN 0002-9939.
- Franklin, S. (1965). "Espacios en los que las sucesiones son suficientes" (PDF) . Fundamenta Mathematicae . 57 (1): 107–115. doi : 10.4064/fm-57-1-107-115 . ISSN 0016-2736.
- Franklin, S. (1967). «Espacios en los que las sucesiones son suficientes II» (PDF) . Fundamenta Mathematicae . 61 (1): 51–56. doi : 10.4064/fm-61-1-51-56 . ISSN 0016-2736 . Consultado el 10 de febrero de 2021 .
- Goreham, Anthony, "Convergencia secuencial en espacios topológicos", (2016)
- Gruenhage, Gary; Michael, Ernest; Tanaka, Yoshio (1984). "Espacios determinados por recubrimientos contables puntuales". Revista del Pacífico de Matemáticas . 113 (2): 303–332. doi : 10.2140/pjm.1984.113.303 . ISSN 0030-8730.
- Michael, EA (1972). "Una búsqueda del cociente quíntuple". Topología general y sus aplicaciones . 2 (2): 91–138. doi :10.1016/0016-660X(72)90040-2. ISSN 0016-660X.
- Shou, Lin; Chuan, Liu; Mumin, Dai (1997). "Imágenes en espacios métricos localmente separables". Acta Mathematica Sinica . 13 (1): 1–8. doi :10.1007/BF02560519. ISSN 1439-8516. S2CID 122383748.
- Steenrod, NE (1967). "Una categoría conveniente de espacios topológicos". The Michigan Mathematical Journal . 14 (2): 133–152. doi : 10.1307/mmj/1028999711 . Consultado el 10 de febrero de 2021 .
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, NY: Dover Publications. ISBN 978-0-486-45352-1.OCLC 853623322 .
- Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4.OCLC 849801114 .