Filtro (teoría de conjuntos)

En matemáticas, un filtro en un conjunto es una familía de subconjuntos tal que:[1]

  1. y
  2. Si y , entonces
  3. Si y , entonces

Se puede considerar que un filtro en un conjunto representa una "colección de subconjuntos grandes",[2]​ siendo un ejemplo intuitivo de filtro de entornos. Los filtros aparecen en teoría del orden, en teoría de modelos y en teoría de conjuntos, pero también se pueden encontrar en topología, de donde se originan. La noción dual de filtro es la de ideal.

Los filtros fueron introducidos por Henri Cartan en 1937[3][4]​ y, como se describe en el artículo dedicado a filtros en topología, Nicolas Bourbaki los utilizó posteriormente en su libro Topologie Générale como una alternativa a la noción relacionada de red desarrollada en 1922 por E. H. Moore y Herman L. Smith. Los filtros de orden son generalizaciones de filtros desde conjuntos hasta conjuntos parcialmente ordenados arbitrarios. Específicamente, un filtro en un conjunto es simplemente un filtro de orden adecuado en el caso especial en el que el conjunto parcialmente ordenado consiste en el conjunto potencia ordenado por el criterio de inclusión.

Preliminares, notación y nociones básicas

En este artículo, las letras romanas mayúsculas como denotan conjuntos (pero no familias, a menos que se indique lo contrario) y denotará el conjunto potencia de Un subconjunto de un conjunto potencia se llama familia de conjuntos (o simplemente, familia) donde se define sobre sobre si es un subconjunto de Las familias de conjuntos se indicarán con letras de caligrafía mayúsculas como Siempre que se necesiten estas suposiciones, se debe asumir que no está vacío y que etc., son familias de conjuntos sobre

Los términos "prefiltro" y "base de filtros" son sinónimos y se utilizarán indistintamente.

Advertencia sobre definiciones y notaciones alternativas

Lamentablemente, existen varios términos en la teoría de los filtros que los distintos autores definen de forma diferente. Incluyen algunos de los términos más importantes, como "filtro", si bien las diferentes definiciones del mismo término generalmente tienen una superposición significativa, debido a la naturaleza muy técnica de los filtros (y de la topología de conjuntos de puntos). Estas diferencias en las definiciones a menudo tienen consecuencias importantes. Al trabajar con literatura matemática, se recomienda que los lectores comprueben cómo el autor define la terminología relacionada con los filtros. Por esta razón, en este artículo se establecen 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 según cada autor (por ejemplo, la notación para el conjunto de todos los prefiltros de un conjunto), por lo que en tales casos en este artículo se utiliza cualquier notación que se describa mejor o sea más sencilla de recordar.

La teoría de los filtros y prefiltros está bien desarrollada y tiene una gran cantidad de definiciones y notaciones, muchas de las cuales ahora se enumeran sin ceremonias para evitar que este artículo se vuelva prolijo y permitir una fácil búsqueda de notaciones y definiciones. Sus propiedades más importantes se describen más adelante.

Operaciones con conjuntos

El cierre hacia arriba o isotonización en [5][6]​ de una familia de conjuntos es

y de manera similar, el cierre hacia abajo de es


Notación y definición Nombre
Núcleo de [6]
Dual de donde es un conjunto.[7]
Traza de [7]​ o la restricción de donde es un conjunto; a veces denotado por
[8] Intersección de conjuntos uno a uno (donde denota la intersección usual)
[8] Unión de conjuntos uno a uno (donde denota la unión usual)
Substracción de conjuntos uno a uno (donde denota el complemento de un conjunto usual)
Retículo de [9]
Conjunto potencia de un conjunto [6]
Para dos familias cualesquiera, se declara que si y solo si para cada existe algún en cuyo caso se dice que es más grueso que y que es más fino (o subordinado a) [10][11][12]​ La notación también puede usarse en lugar de Dos familias coinciden,[7]​ situación notada como si

En todo momento, es una aplicación y es un conjunto.

Notación y definición Nombre
[13] Imagen de o la preimagen de bajo
Imagen de o la preimagen de
[14] Imagen de bajo
Imagen de
Imagen (o rango) de

Las redes y sus colas

Un conjunto dirigido es un conjunto junto con un conjunto preordenado, que se denotará por (a menos que se indique explícitamente lo contrario), que convierte a en un (upward) directed set;[15]​ esto significa que para todo existe algún tal que para cualquier índices la notación se define como mientras que se define para significar que se cumple, pero not es cierto que (si es antisymmetric, entonces esto es equivalente a ).

Un net in [15]​ es un mapa de un conjunto dirigido no vacío en La notación se utilizará para indicar una red con dominio

Notatción y definición Nombre
Cola o sección de empezando en donde es un conjunto dirigido.
Cola o sección de empezando en
Conjunto o prefiltro de colas/secciones de También llamado base de filtro final generada por (las colas de) Si es una sucesión, entonces también se llama base de filtro secuencial.[16]
Filtro final de/generado por (colas de) [16]
Cola o sección de una red comenzando en [16]​ donde es un conjunto dirigido.

Advertencia sobre el uso de la comparación estricta

Si es una red y , entonces es posible que el conjunto que se llama la cola de después de , esté vacío (por ejemplo, esto sucede si es una cota superior del conjunto dirigido ). En este caso, la familia contendría el conjunto vacío, lo que impedirí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

Familias de conjuntos sobre
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
por
P.I.F.
Sistema Π Yes Yes No No No No No No No No
Semianillo Yes Yes No No No No No No Yes Nunca
Semiálgebra (Semicuerpo) Yes Yes No No No No No No Yes Nunca
Clase monótona No No No No No Solo si Solo si No No No
Sistema λ (Sistema de Dynkin) Yes No No Solo si
Yes No Solo si
o son disjuntos
Yes Yes Nunca
Anillo (Teoría del orden) Yes Yes Yes No No No No No No No
Anillo (Teoría de la medida) Yes Yes Yes Yes No No No No Yes Nunca
Anillo δ Yes Yes Yes Yes No Yes No No Yes Nunca
Anillo Σ Yes Yes Yes Yes No Yes Yes No Yes Nunca
Álgebra (Cuerpo) Yes Yes Yes Yes Yes No No Yes Yes Nunca
Álgebra Σ (Cuerpo Σ) Yes Yes Yes Yes Yes Yes Yes Yes Yes Nunca
Ideal dual Yes Yes Yes No No No Yes Yes No No
Filtro Yes Yes Yes Nunca Nunca No Yes Yes Yes
Prefiltro (Base de filtros) Yes No No Nunca Nunca No No No Yes
Subbase de filtros No No No Nunca Nunca No No No Yes
Topología abierta Yes Yes Yes No No No
(Incluso arbitrario)
Yes Yes Nunca
Topología cerrada Yes Yes Yes No No
(Incluso arbitrario)
No Yes Yes Nunca
Es necesariamente cierto de
o es cerrado bajo:
Dirigido
abajo
Intersecciones
finitas
Uniones
finitas
Complementos
relativos
Complementos
en
Intersecciones
numerables
Uniones
numerables
Contiene a Contiene a Propiedad de
la Intersección
Finita

Además, un semianillo es un sistema Π donde cada complemento es igual a una unión disjunta finita de conjuntos en
. Una semiálgebra es un semianillo que contiene a
son elementos arbitrarios de y se supone que

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 asumir que

La familia de conjuntos es:
  1. Un filtro propio o no degenerado si De lo contrario, si entonces se llama impropio[17]​ o degenerado.
  2. Dirigido hacia abajo[15]​ si siempre que existe algún tal que
    • Esta propiedad se puede caracterizar en términos de direccionalidad, lo que explica la palabra "dirigido": una relación binaria en se llama dirigido (hacia arriba) si para dos hay algún que satisfaga que El uso de en lugar de da la definición de dirigido hacia abajo, mientras que usar en su lugar da la definición de dirigido hacia arriba. Explícitamente, es dirigido hacia abajo (respectivamente dirigido hacia arriba) si y solo si para todo existe algún "mayor" tal que (respectivamente tal que ) - donde el elemento "mayor" siempre está en el lado derecho,[nota 1]​ − que puede reescribirse como (o como ).
    • Si una familia tiene un elemento mayor con respecto a (por ejemplo, si ) entonces necesariamente está dirigido hacia abajo.
  3. Cerrado bajo intersecciones finitas (respectivamente uniones) si la intersección (respectivamente unión) de dos elementos cualesquiera de es un elemento de
    • Si está cerrado bajo un número de intersecciones finito, entonces está necesariamente dirigido hacia abajo. Lo contrario es generalmente falso.
  4. Cerrado hacia abajo o isotono en [5]​ si o equivalente, si siempre que y algún conjunto satisfaga De manera similar, es cerrado hacia abajo si Un conjunto cerrado hacia arriba (respectivamente, hacia abajo) también se llama conjunto superior (respectivamente conjunto inferior).
    • 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 a como subconjunto.

Muchas de las propiedades de definidas arriba y abajo, como ser "propia" o "dirigida 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 en " dependen de , por lo que se debe mencionar el conjunto si no queda claro por el contexto.

Una familia es/es un(a):
  1. Ideal[17][18]​ si está cerrado hacia abajo y cerrado bajo uniones finitas.
  2. Ideal dual en [19]​ si está cerrado hacia arriba en y también cerrado bajo intersecciones finitas. De manera equivalente, es un ideal dual si para todos [9]
    • Explicación de la palabra "dual": Una familia es un ideal dual (o un ideal) en si y solo si es el dual de que es la familia
    es un ideal (o un ideal dual) en En otras palabras, dual ideal 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, es decir, El conjunto pertenece al dual de si y solo si [17]
  3. Filtro en [19][7]​ si es un ideal dual propio en Es decir, un filtro en es un subconjunto no vacío de que está cerrado bajo intersecciones finitas y cerrado hacia arriba en De manera equivalente, es un prefiltro que está cerrado hacia arriba en En otras palabras, un filtro en es una familia de conjuntos sobre que (1) no está vacío (o de manera equivalente, contiene a ), (2) está cerrado bajo intersecciones finitas, (3) está cerrado hacia arriba en y (4) no tiene el conjunto vacío como elemento.
    • Atención: Algunos autores, particularmente algebristas, utilizan "filtro" para referirse a un ideal dual; otros, particularmente los topólogos, usan "filtro" para referirse a un ideal dual propio/no degenerado.[20]​ Se recomienda que los lectores siempre comprueben cómo se define "filtro" al trabajar con literatura matemática. Sin embargo, las definiciones de "ultrafiltro", "prefiltro" y "subbase de filtros" siempre requieren la condición de no degenerado. Este artículo utiliza la definición original de "filtro" de Henri Cartan,[3][4]​ que requería la no degeneración.
    • Un filtro dual en es una familia cuyo dual es un filtro en De manera equivalente, es un ideal en que no contiene a como elemento.
    • El conjunto potencia de es el único dual ideal en que no es también un filtro. Excluir de la definición de "filtro" en topología tiene el mismo beneficio que excluir el número de la definición de "número primo": obviamente, hace necesario especificar "no degenerado" (el análogo de "no unitario" o "no ") en muchos resultados importantes, haciendo así sus declaraciones más simples.
  4. Prefiltro o base de filtros[7][21]​ si es propio y está dirigido hacia abajo. De manera equivalente, se denomina prefiltro si su cierre hacia arriba es un filtro. También se puede definir como cualquier familia que sea equivalente (con respecto a ) a algún filtro.[8]​ Una familia propia es un prefiltro si y solo si [8]​ Una familia es un prefiltro si y solo si lo mismo ocurre con su cierre hacia arriba.
    • Si es un prefiltro, entonces su cierre hacia arriba es el único filtro más pequeño (en relación con ) en que contiene a y se llama el filtro generado por Se dice que un filtro es generado por un prefiltro si en el que se llama base de filtros para
    • A diferencia de un filtro, un prefiltro no está necesariamente cerrado bajo intersecciones finitas.
  5. Sistema Π si está cerrado bajo intersecciones finitas. Cada familia no vacía está contenida en un único sistema Π más pequeño llamado sistema Π generado por que a veces se denota por Es igual a la intersección de todos los sistemas Π que contienen y también al conjunto de todas las posibles intersecciones finitas de conjuntos de :
    • Un sistema Π es un prefiltro si y solo si es propio. Cada filtro es un sistema Π propio y cada sistema Π propio es un prefiltro, pero lo contrario no se cumple en general.
    • Un prefiltro es equivalente (con respecto a ) al sistema Π generado por él y ambas familias generan el mismo filtro en
  6. Subbase de filtros[7][22]​ y centrada[8]​ si y satisfacen cualquiera de las siguientes condiciones equivalentes:
    1. tiene propiedad de la 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
    2. El sistema Π generado por es propio; es decir,
    3. El sistema Π generado por es un prefiltro.
    4. es un subconjunto de algún prefiltro.
    5. es un subconjunto de algún filtro.
    • Supóngase que es una subbase de filtros. Entonces, hay un filtro único más pequeño (relativo a ) que contiene a llamado filtro generado por , y se dice que es una subbase de filtros para este filtro. Este filtro es igual a la intersección de todos los filtros en que son superconjuntos de El sistema Π generado por denotado por será un prefiltro y un subconjunto de Además, el filtro generado por es igual al cierre ascendente de lo que significa que [8]​ Sin embargo, si y solo si es un prefiltro (aunque es siempre una subbase de filtros cerrada hacia arriba para ).
    • 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 bajo ciertas circunstancias. Existe, por ejemplo, si la subbase de filtros también es un prefiltro. También existe si el filtro (o equivalentemente, el sistema Π) generado por es principal, en cuyo caso es el prefiltro más pequeño único que contiene a De lo contrario, en general, es posible que no exista un prefiltro más pequeño que contenga a . Por esta razón, algunos autores pueden referirse al sistema Πgenerado por como prefiltro generado por una subbase de filtros Sin embargo, si existe un prefiltro más pequeño   (convéngase que se denota por )) entonces, contrariamente a las expectativas habituales, no es necesariamente igual a "el prefiltro generado por " (es decir, es posible). Y si la subbase de filtros también es un prefiltro pero no un sistema Π entonces, desafortunadamente, "el prefiltro generado por este prefiltro" (lo que significa que ) no será , es decir, es posible incluso cuando es un prefiltro), por lo que en el presente artículo se preferirá la terminología precisa e inequívoca de "el sistema Π generado por ".
  7. Subfiltro de un filtro y que es un superfiltro de [17][23]​ si es un filtro y , donde para los filtros,
    • Es importante destacar que la expresión "es un súperfiltro de" es para filtros el análogo de "es una subsucesión de". Entonces, a pesar de tener el prefijo "sub" en común, "es un subfiltro de" es en realidad el inverso de "es una subsucesión de". Sin embargo, también se puede escribir , lo que se describe diciendo que " está subordinado a " Con esta terminología, "está subordenado a" se convierte para filtros (y también para prefiltros) en el análogo de "es una subsucesión de",[24]​ lo que hace que esta sea una situación en la que usar el término "subordinado" y el símbolo puede resultar útil.

No hay prefiltros en (ni 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 esta suposición sea necesaria.

Ejemplos básicos

Ejemplos nombrados

  • El conjunto unitario se llama indiscreto o filtro trivial en [25][10]​ Es el único filtro mínimo en porque es un subconjunto de cada filtro en . Sin embargo, no es necesario que sea un subconjunto de cada prefiltro en
  • El ideal dual también se llama el filtro degenerado sobre [9]​ (a pesar de no ser realmente 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 entornos en es un filtro en Por definición, una familia se llama base de entornos (respectivamente subbase de entornos) en si y solo si es un prefiltro (respectivamente es una subbase de filtro) y el filtro en que genera es igual al filtro de entornos La subfamilia de entornos abiertos es una base de filtro para Ambos prefiltros también forman base para topologías en siendo la topología generada más gruesa que Este ejemplo generaliza inmediatamente desde entornos de puntos a entornos de subconjuntos no vacíos
  • es un prefiltro elemental[26]​ si para alguna secuencia
  • es un filtro elemental o un filtro secuencial sobre [27]​ si es un filtro sobre generado por algún prefiltro elemental. El filtro de colas generado por una secuencia que finalmente no es constante no es necesariamente un ultrafiltro.[28]​ Cada filtro principal en un conjunto numerable es secuencial al igual que cada filtro cofinito en un conjunto numerablemente infinito.[9]​ La intersección de un número finito de filtros secuenciales es nuevamente secuencial.[9]
  • 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 es un filtro en conocido como filtro de Fréchet o filtro cofinito en [10][25]​ Si es finito, entonces es igual al ideal dual que no es un filtro. Si es infinito, entonces la familia de complementos de conjuntos unitarios es una subbase de filtros que genera el filtro de Fréchet en Como ocurre con cualquier familia de conjuntos sobre que contiene el núcleo del filtro de Fréchet en es el conjunto vacío:
  • La intersección de todos los elementos en cualquier familia no vacía es en sí misma un filtro en llamado ínfimo o mayor cota inferior de por lo que puede denotarse como Dicho de otra manera, Debido a que cada filtro en tiene como subconjunto, esta intersección nunca está vacía. Por definición, el mínimo es el filtro más fino/más grande (en relación con ) contenido como un subconjunto de cada miembro de [10]​.
    • Si son filtros, entonces su mínimo en es el filtro [8]​. 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, lo que significa que si es un prefiltro tal que , entonces necesariamente [8]​ Más generalmente, si son familias no vacías y si , entonces y son elemento más grande (con respecto a ) de [8]
  • Sea y sea El supremo o menor cota superior de denotado por es el ideal dual más pequeño (en relación con ) en que contiene cada elemento de como un subconjunto. Es decir, es el ideal dual más pequeño (en relación con ) en que contiene a como subconjunto. Este ideal dual es donde es el sistema Π generado por Al igual que con cualquier familia de conjuntos no vacía, está contenida en algún filtro en si y solo si es una subbase de filtros, o de manera equivalente, si y solo si es un filtro en en cuyo caso esta familia es el filtro más pequeño (respecto a ) en que contiene cada elemento de como un subconjunto y necesariamente
  • Sea y sea El supremo o menor cota superior de indicado por , si existe, es por definición el filtro más pequeño (en relación con ) en que contiene cada elemento de como un subconjunto. Si existe, entonces necesariamente [10]​ (como se definió anteriormente) y también serán iguales a la intersección de todos los filtros en que contengan Este supremo de existe si y solo si el ideal dual es un filtro en Es posible que el límite superior mínimo de una familia de filtros no sea un filtro.[10]​ De hecho, si contiene al menos 2 elementos distintos, entonces existen filtros para los cuales no existe un filtro que contiene a ambos Si no es una subbase de filtros, entonces el supremo de no existe y lo mismo ocurre con su supremo en , pero su supremo en el conjunto de todos los ideales duales en existirá (siendo el filtro degenerado ).[9]
    • Si son prefiltros (respectivamente filtros en ), entonces es un prefiltro (respectivamente un filtro) si y solo si no es degenerado (o dicho de otra manera, si y solo si concuerdan), en cuyo caso es uno de los prefiltros más gruesos (respectivamente, 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 (respectivamente cualquier filtro) tal que , entonces necesariamente [8]​, en cuyo caso se denota como [9]
  • 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 dual ideal de Kowalsky o filtro de Kowalsky.[17]
  • El filtro club de un conjunto no numerable de cardinal regular es el filtro de todos los conjuntos que contienen un subconjunto club de Es un filtro completo cerrado bajo intersección diagonal.

Otros ejemplos

  • Sea y considérese que lo que convierte a en un prefiltro y una subbase de filtros que no está cerrada bajo intersecciones finitas. Debido a que es un prefiltro, el prefiltro más pequeño que contiene a es El sistema Π generado por es En particular, el prefiltro más pequeño que contiene la subbase de filtros no es igual al conjunto de todas las intersecciones finitas de conjuntos en El filtro en generado por es Los tres que genera el sistema Π y son ejemplos de prefiltros fijos, principales y ultra que son principales en el punto y que también son un ultrafiltro en
  • Sea un espacio topológico, y se define donde es necesariamente más fino que [29]​ Si no está vacío (respectivamente, no degenerado, una subbase de filtro, un prefiltro, cerrado bajo uniones finitas), entonces lo mismo se aplica a 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 tal que tiene medida de Lebesgue finita es un sistema Π propio y un prefiltro libre que también es un subconjunto de Los prefiltros y son equivalentes y, por lo tanto, generan el mismo filtro en El prefiltro está propiamente contenido en el prefiltro que consta de todos los subconjuntos densos de , y no es equivalente a él. Dado que es un espacio de Baire, cada intersección numerable de conjuntos en es densa en (y también exigua y no escasa), por lo que el conjunto de todas las intersecciones contables de elementos de es un prefiltro y un sistema Π; que también es más fino que
  • y no es equivalente a él.
  • Una subbase de filtros sin , el prefiltro más pequeño que la contenga: en general, si una subbase de filtros no es un sistema Π, entonces una intersección de conjuntos de generalmente requerirá una descripción que incluya variables que no se pueden reducir hasta solo dos (considérese, por ejemplo, cuando ). Este ejemplo ilustra una clase atípica de subbases de filtros , donde todos los conjuntos tanto en como en su sistema Π generado pueden describirse como conjuntos de la forma de modo que, en particular, no se necesitan más de dos variables (específicamente, ) para describir el sistema Π generado. Para todos los sea
    donde siempre se cumple, por lo que no se pierde generalidad al agregar el supuesto de que Para todos los reales, si no es negativo, entonces [nota 2]​ Para cada conjunto de reales positivos, sea[nota 3]

    Sea , y supóngase que no es un conjunto unitario. Entonces, es una subbase de filtros pero no un prefiltro y es el sistema Π que genera, de modo que es el único filtro más pequeño en que contiene a Sin embargo, no es un filtro en (ni es un prefiltro, porque es no dirigido hacia abajo, aunque es una subbase de filtros) y es un subconjunto propio del filtro Si son intervalos no vacíos, entonces las subbases de filtros generan el mismo filtro en 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 demuestra que no puede existir un prefiltro mínimo/más pequeño (con respecto a ) que contenga a 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 (con respecto a ) que contenga la subbase de filtros

Ultrafiltros

Hay muchas otras caracterizaciones de "ultrafiltro" y "ultra prefiltro", que se enumeran en el artículo sobre [Ultrafiltro (teoría de conjuntos)|Ultrafiltro]]. En ese artículo también se describen propiedades importantes de los ultrafiltros.

Una familia de conjuntos no vacía es/es un:
  1. Ultra[7][30]​ si se cumplen y cualquiera de las siguientes condiciones equivalentes:
    1. Para cada conjunto existe algún conjunto tal que (o equivalentemente, tal que ).
    2. 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".
    3. Para todo conjunto (no necesariamente ni siquiera un subconjunto de ) existe algún conjunto tal que
      • Si todo satisface esta condición, entonces también lo hace el superconjunto . Por ejemplo, si es cualquier conjunto unitario entonces es ultra y en consecuencia, cualquier superconjunto no degenerado de (como su cierre hacia arriba) también es ultra.
  2. Ultra prefiltro[7][30]​ si es prefiltro que también sea ultra. De manera equivalente, es una subbase de filtros ultra. Un prefiltro es ultra si y sólo si satisface cualquiera de las siguientes condiciones equivalentes:
    1. es máximo en con respecto a lo que significa que
      • Aunque esta declaración es idéntica a la que se proporciona a continuación para los ultrafiltros, aquí se supone que es simplemente un prefiltro, y no tiene por qué ser un filtro.
    2. es ultra (y por tanto un ultrafiltro).
    3. es equivalente (con respecto a ) a algún ultrafiltro.
    • Una subbase de filtros que sea ultra es necesariamente un prefiltro. Una subbase de filtros es ultra si y solo si es una subbase de filtros máxima con respecto a (como arriba).[31]
  3. Ultrafiltro en [7][30]​ si es un filtro en que es ultra. De manera equivalente, un ultrafiltro en es un filtro que satisface cualquiera de las siguientes condiciones equivalentes:
    1. es generado por un ultra prefiltro.
    2. Para cualquier [17]
    3. Esta condición se puede reformular como: está particionado por y su dual.
      • Los conjuntos son disjuntos siempre que sea un prefiltro.
    4. es un ideal.[31]
    5. Para cualquier si , entonces
    6. Para cualquier si y luego (un filtro con esta propiedad se denomina filtro primo).
      • Esta propiedad se extiende a cualquier unión finita de dos o más conjuntos.
    7. Para cualquier si , entonces cualquier
    8. es un filtro máximo en , lo que significa que si es un filtro en tal que entonces necesariamente (esta igualdad puede ser reemplazada por ).
      • Si está cerrado hacia arriba, entonces Por lo tanto, esta caracterización de los ultrafiltros como filtros máximos se puede reformular como:
      • Debido a que la subordinación es para filtros, el análogo de "es una subred/subsucesión de" (específicamente, "subred" debería significar "subred de AA", que se define a continuación), 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 de máxima profundidad" (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 de cualquier valor neto en un conjunto de elementos individuales, por ejemplo),[nota 5]​ que es una idea que en realidad las ultrarredes hacen rigurosa. El lema del ultrafiltro es entonces la afirmación de que cada filtro (o "red") tiene algún filtro subordinado (o "subred") que es "máximamente subordinado" ("máximamente profundo").

Cualquier familia no degenerada que tenga un conjunto unitario como elemento 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 unitario.

El lema del ultrafiltro

El siguiente teorema importante se debe a Alfred Tarski (1930).[32]

Lema del ultrafiltro (teorema principal)[10]

Cada filtro en un conjunto es un subconjunto de algún ultrafiltro en

Una consecuencia del lema de los ultrafiltros es que cada filtro es igual a la intersección de todos los ultrafiltros que lo contienen.[10][demo 1]​ Suponiendo los axiomas de Zermelo-Fraenkel (ZF), el lema del ultrafiltro se deriva 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 con 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 Tíjonov para espacios compactos de Hausdorff y subbases) y en análisis funcional (como el teorema de Hahn–Banach) se pueden probar usando solo el lema del ultrafiltro; podría no ser necesaria toda la fuerza del axioma de elección.

Núcleos

El núcleo es útil para clasificar propiedades de prefiltros y otras familias de conjuntos.

El núcleo[5]​ de una familia de conjuntos es la intersección de todos los conjuntos que son elementos de

Si entonces para cualquier punto

Propiedades de los núcleos

Si entonces y este conjunto también es igual al núcleo del sistema Π generado por En particular, si es una subbase de filtro, entonces los núcleos de todos los siguientes conjuntos son iguales:

(1) (2) el sistema Π generado por y (3) el filtro generado por

Si es un mapa, 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

Una familia de conjuntos es:
  1. Libre[6]​ si o equivalentemente, si se puede reformular como
    • Un filtro en es libre si y solo si es infinito y contiene un filtro de Fréchet en como un subconjunto.
  2. Fijo si , en cuyo caso se dice que es fijado por cualquier punto de
    • Cualquier familia fija es necesariamente una subbase de filtros.
  3. Principal[6]​ si
    • Una familia principal propia de conjuntos es necesariamente un prefiltro.
  4. Discreto o principal en [25]​ si en cuyo caso se denomina elemento principal.
    • El filtro principal en sobre es el filtro Un filtro es principal en si y solo si
  5. Numerablemente profunda si siempre que es un subconjunto numerable, entonces [9]

Si es un filtro principal en , 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 genere también será libre. En particular, es una subbase de filtro si es contable (por ejemplo, los primos), un conjunto exiguo en es un conjunto de medidas finitas o un subconjunto acotado de Si es un conjunto unitario, entonces es una subbase para Filtro Fréchet en

Para cada filtro existe un par único de ideales duales tal que es libre, es principal y y no se entrelazan (es decir, ). El ideal dual se llama la parte libre de , mientras que se llama la parte principal[9]​ donde al menos uno de estos ideales duales es un filtro. Si es principal, entonces ; de lo contrario, y son un filtro libre (no degenerado).[9]

Prefiltros finitos y conjuntos finitos

Si una subbase de filtros es finita, entonces es fija (es decir, no libre); esto se debe a que es una intersección finita y la subbase de filtros tiene la propiedad de la intersección finita. Un prefiltro finito es necesariamente principal, aunque no tiene por qué estar cerrado bajo intersecciones finitas.

Si es finito, entonces todas las conclusiones anteriores son válidas para cualquier En particular, en un conjunto finito no hay subbases de filtros libres (y por lo tanto, no hay prefiltros libres) todos los prefiltros son principales y todos los filtros en 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 existen subbases de filtros y prefiltros no triviales que son finitos (aunque no pueden ser filtros). Si es un conjunto unitario, 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 ultra prefiltros fijos

Si una familia de conjuntos es fija (es decir, ), entonces es ultra si y solo si algún elemento de es un conjunto unitario, en cuyo caso será necesariamente un prefiltro. Cada prefiltro principal es fijo, por lo que un prefiltro principal es ultra si y solo si es un conjunto unitario.

Cada filtro en que es principal en un solo punto es un ultrafiltro, y si además es finito, entonces no hay ultrafiltros en aparte de estos.[6]

El siguiente teorema demuestra que cada ultrafiltro cae en una de dos categorías: o es libre o es un filtro principal generado por un solo punto.

Proposición

Si es un ultrafiltro en , entonces lo siguiente es equivalente:

  1. es fijo o, equivalentemente, no libre, lo que significa que
  2. es principal, lo que significa que
  3. Algún elemento de es un conjunto finito.
  4. Algún elemento de es un conjunto unitario.
  5. es principal en algún punto de lo que significa que para algunos
  6. no contiene el filtro de Fréchet en
  7. es secuencial.[9]

Más fino/más grueso, subordinación y concordancia

El preorden que se define a continuación es de fundamental importancia para el uso de prefiltros (y filtros) en topología. Por ejemplo, este preorden se utiliza para definir el equivalente de prefiltro de "subsecuencia",[24]​ donde "" puede interpretarse 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 del prefiltro en un espacio topológico. La definición de concuerda con que está estrechamente relacionada con el preorden y se utiliza en topología para definir puntos de acumulación.

Dos familias de conjuntos concuerdan[7]​ y son compatibles con, se indica escribiendo si Si no concuerdan, entonces están disociados. Si , entonces se dice que concuerdan si concuerdan, o equivalentemente, si es la traza en un conjunto de que es la familia

que no contiene el conjunto vacío, donde la traza también se denomina restricción en un conjunto de

Declarar que expresado como es más grueso que y es más fino (o está subordinado a) [10][11][12][8][9]​ si se cumple alguna de las siguientes condiciones equivalentes:
  1. Definición: Cada contiene algún Explícitamente, esto significa que por cada hay algún tal que
    • Dicho más brevemente, si cada conjunto en es más grande que algún conjunto en Aquí, un "conjunto más grande" significa un superconjunto.
    • En otras palabras, establece exactamente que 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
  2. que equivale a ;
  3. ;
  4. que equivale a ;

y si además está cerrado hacia arriba, lo que significa que entonces esta lista se puede ampliar para incluir:

  1. [5]
    • Entonces, en este caso, la definición de que " es más fino que " sería idéntica a la definición topológica de "más fino" si hubieran tenido topologías en

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.[10]

Ejemplo: Si es una subsucesión de entonces está subordinado a lo que expresado con símbolos es: y también

Dicho en términos sencillos, el prefiltro de colas de una subsucesión siempre está subordinado al de la sucesión original. Para ver esto, supóngase que sea arbitrario (o, equivalentemente, que sea arbitrario) y queda por demostrar que este conjunto contiene algo de Para que el conjunto contenga a es suficiente tener que Dado que son números enteros estrictamente crecientes, existe un tal que y, por lo tanto, se cumple, tal 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 con í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.

En otro ejemplo, si es cualquier familia, entonces siempre se mantiene y, además,

Supóngase que son familias de conjuntos que satisfacen que Entonces, y y también Si además de es una subbase de filtros y entonces es una subbase de filtros[8]​ y también concuerdan .[19][demo 2]

De manera más general, si tanto como la intersección de dos elementos cualesquiera de no están vacíos, entonces concuerdan.[demo 2]​ Cada subbase de filtros es más gruesa que el sistema Π y que el filtro generados.[8]

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 tanto como el filtro que genera son ultra o ninguno es ultra. Si una subbase de filtros es ultra, entonces necesariamente es un prefiltro, en cuyo caso el filtro que genera también será ultra. Una subbase de filtros que no sea un prefiltro no puede ser ultra; pero aun así es posible que el prefiltro y el filtro generados por sean ultra. Si está cerrado hacia arriba en , entonces [9]

Propiedades relacionales de la subordinación

La relación es reflexiva y transitiva, lo que la convierte en un preorden en [33]​ La relación es antisimétrica, pero si tiene más de un punto, entonces no es simétrica.

Simetría: Para cualquier Entonces, el conjunto tiene más de un punto si y solo si la relación no es simétrica.

Antisimetría: Si pero si bien lo contrario no se cumple en general, sí se cumple si está cerrado hacia arriba (por ejemplo, si es un filtro). Dos filtros son equivalentes si y solo si son iguales, lo que hace que la restricción de a sea antisimétrica. Pero en general, not es antisimétrica en ni en ; es decir, no implica necesariamente que ; ni siquiera si ambos son prefiltros.[12]​ 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:[8][5]

  1. Los cierres hacia arriba de son iguales.

Dos subconjuntos cerrados hacia arriba (en ) de son equivalentes si y solo si son iguales.[8]​ Si , entonces necesariamente y es equivalente a Cada clase de equivalencia distinta de contiene un representante único (es decir, un elemento de la clase de equivalencia) que está cerrado hacia arriba en [8]

Propiedades preservadas entre familias equivalentes

Sea arbitrario y cualquier familia de conjuntos. Si son equivalentes (lo que implica que ), entonces para cada una de las afirmaciones/propiedades enumeradas a continuación, o es verdadera para ambos o es falsa para ambos :[33]

  1. No vacío
  2. Propio (es decir, no es un elemento)
    • Además, dos familias degeneradas cualesquiera son necesariamente equivalentes.
  3. Subbase de filtros
  4. Prefiltro
    • En cuyo caso generan el mismo filtro en (es decir, sus cierres hacia arriba en son iguales).
  5. Libre
  6. Principal
  7. Ultra
  8. Igual al filtro trivial
    • En otras palabras, esto significa que el único subconjunto de que es equivalente al filtro trivial es el filtro trivial. En general, esta conclusión de igualdad no se extiende a filtros no triviales (una excepción es cuando ambas familias son filtros).
  9. Concuerda con
  10. Más fino que
  11. Más grueso que
  12. Es equivalente a

En la lista anterior falta la palabra "filtro" porque esta propiedad no se conserva por equivalencia. Sin embargo, si son filtros en entonces son equivalentes si y solo si son iguales; esta caracterización no se extiende a los prefiltros.

Equivalencia de prefiltros y subbases de filtros

Si es un prefiltro en , entonces las siguientes familias siempre son equivalentes entre sí:

  1. ;
  2. El sistema Π generado por ;
  3. El filtro en generado por ;

y además, estas tres familias generan el mismo filtro en (es decir, los cierres hacia arriba en 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.[8][demo 3]​ Cada prefiltro equivale exactamente a un filtro en que es el filtro que genera (es decir, el cierre hacia arriba 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 elementos diferenciados de estas clases de equivalencia de prefiltros.[8]

Una subbase de filtros que no sea también un prefiltro, puede no ser equivalente al prefiltro (o filtro) que genera. En cambio, cada prefiltro equivale al filtro que genera. Esta es la razón por la que los prefiltros pueden, en general, usarse indistintamente con los filtros que generan, mientras que esto no se puede hacer con las subbases de filtros. Cada filtro es a la vez un sistema Π y un anillo de conjuntos.

Ejemplos de determinación de equivalencia/no equivalencia

Ejemplos: Sea y el conjunto de números enteros (o el conjunto ). Definir los conjuntos

Los tres conjuntos son subbases de filtros, pero ninguno es un filtro en y solo es un prefiltro (de hecho, es incluso libre y cerrado bajo intersecciones finitas). El conjunto es fijo, mientras que es libre (a menos que ). Satisfacen que pero no hay dos de estas familias equivalentes. Además, no hay dos filtros generados por estas tres subbases de filtros que sean equivalentes/iguales. Se puede llegar a esta conclusión demostrando que los sistemas Π que generan no son equivalentes. A diferencia de cada conjunto en el sistema Π generado por contiene como un subconjunto,[nota 6]​ que es lo que impide que sus sistemas Π generados (y, por lo tanto, sus filtros generados) sean equivalentes. Si fuera , entonces las tres familias serían libres y, aunque los conjuntos seguirían siendo 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 grueso que el filtro generado por

Propiedades y construcciones en teoría de conjuntos

Traza y concordancia

Si es un prefiltro (respectivamente filtro) en , entonces la traza de que es la familia es un prefiltro (respectivamente un filtro) si y solo si concuerdan (es decir, ),[10]​ en cuyo caso se dice que la traza de es inducida por . Si es ultra y si concuerdan, entonces la traza es ultra. Si es un ultrafiltro en , entonces la traza de es un filtro en si y solo si

Por ejemplo, supóngase que es un filtro en y es tal que Entonces, concuerdan y genera un filtro en que es estrictamente más fino que [10]

Concordancia de prefiltros

Dadas las familias no vacías la familia

satisface que y Si es propio (respectivamente un prefiltro, una subbase de filtros), entonces esto también es cierto para Para hacer deducciones significativas sobre a partir de es necesario que sea propio (es decir, , que es la motivación para la definición de "concordancia". En este caso, es un prefiltro (o subbase de filtros) si y solo si esto es cierto para Dicho de otra manera, si son prefiltros, entonces concuerdan si y solo si es un prefiltro. La generalización da una caracterización bien conocida de "concordancia" enteramente en términos de subordinación (es decir, ):

     Dos prefiltros (respectivamente, subbases de filtros) concuerdan entre sí, si y solo si existe un prefiltro (respectivamente, subbase de filtros) tal que y

Si el límite superior mínimo de dos filtros existe en , entonces este límite superior mínimo es igual a [28]

Imágenes y preimágenes bajo funciones

En todo momento, son aplicaciones entre conjuntos no vacíos.

Imágenes de prefiltros

Sea Muchas de las propiedades que pueda tener se conservan bajo imágenes de aplicaciones. 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 cierta para , entonces necesariamente también será cierta para (aunque posiblemente no en el codominio a menos que la aplicación sea sobreyectiva):[10][13][34][35][36][32]

  • 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, también lo son [10]​. La imagen bajo una aplicación 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 sobreyectiva.[34]​ De lo contrario, es solo un prefiltro en y su cierre hacia arriba debe tomarse en para obtener un filtro. El cierre hacia arriba de es

donde si está cerrado hacia arriba en (es decir, es un filtro), esto se simplifica a:

Si , entonces tomar como la relación de inclusión, muestra que cualquier prefiltro (respectivamente, ultra prefiltro, subbase de filtro) en también es un prefiltro (respectivamente, ultra prefiltro, subbase de filtro) en [10]

Preimágenes de prefiltros

Sea Bajo el supuesto de que es sobreyectiva:

      es un prefiltro (respectivcamente, subbase de filtro, sistema Π, cerrado bajo uniones finitas, propiamente dicho) si y solo si esto es cierto para

Sin embargo, si es un ultrafiltro en , incluso si es sobreyectiva (lo que convertiría a en un prefiltro), aún es posible que el prefiltro no sea ni ultra ni un filtro en [35]​ (consúltese esta nota al pie de página[nota 7]​ para ver un ejemplo).

Si no es sobreyectivo, entonces denótese la traza de por donde en este caso particular la traza satisface:

y en consecuencia también:

Esta última igualdad y el hecho de que la traza sea una familia de conjuntos sobre significa que para sacar conclusiones sobre se puede utilizar la traza en lugar de y la sobreyección se puede utilizar en lugar de Por ejemplo:[13][10][36]

      es un prefiltro (respectivamente subbase de filtro, sistema Π, propio) si y solo si esto es cierto para

De esta manera, el caso en el que no es (necesariamente) sobreyectivo se puede reducir al caso de una función sobreyectiva (que es un caso que se describió al comienzo de esta subsección).

Incluso si es un ultrafiltro en y si no es sobreyectiva, es posible que lo que haría que también degenere. La siguiente caracterización muestra que la degeneración es el único obstáculo. Si es un prefiltro, entonces lo siguiente es equivalente:[13][10][36]

  1. es un prefiltro;
  2. es un prefiltro;
  3. ;
  4. se entrelaza con

y además, si es un prefiltro, entonces también lo es [13][10]

Si y denotan la relación de inclusión, entonces la traza de es igual a [10]​ Esta observación permite que los resultados de esta subsección se apliquen a la investigación de la traza de un conjunto.

Biyecciones, inyecciones y sobreyecciones

Todas las propiedades que involucran filtros se conservan bajo biyecciones. Esto significa que si es una biyección, entonces es un prefiltro (respectivamente ultra, ultra prefiltro, filtro en ultrafiltro en la subbase de filtros sistema Π, ideal en etc.) si y solo si lo mismo es cierto para [35]

Una aplicación es inyectiva si y solo si para todos los prefiltros es equivalente a [28]​ La imagen de una familia de conjuntos ultra bajo una inyección es nuevamente ultra.

La aplicación es sobreyectiva si y solo si siempre que sea un prefiltro en . Lo mismo ocurre con (este resultado no requiere el lema del ultrafiltro).

La subordinación es preservada por imágenes y preimágenes

La relación se conserva tanto en imágenes como en preimágenes de familias de conjuntos.[10]​ Esto significa que para cualesquiera familias [36]

Además, las siguientes relaciones siempre se cumplen para cualquier familia de conjuntos :[36]

donde la igualdad se mantendrá si es sobreyectiva.[36]​ Además,

Si , entonces[9]

y ,[36]​ donde se mantendrá la igualdad si es inyectiva.[36]

Productos de prefiltros

Supóngase que es una familia de uno o más conjuntos no vacíos, cuyo producto se denotará por y para cada índice sea

denota la proyección canónica.

Sean familias no vacías, también indexadas por de modo que para cada El producto de las familias [10]​ se define de manera idéntica a cómo se definen los subconjuntos abiertos básicos de la topología producto (si todos estos hubieran sido topologías). Es decir, tanto las notaciones

denota la familia de todos los subconjuntos de cilindros tal que para todos excepto un número finito de y donde para cualquiera de estas excepciones finitas (es decir, para cualquier tal que necesariamente ). Cuando cada es una subbase de filtros, entonces la familia es una subbase de filtros para el filtro en generado por [10]​ Si es una subbase de filtros, entonces el filtro en que genera se llama filtro generado por .[10]​ Si cada es un prefiltro en , entonces será un prefiltro en y, además, este prefiltro es igual al prefiltro más grueso , de modo que por cada [10]​ Sin embargo, es posible que no sea un filtro en incluso si cada es un filtro en [10]

Resta de conjuntos y algunos ejemplos

Conjunto restando un subconjunto al núcleo

Si es un prefiltro en , entonces es un prefiltro, donde este último conjunto es un filtro si y solo si es un filtro y En particular, si es una base de entornos en un punto en un espacio topológico que tiene al menos en 2 puntos, entonces es un prefiltro en Esta construcción se utiliza para definir en términos de convergencia de prefiltros.

Usar la dualidad entre ideales e ideales duales

Existe una relación dual o que se define para significar que cada está contenida en algún Explícitamente, esto significa que para cada , hay algún tal que Esta relación es dual con en el sentido de que si y solo si [5]​ La relación está estrechamente relacionada con el cierre hacia abajo de una familia, de manera similar a cómo se relaciona con la familia del cierre hacia arriba.

Para ver un ejemplo que utiliza esta dualidad, supóngase que es una aplicación y Defínase

que contiene el conjunto vacío si y solo si lo contiene. Es posible que sea un ultrafiltro y que esté vacío o no cerrado bajo intersecciones finitas (véase nota al pie, por ejemplo).[nota 8]​ Aunque no conserva muy bien las propiedades de los filtros, si está cerrado hacia abajo (o cerrado bajo uniones finitas, un ideal), entonces esto también será cierto para El uso de la dualidad entre ideales e ideales duales permite una construcción del siguiente filtro.

     Supóngase que es un filtro en y sea su dual en Si , entonces el dual de será un filtro.

Otros ejemplos

Ejemplo: El conjunto de todos los subconjuntos abiertos densos de un espacio topológico es un sistema Π propio y 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

Ejemplo: La familia de todos los conjuntos abiertos densos de que tienen medida de Lebesgue finita es un sistema Π adecuado y un prefiltro libre. El prefiltro está correctamente contenido en el prefiltro que consta de todos los subconjuntos abiertos densos de , y que no es equivalente a él. Dado que es un espacio de Baire, cada intersección numerable de conjuntos en es densa en (y también exigua y no escasa), por lo que el conjunto de todas las intersecciones contables de elementos de es un prefiltro y un sistema Π; que también es más fino que y no es equivalente a él.

Filtros y redes

Esta sección describe las relaciones entre prefiltros y redes con gran detalle debido a lo importantes que son estos detalles al aplicar filtros a la topología, particularmente al pasar de utilizar redes a utilizar filtros y viceversa, y porque facilita la comprensión posterior de por qué las subredes (con sus definiciones más utilizadas) generalmente no son equivalentes a "subprefiltros".

Redes para prefiltros

Un red está asociado canónicamente con su prefiltro de colas Si es una aplicación y es una red en , entonces [37]

Prefiltros para redes

Un conjunto puntuado es un par que consta de un conjunto no vacío y de un elemento Para cualquier familia sea

Définase un conjunto preordenado canónico en conjuntos puntuados declarando que

Si , incluso si entonces este preorden no es antisimétrico y dada cualquier familia de conjuntos está parcialmente ordenada si y solo si consta completamente de conjuntos unitarios. Si es un elemento máximo de . Además, todos los elementos máximos tienen esta forma. Si es el elemento mayor si y solo si en cuyo caso es el conjunto de todos los elementos mayores. Sin embargo, un elemento mayor es un elemento máximo si y solo si por lo que hay como máximo un elemento que es a la vez máximo y mayor.

Existe una aplicación canónica definido por

Si entonces la cola de la asignación que comienza en es

Aunque no es, en general, un conjunto parcialmente ordenado, es un conjunto dirigido si (y solo si) es un prefiltro. Entonces, la opción más inmediata para la definición de "la red en inducida por un prefiltro " es la asignación de sobre

Si es un prefiltro en , entonces la red asociada con es la aplicación
es decir,

Si es un prefiltro en es una red en y el prefiltro asociado con es ; es decir:[nota 9]

Esto no sería necesariamente cierto si se hubiera definido en un subconjunto propio de Por ejemplo, supóngase que tiene al menos dos elementos distintos, es el filtro no discreto y es arbitrario. Si se hubiera definido en el conjunto unitario donde la restricción de a se denotará temporalmente por entonces el prefiltro de colas asociado con sería el prefiltro principal en lugar del filtro original . Esto significa que la igualdad es falsa, por lo que a diferencia de el prefiltro no se puede recuperar de Peor aún, mientras que es el filtro mínimo único en el prefiltro genera un filtro máximo (es decir, un ultrafiltro) en

Sin embargo, si es una red en , entonces en general no es cierto que es igual a porque, por ejemplo, el dominio de puede tener una cardinalidad completamente diferente a la de (ya que, a diferencia del dominio de el dominio de una red arbitraria en podría tener cualquier cardinalidad).

Ultrarredes y ultra prefiltros

Una red se llama ultrarred o red universal en si para cada subconjunto está finalmente en o finalmente está en . Esto sucede si y solo si es un ultra prefiltro. Un prefiltro es un ultra prefiltro si y solo si es una ultrarred en

Red parcialmente ordenada

El dominio de la red canónica en general no está parcialmente ordenado. Sin embargo, en 1955 Bruns y Schmidt descubrieron[38]​ una construcción que permite que la red canónica tenga un dominio parcialmente ordenado y dirigido; esto fue redescubierto de forma independiente por Albert Wilansky en 1970.[37]​ Comienza con la construcción de un conjunto parcialmente ordenado (lo que significa transitivo y reflexivo) en un subconjunto de que es similar al orden lexicográfico en de los órdenes parciales estrictos Para cualquier en se declara que si y solo si

o equivalentemente, si y solo si

El orden parcial no estricto asociado con denotado por se define declarando que Desarrollando estas definiciones, se obtiene la siguiente caracterización:

si y solo si y también

lo que muestra que es solo el orden lexicográfico en inducido por donde está parcialmente ordenado por la igualdad [nota 10]​ Ambos son seriales y ninguno posee un elemento mayor o un elemento máximo. Esto sigue siendo cierto si cada uno de ellos está restringido al subconjunto de definido por

donde se supondrá que están en adelante. Denótese la asignación de este subconjunto por:

Si , al igual que con antes, la cola de que comienza en es igual a Si es un prefiltro en entonces es una red en cuyo dominio es un conjunto parcialmente ordenado y además, [37]​ Debido a que las colas de son idénticas (ya que ambas son iguales al prefiltro ), normalmente no se pierde nada al suponer que el dominio de la red asociado con un prefiltro es dirigido y parcialmente ordenado.[37]​ Si el conjunto se reemplaza con números racionales positivos, entonces el orden parcial estricto también será un orden denso.

Filtros subordinados y subredes

La noción de " está subordinada a " (escrito ) es para filtros y prefiltros lo que ", una subsucesión de " es para sucesiones.[24]​ Por ejemplo, si denota el conjunto de colas de y si denota el conjunto de colas de la subsecuencia (donde ), entonces (es decir, ) es verdadero, pero es en general falso.

No equivalencia de subredes y filtros subordinados

Un subconjunto de un espacio preordenado es frecuente o cofinal en si para cada existe algún Si contiene una cola de , entonces se dice que es final en }}. Explícitamente, esto significa que existe algún (es decir, ). Un conjunto final no necesariamente está vacío. Un subconjunto es final si y solo si su complemento no es frecuente (lo que se denomina infrecuente).[39]​ Una aplicación entre dos conjuntos reservados se dice que preserva el orden si siempre que

Las subredes en el sentido de Willard y las subredes en el sentido de Kelley son las definiciones más utilizadas de "subred".[39]​ La primera definición de subred fue introducida por John L. Kelley en 1955.[39]Stephen Willard introdujo su propia variante de la definición de subred de Kelley en 1970.[39]​ Las subredes AA fueron introducidas de forma independiente por Smiley (1957), Aarnes y Andenaes (1972) y Murdeshwar (1983). Aarnes y Andenaes estudiaron con gran detalle las subredes AA, pero no se utilizan con frecuencia.[39]

Sean redes. Entonces,[39]
  1. es una subred de Willard de o una subred en el sentido de Willard si existe una aplicación que preserve el orden tal que es cofinal en
  2. es una subred de Kelley de o una subred en el sentido de Kelley si existe una aplicación y cuando se cumpla que si es final en entonces es final en
  3. es una subred AA de o una subred en el sentido de Aarnes y Andenaes si se cumple alguna de las siguientes condiciones equivalentes:
    1. Si está finalmente en está finalmente en
    2. Para cualquier subconjunto del retículo , también lo hace
    3. Para cualquier subconjunto

Kelley no requirió que la aplicación preservara el orden, mientras que la definición de una subred de AA elimina por completo cualquier aplicación entre los dominios de las dos redes y en su lugar se centra completamente en , el codominio común de las redes. Cada subred de Willard es una subred de Kelley y ambas son subredes AA.[39]​ En particular, si es una subred de Willard o una subred de Kelley de , entonces

  • Ejemplo: Sea , sea una secuencia constante, y póngase por caso que Considérese que y de modo que sea una red en Entonces es una subred AA de porque Pero no es una subred de Willard de porque no existe ninguna aplicación cuya imagen sea un subconjunto cofinal de Tampoco es una subred de Kelley de porque si es cualquier mapa entonces es un subconjunto cofinal de pero finalmente no está en

Las subredes AA tienen una caracterización definitoria que muestra inmediatamente que son totalmente intercambiables con filtros subordinados.[39][40]​ Explícitamente, lo que se quiere decir es que la siguiente afirmación es cierta para las subredes AA:

     Si son prefiltros, entonces es una subred AA de

Si "subred AA" se reemplaza por "subred de Willard" o "subred de Kelley", la declaración anterior se convierte en falsa. En particular, el problema es que la siguiente afirmación es en general falsa:

     Declaración de falsedad: si son prefiltros de modo que sea una subred Kelley de

Dado que cada subred de Willard es una subred de Kelley, esta afirmación sigue siendo falsa si la palabra "subred de Kelley" se reemplaza por "subred de Willard".

  • Contraejemplo (subordinación que las subredes de Kelley no pueden expresar): para todos los deje Deje que es un sistema Π propio, y sea donde ambas familias son prefiltros en los números naturales Porque es a como una subsecuencia es a una secuencia. Entonces, idealmente, debería ser una subred de Sea el dominio de por lo que contiene un subconjunto cofinal que es de orden isomorfo a y, en consecuencia, no contiene ni un elemento máximo ni mayor. Sea un elemento máximo y mayor de El conjunto dirigido también contiene un subconjunto que es de orden isomorfo a (porque contiene que contiene dicho subconjunto), pero ningún subconjunto de ese tipo puede ser cofinal en debido al elemento máximo En consecuencia, cualquier aplicación que preserve el orden debe ser finalmente constante (con valor ), donde es entonces el elemento mayor del rango Debido a esto, no puede haber una aplicación que preserve el orden y que satisfaga las condiciones requeridas para que sea una subred Willard de (porque el rango de dicha aplicación no puede ser cofinal en ). Supóngase, en aras de la contradicción, que existe una aplicación tal que está finalmente en para todo Porque existe tal que Para cada porque finalmente está en es necesario que En particular, si entonces que por definición es equivalente a que es falso. En consecuencia, no es una subred de Kelley de [40]​.

Si "subred" se define como una subred de Willard o de Kelley, entonces las redes y los filtros no son completamente intercambiables porque existen relaciones filtro-filtro subordinadas que no se pueden expresar en términos de una relación red-subred entre las dos redes inducidas. En particular, el problema es que las subredes de Kelley y de Willard y no son completamente intercambiables con filtros subordinados. Si no se utiliza la noción de "subred" o si "subred" se define como subred AA, entonces esto deja de ser un problema y, por lo tanto, resulta correcto decir que las redes y los filtros son intercambiables. A pesar de que las subredes AA no tienen el problema que tienen las subredes de Willard y de Kelley, no se utilizan ni se conocen ampliamente.[39][40]

Véase también

Notas

  1. De hecho, en ambos casos, que aparece a la derecha es precisamente lo que hace que sea "mayor", porque si están relacionados por alguna relación binaria (lo que significa que ), entonces se dice que cualquiera de que aparezca a la derecha es mayor o igual al que aparece a la izquierda con respecto a (o menos detalladamente, "–mayor o igual a").
  2. De manera más general, para cualquier número real que satisfaga donde
  3. Si Esta propiedad y el hecho de que no está vacío y es propio si y solo si realmente permite la construcción de aún más ejemplos de prefiltros, porque si es cualquier prefiltro (respectivamente subbase de filtros, sistema Π) entonces también lo es
  4. Se puede demostrar que si es cualquier familia tal que , entonces es un prefiltro si y solo si para todo real existe un real tal que
  5. Por ejemplo, un sentido en el que una red podría interpretarse como "máximamente profunda" es si todas las propiedades importantes relacionadas con (como la convergencia, por ejemplo) de cualquier subred están completamente determinadas por en todas las topologías de En este caso, y su subred se vuelven efectivamente indistinguibles (al menos topológicamente) si la información que se tiene sobre ellas se limita solo a lo que puede describirse únicamente en términos de y conjuntos directamente relacionados (como sus subconjuntos).
  6. El sistema Π generado por (respectivamente por ) es un prefiltro cuyos elementos son uniones finitas de intervalos abiertos (respectivamente cerrados) que tienen puntos finales en y dos de estos intervalos tienen la forma (respectivamente ) donde ; en el caso de es posible que uno o más de estos intervalos cerrados sean conjuntos unitarios (es decir, intervalos cerrados degenerados).
  7. Para ver un ejemplo de cómo puede producirse este fallo, considérese el caso en el que existe algún tal que tanto como su complemento en contengan al menos dos puntos distintos.
  8. Supóngase que tiene más de un punto, es una aplicación constante y , entonces estará formado por todos los subconjuntos no vacíos de
  9. La igualdad de conjuntos se cumple de manera más general: si la familia de conjuntos ) entonces la familia de colas de la aplicación (definida por ) es igual a
  10. Explícitamente, el orden parcial en inducido por la igualdad se refiere a la diagonal que es una relación homogénea en que convierte a en un conjunto parcialmente ordenado. Si este orden parcial se denota mediante el símbolo más familiar (es decir, defínase ), entonces para cualquier lo que muestra que (y por lo tanto también ) no es más que un nuevo símbolo de igualdad en , es decir, Se utiliza la notación porque evita la introducción innecesaria de un nuevo símbolo para la diagonal.

Demostraciones

  1. Sea un filtro en que no es un ultrafiltro. Si es tal que tiene la propiedad de intersección finita (porque si ), de modo que según el lema del ultrafiltro, existe algún ultrafiltro tal que (en particular, ). La intersección de todos esos demuestra que
  2. a b Para demostrar que concuerdan, dejemos que Debido a (respectivamente porque ), existe algo de donde, por suposición, entonces Si es una subbase de filtros y si entonces tomar implica que Si entonces hay tales que y ahora Esto demuestra que es una subbase de filtros.
  3. Esto se debe a que si son prefiltros en , entonces

Referencias

  1. Jech, 2006, p. 73.
  2. Koutras et al., 2021.
  3. a b Cartan, 1937a.
  4. a b Cartan, 1937b.
  5. a b c d e f Dolecki y Mynard, 2016, pp. 27–29.
  6. a b c d e f Dolecki y Mynard, 2016, pp. 33–35.
  7. a b c d e f g h i j Narici y Beckenstein, 2011, pp. 2–7.
  8. a b c d e f g h i j k l m n ñ o p q Császár, 1978, pp. 53-65.
  9. a b c d e f g h i j k l m n Dolecki y Mynard, 2016, pp. 27-54.
  10. a b c d e f g h i j k l m n ñ o p q r s t u v w x Bourbaki, 1987, pp. 57–68.
  11. a b Schubert, 1968, pp. 48–71.
  12. a b c Narici y Beckenstein, 2011, pp. 3–4.
  13. a b c d e Dugundji, 1966, pp. 215–221.
  14. Dugundji, 1966, p. 215.
  15. a b c Wilansky, 2013, p. 5.
  16. a b c Dolecki y Mynard, 2016, p. 10.
  17. a b c d e f Schechter, 1996, pp. 100–130.
  18. Császár, 1978, pp. 82-91.
  19. a b c Dugundji, 1966, pp. 211–213.
  20. Schechter, 1996, p. 100.
  21. Császár, 1978, pp. 53-65, 82-91.
  22. Arkhangel'skii y Ponomarev, 1984, pp. 7–8.
  23. Joshi, 1983, p. 244.
  24. a b c Dugundji, 1966, p. 212.
  25. a b c Wilansky, 2013, pp. 44–46.
  26. Castillo, Jesus M. F.; Montalvo, Francisco (January 1990), «A Counterexample in Semimetric Spaces», Extracta Mathematicae 5 (1): 38-40 .
  27. Schaefer y Wolff, 1999, pp. 1–11.
  28. a b c Bourbaki, 1987, pp. 129–133.
  29. Wilansky, 2008, pp. 32-35.
  30. a b c Dugundji, 1966, pp. 219–221.
  31. a b Schechter, 1996, pp. 100-130.
  32. a b Jech, 2006, pp. 73-89.
  33. a b Császár, 1978, pp. 53-65, 82-91, 102-120.
  34. a b Dolecki y Mynard, 2016, pp. 37–39.
  35. a b c Arkhangel'skii y Ponomarev, 1984, pp. 20–22.
  36. a b c d e f g h Császár, 1978, pp. 102-120.
  37. a b c d Schechter, 1996, pp. 155-171.
  38. Bruns G., Schmidt J., Zur Aquivalenz von Moore-Smith-Folgen und Filtern, Math. Nachr. 13 (1955), 169-186.
  39. a b c d e f g h i Schechter, 1996, pp. 157–168.
  40. a b c Clark, Pete L. (18 de octubre de 2016). «Convergence». math.uga.edu/. Consultado el 18 de agosto de 2020. 

Bibliografía