Ultrafiltro - Ultrafilter
En la matemática campo de la teoría de la orden , un ultrafiltro en un determinado conjunto parcialmente ordenado (o "poset") es un cierto subconjunto de , a saber, una máxima filtro en , es decir, un filtro adecuado en que no se puede ampliar a un filtro adecuado más grande en .
Si es un conjunto arbitrario, su conjunto de potencias ordenado por inclusión de conjunto , es siempre un álgebra booleana y, por lo tanto, un poset, y los ultrafiltros activados generalmente se denominan ultrafiltros en el conjunto . Un ultrafiltro en un conjunto puede considerarse como una medida finita aditiva en . En este punto de vista, cada subconjunto de se considera " casi todo " (tiene medida 1) o "casi nada" (tiene medida 0), dependiendo de si pertenece al ultrafiltro dado o no.
Los ultrafiltros tienen muchas aplicaciones en la teoría de conjuntos, la teoría de modelos y la topología .
Ultrafiltros en pedidos parciales
En teoría del orden , un ultrafiltro es un subconjunto de un conjunto parcialmente ordenado que es máximo entre todos los filtros adecuados . Esto implica que cualquier filtro que contenga correctamente un ultrafiltro debe ser igual a todo el poset.
Formalmente, si es un conjunto, parcialmente ordenado para entonces
- un subconjunto se llama un filtro en si
- no está vacío,
- por cada existe algún elemento tal que y y
- para todos e implica que también está en ;
- un subconjunto adecuado de se llama ultrafiltro en si
- es un filtro en y
- no hay un filtro adecuado para que se extienda correctamente (es decir, que sea un subconjunto adecuado de ).
Tipos y existencia de ultrafiltros.
Cada ultrafiltro se clasifica exactamente en una de dos categorías: principal y gratuito. Un ultrafiltro principal (o fijo o trivial ) es un filtro que contiene un elemento mínimo . En consecuencia, los ultrafiltros principales tienen la forma de algunos (pero no todos) elementos del poset dado. En este caso se denomina elemento principal del ultrafiltro. Cualquier ultrafiltro que no sea principal se denomina ultrafiltro libre (o no principal ).
Para los ultrafiltros en un conjunto de potencia, un ultrafiltro principal consta de todos los subconjuntos que contienen un elemento dado. Cada ultrafiltro en el que también es un filtro principal tiene esta forma. Por lo tanto, un ultrafiltro en es principal si y sólo si contiene un conjunto finito. Si es infinito, un ultrafiltro sobre es, por tanto, no principal si y sólo si contiene el filtro Fréchet de subconjuntos cofinite de Si es finito, cada ultrafiltro es principal.
Cada filtro en un álgebra booleana (o más generalmente, cualquier subconjunto con la propiedad de intersección finita ) está contenido en un ultrafiltro (ver el lema del ultrafiltro ) y, por lo tanto, existen ultrafiltros libres, pero las pruebas involucran el axioma de elección ( AC ) en la forma del lema de Zorn . Por otro lado, la afirmación de que todos los filtros están contenidos en un ultrafiltro no implica AC . De hecho, es equivalente al teorema del ideal primo de Boole ( BPIT ), un conocido punto intermedio entre los axiomas de la teoría de conjuntos ( ZF ) de Zermelo-Fraenkel y la teoría ZF aumentada por el axioma de elección ( ZFC ). En general, las pruebas que involucran el axioma de elección no producen ejemplos explícitos de ultrafiltros libres, aunque es posible encontrar ejemplos explícitos en algunos modelos de ZFC ; por ejemplo, Gödel mostró que esto se puede hacer en el universo construible donde se puede escribir una función de elección global explícita. En ZF sin el axioma de elección, es posible que todo ultrafiltro sea principal.
Ultrafiltro en un álgebra de Boole
Un caso especial importante del concepto ocurre si el poset considerado es un álgebra booleana . En este caso, los ultrafiltros se caracterizan por contener, para cada elemento del álgebra de Boole, exactamente uno de los elementos y ¬ (siendo este último el complemento booleano de ):
Si es un álgebra booleana y es un filtro adecuado, entonces las siguientes declaraciones son equivalentes:
- es un ultrafiltro en
- es un filtro principal en
- para cada uno o (¬ )
También se da una prueba de 1. ⇔ 2. (Burris, Sankappanavar, 2012, Corolario 3.13, p.133).
Además, los ultrafiltros en un álgebra booleana pueden relacionarse con ideales máximos y homomorfismos con el álgebra booleana de 2 elementos {verdadero, falso} (también conocido como morfismos de 2 valores ) de la siguiente manera:
- Dado un homomorfismo de un álgebra booleana en {verdadero, falso}, la imagen inversa de "verdadero" es un ultrafiltro, y la imagen inversa de "falso" es un ideal máximo.
- Dado un ideal máximo de un álgebra de Boole, su complemento es un ultrafiltro, y hay un homomorfismo único en {verdadero, falso} que toma el ideal máximo como "falso".
- Dado un ultrafiltro en un álgebra de Boole, su complemento es un ideal máximo, y hay un homomorfismo único en {verdadero, falso} llevando el ultrafiltro a "verdadero".
Ultrafiltro en el powerset de un equipo
Dado un conjunto arbitrario, su conjunto de potencias ordenado por inclusión de conjuntos , es siempre un álgebra de Boole; de ahí los resultados de la sección anterior Caso especial: se aplica el álgebra booleana . Un (ultra) filtro activado a menudo se denomina simplemente "(ultra) filtro activado ". Las definiciones formales anteriores se pueden particularizar al caso de powerset de la siguiente manera:
Dado un conjunto arbitrario, un ultrafiltro es un conjunto que consta de subconjuntos de tales que:
- El conjunto vacío no es un elemento de
- Si y son subconjuntos del conjunto es un subconjunto de y es un elemento de, entonces también es un elemento de
- Si y son elementos de entonces también lo es la intersección de y
- Si es un subconjunto de entonces o su complemento relativo es un elemento de
Otra forma de ver la ultrafiltros en un conjunto potencia es la siguiente: Para un determinado ultrafiltro definir una función de por el ajuste si es un elemento de y de otra manera. Esta función se denomina morfismo de dos valores . Entonces es finitamente aditiva , y por lo tanto un contenido en y todas las propiedades de los elementos de es verdadera en casi todas partes o falso en casi todas partes. Sin embargo, por lo general no es contable aditivo y, por lo tanto, no define una medida en el sentido habitual.
Para un filtro que no es un ultrafiltro, se podría decir que si y si dejando indefinido en otro lugar.
Aplicaciones
Los ultrafiltros en powersets son útiles en topología , especialmente en relación con espacios compactos de Hausdorff , y en teoría de modelos en la construcción de ultraproductos y ultrapoderes . Cada ultrafiltro en un espacio compacto de Hausdorff converge exactamente en un punto. Asimismo, los ultrafiltros en álgebras de Boole juegan un papel central en el teorema de representación de Stone .
El conjunto de todos los ultrafiltros de un poset se puede topologizar de forma natural, lo que de hecho está muy relacionado con el teorema de representación antes mencionado. Para cualquier elemento de , sea Esto es más útil cuando es nuevamente un álgebra booleana, ya que en esta situación el conjunto de todos es una base para una topología de Hausdorff compacta . Especialmente, cuando se consideran los ultrafiltros en un conjunto de potencia, el espacio topológico resultante es la compactificación Stone-Čech de un espacio discreto de cardinalidad
La construcción de ultraproductos en la teoría de modelos utiliza ultrafiltros para producir extensiones elementales de estructuras. Por ejemplo, al construir números hiperreales como un ultraproducto de los números reales , el dominio del discurso se extiende desde los números reales a las secuencias de números reales. Este espacio de secuencia se considera como un superconjunto de los reales al identificar cada real con la secuencia constante correspondiente. Para extender las funciones y relaciones familiares (por ejemplo, + y <) de lo real a lo hiperreal, la idea natural es definirlas puntualmente. Pero esto perdería importantes propiedades lógicas de los reales; por ejemplo, pointwise <no es un pedido total. Entonces, en cambio, las funciones y relaciones se definen " módulo puntual " , donde es un ultrafiltro en el conjunto de índices de las secuencias; por el teorema de Łoś ' , esto conserva todas las propiedades de los reales que se pueden establecer en la lógica de primer orden . Si no es principal, entonces la extensión así obtenida no es trivial.
En la teoría de grupos geométricos , los ultrafiltros no principales se utilizan para definir el cono asintótico de un grupo. Esta construcción proporciona una forma rigurosa de considerar mirar al grupo desde el infinito , que es la geometría a gran escala del grupo. Los conos asintóticos son ejemplos particulares de ultralímites de espacios métricos .
La prueba ontológica de Gödel de la existencia de Dios utiliza como axioma que el conjunto de todas las "propiedades positivas" es un ultrafiltro.
En la teoría de la elección social , los ultrafiltros no principales se utilizan para definir una regla (llamada función de bienestar social ) para agregar las preferencias de un número infinito de individuos. Contrario al teorema de imposibilidad de Arrow para un número finito de individuos, tal regla satisface las condiciones (propiedades) que Arrow propone (por ejemplo, Kirman y Sondermann, 1972). Mihara (1997, 1999) muestra, sin embargo, que tales reglas son prácticamente de interés limitado para los científicos sociales, ya que no son algorítmicas ni computables.
Ver también
- Filtro (matemáticas) : en matemáticas, un subconjunto especial de un conjunto parcialmente ordenado
- Filtros en topología : uso de filtros para describir y caracterizar todas las nociones y resultados topológicos básicos.
- Red universal
Notas
Referencias
Bibliografía
- Arkhangel'skii, Alexander Vladimirovich ; Ponomarev, VI (1984). Fundamentos de topología general: problemas y ejercicios . Matemáticas y sus aplicaciones. 13 . Dordrecht Boston: D. Reidel . ISBN 978-90-277-1355-1. OCLC 9944489 .
- Bourbaki, Nicolas (1989) [1966]. Topología general: Capítulos 1–4 [ Topologie Générale ]. Éléments de mathématique . Berlín Nueva York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC 18588129 .
- Dixmier, Jacques (1984). Topología general . Textos de Licenciatura en Matemáticas. Traducido por Berberian, SK New York: Springer-Verlag . ISBN 978-0-387-90972-1. OCLC 10277303 .
- Dolecki, Szymon ; Mynard, Frederic (2016). Fundamentos de convergencia de la topología . Nueva Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4. OCLC 945169917 .
- Dugundji, James (1966). Topología . Boston: Allyn y Bacon. ISBN 978-0-697-06889-7. OCLC 395340485 .
- Császár, Ákos (1978). Topología general . Traducido por Császár, Klára. Bristol Inglaterra: Adam Hilger Ltd. ISBN 0-85274-275-4. OCLC 4146011 .
- Jech, Thomas (2006). Teoría de conjuntos: la edición del tercer milenio, revisada y ampliada . Berlín Nueva York: Springer Science & Business Media. ISBN 978-3-540-44085-7. OCLC 50422939 .
- Joshi, KD (1983). Introducción a la topología general . Nueva York: John Wiley and Sons Ltd. ISBN 978-0-85226-444-7. OCLC 9218750 .
- 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 .
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365 .
- Schubert, Horst (1968). Topología . Londres: Macdonald & Co. ISBN 978-0-356-02077-8. OCLC 463753 .
Otras lecturas
- Comfort, WW (1977). "Ultrafiltros: resultados antiguos y nuevos" . Boletín de la American Mathematical Society . 83 (4): 417–455. doi : 10.1090 / S0002-9904-1977-14316-4 . ISSN 0002-9904 . Señor 0454893 .
- Confort, WW; Negrepontis, S. (1974), La teoría de los ultrafiltros , Berlín, Nueva York: Springer-Verlag , MR 0396267
- Ultrafiltro en nLab