En los campos matemáticos de la topología general y la teoría descriptiva de conjuntos , un conjunto exiguo (también llamado un conjunto exiguo o un conjunto de primera categoría ) es un conjunto que, considerado como un subconjunto de un espacio topológico (generalmente más grande) , se encuentra en un preciso sentido pequeño o insignificante . Un espacio topológico T se llama exiguo si es un subconjunto exiguo de sí mismo; de lo contrario, se llama nonmeagre .
Los exiguos subconjuntos de un espacio fijo forman un σ-ideal de subconjuntos; Es decir, cualquier subconjunto de un conjunto magro es magro, y la unión de numerable muchos conjuntos magros es escasa. Los topólogos generales usan el término espacio de Baire para referirse a una amplia clase de espacios topológicos en los que la noción de conjunto exiguo no es trivial (en particular, el espacio completo no es exiguo). Los teóricos de conjuntos descriptivos estudian principalmente conjuntos magros como subconjuntos de los números reales , o más generalmente cualquier espacio polaco , y reservan el término espacio de Baire para un espacio polaco en particular.
El complemento de un conjunto magro es un conjunto de comeagre o conjunto residual . Un conjunto que no es escaso se llama nonmeagre y se dice que pertenece a la segunda categoría . Tenga en cuenta que las nociones de un conjunto de comeagre y un conjunto que no es de meseta no son equivalentes.
Definición
A lo largo de, será un espacio topológico .
Un subconjunto de un espacio topológico se llama en ninguna parte denso o raro ensi su cierre tiene interior vacío . Equivalentemente, no es denso en ninguna parte si por cada set abierto el conjunto no es denso en
Un subconjunto cerrado de no es denso en ninguna parte si y solo si su interior topológico en esta vacio.
Un subconjunto de un espacio topológico se dice que es escaso en un magro sub conjunto de o de la primera categoría en si es una unión contable de subconjuntos densos de ninguna parte de Un subconjunto es de la segunda categoría o nonmeagre en si no es de primera categoría en
Un espacio topológico se llama magro (resp. Nonmeagre ) si es un subconjunto magro (resp. Nonmeagre) de sí mismo.
- Advertencia : si es un subconjunto de luego ser un "sub exiguo espacio " de significa que cuando está dotado de la topología subespacial (inducida en él por ) luego es un escaso espacio topológico (es decir, es un escaso subconjunto de ). A diferencia de, ser un "sub magro conjunto " de significa que es igual a una unión contable de subconjuntos densos de ninguna parte Lo mismo se aplica a subconjuntos y subespacios no exiguos.
Por ejemplo, si es el conjunto de todos los enteros positivos entonces está un magro sub conjunto depero no un sub magro espacio de Si no es un punto aislado de un espacio T 1 (significa que no es un subconjunto abierto de ) luego es un magro sub espacio depero no un magro sub conjunto de
Un subconjunto es comeagre ensi es complementario es escaso en De manera equivalente, es igual a una intersección de innumerables conjuntos, cada uno de cuyo interior topológico es un subconjunto denso deEste uso del prefijo " co " es coherente con su uso en otros términos como " co finito ".
Es importante destacar que ser de la segunda categoría no es lo mismo que ser comeagre: un conjunto no puede ser ni magro ni comeagre (en este caso será de segunda categoría).
Ejemplos y condiciones suficientes
Dejar ser un espacio topológico.
Exiguo sub conjuntos y sub espacios
- Un subconjunto singleton es siempre una sub no escaso espacio de(es decir, es un espacio topológico no exiguo). Sies un punto aislado de luego es también un sub no magro conjunto de; lo contrario vale sies un espacio T 1 .
- Cualquier subconjunto de un conjunto escaso es un conjunto escaso. [1]
- Cada subconjunto denso de ninguna parte es un conjunto escaso. [1]
- La unión de innumerables conjuntos exiguos es también un conjunto exiguo. [1]
- Cualquier subconjunto cerrado de cuyo interior en está vacío es de la primera categoría de (es decir, es un escaso subconjunto de ). Así, un subconjunto cerrado de que es de la segunda categoría en debe tener un interior no vacío en [2]
- Un espacio contable de Hausdorff sin puntos aislados es escaso. [3]
- Cualquier espacio topológico que contenga un punto aislado no es exiguo. [3]
- Cualquier espacio discreto no es exiguo. [3]
- Cada espacio de Baire no es exiguo, pero existen espacios no exiguos que no son espacios de Baire. [3]
- Dado que los espacios métricos completos , así como los espacios compactos localmente de Hausdorff son espacios de Baire, también son espacios no exiguos.
- El conjunto está un magro sub conjunto de aunque es un sub no escaso espacio (es decir,no es un espacio topológico exiguo). [3]
- Debido a que los números racionales son contables, son escasos como un subconjunto de los reales y como un espacio, es decir, no forman un espacio de Baire .
- El conjunto de Cantor es escaso como un subconjunto de los reales, pero no como un subconjunto de sí mismo, ya que es un espacio métrico completo y, por lo tanto, es un espacio de Baire , según el teorema de la categoría de Baire .
- Si es un homeomorfismo y luego un subconjunto es escaso si y solo si es escaso. [1]
Subconjunto de comeagre
- Cualquier superconjunto de un conjunto de comeagre es comeagre.
- la intersección de innumerables conjuntos de comeagre es comeagre.
- Esto se deriva del hecho de que una unión contable de conjuntos contables es contable.
Espacios funcionales
El conjunto de funciones que tienen una derivada en algún punto es un conjunto magro en el espacio de todas las funciones continuas . [4]
Propiedades
- Teorema de categoría de Banach: en cualquier espacio la unión de cualquier familia contable de conjuntos abiertos de la primera categoría es de la primera categoría. [5]
- Un espacio vectorial topológico localmente convexo no exiguo es un espacio en barril . [3]
- Un subconjunto cerrado de que es de la segunda categoría en debe tener un interior no vacío en [2]
- Si es de la segunda categoría en y si son subconjuntos de tal que entonces al menos uno es de la segunda categoría en
Escasos subconjuntos y medida de Lebesgue
Un conjunto magro no necesita tener medida cero. No existen subconjuntos densos en ninguna parte (que son, por lo tanto, subconjuntos exiguos) que tengan una medida de Lebesgue positiva . [3]
Relación con la jerarquía de Borel
Así como un subconjunto denso en ninguna parte no necesita estar cerrado, pero siempre está contenido en un subconjunto denso en ninguna parte cerrado (es decir, su cierre), un conjunto escaso no necesita ser un conjunto F σ (unión contable de conjuntos cerrados), sino que siempre está contenido en un conjunto F σ hecho a partir de conjuntos densos en ninguna parte (tomando el cierre de cada conjunto).
Doblemente, así como el complemento de un conjunto denso en ninguna parte no necesita estar abierto, sino que tiene un interior denso (contiene un conjunto abierto denso), un conjunto comeagre no necesita ser un conjunto G δ (intersección contable de conjuntos abiertos ), pero contiene un conjunto Conjunto denso G δ formado a partir de conjuntos abiertos densos.
Juego de Banach – Mazur
Los conjuntos magros tienen una caracterización alternativa útil en términos del juego Banach-Mazur . Dejar ser un espacio topológico, ser una familia de subconjuntos de que tienen interiores no vacíos de modo que cada conjunto abierto no vacío tiene un subconjunto perteneciente a y ser cualquier subconjunto de Luego hay un juego de Banach-Mazur correspondiente a En el juego Banach-Mazur, dos jugadores, y elegir alternativamente elementos sucesivamente más pequeños de para producir una secuencia Jugador gana si la intersección de esta secuencia contiene un punto en ; de lo contrario, jugador gana.
- Teorema : para cualquier cumpliendo los criterios anteriores, jugador tiene una estrategia ganadora si y solo si es escaso.
Ver también
- Teorema de la categoría de Baire : en espacios topológicos donde la intersección de innumerables conjuntos abiertos densos es densa
- Espacio Baire
- Propiedad genérica , para análogos a residual
- Conjunto insignificante , de análogos a magro
- Conjunto denso en ninguna parte
- Propiedad de Baire
Notas
- ↑ a b c d Rudin , 1991 , pág. 43.
- ↑ a b Rudin , 1991 , págs. 42-43.
- ↑ a b c d e f g Narici y Beckenstein , 2011 , págs. 371-423.
- ^ Banach, S. (1931). "Über die Baire'sche Kategorie gewisser Funktionenmengen" . Studia Math . 3 (1): 174-179.
- ^ Oxtoby, John C. (1980). "El teorema de la categoría de Banach" . Medida y categoría (Segunda ed.). Nueva York: Springer. págs. 62–65. ISBN 0-387-90508-1.
Bibliografía
- Narici, Lawrence ; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (Segunda ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Rudin, Walter (1991). Análisis funcional . Serie Internacional de Matemática Pura y Aplicada. 8 (Segunda ed.). Nueva York, NY: McGraw-Hill Science / Engineering / Math . ISBN 978-0-07-054236-5. OCLC 21163277 .
enlaces externos
- ¿Hay un conjunto de medidas a cero que no sea exiguo?