stringtranslate.com

Subconjunto cerrado localmente

En topología , una rama de las matemáticas, se dice que un subconjunto de un espacio topológico es localmente cerrado si se cumple alguna de las siguientes condiciones equivalentes: [1] [2] [3] [4]

La segunda condición justifica la terminología localmente cerrada y es la definición de Bourbaki de localmente cerrada. [1] Para ver que la segunda condición implica la tercera, use los hechos de que para subconjuntos es cerrado en si y solo si y que para un subconjunto y un subconjunto abierto

Ejemplos

El intervalo es un subconjunto localmente cerrado de Para otro ejemplo, considere el interior relativo de un disco cerrado en Es localmente cerrado ya que es una intersección del disco cerrado y una bola abierta.

Por otra parte, no es un subconjunto localmente cerrado de .

Recordemos que, por definición, una subvariedad de una -variedad es un subconjunto tal que para cada punto en hay un gráfico a su alrededor tal que Por lo tanto, una subvariedad está localmente cerrada. [5]

He aquí un ejemplo de geometría algebraica. Sea U una carta afín abierta en una variedad proyectiva X (en la topología de Zariski). Entonces, cada subvariedad cerrada Y de U es localmente cerrada en X ; es decir, donde denota la clausura de Y en X . (Véase también variedad cuasi-proyectiva y variedad cuasi-afín .)

Propiedades

Las intersecciones finitas y la preimagen bajo un mapa continuo de conjuntos localmente cerrados son localmente cerrados. [1] Por otro lado, una unión y un complemento de subconjuntos localmente cerrados no necesitan ser localmente cerrados. [6] (Esto motiva la noción de un conjunto construible ).

Especialmente en la teoría de estratificación , para un subconjunto localmente cerrado el complemento se llama el límite de (que no debe confundirse con el límite topológico ). [2] Si es una subvariedad cerrada con límite de una variedad , entonces el interior relativo (es decir, el interior como variedad) de está localmente cerrado en y su límite como variedad es el mismo que su límite como subconjunto localmente cerrado. [2]

Se dice que un espacio topológico essubmáximo si cada subconjunto es localmente cerrado. Véaseel Glosario de topología#Spara obtener más información sobre este concepto.

Véase también

Notas

  1. ^ abc Bourbaki 2007, Cap. 1, § 3, no. 3.
  2. ^ abc Pflaum 2001, Explicación 1.1.2.
  3. ^ Ganster, M.; Reilly, IL (1989). "Conjuntos localmente cerrados y funciones LC-continuas". Revista Internacional de Matemáticas y Ciencias Matemáticas . 12 (3): 417–424. doi : 10.1155/S0161171289000505 . ISSN  0161-1712.
  4. ^ Engelking 1989, Ejercicio 2.7.1.
  5. ^ Mather, John (2012). "Notas sobre estabilidad topológica". Boletín de la American Mathematical Society . 49 (4): 475–506. doi : 10.1090/S0273-0979-2012-01383-6 .Sección 1, pág. 476
  6. ^ Bourbaki 2007, cap. 1, § 3, ejercicio 7.

Referencias

Enlaces externos