Si es un conjunto arbitrario, su conjunto potencia ordenado por inclusión de conjuntos es siempre un álgebra booleana y, por lo tanto, un poset, y los ultrafiltros generalmente se denominan ultrafiltros en el conjunto . [nota 1] Un ultrafiltro en un conjunto puede considerarse como una medida finitamente aditiva con valor 0-1 en . Desde 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. [1] : §4
Los ultrafiltros tienen muchas aplicaciones en teoría de conjuntos, teoría de modelos , topología [2] : 186 y combinatoria. [3]
no existe un filtro adecuado que se extienda adecuadamente (es decir, que sea un subconjunto adecuado de ).
.mw-parser-output .vanchor>:target~.vanchor-text{background-color:#b1d2ff}Tipos y existencia de ultrafiltros
Cada ultrafiltro se clasifica exactamente en una de dos categorías: principal o gratuito. Un ultrafiltro principal (o fijo , o trivial ) es un filtro que contiene un elemento mínimo . En consecuencia, cada ultrafiltro principal tiene la forma de algún elemento del conjunto dado. En este caso se denomina elemento principal del ultrafiltro. Cualquier ultrafiltro que no sea principal se denomina ultrafiltro libre (o no principal ). Para arbitrario , el conjunto es un filtro, llamado filtro principal en ; es un ultrafiltro principal sólo si es máximo.
Para los ultrafiltros en un conjunto de potencia, un ultrafiltro principal consta de todos los subconjuntos que contienen un elemento determinado. Cada ultrafiltro que también es un filtro principal tiene esta forma. [2] : 187 Por lo tanto, un ultrafiltro es principal si y sólo si contiene un conjunto finito. [nota 2] Si es infinito, un ultrafiltro en es, por 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 en el conjunto de potencias de pero sí es un ultrafiltro en el álgebra finito-cofinito de
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 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 todo filtro está contenido en un ultrafiltro no implica CA. De hecho, es equivalente al teorema del ideal primo booleano ( BPIT ), un conocido punto intermedio 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 demostró 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. [5]
Ultrafiltro en un álgebra booleana
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 booleana, 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 afirmaciones son equivalentes:
También se proporciona una prueba de que 1. y 2. son equivalentes en (Burris, Sankappanavar, 2012, Corolario 3.13, p.133). [6]
Además, los ultrafiltros en un álgebra booleana se pueden relacionar 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 sobre {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 booleana, su complemento es un ultrafiltro y existe un homomorfismo único en {verdadero, falso} que lleva el ideal máximo a "falso".
Dado un ultrafiltro en un álgebra booleana, su complemento es un ideal máximo y existe un homomorfismo único en {verdadero, falso} que lleva el ultrafiltro a "verdadero". [ cita necesaria ]
Ultrafiltro en el conjunto de potencia de un conjunto.
Dado un conjunto arbitrario, su conjunto de potencias ordenado por inclusión de conjuntos es siempre un álgebra booleana; por lo tanto, se aplican los resultados de la sección anterior. Un (ultra)filtro activado a menudo se denomina simplemente "(ultra)filtro activado ". [nota 1] 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 es un elemento de entonces también lo es cada superconjunto .
Si y son elementos de entonces también lo es la intersección .
Si es un subconjunto de entonces [nota 4] o su complemento es un elemento de .
De manera equivalente, una familia de subconjuntos de es un ultrafiltro si y solo si para cualquier colección finita de subconjuntos de , hay alguno tal que donde esté el ultrafiltro principal sembrado por . En otras palabras, un ultrafiltro puede verse como una familia de conjuntos que "localmente" se parecen a un ultrafiltro principal. [ cita necesaria ]
Una forma equivalente de un dado es un morfismo de 2 valores , una función definida como si fuera un elemento de y de otra manera. Entonces es finitamente aditivo y, por tanto, el contenido y cada propiedad de los elementos de es verdadero en casi todas partes o falso en casi todas partes. Sin embargo, normalmente no es contablemente aditivo y, por tanto, no define una medida en el sentido habitual.
Para un filtro que no es un ultrafiltro, se puede definir si se deja sin definir en otro lugar. [1]
El conjunto de todos los ultrafiltros de un poset puede topogizarse de forma natural, lo que de hecho está estrechamente relacionado con el teorema de representación mencionado anteriormente. Para cualquier elemento de , let Esto es más útil cuando nuevamente es un álgebra booleana, ya que en esta situación el conjunto de all es una base para una topología compacta de Hausdorff en . Especialmente, cuando se consideran los ultrafiltros en un conjunto de potencias , el espacio topológico resultante es la compactación de Stone-Čech de un espacio discreto de cardinalidad.
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 la compacidad se puede demostrar de esta manera. En el caso especial de las ultrapotencias, se obtienen ampliaciones elementales de las estructuras. Por ejemplo, en un análisis no estándar , los números hiperreales pueden construirse como un ultraproducto de los números reales , extendiendo el dominio del discurso desde los números reales a secuencias de números reales. Este espacio de secuencia se considera como un superconjunto de los reales identificando 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 importantes propiedades lógicas de los reales; por ejemplo, puntualmente < no es un orden total. Entonces, en cambio, las funciones y relaciones se definen como " módulo puntual " , donde hay un ultrafiltro en el conjunto de índices de las secuencias; según el teorema de Łoś , esto preserva todas las propiedades de los reales que pueden enunciarse en lógica de primer orden . Si no es principal, entonces la extensión así obtenida no es trivial.
En teoría geométrica de grupos , se utilizan ultrafiltros no principales para definir el cono asintótico de un grupo. Esta construcción produce una manera rigurosa de considerar mirar el 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 una infinidad de individuos. Contrariamente al teorema de imposibilidad de Arrow para un número finito de individuos, dicha regla satisface las condiciones (propiedades) que propone Arrow (por ejemplo, Kirman y Sondermann, 1972). [8] Mihara (1997, [9] 1999) [10] 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.
El lema del ultrafiltro : filtro adecuado máximoPáginas que muestran descripciones breves de los objetivos de redireccionamiento
Red universal : una generalización de una secuencia de puntos.Páginas que muestran descripciones breves de los objetivos de redireccionamiento
Notas
^ ab Si también está parcialmente ordenado, se necesita especial cuidado para comprender a partir del contexto si se trata de un (ultra)filtro activado o un (ultra)filtro simplemente activado ; Ambos tipos de (ultra)filtros son bastante diferentes. Algunos autores [ cita necesaria ] utilizan "(ultra)filtro de un conjunto ordenado parcial" frente a " en un conjunto arbitrario"; es decir, escriben "(ultra)filtro de " para abreviar "(ultra)filtro de ".
^ no es principal si y solo si no contiene ningún conjunto finito, es decir, (según el número 3 del teorema de caracterización anterior) si y solo si contiene todos los conjuntos cofinitos, es decir, todos los miembros del filtro de Fréchet.
^ Las propiedades 1 y 3 implican eso y no pueden ser ambas elementos de
Referencias
^ ab Alex Kruckman (7 de noviembre de 2012). "Notas sobre ultrafiltros" (PDF) . Seminario Berkeley Math Toolbox.
^ abcd Davey, licenciado en Letras; Priestley, HA (1990). Introducción a las celosías y al orden . Libros de texto de matemáticas de Cambridge. Prensa de la Universidad de Cambridge.
^ Trae oro, Isaac (2021). "Métodos de ultrafiltro en combinatoria". Instantáneas de las matemáticas modernas de Oberwolfach . Marta Maggioni, Sophia Jahns. doi :10.14760/SNAP-2021-006-ES.
^ "Ultrafiltros y cómo utilizarlos", Burak Kaya, notas de clase, Nesin Mathematics Village, verano de 2019.
^ Halbeisen, LJ (2012). Teoría combinatoria de conjuntos . Monografías de Springer en Matemáticas. Saltador.
^ Burris, Stanley N.; Sankappanavar, HP (2012). Un curso de álgebra universal (PDF) . ISBN978-0-9880552-0-9.
^ Kanamori, El infinito superior, pag. 49.
^ Kirman, A.; Sondermann, D. (1972). "El teorema de Arrow, muchos agentes y dictadores invisibles". Revista de teoría económica . 5 (2): 267–277. doi :10.1016/0022-0531(72)90106-8.
^ Mihara, recursos humanos (1997). "Teorema de Arrow y computabilidad de Turing" (PDF) . Teoría económica . 10 (2): 257–276. CiteSeerX 10.1.1.200.520 . doi :10.1007/s001990050157. S2CID 15398169Reimpreso en KV Velupillai, S. Zambelli y S. Kinsella, ed., Computable Economics, Biblioteca Internacional de Escritos Críticos de Economía, Edward Elgar, 2011.{{cite journal}}: Mantenimiento CS1: posdata ( enlace )
^ Mihara, recursos humanos (1999). "El teorema de Arrow, muchos agentes y dictadores invisibles más visibles". Revista de Economía Matemática . 32 (3): 267–277. CiteSeerX 10.1.1.199.1970 . doi :10.1016/S0304-4068(98)00061-5.
Dolecki, Szymon; Mynard, Frédéric (2016). Fundamentos de convergencia de la topología . Nueva Jersey: Compañía Mundial de Publicaciones Científicas. ISBN 978-981-4571-52-4. OCLC 945169917.
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.
Comodidad, WW (1977). "Ultrafiltros: algunos resultados antiguos y otros nuevos". Boletín de la Sociedad Matemática Estadounidense . 83 (4): 417–455. doi : 10.1090/S0002-9904-1977-14316-4 . ISSN 0002-9904. SEÑOR 0454893.
Comodidad, WW; Negrepontis, S. (1974), La teoría de los ultrafiltros , Berlín, Nueva York: Springer-Verlag , MR 0396267