stringtranslate.com

Espacio secuencial

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.

Cualquier topología se puede refinar (es decir, hacer más fina) hasta convertirse en una topología secuencial, llamada correflexión secuencial de

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.

Los espacios secuenciales y los espacios -secuenciales fueron introducidos por SP Franklin . [1]

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

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

Una función entre espacios topológicos es secuencialmente continua si implica

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 ).

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.

El interior secuencial de in es el conjunto (el espacio topológico nuevamente indicado con un subíndice si es necesario).

El cierre secuencial y el interior satisfacen muchas de las buenas propiedades del cierre topológico y el interior: para todos los subconjuntos

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]

Se define que un conjunto es secuencialmente abierto si su complemento es secuencialmente cerrado. Las condiciones equivalentes incluyen:

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).

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.

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]

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]

Espacios secuenciales

Un espacio topológico es secuencial si satisface cualquiera de las siguientes condiciones equivalentes:

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 ).

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]

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]

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]

Espacios de Fréchet-Urysohn

Un espacio topológico se llama Fréchet-Urysohn si satisface alguna de las siguientes condiciones equivalentes:

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.

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.

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. [8] [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]

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] [16]

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.)

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 

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 :

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

  1. ^ No se puede aplicar simultáneamente esta "prueba" a infinitos subconjuntos (por ejemplo, no se puede usar algo parecido al axioma de elección ). No todos los espacios secuenciales son de Fréchet-Urysohn , pero solo en esos espacios se puede determinar la clausura de un conjunto sin que sea necesario considerar nunca ningún conjunto distinto de
  2. ^ Un espacio de Fréchet–Urysohn se define por la condición análoga para todos los :

    Para cualquier subconjunto que no esté cerrado en ningún caso existe una secuencia en que converge a

Citas

  1. ^ abcd Snipes, Ray (1972). "Espacios topológicos secuenciales T" (PDF) . Fundamentos Mathematicae . 77 (2): 95–98. doi :10.4064/fm-77-2-95-98. ISSN  0016-2736.
  2. ^ * Arhangel'skiĭ, AV; Franklin, SP (1968). "Invariantes ordinales para espacios topológicos". Michigan Math. J. 15 ( 3): 313–320. doi : 10.1307/mmj/1029000034 .
  3. ^ 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.
  4. ^ "¿La topología de conjuntos abiertos secuencialmente es secuencial?". Mathematics Stack Exchange .
  5. ^ Arkhangel'skii, AV y Pontryagin LS,  Topología general I, definición 9 p.12
  6. ^ 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.
  7. ^ "Sobre las propiedades secuenciales de los espacios topológicos noetherianos" (PDF) . 2004. Consultado el 30 de julio de 2023 .
  8. ^ Wilansky 2013, pág. 224.
  9. ^ Dudley, RM, Sobre la convergencia secuencial - Transactions of the American Mathematical Society Vol 112, 1964, pp. 483-507
  10. ^ 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.
  11. ^ ab T. Shirai, Sur les Topologies des Espaces de L. Schwartz, Proc. Académico de Japón. 35 (1959), 31-36.
  12. ^ Engelking 1989, Ejemplo 1.6.19
  13. ^ Ma, Dan (19 de agosto de 2010). «Una nota sobre el espacio de Arens» . Consultado el 1 de agosto de 2013 .
  14. ^ 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 .
  15. ^ "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.
  16. ^ Trèves 2006, págs. 351–359.
  17. ^ Steenrod 1967

Referencias