En matemáticas, un principio de selección es una regla que afirma la posibilidad de obtener objetos matemáticamente significativos seleccionando elementos de secuencias dadas de conjuntos . La teoría de los principios de selección
estudia estos principios y sus relaciones con otras propiedades matemáticas. Los principios de selección describen principalmente propiedades de cobertura, propiedades teóricas de categorías y medidas , y propiedades locales en espacios topológicos , especialmente espacios de funciones . A menudo, la caracterización de una propiedad matemática utilizando un principio de selección es una tarea no trivial que conduce a nuevos conocimientos sobre la propiedad caracterizada.
Los principios básicos de selección
En 1924, Karl Menger [1]
introdujo la siguiente propiedad de base para espacios métricos : cada base de la topología contiene una secuencia de conjuntos con diámetros nulos que cubre el espacio. Poco después, Witold Hurewicz [2]
observó que la propiedad de base de Menger es equivalente a la siguiente propiedad selectiva: para cada secuencia de cubiertas abiertas del espacio, se puede seleccionar un número finito de conjuntos abiertos de cada cubierta en la secuencia, de modo que la familia de todos los conjuntos seleccionados cubra el espacio. Los espacios topológicos que tienen esta propiedad de cobertura se denominan espacios de Menger .
La reformulación de Hurewicz de la propiedad de Menger fue la primera propiedad topológica importante descrita por un principio de selección. Sean y clases de objetos matemáticos. En 1996, Marion Scheepers [3]
introdujo las siguientes hipótesis de selección, que recogen una gran cantidad de propiedades matemáticas clásicas:
: Para cada secuencia de elementos de la clase , hay elementos tales que .
: Para cada secuencia de elementos de la clase , existen subconjuntos finitos tales que .
En el caso en que las clases y consisten en cubiertas de algún espacio ambiental, Scheepers también introdujo el siguiente principio de selección.
: Para cada secuencia de elementos de la clase , ninguno de los cuales contiene una subcubierta finita, existen subconjuntos finitos tales que .
Más tarde, Boaz Tsaban identificó la prevalencia del siguiente principio relacionado:
:Cada miembro de la clase incluye un miembro de la clase .
Las nociones así definidas son principios de selección . Una instanciación de un principio de selección, al considerar clases específicas y , da una propiedad de selección (o: selectiva) . Sin embargo, estas terminologías se usan indistintamente en la literatura.
Variaciones
Para un conjunto y una familia de subconjuntos de , la estrella de en es el conjunto .
En 1999, Ljubisa DR Kocinac introdujo los siguientes principios de selección de estrellas : [4]
: Para cada secuencia de elementos de la clase , hay elementos tales que .
: Para cada secuencia de elementos de la clase , existen subconjuntos finitos tales que .
Los principios de selección de estrellas son casos especiales de los principios de selección generales. Esto se puede comprobar modificando la definición de la familia en consecuencia.
Propiedades de recubrimiento
Las propiedades de cobertura forman el núcleo de la teoría de los principios de selección. Las propiedades de selección que no son propiedades de cobertura se estudian a menudo utilizando implicaciones hacia y desde las propiedades de cobertura selectiva de espacios relacionados.
Sea un espacio topológico . Una cubierta abierta de es una familia de conjuntos abiertos cuya unión es el espacio entero Por razones técnicas, también solicitamos que el espacio entero no sea miembro de la cubierta. La clase de cubiertas abiertas del espacio se denota por . (Formalmente, , pero usualmente el espacio está fijo en el fondo.) La propiedad antes mencionada de Menger es, por lo tanto, . En 1942, Fritz Rothberger consideró los conjuntos cero de medida fuerte de Borel e introdujo una variación topológica posteriormente llamada espacio de Rothberger (también conocido como espacio C ). En la notación de selecciones, la propiedad de Rothberger es la propiedad .
Una cubierta abierta de es puntualmente cofinita si tiene infinitos elementos y cada punto pertenece a todos los conjuntos excepto a un número finito de conjuntos . (Este tipo de cubierta fue considerado por Gerlits y Nagy, en el tercer elemento de una cierta lista en su artículo. La lista fue enumerada con letras griegas y, por lo tanto, estas cubiertas a menudo se denominan -cubiertas ). La clase de cubiertas abiertas puntualmente cofinitas de se denota por . Un espacio topológico es un espacio de Hurewicz si satisface .
Una cubierta abierta de es una -cubierta si cada subconjunto finito de está contenido en algún miembro de . La clase de -cubiertas de se denota por . Un espacio topológico es un γ-espacio si satisface .
Utilizando hipótesis de selección de estrellas se obtienen propiedades como estrella-Menger ( ), estrella-Rothberger ( ) y estrella-Hurewicz ( ).
El diagrama de Scheepers
Hay 36 propiedades de selección de la forma , para y . Algunas de ellas son triviales (se cumplen para todos los espacios o fallan para todos los espacios). Restringiendo la atención a los espacios de Lindelöf , el diagrama siguiente, conocido como Diagrama de Scheepers , [3] [5] presenta propiedades de selección no triviales de la forma anterior, y cada propiedad de selección no trivial es equivalente a una en el diagrama. Las flechas indican implicaciones.
Propiedades locales
Los principios de selección también capturan propiedades locales importantes.
Sea un espacio topológico y . La clase de conjuntos en el espacio que tienen el punto en su clausura se denota por . La clase consta de los elementos contables de la clase . La clase de secuencias en que convergen a se denota por .
Un espacio es Fréchet-Urysohn si y sólo si satisface para todos los puntos .
Existen estrechas conexiones entre los principios de selección y los juegos topológicos .
El juego de Menger
Sea un espacio topológico. El juego de Menger que se juega en es un juego para dos jugadores, Alice y Bob. Tiene una entrada por cada número natural . En la entrada, Alice elige una cobertura abierta de , y Bob elige un subconjunto finito de . Si la familia es una cobertura del espacio , entonces Bob gana el juego. De lo contrario, Alice gana.
Una estrategia para un jugador es una función que determina el movimiento del jugador, dados los movimientos anteriores de ambos jugadores. Una estrategia para un jugador es una estrategia ganadora si cada jugada en la que este jugador se apega a esta estrategia es ganada por este jugador.
Un espacio topológico existe si y sólo si Alicia no tiene una estrategia ganadora en el juego que se juega en este espacio. [2] [3]
Sea un espacio métrico. Bob tiene una estrategia ganadora en el juego jugado en el espacio si y solo si el espacio es -compacto. [6] [7]
Nótese que entre los espacios de Lindelöf, metrizable es equivalente a regular y segundo contable, por lo que el resultado anterior puede obtenerse alternativamente considerando estrategias de información limitada . [8] Una estrategia de Markov es aquella que solo utiliza el movimiento más reciente del oponente y el número de ronda actual.
Sea un espacio regular. Bob tiene una estrategia markoviana ganadora en el juego jugado en el espacio si y solo si el espacio es -compacto.
Sea un espacio de segundo orden contable. Bob tiene una estrategia markoviana ganadora en el juego jugado en el espacio si y solo si tiene una estrategia ganadora de información perfecta.
De manera similar, definimos juegos para otros principios de selección a partir del Diagrama de Scheepers dado. En todos estos casos, un espacio topológico tiene una propiedad del Diagrama de Scheepers si y solo si Alice no tiene una estrategia ganadora en el juego correspondiente. [9] Pero esto no se cumple en general: Sea la familia de k-cubiertas de un espacio. Es decir, tal que cada conjunto compacto en el espacio está cubierto por algún miembro de la cubierta. Francis Jordan demostró un espacio donde se cumple el principio de selección , pero Alice tiene una estrategia ganadora para el juego [10].
Los subconjuntos de la recta real (con la topología de subespacio inducida ) que cumplen las propiedades del principio de selección, en particular los espacios de Menger y Hurewicz, se pueden caracterizar por sus imágenes continuas en el espacio de Baire . Para las funciones , escriba si para todos los números naturales excepto un número finito . Sea un subconjunto de . El conjunto está acotado si hay una función tal que para todas las funciones . El conjunto es dominante si para cada función hay una función tal que .
Un subconjunto de la línea real es si y sólo si cada imagen continua de ese espacio en el espacio de Baire no es dominante. [14]
Un subconjunto de la línea real es si y sólo si cada imagen continua de ese espacio en el espacio de Baire está acotada. [14]
^ Menger, Karl (1924). "Einige Überdeckungssätze der Punktmengenlehre". Sitzungsberichte der Wiener Akademie . 133 : 421–444. JFM 50.0129.01.Reimpreso en Selecta Mathematica I (2002), doi :10.1007/978-3-7091-6110-4_14, ISBN 978-3-7091-7282-7 , pp. 155-178.
^ ab Hurewicz, Witold (1926). "Über eine verallgemeinerung des Borelschen Theoremas". Mathematische Zeitschrift . 24 (1): 401–421. doi :10.1007/bf01216792. S2CID 119867793.
^ abc Scheepers, Marion (1996). "Combinatoria de cubiertas abiertas I: teoría de Ramsey". Topología y sus aplicaciones . 69 : 31–62. doi : 10.1016/0166-8641(95)00067-4 .
^ Kocinac, Ljubisa DR (2015). "Principios de selección de estrellas: un estudio". Khayyam Journal of Mathematics . 1 : 82–106.
^ abc Just, Winfried; Miller, Arnold; Scheepers, Marion; Szeptycki, Paul (1996). "Combinatoria de cubiertas abiertas II". Topología y sus aplicaciones . 73 (3): 241–266. arXiv : math/9509211 . doi :10.1016/S0166-8641(96)00075-2. S2CID 14946860.
^ Scheepers, Marion (1 de enero de 1995). "Una prueba directa de un teorema de Telgársky". Actas de la American Mathematical Society . 123 (11): 3483–3485. doi : 10.1090/S0002-9939-1995-1273523-1 . ISSN 0002-9939.
^ Telgársky, Rastislav (1 de junio de 1984). "Sobre los juegos de Topsoe". Mathematica Scandinavica . 54 : 170-176. doi : 10.7146/math.scand.a-12050 . ISSN 1903-1807.
^ Steven, Clontz (31 de julio de 2017). "Aplicaciones de estrategias de información limitada en el juego de Menger". Commentationes Mathematicae Universitatis Carolinae . 58 (2). Universidad Carolina de Praga, Karolinum Press: 225–239. doi : 10.14712/1213-7243.2015.201 . ISSN 0010-2628.
^ Pawlikowski, Janusz (1994). "Conjuntos indeterminados de juegos a punto abierto". Fundamentos Mathematicae . 144 (3): 279–285. ISSN 0016-2736.
^ Jordan, Francis (2020). "Sobre la inestabilidad de un juego topológico relacionado con la consonancia". Topología y sus aplicaciones . 271 . Elsevier BV: 106990. doi : 10.1016/j.topol.2019.106990 . ISSN 0166-8641. S2CID 213386675.
^ ab Rothberger, Fritz (1938). "Eine Verschärfung der Eigenschaft C". Fundamentos Mathematicae . 30 : 50–55. doi : 10.4064/fm-30-1-50-55 .
^ Fremlin, David; Miller, Arnold (1988). "Sobre algunas propiedades de Hurewicz, Menger y Rothberger" (PDF) . Fundamenta Mathematicae . 129 : 17–33. doi : 10.4064/fm-129-1-17-33 .
^ ab Recław, Ireneusz (1994). "Todo conjunto de Lusin es indeterminado en el juego de punto abierto". Fundamenta Mathematicae . 144 : 43–54. doi : 10.4064/fm-144-1-43-54 .
^ Aurichi, Leandro (2010). "D-Espacios, juegos topológicos y principios de selección" (PDF) . Actas de Topología . 36 : 107–122.
^ Szewczak, Piotr; Tsaban, Booz (2016). "Producto de los espacios de Menger, II: espacios generales". arXiv : 1607.01687 [matemáticas.GN].
^ Galvin, Fred; Miller, Arnold (1984). " γ {\displaystyle \gamma } -conjuntos y otros conjuntos singulares de números reales". Topología y sus aplicaciones . 17 (2): 145–155. doi : 10.1016/0166-8641(84)90038-5 .
^ Gerlits, J.; Nagy, Zs. (1982). "Algunas propiedades de C ( X ) {\displaystyle C(X)} , I". Topología y sus aplicaciones . 14 (2): 151–161. doi : 10.1016/0166-8641(82)90065-7 .
^ Sakai, Masami (1988). "Propiedad C ″ {\displaystyle C''} y espacios de funciones". Actas de la American Mathematical Society . 104 (9): 917–919. doi : 10.1090/S0002-9939-97-03897-5 .
^ Arhangel'skii, Alexander (1986). "Espacios de Hurewicz, conjuntos analíticos y estrechez de espacios de funciones". Soviet Math. Dokl. 2 : 396–399.