Family of sets representing "large" sets
En matemáticas , un filtro de un conjunto es una familia de subconjuntos tales que:
- y
- Si y , entonces
- Si y , entonces
Se puede pensar que un filtro en un conjunto representa una "colección de grandes subconjuntos", un ejemplo intuitivo es el filtro de vecindad . Los filtros aparecen en la teoría de órdenes , la teoría de modelos y la teoría de conjuntos , pero también se pueden encontrar en la topología , de donde se originan. La noción dual de un filtro es un ideal .
Los filtros fueron introducidos por Henri Cartan en 1937 y como se describe en el artículo dedicado a los filtros en topología , fueron utilizados posteriormente por Nicolas Bourbaki en su libro Topologie Générale como una alternativa a la noción relacionada de una red desarrollada en 1922 por EH Moore y Herman L. Smith . Los filtros de orden son generalizaciones de filtros de conjuntos a conjuntos parcialmente ordenados arbitrarios . Específicamente, un filtro en un conjunto es solo un filtro de orden adecuado en el caso especial donde el conjunto parcialmente ordenado consiste en el conjunto de potencia ordenado por inclusión de conjuntos .
Preliminares, notación y nociones básicas
En este artículo, las letras romanas mayúsculas como y denotan conjuntos (pero no familias a menos que se indique lo contrario) y denotarán el conjunto potencia de Un subconjunto de un conjunto potencia se denomina familia de conjuntos (o simplemente, una familia ) donde es sobre si es un subconjunto de Las familias de conjuntos se denotarán con letras caligráficas mayúsculas como
Siempre que se necesiten estas suposiciones, se debe suponer que no está vacío y que etc. son familias de conjuntos sobre
Los términos “prefiltro” y “base de filtro” son sinónimos y se utilizarán indistintamente.
Advertencia sobre definiciones y notaciones en conflicto
Lamentablemente, en la teoría de filtros hay varios términos que se definen de forma diferente según los distintos autores. Entre ellos se incluyen algunos de los términos más importantes, como "filtro". Aunque las distintas definiciones de un mismo término suelen tener una superposición significativa, debido a la naturaleza muy técnica de los filtros (y la topología de conjunto de puntos), estas diferencias en las definiciones suelen tener consecuencias importantes. Al leer literatura matemática, se recomienda que los lectores comprueben cómo define el autor la terminología relacionada con los filtros. Por este motivo, en este artículo se indicarán claramente todas las definiciones tal como se utilizan. Desafortunadamente, no toda la notación relacionada con los filtros está bien establecida y algunas notaciones varían mucho en la literatura (por ejemplo, la notación para el conjunto de todos los prefiltros de un conjunto), por lo que en esos casos este artículo utiliza la notación que sea más autodescriptiva o fácil de recordar.
La teoría de filtros y prefiltros está bien desarrollada y cuenta con una gran cantidad de definiciones y notaciones, muchas de las cuales se enumeran ahora sin ceremonias para evitar que este artículo se vuelva prolijo y para permitir una fácil búsqueda de notaciones y definiciones. Sus propiedades importantes se describen más adelante.
Operaciones de conjuntos
ElEl cierre ascendente oisotonizaciónende unafamilia de conjuntoses
y de manera similar el cierre hacia abajo de es
A lo largo de todo, hay un mapa y es un conjunto.
Las redes y sus colas
Un conjunto dirigido es un conjunto junto con un preorden , que se denotará por (a menos que se indique explícitamente lo contrario), que hace en un conjunto dirigido ( hacia arriba ) ; esto significa que para todo existe alguno tal que Para cualquier índice la notación se define como que significa mientras que se define como que significa que se cumple pero no es cierto que (si es antisimétrico entonces esto es equivalente a ).
Una red en es una función de un conjunto dirigido no vacío en
La notación se utilizará para denotar una red con dominio
Advertencia sobre el uso de comparaciones estrictas
Si es una red y entonces es posible que el conjunto que se llama cola de después de , esté vacío (por ejemplo, esto sucede si es un límite superior del conjunto dirigido ). En este caso, la familia contendría el conjunto vacío, lo que evitaría que fuera un prefiltro (definido más adelante). Esta es la razón (importante) para definir como en lugar de o incluso y es por esta razón que en general, cuando se trata del prefiltro de colas de una red, la desigualdad estricta no puede usarse indistintamente con la desigualdad
Filtros y prefiltros
La siguiente es una lista de propiedades que puede poseer una familia de conjuntos y que forman las propiedades definitorias de filtros, prefiltros y subbases de filtros. Siempre que sea necesario, se debe suponer que
La familia de conjuntos es:
- Apropiado ono degenerado siEn caso contrario, sientonces se llamaimpropioodegenerado.
- Dirigido hacia abajosi siempreque exista algotal que
- Esta propiedad se puede caracterizar en términos de direccionalidad , lo que explica la palabra "dirigido": Una relación binaria en se llama (hacia arriba) dirigida si para dos cualesquiera hay algún satisfactorio Usando en lugar de da la definición de dirigido hacia abajo mientras que usando en su lugar da la definición de dirigido hacia arriba . Explícitamente, está dirigido hacia abajo (resp. dirigido hacia arriba ) si y solo si para todos existe algún "mayor" tal que (resp. tal que ) − donde el elemento "mayor" siempre está en el lado derecho, [nota 1] − que puede reescribirse como (resp. como ).
- Si una familia tiene un elemento mayor con respecto a (por ejemplo, si ) entonces necesariamente está dirigida hacia abajo.
- Cerrado bajo intersecciones finitas (resp.uniones) si la intersección (resp. unión) de dos elementos cualesquiera dees un elemento de
- Si es cerrada bajo intersecciones finitas entonces necesariamente está dirigida hacia abajo. La inversa es generalmente falsa.
- Cerrado hacia arriba oisótonoensio equivalentemente, si siempre quey algún conjuntosatisfaceDe manera similar,estácerrado hacia abajosiUn conjunto cerrado hacia arriba (respectivamente, hacia abajo) también se denominaconjunto superioroalterado(resp. unconjunto inferioroconjunto descendente).
- La familia que es el cierre ascendente de es la única familia de isótonos más pequeña (con respecto a ) de conjuntos sobre que tiene como subconjunto.
Muchas de las propiedades de los términos definidos arriba y abajo, como "adecuado" y "dirigido hacia abajo", no dependen de, por lo que mencionar el conjunto es opcional cuando se utilizan dichos términos. Las definiciones que implican estar "cerrado hacia arriba en ", como la de "filtrar sobre ", sí dependen de, por lo que se debe mencionar el conjunto si no queda claro a partir del contexto.
Una familia es un(a):
- Idealsies cerrado hacia abajo y cerrado bajo uniones finitas.
- Ideal dual ensiestá cerrado hacia arribay también cerrado bajo intersecciones finitas. Equivalentemente,es un ideal dual si para todo
- Explicación de la palabra "dual": Una familia es un ideal dual (o un ideal) si y sólo sidual de la cual es la familia es un ideal (resp. un ideal dual) en En otras palabras, ideal dual significa " dual de un ideal ". La familia no debe confundirse con porque estos dos conjuntos no son iguales en general; por ejemplo, El dual del dual es la familia original, lo que significa que El conjunto pertenece al dual de si y solo si
- Filtro sobresies un ideal dual propio sobreEs decir, un filtro sobrees un subconjunto no vacío deque está cerrado bajo intersecciones finitas y cerrado hacia arriba enEquivalentemente, es un prefiltro que está cerrado hacia arriba enEn palabras, un filtro sobrees una familia de conjuntos sobreque (1) no está vacía (o equivalentemente, contiene), (2) está cerrado bajo intersecciones finitas, (3) está cerrado hacia arriba eny (4) no tiene al conjunto vacío como elemento.
- Advertencia : Algunos autores, particularmente los algebristas, usan "filtro" para significar un ideal dual; otros, particularmente los topólogos, usan "filtro" para significar un ideal dual propio / no degenerado . Se recomienda que los lectores siempre verifiquen cómo se define "filtro" cuando lean literatura matemática. Sin embargo, las definiciones de "ultrafiltro", "prefiltro" y "subbase de filtro" siempre requieren no degeneración. Este artículo usa la definición original de "filtro" de Henri Cartan , que requería no degeneración.
- Un filtro dual en es una familia cuyo dual es un filtro en Equivalentemente, es un ideal en que no contiene como elemento.
- El conjunto potencia es el único ideal dual que no es también un filtro. Excluirlo de la definición de "filtro" en topología tiene el mismo beneficio que excluirlo de la definición de " número primo ": obvia la necesidad de especificar "no degenerado" (el análogo de "no unitario " o "no- ") en muchos resultados importantes, lo que hace que sus enunciados sean menos complicados.
- Prefiltro obase de filtrosies propia y está dirigida hacia abajo. Equivalentemente,se denomina prefiltro si su cierre ascendentees un filtro. También se puede definir como cualquier familia que sea equivalente (con respecto a) aalgúnfiltro. Una familia propiaes un prefiltro si y solo siUna familia es un prefiltro si y solo si lo mismo es cierto para su cierre ascendente.
- Si es un prefiltro, entonces su cierre ascendente es el filtro más pequeño (relativo a ) único que contiene y se llama filtro generado por Se dice que un filtro es generado por un prefiltro si en el cual se llama base de filtro para
- A diferencia de un filtro, un prefiltro no está necesariamente cerrado bajo intersecciones finitas.
- π –sistema si es cerrado bajo intersecciones finitas. Cada familia no vacíaestá contenida en un únicoπ–sistema más pequeño llamadoπ–sistema generado porque a veces se denota porEs igual a la intersección de todoslos π–sistemas que contieneny también al conjunto de todas las posibles intersecciones finitas de conjuntos de:
- Un sistema π es un prefiltro si y solo si es propio. Todo filtro es un sistema π propio y todo sistema π propio es un prefiltro, pero las recíprocas no se cumplen en general.
- Un prefiltro es equivalente (con respecto a ) al sistema π generado por él y ambas familias generan el mismo filtro en
- Filtrar subbaseycentradosiysatisface cualquiera de las siguientes condiciones equivalentes:
- tiene la propiedad de intersección finita , lo que significa que la intersección de cualquier familia finita de (uno o más) conjuntos en no está vacía; explícitamente, esto significa que siempre que entonces
- El sistema π generado por es propio; es decir,
- El sistema π generado por es un prefiltro.
- es un subconjunto de algún prefiltro.
- es un subconjunto de algún filtro.
- Supongamos que es una subbase de filtro. Entonces, hay un filtro único más pequeño (en relación con ) que contiene, llamadofiltro generado por , yse dice quees una subbase de filtro paraeste filtro. Este filtro es igual a la intersección de todos los filtros enque son superconjuntos deElπ–sistema generado pordenotado porserá un prefiltro y un subconjunto de Además, el filtro generado pores igual al cierre ascendente designificadoSin embargo,siy solo sies un prefiltro (aunquesubbasede filtro cerrada ascendentementepara).
- Un prefiltro más pequeño (es decir, el más pequeño en relación con ) que contiene una subbase de filtro existirá solo en ciertas circunstancias. Existe, por ejemplo, si la subbase de filtro también es un prefiltro. También existe si el filtro (o equivalentemente, el π –sistema) generado por es principal, en cuyo caso es el único prefiltro más pequeño que contiene . De lo contrario, en general, un prefiltro más pequeño que contiene podría no existir. Por esta razón, algunos autores pueden referirse al π –sistema generado por comoel prefiltro generado por Sin embargo, si existe un prefiltro más pequeño (digamos que se denota pornoesnecesariamente igual al "prefiltro generado por B {\displaystyle {\mathcal {B}}} " (es decir,es posible). Y si la subbase del filtroresulta ser también un prefiltro pero no unπ-sistema, entonces, lamentablemente, "el prefiltro generado por este prefiltro" (es decir,) no lo será(es decir,es posible incluso cuandoes un prefiltro), por lo que este artículo preferirá la terminología precisa e inequívoca de "el π -sistemagenerado por".
- Subfiltro de un filtroy quees unsuperfiltro desies un filtro ydonde para filtros,
- Es importante destacar que la expresión "es un superfiltro de" es para los filtros el análogo de "es una subsecuencia de". Por lo tanto, a pesar de tener el prefijo "sub" en común, "es un subfiltro de" es en realidad el inverso de "es una subsecuencia de". Sin embargo, también se puede escribir, lo que se describe diciendo " es subordinado a ". Con esta terminología, "es subordinado a" se convierte para los filtros (y también para los prefiltros) en el análogo de "es una subsecuencia de", lo que hace que esta sea una situación en la que el uso del término "subordinado" y el símbolo pueden ser útiles.
No hay prefiltros en (ni tampoco hay redes valoradas en ), por lo que este artículo, como la mayoría de los autores, asumirá automáticamente sin comentarios que siempre que se necesite esta suposición.
Ejemplos básicos
Ejemplos con nombre
- El conjunto singleton se llama indiscreto ofiltro trivial enEs el únicomínimoenporque es un subconjunto de cada filtro en; sin embargo, no necesita ser un subconjunto de cada prefiltro en
- El ideal dual también se denomina filtro degenerado en (a pesar de que en realidad no es un filtro). Es el único ideal dual en que no es un filtro en
- Si es un espacio topológico y entonces el filtro de vecindad en es un filtro en Por definición, una familia se llama base de vecindad (resp. una subbase de vecindad ) en si y solo si es un prefiltro (resp. es una subbase de filtro) y el filtro en que genera es igual al filtro de vecindad La subfamilia de vecindades abiertas es una base de filtro para Ambos prefiltros también forman bases para topologías en con la topología generada siendo más burda que Este ejemplo se generaliza inmediatamente desde vecindades de puntos a vecindades de subconjuntos no vacíos
- es unprefiltro elemental [26]sipara alguna secuencia
- es unfiltro elemental o unfiltro secuencial ensies un filtrogenerado por algún prefiltro elemental. El filtro de colas generado por una secuencia que no es eventualmente constantenoun ultrafiltro.Todo filtro principal en un conjunto numerable es secuencial, como lo es todo filtro cofinito en un conjunto numerablemente infinito.La intersección de un número finito de filtros secuenciales es nuevamente secuencial.
- El conjunto de todos los subconjuntos cofinitos de (es decir, aquellos conjuntos cuyo complemento en es finito) es propio si y solo si es infinito (o equivalentemente, es infinito), en cuyo caso se aplica un filtro conocido como filtro de Fréchet o filtro de Fréchet.filtro cofinito enSies finito entonceses igual al ideal dualque no es un filtro. Sies infinito entonces la familiade complementos de conjuntos singleton es una subbase de filtro que genera el filtro de Fréchet enComo con cualquier familia de conjuntos sobreque contieneel núcleo del filtro de Fréchet enes el conjunto vacío:
- La intersección de todos los elementos de cualquier familia no vacía es en sí misma un filtro sobre llamado ínfimo o límite inferior máximo de , por lo que puede denotarse por Dicho de otra manera, Debido a que cada filtro sobre tiene como subconjunto, esta intersección nunca está vacía. Por definición, el ínfimo es el filtro más fino/más grande (en relación con ) contenido como subconjunto de cada miembro de
- Si son filtros entonces su ínfimo en es el filtro Si son prefiltros entonces es un prefiltro que es más grueso (con respecto a ) que ambos (es decir, ); de hecho, es uno de los prefiltros más finos de este tipo , lo que significa que si es un prefiltro tal que entonces necesariamente De manera más general, si son familias no vacías y si entonces y es un elemento más grande (con respecto a ) de
- Sea y sea
El supremo o mínimo límite superior de denotado por es el ideal dual más pequeño (relativo a ) en que contiene cada elemento de como un subconjunto; es decir, es el ideal dual más pequeño (relativo a ) en que contiene como un subconjunto. Este ideal dual es donde es el π –sistema generado por
Como con cualquier familia no vacía de conjuntos, está contenido en algún filtro en si y solo si es una subbase de filtro, o equivalentemente, si y solo si es un filtro en en cuyo caso esta familia es el filtro más pequeño (relativo a ) en que contiene cada elemento de como un subconjunto y necesariamente
- Sea y sea
El supremo o límite superior mínimo de denotado por si existe, es por definición el filtro más pequeño (relativo a ) en que contiene cada elemento de como un subconjunto. Si existe entonces necesariamente (como se definió anteriormente) y también será igual a la intersección de todos los filtros en que contiene
Este supremo de existe si y solo si el ideal dual es un filtro en
El límite superior mínimo de una familia de filtros puede no ser un filtro. De hecho, si contiene al menos 2 elementos distintos entonces existen filtros para los cuales no existe un filtro que contenga ambos
Si no es una subbase de filtro entonces el supremo de no existe y lo mismo es cierto de su supremo en pero su supremo en el conjunto de todos los ideales duales en existirá (siendo el filtro degenerado ).
- Si son prefiltros (resp. filtros en ) entonces es un prefiltro (resp. un filtro) si y solo si no es degenerado (o dicho de otra manera, si y solo si malla), en cuyo caso es uno de los prefiltros más gruesos (resp. el filtro más grueso) en (con respecto a ) que es más fino (con respecto a ) que ambos esto significa que si es cualquier prefiltro (resp. cualquier filtro) tal que entonces necesariamente en cuyo caso se denota por
- Sean conjuntos no vacíos y para cada sea un ideal dual en Si es cualquier ideal dual en entonces es un ideal dual en llamado ideal dual de Kowalsky o filtro de Kowalsky .
- El filtro club de un cardinal incontable regular es el filtro de todos los conjuntos que contienen un subconjunto club de Es un filtro -completo cerrado bajo la intersección diagonal .
Otros ejemplos
- Sea y sea que forma un prefiltro y una subbase de filtro que no está cerrada bajo intersecciones finitas. Debido a que es un prefiltro, el prefiltro más pequeño que contiene es El sistema π generado por es En particular, el prefiltro más pequeño que contiene la subbase de filtro no es igual al conjunto de todas las intersecciones finitas de conjuntos en El filtro en generado por es Los tres sistemas π generan y son ejemplos de prefiltros fijos, principales y ultra que son principales en el punto es también un ultrafiltro en
- Sea un espacio topológico, y definamos donde es necesariamente más fino que Si no es vacío (resp. no degenerado, una subbase de filtro, un prefiltro, cerrado bajo uniones finitas), entonces lo mismo es cierto de Si es un filtro en entonces es un prefiltro pero no necesariamente un filtro en aunque es un filtro en equivalente a
- El conjunto de todos los subconjuntos abiertos densos de un espacio topológico (no vacío) es un π –sistema propio y por lo tanto también un prefiltro. Si el espacio es un espacio de Baire , entonces el conjunto de todas las intersecciones numerables de subconjuntos abiertos densos es un π –sistema y un prefiltro que es más fino que Si (con ) entonces el conjunto de todos los que tiene medida de Lebesgue finita es un π –sistema propio y prefiltro libre que es también un subconjunto propio de Los prefiltros y son equivalentes y por lo tanto generan el mismo filtro en
El prefiltro está propiamente contenido en, y no es equivalente a, el prefiltro que consiste en todos los subconjuntos densos de Dado que es un espacio de Baire , cada intersección numerable de conjuntos en es densa en (y también comeagre y no exigua) por lo que el conjunto de todas las intersecciones numerables de elementos de es un prefiltro y π –sistema; también es más fino que, y no es equivalente a,
- Una subbase de filtro sin el prefiltro más pequeño que la contiene : En general, si una subbase de filtro no es un π –sistema entonces una intersección de conjuntos de usualmente requerirá una descripción que involucre variables que no pueden ser reducidas a solo dos (considere, por ejemplo cuando ). Este ejemplo ilustra una clase atípica de una subbase de filtro donde todos los conjuntos en ambos y su π –sistema generado pueden ser descritos como conjuntos de la forma de modo que en particular, no más de dos variables (específicamente, ) son necesarias para describir el π –sistema generado. Para todos sea
donde siempre se cumple por lo que no se pierde generalidad al agregar el supuesto
Para todos los reales si es no negativo entonces [nota 2]
Para cada conjunto de reales positivos, sea [nota 3]
Sea y suponga que no es un conjunto singleton. Entonces es una subbase de filtro pero no un prefiltro y es el π –sistema que genera, de modo que es el único filtro más pequeño en que contiene Sin embargo, no es un filtro sobre (ni es un prefiltro porque no está dirigido hacia abajo, aunque es una subbase de filtro) y es un subconjunto propio del filtro
Si son intervalos no vacíos, entonces las subbases de filtro generan el mismo filtro sobre si y solo si
Si es un prefiltro que satisface [nota 4] entonces para cualquier la familia también es un prefiltro que satisface Esto muestra que no puede existir un prefiltro mínimo / mínimo (con respecto a ) que contenga y sea un subconjunto del π –sistema generado por Esto sigue siendo cierto incluso si se elimina el requisito de que el prefiltro sea un subconjunto de; es decir, (en marcado contraste con los filtros) no existe un prefiltro mínimo / mínimo (con respecto a ) que contenga la subbase de filtro
Ultrafiltros
Existen muchas otras caracterizaciones de "ultrafiltro" y "ultraprefiltro", que se enumeran en el artículo sobre ultrafiltros . En ese artículo también se describen propiedades importantes de los ultrafiltros.
Una familia de conjuntos no vacía es/es:
- Ultra sise cumple alguna de las siguientes condiciones equivalentes:
- Para cada conjunto existe algún conjunto tal que (o equivalentemente, tal que ).
- Para cada conjunto existe algún conjunto tal que
- Esta caracterización de " es ultra" no depende del conjunto , por lo que mencionar el conjunto es opcional cuando se utiliza el término "ultra".
- Para cada conjunto (no necesariamente ni siquiera un subconjunto de ) existe algún conjunto tal que
- Si satisface esta condición, entonces también lo hace cada superconjunto. Por ejemplo, si es cualquier conjunto singleton , entonces es ultra y, en consecuencia, cualquier superconjunto no degenerado de (como su cierre ascendente) también es ultra.
- Prefiltro ultra si es un prefiltro que también es ultra. Equivalentemente, es una subbase de filtro que es ultra. Un prefiltro es ultra si y solo si satisface cualquiera de las siguientes condiciones equivalentes:
- es máxima con respecto a lo que significa que
- Aunque esta afirmación es idéntica a la que se da a continuación para los ultrafiltros, aquí simplemente se supone que es un prefiltro; no necesita ser un filtro.
- es ultra (y por lo tanto un ultrafiltro).
- es equivalente (con respecto a ) a algún ultrafiltro.
- Una subbase de filtro que es ultra es necesariamente un prefiltro. Una subbase de filtro es ultra si y solo si es una subbase de filtro máxima con respecto a (como se indicó anteriormente).
- Ultrafiltro activado si es un filtro activadoque es ultra. De manera equivalente, un ultrafiltro activadoes un filtroque satisface cualquiera de las siguientes condiciones equivalentes:
- se genera mediante un prefiltro ultra.
- Para cualquier
- Esta condición se puede reformular como: está dividida por y su dual
- Los conjuntos son disjuntos siempre que haya un prefiltro.
- es un ideal.
- Para cualquier si entonces
- Para cualquier caso , si entonces (un filtro con esta propiedad se llama filtro principal ).
- Esta propiedad se extiende a cualquier unión finita de dos o más conjuntos.
- Para cualquier si entonces cualquiera
- es un filtro maximo en ; lo que significa que si es un filtro en tal que entonces necesariamente (esta igualdad puede reemplazarse por ).
- Si está cerrado hacia arriba entonces Entonces esta caracterización de los ultrafiltros como filtros maximos puede reformularse como:
- Debido a que la subordinación es para los filtros el análogo de "es una subred/subsecuencia de" (específicamente, "subred" debería significar "AA–subred", que se define más abajo), esta caracterización de un ultrafiltro como un "filtro máximamente subordinado" sugiere que un ultrafiltro puede interpretarse como análogo a algún tipo de "red máximamente profunda" (lo que podría, por ejemplo, significar que "cuando se ve solo desde " en algún sentido, es indistinguible de sus subredes, como es el caso con cualquier red valorada en un conjunto singleton, por ejemplo), [nota 5] que es una idea que en realidad se vuelve rigurosa por las ultraredes . El lema del ultrafiltro es entonces la afirmación de que cada filtro ("red") tiene algún filtro subordinado ("subred") que es "máximamente subordinado" ("máximamente profundo").
Cualquier familia no degenerada que tenga como elemento un conjunto singleton es ultra, en cuyo caso será un prefiltro ultra si y solo si también tiene la propiedad de intersección finita. El filtro trivial es ultra si y solo si es un conjunto singleton.
El lema del ultrafiltro
El siguiente teorema importante se debe a Alfred Tarski (1930).
Una consecuencia del lema del ultrafiltro es que cada filtro es igual a la intersección de todos los ultrafiltros que lo contienen. [prueba 1]
Suponiendo los axiomas de Zermelo–Fraenkel (ZF) , el lema del ultrafiltro se sigue del axioma de elección (en particular del lema de Zorn ) pero es estrictamente más débil que él. El lema del ultrafiltro implica el axioma de elección para conjuntos finitos. Si solo se trata de espacios de Hausdorff , entonces la mayoría de los resultados básicos (como los que se encuentran en los cursos introductorios) en topología (como el teorema de Tichonoff para espacios de Hausdorff compactos y el teorema de la subbase de Alexander ) y en análisis funcional (como el teorema de Hahn–Banach ) se pueden demostrar utilizando solo el lema del ultrafiltro; podría no necesitarse toda la fuerza del axioma de elección.
Granos
El núcleo es útil para clasificar propiedades de prefiltros y otras familias de conjuntos.
El
núcleo de una familia de conjuntos es la intersección de todos los conjuntos que son elementos de
Si entonces por cualquier punto
Propiedades de los granos
Si entonces y este conjunto también es igual al núcleo del sistema π que se genera por
En particular, si es una subbase de filtro, entonces los núcleos de todos los conjuntos siguientes son iguales:
- (1) (2) el sistema π generado por y (3) el filtro generado por
Si es una función entonces y
Si entonces mientras que si y son equivalentes entonces
Las familias equivalentes tienen núcleos iguales. Dos familias principales son equivalentes si y solo si sus núcleos son iguales; es decir, si y son principales entonces son equivalentes si y solo si
Clasificación de familias por sus núcleos
Si es un filtro principal entonces y
donde es también el prefiltro más pequeño que genera
Familia de ejemplos: Para cualquier no vacío la familia es libre pero es una subbase de filtro si y solo si ninguna unión finita de la forma cubre en cuyo caso el filtro que genera también será libre. En particular, es una subbase de filtro si es numerable (por ejemplo, los primos), un conjunto exiguo en un conjunto de medida finita, o un subconjunto acotado de Si es un conjunto singleton entonces es una subbase para el filtro de Fréchet en
Para cada filtro existe un único par de ideales duales tales que es libre, es principal y y no se engranan (es decir, ). El ideal dual se llama parte libre de mientras que se llama parte principal donde al menos uno de estos ideales duales es filtro. Si es principal entonces en caso contrario, y es un filtro libre (no degenerado).
Prefiltros finitos y conjuntos finitos
Si una subbase de filtro es finita, entonces es fija (es decir, no libre); esto se debe a que es una intersección finita y la subbase de filtro tiene la propiedad de intersección finita. Un prefiltro finito es necesariamente principal, aunque no tiene por qué ser cerrado en caso de intersecciones finitas.
Si es finito, entonces todas las conclusiones anteriores son válidas para cualquier conjunto
. En particular, en un conjunto finito no hay subbases de filtro libres (y, por lo tanto, no hay prefiltros libres), todos los prefiltros son principales y todos los filtros son filtros principales generados por sus núcleos (no vacíos).
El filtro trivial es siempre un filtro finito en y si es infinito entonces es el único filtro finito porque un filtro finito no trivial en un conjunto es posible si y solo si es finito. Sin embargo, en cualquier conjunto infinito hay subbases de filtro y prefiltros no triviales que son finitos (aunque no pueden ser filtros). Si es un conjunto singleton entonces el filtro trivial es el único subconjunto propio de y además, este conjunto es un ultraprefiltro principal y cualquier superconjunto (donde ) con la propiedad de intersección finita también será un ultraprefiltro principal (incluso si es infinito).
Caracterización de los prefiltros ultrafijos
Si una familia de conjuntos es fija (es decir, ), entonces es ultra si y solo si algún elemento de es un conjunto singleton, en cuyo caso será necesariamente un prefiltro. Todo prefiltro principal es fijo, por lo que un prefiltro principal es ultra si y solo si es un conjunto singleton.
Todo filtro que es principal en un único punto es un ultrafiltro, y si además es finito, entonces no hay ultrafiltros en otros que no sean estos.
El siguiente teorema muestra que cada ultrafiltro cae en una de dos categorías: o es gratuito o es un filtro principal generado por un solo punto.
Más fino/más grueso, subordinación y mallado
El preorden que se define a continuación es de importancia fundamental para el uso de prefiltros (y filtros) en topología. Por ejemplo, este preorden se utiliza para definir el equivalente de prefiltro de "subsecuencia", donde " " se puede interpretar como " es una subsecuencia de " (por lo que "subordinado a" es el equivalente de prefiltro de "subsecuencia de"). También se utiliza para definir la convergencia de prefiltros en un espacio topológico. La definición de mallas con las que está estrechamente relacionada con el preorden se utiliza en Topología para definir puntos de clúster .
Dos familias de conjuntos mallay soncompatibles, indicado escribiendosiSino se mallan entonces estándisociados. Sientoncesse dice que semallansise mallan, o equivalentemente, sitraza dela cual es la familia
no contiene el conjunto vacío, donde la traza también se llamarestricción de
Declare que lo establecido como es
más grueso que y es
más fino que (o
subordinado a ) si se cumple alguna de las siguientes condiciones equivalentes:
- Definición: Todo contiene algo Explícitamente, esto significa que para todo hay algo tal que
- Dicho de manera más breve y sencilla, si cada conjunto en es mayor que algún conjunto en Aquí, un "conjunto mayor" significa un superconjunto.
-
- En palabras, establece exactamente qué es mayor que algún conjunto en La equivalencia de (a) y (b) se sigue inmediatamente.
- De esta caracterización se deduce que si son familias de conjuntos, entonces
- que es equivalente a ;
- ;
- que es equivalente a ;
y si además está cerrado al alza, lo que significa que entonces esta lista se puede ampliar para incluir:
- Así que en este caso, esta definición de " es más fino que " sería idéntica a la definición topológica de "más fino" si se hubieran utilizado topologías
Si una familia cerrada hacia arriba es más fina que (es decir, ) pero entonces se dice que es estrictamente más fina que y es estrictamente más gruesa que
Dos familias son
comparables si uno de estos conjuntos es más fino que el otro.
Ejemplo : Si es una subsecuencia de entonces está subordinada a en símbolos: y también
Expresado en términos sencillos, el prefiltro de colas de una subsecuencia siempre está subordinado al de la secuencia original. Para ver esto, sea arbitrario (o equivalentemente, sea arbitrario) y queda por demostrar que este conjunto contiene algunos
Para que el conjunto lo contenga es suficiente tener
Dado que son números enteros estrictamente crecientes, existe tal que y por lo tanto se cumple, como se desea. En consecuencia,
El lado izquierdo será un subconjunto estricto/propio del lado derecho si (por ejemplo) cada punto de es único (es decir, cuando es inyectivo) y es la subsecuencia de índice par porque en estas condiciones, cada cola (para cada ) de la subsecuencia pertenecerá al filtro del lado derecho pero no al filtro del lado izquierdo.
Para dar otro ejemplo, si es cualquier familia entonces siempre se cumple y además,
Supóngase que son familias de conjuntos que satisfacen Entonces y y también
Si además de es una subbase de filtro y entonces es una subbase de filtro y también malla. [prueba 2]
De manera más general, si tanto y si la intersección de dos elementos cualesquiera de no está vacía, entonces malla. [prueba 2]
Cada subbase de filtro es más gruesa que el sistema π que genera y el filtro que genera.
Si son familias tales que la familia es ultra, y entonces es necesariamente ultra. De ello se deduce que cualquier familia que sea equivalente a una familia ultra será necesariamente ultra . En particular, si es un prefiltro, entonces ambos y el filtro que genera son ultra o ninguno de los dos es ultra. Si una subbase de filtro es ultra, entonces es necesariamente un prefiltro, en cuyo caso el filtro que genera también será ultra. Una subbase de filtro que no es un prefiltro no puede ser ultra; pero, no obstante, todavía es posible que el prefiltro y el filtro generado por sean ultra. Si es cerrado hacia arriba en entonces
Propiedades relacionales de la subordinación
La relación es reflexiva y transitiva , lo que la convierte en un preorden en
La relación es antisimétrica pero si tiene más de un punto entonces no es simétrica .
Simetría : Para cualquier conjunto
, entonces el conjunto tiene más de un punto si y sólo si la relación no es simétrica .
Antisimetría : Si pero mientras que el recíproco no se cumple en general, sí se cumple si es cerrado hacia arriba (como si es un filtro). Dos filtros son equivalentes si y solo si son iguales, lo que hace que la restricción de sea antisimétrica . Pero en general, no es antisimétrica en ni en ; es decir, no implica necesariamente ; ni siquiera si ambos son prefiltros. Por ejemplo, si es un prefiltro pero no un filtro entonces
Familias equivalentes de conjuntos
El preorden induce su relación de equivalencia canónica en donde para todo es equivalente a si se cumple alguna de las siguientes condiciones equivalentes:
- Los cierres ascendentes de son iguales.
Dos subconjuntos cerrados hacia arriba (en ) de son equivalentes si y solo si son iguales.
Si entonces necesariamente y es equivalente a
Toda clase de equivalencia distinta de contiene un representante único (es decir, elemento de la clase de equivalencia) que está cerrado hacia arriba en
Propiedades conservadas entre familias equivalentes
Sea arbitrario y sea cualquier familia de conjuntos. Si son equivalentes (lo que implica que ), entonces para cada una de las afirmaciones/propiedades que se enumeran a continuación, o bien es verdadero para ambas o bien es falso para ambas :
- No vacío
- Propia (es decir, no es un elemento)
- Además, dos familias degeneradas son necesariamente equivalentes.
- Subbase de filtro
- Prefiltro
- En cuyo caso se genera el mismo filtro en (es decir, sus cierres ascendentes en son iguales).
- Gratis
- Principal
- Ultra
- Es igual al filtro trivial
- En palabras, esto significa que el único subconjunto de ese filtro que es equivalente al filtro trivial es el filtro trivial. En general, esta conclusión de igualdad no se extiende a los filtros no triviales (una excepción es cuando ambas familias son filtros).
- Mallas con
- Es más fino que
- Es más grueso que
- Es equivalente a
En la lista anterior falta la palabra "filtro" porque esta propiedad no se conserva por equivalencia. Sin embargo, si hay filtros activados , entonces son equivalentes si y solo si son iguales; esta caracterización no se extiende a los prefiltros.
Equivalencia de prefiltros y subbases filtrantes
Si hay un prefiltro activado, entonces las siguientes familias siempre son equivalentes entre sí:
- ;
- el sistema π generado por ;
- el filtro generado por ;
y además, estas tres familias generan el mismo filtro (es decir, los cierres ascendentes de estas familias son iguales).
En particular, cada prefiltro es equivalente al filtro que genera. Por transitividad, dos prefiltros son equivalentes si y solo si generan el mismo filtro. [prueba 3]
Cada prefiltro es equivalente a exactamente un filtro en el que se encuentra el filtro que genera (es decir, el cierre ascendente del prefiltro). Dicho de otra manera, cada clase de equivalencia de prefiltros contiene exactamente un representante que es un filtro. De esta manera, los filtros pueden considerarse simplemente como elementos distinguidos de estas clases de equivalencia de prefiltros.
Una subbase de filtro que no sea también un prefiltro no puede ser equivalente al prefiltro (o filtro) que genera. Por el contrario, cada prefiltro es equivalente al filtro que genera. Por esta razón, los prefiltros pueden, en general, usarse indistintamente con los filtros que generan, mientras que las subbases de filtro no. Cada filtro es a la vez un sistema π y un anillo de conjuntos .
Ejemplos de determinación de equivalencia/no equivalencia
Ejemplos: Sean y el conjunto de números enteros (o el conjunto ). Defina los conjuntos
Los tres conjuntos son subbases de filtro pero ninguno es filtro en y solo es prefiltro (de hecho, es incluso libre y cerrado bajo intersecciones finitas). El conjunto es fijo mientras es libre (a menos que ). Satisfacen pero ninguna de estas familias es equivalente; además, ninguno de los filtros generados por estas tres subbases de filtro es equivalente/igual. Se puede llegar a esta conclusión mostrando que los π –sistemas que generan no son equivalentes. A diferencia de cada conjunto en el π –sistema generado por contiene como subconjunto, [nota 6] que es lo que impide que sus π –sistemas generados (y por lo tanto sus filtros generados) sean equivalentes. Si fuera en cambio entonces las tres familias serían libres y aunque los conjuntos permanecerían no equivalentes entre sí, sus π –sistemas generados serían equivalentes y en consecuencia, generarían el mismo filtro en ; sin embargo, este filtro común seguiría siendo estrictamente más burdo que el filtro generado por
Propiedades y construcciones de la teoría de conjuntos
Trazabilidad y mallado
Si es un prefiltro (resp. filtro) en entonces la traza de la cual es la familia es un prefiltro (resp. filtro) si y solo si malla (es decir, ), en cuyo caso se dice que la traza de es inducida por . Si es ultra y si malla entonces la traza es ultra. Si es un ultrafiltro en entonces la traza de es un filtro en si y solo si
Por ejemplo, supongamos que es un filtro en tal que Entonces malla y genera un filtro en que es estrictamente más fino que
Cuando los prefiltros se engranan
Dadas familias no vacías, la familia
satisface y
Si es apropiada (resp. un prefiltro, una subbase de filtro), entonces esto también es cierto para ambos.
Para hacer deducciones significativas acerca de de debe ser apropiada (es decir, que es la motivación para la definición de "malla". En este caso, es un prefiltro (resp. subbase de filtro) si y solo si esto es cierto para ambos.
Dicho de otra manera, si son prefiltros, entonces se engranan si y solo si es un prefiltro. Generalizando se obtiene una caracterización bien conocida de "malla" completamente en términos de subordinación (es decir, ):
Dos prefiltros (o subbases de filtro) se engranan si y solo si existe un prefiltro (o subbase de filtro) tal que y
Si el límite superior mínimo de dos filtros existe, entonces este límite superior mínimo es igual a
Imágenes y preimágenes bajo funciones
A lo largo del texto se presentarán mapas entre conjuntos no vacíos.
Imágenes de prefiltros
Muchas de las propiedades que puede tener se conservan bajo imágenes de mapas; las excepciones notables incluyen estar cerrado hacia arriba, estar cerrado bajo intersecciones finitas y ser un filtro, que no necesariamente se conservan.
Explícitamente, si una de las siguientes propiedades es verdadera para entonces necesariamente también será verdadera para (aunque posiblemente no en el codominio a menos que sea sobreyectiva):
- Propiedades del filtro: ultra, ultrafiltro, filtro, prefiltro, subbase de filtro, ideal dual, cerrado hacia arriba, propio/no degenerado.
- Propiedades ideales: ideal, cerrado bajo uniones finitas, cerrado hacia abajo, dirigido hacia arriba.
Además, si es un prefiltro entonces también lo son ambos
La imagen bajo un mapa de un conjunto ultra es nuevamente ultra y si es un prefiltro ultra entonces también lo es
Si es un filtro, entonces es un filtro en el rango , pero es un filtro en el codominio si y solo si es sobreyectivo.
De lo contrario, es solo un prefiltro en y su cierre ascendente debe tomarse en cuenta para obtener un filtro. El cierre ascendente de es
donde si está cerrado hacia arriba en (es decir, un filtro), entonces esto se simplifica a:
Si entonces se toma como el mapa de inclusión se muestra que cualquier prefiltro (resp. ultra prefiltro, subbase de filtro) en también es un prefiltro (resp. ultra prefiltro, subbase de filtro) en
Preimágenes de prefiltros
Sea
bajo el supuesto de que es sobreyectiva :
es un prefiltro (resp. subbase de filtro, π –sistema, cerrado bajo uniones finitas, propio) si y solo si esto es cierto para
Sin embargo, si es un ultrafiltro en entonces incluso si es sobreyectiva (lo que formaría un prefiltro), es de todas formas posible que el prefiltro no sea ni ultra ni un filtro en (ver esta nota al pie [nota 7] para un ejemplo).
Si no es sobreyectiva entonces denotamos la traza de por donde en este caso particular la traza satisface:
y en consecuencia también:
This last equality and the fact that the trace is a family of sets over means that to draw conclusions about the trace can be used in place of and the surjection can be used in place of
For example:
is a prefilter (resp. filter subbase, π–system, proper) if and only if this is true of
In this way, the case where is not (necessarily) surjective can be reduced down to the case of a surjective function (which is a case that was described at the start of this subsection).
Even if is an ultrafilter on if is not surjective then it is nevertheless possible that which would make degenerate as well. The next characterization shows that degeneracy is the only obstacle. If is a prefilter then the following are equivalent:
- is a prefilter;
- is a prefilter;
- ;
- meshes with
and moreover, if is a prefilter then so is
If and if denotes the inclusion map then the trace of is equal to This observation allows the results in this subsection to be applied to investigating the trace on a set.
Bijections, injections, and surjections
All properties involving filters are preserved under bijections. This means that if is a bijection, then is a prefilter (resp. ultra, ultra prefilter, filter on ultrafilter on filter subbase, π–system, ideal on etc.) if and only if the same is true of
A map is injective if and only if for all prefilters is equivalent to The image of an ultra family of sets under an injection is again ultra.
The map is a surjection if and only if whenever is a prefilter on then the same is true of (this result does not require the ultrafilter lemma).
Subordination is preserved by images and preimages
The relation is preserved under both images and preimages of families of sets.
This means that for any families
Moreover, the following relations always hold for any family of sets :
where equality will hold if is surjective.
Furthermore,
If then and where equality will hold if is injective.
Products of prefilters
Suppose is a family of one or more non–empty sets, whose product will be denoted by and for every index let denote the canonical projection.
Let be non−empty families, also indexed by such that for each
The product of the families is defined identically to how the basic open subsets of the product topology are defined (had all of these been topologies). That is, both the notations denote the family of all cylinder subsets such that for all but finitely many and where for any one of these finitely many exceptions (that is, for any such that necessarily ).
When every is a filter subbase then the family is a filter subbase for the filter on generated by
If is a filter subbase then the filter on that it generates is called the filter generated by .
If every is a prefilter on then will be a prefilter on and moreover, this prefilter is equal to the coarsest prefilter such that
for every
However, may fail to be a filter on even if every is a filter on
Set subtraction and some examples
Set subtracting away a subset of the kernel
If is a prefilter on then is a prefilter, where this latter set is a filter if and only if is a filter and In particular, if is a neighborhood basis at a point in a topological space having at least 2 points, then is a prefilter on This construction is used to define in terms of prefilter convergence.
Using duality between ideals and dual ideals
There is a dual relation or which is defined to mean that every is contained in some Explicitly, this means that for every , there is some such that This relation is dual to in sense that if and only if The relation is closely related to the downward closure of a family in a manner similar to how is related to the upward closure family.
For an example that uses this duality, suppose is a map and Definewhich contains the empty set if and only if does. It is possible for to be an ultrafilter and for to be empty or not closed under finite intersections (see footnote for example).[note 8] Although does not preserve properties of filters very well, if is downward closed (resp. closed under finite unions, an ideal) then this will also be true for Using the duality between ideals and dual ideals allows for a construction of the following filter.
Suppose is a filter on and let be its dual in If then 's dual will be a filter.
Other examples
Example: The set of all dense open subsets of a topological space is a proper π–system and a prefilter. If the space is a Baire space, then the set of all countable intersections of dense open subsets is a π–system and a prefilter that is finer than
Example: The family of all dense open sets of having finite Lebesgue measure is a proper π–system and a free prefilter. The prefilter is properly contained in, and not equivalent to, the prefilter consisting of all dense open subsets of Since is a Baire space, every countable intersection of sets in is dense in (and also comeagre and non–meager) so the set of all countable intersections of elements of is a prefilter and π–system; it is also finer than, and not equivalent to,
Filters and nets
This section will describe the relationships between prefilters and nets in great detail because of how important these details are applying filters to topology − particularly in switching from utilizing nets to utilizing filters and vice verse − and because it to make it easier to understand later why subnets (with their most commonly used definitions) are not generally equivalent with "sub–prefilters".
Nets to prefilters
A net is canonically associated with its prefilter of tails
If is a map and is a net in then
Prefilters to nets
A pointed set is a pair consisting of a non–empty set and an element
For any family let
Define a canonical preorder on pointed sets by declaring
If even if so this preorder is not antisymmetric and given any family of sets is partially ordered if and only if consists entirely of singleton sets.
If is a maximal element of ; moreover, all maximal elements are of this form.
If is a greatest element if and only if in which case is the set of all greatest elements. However, a greatest element is a maximal element if and only if so there is at most one element that is both maximal and greatest.
There is a canonical map defined by
If
then the tail of the assignment
starting at
is
Although is not, in general, a partially ordered set, it is a directed set if (and only if) is a prefilter.
So the most immediate choice for the definition of "the net in induced by a prefilter " is the assignment from into
If
is a prefilter on
then the
net associated with is the map
that is,
If is a prefilter on is a net in and the prefilter associated with is ; that is:[note 9]
This would not necessarily be true had been defined on a proper subset of
For example, suppose has at least two distinct elements, is the indiscrete filter, and is arbitrary. Had instead been defined on the singleton set where the restriction of to will temporarily be denote by then the prefilter of tails associated with would be the principal prefilter rather than the original filter ;
this means that the equality is false, so unlike the prefilter can not be recovered from
Worse still, while is the unique minimal filter on the prefilter instead generates a maximal filter (that is, an ultrafilter) on
However, if is a net in then it is not in general true that is equal to because, for example, the domain of may be of a completely different cardinality than that of (since unlike the domain of the domain of an arbitrary net in could have any cardinality).
Ultranets and ultra prefilters
A net is called an ultranet or universal net in if for every subset is eventually in or it is eventually in ;
this happens if and only if is an ultra prefilter.
A prefilter is an ultra prefilter if and only if is an ultranet in
Partially ordered net
The domain of the canonical net is in general not partially ordered. However, in 1955 Bruns and Schmidt discovered[37] a construction that allows for the canonical net to have a domain that is both partially ordered and directed; this was independently rediscovered by Albert Wilansky in 1970.
It begins with the construction of a strict partial order (meaning a transitive and irreflexive relation) on a subset of that is similar to the lexicographical order on of the strict partial orders
For any in declare that if and only if or equivalently, if and only if
The non−strict partial order associated with denoted by is defined by declaring that
Unwinding these definitions gives the following characterization:
if and only if and also
which shows that is just the lexicographical order on induced by where is partially ordered by equality [note 10]
Both are serial and neither possesses a greatest element or a maximal element; this remains true if they are each restricted to the subset of defined by where it will henceforth be assumed that they are.
Denote the assignment from this subset by:If then just as with before, the tail of the starting at is equal to
If is a prefilter on then is a net in whose domain is a partially ordered set and moreover,
Because the tails of are identical (since both are equal to the prefilter ), there is typically nothing lost by assuming that the domain of the net associated with a prefilter is both directed and partially ordered. If the set is replaced with the positive rational numbers then the strict partial order will also be a dense order.
Subordinate filters and subnets
The notion of " is subordinate to " (written ) is for filters and prefilters what " is a subsequence of " is for sequences.
For example, if denotes the set of tails of and if denotes the set of tails of the subsequence (where ) then (that is, ) is true but is in general false.
Non–equivalence of subnets and subordinate filters
A subset of a preordered space is frequent or cofinal in if for every there exists some If contains a tail of then is said to be eventual or eventually in ; explicitly, this means that there exists some (that is, ). An eventual set is necessarily not empty. A subset is eventual if and only if its complement is not frequent (which is termed infrequent).
A map between two preordered sets is order–preserving if whenever
Subnets in the sense of Willard and subnets in the sense of Kelley are the most commonly used definitions of "subnet."
The first definition of a subnet was introduced by John L. Kelley in 1955. Stephen Willard introduced his own variant of Kelley's definition of subnet in 1970.
AA–subnets were introduced independently by Smiley (1957), Aarnes and Andenaes (1972), and Murdeshwar (1983); AA–subnets were studied in great detail by Aarnes and Andenaes but they are not often used.
Kelley did not require the map to be order preserving while the definition of an AA–subnet does away entirely with any map between the two nets' domains and instead focuses entirely on − the nets' common codomain.
Every Willard–subnet is a Kelley–subnet and both are AA–subnets.
In particular, if is a Willard–subnet or a Kelley–subnet of then
- Example: Let and let be a constant sequence, say Let and so that is a net on Then is an AA-subnet of because But is not a Willard-subnet of because there does not exist any map whose image is a cofinal subset of Nor is a Kelley-subnet of because if is any map then is a cofinal subset of but is not eventually in
AA–subnets have a defining characterization that immediately shows that they are fully interchangeable with sub(ordinate)filters.[39]
Explicitly, what is meant is that the following statement is true for AA–subnets:
If are prefilters then is an AA–subnet of
If "AA–subnet" is replaced by "Willard–subnet" or "Kelley–subnet" then the above statement becomes false. In particular, the problem is that the following statement is in general false:
False statement: If are prefilters such that is a Kelley–subnet of
Since every Willard–subnet is a Kelley–subnet, this statement remains false if the word "Kelley–subnet" is replaced with "Willard–subnet".
- Counter example: For all let Let which is a proper π–system, and let where both families are prefilters on the natural numbers
Because is to as a subsequence is to a sequence.
So ideally, should be a subnet of
Let be the domain of so contains a cofinal subset that is order isomorphic to and consequently contains neither a maximal nor greatest element.
Let is both a maximal and greatest element of
The directed set also contains a subset that is order isomorphic to (because it contains which contains such a subset) but no such subset can be cofinal in because of the maximal element
Consequently, any order–preserving map must be eventually constant (with value ) where is then a greatest element of the range
Because of this, there can be no order preserving map that satisfies the conditions required for to be a Willard–subnet of (because the range of such a map cannot be cofinal in ).
Suppose for the sake of contradiction that there exists a map such that is eventually in for all
Because there exist such that
For every because is eventually in it is necessary that
In particular, if then which by definition is equivalent to which is false.
Consequently, is not a Kelley–subnet of [39]
If "subnet" is defined to mean Willard–subnet or Kelley–subnet then nets and filters are not completely interchangeable because there exists a filter–sub(ordinate)filter relationships that cannot be expressed in terms of a net–subnet relationship between the two induced nets. In particular, the problem is that Kelley–subnets and Willard–subnets are not fully interchangeable with subordinate filters. If the notion of "subnet" is not used or if "subnet" is defined to mean AA–subnet, then this ceases to be a problem and so it becomes correct to say that nets and filters are interchangeable. Despite the fact that AA–subnets do not have the problem that Willard and Kelley subnets have, they are not widely used or known about.[39]
See also
Notes
- ^ Indeed, in both the cases appearing on the right is precisely what makes "greater", for if are related by some binary relation (meaning that ) then whichever one of appears on the right is said to be greater than or equal to the one that appears on the left with respect to (or less verbosely, "–greater than or equal to").
- ^ More generally, for any real numbers satisfying where
- ^ If This property and the fact that is nonempty and proper if and only if actually allows for the construction of even more examples of prefilters, because if is any prefilter (resp. filter subbase, π–system) then so is
- ^ It may be shown that if is any family such that then is a prefilter if and only if for all real there exist real such that
- ^ For instance, one sense in which a net could be interpreted as being "maximally deep" is if all important properties related to (such as convergence for example) of any subnet is completely determined by in all topologies on In this case and its subnet become effectively indistinguishable (at least topologically) if one's information about them is limited to only that which can be described in solely in terms of and directly related sets (such as its subsets).
- ^ The π–system generated by (resp. by ) is a prefilter whose elements are finite unions of open (resp. closed) intervals having endpoints in with two of these intervals being of the forms (resp. ) where ; in the case of it is possible for one or more of these closed intervals to be singleton sets (that is, degenerate closed intervals).
- ^ For an example of how this failure can happen, consider the case where there exists some such that both and its complement in contains at least two distinct points.
- ^ Suppose has more than one point, is a constant map, and then will consist of all non–empty subsets of
- ^ The set equality holds more generally: if the family of sets then the family of tails of the map (defined by ) is equal to
- ^ Explicitly, the partial order on induced by equality refers to the diagonal which is a homogeneous relation on that makes into a partially ordered set. If this partial order is denoted by the more familiar symbol (that is, define ) then for any which shows that (and thus also ) is nothing more than a new symbol for equality on that is, The notation is used because it avoids the unnecessary introduction of a new symbol for the diagonal.
Proofs
- ^ Let be a filter on that is not an ultrafilter. If is such that has the finite intersection property (because if ) so that by the ultrafilter lemma, there exists some ultrafilter such that (so in particular, ). Intersecting all such proves that
- ^ a b To prove that mesh, let Because (resp. because ), there exists some where by assumption so If is a filter subbase and if then taking implies that If then there are such that and now This shows that is a filter subbase.
- ^ This is because if are prefilters on then
Citations
- ^ Castillo, Jesus M. F.; Montalvo, Francisco (January 1990), "A Counterexample in Semimetric Spaces" (PDF), Extracta Mathematicae, 5 (1): 38–40
- ^ Bruns G., Schmidt J., Zur Aquivalenz von Moore-Smith-Folgen und Filtern, Math. Nachr. 13 (1955), 169-186.
- ^ a b c Clark, Pete L. (18 October 2016). "Convergence" (PDF). math.uga.edu/. Retrieved 18 August 2020.
References
- Adams, Colin; Franzosa, Robert (2009). Introduction to Topology: Pure and Applied. New Delhi: Pearson Education. ISBN 978-81-317-2692-1. OCLC 789880519.
- Arkhangel'skii, Alexander Vladimirovich; Ponomarev, V.I. (1984). Fundamentals of General Topology: Problems and Exercises. Mathematics and Its Applications. Vol. 13. Dordrecht Boston: D. Reidel. ISBN 978-90-277-1355-1. OCLC 9944489.
- Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics. Vol. 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolas (1989) [1966]. General Topology: Chapters 1–4 [Topologie Générale]. Éléments de mathématique. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC 18588129.
- Bourbaki, Nicolas (1989) [1967]. General Topology 2: Chapters 5–10 [Topologie Générale]. Éléments de mathématique. Vol. 4. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-64563-4. OCLC 246032063.
- Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Burris, Stanley; Sankappanavar, Hanamantagouda P. (2012). A Course in Universal Algebra (PDF). Springer-Verlag. ISBN 978-0-9880552-0-9. Archived from the original on 1 April 2022.
- Cartan, Henri (1937a). "Théorie des filtres". Comptes rendus hebdomadaires des séances de l'Académie des sciences. 205: 595–598.
- Cartan, Henri (1937b). "Filtres et ultrafiltres". Comptes rendus hebdomadaires des séances de l'Académie des sciences. 205: 777–779.
- Comfort, William Wistar; Negrepontis, Stylianos (1974). The Theory of Ultrafilters. Vol. 211. Berlin Heidelberg New York: Springer-Verlag. ISBN 978-0-387-06604-2. OCLC 1205452.
- Császár, Ákos (1978). General topology. Translated by Császár, Klára. Bristol England: Adam Hilger Ltd. ISBN 0-85274-275-4. OCLC 4146011.
- Dixmier, Jacques (1984). General Topology. Undergraduate Texts in Mathematics. Translated by Berberian, S. K. New York: Springer-Verlag. ISBN 978-0-387-90972-1. OCLC 10277303.
- Dolecki, Szymon; Mynard, Frédéric (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4. OCLC 945169917.
- Dugundji, James (1966). Topology. Boston: Allyn and Bacon. ISBN 978-0-697-06889-7. OCLC 395340485.
- Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators. Pure and applied mathematics. Vol. 1. New York: Wiley-Interscience. ISBN 978-0-471-60848-6. OCLC 18412261.
- Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138.
- Howes, Norman R. (23 June 1995). Modern Analysis and Topology. Graduate Texts in Mathematics. New York: Springer-Verlag Science & Business Media. ISBN 978-0-387-97986-1. OCLC 31969970. OL 1272666M.
- Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Jech, Thomas (2006). Set Theory: The Third Millennium Edition, Revised and Expanded. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-44085-7. OCLC 50422939.
- Joshi, K. D. (1983). Introduction to General Topology. New York: John Wiley and Sons Ltd. ISBN 978-0-85226-444-7. OCLC 9218750.
- Kelley, John L. (1975). General Topology. Graduate Texts in Mathematics. Vol. 27. New York: Springer Science & Business Media. ISBN 978-0-387-90125-1. OCLC 338047.
- Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
- Koutras, Costas D.; Moyzes, Christos; Nomikos, Christos; Tsaprounis, Konstantinos; Zikos, Yorgos (20 October 2021). "On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation". Logic Journal of the IGPL. 31: 68–95. doi:10.1093/jigpal/jzab030.
- MacIver R., David (1 July 2004). "Filters in Analysis and Topology" (PDF). Archived from the original (PDF) on 2007-10-09. (Provides an introductory review of filters in topology and in metric spaces.)
- Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
- Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
- Schubert, Horst (1968). Topology. London: Macdonald & Co. ISBN 978-0-356-02077-8. OCLC 463753.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
- Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
- Wilansky, Albert (17 October 2008) [1970]. Topology for Analysis. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-46903-4. OCLC 227923899.
- Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.