Filtro (teoría de conjuntos)

En matemáticas, un filtro en un conjunto $X$ es una familía ${\mathcal {B}}$ de subconjuntos tal que:​

1. $X\in {\mathcal {B}}$ y $\emptyset \notin {\mathcal {B}}$
2. Si $A\in {\mathcal {B}}$ y $B\in {\mathcal {B}}$, entonces $A\cap B\in {\mathcal {B}}$
3. Si $A,B\subset X,A\in {\mathcal {B}}$ y $A\subset B$, entonces $B\in {\mathcal {B}}$

Se puede considerar que un filtro en un conjunto representa una "colección de subconjuntos grandes",​ 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​​ 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 $S{\text{ y }}X$ denotan conjuntos (pero no familias, a menos que se indique lo contrario) y $\wp (X)$ denotará el conjunto potencia de $X.$ Un subconjunto de un conjunto potencia se llama familia de conjuntos (o simplemente, familia) donde se define sobre sobre $X$ si es un subconjunto de $\wp (X).$ Las familias de conjuntos se indicarán con letras de caligrafía mayúsculas como ${\mathcal {B}},{\mathcal {C}},{\text{ y }}{\mathcal {F}}.$ Siempre que se necesiten estas suposiciones, se debe asumir que $X$ no está vacío y que ${\mathcal {B}},{\mathcal {F}},$ etc., son familias de conjuntos sobre $X.$

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 $X$​​ de una familia de conjuntos ${\mathcal {B}}\subseteq \wp (X)$ es

${\mathcal {B}}^{\uparrow X}:=\{S\subseteq X~:~B\subseteq S{\text{ para algún }}B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}\{S~:~B\subseteq S\subseteq X\}$

y de manera similar, el cierre hacia abajo de ${\mathcal {B}}$ es ${\mathcal {B}}^{\downarrow }:=\{S\subseteq B~:~B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}\wp (B).$

Notación y definición	Nombre
$\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$	Núcleo de ${\mathcal {B}}$​
$S\setminus {\mathcal {B}}:=\{S\setminus B~:~B\in {\mathcal {B}}\}=\{S\}\,(\setminus )\,{\mathcal {B}}$	Dual de ${\mathcal {B}}{\text{ en }}S$ donde $S$ es un conjunto.​
${\mathcal {B}}{\big \vert }_{S}:=\{B\cap S~:~B\in {\mathcal {B}}\}={\mathcal {B}}\,(\cap )\,\{S\}$	Traza de ${\mathcal {B}}{\text{ sobre }}S$​ o la restricción de ${\mathcal {B}}{\text{ en }}S$ donde $S$ es un conjunto; a veces denotado por ${\mathcal {B}}\cap S$
${\mathcal {B}}\,(\cap )\,{\mathcal {C}}=\{B\cap C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$​	Intersección de conjuntos uno a uno (donde ${\mathcal {B}}\cap {\mathcal {C}}$ denota la intersección usual)
${\mathcal {B}}\,(\cup )\,{\mathcal {C}}=\{B\cup C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$​	Unión de conjuntos uno a uno (donde ${\mathcal {B}}\cup {\mathcal {C}}$ denota la unión usual)
${\mathcal {B}}\,(\setminus )\,{\mathcal {C}}=\{B\setminus C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$	Substracción de conjuntos uno a uno (donde ${\mathcal {B}}\setminus {\mathcal {C}}$ denota el complemento de un conjunto usual)
${\mathcal {B}}^{\#X}={\mathcal {B}}^{\#}=\{S\subseteq X~:~S\cap B\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}\}$	Retículo de ${\mathcal {B}}{\text{ en }}X$​
$\wp (X)=\{S~:~S\subseteq X\}$	Conjunto potencia de un conjunto $X$​

Para dos familias cualesquiera, ${\mathcal {C}}{\text{ y }}{\mathcal {F}},$ se declara que ${\mathcal {C}}\leq {\mathcal {F}}$ si y solo si para cada $C\in {\mathcal {C}}$ existe algún $F\in {\mathcal {F}}{\text{ tal que }}F\subseteq C,$ en cuyo caso se dice que ${\mathcal {C}}$ es más grueso que ${\mathcal {F}}$ y que ${\mathcal {F}}$ es más fino (o subordinado a) ${\mathcal {C}}.$​​​ La notación ${\mathcal {F}}\vdash {\mathcal {C}}{\text{ o }}{\mathcal {F}}\geq {\mathcal {C}}$ también puede usarse en lugar de ${\mathcal {C}}\leq {\mathcal {F}}.$ Dos familias ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ coinciden,​ situación notada como ${\mathcal {B}}\#{\mathcal {C}},$ si $B\cap C\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}.$

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

Notación y definición	Nombre
$f^{-1}({\mathcal {B}})=\left\{f^{-1}(B)~:~B\in {\mathcal {B}}\right\}$​	Imagen de ${\mathcal {B}}{\text{ bajo }}f^{-1},$ o la preimagen de ${\mathcal {B}}$ bajo $f$
$f^{-1}(S)=\{x\in \operatorname {dominio} f~:~f(x)\in S\}$	Imagen de $S{\text{ bajo }}f^{-1},$ o la preimagen de $S{\text{ bajo }}f$
$f({\mathcal {B}})=\{f(B)~:~B\in {\mathcal {B}}\}$​	Imagen de ${\mathcal {B}}$ bajo $f$
$f(S)=\{f(s)~:~s\in S\cap \operatorname {dominio} f\}$	Imagen de $S{\text{ bajo }}f$
$\operatorname {imagen} f=f(\operatorname {dominio} f)$	Imagen (o rango) de $f$

Las redes y sus colas

Un conjunto dirigido es un conjunto $I$ junto con un conjunto preordenado, que se denotará por $\,\leq \,$ (a menos que se indique explícitamente lo contrario), que convierte a $(I,\leq )$ en un (upward) directed set;​ esto significa que para todo $i,j\in I,$ existe algún $k\in I$ tal que $i\leq k{\text{ y }}j\leq k.$ para cualquier índices $i{\text{ y }}j,$ la notación $j\geq i$ se define como $i\leq j$ mientras que $i<j$ se define para significar que $i\leq j$ se cumple, pero not es cierto que $j\leq i$ (si $\,\leq \,$ es antisymmetric, entonces esto es equivalente a $i\leq j{\text{ y }}i\neq j$).

Un net in $X$​ es un mapa de un conjunto dirigido no vacío en $X.$ La notación $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ se utilizará para indicar una red con dominio $I.$

Notatción y definición	Nombre
$I_{\geq i}=\{j\in I~:~j\geq i\}$	Cola o sección de $I$ empezando en $i\in I$ donde $(I,\leq )$ es un conjunto dirigido.
$x_{\geq i}=\left\{x_{j}~:~j\geq i{\text{ y }}j\in I\right\}$	Cola o sección de $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ empezando en $i\in I$
$\operatorname {Colas} \left(x_{\bullet }\right)=\left\{x_{\geq i}~:~i\in I\right\}$	Conjunto o prefiltro de colas/secciones de $x_{\bullet }.$ También llamado base de filtro final generada por (las colas de) $x_{\bullet }=\left(x_{i}\right)_{i\in I}.$ Si $x_{\bullet }$ es una sucesión, entonces $\operatorname {Colas} \left(x_{\bullet }\right)$ también se llama base de filtro secuencial.​
$\operatorname {Filtrodecolas} \left(x_{\bullet }\right)=\operatorname {Colas} \left(x_{\bullet }\right)^{\uparrow X}$	Filtro final de/generado por (colas de) $x_{\bullet }=\left(x_{i}\right)_{i\in I}$​
$f\left(I_{\geq i}\right)=\{f(j)~:~j\geq i{\text{ y }}j\in I\}$	Cola o sección de una red $f:I\to X$ comenzando en $i\in I$​ donde $(I,\leq )$ es un conjunto dirigido.

Advertencia sobre el uso de la comparación estricta

Si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es una red y $i\in I$, entonces es posible que el conjunto $x_{>i}=\left\{x_{j}~:~j>i{\text{ y }}j\in I\right\},$ que se llama la cola de $x_{\bullet }$ después de $i$, esté vacío (por ejemplo, esto sucede si $i$ es una cota superior del conjunto dirigido $I$). En este caso, la familia $\left\{x_{>i}~:~i\in I\right\}$ 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 $\operatorname {Colas} \left(x_{\bullet }\right)$ como $\left\{x_{\geq i}~:~i\in I\right\}$ en lugar de $\left\{x_{>i}~:~i\in I\right\}$ o incluso $\left\{x_{>i}~:~i\in I\right\}\cup \left\{x_{\geq i}~:~i\in I\right\}$ 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 $\,\leq .$

Filtros y prefiltros

Familias de conjuntos ${\mathcal {F}}$ sobre $\Omega$
Es necesariamente cierto de ${\mathcal {F}}\colon$ o ${\mathcal {F}}$ es cerrado bajo:	Dirigido por $\,\supseteq$	$A\cap B$	$A\cup B$	$B\setminus A$	$\Omega \setminus A$	$A_{1}\cap A_{2}\cap \cdots$	$A_{1}\cup A_{2}\cup \cdots$	$\Omega \in {\mathcal {F}}$	$\varnothing \in {\mathcal {F}}$	P.I.F.
Sistema Π
Semianillo										Nunca
Semiálgebra (Semicuerpo)										Nunca
Clase monótona						Solo si $A_{i}\searrow$	Solo si $A_{i}\nearrow$
Sistema λ (Sistema de Dynkin)				Solo si $A\subseteq B$			Solo si $A_{i}\nearrow$ o son disjuntos			Nunca
Anillo (Teoría del orden)
Anillo (Teoría de la medida)										Nunca
Anillo δ										Nunca
Anillo Σ										Nunca
Álgebra (Cuerpo)										Nunca
Álgebra Σ (Cuerpo Σ)										Nunca
Ideal dual
Filtro				Nunca	Nunca				$\varnothing \not \in {\mathcal {F}}$
Prefiltro (Base de filtros)				Nunca	Nunca				$\varnothing \not \in {\mathcal {F}}$
Subbase de filtros				Nunca	Nunca				$\varnothing \not \in {\mathcal {F}}$
Topología abierta							(Incluso $\cup$ arbitrario)			Nunca
Topología cerrada						(Incluso $\cap$ arbitrario)				Nunca
Es necesariamente cierto de ${\mathcal {F}}\colon$ o ${\mathcal {F}}$ es cerrado bajo:	Dirigido abajo	Intersecciones finitas	Uniones finitas	Complementos relativos	Complementos en $\Omega$	Intersecciones numerables	Uniones numerables	Contiene a $\Omega$	Contiene a $\varnothing$	Propiedad de la Intersección Finita
Además, un semianillo es un sistema Π donde cada complemento $B\setminus A$ es igual a una unión disjunta finita de conjuntos en ${\mathcal {F}}.$ . Una semiálgebra es un semianillo que contiene a $\Omega .$ $A,B,A_{1},A_{2},\ldots$ son elementos arbitrarios de ${\mathcal {F}}$ y se supone que ${\mathcal {F}}\neq \varnothing .$

Véase también: Filtro (matemáticas)

La siguiente es una lista de propiedades que puede poseer una familia ${\mathcal {B}}$ de conjuntos y que forman las propiedades definitorias de filtros, prefiltros y subbases de filtros. Siempre que sea necesario, se debe asumir que ${\mathcal {B}}\subseteq \wp (X).$

La familia de conjuntos ${\mathcal {B}}$ es: Un filtro propio o no degenerado si $\varnothing \not \in {\mathcal {B}}.$ De lo contrario, si $\varnothing \in {\mathcal {B}},$ entonces se llama impropio​ o degenerado. Dirigido hacia abajo​ si siempre que $A,B\in {\mathcal {B}}$ existe algún $C\in {\mathcal {B}}$ tal que $C\subseteq A\cap B.$ Esta propiedad se puede caracterizar en términos de direccionalidad, lo que explica la palabra "dirigido": una relación binaria $\,\preceq \,$ en ${\mathcal {B}}$ se llama dirigido (hacia arriba) si para dos $A{\text{ y }}B,$ hay algún $C$ que satisfaga que $A\preceq C{\text{ y }}B\preceq C.$ El uso de $\,\supseteq \,$ en lugar de $\,\preceq \,$ da la definición de dirigido hacia abajo, mientras que usar $\,\subseteq \,$ en su lugar da la definición de dirigido hacia arriba. Explícitamente, ${\mathcal {B}}$ es dirigido hacia abajo (respectivamente dirigido hacia arriba) si y solo si para todo $A,B\in {\mathcal {B}},$ existe algún $C\in {\mathcal {B}}$ "mayor" tal que $A\supseteq C{\text{ y }}B\supseteq C$ (respectivamente tal que $A\subseteq C{\text{ y }}B\subseteq C$) - donde el elemento "mayor" siempre está en el lado derecho,​ − que puede reescribirse como $A\cap B\supseteq C$ (o como $A\cup B\subseteq C$). Si una familia ${\mathcal {B}}$ tiene un elemento mayor con respecto a $\,\supseteq \,$ (por ejemplo, si $\varnothing \in {\mathcal {B}}$) entonces necesariamente está dirigido hacia abajo. Cerrado bajo intersecciones finitas (respectivamente uniones) si la intersección (respectivamente unión) de dos elementos cualesquiera de ${\mathcal {B}}$ es un elemento de ${\mathcal {B}}.$ Si ${\mathcal {B}}$ está cerrado bajo un número de intersecciones finito, entonces ${\mathcal {B}}$ está necesariamente dirigido hacia abajo. Lo contrario es generalmente falso. Cerrado hacia abajo o isotono en $X$​ si ${\mathcal {B}}\subseteq \wp (X){\text{ y }}{\mathcal {B}}={\mathcal {B}}^{\uparrow X},$ o equivalente, si siempre que $B\in {\mathcal {B}}$ y algún conjunto $C$ satisfaga $B\subseteq C\subseteq X,{\text{ entonces }}C\in {\mathcal {B}}.$ De manera similar, ${\mathcal {B}}$ es cerrado hacia abajo si ${\mathcal {B}}={\mathcal {B}}^{\downarrow }.$ Un conjunto cerrado hacia arriba (respectivamente, hacia abajo) también se llama conjunto superior (respectivamente conjunto inferior). La familia ${\mathcal {B}}^{\uparrow X},$ que es el cierre ascendente de ${\mathcal {B}}{\text{ en }}X,$ es la única familia de isótonos más pequeña (con respecto a $\,\subseteq$) de conjuntos sobre $X$ que tiene a ${\mathcal {B}}$ como subconjunto.

Muchas de las propiedades de ${\mathcal {B}}$ definidas arriba y abajo, como ser "propia" o "dirigida hacia abajo", no dependen de $X,$ por lo que mencionar el conjunto $X$ es opcional cuando se utilizan dichos términos. Las definiciones que implican estar "cerrado hacia arriba en $X,$" como la de "filtrar en $X,$" dependen de $X$, por lo que se debe mencionar el conjunto $X$ si no queda claro por el contexto.

${\textrm {Filtros}}(X)\quad =\quad {\textrm {Ideales-Duales}}(X)\,\setminus \,\{\wp (X)\}\quad \subseteq \quad {\textrm {Prefiltros}}(X)\quad \subseteq \quad {\textrm {Subbases-de-filtros}}(X).$

Una familia ${\mathcal {B}}$ es/es un(a): Ideal​​ si ${\mathcal {B}}\neq \varnothing$ está cerrado hacia abajo y cerrado bajo uniones finitas. Ideal dual en $X$​ si ${\mathcal {B}}\neq \varnothing$ está cerrado hacia arriba en $X$ y también cerrado bajo intersecciones finitas. De manera equivalente, ${\mathcal {B}}\neq \varnothing$ es un ideal dual si para todos $R,S\subseteq X,$ $R\cap S\in {\mathcal {B}}\;{\text{ si y solo si }}\;R,S\in {\mathcal {B}}.$​ Explicación de la palabra "dual": Una familia ${\mathcal {B}}$ es un ideal dual (o un ideal) en $X$ si y solo si es el dual de ${\mathcal {B}}{\text{ en }}X,$ que es la familia $X\setminus {\mathcal {B}}:=\{X\setminus B~:~B\in {\mathcal {B}}\},$ es un ideal (o un ideal dual) en $X.$ En otras palabras, dual ideal significa "dual de un ideal". La familia $X\setminus {\mathcal {B}}$ no debe confundirse con $\wp (X)\setminus {\mathcal {B}}=\{S\subseteq X~:~S\notin {\mathcal {B}}\}$ porque estos dos conjuntos no son iguales en general. Por ejemplo, $X\setminus {\mathcal {B}}=\wp (X){\text{ si y solo si }}{\mathcal {B}}=\wp (X).$ El dual del dual es la familia original, es decir, $X\setminus (X\setminus {\mathcal {B}})={\mathcal {B}}.$ El conjunto $X$ pertenece al dual de ${\mathcal {B}}$ si y solo si $\varnothing \in {\mathcal {B}}.$​ Filtro en $X$​​ si ${\mathcal {B}}$ es un ideal dual propio en $X.$ Es decir, un filtro en $X$ es un subconjunto no vacío de $\wp (X)\setminus \{\varnothing \}$ que está cerrado bajo intersecciones finitas y cerrado hacia arriba en $X.$ De manera equivalente, es un prefiltro que está cerrado hacia arriba en $X.$ En otras palabras, un filtro en $X$ es una familia de conjuntos sobre $X$ que (1) no está vacío (o de manera equivalente, contiene a $X$), (2) está cerrado bajo intersecciones finitas, (3) está cerrado hacia arriba en $X,$ 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.​ 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,​​ que requería la no degeneración. Un filtro dual en $X$ es una familia ${\mathcal {B}}$ cuyo $X\setminus {\mathcal {B}}$ dual es un filtro en $X.$ De manera equivalente, es un ideal en $X$ que no contiene a $X$ como elemento. El conjunto potencia de $\wp (X)$ es el único dual ideal en $X$ que no es también un filtro. Excluir $\wp (X)$ de la definición de "filtro" en topología tiene el mismo beneficio que excluir el número $1$ de la definición de "número primo": obviamente, hace necesario especificar "no degenerado" (el análogo de "no unitario" o "no $1$") en muchos resultados importantes, haciendo así sus declaraciones más simples. Prefiltro o base de filtros​​ si ${\mathcal {B}}\neq \varnothing$ es propio y está dirigido hacia abajo. De manera equivalente, ${\mathcal {B}}$ se denomina prefiltro si su cierre hacia arriba ${\mathcal {B}}^{\uparrow X}$ es un filtro. También se puede definir como cualquier familia que sea equivalente (con respecto a $\leq$) a algún filtro.​ Una familia propia ${\mathcal {B}}\neq \varnothing$ es un prefiltro si y solo si ${\mathcal {B}}\,(\cap )\,{\mathcal {B}}\leq {\mathcal {B}}.$​ Una familia es un prefiltro si y solo si lo mismo ocurre con su cierre hacia arriba. Si ${\mathcal {B}}$ es un prefiltro, entonces su cierre hacia arriba ${\mathcal {B}}^{\uparrow X}$ es el único filtro más pequeño (en relación con $\subseteq$) en $X$ que contiene a ${\mathcal {B}}$ y se llama el filtro generado por ${\mathcal {B}}.$ Se dice que un filtro ${\mathcal {F}}$ es generado por un prefiltro ${\mathcal {B}}$ si ${\mathcal {F}}={\mathcal {B}}^{\uparrow X},$ en el que ${\mathcal {B}}$ se llama base de filtros para ${\mathcal {F}}.$ A diferencia de un filtro, un prefiltro no está necesariamente cerrado bajo intersecciones finitas. Sistema Π si ${\mathcal {B}}\neq \varnothing$ está cerrado bajo intersecciones finitas. Cada familia no vacía ${\mathcal {B}}$ está contenida en un único sistema Π más pequeño llamado sistema Π generado por ${\mathcal {B}},$ que a veces se denota por $\pi ({\mathcal {B}}).$ Es igual a la intersección de todos los sistemas Π que contienen ${\mathcal {B}}$ y también al conjunto de todas las posibles intersecciones finitas de conjuntos de ${\mathcal {B}}$: $\pi ({\mathcal {B}})=\left\{B_{1}\cap \cdots \cap B_{n}~:~n\geq 1{\text{ y }}B_{1},\ldots ,B_{n}\in {\mathcal {B}}\right\}.$ 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 $\leq$) al sistema Π generado por él y ambas familias generan el mismo filtro en $X.$ Subbase de filtros​​ y centrada​ si ${\mathcal {B}}\neq \varnothing$ y ${\mathcal {B}}$ satisfacen cualquiera de las siguientes condiciones equivalentes: ${\mathcal {B}}$ 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 ${\mathcal {B}}$ no está vacía; explícitamente, esto significa que siempre que $n\geq 1{\text{ y }}B_{1},\ldots ,B_{n}\in {\mathcal {B}}$, entonces $\varnothing \neq B_{1}\cap \cdots \cap B_{n}.$ El sistema Π generado por ${\mathcal {B}}$ es propio; es decir, $\varnothing \not \in \pi ({\mathcal {B}}).$ El sistema Π generado por ${\mathcal {B}}$ es un prefiltro. ${\mathcal {B}}$ es un subconjunto de algún prefiltro. ${\mathcal {B}}$ es un subconjunto de algún filtro. Supóngase que ${\mathcal {B}}$ es una subbase de filtros. Entonces, hay un filtro único más pequeño (relativo a $\subseteq$) ${\mathcal {F}}_{\mathcal {B}}{\text{ en }}X$ que contiene a ${\mathcal {B}}$ llamado filtro generado por ${\mathcal {B}}$, y se dice que ${\mathcal {B}}$ es una subbase de filtros para este filtro. Este filtro es igual a la intersección de todos los filtros en $X$ que son superconjuntos de ${\mathcal {B}}.$ El sistema Π generado por ${\mathcal {B}},$ denotado por $\pi ({\mathcal {B}}),$ será un prefiltro y un subconjunto de ${\mathcal {F}}_{\mathcal {B}}.$ Además, el filtro generado por ${\mathcal {B}}$ es igual al cierre ascendente de $\pi ({\mathcal {B}}),$ lo que significa que $\pi ({\mathcal {B}})^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}.$​ Sin embargo, ${\mathcal {B}}^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}$ si y solo si ${\mathcal {B}}$ es un prefiltro (aunque ${\mathcal {B}}^{\uparrow X}$ es siempre una subbase de filtros cerrada hacia arriba para ${\mathcal {F}}_{\mathcal {B}}$). Un prefiltro $\subseteq$ más pequeño (es decir, el más pequeño en relación con $\subseteq$ ) que contiene una subbase de filtro ${\mathcal {B}}$ existirá solo bajo ciertas circunstancias. Existe, por ejemplo, si la subbase de filtros ${\mathcal {B}}$ también es un prefiltro. También existe si el filtro (o equivalentemente, el sistema Π) generado por ${\mathcal {B}}$ es principal, en cuyo caso ${\mathcal {B}}\cup \{\ker {\mathcal {B}}\}$ es el prefiltro más pequeño único que contiene a ${\mathcal {B}}.$ De lo contrario, en general, es posible que no exista un prefiltro $\subseteq$ más pequeño que contenga a ${\mathcal {B}}$. Por esta razón, algunos autores pueden referirse al sistema Πgenerado por ${\mathcal {B}}$ como prefiltro generado por una subbase de filtros ${\mathcal {B}}.$ Sin embargo, si existe un prefiltro más pequeño $\subseteq$  (convéngase que se denota por $\operatorname {minPre} {\mathcal {B}}$)) entonces, contrariamente a las expectativas habituales, no es necesariamente igual a "el prefiltro generado por ${\mathcal {B}}$" (es decir, $\operatorname {minPre} {\mathcal {B}}\neq \pi ({\mathcal {B}})$ es posible). Y si la subbase de filtros ${\mathcal {B}}$ también es un prefiltro pero no un sistema Π entonces, desafortunadamente, "el prefiltro generado por este prefiltro" (lo que significa que $\pi ({\mathcal {B}})$) no será ${\mathcal {B}}=\operatorname {minPre} {\mathcal {B}}$, es decir, $\pi ({\mathcal {B}})\neq {\mathcal {B}}$ es posible incluso cuando ${\mathcal {B}}$ 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 ${\mathcal {B}}$". Subfiltro de un filtro ${\mathcal {F}}$ y que ${\mathcal {F}}$ es un superfiltro de ${\mathcal {B}}$​​ si ${\mathcal {B}}$ es un filtro y ${\mathcal {B}}\subseteq {\mathcal {F}}$, donde para los filtros, ${\mathcal {B}}\subseteq {\mathcal {F}}{\text{ si y solo si }}{\mathcal {B}}\leq {\mathcal {F}}.$ 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, ${\mathcal {B}}\leq {\mathcal {F}}$ también se puede escribir ${\mathcal {F}}\vdash {\mathcal {B}}$, lo que se describe diciendo que "${\mathcal {F}}$ está subordinado a ${\mathcal {B}}.$" 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",​ lo que hace que esta sea una situación en la que usar el término "subordinado" y el símbolo $\,\vdash \,$ puede resultar útil.

No hay prefiltros en $X=\varnothing$ (ni hay redes valoradas en $\varnothing$), por lo que este artículo, como la mayoría de los autores, asumirá automáticamente sin comentarios que $X\neq \varnothing$ siempre que esta suposición sea necesaria.

Ejemplos básicos

Ejemplos nombrados

• El conjunto unitario ${\mathcal {B}}=\{X\}$ se llama indiscreto o filtro trivial en $X.$​​ Es el único filtro mínimo en $X$ porque es un subconjunto de cada filtro en $X$. Sin embargo, no es necesario que sea un subconjunto de cada prefiltro en $X.$
• El ideal dual $\wp (X)$ también se llama el filtro degenerado sobre $X$​ (a pesar de no ser realmente un filtro). Es el único ideal dual en $X$ que no es un filtro en $X.$
• Si $(X,\tau )$ es un espacio topológico y $x\in X,$ entonces el filtro de entornos ${\mathcal {N}}(x)$ en $x$ es un filtro en $X.$ Por definición, una familia ${\mathcal {B}}\subseteq \wp (X)$ se llama base de entornos (respectivamente subbase de entornos) en $x{\text{ para }}(X,\tau )$ si y solo si ${\mathcal {B}}$ es un prefiltro (respectivamente ${\mathcal {B}}$ es una subbase de filtro) y el filtro en $X$ que genera ${\mathcal {B}}$ es igual al filtro de entornos ${\mathcal {N}}(x).$ La subfamilia $\tau (x)\subseteq {\mathcal {N}}(x)$ de entornos abiertos es una base de filtro para ${\mathcal {N}}(x).$ Ambos prefiltros ${\mathcal {N}}(x){\text{ y }}\tau (x)$ también forman base para topologías en $X,$ siendo la topología generada $\tau (x)$ más gruesa que $\tau .$ Este ejemplo generaliza inmediatamente desde entornos de puntos a entornos de subconjuntos no vacíos $S\subseteq X.$
• ${\mathcal {B}}$ es un prefiltro elemental​ si ${\mathcal {B}}=\operatorname {Colas} \left(x_{\bullet }\right)$ para alguna secuencia $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }{\text{ en }}X.$
• ${\mathcal {B}}$ es un filtro elemental o un filtro secuencial sobre $X$​ si ${\mathcal {B}}$ es un filtro sobre $X$ generado por algún prefiltro elemental. El filtro de colas generado por una secuencia que finalmente no es constante no es necesariamente un ultrafiltro.​ Cada filtro principal en un conjunto numerable es secuencial al igual que cada filtro cofinito en un conjunto numerablemente infinito.​ La intersección de un número finito de filtros secuenciales es nuevamente secuencial.​
• El conjunto ${\mathcal {F}}$ de todos los subconjuntos cofinitos de $X$ (es decir, aquellos conjuntos cuyo complemento en $X$ es finito) es propio si y solo si ${\mathcal {F}}$ es infinito (o equivalentemente, $X$ es infinito), en cuyo caso ${\mathcal {F}}$ es un filtro en $X$ conocido como filtro de Fréchet o filtro cofinito en $X.$​​ Si $X$ es finito, entonces ${\mathcal {F}}$ es igual al ideal dual $\wp (X),$ que no es un filtro. Si $X$ es infinito, entonces la familia $\{X\setminus \{x\}~:~x\in X\}$ de complementos de conjuntos unitarios es una subbase de filtros que genera el filtro de Fréchet en $X.$ Como ocurre con cualquier familia de conjuntos sobre $X$ que contiene $\{X\setminus \{x\}~:~x\in X\},$ el núcleo del filtro de Fréchet en $X$ es el conjunto vacío: $\ker {\mathcal {F}}=\varnothing .$
• La intersección de todos los elementos en cualquier familia $\mathbb {F} \subseteq \operatorname {Filtros} (X)$ no vacía es en sí misma un filtro en $X$ llamado ínfimo o mayor cota inferior de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X),$ por lo que puede denotarse como $\bigwedge _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ Dicho de otra manera, $\ker \mathbb {F} =\bigcap _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}\in \operatorname {Filtros} (X).$ Debido a que cada filtro en $X$ tiene $\{X\}$ 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 $\,\subseteq \,{\text{ y }}\,\leq \,$) contenido como un subconjunto de cada miembro de $\mathbb {F} .$​.
  • Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son filtros, entonces su mínimo en $\operatorname {Filtros} (X)$ es el filtro ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}.$​. Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros, entonces ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}$ es un prefiltro que es más grueso (con respecto a $\,\leq$) que ambos ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ (es decir, ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {F}}$); de hecho, es uno de los prefiltros más finos, lo que significa que si ${\mathcal {S}}$ es un prefiltro tal que ${\mathcal {S}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {S}}\leq {\mathcal {F}}$, entonces necesariamente ${\mathcal {S}}\leq {\mathcal {B}}\,(\cup )\,{\mathcal {F}}.$​ Más generalmente, si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son familias no vacías y si $\mathbb {S} :=\{{\mathcal {S}}\subseteq \wp (X)~:~{\mathcal {S}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {S}}\leq {\mathcal {F}}\}$, entonces ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}\in \mathbb {S}$ y ${\mathcal {B}}\,(\cup )\,{\mathcal {F}}$ son elemento más grande (con respecto a $\leq$) de $\mathbb {S} .$​
• Sea $\varnothing \neq \mathbb {F} \subseteq \operatorname {Ideales-Duales} (X)$ y sea $\cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ El supremo o menor cota superior de $\mathbb {F} {\text{ en }}\operatorname {IdealesDuales} (X),$ denotado por $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}},$ es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto. Es decir, es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene a $\cup \mathbb {F}$ como subconjunto. Este ideal dual es $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X},$ donde $\pi \left(\cup \mathbb {F} \right):=\left\{F_{1}\cap \cdots \cap F_{n}~:~n\in \mathbb {N} {\text{ y todo }}F_{i}{\text{ pertenece a algún }}{\mathcal {F}}\in \mathbb {F} \right\}$ es el sistema Π generado por $\cup \mathbb {F} .$ Al igual que con cualquier familia de conjuntos no vacía, $\cup \mathbb {F}$ está contenida en algún filtro en $X$ si y solo si es una subbase de filtros, o de manera equivalente, si y solo si $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$ es un filtro en $X,$ en cuyo caso esta familia es el filtro más pequeño (respecto a $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto y necesariamente $\mathbb {F} \subseteq \operatorname {Filtros} (X).$
• Sea $\varnothing \neq \mathbb {F} \subseteq \operatorname {Filtros} (X)$ y sea $\cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.$ El supremo o menor cota superior de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X),$ indicado por $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}$, si existe, es por definición el filtro más pequeño (en relación con $\subseteq$) en $X$ que contiene cada elemento de $\mathbb {F}$ como un subconjunto. Si existe, entonces necesariamente $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$​ (como se definió anteriormente) y $\bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}$ también serán iguales a la intersección de todos los filtros en $X$ que contengan $\cup \mathbb {F} .$ Este supremo de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X)$ existe si y solo si el ideal dual $\pi \left(\cup \mathbb {F} \right)^{\uparrow X}$ es un filtro en $X.$ Es posible que el límite superior mínimo de una familia de filtros $\mathbb {F}$ no sea un filtro.​ De hecho, si $X$ contiene al menos 2 elementos distintos, entonces existen filtros ${\mathcal {B}}{\text{ y }}{\mathcal {C}}{\text{ en }}X$ para los cuales no existe un filtro ${\mathcal {F}}{\text{ en }}X$ que contiene a ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}.$ Si $\cup \mathbb {F}$ no es una subbase de filtros, entonces el supremo de $\mathbb {F} {\text{ en }}\operatorname {Filtros} (X)$ no existe y lo mismo ocurre con su supremo en $\operatorname {Prefiltros} (X)$, pero su supremo en el conjunto de todos los ideales duales en $X$ existirá (siendo el filtro degenerado $\wp (X)$).​
  • Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros (respectivamente filtros en $X$), entonces ${\mathcal {B}}\,(\cap )\,{\mathcal {F}}$ es un prefiltro (respectivamente un filtro) si y solo si no es degenerado (o dicho de otra manera, si y solo si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ concuerdan), en cuyo caso es uno de los prefiltros más gruesos (respectivamente, el filtro más grueso) en $X$ (con respecto a $\,\leq$) que es más fino (con respecto a $\,\leq$) que ambos ${\mathcal {B}}{\text{ y }}{\mathcal {F}};$, esto significa que si ${\mathcal {S}}$ es cualquier prefiltro (respectivamente cualquier filtro) tal que ${\mathcal {B}}\leq {\mathcal {S}}{\text{ y }}{\mathcal {F}}\leq {\mathcal {S}}$, entonces necesariamente ${\mathcal {B}}\,(\cap )\,{\mathcal {F}}\leq {\mathcal {S}},$​, en cuyo caso se denota como ${\mathcal {B}}\vee {\mathcal {F}}.$​
• Sean $I{\text{ y }}X$ conjuntos no vacíos y para cada $i\in I$ sea ${\mathcal {D}}_{i}$ un ideal dual en $X.$ Si ${\mathcal {I}}$ es cualquier ideal dual en $I$, entonces $\bigcup _{\Xi \in {\mathcal {I}}}\;\;\bigcap _{i\in \Xi }\;{\mathcal {D}}_{i}$ es un ideal dual en $X$ llamado dual ideal de Kowalsky o filtro de Kowalsky.​
• El filtro club de un conjunto no numerable de cardinal regular es el filtro de todos los conjuntos que contienen un subconjunto club de $\kappa .$ Es un filtro $\kappa$ completo cerrado bajo intersección diagonal.

Otros ejemplos

• Sea $X=\{p,1,2,3\}$ y considérese que ${\mathcal {B}}=\{\{p\},\{p,1,2\},\{p,1,3\}\},$ lo que convierte a ${\mathcal {B}}$ en un prefiltro y una subbase de filtros que no está cerrada bajo intersecciones finitas. Debido a que ${\mathcal {B}}$ es un prefiltro, el prefiltro más pequeño que contiene a ${\mathcal {B}}$ es ${\mathcal {B}}.$ El sistema Π generado por ${\mathcal {B}}$ es $\{\{p,1\}\}\cup {\mathcal {B}}.$ En particular, el prefiltro más pequeño que contiene la subbase de filtros ${\mathcal {B}}$ no es igual al conjunto de todas las intersecciones finitas de conjuntos en ${\mathcal {B}}.$ El filtro en $X$ generado por ${\mathcal {B}}$ es ${\mathcal {B}}^{\uparrow X}=\{S\subseteq X:p\in S\}=\{\{p\}\cup T~:~T\subseteq \{1,2,3\}\}.$ Los tres ${\mathcal {B}},$ que genera el sistema Π ${\mathcal {B}}$ y ${\mathcal {B}}^{\uparrow X}$ son ejemplos de prefiltros fijos, principales y ultra que son principales en el punto $p;{\mathcal {B}}^{\uparrow X}$ y que también son un ultrafiltro en $X.$
• Sea $(X,\tau )$ un espacio topológico, ${\mathcal {B}}\subseteq \wp (X),$ y se define ${\overline {\mathcal {B}}}:=\left\{\operatorname {cl} _{X}B~:~B\in {\mathcal {B}}\right\},$ donde ${\mathcal {B}}$ es necesariamente más fino que ${\overline {\mathcal {B}}}.$​ Si ${\mathcal {B}}$ no está vacío (respectivamente, no degenerado, una subbase de filtro, un prefiltro, cerrado bajo uniones finitas), entonces lo mismo se aplica a ${\overline {\mathcal {B}}}.$ Si ${\mathcal {B}}$ es un filtro en $X$, entonces ${\overline {\mathcal {B}}}$ es un prefiltro pero no necesariamente un filtro en $X$, aunque $\left({\overline {\mathcal {B}}}\right)^{\uparrow X}$ es un filtro en $X$ equivalente a ${\overline {\mathcal {B}}}.$
• El conjunto ${\mathcal {B}}$ de todos los subconjuntos abiertos densos de un espacio topológico (no vacío) $X$ 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 ${\mathcal {B}}.$ Si $X=\mathbb {R} ^{n}$ (con $1\leq n\in \mathbb {N}$), entonces el conjunto ${\mathcal {B}}_{\operatorname {LebFinito} }$ de todos los $B\in {\mathcal {B}}$ tal que $B$ tiene medida de Lebesgue finita es un sistema Π propio y un prefiltro libre que también es un subconjunto de ${\mathcal {B}}.$ Los prefiltros ${\mathcal {B}}_{\operatorname {LebFinito} }$ y ${\mathcal {B}}$ son equivalentes y, por lo tanto, generan el mismo filtro en $X.$ El prefiltro ${\mathcal {B}}_{\operatorname {LebFinito} }$ está propiamente contenido en el prefiltro que consta de todos los subconjuntos densos de $\mathbb {R}$, y no es equivalente a él. Dado que $X$ es un espacio de Baire, cada intersección numerable de conjuntos en ${\mathcal {B}}_{\operatorname {LebFinito} }$ es densa en $X$ (y también exigua y no escasa), por lo que el conjunto de todas las intersecciones contables de elementos de ${\mathcal {B}}_{\operatorname {LebFinito} }$ es un prefiltro y un sistema Π; que también es más fino que ${\mathcal {B}}_{\operatorname {LebFinito} }$
y no es equivalente a él.
• Una subbase de filtros sin $\,\subseteq$, el prefiltro más pequeño que la contenga: en general, si una subbase de filtros ${\mathcal {S}}$ no es un sistema Π, entonces una intersección $S_{1}\cap \cdots \cap S_{n}$ de $n$ conjuntos de ${\mathcal {S}}$ generalmente requerirá una descripción que incluya $n$ variables que no se pueden reducir hasta solo dos (considérese, por ejemplo, $\pi ({\mathcal {S}})$ cuando ${\mathcal {S}}=\{(-\infty ,r)\cup (r,\infty )~:~r\in \mathbb {R} \}$). Este ejemplo ilustra una clase atípica de subbases de filtros ${\mathcal {S}}_{R}$, donde todos los conjuntos tanto en ${\mathcal {S}}_{R}$ como en su sistema Π generado pueden describirse como conjuntos de la forma $B_{r,s},$ de modo que, en particular, no se necesitan más de dos variables (específicamente, $r{\text{ y }}s$) para describir el sistema Π generado. Para todos los $r,s\in \mathbb {R} ,$ sea

  $B_{r,s}=(r,0)\cup (s,\infty ),$

  donde $B_{r,s}=B_{\min(r,s),s}$ siempre se cumple, por lo que no se pierde generalidad al agregar el supuesto de que $r\leq s.$ Para todos los $r\leq s{\text{ y }}u\leq v,$ reales, si $s{\text{ o }}v$ no es negativo, entonces $B_{-r,s}\cap B_{-u,v}=B_{-\min(r,u),\max(s,v)}.$​ Para cada conjunto $R$ de reales positivos, sea​

  ${\mathcal {S}}_{R}:=\left\{B_{-r,r}:r\in R\right\}=\{(-r,0)\cup (r,\infty ):r\in R\}\quad {\text{ y }}\quad {\mathcal {B}}_{R}:=\left\{B_{-r,s}:r\leq s{\text{ con }}r,s\in R\right\}=\{(-r,0)\cup (s,\infty ):r\leq s{\text{ en }}R\}.$

  Sea $X=\mathbb {R}$, y supóngase que $\varnothing \neq R\subseteq (0,\infty )$ no es un conjunto unitario. Entonces, ${\mathcal {S}}_{R}$ es una subbase de filtros pero no un prefiltro y ${\mathcal {B}}_{R}=\pi \left({\mathcal {S}}_{R}\right)$ es el sistema Π que genera, de modo que ${\mathcal {B}}_{R}^{\uparrow X}$ es el único filtro más pequeño en $X=\mathbb {R}$ que contiene a ${\mathcal {S}}_{R}.$ Sin embargo, ${\mathcal {S}}_{R}^{\uparrow X}$ no es un filtro en $X$ (ni es un prefiltro, porque es no dirigido hacia abajo, aunque es una subbase de filtros) y ${\mathcal {S}}_{R}^{\uparrow X}$ es un subconjunto propio del filtro ${\mathcal {B}}_{R}^{\uparrow X}.$ Si $R,S\subseteq (0,\infty )$ son intervalos no vacíos, entonces las subbases de filtros ${\mathcal {S}}_{R}{\text{ y }}{\mathcal {S}}_{S}$ generan el mismo filtro en $X$ si y solo si $R=S.$

  Si ${\mathcal {C}}$ es un prefiltro que satisface ${\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\subseteq {\mathcal {B}}_{(0,\infty )}$​, entonces para cualquier $C\in {\mathcal {C}}\setminus {\mathcal {S}}_{(0,\infty )},$ la familia ${\mathcal {C}}\setminus \{C\}$ también es un prefiltro que satisface ${\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\setminus \{C\}\subseteq {\mathcal {B}}_{(0,\infty )}.$ Esto demuestra que no puede existir un prefiltro mínimo/más pequeño (con respecto a $\subseteq$) que contenga a ${\mathcal {S}}_{(0,\infty )}$ y sea un subconjunto del sistema Π. generado por ${\mathcal {S}}_{(0,\infty )}.$ Esto sigue siendo cierto incluso si se elimina el requisito de que el prefiltro sea un subconjunto de ${\mathcal {B}}_{(0,\infty )}=\pi \left({\mathcal {S}}_{(0,\infty )}\right)$; es decir (en marcado contraste con los filtros) no existe un prefiltro mínimo (con respecto a $\subseteq$) que contenga la subbase de filtros ${\mathcal {S}}_{(0,\infty )}.$

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.

${\begin{alignedat}{8}{\textrm {Ultrafiltros}}(X)\;&=\;{\textrm {Filtros}}(X)\,\cap \,{\textrm {Ultra-Prefiltros}}(X)\\&\subseteq \;{\textrm {Ultra-Prefiltros}}(X)={\textrm {Subbases-de-Ultra-Filtros}}(X)\\&\subseteq \;{\textrm {Prefiltros}}(X)\\\end{alignedat}}$

Una familia ${\mathcal {B}}\subseteq \wp (X)$ de conjuntos no vacía es/es un: Ultra​​ si se cumplen $\varnothing \not \in {\mathcal {B}}$ y cualquiera de las siguientes condiciones equivalentes: Para cada conjunto $S\subseteq X$ existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\subseteq S{\text{ o }}B\subseteq X\setminus S$ (o equivalentemente, tal que $B\cap S{\text{ iguala a }}B{\text{ o }}\varnothing$). Para cada conjunto $S\subseteq \bigcup _{B\in {\mathcal {B}}}B$ existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\cap S{\text{ iguala a }}B{\text{ o }}\varnothing .$ Esta caracterización de "${\mathcal {B}}$ es ultra" no depende del conjunto $X,$ por lo que mencionar el conjunto $X$ es opcional cuando se utiliza el término "ultra". Para todo conjunto $S$ (no necesariamente ni siquiera un subconjunto de $X$) existe algún conjunto $B\in {\mathcal {B}}$ tal que $B\cap S{\text{ iguala }}B{\text{ o }}\varnothing .$ Si todo ${\mathcal {B}}$ satisface esta condición, entonces también lo hace el superconjunto ${\mathcal {F}}\supseteq {\mathcal {B}}.$. Por ejemplo, si $T$ es cualquier conjunto unitario entonces $\{T\}$ es ultra y en consecuencia, cualquier superconjunto no degenerado de $\{T\}$ (como su cierre hacia arriba) también es ultra. Ultra prefiltro​​ si es prefiltro que también sea ultra. De manera equivalente, es una subbase de filtros ultra. Un prefiltro ${\mathcal {B}}$ es ultra si y sólo si satisface cualquiera de las siguientes condiciones equivalentes: ${\mathcal {B}}$ es máximo en $\operatorname {Prefiltros} (X)$ con respecto a $\,\leq ,\,$ lo que significa que ${\text{ para todo }}{\mathcal {C}}\in \operatorname {Prefiltros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica }}\;{\mathcal {C}}\leq {\mathcal {B}}.$ ${\text{Para todo }}{\mathcal {C}}\in \operatorname {Filtros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica }}\;{\mathcal {C}}\leq {\mathcal {B}}.$ Aunque esta declaración es idéntica a la que se proporciona a continuación para los ultrafiltros, aquí se supone que ${\mathcal {B}}$ es simplemente un prefiltro, y no tiene por qué ser un filtro. ${\mathcal {B}}^{\uparrow X}$ es ultra (y por tanto un ultrafiltro). ${\mathcal {B}}$ es equivalente (con respecto a $\leq$) 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 $\,\leq \,$ (como arriba).​ Ultrafiltro en $X$​​ si es un filtro en $X$ que es ultra. De manera equivalente, un ultrafiltro en $X$ es un filtro ${\mathcal {B}}{\text{ en }}X$ que satisface cualquiera de las siguientes condiciones equivalentes: ${\mathcal {B}}$ es generado por un ultra prefiltro. Para cualquier $S\subseteq X,S\in {\mathcal {B}}{\text{ o }}X\setminus S\in {\mathcal {B}}.$​ ${\mathcal {B}}\cup (X\setminus {\mathcal {B}})=\wp (X).$ Esta condición se puede reformular como: $\wp (X)$ está particionado por ${\mathcal {B}}$ y su $X\setminus {\mathcal {B}}$ dual. Los conjuntos ${\mathcal {B}}{\text{ y }}X\setminus {\mathcal {B}}$ son disjuntos siempre que ${\mathcal {B}}$ sea un prefiltro. $\wp (X)\setminus {\mathcal {B}}=\{S\in \wp (X):S\not \in {\mathcal {B}}\}$ es un ideal.​ Para cualquier $R,S\subseteq X,$ si $R\cup S=X$, entonces $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}.$ Para cualquier $R,S\subseteq X,$ si $R\cup S\in {\mathcal {B}}$ y luego $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}$ (un filtro con esta propiedad se denomina filtro primo). Esta propiedad se extiende a cualquier unión finita de dos o más conjuntos. Para cualquier $R,S\subseteq X,$ si $R\cup S\in {\mathcal {B}}{\text{ y }}R\cap S=\varnothing$, entonces cualquier $R\in {\mathcal {B}}{\text{ o }}S\in {\mathcal {B}}.$ ${\mathcal {B}}$ es un filtro máximo en $X$, lo que significa que si ${\mathcal {C}}$ es un filtro en $X$ tal que ${\mathcal {B}}\subseteq {\mathcal {C}}$ entonces necesariamente ${\mathcal {C}}={\mathcal {B}}$ (esta igualdad puede ser reemplazada por ${\mathcal {C}}\subseteq {\mathcal {B}}{\text{ o por }}{\mathcal {C}}\leq {\mathcal {B}}$). Si ${\mathcal {C}}$ está cerrado hacia arriba, entonces ${\mathcal {B}}\leq {\mathcal {C}}{\text{ si y solo si }}{\mathcal {B}}\subseteq {\mathcal {C}}.$ Por lo tanto, esta caracterización de los ultrafiltros como filtros máximos se puede reformular como: ${\text{ para todo }}{\mathcal {C}}\in \operatorname {Filtros} (X),\;{\mathcal {B}}\leq {\mathcal {C}}\;{\text{ implica que }}\;{\mathcal {C}}\leq {\mathcal {B}}.$ Debido a que la subordinación $\,\geq \,$ 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 $X$" 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),​ 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 $\{X\}{\text{ en }}X$ es ultra si y solo si $X$ es un conjunto unitario.

El lema del ultrafiltro

El siguiente teorema importante se debe a Alfred Tarski (1930).​

Lema del ultrafiltro (teorema principal)​ Cada filtro en un conjunto $X$ es un subconjunto de algún ultrafiltro en $X.$

Una consecuencia del lema de los ultrafiltros es que cada filtro es igual a la intersección de todos los ultrafiltros que lo contienen.​​ 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​ de una familia de conjuntos ${\mathcal {B}}$ es la intersección de todos los conjuntos que son elementos de ${\mathcal {B}}:$ $$\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$$

Si ${\mathcal {B}}\subseteq \wp (X)$ entonces para cualquier punto $x,x\not \in \ker {\mathcal {B}}{\text{ si y solo si }}X\setminus \{x\}\in {\mathcal {B}}^{\uparrow X}.$

Propiedades de los núcleos

Si ${\mathcal {B}}\subseteq \wp (X)$ entonces $\ker \left({\mathcal {B}}^{\uparrow X}\right)=\ker {\mathcal {B}}$ y este conjunto también es igual al núcleo del sistema Π generado por ${\mathcal {B}}.$ En particular, si ${\mathcal {B}}$ es una subbase de filtro, entonces los núcleos de todos los siguientes conjuntos son iguales:

(1) ${\mathcal {B}},$ (2) el sistema Π generado por ${\mathcal {B}},$ y (3) el filtro generado por ${\mathcal {B}}.$

Si $f$ es un mapa, entonces $f(\ker {\mathcal {B}})\subseteq \ker f({\mathcal {B}})$ y $f^{-1}(\ker {\mathcal {B}})=\ker f^{-1}({\mathcal {B}}).$ Si ${\mathcal {B}}\leq {\mathcal {C}}$ entonces $\ker {\mathcal {C}}\subseteq \ker {\mathcal {B}}$ mientras que si ${\mathcal {B}}$ y ${\mathcal {C}}$ son equivalentes entonces $\ker {\mathcal {B}}=\ker {\mathcal {C}}.$ Las familias equivalentes tienen núcleos iguales. Dos familias principales son equivalentes si y solo si sus núcleos son iguales; es decir, si ${\mathcal {B}}$ y ${\mathcal {C}}$ son principales entonces son equivalentes si y solo si $\ker {\mathcal {B}}=\ker {\mathcal {C}}.$

Clasificación de familias por sus núcleos

Una familia de conjuntos ${\mathcal {B}}$ es: Libre​ si $\ker {\mathcal {B}}=\varnothing ,$ o equivalentemente, si $\{X\setminus \{x\}~:~x\in X\}\subseteq {\mathcal {B}}^{\uparrow X};$ se puede reformular como $\{X\setminus \{x\}~:~x\in X\}\leq {\mathcal {B}}.$ Un filtro ${\mathcal {F}}$ en $X$ es libre si y solo si $X$ es infinito y ${\mathcal {F}}$ contiene un filtro de Fréchet en $X$ como un subconjunto. Fijo si $\ker {\mathcal {B}}\neq \varnothing$, en cuyo caso se dice que ${\mathcal {B}}$ es fijado por cualquier punto de $x\in \ker {\mathcal {B}}.$ Cualquier familia fija es necesariamente una subbase de filtros. Principal​ si $\ker {\mathcal {B}}\in {\mathcal {B}}.$ Una familia principal propia de conjuntos es necesariamente un prefiltro. Discreto o principal en $x\in X$​ si $\{x\}=\ker {\mathcal {B}}\in {\mathcal {B}},$ en cuyo caso $x$ se denomina elemento principal. El filtro principal en $x$ sobre $X$ es el filtro $\{x\}^{\uparrow X}.$ Un filtro ${\mathcal {F}}$ es principal en $x$ si y solo si ${\mathcal {F}}=\{x\}^{\uparrow X}.$ Numerablemente profunda si siempre que ${\mathcal {C}}\subseteq {\mathcal {F}}$ es un subconjunto numerable, entonces $\ker {\mathcal {C}}\in {\mathcal {B}}.$​

Si ${\mathcal {B}}$ es un filtro principal en $X$, entonces $\varnothing \neq \ker {\mathcal {B}}\in {\mathcal {B}}$ y

${\mathcal {B}}=\{\ker {\mathcal {B}}\}^{\uparrow X}=\{S\cup \ker {\mathcal {B}}:S\subseteq X\setminus \ker {\mathcal {B}}\}=\wp (X\setminus \ker {\mathcal {B}})\,(\cup )\,\{\ker {\mathcal {B}}\}$

donde $\{\ker {\mathcal {B}}\}$ es también el prefiltro más pequeño que genera ${\mathcal {B}}.$

Familia de ejemplos: Para cualquier $C\subseteq \mathbb {R} ,$ no vacío la familia ${\mathcal {B}}_{C}=\{\mathbb {R} \setminus (r+C)~:~r\in \mathbb {R} \}$ es libre pero es una subbase de filtro si y solo si ninguna unión finita de la forma $\left(r_{1}+C\right)\cup \cdots \cup \left(r_{n}+C\right)$ cubre $\mathbb {R} ,$ en cuyo caso el filtro que genere también será libre. En particular, ${\mathcal {B}}_{C}$ es una subbase de filtro si $C$ es contable (por ejemplo, $C=\mathbb {Q} ,\mathbb {Z} ,$ los primos), un conjunto exiguo en $\mathbb {R} ,$ es un conjunto de medidas finitas o un subconjunto acotado de $\mathbb {R} .$ Si $C$ es un conjunto unitario, entonces ${\mathcal {B}}_{C}$ es una subbase para Filtro Fréchet en $\mathbb {R} .$

Para cada filtro ${\mathcal {F}}{\text{ en }}X$ existe un par único de ideales duales ${\mathcal {F}}^{*}{\text{ y }}{\mathcal {F}}^{\bullet }{\text{ en }}X$ tal que ${\mathcal {F}}^{*}$ es libre, ${\mathcal {F}}^{\bullet }$ es principal y ${\mathcal {F}}^{*}\wedge {\mathcal {F}}^{\bullet }={\mathcal {F}},$ y ${\mathcal {F}}^{*}{\text{ y }}{\mathcal {F}}^{\bullet }$ no se entrelazan (es decir, ${\mathcal {F}}^{*}\vee {\mathcal {F}}^{\bullet }=\wp (X)$). El ideal dual ${\mathcal {F}}^{*}$ se llama la parte libre de ${\mathcal {F}}$, mientras que ${\mathcal {F}}^{\bullet }$ se llama la parte principal​ donde al menos uno de estos ideales duales es un filtro. Si ${\mathcal {F}}$ es principal, entonces ${\mathcal {F}}^{\bullet }:={\mathcal {F}}{\text{ y }}{\mathcal {F}}^{*}:=\wp (X);$; de lo contrario, ${\mathcal {F}}^{\bullet }:=\{\ker {\mathcal {F}}\}^{\uparrow X}$ y ${\mathcal {F}}^{*}:={\mathcal {F}}\vee \{X\setminus \left(\ker {\mathcal {F}}\right)\}^{\uparrow X}$ son un filtro libre (no degenerado).​

Prefiltros finitos y conjuntos finitos

Si una subbase de filtros ${\mathcal {B}}$ es finita, entonces es fija (es decir, no libre); esto se debe a que $\ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B$ es una intersección finita y la subbase de filtros ${\mathcal {B}}$ 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 $X$ es finito, entonces todas las conclusiones anteriores son válidas para cualquier ${\mathcal {B}}\subseteq \wp (X).$ En particular, en un conjunto finito $X,$ no hay subbases de filtros libres (y por lo tanto, no hay prefiltros libres) todos los prefiltros son principales y todos los filtros en $X$ son filtros principales generados por sus núcleos (no vacíos).

El filtro trivial $\{X\}$ es siempre un filtro finito en $X$ y si $X$ es infinito, entonces es el único filtro finito porque un filtro finito no trivial en un conjunto $X$ es posible si y solo si $X$ 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 $X$ es un conjunto unitario, entonces el filtro trivial $\{X\}$ es el único subconjunto propio de $\wp (X)$ y, además, este conjunto $\{X\}$ es un ultraprefiltro principal y cualquier superconjunto ${\mathcal {F}}\supseteq {\mathcal {B}}$ (donde ${\mathcal {F}}\subseteq \wp (Y){\text{ y }}X\subseteq Y$) con la propiedad de intersección finita, también será un ultraprefiltro principal (incluso si $Y$ es infinito).

Caracterización de ultra prefiltros fijos

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

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

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 ${\mathcal {F}}$ es un ultrafiltro en $X$, entonces lo siguiente es equivalente: ${\mathcal {F}}$ es fijo o, equivalentemente, no libre, lo que significa que $\ker {\mathcal {F}}\neq \varnothing .$ ${\mathcal {F}}$ es principal, lo que significa que $\ker {\mathcal {F}}\in {\mathcal {F}}.$ Algún elemento de ${\mathcal {F}}$ es un conjunto finito. Algún elemento de ${\mathcal {F}}$ es un conjunto unitario. ${\mathcal {F}}$ es principal en algún punto de $X,$ lo que significa que $\ker {\mathcal {F}}=\{x\}\in {\mathcal {F}}$ para algunos $x\in X.$ ${\mathcal {F}}$ no contiene el filtro de Fréchet en $X.$ ${\mathcal {F}}$ es secuencial.​

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

El preorden $\,\leq \,$ 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",​ donde "${\mathcal {F}}\geq {\mathcal {C}}$" puede interpretarse como "${\mathcal {F}}$ es una subsecuencia de ${\mathcal {C}}$" (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 ${\mathcal {B}}$ concuerda con ${\mathcal {C}},$ que está estrechamente relacionada con el preorden $\,\leq ,$ y se utiliza en topología para definir puntos de acumulación.

Dos familias de conjuntos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ concuerdan​ y son compatibles con, se indica escribiendo ${\mathcal {B}}\#{\mathcal {C}},$ si $B\cap C\neq \varnothing {\text{ para todo }}B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}.$ Si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ no concuerdan, entonces están disociados. Si $S\subseteq X{\text{ y }}{\mathcal {B}}\subseteq \wp (X)$, entonces ${\mathcal {B}}{\text{ y }}S$ se dice que concuerdan si ${\mathcal {B}}{\text{ y }}\{S\}$ concuerdan, o equivalentemente, si es la traza en un conjunto de ${\mathcal {B}}{\text{ en }}S,$ que es la familia

${\mathcal {B}}{\big \vert }_{S}=\{B\cap S~:~B\in {\mathcal {B}}\},$

que no contiene el conjunto vacío, donde la traza también se denomina restricción en un conjunto de ${\mathcal {B}}{\text{ en }}S.$

Declarar que ${\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}\geq {\mathcal {C}},{\text{ y }}{\mathcal {F}}\vdash {\mathcal {C}},$ expresado como ${\mathcal {C}}$ es más grueso que ${\mathcal {F}}$ y ${\mathcal {F}}$ es más fino (o está subordinado a) ${\mathcal {C}},$​​​​​ si se cumple alguna de las siguientes condiciones equivalentes: Definición: Cada $C\in {\mathcal {C}}$ contiene algún $F\in {\mathcal {F}}.$ Explícitamente, esto significa que por cada $C\in {\mathcal {C}},$ hay algún $F\in {\mathcal {F}}$ tal que $F\subseteq C.$ Dicho más brevemente, ${\mathcal {C}}\leq {\mathcal {F}}$ si cada conjunto en ${\mathcal {C}}$ es más grande que algún conjunto en ${\mathcal {F}}.$ Aquí, un "conjunto más grande" significa un superconjunto. $\{C\}\leq {\mathcal {F}}{\text{ para cada }}C\in {\mathcal {C}}.$ En otras palabras, $\{C\}\leq {\mathcal {F}}$ establece exactamente que $C$ es mayor que algún conjunto en ${\mathcal {F}}.$ La equivalencia de (a) y (b) se sigue inmediatamente. De esta caracterización se deduce que si $\left({\mathcal {C}}_{i}\right)_{i\in I}$ son familias de conjuntos, entonces $\bigcup _{i\in I}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ si y solo si }}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ para todo }}i\in I.$ ${\mathcal {C}}\leq {\mathcal {F}}^{\uparrow X},$ que equivale a ${\mathcal {C}}\subseteq {\mathcal {F}}^{\uparrow X}$; ${\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}$; ${\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}^{\uparrow X},$ que equivale a ${\mathcal {C}}^{\uparrow X}\subseteq {\mathcal {F}}^{\uparrow X}$; y si además ${\mathcal {F}}$ está cerrado hacia arriba, lo que significa que ${\mathcal {F}}={\mathcal {F}}^{\uparrow X},$ entonces esta lista se puede ampliar para incluir: ${\mathcal {C}}\subseteq {\mathcal {F}}.$​ Entonces, en este caso, la definición de que "${\mathcal {F}}$ es más fino que ${\mathcal {C}}$" sería idéntica a la definición topológica de "más fino" si ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ hubieran tenido topologías en $X.$ Si una familia cerrada hacia arriba ${\mathcal {F}}$ es más fina que ${\mathcal {C}}$ (es decir, ${\mathcal {C}}\leq {\mathcal {F}}$) pero ${\mathcal {C}}\neq {\mathcal {F}}$, entonces se dice que ${\mathcal {F}}$ es estrictamente más fina que ${\mathcal {C}}$ y ${\mathcal {C}}$ es estrictamente más gruesa que ${\mathcal {F}}.$ Dos familias son comparables si uno de estos conjuntos es más fino que el otro.​

Ejemplo: Si $x_{i_{\bullet }}=\left(x_{i_{n}}\right)_{n=1}^{\infty }$ es una subsucesión de $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ entonces $\operatorname {Colas} \left(x_{i_{\bullet }}\right)$ está subordinado a $\operatorname {Colas} \left(x_{\bullet }\right);$ lo que expresado con símbolos es: $\operatorname {Colas} \left(x_{i_{\bullet }}\right)\vdash \operatorname {Colas} \left(x_{\bullet }\right)$ y también $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(x_{i_{\bullet }}\right).$

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 $C:=x_{\geq i}\in \operatorname {Colas} \left(x_{\bullet }\right)$ sea arbitrario (o, equivalentemente, que $i\in \mathbb {N}$ sea arbitrario) y queda por demostrar que este conjunto contiene algo de $F:=x_{i_{\geq n}}\in \operatorname {Colas} \left(x_{i_{\bullet }}\right).$ Para que el conjunto $x_{\geq i}=\left\{x_{i},x_{i+1},\ldots \right\}$ contenga a $x_{i_{\geq n}}=\left\{x_{i_{n}},x_{i_{n+1}},\ldots \right\},$ es suficiente tener que $i\leq i_{n}.$ Dado que $i_{1}<i_{2}<\cdots$ son números enteros estrictamente crecientes, existe un $n\in \mathbb {N}$ tal que $i_{n}\geq i,$ y, por lo tanto, $x_{\geq i}\supseteq x_{i_{\geq n}}$ se cumple, tal como se desea. En consecuencia, $\operatorname {Cola_{d}e_{F}iltro} \left(x_{\bullet }\right)\subseteq \operatorname {Colas_{d}e_{F}iltro} \left(x_{i_{\bullet }}\right).$ El lado izquierdo será un subconjunto estricto/propio del lado derecho si (por ejemplo) cada punto de $x_{\bullet }$ es único (es decir, cuando $x_{\bullet }:\mathbb {N} \to X$ es inyectivo) y $x_{i_{\bullet }}$ es la subsecuencia $\left(x_{2},x_{4},x_{6},\ldots \right)$ con índice par porque, en estas condiciones, cada cola $x_{i_{\geq n}}=\left\{x_{2n},x_{2n+2},x_{2n+4},\ldots \right\}$ (para cada $n\in \mathbb {N}$) de la subsecuencia pertenecerá al filtro del lado derecho pero no al filtro del lado izquierdo.

En otro ejemplo, si ${\mathcal {B}}$ es cualquier familia, entonces $\varnothing \leq {\mathcal {B}}\leq {\mathcal {B}}\leq \{\varnothing \}$ siempre se mantiene y, además, $\{\varnothing \}\leq {\mathcal {B}}{\text{ si y solo si }}\varnothing \in {\mathcal {B}}.$

Supóngase que ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ son familias de conjuntos que satisfacen que ${\mathcal {B}}\leq {\mathcal {F}}{\text{ y }}{\mathcal {C}}\leq {\mathcal {F}}.$ Entonces, $\ker {\mathcal {F}}\subseteq \ker {\mathcal {C}},$ y ${\mathcal {C}}\neq \varnothing {\text{ implica que }}{\mathcal {F}}\neq \varnothing ,$ y también $\varnothing \in {\mathcal {C}}{\text{ implica que }}\varnothing \in {\mathcal {F}}.$ Si además de ${\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}$ es una subbase de filtros y ${\mathcal {C}}\neq \varnothing ,$ entonces ${\mathcal {C}}$ es una subbase de filtros​ y también concuerdan ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$.​​

De manera más general, si tanto $\varnothing \neq {\mathcal {B}}\leq {\mathcal {F}}{\text{ y }}\varnothing \neq {\mathcal {C}}\leq {\mathcal {F}}$ como la intersección de dos elementos cualesquiera de ${\mathcal {F}}$ no están vacíos, entonces ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ concuerdan.​ Cada subbase de filtros es más gruesa que el sistema Π y que el filtro generados.​

Si ${\mathcal {C}}{\text{ y }}{\mathcal {F}}$ son familias tales que ${\mathcal {C}}\leq {\mathcal {F}},$ la familia ${\mathcal {C}}$ es ultra, y $\varnothing \not \in {\mathcal {F}},$ entonces ${\mathcal {F}}$ es necesariamente ultra. De ello se deduce que cualquier familia que sea equivalente a una familia ultra será necesariamente ultra. En particular, si ${\mathcal {C}}$ es un prefiltro, entonces tanto ${\mathcal {C}}$ como el filtro ${\mathcal {C}}^{\uparrow X}$ 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 ${\mathcal {B}}$ que no sea un prefiltro no puede ser ultra; pero aun así es posible que el prefiltro y el filtro generados por ${\mathcal {B}}$ sean ultra. Si $S\subseteq X{\text{ y }}{\mathcal {B}}\subseteq \wp (X)$ está cerrado hacia arriba en $X$, entonces $S\not \in {\mathcal {B}}{\text{ si y solo si }}(X\setminus S)\#{\mathcal {B}}.$​

Propiedades relacionales de la subordinación

La relación $\,\leq \,$ es reflexiva y transitiva, lo que la convierte en un preorden en $\wp (\wp (X)).$​ La relación $\,\leq \,{\text{ en }}\operatorname {Filtros} (X)$ es antisimétrica, pero si $X$ tiene más de un punto, entonces no es simétrica.

Simetría: Para cualquier ${\mathcal {B}}\subseteq \wp (X),{\mathcal {B}}\leq \{X\}{\text{ si y solo si }}\{X\}={\mathcal {B}}.$ Entonces, el conjunto $X$ tiene más de un punto si y solo si la relación $\,\leq \,{\text{ en }}\operatorname {Filtros} (X)$ no es simétrica.

Antisimetría: Si ${\mathcal {B}}\subseteq {\mathcal {C}}{\text{ entonces }}{\mathcal {B}}\leq {\mathcal {C}}$ pero si bien lo contrario no se cumple en general, sí se cumple si ${\mathcal {C}}$ está cerrado hacia arriba (por ejemplo, si ${\mathcal {C}}$ es un filtro). Dos filtros son equivalentes si y solo si son iguales, lo que hace que la restricción de $\,\leq \,$ a $\operatorname {Filtros} (X)$ sea antisimétrica. Pero en general, $\,\leq \,$ not es antisimétrica en $\operatorname {Prefiltros} (X)$ ni en $\wp (\wp (X))$; es decir, ${\mathcal {C}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\leq {\mathcal {C}}$ no implica necesariamente que ${\mathcal {B}}={\mathcal {C}}$; ni siquiera si ambos ${\mathcal {C}}{\text{ y }}{\mathcal {B}}$ son prefiltros.​ Por ejemplo, si ${\mathcal {B}}$ es un prefiltro pero no un filtro, entonces ${\mathcal {B}}\leq {\mathcal {B}}^{\uparrow X}{\text{ y }}{\mathcal {B}}^{\uparrow X}\leq {\mathcal {B}}{\text{ pero }}{\mathcal {B}}\neq {\mathcal {B}}^{\uparrow X}.$

Familias equivalentes de conjuntos

El preorden $\,\leq \,$ induce su relación de equivalencia canónica en $\wp (\wp (X)),$ donde para todo ${\mathcal {B}},{\mathcal {C}}\in \wp (\wp (X)),$ ${\mathcal {B}}$ es equivalente a ${\mathcal {C}}$ si se cumple alguna de las siguientes condiciones equivalentes:​​

1. ${\mathcal {C}}\leq {\mathcal {B}}{\text{ y }}{\mathcal {B}}\leq {\mathcal {C}}.$
2. Los cierres hacia arriba de ${\mathcal {C}}{\text{ y }}{\mathcal {B}}$ son iguales.

Dos subconjuntos cerrados hacia arriba (en $X$) de $\wp (X)$ son equivalentes si y solo si son iguales.​ Si ${\mathcal {B}}\subseteq \wp (X)$, entonces necesariamente $\varnothing \leq {\mathcal {B}}\leq \wp (X)$ y ${\mathcal {B}}$ es equivalente a ${\mathcal {B}}^{\uparrow X}.$ Cada clase de equivalencia distinta de $\{\varnothing \}$ contiene un representante único (es decir, un elemento de la clase de equivalencia) que está cerrado hacia arriba en $X.$​

Propiedades preservadas entre familias equivalentes

Sea ${\mathcal {B}},{\mathcal {C}}\in \wp (\wp (X))$ arbitrario y ${\mathcal {F}}$ cualquier familia de conjuntos. Si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ son equivalentes (lo que implica que $\ker {\mathcal {B}}=\ker {\mathcal {C}}$), entonces para cada una de las afirmaciones/propiedades enumeradas a continuación, o es verdadera para ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ o es falsa para ambos ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$:​

1. No vacío
2. Propio (es decir, $\varnothing$ no es un elemento)
   • Además, dos familias degeneradas cualesquiera son necesariamente equivalentes.
3. Subbase de filtros
4. Prefiltro
   • En cuyo caso ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ generan el mismo filtro en $X$ (es decir, sus cierres hacia arriba en $X$ son iguales).
5. Libre
6. Principal
7. Ultra
8. Igual al filtro trivial $\{X\}$
   • En otras palabras, esto significa que el único subconjunto de $\wp (X)$ 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 ${\mathcal {F}}$
10. Más fino que ${\mathcal {F}}$
11. Más grueso que ${\mathcal {F}}$
12. Es equivalente a ${\mathcal {F}}$

En la lista anterior falta la palabra "filtro" porque esta propiedad no se conserva por equivalencia. Sin embargo, si ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ son filtros en $X,$ 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 ${\mathcal {B}}$ es un prefiltro en $X$, entonces las siguientes familias siempre son equivalentes entre sí:

1. ${\mathcal {B}}$;
2. El sistema Π generado por ${\mathcal {B}}$;
3. El filtro en $X$ generado por ${\mathcal {B}}$;

y además, estas tres familias generan el mismo filtro en $X$ (es decir, los cierres hacia arriba en $X$ 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.​​ Cada prefiltro equivale exactamente a un filtro en $X,$ 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.​

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 $X=\mathbb {R}$ y $E$ el conjunto $\mathbb {Z}$ de números enteros (o el conjunto $\mathbb {N}$). Definir los conjuntos

${\mathcal {B}}=\{[e,\infty )~:~e\in E\}\qquad {\text{ y }}\qquad {\mathcal {C}}_{\operatorname {abierto} }=\{(-\infty ,e)\cup (1+e,\infty )~:~e\in E\}\qquad {\text{ y }}\qquad {\mathcal {C}}_{\operatorname {cerrado} }=\{(-\infty ,e]\cup [1+e,\infty )~:~e\in E\}.$

Los tres conjuntos son subbases de filtros, pero ninguno es un filtro en $X$ y solo ${\mathcal {B}}$ es un prefiltro (de hecho, ${\mathcal {B}}$ es incluso libre y cerrado bajo intersecciones finitas). El conjunto ${\mathcal {C}}_{\operatorname {cerrado} }$ es fijo, mientras que ${\mathcal {C}}_{\operatorname {abierto} }$ es libre (a menos que $E=\mathbb {N}$). Satisfacen que ${\mathcal {C}}_{\operatorname {cerrado} }\leq {\mathcal {C}}_{\operatorname {abierto} }\leq {\mathcal {B}},$ 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 ${\mathcal {C}}_{\operatorname {abierto} },$ cada conjunto en el sistema Π generado por ${\mathcal {C}}_{\operatorname {cerrado} }$ contiene $\mathbb {Z}$ como un subconjunto,​ que es lo que impide que sus sistemas Π generados (y, por lo tanto, sus filtros generados) sean equivalentes. Si $E$ fuera $\mathbb {Q} {\text{ o }}\mathbb {R}$, entonces las tres familias serían libres y, aunque los conjuntos ${\mathcal {C}}_{\operatorname {cerrado} }{\text{ y }}{\mathcal {C}}_{\operatorname {abierto} }$ seguirían siendo no equivalentes entre sí, sus sistemas Π generados serían equivalentes y, en consecuencia, generarían el mismo filtro en $X$. Sin embargo, este filtro común seguiría siendo estrictamente más grueso que el filtro generado por ${\mathcal {B}}.$

Propiedades y construcciones en teoría de conjuntos

Traza y concordancia

Si ${\mathcal {B}}$ es un prefiltro (respectivamente filtro) en $X{\text{ y }}S\subseteq X$, entonces la traza de ${\mathcal {B}}{\text{ en }}S,$ que es la familia ${\mathcal {B}}{\big \vert }_{S}:={\mathcal {B}}(\cap )\{S\},$ es un prefiltro (respectivamente un filtro) si y solo si concuerdan ${\mathcal {B}}{\text{ y }}S$ (es decir, $\varnothing \not \in {\mathcal {B}}(\cap )\{S\}$),​ en cuyo caso se dice que la traza de ${\mathcal {B}}{\text{ en }}S$ es inducida por $S$. Si ${\mathcal {B}}$ es ultra y si ${\mathcal {B}}{\text{ y }}S$ concuerdan, entonces la traza ${\mathcal {B}}{\big \vert }_{S}$ es ultra. Si ${\mathcal {B}}$ es un ultrafiltro en $X$, entonces la traza de ${\mathcal {B}}{\text{ en }}S$ es un filtro en $S$ si y solo si $S\in {\mathcal {B}}.$

Por ejemplo, supóngase que ${\mathcal {B}}$ es un filtro en $X{\text{ y }}S\subseteq X$ y es tal que $S\neq X{\text{ y }}X\setminus S\not \in {\mathcal {B}}.$ Entonces, ${\mathcal {B}}{\text{ y }}S$ concuerdan y ${\mathcal {B}}\cup \{S\}$ genera un filtro en $X$ que es estrictamente más fino que ${\mathcal {B}}.$​

Concordancia de prefiltros

Dadas las familias no vacías ${\mathcal {B}}{\text{ y }}{\mathcal {C}},$ la familia

${\mathcal {B}}(\cap ){\mathcal {C}}:=\{B\cap C~:~B\in {\mathcal {B}}{\text{ y }}C\in {\mathcal {C}}\}$

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

     Dos prefiltros (respectivamente, subbases de filtros) ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ concuerdan entre sí, si y solo si existe un prefiltro (respectivamente, subbase de filtros) ${\mathcal {F}}$ tal que ${\mathcal {C}}\leq {\mathcal {F}}$ y ${\mathcal {B}}\leq {\mathcal {F}}.$

Si el límite superior mínimo de dos filtros ${\mathcal {B}}{\text{ y }}{\mathcal {C}}$ existe en $\operatorname {Filtros} (X)$, entonces este límite superior mínimo es igual a ${\mathcal {B}}(\cap ){\mathcal {C}}.$​

Imágenes y preimágenes bajo funciones

Véase también: Álgebra de conjuntos

En todo momento, $f:X\to Y{\text{ y }}g:Y\to Z$ son aplicaciones entre conjuntos no vacíos.

Imágenes de prefiltros

Sea ${\mathcal {B}}\subseteq \wp (Y).$ Muchas de las propiedades que ${\mathcal {B}}$ 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 ${\mathcal {B}}{\text{ en }}Y,$, entonces necesariamente también será cierta para $g({\mathcal {B}}){\text{ en }}g(Y)$ (aunque posiblemente no en el codominio $Z$ a menos que la aplicación $g$ 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 ${\mathcal {B}}\subseteq \wp (Y)$ es un prefiltro, también lo son $g({\mathcal {B}}){\text{ y }}g^{-1}(g({\mathcal {B}})).$​. La imagen bajo una aplicación $f:X\to Y$ de un conjunto ultra ${\mathcal {B}}\subseteq \wp (X)$ es nuevamente ultra y si ${\mathcal {B}}$ es un prefiltro ultra, entonces también lo es $f({\mathcal {B}}).$

Si ${\mathcal {B}}$ es un filtro, entonces $g({\mathcal {B}})$ es un filtro en el rango $g(Y),$ pero es un filtro en el codominio $Z$ si y solo si $g$ es sobreyectiva.​ De lo contrario, es solo un prefiltro en $Z$ y su cierre hacia arriba debe tomarse en $Z$ para obtener un filtro. El cierre hacia arriba de $g({\mathcal {B}}){\text{ en }}Z$ es

$g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~B\subseteq g^{-1}(S){\text{ para algún }}B\in {\mathcal {B}}\right\}$

donde si ${\mathcal {B}}$ está cerrado hacia arriba en $Y$ (es decir, es un filtro), esto se simplifica a:

$g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~g^{-1}(S)\in {\mathcal {B}}\right\}.$

Si $X\subseteq Y$, entonces tomar $g$ como la relación de inclusión, $X\to Y$ muestra que cualquier prefiltro (respectivamente, ultra prefiltro, subbase de filtro) en $X$ también es un prefiltro (respectivamente, ultra prefiltro, subbase de filtro) en $Y.$​

Preimágenes de prefiltros

Sea ${\mathcal {B}}\subseteq \wp (Y).$ Bajo el supuesto de que $f:X\to Y$ es sobreyectiva:

     $f^{-1}({\mathcal {B}})$ es un prefiltro (respectivcamente, subbase de filtro, sistema Π, cerrado bajo uniones finitas, propiamente dicho) si y solo si esto es cierto para ${\mathcal {B}}.$

Sin embargo, si ${\mathcal {B}}$ es un ultrafiltro en $Y$, incluso si $f$ es sobreyectiva (lo que convertiría a $f^{-1}({\mathcal {B}})$ en un prefiltro), aún es posible que el prefiltro $f^{-1}({\mathcal {B}})$ no sea ni ultra ni un filtro en $X$ ​ (consúltese esta nota al pie de página​ para ver un ejemplo).

Si $f:X\to Y$ no es sobreyectivo, entonces denótese la traza de ${\mathcal {B}}{\text{ sobre }}f(X)$ por ${\mathcal {B}}{\big \vert }_{f(X)},$ donde en este caso particular la traza satisface:

${\mathcal {B}}{\big \vert }_{f(X)}=f\left(f^{-1}({\mathcal {B}})\right)$

y en consecuencia también:

$f^{-1}({\mathcal {B}})=f^{-1}\left({\mathcal {B}}{\big \vert }_{f(X)}\right).$

Esta última igualdad y el hecho de que la traza ${\mathcal {B}}{\big \vert }_{f(X)}$ sea una familia de conjuntos sobre $f(X)$ significa que para sacar conclusiones sobre $f^{-1}({\mathcal {B}}),$ se puede utilizar la traza ${\mathcal {B}}{\big \vert }_{f(X)}$ en lugar de ${\mathcal {B}}$ y la sobreyección $f:X\to f(X)$ se puede utilizar en lugar de $f:X\to Y.$ Por ejemplo:​​​

     $f^{-1}({\mathcal {B}})$ es un prefiltro (respectivamente subbase de filtro, sistema Π, propio) si y solo si esto es cierto para ${\mathcal {B}}{\big \vert }_{f(X)}.$

De esta manera, el caso en el que $f$ 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 ${\mathcal {B}}$ es un ultrafiltro en $Y,$ y si $f$ no es sobreyectiva, es posible que $\varnothing \in {\mathcal {B}}{\big \vert }_{f(X)},$ lo que haría que $f^{-1}({\mathcal {B}})$ también degenere. La siguiente caracterización muestra que la degeneración es el único obstáculo. Si ${\mathcal {B}}$ es un prefiltro, entonces lo siguiente es equivalente:​​​

1. $f^{-1}({\mathcal {B}})$ es un prefiltro;
2. ${\mathcal {B}}{\big \vert }_{f(X)}$ es un prefiltro;
3. $\varnothing \not \in {\mathcal {B}}{\big \vert }_{f(X)}$;
4. ${\mathcal {B}}$ se entrelaza con $f(X)$

y además, si $f^{-1}({\mathcal {B}})$ es un prefiltro, entonces también lo es $f\left(f^{-1}({\mathcal {B}})\right).$​​

Si $S\subseteq Y$ y $\operatorname {In} :S\to Y$ denotan la relación de inclusión, entonces la traza de ${\mathcal {B}}{\text{ en }}S$ es igual a $\operatorname {In} ^{-1}({\mathcal {B}}).$​ 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 ${\mathcal {B}}\subseteq \wp (Y){\text{ y }}g:Y\to Z$ es una biyección, entonces ${\mathcal {B}}$ es un prefiltro (respectivamente ultra, ultra prefiltro, filtro en $X,$ ultrafiltro en la subbase de filtros $X,$ sistema Π, ideal en $X,$ etc.) si y solo si lo mismo es cierto para $g({\mathcal {B}}){\text{ en }}Z.$​

Una aplicación $g:Y\to Z$ es inyectiva si y solo si para todos los prefiltros ${\mathcal {B}}{\text{ en }}Y,{\mathcal {B}}$ es equivalente a $g^{-1}(g({\mathcal {B}})).$​ La imagen de una familia de conjuntos ultra bajo una inyección es nuevamente ultra.

La aplicación $f:X\to Y$ es sobreyectiva si y solo si siempre que ${\mathcal {B}}$ sea un prefiltro en $Y$. Lo mismo ocurre con $f^{-1}({\mathcal {B}}){\text{ en }}X$ (este resultado no requiere el lema del ultrafiltro).

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

La relación $\,\leq \,$ se conserva tanto en imágenes como en preimágenes de familias de conjuntos.​ Esto significa que para cualesquiera familias ${\mathcal {C}}{\text{ y }}{\mathcal {F}},$​

${\mathcal {C}}\leq {\mathcal {F}}\quad {\text{ implica que }}\quad g({\mathcal {C}})\leq g({\mathcal {F}})\quad {\text{ y }}\quad f^{-1}({\mathcal {C}})\leq f^{-1}({\mathcal {F}}).$

Además, las siguientes relaciones siempre se cumplen para cualquier familia de conjuntos ${\mathcal {C}}$:​

${\mathcal {C}}\leq f\left(f^{-1}({\mathcal {C}})\right)$

donde la igualdad se mantendrá si $f$ es sobreyectiva.​ Además,

$f^{-1}({\mathcal {C}})=f^{-1}\left(f\left(f^{-1}({\mathcal {C}})\right)\right)\quad {\text{ y }}\quad g({\mathcal {C}})=g\left(g^{-1}(g({\mathcal {C}}))\right).$

Si ${\mathcal {B}}\subseteq \wp (X){\text{ y }}{\mathcal {C}}\subseteq \wp (Y)$, entonces​

$f({\mathcal {B}})\leq {\mathcal {C}}\quad {\text{ si y solo si }}\quad {\mathcal {B}}\leq f^{-1}({\mathcal {C}})$

y $g^{-1}(g({\mathcal {C}}))\leq {\mathcal {C}}$,​ donde se mantendrá la igualdad si $g$ es inyectiva.​

Productos de prefiltros

Supóngase que $X_{\bullet }=\left(X_{i}\right)_{i\in I}$ es una familia de uno o más conjuntos no vacíos, cuyo producto se denotará por $\prod X_{\bullet }:=\prod _{i\in I}X_{i},$ y para cada índice $i\in I,$ sea

$\Pr {}_{X_{i}}:\prod X_{\bullet }\to X_{i}$

denota la proyección canónica.

Sean ${\mathcal {B}}_{\bullet }:=\left({\mathcal {B}}_{i}\right)_{i\in I}$ familias no vacías, también indexadas por $I,$ de modo que ${\mathcal {B}}_{i}\subseteq \wp \left(X_{i}\right)$ para cada $i\in I.$ El producto de las familias ${\mathcal {B}}_{\bullet }$​ se define de manera idéntica a cómo se definen los subconjuntos abiertos básicos de la topología producto (si todos estos ${\mathcal {B}}_{i}$ hubieran sido topologías). Es decir, tanto las notaciones

$\prod _{}{\mathcal {B}}_{\bullet }=\prod _{i\in I}{\mathcal {B}}_{i}$

denota la familia de todos los subconjuntos de cilindros $\prod _{i\in I}S_{i}\subseteq \prod _{}X_{\bullet }$ tal que $S_{i}=X_{i}$ para todos excepto un número finito de $i\in I$ y donde $S_{i}\in {\mathcal {B}}_{i}$ para cualquiera de estas excepciones finitas (es decir, para cualquier $i$ tal que $S_{i}\neq X_{i},$ necesariamente $S_{i}\in {\mathcal {B}}_{i}$). Cuando cada ${\mathcal {B}}_{i}$ es una subbase de filtros, entonces la familia $\bigcup _{i\in I}\Pr {}_{X_{i}}^{-1}\left({\mathcal {B}}_{i}\right)$ es una subbase de filtros para el filtro en $\prod X_{\bullet }$ generado por ${\mathcal {B}}_{\bullet }.$​ Si $\prod {\mathcal {B}}_{\bullet }$ es una subbase de filtros, entonces el filtro en $\prod X_{\bullet }$ que genera se llama filtro generado por ${\mathcal {B}}_{\bullet }$.​ Si cada ${\mathcal {B}}_{i}$ es un prefiltro en $X_{i}$, entonces $\prod {\mathcal {B}}_{\bullet }$ será un prefiltro en $\prod X_{\bullet }$ y, además, este prefiltro es igual al prefiltro más grueso ${\mathcal {F}}{\text{ en }}\prod X_{\bullet }$, de modo que $\Pr {}_{X_{i}}({\mathcal {F}})={\mathcal {B}}_{i}$ por cada $i\in I.$​ Sin embargo, es posible que $\prod {\mathcal {B}}_{\bullet }$ no sea un filtro en $\prod X_{\bullet }$ incluso si cada ${\mathcal {B}}_{i}$ es un filtro en $X_{i}.$​

Resta de conjuntos y algunos ejemplos

Conjunto restando un subconjunto al núcleo

Si ${\mathcal {B}}$ es un prefiltro en $X,S\subseteq \ker {\mathcal {B}},{\text{ y }}S\not \in {\mathcal {B}}$, entonces $\{B\setminus S~:~B\in {\mathcal {B}}\}$ es un prefiltro, donde este último conjunto es un filtro si y solo si ${\mathcal {B}}$ es un filtro y $S=\varnothing .$ En particular, si ${\mathcal {B}}$ es una base de entornos en un punto $x$ en un espacio topológico que tiene $X$ al menos en 2 puntos, entonces $\{B\setminus \{x\}~:~B\in {\mathcal {B}}\}$ es un prefiltro en $X.$ Esta construcción se utiliza para definir $\lim _{\stackrel {x\to x_{0}}{x\neq x_{0}}}f(x)\to y$ en términos de convergencia de prefiltros.

Usar la dualidad entre ideales e ideales duales

Existe una relación dual ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ o ${\mathcal {C}}\vartriangleright {\mathcal {B}},$ que se define para significar que cada $B\in {\mathcal {B}}$ está contenida en algún $C\in {\mathcal {C}}.$ Explícitamente, esto significa que para cada $B\in {\mathcal {B}}$, hay algún $C\in {\mathcal {C}}$ tal que $B\subseteq C.$ Esta relación es dual con $\,\leq \,$ en el sentido de que ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ si y solo si $(X\setminus {\mathcal {B}})\leq (X\setminus {\mathcal {C}}).$​ La relación ${\mathcal {B}}\vartriangleleft {\mathcal {C}}$ está estrechamente relacionada con el cierre hacia abajo de una familia, de manera similar a cómo $\,\leq \,$ se relaciona con la familia del cierre hacia arriba.

Para ver un ejemplo que utiliza esta dualidad, supóngase que $f:X\to Y$ es una aplicación y $\Xi \subseteq \wp (Y).$ Defínase

$\Xi _{f}:=\{I\subseteq X~:~f(I)\in \Xi \}$

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

     Supóngase que ${\mathcal {B}}$ es un filtro en $Y$ y sea $\Xi :=Y\setminus {\mathcal {B}}$ su dual en $Y.$ Si $X\not \in \Xi _{f}$, entonces el dual $\Xi _{f}$ de $X\setminus \Xi _{f}$ será un filtro.

Otros ejemplos

Ejemplo: El conjunto ${\mathcal {B}}$ 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 ${\mathcal {B}}.$

Ejemplo: La familia ${\mathcal {B}}_{\operatorname {abierto} }$ de todos los conjuntos abiertos densos de $X=\mathbb {R}$ que tienen medida de Lebesgue finita es un sistema Π adecuado y un prefiltro libre. El prefiltro ${\mathcal {B}}_{\operatorname {abierto} }$ está correctamente contenido en el prefiltro que consta de todos los subconjuntos abiertos densos de $\mathbb {R}$, y que no es equivalente a él. Dado que $X$ es un espacio de Baire, cada intersección numerable de conjuntos en ${\mathcal {B}}_{\operatorname {abierto} }$ es densa en $X$ (y también exigua y no escasa), por lo que el conjunto de todas las intersecciones contables de elementos de ${\mathcal {B}}_{\operatorname {abierto} }$ es un prefiltro y un sistema Π; que también es más fino que ${\mathcal {B}}_{\operatorname {abierto} }$ 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 $x_{\bullet }=\left(x_{i}\right)_{i\in I}{\text{ en }}X$ está asociado canónicamente con su prefiltro de colas $\operatorname {Colas} \left(x_{\bullet }\right).$ Si $f:X\to Y$ es una aplicación y $x_{\bullet }$ es una red en $X$, entonces $\operatorname {Colas} \left(f\left(x_{\bullet }\right)\right)=f\left(\operatorname {Colas} \left(x_{\bullet }\right)\right).$​

Prefiltros para redes

Un conjunto puntuado es un par $(S,s)$ que consta de un conjunto $S$ no vacío y de un elemento $s\in S.$ Para cualquier familia ${\mathcal {B}},$ sea

$\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}}):=\left\{(B,b)~:~B\in {\mathcal {B}}{\text{ y }}b\in B\right\}.$

Définase un conjunto preordenado $\,\leq \,$ canónico en conjuntos puntuados declarando que

$(R,r)\leq (S,s)\quad {\text{ si y solo si }}\quad R\supseteq S.$

Si $s_{0},s_{1}\in S{\text{ entonces }}\left(S,s_{0}\right)\leq \left(S,s_{1}\right){\text{ y }}\left(S,s_{1}\right)\leq \left(S,s_{0}\right)$, incluso si $s_{0}\neq s_{1},$ entonces este preorden no es antisimétrico y dada cualquier familia de conjuntos ${\mathcal {B}},$ $(\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}}),\leq )$ está parcialmente ordenada si y solo si ${\mathcal {B}}\neq \varnothing$ consta completamente de conjuntos unitarios. Si $\{x\}\in {\mathcal {B}}{\text{ entonces }}(\{x\},x)$ es un elemento máximo de $\operatorname {Conjuntos_{p}unteados} ({\mathcal {B}})$. Además, todos los elementos máximos tienen esta forma. Si $\left(B,b_{0}\right)\in \operatorname {Conjuntos_{p}unteados} ({\mathcal {B}}){\text{ entonces }}\left(B,b_{0}\right)$ es el elemento mayor si y solo si $B=\ker {\mathcal {B}},$ en cuyo caso $\{(B,b)~:~b\in B\}$ es el conjunto de todos los elementos mayores. Sin embargo, un elemento mayor $(B,b)$ es un elemento máximo si y solo si $B=\{b\}=\ker {\mathcal {B}},$ por lo que hay como máximo un elemento que es a la vez máximo y mayor.

Existe una aplicación canónica $\operatorname {Punto} _{\mathcal {B}}~:~\operatorname {Conjuntos_{p}unteados} ({\mathcal {B}})\to X$ definido por $(B,b)\mapsto b.$

Si $i_{0}=\left(B_{0},b_{0}\right)\in \operatorname {Conjuntos_{p}unteados} ({\mathcal {B}})$ entonces la cola de la asignación $\operatorname {Punto} _{\mathcal {B}}$ que comienza en $i_{0}$ es $\left\{c~:~(C,c)\in \operatorname {Conjuntos_{p}unteados} ({\mathcal {B}}){\text{ y }}\left(B_{0},b_{0}\right)\leq (C,c)\right\}=B_{0}.$

Aunque $(\operatorname {Conjuntos_{p}unteados} ({\mathcal {B}}),\leq )$ no es, en general, un conjunto parcialmente ordenado, es un conjunto dirigido si (y solo si) ${\mathcal {B}}$ es un prefiltro. Entonces, la opción más inmediata para la definición de "la red en $X$ inducida por un prefiltro ${\mathcal {B}}$" es la asignación $(B,b)\mapsto b$ de $\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}})$ sobre $X.$

Si ${\mathcal {B}}$ es un prefiltro en $X$, entonces la red asociada con ${\mathcal {B}})$ es la aplicación ${\begin{alignedat}{4}\operatorname {Red} _{\mathcal {B}}:\;&&(\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}}),\leq )&&\,\to \;&X\\&&(B,b)&&\,\mapsto \;&b\\\end{alignedat}}$ es decir, $\operatorname {Red} _{\mathcal {B}}(B,b):=b.$

Si ${\mathcal {B}}$ es un prefiltro en $X{\text{ entonces }}\operatorname {Red} _{\mathcal {B}}$ es una red en $X$ y el prefiltro asociado con $\operatorname {Red} _{\mathcal {B}}$ es ${\mathcal {B}}$; es decir:​

$\operatorname {Colas} \left(\operatorname {Red} _{\mathcal {B}}\right)={\mathcal {B}}.$

Esto no sería necesariamente cierto si $\operatorname {Red} _{\mathcal {B}}$ se hubiera definido en un subconjunto propio de $\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}}).$ Por ejemplo, supóngase que $X$ tiene al menos dos elementos distintos, ${\mathcal {B}}:=\{X\}$ es el filtro no discreto y $x\in X)$ es arbitrario. Si $\operatorname {Red} _{\mathcal {B}}$ se hubiera definido en el conjunto unitario $D:=\{(X,x)\},$ donde la restricción de $\operatorname {Red} _{\mathcal {B}}$ a $D$ se denotará temporalmente por $\operatorname {Red} _{D}:D\to X,$ entonces el prefiltro de colas asociado con $\operatorname {Red} _{D}:D\to X$ sería el prefiltro principal $\{\,\{x\}\,\}$ en lugar del filtro original ${\mathcal {B}}=\{X\}$. Esto significa que la igualdad $\operatorname {Colas} \left(\operatorname {Red} _{D}\right)={\mathcal {B}}$ es falsa, por lo que a diferencia de $\operatorname {Red} _{\mathcal {B}},$ el prefiltro ${\mathcal {B}}$ no se puede recuperar de $\operatorname {Red} _{D}.$ Peor aún, mientras que ${\mathcal {B}}$ es el filtro mínimo único en $X,$ el prefiltro $\operatorname {Colas} \left(\operatorname {Red} _{D}\right)=\{\{x\}\}$ genera un filtro máximo (es decir, un ultrafiltro) en $X.$

Sin embargo, si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es una red en $X$, entonces en general no es cierto que $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)}$ es igual a $x_{\bullet }$ porque, por ejemplo, el dominio de $x_{\bullet }$ puede tener una cardinalidad completamente diferente a la de $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)}$ (ya que, a diferencia del dominio de $\operatorname {Red} _{\operatorname {Colas} \left(x_{\bullet }\right)},$ el dominio de una red arbitraria en $X$ podría tener cualquier cardinalidad).

Ultrarredes y ultra prefiltros

Una red $x_{\bullet }{\text{ en }}X$ se llama ultrarred o red universal en $X$ si para cada subconjunto $S\subseteq X,x_{\bullet }$ está finalmente en $S$ o finalmente está en $X\setminus S$. Esto sucede si y solo si $\operatorname {Colas} \left(x_{\bullet }\right)$ es un ultra prefiltro. Un prefiltro ${\mathcal {B}}{\text{ en }}X$ es un ultra prefiltro si y solo si $\operatorname {Red} _{\mathcal {B}}$ es una ultrarred en $X.$

Red parcialmente ordenada

El dominio de la red canónica $\operatorname {Red} _{\mathcal {B}}$ en general no está parcialmente ordenado. Sin embargo, en 1955 Bruns y Schmidt descubrieron​ 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.​ Comienza con la construcción de un conjunto parcialmente ordenado (lo que significa transitivo y reflexivo) $\,<\,$ en un subconjunto de ${\mathcal {B}}\times \mathbb {N} \times X$ que es similar al orden lexicográfico en ${\mathcal {B}}\times \mathbb {N}$ de los órdenes parciales estrictos $({\mathcal {B}},\supsetneq ){\text{ y }}(\mathbb {N} ,<).$ Para cualquier $i=(B,m,b){\text{ y }}j=(C,n,c)$ en ${\mathcal {B}}\times \mathbb {N} \times X,$ se declara que $i<j$ si y solo si

$B\supseteq C{\text{and either: }}{\text{(1) }}B\neq C{\text{ o si no (2) }}B=C{\text{ y }}m<n,$

o equivalentemente, si y solo si ${\text{(1) }}B\supseteq C,{\text{ y (2) si }}B=C{\text{ entonces }}m<n.$

El orden parcial no estricto asociado con $\,<,$ denotado por $\,\leq ,$ se define declarando que $i\leq j\,{\text{ si y solo si }}i<j{\text{ o }}i=j.$ Desarrollando estas definiciones, se obtiene la siguiente caracterización:

$i\leq j$ si y solo si ${\text{ (1) }}B\supseteq C,{\text{ y (2) si }}B=C{\text{ entonces }}m\leq n,$ y también ${\text{ (3) si }}B=C{\text{ y }}m=n{\text{ entonces }}b=c,$

lo que muestra que $\,\leq \,$ es solo el orden lexicográfico en ${\mathcal {B}}\times \mathbb {N} \times X$ inducido por $({\mathcal {B}},\supseteq ),\,(\mathbb {N} ,\leq ),{\text{ y }}(X,=),$ donde $X$ está parcialmente ordenado por la igualdad $\,=.\,$​ Ambos $\,<{\text{ y }}\leq \,$ 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 ${\mathcal {B}}\times \mathbb {N} \times X$ definido por

${\begin{alignedat}{4}\operatorname {Poset} _{\mathcal {B}}\;&:=\;\{\,(B,m,b)\;\in \;{\mathcal {B}}\times \mathbb {N} \times X~:~b\in B\,\},\\\end{alignedat}}$

donde se supondrá que están en adelante. Denótese la asignación $i=(B,m,b)\mapsto b$ de este subconjunto por:

${\begin{alignedat}{4}\operatorname {PosetNet} _{\mathcal {B}}\ :\ &&\ \operatorname {Poset} _{\mathcal {B}}\ &&\,\to \;&X\\[0.5ex]&&\ (B,m,b)\ &&\,\mapsto \;&b\\[0.5ex]\end{alignedat}}$

Si $i_{0}=\left(B_{0},m_{0},b_{0}\right)\in \operatorname {Poset} _{\mathcal {B}}$, al igual que con $\operatorname {Red} _{\mathcal {B}}$ antes, la cola de $\operatorname {PosetNet} _{\mathcal {B}}$ que comienza en $i_{0}$ es igual a $B_{0}.$ Si ${\mathcal {B}}$ es un prefiltro en $X$ entonces $\operatorname {PosetNet} _{\mathcal {B}}$ es una red en $X$ cuyo dominio $\operatorname {Poset} _{\mathcal {B}}$ es un conjunto parcialmente ordenado y además, $\operatorname {Colas} \left(\operatorname {Red_{P}oset} _{\mathcal {B}}\right)={\mathcal {B}}.$​ Debido a que las colas de $\operatorname {Red_{p}oset} _{\mathcal {B}}{\text{ y }}\operatorname {Red} _{\mathcal {B}}$ son idénticas (ya que ambas son iguales al prefiltro ${\mathcal {B}}$), normalmente no se pierde nada al suponer que el dominio de la red asociado con un prefiltro es dirigido y parcialmente ordenado.​ Si el conjunto $\mathbb {N}$ 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 "${\mathcal {B}}$ está subordinada a ${\mathcal {C}}$" (escrito ${\mathcal {B}}\vdash {\mathcal {C}}$) es para filtros y prefiltros lo que "$x_{n_{\bullet }}=\left(x_{n_{i}}\right)_{i=1}^{\infty }$, una subsucesión de $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$" es para sucesiones.​ Por ejemplo, si $\operatorname {Colas} \left(x_{\bullet }\right)=\left\{x_{\geq i}:i\in \mathbb {N} \right\}$ denota el conjunto de colas de $x_{\bullet }$ y si $\operatorname {Colas} \left(x_{n_{\bullet }}\right)=\left\{x_{n_{\geq i}}:i\in \mathbb {N} \right\}$ denota el conjunto de colas de la subsecuencia $x_{n_{\bullet }}$ (donde $x_{n_{\geq i}}:=\left\{x_{n_{i}}~:~i\in \mathbb {N} \right\}$), entonces $\operatorname {Colas} \left(x_{n_{\bullet }}\right)~\vdash ~\operatorname {Colas} \left(x_{\bullet }\right)$ (es decir, $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(x_{n_{\bullet }}\right)$) es verdadero, pero $\operatorname {Colas} \left(x_{\bullet }\right)~\vdash ~\operatorname {Colas} \left(x_{n_{\bullet }}\right)$ es en general falso.

No equivalencia de subredes y filtros subordinados

Véanse también: Red (matemáticas) y Subred (matemáticas).

Un subconjunto $R\subseteq I$ de un espacio preordenado $(I,\leq )$ es frecuente o cofinal en $I$ si para cada $i\in I$ existe algún $r\in R{\text{ tal que }}i\leq r.$ Si $R\subseteq I$ contiene una cola de $I$, entonces se dice que $R$ es final en $I$}}. Explícitamente, esto significa que existe algún $i\in I{\text{ tal que }}I_{\geq i}\subseteq R$ (es decir, $j\in R{\text{ para todo }}j\in I{\text{ satisficiendo que }}i\leq j$). 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).​ Una aplicación $h:A\to I$ entre dos conjuntos reservados se dice que preserva el orden si siempre que $a,b\in A{\text{ satisface que }}a\leq b,{\text{ entonces }}h(a)\leq h(b).$

Las subredes en el sentido de Willard y las subredes en el sentido de Kelley son las definiciones más utilizadas de "subred".​ La primera definición de subred fue introducida por John L. Kelley en 1955.​ Stephen Willard introdujo su propia variante de la definición de subred de Kelley en 1970.​ 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.​

Sean $S=S_{\bullet }~:~(A,\leq )\to X{\text{ y }}N=N_{\bullet }~:~(I,\leq )\to X$ redes. Entonces,​

1. $S_{\bullet }$es una subred de Willard de $N_{\bullet }$ o una subred en el sentido de Willard si existe una aplicación que preserve el orden $h:A\to I$ tal que $S=N\circ h{\text{ y }}h(A)$ es cofinal en $I.$
2. $S_{\bullet }$ es una subred de Kelley de $N_{\bullet }$ o una subred en el sentido de Kelley si existe una aplicación $h~:~A\to I{\text{ tal que }}S=N\circ h$ y cuando se cumpla que si $E\subseteq I$ es final en $I$ entonces $h^{-1}(E)$ es final en $A.$
3. $S_{\bullet }$ es una subred AA de $N_{\bullet }$ o una subred en el sentido de Aarnes y Andenaes si se cumple alguna de las siguientes condiciones equivalentes:
   1. $\operatorname {Colas} \left(N_{\bullet }\right)\leq \operatorname {Colas} \left(S_{\bullet }\right).$
   2. $\operatorname {Filtro_{d}e_{C}olas} \left(N_{\bullet }\right)\subseteq \operatorname {Filtro_{d}e_{C}olas} \left(S_{\bullet }\right).$
   3. Si $J$ está finalmente en $I{\text{ entonces }}S^{-1}(N(J))$ está finalmente en $A.$
   4. Para cualquier subconjunto del retículo $R\subseteq X,{\text{ si }}\operatorname {Colas} \left(S_{\bullet }\right){\text{ y }}\{R\}$, también lo hace $\operatorname {Colas} \left(N_{\bullet }\right){\text{ y }}\{R\}.$
   5. Para cualquier subconjunto $R\subseteq X,{\text{ si }}\operatorname {Colas} \left(S_{\bullet }\right)\leq \{R\}{\text{ entonces }}\operatorname {Colas} \left(N_{\bullet }\right)\leq \{R\}.$

Kelley no requirió que la aplicación $h$ 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 $X$, el codominio común de las redes. Cada subred de Willard es una subred de Kelley y ambas son subredes AA.​ En particular, si $y_{\bullet }=\left(y_{a}\right)_{a\in A}$ es una subred de Willard o una subred de Kelley de $x_{\bullet }=\left(x_{i}\right)_{i\in I}$, entonces $\operatorname {Colas} \left(x_{\bullet }\right)\leq \operatorname {Colas} \left(y_{\bullet }\right).$

• Ejemplo: Sea $I=\mathbb {N}$, sea $x_{\bullet }$ una secuencia constante, y póngase por caso que $x_{\bullet }=\left(0\right)_{i\in \mathbb {N} }.$ Considérese que $s_{1}=0$ y $A=\{1\}$ de modo que $s_{\bullet }=\left(s_{a}\right)_{a\in A}=\left(s_{1}\right)$ sea una red en $A.$ Entonces $s_{\bullet }$ es una subred AA de $x_{\bullet }$ porque $\operatorname {Colas} \left(x_{\bullet }\right)=\{\{0\}\}=\operatorname {Colas} \left(s_{\bullet }\right).$ Pero $s_{\bullet }$ no es una subred de Willard de $x_{\bullet }$ porque no existe ninguna aplicación $h:A\to I$ cuya imagen sea un subconjunto cofinal de $I=\mathbb {N} .$ Tampoco $s_{\bullet }$ es una subred de Kelley de $x_{\bullet }$ porque si $h:A\to I$ es cualquier mapa entonces $E:=I\setminus \{h(1)\}$ es un subconjunto cofinal de $I=\mathbb {N}$ pero $h^{-1}(E)=\varnothing$ finalmente no está en $A.$

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

     Si ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros, entonces ${\mathcal {B}}\leq {\mathcal {F}}{\text{ si y solo si }}\operatorname {Red} _{\mathcal {F}}$ es una subred AA de $\;\operatorname {Red} _{\mathcal {B}}.$

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 ${\mathcal {B}}{\text{ y }}{\mathcal {F}}$ son prefiltros de modo que ${\mathcal {B}}\leq {\mathcal {F}}{\text{ entonces }}\operatorname {Red} _{\mathcal {F}}$ sea una subred Kelley de $\;\operatorname {Red} _{\mathcal {B}}.$

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 $n\in \mathbb {N} ,$ deje $B_{n}=\{1\}\cup \mathbb {N} _{\geq n}.$ Deje ${\mathcal {B}}=\{B_{n}~:~n\in \mathbb {N} \},$ que es un sistema Π propio, y sea ${\mathcal {F}}=\{\{1\}\}\cup {\mathcal {B}},$ donde ambas familias son prefiltros en los números naturales $X:=\mathbb {N} =\{1,2,\ldots \}.$ Porque ${\mathcal {B}}\leq {\mathcal {F}},{\mathcal {F}}$ es a ${\mathcal {B}}$ como una subsecuencia es a una secuencia. Entonces, idealmente, $S=\operatorname {Red} _{\mathcal {F}}$ debería ser una subred de $B=\operatorname {Red} _{\mathcal {B}}.$ Sea $I:=\operatorname {Conjuntos\,Puntuados} ({\mathcal {B}})$ el dominio de $\operatorname {Red} _{\mathcal {B}},$ por lo que $I$ contiene un subconjunto cofinal que es de orden isomorfo a $\mathbb {N}$ y, en consecuencia, no contiene ni un elemento máximo ni mayor. Sea $A:=\operatorname {Conjuntos\,Puntuados} ({\mathcal {F}})=\{M\}\cup I,{\text{ donde }}M:=(1,\{1\})$ un elemento máximo y mayor de $A.$ El conjunto dirigido $A$ también contiene un subconjunto que es de orden isomorfo a $\mathbb {N}$ (porque contiene $I,$ que contiene dicho subconjunto), pero ningún subconjunto de ese tipo puede ser cofinal en $A$ debido al elemento máximo $M.$ En consecuencia, cualquier aplicación $h:A\to I$ que preserve el orden debe ser finalmente constante (con valor $h(M)$), donde $h(M)$ es entonces el elemento mayor del rango $h(A).$ Debido a esto, no puede haber una aplicación $h:A\to I$ que preserve el orden y que satisfaga las condiciones requeridas para que $\operatorname {Red} _{\mathcal {F}}$ sea una subred Willard de $\operatorname {Red} _{\mathcal {B}}$ (porque el rango de dicha aplicación $h$ no puede ser cofinal en $I$). Supóngase, en aras de la contradicción, que existe una aplicación $h:A\to I$ tal que $h^{-1}\left(I_{\geq i}\right)$ está finalmente en $A$ para todo $i\in I.$ Porque $h(M)\in I,$ existe $n,n_{0}\in \mathbb {N}$ tal que $h(M)=\left(n_{0},B_{n}\right){\text{ con }}n_{0}\in B_{n}.$ Para cada $i\in I,$ porque $h^{-1}\left(I_{\geq i}\right)$ finalmente está en $A,$ es necesario que $h(M)\in I_{\geq i}.$ En particular, si $i:=\left(n+2,B_{n+2}\right)$ entonces $h(M)\geq i=\left(n+2,B_{n+2}\right),$ que por definición es equivalente a $B_{n}\subseteq B_{n+2},$ que es falso. En consecuencia, $\operatorname {Red} _{\mathcal {F}}$ no es una subred de Kelley de $\operatorname {Red} _{\mathcal {B}}.$​.

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.​​

Véase también

• Caracterizaciones de la categoría de espacios topológicos
• Espacio de convergencia
• Filtro (matemáticas)
• Filtro cuantificador
• Filtros en topología
• Filtración (álgebra abstracta)
• Filtración (teoría de la probabilidad)
• Filtro de Fréchet
• Filtro genérico
• Ideal (teoría de conjuntos)
• Compactación de Stone–Čech
• Teorema fundamental de los ultraproductos
• Ultrafiltro
• Ultrafiltro (teoría de conjuntos)

Notas

Demostraciones

Bibliografía

• 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 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 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 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 (Eggleston, H.G.; Madan, S., trad.). Éléments de mathématique. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190. 
• Burris, Stanley; Sankappanavar, Hanamantagouda P. (2012). A Course in Universal Algebra. Springer-Verlag. ISBN 978-0-9880552-0-9. Archivado desde el original el 1 de abril de 2022. 
• Cartan, Henri (1937a). «Théorie des filtres». Comptes Rendus Hebdomadaires des Séances de l'Academie des Sciences 205: 595-598. 
• Cartan, Henri (1937b). «Filtres et ultrafiltres». Comptes Rendus Hebdomadaires des Séances de l'Academie des Sciences 205: 777-779. 
• Comfort, William Wistar; Negrepontis, Stylianos (1974). The Theory of Ultrafilters 211. Berlin Heidelberg New York: Springer-Verlag. ISBN 978-0-387-06604-2. OCLC 1205452. 
• Császár, Ákos (1978). General topology (Császár, Klára, trad.). Bristol England: Adam Hilger Ltd. ISBN 0-85274-275-4. OCLC 4146011. 
• Dixmier, Jacques (1984). General Topology (Berberian, S. K., trad.). Undergraduate Texts in Mathematics. New York: Springer-Verlag. ISBN 978-0-387-90972-1. OCLC 10277303. 
• Dolecki, Szymon; Mynard, Frederic (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 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 de junio de 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 27. New York: Springer Science & Business Media. ISBN 978-0-387-90125-1. OCLC 338047. 
• Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I (Garling, D.J.H., trad.). Grundlehren der mathematischen Wissenschaften 159. 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 de octubre de 2021). «On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation». Logic Journal of the IGPL. doi:10.1093/jigpal/jzab030. 
• MacIver R., David (1 de julio de 2004). «Filters in Analysis and Topology». Archivado desde el original el 9 de octubre de 2007.  (Proporciona una revisión introductoria de filtros en topología y espacios métricos).
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834. 
• Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 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 8 (Second edición). 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 (1ª Ed. 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. 

• Datos: Q16545258