stringtranslate.com

Espacio sobrio

En matemáticas , un espacio sobrio es un espacio topológico X tal que todo subconjunto cerrado irreducible (no vacío) de X es la clausura de exactamente un punto de X : es decir, todo subconjunto cerrado irreducible no vacío tiene un punto genérico único .

Definiciones

Los espacios sobrios tienen una variedad de definiciones criptomórficas , que se documentan en esta sección. Todas, excepto la definición en términos de redes, se describen en [1] . En cada caso a continuación, reemplazar "único" por "como máximo uno" da una formulación equivalente del axioma T 0 . Reemplazarlo por "al menos uno" es equivalente a la propiedad de que el cociente T 0 del espacio es sobrio, lo que a veces se denomina tener "suficientes puntos" en la literatura.

Con conjuntos cerrados irreducibles

Un conjunto cerrado es irreducible si no puede escribirse como la unión de dos subconjuntos cerrados propios. Un espacio es sobrio si todo subconjunto cerrado irreducible no vacío es la clausura de un único punto.

En términos de morfismos deMarcos y configuraciones regionales

Un espacio topológico X es sobrio si cada mapa que preserva todas las uniones y todos los encuentros finitos de su conjunto parcialmente ordenado de subconjuntos abiertos a es la imagen inversa de una función continua única del espacio de un punto a X.

Esto puede verse como una correspondencia entre la noción de un punto en un lugar y un punto en un espacio topológico, que es la definición motivadora.

Utilizando filtros completamente primarios

Se dice que un filtro F de conjuntos abiertos es completamente primo si para cualquier familia de conjuntos abiertos tales que , tenemos que para algún i . Un espacio X es sobrio si cada filtro completamente primo es el filtro de vecindad de un único punto en X.

En términos de redes

Una red es autoconvergente si converge a cada punto en , o equivalentemente si su filtro de eventualidad es completamente primo. Una red que converge a converge fuertemente si solo puede converger a puntos en la clausura de . Un espacio es sobrio si cada red autoconvergente converge fuertemente a un único punto . [2]

En particular, un espacio es T1 y sobrio precisamente si toda red autoconvergente es constante.

Como propiedad de las gavillas en el espacio

Un espacio X es sobrio si todo funtor de la categoría de haces Sh(X) a Conjunto que preserva todos los límites finitos y todos los colimites pequeños debe ser el funtor tallo de un único punto x .

Propiedades y ejemplos

Cualquier espacio de Hausdorff (T 2 ) es sobrio (los únicos subconjuntos irreducibles son los puntos), y todos los espacios sobrios son Kolmogorov (T 0 ), y ambas implicaciones son estrictas. [3]

La sobriedad no es comparable con la condición T1 :

Además, T 2 es más fuerte que T 1 y sobrio, es decir, mientras que todo espacio T 2 es a la vez T 1 y sobrio, existen espacios que son simultáneamente T 1 y sobrios, pero no T 2 . Un ejemplo de ello es el siguiente: sea X el conjunto de los números reales, con un nuevo punto p adjunto; los conjuntos abiertos son todos los conjuntos abiertos reales y todos los conjuntos cofinitos que contienen p.

La sobriedad de X es precisamente una condición que fuerza a la red de subconjuntos abiertos de X a determinar X hasta el homeomorfismo , lo cual es relevante para la topología sin sentido .

La sobriedad hace que la especialización preordene una orden parcial completa dirigida .

Todo conjunto de objetos dirigidos continuos y completos equipado con la topología de Scott es sobrio.

Los espacios finitos T 0 son sobrios. [4]

El espectro primo Spec( R ) de un anillo conmutativo R con la topología de Zariski es un espacio sobrio compacto . [3] De hecho, cada espacio espectral (es decir, un espacio sobrio compacto para el cual la colección de subconjuntos abiertos compactos está cerrada bajo intersecciones finitas y forma una base para la topología) es homeomorfo a Spec( R ) para algún anillo conmutativo R . Este es un teorema de Melvin Hochster . [5] De manera más general, el espacio topológico subyacente de cualquier esquema es un espacio sobrio.

El subconjunto de Spec( R ) que consiste únicamente en los ideales máximos, donde R es un anillo conmutativo, no es sobrio en general.

Véase también

Referencias

  1. ^ Mac Lane, Saunders (1992). Haces en geometría y lógica: una primera introducción a la teoría de topos . Nueva York: Springer-Verlag. pp. 472–482. ISBN 978-0-387-97710-2.
  2. ^ Sünderhauf, Philipp (1 de diciembre de 2000). "Sobriedad en términos de redes". Estructuras categóricas aplicadas . 8 (4): 649–653. doi :10.1023/A:1008673321209.
  3. ^ ab Hart, Klaas Pieter; Nagata, Jun-iti; Vaughan, Jerry E. (2004). Enciclopedia de topología general . Elsevier. págs. 155-156. ISBN 978-0-444-50355-8.
  4. ^ "Topología general - Los espacios $T_0$ finitos son sobrios".
  5. ^ Hochster, Melvin (1969), "Estructura ideal prima en anillos conmutativos", Trans. Amer. Math. Soc. , 142 : 43–60, doi : 10.1090/s0002-9947-1969-0251026-x

Lectura adicional