Ultrafiltro

En el campo matemático de la teoría del orden , un ultrafiltro en un conjunto parcialmente ordenado dado (o "poset") es un subconjunto determinado de, a saber, un filtro máximo en, es decir, un filtro propio en que no se puede ampliar a un filtro propio más grande en${\textstyle P}$${\estilo de visualización P,}$ ${\estilo de visualización P;}$${\textstyle P}$${\estilo de visualización P.}$

Si es un conjunto arbitrario, su conjunto potencia ordenado por inclusión de conjuntos , es siempre un álgebra booleana y, por lo tanto, un conjunto parcial, y los ultrafiltros en se denominan habitualmente ultrafiltros en el conjunto . ^{[nota 1]} Un ultrafiltro en un conjunto puede considerarse como una medida finitamente aditiva de valor 0-1 en . En esta visión, cada subconjunto de se considera " casi todo " (tiene medida 1) o "casi nada" (tiene medida 0), dependiendo de si pertenece o no al ultrafiltro dado. ^{[1] : §4}${\estilo de visualización X}$ ${\displaystyle {\mathcal {P}}(X),}$${\displaystyle {\mathcal {P}}(X)}$ ${\estilo de visualización X}$${\estilo de visualización X}$${\displaystyle {\mathcal {P}}(X)}$${\estilo de visualización X}$

Los ultrafiltros tienen muchas aplicaciones en teoría de conjuntos, teoría de modelos , topología ^{[2] : 186} y combinatoria. ^[3]

En teoría del orden , un ultrafiltro es un subconjunto de un conjunto parcialmente ordenado que es máximo entre todos los filtros propios . Esto implica que cualquier filtro que contenga adecuadamente un ultrafiltro tiene que ser igual a todo el conjunto parcial.

Formalmente, si es un conjunto, parcialmente ordenado por entonces ${\textstyle P}$${\estilo de visualización \,\leq \,}$

• Un subconjunto se llama filtro si${\displaystyle F\subseteq P}$${\textstyle P}$
  • ${\estilo de visualización F}$no está vacío,
  • para cada existe algún elemento tal que y y${\displaystyle x,y\en F,}$${\displaystyle z\en F}$${\displaystyle z\leq x}$${\displaystyle z\leq y,}$
  • para cada y implica que está en también;${\displaystyle x\en F}$${\displaystyle y\en P,}$ ${\displaystyle x\leq y}$${\estilo de visualización y}$${\estilo de visualización F}$
• Un subconjunto propio de se llama ultrafiltro si${\estilo de visualización U}$${\textstyle P}$${\textstyle P}$
  • ${\estilo de visualización U}$es un filtro activado y${\estilo de visualización P,}$
  • no hay un filtro adecuado que se extienda adecuadamente (es decir, que sea un subconjunto adecuado de ).${\estilo de visualización F}$${\textstyle P}$${\estilo de visualización U}$${\estilo de visualización U}$${\estilo de visualización F}$

Cada ultrafiltro cae en exactamente una de dos categorías: principal o libre. Un ultrafiltro principal (o fijo o trivial ) es un filtro que contiene un mínimo de elementos . En consecuencia, cada ultrafiltro principal tiene la forma para algún elemento del conjunto parcial dado. En este caso se denomina elemento principal del ultrafiltro. Cualquier ultrafiltro que no sea principal se denomina ultrafiltro libre (o no principal ). Para un conjunto arbitrario de , el conjunto es un filtro, denominado filtro principal en ; es un ultrafiltro principal solo si es máximo. ${\displaystyle F_{p}=\{x:p\leq x\}}$${\estilo de visualización p}$${\estilo de visualización p}$${\estilo de visualización p}$$Estilo de visualización F_{p}$${\estilo de visualización p}$

Para los ultrafiltros sobre un conjunto potencia, un ultrafiltro principal consiste en todos los subconjuntos de que contienen un elemento dado. Cada ultrafiltro sobre que es también un filtro principal es de esta forma. ^{[2] : 187} Por lo tanto, un ultrafiltro sobre es principal si y solo si contiene un conjunto finito. ^{[nota 2]} Si es infinito, un ultrafiltro sobre es, por lo tanto, no principal si y solo si contiene el filtro de Fréchet de subconjuntos cofinitos de ^{[nota 3] [4] : Proposición 3} Si es finito, todo ultrafiltro es principal. ^{[2] : 187} Si es infinito, entonces el filtro de Fréchet no es un ultrafiltro sobre el conjunto potencia de sino que es un ultrafiltro sobre el álgebra finito-cofinita de${\displaystyle {\mathcal {P}}(X),}$${\estilo de visualización X}$${\displaystyle x\en X.}$${\displaystyle {\mathcal {P}}(X)}$${\estilo de visualización U}$${\displaystyle {\mathcal {P}}(X)}$${\estilo de visualización X}$${\estilo de visualización U}$${\displaystyle {\mathcal {P}}(X)}$${\estilo de visualización X.}$${\estilo de visualización X}$${\estilo de visualización X}$${\estilo de visualización X}$${\estilo de visualización X.}$

Cada filtro en un álgebra de Boole (o más generalmente, cualquier subconjunto con la propiedad de intersección finita ) está contenido en un ultrafiltro (ver 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 cada filtro está contenido en un ultrafiltro no implica AC . De hecho, es equivalente al teorema del ideal primo de Boole ( BPIT ), un punto intermedio bien conocido entre los axiomas de la teoría de conjuntos de Zermelo-Fraenkel ( ZF ) 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 uno puede escribir una función de elección global explícita. En ZF sin el axioma de elección, es posible que cada ultrafiltro sea principal. ^[5]

Un caso especial importante del concepto se da si el conjunto parcial considerado es un álgebra de Boole . 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 ): ${\estilo de visualización x}$${\estilo de visualización x}$${\displaystyle \lno x}$${\estilo de visualización x}$

Si es un álgebra booleana y es un filtro adecuado, entonces las siguientes afirmaciones son equivalentes: ${\textstyle P}$${\estilo de visualización F}$${\estilo de visualización P,}$

1. ${\estilo de visualización F}$es un ultrafiltro en${\estilo de visualización P,}$
2. ${\estilo de visualización F}$es un filtro principal en${\estilo de visualización P,}$
3. para cada uno o ( ) ^{[2] : 186}${\displaystyle x\en P,}$${\displaystyle x\en F}$${\displaystyle \lno x}$${\displaystyle \en F.}$

Una prueba de que 1. y 2. son equivalentes también se da en (Burris, Sankappanavar, 2012, Corolario 3.13, p.133). ^[6]

Además, los ultrafiltros en un álgebra de Boole se pueden relacionar con ideales máximos y homomorfismos en el álgebra de Boole de 2 elementos {verdadero, falso} (también conocidos como morfismos de 2 valores ) de la siguiente manera:

• Dado un homomorfismo de un álgebra de Boole sobre {verdadero, falso}, la imagen inversa de "verdadero" es un ultrafiltro, y la imagen inversa de "falso" es un ideal maximal.
• Dado un ideal máximo de un álgebra de Boole, su complemento es un ultrafiltro y hay un homomorfismo único en {verdadero, falso} que lleva el ideal máximo a "falso".
• Dado un ultrafiltro en un álgebra de Boole, su complemento es un ideal maximalista, y existe un homomorfismo único sobre {verdadero, falso} que lleva el ultrafiltro a "verdadero". ^{[ cita requerida ]}

Dado un conjunto arbitrario, su conjunto potencia ordenado por inclusión de conjuntos , es siempre un álgebra de Boole; por lo tanto, se aplican los resultados de la sección anterior. Un (ultra)filtro sobre se suele llamar simplemente "(ultra)filtro sobre ". ^{[nota 1]} Dado un conjunto arbitrario, un ultrafiltro sobre es un conjunto que consta de subconjuntos de tales que: ${\estilo de visualización X,}$ ${\displaystyle {\mathcal {P}}(X),}$${\displaystyle {\mathcal {P}}(X)}$${\estilo de visualización X}$${\estilo de visualización X,}$${\displaystyle {\mathcal {P}}(X)}$${\displaystyle {\mathcal {U}}}$${\estilo de visualización X}$

1. El conjunto vacío no es un elemento de .${\displaystyle {\mathcal {U}}}$
2. Si es un elemento de entonces también lo es cada superconjunto .${\estilo de visualización A}$${\displaystyle {\mathcal {U}}}$${\displaystyle B\distorsión A}$
3. Si y son elementos de entonces también lo es la intersección .${\estilo de visualización A}$${\estilo de visualización B}$${\displaystyle {\mathcal {U}}}$ ${\estilo de visualización A\cap B}$
4. Si es un subconjunto de entonces ^{[nota 4]} o su complemento es un elemento de .${\estilo de visualización A}$${\estilo de visualización X,}$ ${\estilo de visualización A}$${\displaystyle X\setmenos A}$${\displaystyle {\mathcal {U}}}$

De manera equivalente, una familia de subconjuntos de es un ultrafiltro si y solo si para cualquier colección finita de subconjuntos de , existe alguno tal que donde es el ultrafiltro principal con la semilla de . En otras palabras, un ultrafiltro puede verse como una familia de conjuntos que se asemeja "localmente" a un ultrafiltro principal. ^{[ cita requerida ]}${\displaystyle {\mathcal {U}}}$${\estilo de visualización X}$${\displaystyle {\mathcal {F}}}$${\estilo de visualización X}$${\displaystyle x\en X}$${\displaystyle {\mathcal {U}}\cap {\mathcal {F}}=F_{x}\cap {\mathcal {F}}}$${\displaystyle F_{x}=\{Y\subseteq X:x\en Y\}}$${\estilo de visualización x}$

Una forma equivalente de un dado es un morfismo de 2 valores , una función en definida como si es un elemento de y en caso contrario. Entonces es finitamente aditivo y, por lo tanto, un contenido en y cada propiedad de los elementos de es verdadera casi en todas partes o falsa casi en todas partes. Sin embargo, normalmente no es contablemente aditivo y, por lo tanto, no define una medida en el sentido habitual. ${\displaystyle {\mathcal {U}}}$${\estilo de visualización m}$${\displaystyle {\mathcal {P}}(X)}$${\displaystyle m(A)=1}$${\estilo de visualización A}$${\displaystyle {\mathcal {U}}}$${\displaystyle m(A)=0}$${\estilo de visualización m}$${\displaystyle {\mathcal {P}}(X),}$${\estilo de visualización X}$${\estilo de visualización m}$

Para un filtro que no es un ultrafiltro, se puede definir si y si se deja sin definir en otro lugar. ^[1]${\displaystyle {\mathcal {F}}}$${\displaystyle m(A)=1}$${\displaystyle A\in {\mathcal {F}}}$${\displaystyle m(A)=0}$${\displaystyle X\setminus A\in {\mathcal {F}},}$${\estilo de visualización m}$

Los ultrafiltros en conjuntos de potencias son útiles en topología , especialmente en relación con espacios de Hausdorff compactos , y en teoría de modelos en la construcción de ultraproductos y ultrapotencias . Cada ultrafiltro en un espacio de Hausdorff compacto converge exactamente a un punto. Del mismo modo, los ultrafiltros en álgebras de Boole juegan un papel central en el teorema de representación de Stone . En teoría de conjuntos, los ultrafiltros se utilizan para mostrar que el axioma de constructibilidad es incompatible con la existencia de un cardinal medible κ . Esto se demuestra tomando la ultrapotencia del universo teórico de conjuntos módulo un ultrafiltro κ -completo, no principal. ^[7]

El conjunto de todos los ultrafiltros de un conjunto parcial se puede topologizar de una manera natural, que de hecho está estrechamente relacionada con el teorema de representación mencionado anteriormente. 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 compacta de Hausdorff en . Especialmente, al considerar los ultrafiltros en un conjunto potencia , el espacio topológico resultante es la compactificación de Stone–Čech de un espacio discreto de cardinalidad${\estilo de visualización G}$${\textstyle P}$${\estilo de visualización x}$${\textstyle P}$${\displaystyle D_{x}=\left\{U\en G:x\en U\derecha\}.}$${\textstyle P}$$Estilo de visualización D_{x}}$${\estilo de visualización G}$${\displaystyle {\mathcal {P}}(S)}$${\estilo de visualización |S|.}$

La construcción de ultraproductos en la teoría de modelos utiliza ultrafiltros para producir un nuevo modelo a partir de una secuencia de modelos indexados; por ejemplo, el teorema de compacidad se puede demostrar de esta manera. En el caso especial de los ultrapoderes, se obtienen extensiones elementales de estructuras. Por ejemplo, en el análisis no estándar , los números hiperreales se pueden construir como un ultraproducto de los números reales , extendiendo el dominio del discurso de los números reales a las secuencias de números reales. Este espacio de secuencia se considera 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 los reales a los hiperreales, la idea natural es definirlas puntualmente. Pero esto perdería propiedades lógicas importantes de los reales; por ejemplo, puntualmente < no es un ordenamiento total. Entonces, en cambio, las funciones y relaciones se definen " módulo puntual " , donde es un ultrafiltro en el conjunto índice de las secuencias; por el teorema de Łoś , esto preserva todas las propiedades de los números reales que pueden enunciarse en lógica de primer orden . Si no es principal, entonces la extensión obtenida de ese modo no es trivial. ${\estilo de visualización X}$${\estilo de visualización U}$${\estilo de visualización U}$${\estilo de visualización U}$

En la teoría geométrica de grupos , se utilizan ultrafiltros no principales para definir el cono asintótico de un grupo. Esta construcción ofrece una forma rigurosa de considerar la observación del grupo desde el infinito , es decir, 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. Contrariamente al teorema de imposibilidad de Arrow para un número finito de individuos, dicha regla satisface las condiciones (propiedades) que Arrow propone (por ejemplo, Kirman y Sondermann, 1972). ^[8] Mihara (1997, ^[9] 1999) ^[10] muestra, sin embargo, que dichas reglas son prácticamente de interés limitado para los científicos sociales, ya que no son algorítmicas o no computables.

• Filtro (matemáticas)  – En matemáticas, un subconjunto especial de un conjunto parcialmente ordenado.
• Filtro (teoría de conjuntos)  : Familia de conjuntos que representan conjuntos "grandes"
• Filtros en topología  – Uso de filtros para describir y caracterizar todas las nociones y resultados topológicos básicos.
• El lema del ultrafiltro  : filtro propio máximoPáginas que muestran descripciones breves de los objetivos de redireccionamiento
• Red universal  : una generalización de una secuencia de puntosPáginas que muestran descripciones breves de los objetivos de redireccionamiento

• Arkhangelskii, Alexander Vladimirovich ; Ponomarev, VI (1984). Fundamentos de topología general: problemas y ejercicios . Matemáticas y sus aplicaciones. Vol. 13. Dordrecht Boston: D. Reidel . ISBN 978-90-277-1355-1.OCLC 9944489  .
• Bourbaki, Nicolás (1989) [1966]. Topología general: capítulos 1 a 4 [ Topologie Générale ]. Elementos matemáticos . Berlín Nueva York: Springer Science & Business Media. ISBN 978-3-540-64241-1.OCLC 18588129  .
• Dixmier, Jacques (1984). Topología general . Textos de pregrado en matemáticas. Traducido por Berberian, SK. Nueva York: Springer-Verlag . ISBN. 978-0-387-90972-1.OCLC 10277303  .
• Dolecki, Szymon; Mynard, Frédéric (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 and 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: 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 edición). 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  .

• Comfort, WW (1977). "Ultrafiltros: algunos resultados antiguos y algunos nuevos". Boletín de la Sociedad Americana de Matemáticas . 83 (4): 417–455. doi : 10.1090/S0002-9904-1977-14316-4 . ISSN  0002-9904. MR  0454893.
• Comfort, WW; Negrepontis, S. (1974), La teoría de los ultrafiltros , Berlín, Nueva York: Springer-Verlag , MR  0396267
• Ultrafiltro en el laboratorio n
• "Lógica matemática 15. El teorema del ultrafiltro" en YouTube