Filtros en topología

El retículo del conjunto potencia del conjunto $X:=\{1,2,3,4\},$ con la sección final $\{1,4{\}}^{\uparrow X}$ de color verde oscuro. Es un Plantilla:Enf, e incluso un Plantilla:Enf. No es un Plantilla:Enf, ya que se puede extender al filtro no trivial más grande $\{1{\}}^{\uparrow X}$ al incluir también los elementos de color verde claro. Como $\{1{\}}^{\uparrow X}$ no se puede ampliar más, es un ultrafiltro

Los filtros en topología, un subcampo de las matemáticas, se pueden utilizar para estudiar espacios topológicos y definir todas las nociones topológicas básicas como convergencia, continuidad o compacidad entre otras. Los filtros, que son familias especiales de subconjuntos de un conjunto determinado, también proporcionan un marco común para definir varios tipos de límites de funciones, como límites desde la izquierda/derecha, hasta el infinito, hasta un punto o un conjunto, y muchos otros. Tipos especiales de filtros llamados Plantilla:Enf tienen muchas propiedades técnicas útiles y, a menudo, pueden usarse en lugar de los filtros arbitrarios.

Los filtros tienen generalizaciones llamadas Plantilla:Enf (también conocidos como Plantilla:Enf) y Plantilla:Enf, que aparecen de forma natural y repetida en toda la topología. Los ejemplos incluyen filtros de entornos/bases/subbases y uniformidades. Cada filtro es un prefiltro y ambos son subbases de filtros. Cada prefiltro y subbase de filtros está contenido en un filtro más pequeño único, que se dice que es Plantilla:Enf. Esto establece una relación entre filtros y prefiltros que a menudo puede explotarse para permitir utilizar la noción que sea técnicamente más conveniente. Existe un cierto preorden en familias de conjuntos, denotado por $\le ,$ que ayuda a determinar exactamente cuándo y cómo una noción (filtro, prefiltro u otra) puede o no usarse. La importancia de este preorden se ve amplificada por el hecho de que también define la noción de convergencia de filtro, donde por definición, un filtro (o prefiltro) $ℬ$ Plantilla:Enf a un punto si y solo si $𝒩\le ℬ,$ donde $𝒩$ es el filtro de entornos de ese punto. En consecuencia, la subordinación también juega un papel importante en muchos conceptos relacionados con la convergencia, como los puntos de acumulación y los límites de funciones. Además, la relación $𝒮\ge ℬ,$ que se denota como $ℬ\le 𝒮$ y se expresa diciendo que $𝒮$ Plantilla:Enf $ℬ,$ también establece una correspondencia en la que $𝒮$ es a $ℬ$ como una subsucesión a una sucesión (es decir, la relación $\ge ,$ que se llama de Plantilla:Enf, es para filtros el análogo a "ser una subsucesión de").

Fueron introducidos por Henri Cartan en 1937Plantilla:Sfn y posteriormente el colectivo de matemáticos franceses agrupado bajo el seudónimo de Nicolas Bourbaki los utilizó en su libro Plantilla:Enf como una alternativa a la noción similar de red desarrollada en 1922 por E. H. Moore y H. L. Smith. También se pueden utilizar filtros para caracterizar las nociones de convergencia de sucesiones y redes. Pero a diferencia de las sucesiones y la convergencia de redes, la convergencia del filtros Plantilla:Enf en términos de subconjuntos del espacio topológico $X$ y, por lo tanto, proporciona una noción de convergencia que es completamente intrínseca al espacio topológico. De hecho, la categoría de espacios topológicos puede ser equivalentemente definida enteramente en términos de filtros. Cada red induce un filtro canónico y, dualmente, cada filtro induce una red canónica, donde esta red inducida (respectivamente, filtro inducido) converge a un punto si y solo si lo mismo ocurre con el filtro original (respectivamente, red). Esta caracterización también es válida para muchas otras definiciones, como la de puntos de acumulación. Estas relaciones permiten alternar entre filtros y redes y, a menudo, también permiten elegir cuál de estas dos nociones (filtro o red) es más conveniente para el problema en cuestión. Sin embargo, suponiendo que las "subredes" se definen utilizando cualquiera de sus definiciones más usuales (que son las dadas por Willard y por Kelley), entonces, en general, esta relación Plantilla:Enf se extiende a los filtros y subredes subordinados porque, al igual que como se detalla más adelante, existen filtros subordinados cuya relación «filtro/filtro subordinado» no se puede describir en términos de la relación «red/subred» correspondiente. Sin embargo, este problema se puede resolver utilizando una definición de "subred" menos común, que es la de subred AA.

Por lo tanto, los filtros/prefiltros y el preorden único $\le$ proporcionan un marco que une perfectamente conceptos topológicos fundamentales como espacios topológicos (mdiante los filtros de entornos), bases de entornos, convergencia, varios límites de funciones, continuidad, compacidad, sucesiones (a través de filtros secuenciales), filtros equivalentes a "subsucesiones" (relación de subordinación) o espacios uniformes entre otros; conceptos todos ellos que de otro modo parecen relativamente dispares y cuyas relaciones son menos claras.

Motivación

Ejemplo arquetípico de un filtro

El ejemplo arquetípico de un filtro es el [[Base de entornos|Plantilla:Enf]] $𝒩(x)$ en un punto $x$ de un espacio topológico $(X,\tau ),$ que es la familia de conjuntos que consta de todas los entornos de $x.$ Por definición, un entorno de un punto dado $x$ es cualquier subconjunto $B\subseteq X$ cuyo interior topológico contenga este punto; es decir, tal que $x\in {\mathrm{Int}}_{X}B.$ Es importante destacar que los entornos Plantilla:Enf se requiere que sean conjuntos abiertos (denominados Plantilla:Enf). A continuación se enumeran las propiedades fundamentales de los filtros de entornos que finalmente se convirtieron en la definición de "filtro". Un filtro Plantilla:Enf es un conjunto $ℬ$ de subconjuntos de $X$ que satisface todas las condiciones siguientes:

1. Plantilla:Enf: $X\in ℬ$    al igual que $X\in 𝒩(x),$ ya que $X$ es siempre un entorno de $x$ (y de cualquier otra cosa que contenga);
2. Plantilla:Enf: $\varnothing \in ̸ℬ$  así como ningún entorno de $x$ está vacío;
3. Plantilla:Enf: si $B,C\in ℬ\text{ entonces }B\cap C\in ℬ$  así como la intersección de dos entornos cualesquiera de $x$ es nuevamente un entorno de $x$;
4. Plantilla:Enf: si $B\in ℬ\text{ y }B\subseteq S\subseteq X$ entonces $S\in ℬ$  así como cualquier subconjunto de $X$ que contenga un entorno de $x$ Plantilla:Enf un entorno de $x$ (esto se deduce de ${\mathrm{Int}}_{X}B\subseteq {\mathrm{Int}}_{X}S$ y la definición de "un entorno de $x$").

Generalización de la convergencia de sucesiones mediante el uso de conjuntos: determinar la convergencia de sucesiones sin la sucesión

Una Plantilla:Enf es por definición una aplicación $\mathbb{N}\to X$ desde los números naturales al espacio $X.$ La noción original de convergencia en un espacio topológico era la de un sucesión convergente en algún punto dado en un espacio, como un espacio métrico. Con espacios metrizables (o más generalmente, de acuerdo con el primer axioma de numerabilidad o espacios de Fréchet-Urysohn), las sucesiones suelen ser suficientes para caracterizar o "describir" la mayoría de las propiedades topológicas, como los cierres de subconjuntos o la continuidad de funciones. Pero hay muchos espacios donde las sucesiones Plantilla:Enf pueden usarse para describir incluso propiedades topológicas básicas como el cierre o la continuidad. Este fallo de las sucesiones fue la motivación para definir nociones como redes y filtros, que Plantilla:Enf dejan de caracterizar propiedades topológicas.

Las redes generalizan directamente la noción de sucesión, ya que son, por definición, aplicaciones $I\to X$ de un conjunto dirigido $(I,\le )$ arbitrario sobre el espacio $X.$ Una sucesión es simplemente una red cuyo dominio es $I=\mathbb{N}$ con el orden natural. Las redes tienen su propia noción de convergencia, que es una generalización directa de la convergencia de sucesiones.

Los filtros generalizan la convergencia de sucesiones de una manera diferente al considerar Plantilla:Enf los valores de una sucesión. Para ver cómo se hace esto, considérese una sucesión $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}\text{ en }X,$ que, por definición, es simplemente una función $x_{\bullet }:\mathbb{N}\to X$ cuyo valor en $i\in \mathbb{N}$ se denota por $x_i$ en lugar de por la notación habitual entre paréntesis $x_{\bullet }(i)$ que se usa comúnmente para funciones arbitrarias. Conocer solo la imagen (a veces llamada "rango") $\mathrm{Im}{x}_{\bullet }:=\{x_i:i\in \mathbb{N}\}=\{x_1,x_2,\dots \}$ de la sucesión no es suficiente para caracterizar su convergencia, y se necesitan varios conjuntos. Resulta que los conjuntos necesarios son los siguientes, que se denominan Plantilla:Enf de la sucesión $x_{\bullet }$:

$\begin{array}{cccccccccccccc}{x}_{\ge 1}=& \{& & x_1,& & x_2,& & x_3,& & x_4,& & \dots & & \}\\ x_{\ge 2}=& \{& & x_2,& & x_3,& & x_4,& & x_5,& & \dots & & \}\\ x_{\ge 3}=& \{& & x_3,& & x_4,& & x_5,& & x_6,& & \dots & & \}\\ & & & & & & & ⋮& & & & & & \\ x_{\ge n}=& \{& & x_n,& & x_{n+1},& & x_{n+2},& & x_{n+3},& & \dots & & \}\\ & & & & & & & ⋮& & & & & & \\ \end{array}$

Estos conjuntos determinan completamente la convergencia (o no convergencia) de esta sucesión porque dado cualquier punto, esta sucesión converge si y solo si para cada entorno $U$ (de este punto), hay algún número entero $n$ tal que $U$ contenga todos los puntos $x_n,x_{n+1},\dots .$ Esto se puede reformular como:

Plantilla:In5 cada entorno $U$ debe contener algún conjunto de la forma $\{x_n,x_{n+1},\dots \}$ como subconjunto.

O más brevemente: cada entorno debe contener alguna cola $x_{\ge n}$ como subconjunto. Es esta caracterización la que se puede utilizar con la familia de colas anterior para determinar la convergencia (o no convergencia) de la sucesión $x_{\bullet }:\mathbb{N}\to X.$ Específicamente, con la familia de Plantilla:Enf $\{x_{\ge 1},x_{\ge 2},\dots \}$ en la mano, la Plantilla:Enf $x_{\bullet }:\mathbb{N}\to X$ ya no es necesaria para determinar la convergencia de esta sucesión (sin importar qué topología se coloque en $X$). Al generalizar esta observación, se amplía la noción de "convergencia" de sucesiones/funciones a las familias de conjuntos.

El conjunto anterior de colas de una sucesión en general no es un filtro, pero "Plantilla:Enf" un filtro tomando su Plantilla:Enf (que consta de todos los superconjuntos de todas las colas). Lo mismo ocurre con otras familias importantes de conjuntos, como cualquier base de entornos en un punto dado, que en general tampoco es un filtro pero genera un filtro a través de su cierre hacia arriba (en particular, genera el filtro de entornos en ese punto). Las propiedades que comparten estas familias llevaron a la noción de una Plantilla:Enf, también llamada Plantilla:Enf, que por definición es cualquier familia que tiene las propiedades mínimas necesarias y suficientes para generar un filtro tomando su sección final.

Redes frente a filtros: ventajas y desventajas

Los filtros y las redes tienen cada uno sus propias ventajas e inconvenientes y no hay razón para utilizar un concepto exclusivamente sobre el otro. Dependiendo de lo que se esté comprobando, la demostración puede resultar mucho más fácil si se utiliza una de estas nociones en lugar de la otra.Plantilla:Sfn Tanto los filtros como las redes se pueden utilizar para caracterizar cualquier topología dada por completo. Las redes son generalizaciones directas de las sucesiones y, a menudo, se pueden usar de manera similar a las sucesiones, por lo que la curva de aprendizaje de las redes suele ser mucho menos pronunciada que la de los filtros. Sin embargo, los filtros y especialmente los ultrafiltros tienen muchos más usos fuera de la topología, como en teoría de conjuntos, lógica matemática, teoría de modelos (ultraproductos, por ejemplo), álgebra abstracta,Plantilla:Sfn combinatoria, dinámica, teoría del orden, espacios de convergencia generalizados, espacios de Cauchy y en la definición y uso de los números hiperreales.

Al igual que las sucesiones, las redes son Plantilla:Enf y, por lo tanto, tienen las ventajas propias de las Plantilla:Enf. Por ejemplo, al igual que las sucesiones, las redes se pueden "conectar" a otras funciones, donde "conectar" significa simplemente crear una función compuesta. En consecuencia, los teoremas relacionados con funciones y composición de funciones se pueden aplicar a las redes. Un ejemplo es la propiedad universal del límite inverso, que se define en términos de composición de funciones en lugar de conjuntos y se aplica más fácilmente a funciones como redes que a conjuntos como filtros (un ejemplo destacado de límite inverso es el producto cartesiano). Los filtros pueden resultar incómodos de usar en determinadas situaciones, como cuando se cambia entre un filtro en un espacio $X$ y un filtro en un subespacio denso $S\subseteq X.$Plantilla:Sfn.

A diferencia de las redes, los filtros (y los prefiltros) son familias de Plantilla:Enf y, por lo tanto, tienen las Plantilla:Enf. Por ejemplo, si $f$ es sobreyectiva, entonces la Plantilla:Enf $f^{-1}(ℬ):=\{f^{-1}(B):B\in ℬ\}$ bajo $f^{-1}$ de un filtro o prefiltro arbitrario $ℬ$ se define fácilmente y se garantiza que será un prefiltro en el dominio de $f$, mientras que está menos claro cómo en sentido inverso (sin ambigüedades derivadas del axioma de elección) una sucesión arbitraria (o red) $y_{\bullet }$ para obtener una sucesión o red en el dominio (a menos que $f$ sea también inyectiva y, en consecuencia, una biyección, lo cual es un requisito estricto). De manera similar, la intersección de cualquier colección de filtros vuelve a ser un filtro, aunque no está claro qué podría significar esto para sucesiones o redes. Debido a que los filtros se componen de subconjuntos del mismo espacio topológico $X$ que se está considerando, se pueden aplicar operaciones de conjuntos topológicos (como el cierre o interior) a los conjuntos que constituyen el filtro. A veces es útil cerrar todos los conjuntos en un filtro en análisis funcional, por ejemplo. Los teoremas y resultados sobre imágenes o preimágenes de conjuntos bajo una función también pueden aplicarse a los conjuntos que constituyen un filtro. Un ejemplo de tal resultado podría ser uno de caracterizaciones de la continuidad en términos de preimágenes de conjuntos abiertos/cerrados o en términos de operadores interiores/cerrados. Los tipos especiales de filtros llamados Plantilla:Enf tienen muchas propiedades útiles que pueden ayudar significativamente a comprobar los resultados. Una desventaja de las redes es su dependencia de los conjuntos dirigidos que constituyen sus dominios, que en general pueden no tener ninguna relación con el espacio $X.$ De hecho, la clase de redes en un conjunto dado $X$ es demasiado grande para siquiera ser un conjunto (es una clase propia). Esto se debe a que las redes en $X$ pueden tener dominios de Plantilla:Enf cardinalidad. Por el contrario, la colección de todos los filtros (y de todos los prefiltros) en $X$ es un conjunto cuya cardinalidad no es mayor que la de $\mathrm{\wp }(\mathrm{\wp }(X)).$ Similar a una topología en $X,$ un filtro en $X$ es "intrínseco a $X$" en el sentido de que ambas estructuras Plantilla:Enf en subconjuntos de $X$ y ninguna definición requiere ningún conjunto que no pueda construirse a partir de $X$ (como $\mathbb{N}$ u otros conjuntos dirigidos, que sucesiones y redes requieren).

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 $\mathrm{\wp }(X)$ denotará el conjunto potencia de $X.$ Un subconjunto de un conjunto potencia se llama una Plantilla:Enf (o simplemente, una Plantilla:Enf) donde está definida Plantilla:Enf si es un subconjunto de $\mathrm{\wp }(X).$ Las familias de conjuntos se indicarán con letras de caligrafía mayúsculas como $ℬ,𝒞,\text{ y }ℱ.$ Siempre que se necesiten estas suposiciones, se debe asumir que $X$ no está vacío y que $ℬ,ℱ,$ 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. Estos 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 leer textos matemáticos al respecto, 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 la literatura (por ejemplo, la notación para el conjunto de todos los prefiltros de un conjunto), por lo que en tales casos este artículo utiliza cualquier notación que describa mejor el término o sea más fácil de escribir o de recordar.

La teoría de los filtros y de los prefiltros está bien desarrollada y tiene una gran cantidad de definiciones y notaciones, muchas de las cuales se enumeran con el fin de permitir una fácil búsqueda de notaciones y definiciones. Sus propiedades importantes se describen más adelante.

Operaciones con conjuntos

La isotonización del Plantilla:Enf o Plantilla:Enf en $X$Plantilla:SfnPlantilla:Sfn de una familia de conjuntos $ℬ\subseteq \mathrm{\wp }(X)$ es

y de manera similar, el Plantilla:Enf de $ℬ$ es ${ℬ}^{\downarrow }:=\{S\subseteq B:B\in ℬ\}=\bigcup _{B\in ℬ}\mathrm{\wp }(B).$

Notación y definición	Nombre
$\ker ℬ=\bigcap _{B\in ℬ}B$	Plantilla:Enf de $ℬ$Plantilla:Sfn
$S\setminus ℬ:=\{S\setminus B:B\in ℬ\}=\{S\}(\setminus )ℬ$	Plantilla:Enf donde $S$ es un conjunto.Plantilla:Sfn
$ℬ{|}_S:=\{B\cap S:B\in ℬ\}=ℬ(\cap )\{S\}$	Plantilla:EnfPlantilla:Sfn o Plantilla:Enf donde $S$ es un conjunto; a veces denotado por $ℬ\cap S$
$ℬ(\cap )𝒞=\{B\cap C:B\in ℬ\text{ y }C\in 𝒞\}$Plantilla:Sfn	Plantilla:Enf (donde $ℬ\cap 𝒞$ denota la intersección usual)
$ℬ(\cup )𝒞=\{B\cup C:B\in ℬ\text{ y }C\in 𝒞\}$Plantilla:Sfn	Plantilla:Enf (donde $ℬ\cup 𝒞$ denota la unión usual)
$ℬ(\setminus )𝒞=\{B\setminus C:B\in ℬ\text{ y }C\in 𝒞\}$	Plantilla:Enf (donde $ℬ\setminus 𝒞$ denota el complemento de un conjunto usual)
$\mathrm{\wp }(X)=\{S:S\subseteq X\}$	Plantilla:Enf de un conjunto $X$Plantilla:Sfn

En todo momento, $f$ es una aplicación.

Notación y definición	Nombre
$f^{-1}(ℬ)=\{f^{-1}(B):B\in ℬ\}$Plantilla:Sfn	Plantilla:Enf de $ℬ\text{ todo }{f}^{-1},$ o la Plantilla:Enf de $ℬ$ bajo $f$
$f(ℬ)=\{f(B):B\in ℬ\}$Plantilla:Sfn	Plantilla:Enf de $ℬ$ bajo $f$
$\mathrm{imagen}f=f(\mathrm{dominio}f)$	Plantilla:Enf (o rango) de $f$

Notación de topología

Denota el conjunto de todas las topologías en un conjunto $X\text{ por }\mathrm{Top}(X).$ Supóngase que $\tau \in \mathrm{Top}(X),$ $S\subseteq X$ es cualquier subconjunto y $x\in X$ es cualquier punto.

Notación y definición	Nombre
$\tau (S)=\{O\in \tau :S\subseteq O\}$	Plantilla:Enf o Plantilla:Enf Plantilla:Enf de $S\text{ en }(X,\tau )$
$\tau (x)=\{O\in \tau :x\in O\}$	Plantilla:Enf o Plantilla:Enf Plantilla:Enf de $x\text{ en }(X,\tau )$
${𝒩}_{\tau }(S)=𝒩(S):=\tau (S{)}^{\uparrow X}$	Plantilla:Enf o Plantilla:Enf Plantilla:Enf de $S\text{ en }(X,\tau )$
${𝒩}_{\tau }(x)=𝒩(x):=\tau (x{)}^{\uparrow X}$	Plantilla:Enf o Plantilla:Enf de $x\text{ en }(X,\tau )$

Si $\varnothing \ne S\subseteq X$, entonces $\tau (S)=\bigcap _{s\in S}\tau (s)\text{ y }{𝒩}_{\tau }(S)=\bigcap _{s\in S}{𝒩}_{\tau }(s).$

Redes y sus colas

Un Plantilla:Enf es un conjunto $I$ junto con un preorden, que se denotará por $\le$ (a menos que se indique explícitamente lo contrario), que convierte a $(I,\le )$ en un Plantilla:Enf (Plantilla:Enf).Plantilla:Sfn Esto significa que para todo $i,j\in I,$ existe algún $k\in I$ tal que $i\le k\text{ y }j\le k$ para cualquier par de índices $i\text{ y }j,$ la notación $j\ge i$ se define como $i\le j$ mientras que $i<j$ se define para significar que $i\le j$ se cumple, pero Plantilla:Enf es cierto que $j\le i$ (si $\le$ es antisimétrica, entonces esto es equivalente a $i\le j\text{ y }i\ne j$).

Una Plantilla:EnfPlantilla:Sfn es una aplicación 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.$

Notación y definición	Nombre
$I_{\ge i}=\{j\in I:j\ge i\}$	Plantilla:Enf o Plantilla:Enf, donde $(I,\le )$ es un conjunto dirigido.
$x_{\ge i}=\{x_j:j\ge i\text{ y }j\in I\}$	Plantilla:Enf o Plantilla:Enf
$\mathrm{Colas}\left(x_{\bullet }\right)=\{x_{\ge i}:i\in I\}$	Plantilla:Enf o Plantilla:Enf/Plantilla:Enf de $x_{\bullet }.$ También llamado Plantilla:Enf generado por (las colas de) $x_{\bullet }={\left(x_i\right)}_{i\in I}.$ Si $x_{\bullet }$ es una sucesión, entonces $\mathrm{Colas}\left(x_{\bullet }\right)$ también es denominado Plantilla:Enf.Plantilla:Sfn
$\mathrm{F}\mathrm{i}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{a}\mathrm{s}\left(x_{\bullet }\right)=\mathrm{Colas}{\left(x_{\bullet }\right)}^{\uparrow X}$	Plantilla:Enf (Plantilla:Enf) de/generado por (colas de) $x_{\bullet }$Plantilla:Sfn
$f\left(I_{\ge i}\right)=\{f(j):j\ge i\text{ y }j\in I\}$	Plantilla:Enf o Plantilla:Enf,Plantilla:Sfn donde $(I,\le )$ 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}=\{x_j:j>i\text{ y }j\in I\},$ que se llama Plantilla:Enf, esté vacío (por ejemplo, esto sucede si $i$ es una cota superior del conjunto dirigido $I$). En este caso, la familia $\{x_{>i}:i\in I\}$ contendría el conjunto vacío, lo que impediría que fuera un prefiltro (tal como se define más adelante). Esta es la razón (importante) para definir las $\mathrm{Colas}\left(x_{\bullet }\right)$ como $\{x_{\ge i}:i\in I\}$ en lugar de $\{x_{>i}:i\in I\}$ o incluso $\{x_{>i}:i\in I\}\cup \{x_{\ge i}:i\in I\}$ 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 $\le .$

Filtros y prefiltros

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

Muchas de las propiedades de $ℬ$ definidas arriba y abajo, como "propia" y "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.

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\ne \varnothing$ siempre que esta suposición sea necesaria.

Ejemplos básicos

Ejemplos nombrados

• El conjunto unitario $ℬ=\{X\}$ se llama Plantilla:Enf o Plantilla:Enf sobre $X.$Plantilla:SfnPlantilla:Sfn Es el filtro Plantilla:Enf único 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 $\mathrm{\wp }(X)$ también se llama Plantilla:EnfPlantilla:Sfn (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 un filtro de entornos $𝒩(x)$ en $x$ es un filtro en $X.$ Por definición, una familia $ℬ\subseteq \mathrm{\wp }(X)$ se llama Plantilla:Enf (respectivamente, una Plantilla:Enf) en $x\text{ para }(X,\tau )$ si y solo si $ℬ$ es un prefiltro (respectivamente, $ℬ$ es una subbase de filtros) y el filtro en $X$ que genera $ℬ$ es igual al filtro de entornos $𝒩(x).$ La subfamilia $\tau (x)\subseteq 𝒩(x)$ de entornos abiertas es una base de filtros para $𝒩(x).$ Ambos prefiltros $𝒩(x)\text{ y }\tau (x)$ también forman una base para topologías en $X,$ con la topología generada $\tau (x)$ siendo más gruesa que $\tau .$ Este ejemplo se generaliza inmediatamente desde entornos de puntos a entornos de subconjuntos no vacíos $S\subseteq X.$
• $ℬ$ es un Plantilla:Enf si $ℬ=\mathrm{Colas}\left(x_{\bullet }\right)$ para alguna sucesión de puntos $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}.$
• $ℬ$ es un Plantilla:Enf o un Plantilla:Enf sobre $X$Plantilla:Sfn si $ℬ$ es un filtro sobre $X$ generado por algún prefiltro elemental. El filtro de colas generado por una sucesión que finalmente no es constante y Plantilla:Enf es necesariamente un ultrafiltro.Plantilla:Sfn Cada filtro principal en un conjunto numerable es una sucesión al igual que cada filtro cofinito en un conjunto numerable infinito.Plantilla:Sfn La intersección de un número finito de filtros de sucesiones es nuevamente una sucesión.Plantilla:Sfn
• El conjunto $ℱ$ de todos los subconjuntos cofinitos de $X$ (es decir, aquellos conjuntos cuyo complemento en $X$ es finito) es propio si y solo si $ℱ$ es infinito (o equivalentemente, $X$ es infinito), en cuyo caso $ℱ$ es un filtro en $X$ conocido como [[Filtro de Fréchet|Plantilla:Enf]] o Plantilla:Enf en $X.$Plantilla:SfnPlantilla:Sfn Si $X$ es finito, entonces $ℱ$ es igual al ideal dual $\mathrm{\wp }(X),$ que no es un filtro. Si $X$ es infinita, 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 ℱ=\varnothing .$
• La intersección de todos los elementos en cualquier familia no vacía $𝔽\subseteq \mathrm{Filtros}(X)$ es en sí misma un filtro en $X$, llamado Plantilla:Enf o Plantilla:Enf de $𝔽\text{ en }\mathrm{Filtros}(X),$ por lo que puede denotarse como $\underset{ℱ\in 𝔽}{\bigwedge }ℱ.$ Dicho de otra manera, $\ker 𝔽=\bigcap _{ℱ\in 𝔽}ℱ\in \mathrm{Filtros}(X).$ Dado 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 }\le$) contenido como un subconjunto de cada miembro de $𝔽.$Plantilla:Sfn.
  • Si $ℬ\text{ y }ℱ$ son filtros, entonces su mínimo en $\mathrm{Filtros}(X)$ es el filtro $ℬ(\cup )ℱ.$Plantilla:Sfn Si $ℬ\text{ y }ℱ$ son prefiltros, entonces $ℬ(\cup )ℱ$ es un prefiltro que es más grueso que ambos $ℬ\text{ y }ℱ$ (es decir, $ℬ(\cup )ℱ\le ℬ\text{ y }ℬ(\cup )ℱ\le ℱ$). De hecho, es uno de los prefiltros más finos, lo que significa que si $𝒮$ es un prefiltro tal que $𝒮\le ℬ\text{ y }𝒮\le ℱ$, entonces necesariamente $𝒮\le ℬ(\cup )ℱ.$Plantilla:Sfn. Más generalmente, si $ℬ\text{ y }ℱ$ son familias no vacías y si $𝕊:=\{𝒮\subseteq \mathrm{\wp }(X):𝒮\le ℬ\text{ y }𝒮\le ℱ\}$, entonces $ℬ(\cup )ℱ\in 𝕊$ y $ℬ(\cup )ℱ$ son supremos de $(𝕊,\le ).$Plantilla:Sfn
• Deja $\varnothing \ne 𝔽\subseteq \mathrm{I}\mathrm{d}\mathrm{e}\mathrm{a}\mathrm{l}\mathrm{e}\mathrm{s}\mathrm{D}\mathrm{u}\mathrm{a}\mathrm{l}\mathrm{e}\mathrm{s}(X)$ y deja $\cup 𝔽=\bigcup _{ℱ\in 𝔽}ℱ.$ El Plantilla:Enf o Plantilla:Enf de $𝔽\text{ en }\mathrm{I}\mathrm{d}\mathrm{e}\mathrm{a}\mathrm{l}\mathrm{e}\mathrm{s}\mathrm{D}\mathrm{u}\mathrm{a}\mathrm{l}\mathrm{e}\mathrm{s}(X),$ denotado por $\underset{ℱ\in 𝔽}{\bigvee }ℱ,$ es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene cada elemento de $𝔽$ como un subconjunto; es decir, es el ideal dual más pequeño (en relación con $\subseteq$) en $X$ que contiene a $\cup 𝔽$ como subconjunto. Este ideal dual es $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X},$ donde $\pi (\cup 𝔽):=\{F_1\cap \cdots \cap F_n:n\in \mathbb{N}\text{ y cada }{F}_i\text{ pertenece a algún }ℱ\in 𝔽\}$ es el sistema Π generado por $\cup 𝔽.$ Al igual que con cualquier familia de conjuntos no vacía, $\cup 𝔽$ está contenida en Plantilla:Enf en $X$ si y solo si es una subbase de filtros, o de manera equivalente, si y solo si $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X}$ es un filtro en $X,$ en cuyo caso esta familia es el filtro más pequeño (relativo a $\subseteq$) en $X$ que contiene cada elemento de $𝔽$ como un subconjunto y necesariamente $𝔽\subseteq \mathrm{Filtros}(X).$
• Sean $\varnothing \ne 𝔽\subseteq \mathrm{Filtros}(X)$ y $\cup 𝔽=\bigcup _{ℱ\in 𝔽}ℱ.$ El Plantilla:Enf o Plantilla:Enf de $𝔽\text{ en }\mathrm{Filtros}(X),$ denotado por $\underset{ℱ\in 𝔽}{\bigvee }ℱ$ si existe, es por definición el más pequeño (en relación con $\subseteq$) filtro en $X$ que contiene cada elemento de $𝔽$ como un subconjunto. Si existe, entonces necesariamente $\underset{ℱ\in 𝔽}{\bigvee }ℱ=\pi {(\cup 𝔽)}^{\uparrow X}$Plantilla:Sfn (como se definió anteriormente) y $\underset{ℱ\in 𝔽}{\bigvee }ℱ$ también serán iguales a la intersección de todos los filtros en $X$ que contengan a $\cup 𝔽.$ Este supremo de $𝔽\text{ en }\mathrm{Filtros}(X)$ existe si y solo si el ideal dual $\pi {(\cup 𝔽)}^{\uparrow X}$ es un filtro en $X.$ Es posible que el límite superior mínimo de una familia de filtros $𝔽$ no sea un filtro.Plantilla:Sfn De hecho, si $X$ contiene al menos 2 elementos distintos, entonces existen filtros $ℬ\text{ y }𝒞\text{ sobre }X$ para los cuales Plantilla:Enf existe un filtro $ℱ\text{ sobre }X$ que contenga a ambos $ℬ\text{ y }𝒞.$ Si $\cup 𝔽$ no es una subbase de filtros, entonces el supremo de $𝔽\text{ en }\mathrm{Filtros}(X)$ no existe y lo mismo ocurre con su supremo en $\mathrm{Prefiltros}(X)$, pero su supremo en el conjunto de todos los ideales duales en $X$ existirá (siendo el filtro degenerado $\mathrm{\wp }(X)$).Plantilla:Sfn
  • Si $ℬ\text{ y }ℱ$ son prefiltros (respectivamente, filtros en $X$), entonces $ℬ(\cap )ℱ$ es un prefiltro (respectivamente, un filtro) si y solo si no es degenerado (o dicho de otra manera, si y solo si $ℬ\text{ y }ℱ$ concuerdan), en cuyo caso es uno de los Plantilla:Enf (respectivamente, Plantilla:Enf) en $X$ que es más fino (con respecto a $\le$) que ambos $ℬ\text{ y }ℱ.$ Esto significa que si $𝒮$ es cualquier prefiltro (respectivamente, cualquier filtro) tal que $ℬ\le 𝒮\text{ y }ℱ\le 𝒮$, entonces necesariamente $ℬ(\cap )ℱ\le 𝒮,$Plantilla:Sfn en cuyo caso se denota por $ℬ\vee ℱ.$Plantilla:Sfn

Otros ejemplos

• Sea $X=\{p,1,2,3\}$ y considérese que $ℬ=\{\{p\},\{p,1,2\},\{p,1,3\}\},$ lo que convierte a $ℬ$ en un prefiltro y una subbase de filtros que no está cerrada bajo intersecciones finitas. Debido a que $ℬ$ es un prefiltro, el prefiltro más pequeño que contiene a $ℬ$ es $ℬ.$ El sistema Π generado por $ℬ$ es $\{\{p,1\}\}\cup ℬ.$ En particular, el prefiltro más pequeño que contiene a la subbase de filtros $ℬ$, Plantilla:Enf es igual al conjunto de todas las intersecciones finitas de conjuntos en $ℬ.$ El filtro en $X$ generado por $ℬ$ es ${ℬ}^{\uparrow X}=\{S\subseteq X:p\in S\}=\{\{p\}\cup T:T\subseteq \{1,2,3\}\}.$ Los tres $ℬ,$ que genera el sistema Π$ℬ$, y ${ℬ}^{\uparrow X}$ son ejemplos de valores fijos, principales, ultra prefiltros que son principales en el punto $p;{ℬ}^{\uparrow X}$ y que también son un ultrafiltros en $X.$
• Sea $(X,\tau )$ un espacio topológico, $ℬ\subseteq \mathrm{\wp }(X),$ y defínase $\overline{ℬ}:=\{{\mathrm{cl}}_{X}B:B\in ℬ\},$ donde $ℬ$ es necesariamente más fino que $\overline{ℬ}.$Plantilla:Sfn Si $ℬ$ no está vacío (respectivamente, no degenerado, una subbase de filtro, un prefiltro, cerrado bajo uniones finitas), entonces lo mismo se aplica a $\overline{ℬ}.$ Si $ℬ$ es un filtro en $X$, entonces $\overline{ℬ}$ es un prefiltro pero no necesariamente un filtro en $X$, aunque ${\left(\overline{ℬ}\right)}^{\uparrow X}$ es un filtro en $X$ equivalente a $\overline{ℬ}.$
• El conjunto $ℬ$ 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 $ℬ.$ Si $X={ℝ}^n$ (con $1\le n\in \mathbb{N}$), entonces el conjunto ${ℬ}_{\mathrm{LebFinito}}$ de todos los $B\in ℬ$ tal que $B$ tiene medida de Lebesgue finita es un sistema Π propio y un prefiltro libre que también es un subconjunto de $ℬ.$ Los prefiltros ${ℬ}_{\mathrm{LebFinito}}$ y $ℬ$ son equivalentes y, por lo tanto, generan el mismo filtro en $X.$ El prefiltro ${ℬ}_{\mathrm{LebFinito}}$ está correctamente contenido en el prefiltro que consta de todos los subconjuntos abiertos densos de $ℝ$, y no es equivalente a él. Dado que $X$ es un espacio de Baire, cada intersección numerable de conjuntos en ${ℬ}_{\mathrm{LebFinito}}$ es densa en $X$ (y también coexigua y no escasa), por lo que el conjunto de todas las intersecciones numerables de elementos de ${ℬ}_{\mathrm{LebFinito}}$ es un prefiltro y un sistema Π, y también es más fino que ${ℬ}_{\mathrm{LebFinito}}$
y no es equivalente a él.

Ultrafiltros

Hay muchas otras caracterizaciones de "ultrafiltro" y "ultra prefiltro", que se enumeran en el artículo sobre ultrafiltros. En ese artículo también se describen propiedades importantes de los ultrafiltros.

Lema del ultrafiltro

El siguiente teorema importante se debe a Alfred Tarski (1930).Plantilla:Sfn

Una consecuencia del lema de los ultrafiltros es que cada filtro es igual a la intersección de todos los ultrafiltros que lo contienen.Plantilla:Sfn 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 Plantilla:Enf se opera 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, y pude 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.

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

(1) $ℬ,$ (2) el sistema Π generado por $ℬ,$ y (3) el filtro generado por $ℬ.$

Si $f$ es una aplicación, entonces $f(\ker ℬ)\subseteq \ker f(ℬ)\text{ y }{f}^{-1}(\ker ℬ)=\ker f^{-1}(ℬ).$ Las familias equivalentes tienen núcleos iguales. Dos familias principales son equivalentes si y solo si sus núcleos son iguales.

Clasificación de familias por sus núcleos

Si $ℬ$ es un filtro principal en $X$, entonces $\varnothing \ne \ker ℬ\in ℬ$ y $ℬ=\{\ker ℬ{\}}^{\uparrow X}$ y $\{\ker ℬ\}$ es también el prefiltro más pequeño que genera $ℬ.$

Familia de ejemplos: Para cualquier $C\subseteq ℝ,$ no vacío, la familia ${ℬ}_C=\{ℝ\setminus (r+C):r\in ℝ\}$ es libre pero es una subbase de filtros si y solo si ninguna unión finita de la forma $(r_1+C)\cup \cdots \cup (r_n+C)$ recubre $ℝ,$ en cuyo caso el filtro que genere también será libre. En particular, ${ℬ}_C$ es una subbase de filtros si $C$ es numerable (por ejemplo, $C=\mathbb{Q},\mathbb{Z},$ los primos), un conjunto exiguo en $ℝ,$ es un conjunto de medida finita o un subconjunto acotado de $ℝ.$ Si $C$ es un conjunto unitario, entonces ${ℬ}_C$ es una subbase para un filtro de Fréchet en $ℝ.$

Caracterización de ultra prefiltros fijos

Si una familia de conjuntos $ℬ$ es fija (es decir, $\ker ℬ\ne \varnothing$), entonces $ℬ$ es ultra si y solo si algún elemento de $ℬ$ es un conjunto unitario, en cuyo caso $ℬ$ será necesariamente un prefiltro. Cada prefiltro principal es fijo, por lo que un prefiltro principal $ℬ$ es ultra si y solo si $\ker ℬ$ 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.Plantilla:Sfn

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

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

El preorden $\le$ 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 prefiltro equivalente a "subsucesión",Plantilla:Sfn donde "$ℱ\ge 𝒞$" puede interpretarse como que "$ℱ$ es una subsucesión de $𝒞$" (por lo que "subordinado a" es el equivalente para un prefiltro de "subsucesión de"). También se utiliza para definir la convergencia del prefiltro en un espacio topológico. La definición de $ℬ$ encaja con $𝒞,$ que está estrechamente relacionada con el preorden $\le ,$ y se utiliza en topología para definir puntos de acumulación.

Que dos familias de conjuntos $ℬ\text{ y }𝒞$ Plantilla:EnfPlantilla:Sfn y son Plantilla:Enf, se indica escribiendo $ℬ\mathrm{\#}𝒞,$ si $B\cap C\ne \varnothing \text{ para todo }B\in ℬ\text{ y }C\in 𝒞.$ Si $ℬ\text{ y }𝒞$ no concuerdan, entonces se dice que están Plantilla:Enf. Si $S\subseteq X\text{ y }ℬ\subseteq \mathrm{\wp }(X)$, entonces $ℬ\text{ y }S$ se dice que Plantilla:Enf si $ℬ\text{ y }\{S\}$ concuerdan, o equivalentemente, si la Plantilla:Enf de $ℬ\text{ sobre }S,$ que es la familia

$ℬ{|}_S=\{B\cap S:B\in ℬ\},$

no contiene el conjunto vacío, donde la traza también se denomina Plantilla:Enf de $ℬ\text{ a }S.$

Ejemplo: Si $x_{i_{\bullet }}={\left(x_{i_n}\right)}_{n=1}^{\mathrm{\infty }}$ es una subsucesión de $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$, entonces $\mathrm{Colas}\left(x_{i_{\bullet }}\right)$ está subordinada a $\mathrm{Colas}\left(x_{\bullet }\right).$ Expresado simbólicamente, $\mathrm{Colas}\left(x_{i_{\bullet }}\right)⊢\mathrm{Colas}\left(x_{\bullet }\right)$ y también $\mathrm{Colas}\left(x_{\bullet }\right)\le \mathrm{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_{\ge i}\in \mathrm{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_{\ge n}}\in \mathrm{Colas}\left(x_{i_{\bullet }}\right).$ Para que el conjunto $x_{\ge i}=\{x_i,x_{i+1},\dots \}$ contenga a $x_{i_{\ge n}}=\{x_{i_n},x_{i_{n+1}},\dots \},$ es suficiente que $i\le i_n.$ Dado que $i_1<i_2<\cdots$ son números enteros estrictamente crecientes, existe $n\in \mathbb{N}$ tal que $i_n\ge i,$ y, por lo tanto, $x_{\ge i}\supseteq x_{i_{\ge n}}$ se cumple, según se quería demostrar.

En consecuncia, $\mathrm{F}\mathrm{i}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{a}\mathrm{s}\left(x_{\bullet }\right)\subseteq \mathrm{F}\mathrm{i}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{c}\mathrm{o}\mathrm{l}\mathrm{a}\mathrm{s}\left(x_{i_{\bullet }}\right).$ El lado izquierdo de la ecuación será un subconjunto Plantilla:Enf 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 subsucesión $(x_2,x_4,x_6,\dots )$ con índice par porque, en estas condiciones, cada cola $x_{i_{\ge n}}=\{x_{2n},x_{2n+2},x_{2n+4},\dots \}$ (para cada $n\in \mathbb{N}$) de la subsucesión, pertenecerá al filtro del lado derecho pero no al filtro del lado izquierdo.

Otro ejemplo. Si $ℬ$ es cualquier familia, entonces $\varnothing \le ℬ\le ℬ\le \{\varnothing \}$ siempre se mantiene y, además, $\{\varnothing \}\le ℬ\text{ si y solo si }\varnothing \in ℬ.$

Una familia no vacía que sea más gruesa que una subbase de filtros debe ser en sí misma una subbase de filtros.Plantilla:Sfn Cada subbase de filtros es más gruesa que tanto el sistema Π que genera como el filtro que genera.Plantilla:Sfn

Si $𝒞\text{ y }ℱ$ son familias tales que $𝒞\le ℱ,$ la familia $𝒞$ es ultra, y $\varnothing \in ̸ℱ,$ entonces $ℱ$ es necesariamente ultra. De ello se deduce que cualquier familia que sea equivalente a una familia ultra necesariamente Plantilla:Enf ultra. En particular, si $𝒞$ es un prefiltro, entonces tanto $𝒞$ como el filtro ${𝒞}^{\uparrow X}$ que genera son ultra, o ninguno es ultra.

La relación $\le$ es reflexiva y transitiva, lo que la convierte en un preorden en $\mathrm{\wp }(\mathrm{\wp }(X)).$Plantilla:Sfn. La relación $\le \text{ sobre }\mathrm{Filtros}(X)$ es antisimétrica, pero si $X$ tiene más de un punto entonces Plantilla:Enf es simétrica.

Familias equivalentes de conjuntos

El preorden $\le$ induce su relación de equivalencia canónica en $\mathrm{\wp }(\mathrm{\wp }(X)),$ donde para todo $ℬ,𝒞\in \mathrm{\wp }(\mathrm{\wp }(X)),$ $ℬ$ es Plantilla:Enf a $𝒞$ si se cumple alguna de las siguientes condiciones equivalentes:Plantilla:SfnPlantilla:Sfn

1. $𝒞\le ℬ\text{ y }ℬ\le 𝒞.$
2. Los cierres hacia arriba de $𝒞\text{ y }ℬ$ son iguales.

Dos subconjuntos cerrados hacia arriba (en $X$) de $\mathrm{\wp }(X)$ son equivalentes si y solo si son iguales.Plantilla:Sfn Si $ℬ\subseteq \mathrm{\wp }(X)$, entonces necesariamente $\varnothing \le ℬ\le \mathrm{\wp }(X)$ y $ℬ$ es equivalente a ${ℬ}^{\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.$Plantilla:Sfn.

Propiedades preservadas entre familias equivalentes

Sea $ℬ,𝒞\in \mathrm{\wp }(\mathrm{\wp }(X))$ arbitrario y sea $ℱ$ cualquier familia de conjuntos. Si $ℬ\text{ y }𝒞$ son equivalentes (lo que implica que $\ker ℬ=\ker 𝒞$), entonces para cada una de las afirmaciones/propiedades enumeradas a continuación, o es verdadera para Plantilla:Enf $ℬ\text{ y }𝒞$ o es falsa para Plantilla:Enf $ℬ\text{ y }𝒞$:Plantilla:Sfn

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 este caso, $ℬ\text{ y }𝒞$ generan el mismo filtro en $X$ (es decir, sus cierres hacia arriba en $X$ son iguales).
5. Libre
6. Dirigido
7. Ultra
8. Igual al filtro trivial $\{X\}$
   • En otras palabras, esto significa que el único subconjunto de $\mathrm{\wp }(X)$ que es equivalente al filtro trivial Plantilla:Enf 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. Concordante con $ℱ$
10. Ser más fina que $ℱ$
11. Ser más gruesa que $ℱ$
12. Ser equivalente a $ℱ$

En la lista anterior falta la palabra "filtro", porque esta propiedad Plantilla:Enf es conservada por la equivalencia. Sin embargo, si $ℬ\text{ y }𝒞$ son filtros en $X,$ entonces son equivalentes si y solo si son iguales. Esta caracterización Plantilla:Enf se extiende a los prefiltros.

Equivalencia de prefiltros y subbases de filtros

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

1. $ℬ$
2. El sistema Π generado por $ℬ$
3. El filtro en $X$ generado por $ℬ$

y además, estas tres familias generan el mismo filtro en $X$ (es decir, los cierres ascendentes 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.Plantilla:Sfn 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.Plantilla:Sfn

Una subbase de filtro que Plantilla:Enf sea también un prefiltro, Plantilla:Enf puede 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 esto no se puede hacer con las subbases de filtros

Propiedades en teoría de conjuntos y construcciones relevantes para la topología

Traza y concordancia

Si $ℬ$ es un prefiltro (respectivamente, filtro) en $X\text{ y }S\subseteq X$, entonces la traza de $ℬ\text{ sobre }S,$ que es la familia $ℬ{|}_S:=ℬ(\cap )\{S\},$ es un prefiltro (respectivamente, un filtro) si y solo si concuerdan $ℬ\text{ y }S$ (es decir, $\varnothing \in ̸ℬ(\cap )\{S\}$Plantilla:Sfn), en cuyo caso se dice que la traza de $ℬ\text{ sobre }S$ es Plantilla:Enf. La traza es siempre más fina que la familia original; es decir, $ℬ\le ℬ{|}_S.$ Si $ℬ$ es ultra y si $ℬ\text{ y }S$ concuerdan, entonces la traza $ℬ{|}_S$ es ultra. Si $ℬ$ es un ultrafiltro en $X$, entonces la traza de $ℬ\text{ sobre }S$ es un filtro en $S$ si y solo si $S\in ℬ.$

Por ejemplo, supóngase que $ℬ$ es un filtro en $X\text{ y }S\subseteq X$ y es tal que $S\ne X\text{ y }X\setminus S\in ̸ℬ.$ Entonces, $ℬ\text{ y }S$ concuerdan y $ℬ\cup \{S\}$ genera un filtro en $X$ que es estrictamente más fino que $ℬ.$Plantilla:Sfn

Concordancia de prefiltros Dadas las familias no vacías $ℬ\text{ y }𝒞,$ la familia

$ℬ(\cap )𝒞:=\{B\cap C:B\in ℬ\text{ y }C\in 𝒞\}$

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

Plantilla:In5Dos prefiltros (respectivamente, subbases de filtros) $ℬ\text{ y }𝒞$ concuerdan si y solo si existe un prefiltro (respectivamente, subbase de filtros) $ℱ$ tal que $𝒞\le ℱ$ y $ℬ\le ℱ.$

Si el límite superior mínimo de dos filtros $ℬ\text{ y }𝒞$ existe en $\mathrm{Filtros}(X)$, entonces este límite superior mínimo es igual a $ℬ(\cap )𝒞.$Plantilla:Sfn

Imágenes y preimágenes bajo funciones

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

Imágenes de prefiltros

Sea $ℬ\subseteq \mathrm{\wp }(Y).$ Muchas de las propiedades que $ℬ$ pueda tener se conservan bajo imágenes de aplicaciones. Las excepciones notables incluyen estar cerrado hacia arriba, estar cerrado bajo intersecciones finitas y ser un filtro, que no necesariamente se conservan.

Explícitamente, si una de las siguientes propiedades es cierta para $ℬ\text{ sobre }Y,$ entonces necesariamente también será cierta para $g(ℬ)\text{ sobre }g(Y)$ (aunque posiblemente no en el codominio $Z$, a menos que $g$ sea sobreyectiva):Plantilla:SfnPlantilla:SfnPlantilla:SfnPlantilla:SfnPlantilla:SfnPlantilla:Sfn ultra, ultrafiltro, filtro, prefiltro, subbase de filtro, ideal dual, cerrado hacia arriba, propio/no degenerado, ideal, cerrado bajo uniones finitas, cerrado hacia abajo, dirigido hacia arriba. Además, si $ℬ\subseteq \mathrm{\wp }(Y)$ es un prefiltro, también lo son $g(ℬ)\text{ y }{g}^{-1}(g(ℬ)).$Plantilla:Sfn. La imagen bajo una aplicación $f:X\to Y$ de un conjunto ultra $ℬ\subseteq \mathrm{\wp }(X)$ es nuevamente ultra y si $ℬ$ es un ultra prefiltro, entonces también lo es $f(ℬ).$

Si $ℬ$ es un filtro, entonces $g(ℬ)$ es un filtro en el rango $g(Y),$ pero es un filtro en el codominio $Z$ si y solo si $g$ es sobreyectiva.Plantilla:Sfn 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(ℬ)\text{ en }Z$ es

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

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

$g(ℬ{)}^{\uparrow Z}=\{S\subseteq Z:g^{-1}(S)\in ℬ\}.$

Si $X\subseteq Y$, entonces se debe tomar $g$ como la aplicació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 filtros) en $Y.$Plantilla:Sfn

Preimágenes de prefiltros

Sea $ℬ\subseteq \mathrm{\wp }(Y).$ Bajo el supuesto de que $f:X\to Y$ es sobreyectiva, se cumple que:

Plantilla:In5$f^{-1}(ℬ)$ es un prefiltro (respectivamente, subbase de filtros, sistema Π, cerrado bajo uniones finitas, propio) si y solo si esto es cierto para $ℬ.$

Sin embargo, si $ℬ$ es un ultrafiltro en $Y$, incluso si $f$ es sobreyectiva (lo que convertiría a $f^{-1}(ℬ)$ en un prefiltro), aún es posible que el prefiltro $f^{-1}(ℬ)$ no sea ni ultra ni un filtro en $X.$Plantilla:HspPlantilla:Sfn.

Si $f:X\to Y$ no es sobreyectiva, entonces se denomina traza de $ℬ\text{ sobre }f(X)$ por $ℬ{|}_{f(X)},$ donde en este caso particular la traza satisface que:

$ℬ{|}_{f(X)}=f(f^{-1}(ℬ))$

y en consecuencia, también que:

$f^{-1}(ℬ)=f^{-1}\left(ℬ{|}_{f(X)}\right).$

Esta última igualdad y el hecho de que la traza $ℬ{|}_{f(X)}$ sea una familia de conjuntos sobre $f(X)$, significa que para sacar conclusiones sobre $f^{-1}(ℬ),$ se puede utilizar la traza $ℬ{|}_{f(X)}$ en lugar de $ℬ$ y la Plantilla:Enf $f:X\to f(X)$ se puede utilizar en lugar de $f:X\to Y.$ Por ejemplo:Plantilla:SfnPlantilla:SfnPlantilla:Sfn

Plantilla:In5$f^{-1}(ℬ)$ es un prefiltro (respectivamente, subbase de filtros, sistema Π, propio) si y solo si esto es cierto para $ℬ{|}_{f(X)}.$

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

Incluso si $ℬ$ es un ultrafiltro en $Y,$ y si $f$ no es sobreyectiva, es posible que $\varnothing \in ℬ{|}_{f(X)},$ lo que haría que $f^{-1}(ℬ)$ también sea degenerada. La siguiente caracterización muestra que la degeneración es el único obstáculo. Si $ℬ$ es un prefiltro, entonces lo siguiente es equivalente:Plantilla:SfnPlantilla:SfnPlantilla:Sfn

1. $f^{-1}(ℬ)$ es un prefiltro
2. $ℬ{|}_{f(X)}$ es un prefiltro
3. $\varnothing \in ̸ℬ{|}_{f(X)}$
4. $ℬ$ concuerda con $f(X)$

y además, si $f^{-1}(ℬ)$ es un prefiltro, entonces también lo es $f(f^{-1}(ℬ)).$Plantilla:SfnPlantilla:Sfn

Si $S\subseteq Y$ y $\mathrm{In}:S\to Y$ denotan la aplicación de inclusión, entonces la traza de $ℬ\text{ sobre }S$ es igual a ${\mathrm{In}}^{-1}(ℬ).$Plantilla:Sfn Esta observación permite que los resultados de esta subsección se apliquen a la investigación de la traza en un conjunto.

Preservación de la subordinación a través de imágenes y preimágenes

La relación $\le$ se conserva tanto en imágenes como en preimágenes de familias de conjuntos.Plantilla:Sfn Esto significa que para Plantilla:Enf $𝒞\text{ y }ℱ,$Plantilla:Sfn

$𝒞\le ℱ\text{ implica que }g(𝒞)\le g(ℱ)\text{ y }{f}^{-1}(𝒞)\le f^{-1}(ℱ).$

Además, las siguientes relaciones siempre se cumplen para Plantilla:Enf $𝒞$:Plantilla:Sfn

$𝒞\le f(f^{-1}(𝒞))$

donde la igualdad se mantendrá si $f$ es sobreyectivo.Plantilla:Sfn Además,

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

Si $ℬ\subseteq \mathrm{\wp }(X)\text{ y }𝒞\subseteq \mathrm{\wp }(Y)$ entoncesPlantilla:Sfn

$f(ℬ)\le 𝒞\text{ si y solo si }ℬ\le f^{-1}(𝒞)$

y $g^{-1}(g(𝒞))\le 𝒞$Plantilla:Sfn donde se mantendrá la igualdad si $g$ es inyectiva.Plantilla:Sfn

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

$\mathrm{Pr}{}_{X_i}:\prod X_{\bullet }\to X_i$

denotando la proyección canónica. Sean ${ℬ}_{\bullet }:={\left({ℬ}_i\right)}_{i\in I}$ familias no vacías, también indexadas por $I,$ de modo que ${ℬ}_i\subseteq \mathrm{\wp }\left(X_i\right)$ para cada $i\in I.$ El Plantilla:Enf de las familias ${ℬ}_{\bullet }$Plantilla:Sfn se define de manera idéntica a cómo se definen los subconjuntos abiertos básicos de la topología producto (si todos estos ${ℬ}_i$ hubieran sido topologías). Es decir, la notación

$\prod _{}{ℬ}_{\bullet }=\prod _{i\in I}{ℬ}_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 menos un número finito de $i\in I$ y donde $S_i\in {ℬ}_i$ para cualquiera de estas finitas excepciones (es decir, para cualquier $i$ tal que $S_i\ne X_i,$ necesariamente $S_i\in {ℬ}_i$). Cuando cada ${ℬ}_i$ es una subbase de filtros, entonces la familia $\bigcup _{i\in I}\mathrm{Pr}{}_{X_i}^{-1}\left({ℬ}_i\right)$ es una subbase de filtros para el filtro en $\prod X_{\bullet }$ generado por ${ℬ}_{\bullet }.$Plantilla:Sfn Si $\prod {ℬ}_{\bullet }$ es una subbase de filtros, entonces el filtro en $\prod X_{\bullet }$ que genera se denomina filtro Plantilla:Enf.Plantilla:Sfn Si cada ${ℬ}_i$ es un prefiltro en $X_i$, entonces $\prod {ℬ}_{\bullet }$ será un prefiltro en $\prod X_{\bullet }$ y, además, este prefiltro es igual al prefiltro más grueso $ℱ\text{ sobre }\prod X_{\bullet }$, de modo que $\mathrm{Pr}{}_{X_i}(ℱ)={ℬ}_i$ por cada $i\in I.$Plantilla:Sfn Sin embargo, es posible que $\prod {ℬ}_{\bullet }$ no sea un filtro en $\prod X_{\bullet }$ incluso si cada ${ℬ}_i$ es un filtro en $X_i.$Plantilla:Sfn

Convergencia, límites y puntos de acumulación

En todo momento, $(X,\tau )$ es un espacio topológico.

Prefiltros frente a filtros

Con respecto a aplicaciones y subconjuntos, la propiedad de ser un prefiltro en general se comporta mejor y se conserva mejor que la propiedad de ser un filtro. Por ejemplo, la imagen de un prefiltro bajo una aplicación es nuevamente un prefiltro; pero la imagen de un filtro bajo una aplicación no sobreyectiva Plantilla:Enf es un filtro en el codominio, aunque será un prefiltro. La situación es la misma con las preimágenes bajo aplicaciones no inyectivas (incluso si la aplicación es sobreyectiva). Si $S\subseteq X$ es un subconjunto propio, entonces cualquier filtro en $S$ no será un filtro en $X,$ aunque será un prefiltro.

Una ventaja que tienen los filtros es que son representantes distinguidos de su clase de equivalencia (en relación con $\le$), lo que significa que cualquier clase de equivalencia de prefiltros contiene un filtro único. Esta propiedad puede resultar útil cuando se trata de clases de equivalencia de prefiltros (por ejemplo, son útiles en la construcción de completaciones de espacios uniformes mediante filtros de Cauchy). Las numerosas propiedades que caracterizan a los ultrafiltros también suelen ser útiles. Se utilizan, por ejemplo, para construir la compactación Stone-Čech. El uso de ultrafiltros generalmente requiere que se asuma el lema del ultrafiltro. Pero en los muchos campos donde se supone el axioma de elección (o el teorema de Hahn–Banach), el lema del ultrafiltro necesariamente se cumple y no requiere la suposición de existencia de una suma.

Una nota sobre la intuición

Supóngase que $ℱ$ es un filtro no principal en un conjunto infinito $X.$ $ℱ$ tiene una propiedad "hacia arriba" (la de estar cerrado hacia arriba) y una propiedad "hacia abajo" (la de estar dirigido hacia abajo). A partir de cualquier $F_0\in ℱ,$ siempre existe algún $F_1\in ℱ$ que es un subconjunto Plantilla:Enf $F_0$. Esto puede continuar hasta el infinito para obtener una sucesión $F_0⊋F_1⊋\cdots$ de conjuntos en $ℱ$, siendo cada $F_{i+1}$ un subconjunto Plantilla:Enf de $F_i.$ Lo mismo Plantilla:Enf es verdadero yendo "hacia arriba", porque si $F_0=X\in ℱ$, entonces no hay ningún conjunto en $ℱ$ que contenga a $X$ como un subconjunto propio. Por lo tanto, cuando se trata de limitar el comportamiento (que es un tema central en el campo de la topología), ir "hacia arriba" conduce a un callejón sin salida, mientras que ir "hacia abajo" suele ser fructífero. Entonces, para comprender e intuir cómo los filtros (y los prefiltros) se relacionan con los conceptos de topología, la propiedad "hacia abajo" suele ser en la que hay que concentrarse. Esta es también la razón por la que tantas propiedades topológicas se pueden describir usando solo prefiltros, en lugar de requerir filtros (que solo se diferencian de los prefiltros en que también están cerrados hacia arriba). La propiedad "hacia arriba" de los filtros es menos importante para la intuición topológica, pero a veces es útil disponer de ella por razones técnicas. Por ejemplo, con respecto a $\subseteq ,$ cada subbase de filtros está contenida en un filtro más pequeño único, pero puede que no exista un prefiltro más pequeño único que lo contenga.

Límites y convergencia

Plantilla:In5Se dice que una familia $ℬ$ Plantilla:Enf en $(X,\tau )$ a un punto o subconjunto $x$ de $X$Plantilla:Sfn si $ℬ\ge 𝒩(x).$ Explícitamente, $𝒩(x)\le ℬ$ significa que cada entorno $N\text{ de }x$ contiene algún $B\in ℬ$ como subconjunto (es decir, $B\subseteq N$). Por lo tanto, se cumple lo siguiente: $𝒩\ni N\supseteq B\in ℬ.$ En otras palabras, una familia converge a un punto o subconjunto $x$ si y solo si es Plantilla:Enf que el filtro de entornos en $x.$ Una familia $ℬ$ que converge a un punto o subconjunto $x$ se puede indicar escribiendo $ℬ\to x\text{ o }\lim ℬ\to x\text{ en }X$Plantilla:Sfn y diciendo que $x$ es un Plantilla:Enf de $ℬ\text{ en }X;$ si este límite $x$ es un punto (y no un subconjunto), entonces $x$ también es llamado Plantilla:Enf.Plantilla:Sfn Como de costumbre, $\lim ℬ=x$ se define para significar que $ℬ\to x$ y $x\in X$ es el punto límite Plantilla:Enf de $ℬ$, es decir, si también $ℬ\to z\text{ entonces }z=x.$Plantilla:Sfn) Si la notación "$\lim ℬ=x$" no requiriera también que el punto límite $x$ fuera único, entonces ya no se garantizaría que la relación = fuera transitiva. El conjunto de todos los puntos límite de $ℬ$ se denota por $\lim {}_Xℬ\text{ o }\lim ℬ.$Plantilla:Sfn

En las definiciones anteriores, basta con comprobar que $ℬ$ es más fina que algunas (o equivalentemente, más fina que todas) bases de entornos en $(X,\tau )$ del punto o conjunto (por ejemplo, como $\tau (x)=\{U\in \tau :x\in U\}$ o $\tau (S)=\bigcap _{s\in S}\tau (s)$ cuando $S\ne \varnothing$).

Ejemplos

Si $X:={ℝ}^n$ es el espacio euclídeo y $\Vert x\Vert$ denota la norma euclídea (que es la distancia desde el origen, definida como de costumbre), entonces todas las siguientes familias convergen al origen:

1. El prefiltro $\{B_r(0):0<r\le 1\}$ de todas las bolas abiertas centradas en el origen, donde $B_r(z)=\{x:\Vert x-z\Vert <r\}.$
2. El prefiltro $\{B_{\le r}(0):0<r\le 1\}$ de todas las bolas cerradas centradas en el origen, donde $B_{\le r}(z)=\{x:\Vert x-z\Vert \le r\}.$ Este prefiltro es equivalente al anterior.
3. El prefiltro $\{R\cap B_{\le r}(0):0<r\le 1\}$ donde $R=S_1\cup S_{1/2}\cup S_{1/3}\cup \cdots$ es una unión de esferas $S_r=\{x:\Vert x\Vert =r\}$ centradas en el origen que tienen radios progresivamente más pequeños. Esta familia consta de los conjuntos $S_{1/n}\cup S_{1/(n+1)}\cup S_{1/(n+2)}\cup \cdots$, ya que $n$ abarca los números enteros positivos.
4. Cualquiera de las familias anteriores pero con el radio $r$ sobre $1,1/2,1/3,1/4,\dots$ (o sobre cualquier otra sucesión positiva decreciente) en lugar de sobre todos los reales positivos.
   • Diseñar o imaginar cualquiera de estas sucesiones de conjuntos cuando $X={ℝ}^2$ tiene dimensión $n=2$ sugiere que intuitivamente, estos conjuntos "deberían" converger al origen (y de hecho lo hacen). Esta es la intuición que la definición anterior de "prefiltro convergente" hace rigurosa. Aunque se supuso que $\Vert \cdot \Vert$ era la norma euclídea, el ejemplo anterior sigue siendo válido para cualquier otra norma en ${ℝ}^n.$

El único punto límite en $X:=ℝ$ del prefiltro libre $\{(0,r):r>0\}$ es $0$, ya que cada bola abierta alrededor del origen contiene algún intervalo abierto de esta forma. El prefiltro fijo $ℬ:=\{[0,1+r):r>0\}$ no converge en $ℝ$ a ningún Plantilla:Enf, y por lo tanto, $\lim ℬ=\varnothing ,$ aunque $ℬ$ sí converge al Plantilla:Enf $\ker ℬ=[0,1]$ desde $𝒩([0,1])\le ℬ.$ Sin embargo, no todos los prefiltros fijos convergen a su núcleo. Por ejemplo, el prefiltro fijo $\{[0,1+r)\cup (1+1/r,\mathrm{\infty }):r>0\}$ también contiene el núcleo $[0,1]$, pero no converge (en $ℝ$) a él.

El prefiltro libre $(ℝ,\mathrm{\infty }):=\{(r,\mathrm{\infty }):r\in ℝ\}$ de intervalos no converge (en $ℝ$) a ningún punto, y converge a un subconjunto $S\subseteq ℝ$ si y solo si $S\in (ℝ,\mathrm{\infty }{)}^{\uparrow ℝ}$ (es decir, si y solo si el conjunto contiene algún intervalo de la forma $(r,\mathrm{\infty })$ como subconjunto). Lo mismo ocurre con el prefiltro $[ℝ,\mathrm{\infty }):=\{[r,\mathrm{\infty }):r\in ℝ\}$ porque es equivalente a $(ℝ,\mathrm{\infty })$ y las familias equivalentes tienen los mismos límites. De hecho, si $ℬ$ es cualquier prefiltro en cualquier espacio topológico $X$, entonces para cada $S\in {ℬ}^{\uparrow X},$ $ℬ\to S;$ en particular, cada prefiltro converge al conjunto $X.$ De manera más general, debido a que el único entorno de $X$ es él mismo (es decir, $𝒩(X)=\{X\}$), cada familia no vacía (incluidas todas las subbases de filtros) converge a $X.$

Para cualquier punto o subconjunto $x,$ su filtro de entornos $𝒩(x)\to x$ siempre converge a $x.$ Más generalmente, cualquier base de entornos en $x$ converge a $x.$ En cualquier espacio topológico, una familia converge a un punto $x$ si y solo si converge al conjunto unitario $\{x\}.$ Cuando un espacio lleva asociada la topología trivial, entonces cada familia no vacía converge a cada subconjunto no vacío (y por lo tanto, también a cada punto, dado que los conjuntos unitarios no están vacíos). Un punto $x$ es siempre un punto límite del ultraprefiltro principal $\{\{x\}\}$ y del ultrafiltro que genera. La familia vacía $ℬ=\varnothing$ no converge a ningún punto ni a ningún conjunto. Debido a que el conjunto vacío es siempre un entorno abierto de sí mismo, una familia $ℬ$ converge a $\varnothing$ si y solo si $\varnothing \in ℬ.$ Por lo tanto, ningún filtro, prefiltro u otra familia no degenerada puede converger al conjunto vacío.

Si $S\ne \varnothing$ es un subconjunto no vacío, entonces $𝒩(S)=\bigcap _{s\in S}𝒩(s)$ y, en consecuencia, si $ℬ\to s$ es para todos los $s\in S$, entonces $ℬ\to S.$ Aplicando esto a $S:=\lim ℬ,$ se deduce que si una familia $ℬ$ tiene al menos un punto límite, entonces converge a su conjunto de puntos límite: $ℬ\to \lim ℬ.$

Propiedades básicas

Si $ℬ$ converge a un punto o subconjunto, entonces lo mismo ocurre con cualquier familia más fina que $ℬ.$ Esto tiene muchas consecuencias importantes. Una consecuencia es que los puntos límite de una familia $ℬ$ son los mismos que los puntos límite de su cierre hacia arriba:

${\lim }_Xℬ={\lim }_X\left({ℬ}^{\uparrow X}\right).$

En particular, los puntos límite de un prefiltro son los mismos que los puntos límite del filtro que genera. Otra consecuencia es que si una familia converge en un punto (o subconjunto), entonces lo mismo ocurre con la traza/restricción de la familia a cualquier subconjunto dado de $X.$ Si $ℬ$ es un prefiltro y $B\in ℬ$, entonces $ℬ$ converge a un punto (o subconjunto) de $X$ si y solo si esto es cierto para la traza $ℬ{|}_B.$Plantilla:Sfn Si una subbase de filtros converge a un punto o subconjunto, entonces lo hace el filtro y el sistema Π que genera, aunque no se garantiza lo contrario. Por ejemplo, la subbase de filtros $\{(-\mathrm{\infty },0],[0,\mathrm{\infty })\}$ no converge a $0$ en $X:=ℝ$, aunque el filtro (principio ultra) que genera sí lo hace.

Dado $x\in X,$ lo siguiente es equivalente para un prefiltro $ℬ:$

1. $ℬ$ converge a $x.$
2. $ℬ$ converge al conjunto $\{x\}.$
3. ${ℬ}^{\uparrow X}$ converge a $x.$
4. Existe una familia equivalente a $ℬ$ que converge a $x.$

Debido a que la subordinación es transitiva, si $ℬ\le 𝒞\text{ entonces }\lim {}_Xℬ\subseteq \lim {}_X𝒞$ y además, para cada $x\in X,$ tanto $\{x\}$ como el máximo/ultrafiltro $\{x{\}}^{\uparrow X}$ convergen a $x.$ Así, todo espacio topológico $(X,\tau )$ induce una convergencia $\xi \subseteq X\times \mathrm{Filtros}(X)$ definido por $(x,ℬ)\in \xi \text{ si y solo si }x\in \lim {}_{(X,\tau )}ℬ.$ En el otro extremo, el filtro de entornos $𝒩(x)$ es el filtro más pequeño (es decir, el más grueso) en $X$ que converge a $x$, es decir, cualquier filtro que converja a $x$ debe contener a $𝒩(x)$) como un subconjunto. Dicho de otra manera, la familia de filtros que convergen a $x$ consta exactamente de aquellos filtros en $X$ que contienen a $𝒩(x)$ como subconjunto. En consecuencia, cuanto más fina sea la topología en $X$, entonces Plantilla:Enf que tengan puntos límite en $X.$

Puntos de acumulación

Se dice que una familia $ℬ$ presenta una acumulación Plantilla:Enf un punto o subconjunto $x$ de $X$ si concuerda con el filtro de entornos de $x$, es decir, si $ℬ\mathrm{\#}𝒩(x).$ Explícitamente, esto significa que $B\cap N\ne \varnothing \text{ para todo }B\in ℬ$ y cada entorno $N$ de $x.$ En particular, un punto $x\in X$ es un Plantilla:Enf de una familia $ℬ$Plantilla:Sfn si $ℬ$ concuerda con el filtro de entorno en $x:ℬ\mathrm{\#}𝒩(x).$ El conjunto de todos los puntos de acumulación de $ℬ$ se denota por ${\mathrm{cl}}_Xℬ,$ donde el subíndice puede eliminarse si no es necesario.

En las definiciones anteriores, basta con comprobar que $ℬ$ concuerda con alguna (o equivalentemente, concuerda con todos) base de entornos en $X$ de $x\text{ o }S.$ Cuando $ℬ$ es un prefiltro, entonces la definición de "concordancia de $ℬ\text{ y }𝒩$" se puede caracterizar completamente en términos del preorden de subordinación $\le .$

Dos familias de conjuntos equivalentes tienen exactamente los mismos puntos límite y también los mismos puntos de acumulación. No importa la topología, para cada $x\in X,$ tanto $\{x\}$ como la acumulación del ultrafiltro principal $\{x{\}}^{\uparrow X}$ en $x.$ Para cualquier $S\subseteq X,$ si $ℬ$ se agrupa en algún $s\in S$, entonces $ℬ$ se acumula en $S.$ No hay acumulaciones de familias en $S:=\varnothing$ y si $\varnothing \in ℬ\text{ entonces }\varnothing =\mathrm{cl}ℬ.$ Si $ℬ$ se acumula en un punto o subconjunto, entonces lo mismo se aplica a cualquier familia más gruesa que $ℬ.$ En consecuencia, los puntos del grupo de una familia $ℬ$ son los mismos que los puntos del grupo de su cierre hacia arriba:

${\mathrm{cl}}_Xℬ={\mathrm{cl}}_X\left({ℬ}^{\uparrow X}\right).$

En particular, los puntos de acumulación de un prefiltro son los mismos que los puntos de acumulación del filtro que genera.

Dado $x\in X,$ los siguientes enunciados son equivalentes para un prefiltro $ℬ\text{ sobre }X$:

1. $ℬ$ se acumula en $x.$
2. $ℬ$ se acumula en el conjunto $\{x\}.$
3. La familia ${ℬ}^{\uparrow X}$ generada por $ℬ$ se acumula en $x.$
4. Existe una familia equivalente a $ℬ$ que se acumula en $x.$
5. $x\in \bigcap _{F\in ℬ}{\mathrm{cl}}_{X}F.$Plantilla:Sfn
6. $X\setminus N\in ̸{ℬ}^{\uparrow X}$ para cada entorno $N$ de $x.$
   • Si $ℬ$ es un filtro en $X$, entonces $x\in {\mathrm{cl}}_Xℬ\text{ si y solo si }X\setminus N\in ̸ℬ$ para cada entorno $N\text{ de }x.$
7. Existe un prefiltro $ℱ$ subordinado a $ℬ$ (es decir, $ℱ\ge ℬ$) que converge a $x.$
   • Este es el filtro equivalente a $x$, con un punto de acumulación de una sucesión si y solo si existe una subsecuencia convergente a $x.$
   • En particular, si $x$ es un punto de acumulación de un prefiltro $ℬ$, entonces $ℬ(\cap )𝒩(x)$ es un prefiltro subordinado a $ℬ$ que converge a $x.$

El conjunto ${\mathrm{cl}}_Xℬ$ de todos los puntos de acumulación de un prefiltro $ℬ$ satisface que

${\mathrm{cl}}_Xℬ=\bigcap _{B\in ℬ}{\mathrm{cl}}_{X}B.$

En consecuencia, el conjunto ${\mathrm{cl}}_Xℬ$ de todos los puntos de acumulación de Plantilla:Enf de $ℬ$ es un subconjunto cerrado de $X.$Plantilla:SfnPlantilla:Sfn Esto también justifica la notación ${\mathrm{cl}}_Xℬ$ para el conjunto de puntos de acumulación.Plantilla:Sfn En particular, si $K\subseteq X$ no está vacío (de modo que $ℬ:=\{K\}$ es un prefiltro), entonces ${\mathrm{cl}}_X\{K\}={\mathrm{cl}}_{X}K$, ya que ambos lados son iguales a $\bigcap _{B\in ℬ}{\mathrm{cl}}_{X}B.$

Propiedades y relaciones

Al igual que las sucesiones y las redes, es posible que un prefiltro en un espacio topológico de cardinalidad infinita no tenga Plantilla:Enf.Plantilla:Sfn

Si $x$ es un punto límite de $ℬ$, entonces $x$ es necesariamente un punto límite de cualquier familia $𝒞$ Plantilla:Enf que $ℬ$ (es decir, si $𝒩(x)\le ℬ\text{ y }ℬ\le 𝒞$ entonces $𝒩(x)\le 𝒞$).Plantilla:Sfn Por el contrario, si $x$ es un punto de acumulación de $ℬ$, entonces $x$ es necesariamente un punto de acumulación de cualquier familia $𝒞$ Plantilla:Enf que $ℬ$ (es decir, si $𝒩(x)\text{ y }ℬ$ concuerdan y $𝒞\le ℬ$, entonces $𝒩(x)\text{ y }𝒞$ concuerdan).

Familias equivalentes y subordinación

Cualquiera de las dos familias equivalentes $ℬ\text{ y }𝒞$ se pueden utilizar Plantilla:Enf en las definiciones de "límite de" y "acumulación en" porque su equivalencia garantiza que $𝒩\le ℬ$ si y solo si $𝒩\le 𝒞,$ y también que $𝒩\mathrm{\#}ℬ$ si y solo si $𝒩\mathrm{\#}𝒞.$ En esencia, el preorden $\le$ es incapaz de distinguir entre familias equivalentes. Dados dos prefiltros, independientemente de si concuerdan o no, se pueden caracterizar enteramente en términos de subordinación. Por lo tanto, los dos conceptos más fundamentales relacionados con la topología de (pre)filtros (es decir, puntos límite y de acumulación) pueden definirse Plantilla:Enf en términos de la relación de subordinación. Es por eso que el preorden $\le$ es de gran importancia al aplicar (pre)filtros a la topología.

Relaciones entre puntos límite y de acumulación y condiciones suficientes

Cada punto límite de una familia $ℬ$ no degenerada es también un punto de acumulación. En símbolos:

${\lim }_Xℬ\subseteq {\mathrm{cl}}_Xℬ.$

Esto se debe a que si $x$ es un punto límite de $ℬ$, entonces $𝒩(x)\text{ y }ℬ$ concuerdan,Plantilla:SfnPlantilla:Sfn lo que convierte a $x$ en un punto de acumulación de $ℬ.$Plantilla:Sfn Pero en general, un punto de acumulación no tiene por qué ser un punto límite. Por ejemplo, cada punto en cualquier subconjunto no vacío $K\subseteq X$ es un punto de acumulación del prefiltro principal $ℬ:=\{K\}$ (sin importar qué topología haya en $X$), pero si $X$ es de Hausdorff y $K$ tiene más de un punto, entonces este prefiltro no tiene puntos límite. Lo mismo ocurre con el filtro $\{K{\}}^{\uparrow X}$ que genera este prefiltro.

Sin embargo, cada punto de acumulación de un Plantilla:Enf prefiltro es un punto límite. En consecuencia, los puntos límite de un Plantilla:Enf prefiltro $ℬ$ son los mismos que sus puntos de acumulación: ${\lim }_Xℬ={\mathrm{cl}}_Xℬ,$ es decir, un punto dado es un punto de acumulación de un ultra prefiltro $ℬ$ si y solo si $ℬ$ converge a ese punto.Plantilla:SfnPlantilla:Sfn Aunque un punto de acumulación de un filtro no tiene por qué ser un punto límite, siempre existirá un filtro más fino que converge hacia él. En particular, si $ℬ$ se agrupa en $x$, entonces $ℬ(\cap )𝒩(x)=\{B\cap N:B\in ℬ,N\in 𝒩(x)\}$ es una subbase de filtros cuyo filtro generado converge a $x.$

Si $\varnothing \ne ℬ\subseteq \mathrm{\wp }(X)\text{ y }𝒮\ge ℬ$ es una subbase de filtros tal que $𝒮\to x\text{ en }X$, entonces $x\in {\mathrm{cl}}_Xℬ.$ En particular, cualquier punto límite de una subbase de filtros subordinada a $ℬ\ne \varnothing$ es necesariamente también un punto de acumulación de $ℬ.$ Si $x$ es un punto de acumulación de un prefiltro $ℬ$, entonces $ℬ(\cap )𝒩(x)$ es un prefiltro subordinado a $ℬ$ que converge a $x\text{ en }X.$

Si $S\subseteq X$ y $ℬ$ es un prefiltro en $S$, entonces cada punto de acumulación de $ℬ\text{ en }X$ pertenece a ${\mathrm{cl}}_{X}S$, y cualquier punto en ${\mathrm{cl}}_{X}S$ es un punto límite de un filtro en $S.$Plantilla:Sfn

Conjuntos primitivos

Un subconjunto $P\subseteq X$ se denomina Plantilla:EnfPlantilla:Sfn si es el conjunto de puntos límite de algún ultrafiltro (o equivalentemente, de algún ultra prefiltro). Es decir, si existe un ultrafiltro $ℬ\text{ sobre }X$ tal que $P$ es igual a ${\lim }_Xℬ,$ que denota el conjunto de puntos límite de $ℬ\text{ en }X.$ Dado que los puntos límite son los mismos que los puntos de acumulación de los ultra prefiltros, un subconjunto es primitivo si y solo si es igual al conjunto ${\mathrm{cl}}_Xℬ$ de puntos de acumulación de algún ultra prefiltro $ℬ.$ Por ejemplo, todo subconjunto unitario cerrado es primitivo.Plantilla:Sfn La imagen de un subconjunto primitivo de $X$ bajo una aplicación continua $f:X\to Y$ está contenida en un subconjunto primitivo de $Y.$Plantilla:Sfn

Supóngase que $P,Q\subseteq X$ son dos subconjuntos primitivos de $X.$ Si $U$ es un subconjunto abierto de $X$ que interseca a $P$, entonces $U\in ℬ$ para cualquier ultrafiltro $ℬ\text{ sobre }X$ tal que $P={\lim }_Xℬ.$Plantilla:Sfn Además, si $P\text{ y }Q$ son distintos, entonces existen algunos $S\subseteq X$ y algunos ultrafiltros ${ℬ}_P\text{ y }{ℬ}_Q\text{ sobre }X$ tales que $P={\lim }_X{ℬ}_P,Q={\lim }_X{ℬ}_Q,S\in {ℬ}_P,$ y $X\setminus S\in {ℬ}_Q.$Plantilla:Sfn

Otros resultados

Si $X$ es un retículo completo, entonces:

• El límite inferior de $B$ es el ínfimo del conjunto de todos los puntos de acumulación de $B.$
• El límite superior de $B$ es el supremo del conjunto de todos los puntos de acumulación de $B.$
• $B$ es un prefiltro convergente si y solo si su límite inferior y su límite superior coinciden. En este caso, el valor en el que coinciden es el límite del prefiltro.

Límites de funciones definidas como límites de prefiltros

Supóngase que $f:X\to Y$ es una aplicación desde un conjunto a un espacio topológico $Y,$ $ℬ\subseteq \mathrm{\wp }(X),$ y $y\in Y.$ Si $y$ es un punto límite (respectivamente, un punto de acumulación) de $f(ℬ)\text{ en }Y$, entonces $y$ se llama Plantilla:Enf o Plantilla:Enf' (respectivamente, un Plantilla:Enf) de Plantilla:EnfPlantilla:Sfn Explícitamente, $y$ es un límite de $f$ con respecto a $ℬ$ si y solo si $𝒩(y)\le f(ℬ),$ lo que puede escribirse como $f(ℬ)\to y\text{ o }\lim f(ℬ)\to y\text{ en }Y$ (por definición de esta notación) y expresarse como $f$ Plantilla:EnfPlantilla:Sfn Si el límite $y$ es único, entonces la flecha $\to$ puede reemplazarse con un signo igual $=.$Plantilla:Sfn El filtro de entornos $𝒩(y)$ se puede reemplazar con cualquier familia equivalente y lo mismo ocurre con $ℬ.$

La definición de red es un caso especial de la definición anterior del límite de una función. Específicamente, si $x\in X\text{ y }\chi :(I,\le )\to X$ es una red, entonces

$\chi \to x\text{ en }X\text{ si y solo si }\chi (\mathrm{Colas}(I,\le ))\to x\text{ en }X,$

donde el lado izquierdo indica que $x$ es un [[Red (matemática)|límite de la Plantilla:Enf]] $\chi$, mientras que el lado derecho indica que $x$ es un límite de la Plantilla:Enf $\chi$ con respecto a $ℬ:=\mathrm{Colas}(I,\le )$ (como se acaba de definir anteriormente).

La siguiente tabla muestra cómo se pueden definir varios tipos de límites encontrados en el análisis y la topología en términos de la convergencia de imágenes (bajo $f$) de prefiltros particulares en el dominio $X.$ Esto muestra que los prefiltros proporcionan un marco general en el que encajan muchas de las diversas definiciones de límites.Plantilla:Sfn Los límites en la columna de la izquierda se definen en su forma habitual con sus definiciones obvias.

En todo momento, sea $f:X\to Y$ una aplicación entre espacios topológicos, $x_0\in X,\text{ e }y\in Y.$ Si $Y$ es de Hausdorff, entonces todas las flechas Plantilla:Nowrap en la tabla pueden reemplazarse con signos igual Plantilla:Nowrap y Plantilla:Nowrap pueden reemplazarse con Plantilla:NowrapPlantilla:Sfn

Tipo de límite	Plantilla:Nowrap	Definición en términos de prefiltrosPlantilla:Sfn	Asunciones
$\underset{x\to x_0}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=𝒩\left(x_0\right)$
$\underset{\stackrel{x\to x_0}{x\ne x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{N\setminus \left\{x_0\right\}:N\in 𝒩\left(x_0\right)\}$
$\underset{\stackrel{x\to x_0}{x\in S}}{\lim }f(x)\to y$ or $\underset{x\to x_0}{\lim }f{|}_S(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=𝒩\left(x_0\right){|}_S:=\{N\cap S:N\in 𝒩\left(x_0\right)\}$	$S\subseteq X\text{ y }{x}_0\in {\mathrm{cl}}_{X}S$
$\underset{\stackrel{x\to x_0}{x\ne x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{(x_0-r,x_0)\cup (x_0,x_0+r):0<r\in ℝ\}$	$x_0\in X=ℝ$
$\underset{\stackrel{x\to x_0}{x<x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{(x,x_0):x<x_0\}$	$x_0\in X=ℝ$
$\underset{\stackrel{x\to x_0}{x\le x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{(x,x_0]:x<x_0\}$	$x_0\in X=ℝ$
$\underset{\stackrel{x\to x_0}{x>x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{(x_0,x):x_0<x\}$	$x_0\in X=ℝ$
$\underset{\stackrel{x\to x_0}{x\ge x_0}}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{[x_0,x):x_0\le x\}$	$x_0\in X=ℝ$
$\underset{n\to \mathrm{\infty }}{\lim }f(n)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{\{n,n+1,\dots \}:n\in \mathbb{N}\}\}$	$X=\mathbb{N}\text{ así }f:\mathbb{N}\to Y$ es una sucesión en $Y$
$\underset{x\to \mathrm{\infty }}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=(ℝ,\mathrm{\infty }):=\{(x,\mathrm{\infty }):x\in ℝ\}$	$X=ℝ$
$\underset{x\to -\mathrm{\infty }}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=(-\mathrm{\infty },ℝ):=\{(-\mathrm{\infty },x):x\in ℝ\}$	$X=ℝ$
$\underset{|x|\to \mathrm{\infty }}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{X\cap [(-\mathrm{\infty },x)\cup (x,\mathrm{\infty })]:x\in ℝ\}$	$X=ℝ\text{ o }X=\mathbb{Z}$ para una secuencia de doble extremo
$\underset{\Vert x\Vert \to \mathrm{\infty }}{\lim }f(x)\to y$	⇔	$f(ℬ)\to y\text{ donde }ℬ:=\{\{x\in X:\Vert x\Vert >r\}:0<r\in ℝ\}$	$(X,\Vert \cdot \Vert )\text{ es }$ un espacio seminormado; Plantilla:Nowrap $\text{ como }X=ℂ$

Al definir diferentes prefiltros, se pueden establecer muchas otras nociones de límites, como por ejemplo $\underset{\stackrel{|x|\to |x_0|}{|x|\ne |x_0|}}{\lim }f(x)\to y.$

Divergencia al infinito

La divergencia de una función de valor real hasta el infinito se puede definir/caracterizar utilizando los prefiltros

$(ℝ,\mathrm{\infty }):=\{(r,\mathrm{\infty }):r\in ℝ\}\text{ y }(-\mathrm{\infty },ℝ):=\{(-\mathrm{\infty },r):r\in ℝ\},$

donde $f\to \mathrm{\infty }$ junto con $ℬ$ si y solo si $(ℝ,\mathrm{\infty })\le f(ℬ)$ y de manera similar, $f\to -\mathrm{\infty }$ junto con $ℬ$ si y solo si $(-\mathrm{\infty },ℝ)\le f(ℬ).$ La familia $(ℝ,\mathrm{\infty })$ puede ser reemplazada por cualquier familia equivalente a ella, como por ejemplo $[ℝ,\mathrm{\infty }):=\{[r,\mathrm{\infty }):r\in ℝ\}$ (en análisis real, esto correspondería a reemplazar la desigualdad estricta Plantilla:Nowrap en la definición por Plantilla:Nowrap y lo mismo ocurre con $ℬ$ y $(-\mathrm{\infty },ℝ).$

Entonces, por ejemplo, si $ℬ:=𝒩\left(x_0\right)$, entonces $\underset{x\to x_0}{\lim }f(x)\to \mathrm{\infty }$ si y solo si $(ℝ,\mathrm{\infty })\le f(ℬ)$ se cumple. De manera similar, $\underset{x\to x_0}{\lim }f(x)\to -\mathrm{\infty }$ si y solo si $(-\mathrm{\infty },ℝ)\le f\left(𝒩\left(x_0\right)\right),$ o equivalente, si y solo si $(-\mathrm{\infty },ℝ]\le f\left(𝒩\left(x_0\right)\right).$

De manera más general, si $f$ se valora en $Y={ℝ}^n\text{ o }Y={ℂ}^n$ (o algún otro espacio vectorial seminormado) y si $B_{\ge r}:=\{y\in Y:|y|\ge r\}=Y\setminus B_{<r}$, entonces $\underset{x\to x_0}{\lim }|f(x)|\to \mathrm{\infty }$ si y solo si $B_{\ge ℝ}\le f\left(𝒩\left(x_0\right)\right)$ se cumple, donde $B_{\ge ℝ}:=\{B_{\ge r}:r\in ℝ\}.$

Filtros y redes

Esta sección describirá las relaciones entre prefiltros y redes con gran detalle debido a la importancia que tienen estos detalles al aplicar filtros a la topología, particularmente al pasar de utilizar redes a utilizar filtros y viceversa.

Redes para prefiltros

En las definiciones siguientes, la primera afirmación es la definición estándar de un punto límite de una red (respectivamente, un punto de acumulación de una red) y se reformula gradualmente hasta alcanzar el concepto de filtro correspondiente.

Si $f:X\to Y$ es una aplicación y $x_{\bullet }$ es una red en $X$, entonces $\mathrm{Colas}\left(f\left(x_{\bullet }\right)\right)=f(\mathrm{Colas}\left(x_{\bullet }\right)).$Plantilla:Sfn

Prefiltros para redes

Una Plantilla:Enf es un par $(S,s)$ que consta de un conjunto $S$ no vacío y un elemento $s\in S.$ Para cualquier familia $ℬ,$ sea

$\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{j}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{o}\mathrm{s}\mathrm{p}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{a}\mathrm{d}\mathrm{o}\mathrm{s}(ℬ):=\{(B,b):B\in ℬ\text{ y }b\in B\}.$

Defínase un preorden canónico $\le$ en conjuntos puntuados declarando que

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

Existe una aplicación canónica ${\mathrm{Point}}_{ℬ}:\mathrm{PointedSets}(ℬ)\to X$ definida por $(B,b)\mapsto b.$ Si $i_0=(B_0,b_0)\in \mathrm{PointedSets}(ℬ)$, entonces la cola de la asignación ${\mathrm{Point}}_{ℬ}$ que comienza en $i_0$ es $\{c:(C,c)\in \mathrm{PointedSets}(ℬ)\text{ y }(B_0,b_0)\le (C,c)\}=B_0.$

Aunque $(\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{j}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{o}\mathrm{s}\mathrm{p}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{a}\mathrm{d}\mathrm{o}\mathrm{s}(ℬ),\le )$ no es, en general, un conjunto parcialmente ordenado, es un conjunto dirigido si (y solo si) $ℬ$ es un prefiltro. Entonces, la opción más inmediata para la definición de "la red en $X$ inducida por un prefiltro $ℬ$" es la asignación $(B,b)\mapsto b$ de $\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{j}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{o}\mathrm{s}\mathrm{p}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{a}\mathrm{d}\mathrm{o}\mathrm{s}(ℬ)$ en $X.$

Si $ℬ$ es un prefiltro en $X\text{ entonces }{\mathrm{Red}}_{ℬ}$ es una red en $X$ y el prefiltro asociado con ${\mathrm{Red}}_{ℬ}$ es $ℬ$; es decir:

$\mathrm{Colas}\left({\mathrm{Red}}_{ℬ}\right)=ℬ.$

Esto no sería necesariamente cierto si ${\mathrm{Red}}_{ℬ}$ se hubiera definido en un subconjunto propio de $\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{j}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{o}\mathrm{s}\mathrm{p}\mathrm{u}\mathrm{n}\mathrm{t}\mathrm{u}\mathrm{a}\mathrm{d}\mathrm{o}\mathrm{s}(ℬ).$

Si $x_{\bullet }$ es una red en $X$, entonces en general Plantilla:Enf es cierto que ${\mathrm{Red}}_{\mathrm{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 ${\mathrm{Red}}_{\mathrm{Colas}\left(x_{\bullet }\right)}$ (ya que a diferencia del dominio de ${\mathrm{Red}}_{\mathrm{Colas}\left(x_{\bullet }\right)},$ el dominio de una red arbitraria en $X$ podría tener Plantilla:Enf cardinalidad).

Red parcialmente ordenada

El dominio de la red canónica ${\mathrm{Red}}_{ℬ}$ en general no está parcialmente ordenado. Sin embargo, en 1955 Bruns y Schmidt descubrieron una construcción (detallada en el artículo filtro (teoría de conjuntos)) 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.Plantilla:Sfn Debido a que las colas de esta red parcialmente ordenada son idénticas a las colas de ${\mathrm{Red}}_{ℬ}$ (dado que ambas son iguales al prefiltro $ℬ$), normalmente no se pierde nada al suponer que el dominio de la red asociado con un prefiltro está parcialmente ordenado Plantilla:Enf dirigido.Plantilla:Sfn Y se puede suponer además que el dominio parcialmente ordenado también es un orden denso.

Filtros subordinados y subredes

La noción de "$ℬ$ está subordinada a $𝒞$" (escrito $ℬ⊢𝒞$) es para filtros y prefiltros lo que "$x_{n_{\bullet }}={\left(x_{n_i}\right)}_{i=1}^{\mathrm{\infty }}$ es lo que una subsucesión de $x_{\bullet }={\left(x_i\right)}_{i=1}^{\mathrm{\infty }}$" es para las sucesiones.Plantilla:Sfn Por ejemplo, si $\mathrm{Colas}\left(x_{\bullet }\right)=\{x_{\ge i}:i\in \mathbb{N}\}$ denota el conjunto de colas de $x_{\bullet }$ y si $\mathrm{Colas}\left(x_{n_{\bullet }}\right)=\{x_{n_{\ge i}}:i\in \mathbb{N}\}$ denota el conjunto de colas de la subsucesión $x_{n_{\bullet }}$ (donde $x_{n_{\ge i}}:=\{x_{n_j}:j\ge i\text{ y }j\in \mathbb{N}\}$), entonces $\mathrm{Colas}\left(x_{n_{\bullet }}\right)⊢\mathrm{Colas}\left(x_{\bullet }\right)$ (que por definición significa $\mathrm{Colas}\left(x_{\bullet }\right)\le \mathrm{Colas}\left(x_{n_{\bullet }}\right)$) es verdadero, pero $\mathrm{Colas}\left(x_{\bullet }\right)⊢\mathrm{Colas}\left(x_{n_{\bullet }}\right)$ es en general falso. Si $x_{\bullet }={\left(x_i\right)}_{i\in I}$ es una red en un espacio topológico $X$ y si $𝒩(x)$ es una base de entornos en un punto $x\in X,$ entonces $x_{\bullet }\to x\text{ si y solo si }𝒩(x)\le \mathrm{Colas}\left(x_{\bullet }\right).$

Si $f:X\to Y$ es una aplicación abierta y sobreyectiva, y además $x\in X,$ y $𝒞$ es un prefiltro en $Y$ que converge a $f(x),$ entonces existe un prefiltro $ℬ$ en $X$ tal que $ℬ\to x$ y $f(ℬ)$ son equivalentes a $𝒞$ (es decir, $𝒞\le f(ℬ)\le 𝒞$).Plantilla:Sfn

Análogos de subordinación de resultados que involucran subsucesiones

Los siguientes resultados son los análogos con prefiltros de declaraciones que involucran subsucesiones.Plantilla:Sfn La condición "$𝒞\ge ℬ,$" que también se escribe $𝒞⊢ℬ,$ es el análogo de "$𝒞$ es una subsucesión de $ℬ.$" Por lo tanto, "más fino que" y "subordinado a" es el análogo en prefiltros de "subsucesión de". Algunas personas prefieren decir "subordinado a" en lugar de "más fino que" porque recuerda más a "subsucesión de".

No equivalencia de subredes y filtros subordinados

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

Un subconjunto $R\subseteq I$ de un espacio preordenado $(I,\le )$ es Plantilla:Enf o Plantilla:Enf en $I$ si para cada $i\in I$ existe algún $r\in R$ tal que $i\le r.$ Si $R\subseteq I$ contiene una cola de $I$, entonces se dice que $R$ está Plantilla:Enf en $I$; explícitamente, esto significa que existe algún $i\in I$ tal que $I_{\ge i}\subseteq R$ (es decir, $j\in R$ para todos los $j\in I$ que satisfacen $i\le j$). Un subconjunto es eventual si y solo si su complemento no es frecuente (lo que se denomina Plantilla:Enf).Plantilla:Sfn Una aplicación $h:A\to I$ entre dos conjuntos preordenados Plantilla:Enf si siempre que $a,b\in A$ satisface $a\le b,$ entonces $h(a)\le h(b).$

Kelley no requirió que la aplicación $h$ preservara el orden, mientras que la definición de una subred 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.Plantilla:Sfn 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 $\mathrm{Colas}\left(x_{\bullet }\right)\le \mathrm{Colas}\left(y_{\bullet }\right).$

Ejemplo: Si $I=\mathbb{N}$ y $x_{\bullet }={\left(x_i\right)}_{i\in I}$ es una sucesión constante y si $A=\{1\}$ y $s_1:=x_1$, entonces ${\left(s_a\right)}_{a\in A}$ es una subred AA de $x_{\bullet }$ pero no es una subred de Willard ni una subred de Kelley de $x_{\bullet }.$

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

Plantilla:In5Si $ℬ\text{ y }ℱ$ son prefiltros, entonces $ℬ\le ℱ$ si y solo si ${\mathrm{Red}}_{ℱ}$ es una subred AA de ${\mathrm{Red}}_{ℬ}.$

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

Plantilla:In5Plantilla:Enf: si $ℬ\text{ y }ℱ$ son prefiltros de modo que $ℬ\le ℱ\text{ entonces }{\mathrm{Red}}_{ℱ}$ será una subred de Kelley de ${\mathrm{Red}}_{ℬ}.$

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

Si "subred" se define como subred de Willard o como subred de Kelley, entonces las redes y los filtros no son completamente intercambiables, porque existen relaciones filtro-filtro subordinado 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 Plantilla:Enf son completamente intercambiables con los 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.Plantilla:Sfn

Topologías y prefiltros

En todo momento, $(X,\tau )$ es un espacio topológico.

Ejemplos de relaciones entre filtros y topologías

Bases y prefiltros

Sea $ℬ\ne \varnothing$ una familia de conjuntos que cubre $X$ y se define ${ℬ}_x=\{B\in ℬ:x\in B\}$ para cada $x\in X.$ La definición de base para alguna topología se puede reformular inmediatamente como: $ℬ$ es una base para alguna topología en $X$ si y solo si ${ℬ}_x$ es una base de filtros para cada $x\in X.$ Si $\tau$ es una topología en $X$ y $ℬ\subseteq \tau$, entonces las definiciones de $ℬ$ es una base (respectivamente, subbase) para $\tau$ se pueden reformular como:

Plantilla:In5$ℬ$ es una base (respectivamente, subbase) para $\tau$ si y solo si para cada $x\in X,{ℬ}_x$ hay una base de filtros (respectivamente, subbase de filtros) que genera el filtro de entornos de $(X,\tau )$ en $x.$

Filtros de entornos

El ejemplo arquetípico de filtro es el conjunto de todos los entornos de un punto en un espacio topológico. Cualquier base de entornos de un punto (o de un subconjunto de) un espacio topológico es un prefiltro. De hecho, la definición de base de entornos se puede reformular de manera equivalente como: "una base de entornos es cualquier prefiltro que sea equivalente al filtro de entornos".

Las bases de entornos en puntos son ejemplos de prefiltros que son fijos, pero que pueden ser principales o no. Si $X=ℝ$ tiene su topología habitual y si $x\in X,$ entonces cualquier base de filtros de entornos $ℬ$ de $x$ está fijada por $x$ (de hecho, es incluso cierto que $\ker ℬ=\{x\}$) pero $ℬ$ Plantilla:Enf es principal, ya que $\{x\}\in ̸ℬ.$ Por el contrario, un espacio topológico tiene una topología discreta si y solo si el filtro de entornos de cada punto es un filtro principal generado exactamente por un punto. Esto muestra que un filtro no principal en un conjunto infinito no es necesariamente libre.

El filtro de entornos de cada punto $x$ en el espacio topológico $X$ es fijo, ya que su núcleo contiene $x$ (y posiblemente otros puntos si, por ejemplo, $X$ no es un espacio T₁). Esto también se aplica a cualquier entorno en $x.$ Para cualquier punto $x$ en un espacio T₁ (por ejemplo, un espacio de Hausdorff), el núcleo del filtro de entornos de $x$ es igual al conjunto unitario $\{x\}.$

Sin embargo, es posible que un filtro de entornos en un punto sea principal pero Plantilla:Enf discreto (es decir, no principal en un Plantilla:Enf). Una base de entornos $ℬ$ de un punto $x$ en un espacio topológico es principal si y solo si el núcleo de $ℬ$ es un conjunto abierto. Si además se trata de un espacio T₁, entonces $\ker ℬ=\{x\}$, de modo que esta base $ℬ$ es principal si y solo si $\{x\}$ es un conjunto abierto.

Generación de topologías a partir de filtros y prefiltros

Supóngase que $ℬ\subseteq \mathrm{\wp }(X)$ no está vacío (y que $X\ne \varnothing$). Si $ℬ$ es un filtro en $X$, entonces $\{\varnothing \}\cup ℬ$ es una topología en $X$ pero lo contrario es, en general, falso. Esto muestra que, en cierto sentido, los filtros son Plantilla:Enf topologías. Las topologías de la forma $\{\varnothing \}\cup ℬ$ donde $ℬ$ es un Plantilla:Enf filtro en $X$ son una subclase aún más especializada de tales topologías. Tienen la propiedad de que Plantilla:Enf de $\varnothing \ne S\subseteq X$ es abierto o es cerrado, pero (a diferencia de lo que sucede en la topología discreta) nunca ambas cosas. Estos espacios son, en particular, ejemplos de un espacio puerta.

Si $ℬ$ es un prefiltro (respectivamente, subbase de filtros, sistema Π, propio) en $X$, entonces lo mismo es cierto tanto para $\{X\}\cup ℬ$ como para el conjunto ${ℬ}_{\cup }$ de todas las uniones posibles de uno o más elementos de $ℬ.$ Si $ℬ$ está cerrado bajo intersecciones finitas, entonces el conjunto ${\tau }_{ℬ}=\{\varnothing ,X\}\cup {ℬ}_{\cup }$ es una topología en $X$ y ambos $\{X\}\cup {ℬ}_{\cup }\text{ y }\{X\}\cup ℬ$ son bases. Si el sistema Π $ℬ$ cubre $X$, entonces ambos ${ℬ}_{\cup }\text{ y }ℬ$ también son bases para ${\tau }_{ℬ}.$ Si $\tau$ es una topología en $X$, entonces $\tau \setminus \{\varnothing \}$ es un prefiltro (o equivalentemente, un sistema Π) si y solo si tiene la propiedad de intersección finita (es decir, es una subbase de filtros), en cuyo caso un subconjunto $ℬ\subseteq \tau$ será una base para $\tau$ si y solo si $ℬ\setminus \{\varnothing \}$ es equivalente a $\tau \setminus \{\varnothing \},$ en cuyo caso $ℬ\setminus \{\varnothing \}$ será un prefiltro.

Topologías sobre conjuntos dirigidos y convergencia de redes

Sea $(I,\le )$ un conjunto dirigido no vacío y sea $\mathrm{Colas}(I)=\{I_{\ge i}:i\in I\},$ donde $I_{\ge i}=\{j\in I:i\le j\}.$ Entonces $\mathrm{Colas}(I)$ es un prefiltro que recubre $I$ y si $I$ está totalmente ordenado, entonces $\mathrm{Colas}(I)$ también está cerrado bajo intersecciones finitas. Este prefiltro particular $\mathrm{Colas}(I)$ forma una base para una topología en $I$ en la que todos los conjuntos de la forma $I_{>i}=\{j\in I:i<j\}$ también son abiertos. Lo mismo ocurre con la topología ${\tau }_I:=\{\varnothing \}\cup \mathrm{Filtros-de-colas}(I)\text{ sobre }I,$ donde $\mathrm{Filtros-de-colas}(I)$ es el filtro en $I$ generado por $\mathrm{Colas}(I).$ Con esta topología, las redes convergentes se pueden ver como funciones continuas de la siguiente manera:

Sea $(X,\tau )$ un espacio topológico, sea $x\in X,$ sea $x_{\bullet }={\left(x_i\right)}_{i\in I}:I\to X$ una red en $X,$ y denótese por $\tau (x)\subseteq \tau$ el conjunto de todos los entornos abiertos de $x.$ Si la red $x_{\bullet }$ converge a $x\text{ en }(X,\tau )$, entonces $x_{\bullet }:(I,{\tau }_I)\to (X,\{\varnothing \}\cup \tau (x))$ es necesariamente continuo aunque, en general, lo contrario es falso (por ejemplo, considérese si $x_{\bullet }$ es constante y no igual a $x$). Pero si además de la continuidad, la preimagen bajo $x_{\bullet }$ de cada $N\in \tau (x)$ no está vacía, entonces la $x_{\bullet }$ neta necesariamente convergerá a $x\text{ en }(X,\tau ).$ De esta manera, el conjunto vacío es todo lo que separa la convergencia y la continuidad de una red.

Otra forma en que se pueden ver las redes convergentes como funciones continuas es, para cualesquiera redes dadas $x\in X$ y $x_{\bullet }={\left(x_i\right)}_{i\in I}:I\to X,$, primero extender la red a una nueva red ${\hat{x}}_{\bullet }:={\left({\hat{x}}_i\right)}_{i\in I}:I\cup \{\mathrm{\infty }\}\to X,$ donde $\mathrm{\infty }\in ̸I$ es un nuevo símbolo, definiendo ${\hat{x}}_{\mathrm{\infty }}:=x\text{ y }{\hat{x}}_i:=x_i$ para cada $i\in I.$ Si $I\cup \{\mathrm{\infty }\}$ está dotado de la topología :${\tau }_{I\cup \{\mathrm{\infty }\}}:=\mathrm{\wp }(I)\cup \{\{\mathrm{\infty }\}\cup S:S\in \mathrm{Filtros-de-colas}(I)\}=\mathrm{\wp }(I)\cup (\{\mathrm{\infty }\}(\cup )\mathrm{Filtros-de-colas}(I))$ entonces $x_{\bullet }\to x\text{ en }X$ (esto es, la red $x_{\bullet }$ entonces $x_{\bullet }\to x\text{ en }X$ (es decir, la red $x_{\bullet }$ converge a $x$) si y solo si ${\hat{x}}_{\bullet }:(I\cup \{\mathrm{\infty }\},{\tau }_{I\cup \{\mathrm{\infty }\}})\to (X,\tau )$ es una función continua. Además, $I$ es siempre un subconjunto denso de $I\cup \{\mathrm{\infty }\}.$

Propiedades topológicas y prefiltros

Entornos y topologías

El filtro de entornos de un subconjunto no vacío $S\subseteq X$ en un espacio topológico $X$ es igual a la intersección de todos los filtros de entornos de todos los puntos en $S.$Plantilla:Sfn Un subconjunto $S\subseteq X$ está abierto en $X$ si y solo si siempre que $ℱ$ sea un filtro en $X$ y $s\in S,$ entonces $ℱ\to s\text{ en }X\text{ implica que }S\in ℱ.$

Supóngase que $\sigma \text{ y }\tau$ son topologías en $X.$ Entonces, $\tau$ es más fina que $\sigma$ (es decir, $\sigma \subseteq \tau$) si y solo si siempre que $x\in X\text{ y }ℬ$ sea un filtro en $X,$ si $ℬ\to x\text{ en }(X,\tau )$ entonces $ℬ\to x\text{ en }(X,\sigma ).$Plantilla:Sfn En consecuencia, $\sigma =\tau$ si y solo si para cada filtro $ℬ\text{ sobre }X$ y cada $x\in X,ℬ\to x\text{ en }(X,\sigma )$ si y solo si $ℬ\to x\text{ en }(X,\tau ).$Plantilla:Sfn Sin embargo, es posible que $\sigma \ne \tau$, mientras que también para cada filtro $ℬ\text{ sobre }X,ℬ$ converja a Plantilla:Enf de $X\text{ en }(X,\sigma )$ si y solo si $ℬ$ converge a Plantilla:Enf de $X\text{ en }(X,\tau ).$Plantilla:Sfn

Cierre

Si $ℬ$ es un prefiltro en un subconjunto $S\subseteq X$, entonces cada punto de acumulación de $ℬ\text{ en }X$ pertenece a ${\mathrm{cl}}_{X}S.$Plantilla:Sfn

Si $x\in X\text{ y }S\subseteq X$ es un subconjunto no vacío, entonces las siguientes expresiones son equivalentes:

1. $x\in {\mathrm{cl}}_{X}S$
2. $x$ es un punto límite de un prefiltro en $S.$ Explícitamente: existe un prefiltro $ℱ\subseteq \mathrm{\wp }(S)\text{ sobre }S$ tal que $ℱ\to x\text{ en }X.$Plantilla:Sfn
3. $x$ es un punto límite de un filtro en $S.$Plantilla:Sfn
4. Existe un prefiltro $ℱ\text{ sobre }X$ tal que $S\in ℱ\text{ y }ℱ\to x\text{ en }X.$
5. El prefiltro $\{S\}$ concuerda con el filtro de entornos $𝒩(x).$ Dicho de otra manera, $x$ es un punto de acumulación del prefiltro $\{S\}.$
6. El prefiltro $\{S\}$ concuerda con alguna (o equivalentemente, con cada) base de filtros para $𝒩(x)$ (es decir, con cada base de entornos en $x$).

Los siguientes enunciados son equivalentes:

1. $x$ es un punto límite de $S\text{ en }X.$
2. Existe un prefiltro $ℱ\subseteq \mathrm{\wp }(S)\text{ sobre }\{S\}\setminus \{x\}$ tal que $ℱ\to x\text{ en }X.$Plantilla:Sfn

Conjuntos cerrados

Si $S\subseteq X$ no está vacío, las siguientes expresiones son equivalentes:

1. $S$ es un subconjunto cerrado de $X.$
2. Si $x\in X\text{ y }ℱ\subseteq \mathrm{\wp }(S)$ es un prefiltro en $S$ tal que $ℱ\to x\text{ en }X,$ entonces $x\in S.$
3. Si $x\in X\text{ y }ℱ\subseteq \mathrm{\wp }(S)$ es un prefiltro en $S$ de modo que $x$ es un punto de acumulación de $ℱ\text{ en }X,$ entonces $x\in S.$Plantilla:Sfn
4. Si $x\in X$ es tal que el filtro de entornos $𝒩(x)$ concuerda con $\{S\}$, entonces $x\in S.$

Condición de Hausdorff

Los siguientes enunciados son equivalentes:

1. $X$ es un espacio de Hausdorff.
2. Cada prefiltro en $X$ converge como máximo a un punto en $X.$Plantilla:Sfn
3. La declaración anterior, pero con la palabra "prefiltro" reemplazada por cualquiera de las siguientes: filtro, ultra prefiltro, ultrafiltro.Plantilla:Sfn

Compacidad

Como ya ha sido analizado, el lema del ultrafiltro está estrechamente relacionado con muchos teoremas importantes relacionados con la compacidad.

Los siguientes enunciados son equivalentes:

1. $(X,\tau )$ es un espacio compacto.
2. Cada ultrafiltro en $X$ converge al menos a un punto en $X.$Plantilla:Sfn
   • Que esta condición implica compacidad se puede demostrar utilizando únicamente el lema del ultrafiltro. Esa compacidad implica que esta condición se puede probar sin el lema del ultrafiltro (o incluso sin el axioma de elección).
3. La declaración anterior pero con la palabra "ultrafiltro" reemplazada por "ultra prefiltro".Plantilla:Sfn
4. Para cada filtro $𝒞\text{ sobre }X$ existe un filtro $ℱ\text{ sobre }X$ tal que $𝒞\le ℱ$ y $ℱ$ convergen a algún punto de $X.$
5. La declaración anterior pero con cada instancia de la palabra "filtro" reemplazada por "prefiltro".
6. Cada filtro en $X$ tiene al menos un punto de acumulación en $X.$Plantilla:Sfn
   • Que esta condición es equivalente a la compacidad se puede demostrar utilizando únicamente el lema del ultrafiltro.
7. La declaración anterior pero con la palabra "filtro" reemplazada por "prefiltro".Plantilla:Sfn
8. Teorema de la subbase de Alexander: existe una subbase $𝒮\text{ para }\tau$ tal que cada recubrimiento de $X$ por conjuntos en $𝒮$ tiene un subrecubrimiento finito.
   • Que esta condición es equivalente a la compacidad se puede demostrar utilizando únicamente el lema del ultrafiltro.

Si $ℱ$ es el conjunto de todos los complementos de subconjuntos compactos de un espacio topológico dado $X,$ entonces $ℱ$ es un filtro en $X$ si y solo si $X$ Plantilla:Enf es compacto.

Continuidad

Sea $f:X\to Y$ una aplicación entre espacios topológicos $(X,\tau )\text{ y }(Y,\upsilon ).$

Dado $x\in X,$ los siguientes enunciados son equivalentes:

1. $f:X\to Y$ es continua en $x.$
2. Definición: Para cada entorno $V$ de $f(x)\text{ en }Y$ existe algún entorno $N$ de $x\text{ en }X$ tal que $f(N)\subseteq V.$
3. $f(𝒩(x))\to f(x)\text{ en }Y.$Plantilla:Sfn
4. Si $ℬ$ es un filtro en $X$ tal que $ℬ\to x\text{ en }X$, entonces $f(ℬ)\to f(x)\text{ en }Y.$
5. La declaración anterior pero con la palabra "filtro" reemplazada por "prefiltro".

Los siguientes enunciados son equivalentes:

1. $f:X\to Y$ es continua.
2. Si $x\in X\text{ y }ℬ$ es un prefiltro en $X$ tal que $ℬ\to x\text{ en }X$, entonces $f(ℬ)\to f(x)\text{ en }Y.$Plantilla:Sfn
3. Si $x\in X$ es un punto límite de un prefiltro $ℬ\text{ sobre }X$, entonces $f(x)$ es un punto límite de $f(ℬ)\text{ en }Y.$
4. Cualquiera de las dos declaraciones anteriores, pero con la palabra "prefiltro" reemplazada por "filtro".

Si $ℬ$ es un prefiltro en $X,x\in X$ es un punto de acumulación de $ℬ,\text{ y }f:X\to Y$ es continua, entonces $f(x)$ es un punto de acumulación en $Y$ del prefiltro $f(ℬ).$Plantilla:Sfn

Un subconjunto $D$ de un espacio topológico $X$ es denso en $X$ si y solo si para cada $x\in X,$ la traza ${𝒩}_X(x){|}_D$ del filtro de entornos ${𝒩}_X(x)$ en $D$ no contiene el conjunto vacío (en cuyo caso, será un filtro sobre $D$).

Supóngase que $f:D\to Y$ es una aplicación continua en un espacio regular de Hausdorff $Y$ y que $D$ es un subconjunto denso de un espacio topológico $X.$ Entonces, $f$ tiene una extensión continua $F:X\to Y$ si y solo si para cada $x\in X,$ el prefiltro $f({𝒩}_X(x){|}_D)$ converge a algún punto en $Y.$ Además, esta extensión continua será única siempre que exista.Plantilla:Sfn

Productos

Supóngase que $X_{\bullet }:={\left(X_i\right)}_{i\in I}$ es una familia no vacía de espacios topológicos no vacíos y que es una familia de prefiltros donde cada ${ℬ}_i$ es un prefiltro en $X_i.$ Entonces, el producto ${ℬ}_{\bullet }$ de estos prefiltros (definidos anteriormente) es un prefiltro en el espacio producto $\prod X_{\bullet },$ que, como es habitual, está dotado de la topología producto.

Si $x_{\bullet }:={\left(x_i\right)}_{i\in I}\in \prod X_{\bullet },$ entonces ${ℬ}_{\bullet }\to x_{\bullet }\text{ en }\prod X_{\bullet }$ si y solo si ${ℬ}_i\to x_i\text{ en }{X}_i\text{ para todo }i\in I.$

Supóngase que $X\text{ y }Y$ son espacios topológicos, $ℬ$ es un prefiltro en $X$ que tiene $x\in X$ como punto de acumulación y $𝒞$ es un prefiltro en $Y$ que tiene $y\in Y$ como punto de acumulación. Entonces $(x,y)$ es un punto de acumulación de $ℬ\times 𝒞$ en el espacio producto $X\times Y.$Plantilla:Sfn Sin embargo, si $X=Y=\mathbb{Q}$, entonces existen sucesiones ${\left(x_i\right)}_{i=1}^{\mathrm{\infty }}\subseteq X\text{ y }{\left(y_i\right)}_{i=1}^{\mathrm{\infty }}\subseteq Y$ tales que ambas sucesiones tienen un punto de acumulación en $\mathbb{Q}$, pero la sucesión ${(x_i,y_i)}_{i=1}^{\mathrm{\infty }}\subseteq X\times Y$ Plantilla:Enf tiene un punto de acumulación en $X\times Y.$Plantilla:Sfn

Aplicación de ejemplo: el lema del ultrafiltro junto con los axiomas de axiomas de Zermelo-Fraenkel implican el teorema de Tíjonov para espacios compactos de Hausdorff:

Ejemplos de aplicaciones de prefiltros

Uniformidades y prefiltros de Cauchy

Un espacio uniforme es un conjunto $X$ equipado con un filtro en $X\times X$ que tiene ciertas propiedades. Una Plantilla:Enf o Plantilla:Enf es un prefiltro en $X\times X$ cuyo cierre hacia arriba es un espacio uniforme. Un prefiltro $ℬ$ en un espacio uniforme $X$ con uniformidad $ℱ$ se llama Plantilla:Enf si para cada entorno $N\in ℱ,$ existe algún $B\in ℬ$ que es Plantilla:Enfpequeño, lo que significa que $B\times B\subseteq N.$ Un Plantilla:Enf es un elemento mínimo (con respecto a $\le$ o, equivalentemente, a $\subseteq$) del conjunto de todos los filtros de Cauchy en $X.$ Ejemplos de filtros Cauchy mínimos incluyen el filtro de entornos ${𝒩}_X(x)$ de cualquier punto $x\in X.$ Todo filtro convergente en un espacio uniforme es de Cauchy. Además, cada punto de acumulación de un filtro de Cauchy es un punto límite.

Un espacio uniforme $(X,ℱ)$ se llama Plantilla:Enf (respectivamente, Plantilla:Enf) si cada prefiltro de Cauchy (respectivamente, cada prefiltro de Cauchy elemental) en $X$ converge al menos a un punto de $X$ (reemplazando todas las instancias de la palabra "prefiltro" con "filtro" da como resultado una declaración equivalente). Todo espacio uniforme compacto es completo porque cualquier filtro de Cauchy tiene un punto de acumulación (por compacidad), que necesariamente es también un punto límite (ya que el filtro es de Cauchy).

Los espacios uniformes fueron el resultado de intentos de generalizar nociones como "continuidad uniforme" y "convergencia uniforme" que están presentes en los espacios métricos. Cada espacio vectorial topológico, y más en general, cada grupo topológico se puede convertir en un espacio uniforme de forma canónica. Cada uniformidad también genera una topología canónica inducida. Los filtros y prefiltros juegan un papel importante en la teoría de espacios uniformes. Por ejemplo, la finalización de un espacio uniforme de Hausdorff (incluso si no es metrizable) normalmente se construye utilizando filtros mínimos de Cauchy. Las redes son menos adecuadas para esta construcción porque sus dominios son extremadamente variados (por ejemplo, la clase de todas las redes de Cauchy no es un conjunto). Las sucesiones no se pueden utilizar en el caso general porque la topología puede no ser metrizable, no ajustarse al primer axioma de numerabilidad o incluso no ser secuencial. El conjunto de todos los Plantilla:Enf en un espacio vectorial topológico de Hausdorff (EVT) $X$ se puede convertir en un espacio vectorial y topologizarse de tal manera que se convierta en una completación de $X$ (con la asignación $x\mapsto {𝒩}_X(x)$ convirtiéndose en una inclusión lineal topológica que identifica a $X$ como un subespacio vectorial denso de este completación).

De manera más general, un [[Espacio de Cauchy|Plantilla:Enf]] es un par $(X,ℭ)$ que consta de un conjunto $X$ junto con una familia $ℭ\subseteq \mathrm{\wp }(\mathrm{\wp }(X))$ de filtros (propios), cuyos miembros se declaran como "filtros Plantilla:Enf", que tienen todas las propiedades siguientes:

1. Para cada $x\in X,$ el ultrafiltro discreto en $x$ es un elemento de $ℭ.$
2. Si $F\in ℭ$ es un subconjunto de un filtro propio $G,$ entonces $G\in ℭ.$
3. Si $F,G\in ℭ$ y si cada miembro de $F$ interseca a cada miembro de $G,$ entonces $F\cap G\in ℭ.$

El conjunto de todos los filtros de Cauchy en un espacio uniforme forma un espacio de Cauchy. Cada espacio de Cauchy es también un espacio de convergencia. Una aplicación $f:X\to Y$ entre dos espacios de Cauchy se llama Plantilla:Enf si la imagen de cada filtro de Cauchy en $X$ es un filtro de Cauchy en $Y.$ A diferencia de la categoría de espacios topológicos, la categoría de los espacios de Cauchy y las aplicaciones continuas de Cauchy es cartesiana cerrada y contiene la categoría de los espacios de proximidad.

Convergencia de redes de conjuntos

A menudo existe una determinada preferencia por las redes sobre los filtros o de los filtros sobre las redes. Este ejemplo muestra que la elección entre redes y filtros no es una dicotomía si se combinan.

Una Plantilla:Enf o una Plantilla:Enf se refiere a un red en el conjunto potencia $\mathrm{\wp }(X)$ de $X,$ es decir, una red de conjuntos en $X$ es una función desde un conjunto dirigido no vacío hacia $\mathrm{\wp }(X).$ Sin embargo, una "red en $X$" siempre se referirá a un red valorada en $X$ y nunca a un red valorada en $\mathrm{\wp }(X)$, aunque para dar énfasis o contraste, una red en $X$ también puede denominarse una Plantilla:Enf. Una red de conjuntos $S_{\bullet }={\left(S_i\right)}_{i\in I}$ en $X$ se llama Plantilla:Enf (respectivamente, Plantilla:Enf, Plantilla:Enf, Plantilla:Enf, etc.) en Plantilla:Enf si cada $S_i$ tiene esta propiedad. De manera similar, $S_{\bullet }$ se llama Plantilla:Enf vacío (respectivamente, Plantilla:Enf, Plantilla:Enf, Plantilla:Enf, etc.) si existe algún índice $i$ tal que esto sea cierto para $S_j$ para cada índice $j\ge i.$

Por definición, una red de conjuntos $S_{\bullet }={\left(S_i\right)}_{i\in I}$ converge a (respectivamente, se acumula en) un punto o subconjunto si y solo si lo mismo ocurre con su Plantilla:Enf/Plantilla:Enf.

$\mathrm{Colas}\left(S_{\bullet }\right):=\{S_{\ge i}:i\in I\}$

donde para cada índice $i$ el conjunto

$S_{\ge i}:=\bigcup _{i\le j\in I}{S}_j.$

se llama Plantilla:Enf (una definición que generaliza la de una cola de una red de puntos).

Los siguientes ejemplos muestran algunas de las muchas formas en que las redes de conjuntos surgen de forma natural.

Ejemplo: Prefiltros como redes de conjuntos

Si $ℬ$ es un prefiltro en $X$, entonces $(ℬ,\supseteq )$ es un conjunto dirigido (parcialmente ordenado), de modo que la función identidad ${\mathrm{id}}_{ℬ}:(ℬ,\supseteq )\to ℬ$ es una red de conjuntos en $X.$ Cada prefiltro puede identificarse canónicamente con esta red de conjuntos (es decir, con su aplicación de identidad cuando el prefiltro/dominio está dirigido por $\supseteq$). Por lo tanto, es significativamente más fácil asociar canónicamente cada prefiltro con una Plantilla:Enf que con una Plantilla:Enf (como se ha hecho antes), y debido a que la relación también es mucho más simple, es más fácil de utilizar. Por ejemplo, se ve fácilmente que la cola de la red ${\mathrm{id}}_{ℬ}$ que comienza en un índice dado $B\in ℬ$ es igual a $B$ (en otras palabras, la cola que comienza en un índice es el índice mismo), de modo que $\mathrm{Colas}\left({\mathrm{id}}_{ℬ}\right)=ℬ$ (es decir, las colas de esta red son sus índices), y por lo tanto el prefiltro $ℬ$ converge a (respectivamente, se acumula en) un punto o subconjunto dado si y solo si lo mismo es cierto para su red canónica de conjuntos ${\mathrm{id}}_{ℬ}.$ En particular, la información (incluidas la intuición y las visualizaciones) sobre cómo o por qué un prefiltro $ℬ$ converge (o no converge, o se acumula en, etc.) a un punto o conjunto se puede obtener casi inmediatamente a partir de la información sobre cómo/por qué la red de conjuntos ${\mathrm{id}}_{ℬ}$ hace lo mismo (o viceversa).

Ejemplo: Redes de puntos como redes de conjuntos

La consideración de la siguiente correspondencia biyectiva conduce naturalmente a las definiciones anteriores de convergencia y acumulación para una red de conjuntos, que se definen de manera análoga a las definiciones originales dadas para una red de puntos.

(Redes de puntos $\leftrightarrow$ Redes de conjuntos unitarios): cada red $x_{\bullet }={\left(x_i\right)}_{i\in I}$ de puntos puede asociarse de forma única con la red canónica de conjuntos unitarios ${\left(\left\{x_i\right\}\right)}_{i\in I}$ y, a la inversa, cada red de conjuntos unitarios está asociada de forma única con una red canónica de puntos (definida de manera obvia). La cola de ${\left(\left\{x_i\right\}\right)}_{i\in I}$ que comienza en un índice $i$ es igual a la de $x_{\bullet }$ (es decir, igual a $x_{\ge i}$); en consecuencia, $\mathrm{Colas}\left(x_{\bullet }\right)=\mathrm{Colas}\left({\left(\left\{x_i\right\}\right)}_{i\in I}\right).$ Esto hace evidente que la definición de "convergencia de una red de conjuntos" en $X$ es de hecho una generalización de la definición original de "convergencia de una red de puntos" en $X$ (porque $x_{\bullet }\to R$ si y solo si ${\left(\left\{x_i\right\}\right)}_{i\in I}\to R$). Lo mismo ocurre con la definición de "acumulación de una red de conjuntos", dado que una red de puntos se acumula en un punto o subconjunto dado (según la definición original) si y solo si esto es cierto para su red asociada de conjuntos unitarios.

Ejemplo: Colas de redes como redes de conjuntos

Si $x_{\bullet }={\left(x_i\right)}_{i\in I}$ es una red de puntos o conjuntos, entonces la asignación $i\mapsto x_{\ge i}$ que hace corresponder un índice a la cola comenzando en ese índice, da lugar a la Plantilla:Enf $x_{\ge \bullet }={\left(x_{\ge i}\right)}_{i\in I}.$ La cola de $x_{\ge \bullet }$ que comienza en un índice dado $i\in I$ es igual a la de $x_{\bullet }$ (ambas son iguales a $x_{\ge i};$ y, en consecuencia, $x_{\ge \bullet }$ es su propia red de colas). Debido a que $\mathrm{Colas}\left(x_{\bullet }\right)=\mathrm{Colas}\left(x_{\ge \bullet }\right),$ la red $x_{\bullet }$ converge a (respectivamente, se acumula en) algún punto o subconjunto dado si y solo si lo mismo es cierto para su red de colas $x_{\ge \bullet }.$

Ejemplo: Retrocesos y avances de redes como redes de conjuntos

Las redes de conjuntos surgen naturalmente cuando se hacen retroceder las redes en el codominio de una función y cuando se empuja hacia adelante una red de conjuntos en su dominio. Si $f:X\to Y$ es una aplicación y $y_{\bullet }={\left(y_i\right)}_{i\in I}$ es una red de conjuntos o puntos, entonces considérese que :$f^{-1}\left(y_{\bullet }\right):={\left(f^{-1}\left(y_i\right)\right)}_{i\in I}\text{ y }f\left(y_{\bullet }\right):={\left(f\left(y_i\right)\right)}_{i\in I}$ de modo que $f^{-1}\left(y_{\bullet }\right)$ denota la red de conjuntos $I\to \mathrm{\wp }(X)$ definidos por $i\mapsto f^{-1}\left(y_i\right).$ En particular, $y_{\bullet }$ Plantilla:Enf (lo que significa que $y_{\ge i}\subseteq f(X)$ para algunos $i$) Plantilla:Enf es una condición necesaria para que $f^{-1}\left(y_{\bullet }\right)$ sea una red de conjuntos. Entonces, incluso si una red ${\left(y_i\right)}_{i\in I}$ de puntos en $Y$ no puede ser llevada hacia atrás por $f$ a una red de Plantilla:Enf ${\left(x_i\right)}_{i\in I}$ en $X$ (por ejemplo, porque no está total o finalmente en la imagen de $f$), todavía es posible hablar de la red de Plantilla:Enf $f^{-1}\left(y_{\bullet }\right)$ y de sus propiedades (como convergencia o acumulación).

Propiedades de las colas de redes de conjuntos

Supóngase que $S_{\bullet }={\left(S_i\right)}_{i\in I}$ es una red de conjuntos en $X.$ La familia $\mathrm{Colas}\left(S_{\bullet }\right)$ es un prefiltro si y solo si no contiene el conjunto vacío, lo que equivale a que $S_{\bullet }$ no quede finalmente vacío. En este caso, el cierre hacia arriba en $X$ de este prefiltro de colas se llama Plantilla:Enf o Plantilla:Enf en $X$ generado por $S_{\bullet }.$ Una red $y_{\bullet }$ (de conjuntos o de puntos) finalmente está contenida en un conjunto $C$ si y solo si $\{C\}\le \mathrm{Colas}\left(y_{\bullet }\right),$ por lo que $S_{\bullet }$ finalmente está vacío si y solo si $\{\varnothing \}\le \mathrm{Colas}\left(S_{\bullet }\right).$

Supóngase que $f:X\to Y$ es una aplicación y que $y_{\bullet }={\left(y_i\right)}_{i\in I}$ es una red de conjuntos (o puntos). La cola de $f\left(y_{\bullet }\right)$ que comienza en un índice $i$ es igual a $f\left(y_{\ge i}\right)$ y de manera similar, la cola de $f^{-1}\left(y_{\bullet }\right)$ que comienza en $i$ es $f^{-1}\left(y_{\ge i}\right).$ En consecuencia, $\mathrm{Colas}\left(f\left(y_{\bullet }\right)\right)=f(\mathrm{Colas}\left(y_{\bullet }\right))$, donde esta familia es un prefiltro si y solo si $\mathrm{Colas}\left(y_{\bullet }\right)$ es un prefiltro. De manera similar, $\mathrm{Colas}\left(f^{-1}\left(y_{\bullet }\right)\right)=f^{-1}(\mathrm{Colas}\left(y_{\bullet }\right)).$ Una consecuencia útil de esta definición es que $\mathrm{Colas}\left(f^{-1}\left(y_{\bullet }\right)\right)$ es un prefiltro si y solo si $y_{\bullet }$ Plantilla:Enf (o para puntos, Plantilla:Enf) $f(X),$ significa que para cada índice $i,$ hay algún $j\ge i$ tal que $y_j\cap f(X)\ne \varnothing$ (donde esta intersección significa que $y_j\in f(X)$ si $y_j$ es un punto en lugar de un conjunto).

Convergencia y acumulación

Se dice que una red de conjuntos $S_{\bullet }$ Plantilla:Enf a un punto o subconjunto dado $x$ de $X,$ escrito $S_{\bullet }\to x\text{ en }(X,\tau ),$ si $\mathrm{Colas}\left(S_{\bullet }\right)\to x\text{ en }(X,\tau ),$ cuya llamada se definió para significar que ${𝒩}_{\tau }(x)\le \mathrm{Colas}\left(S_{\bullet }\right).$ Explícitamente, esto sucede si y solo si para cada entorno $U$ de $x,$ existe algún índice $i$ tal que $S_{\ge i}\subseteq U.$ De manera similar, se dice que $S_{\bullet }$ es una Plantilla:Enf un punto o subconjunto dado $x$ de $X$ si $\mathrm{Colas}\left(S_{\bullet }\right)$ concuerda con ${𝒩}_{\tau }(x)$ (escrito ${𝒩}_{\tau }(x)\mathrm{\#}\mathrm{Colas}\left(S_{\bullet }\right)$); explícitamente, esto significa que $\varnothing \ne N\cap S_{\ge i}$ para cada índice $i\in I$ y entorno $N$ de $x.$

Cada red de conjuntos que finalmente está vacía converge a cada punto/subconjunto. Sin embargo, una red de conjuntos converge a $\varnothing$ si y solo si finalmente está vacía. Ninguna red de conjuntos se acumula en $\varnothing .$ Si una red de conjuntos converge a $x$, entonces se acumulará en $x$ si y solo si finalmente no está vacía (lo que implica que $x\ne \varnothing$).

Si $f:X\to Y$ es una aplicación y $y_{\bullet }={\left(y_i\right)}_{i\in I}$ es una red (de puntos o de conjuntos), entonces $f^{-1}\left(y_{\bullet }\right)$ converge a (respectivamente, grupos en) algún punto o subconjunto dado de $X$ si y solo si cada entorno del mismo contiene (respectivamente, se interseca con) algún conjunto de la forma $f^{-1}\left(y_{\ge i}\right).$ Además, la red $f^{-1}\left(y_{\bullet }\right)$ converge en $X$ a algún punto o subconjunto dado si y solo si esto es cierto para $f^{-1}(\mathrm{Colas}\left(y_{\bullet }\right)).$

Aplicaciones

A continuación se incluyen algunas aplicaciones que muestran cómo se pueden utilizar redes de conjuntos para caracterizar diversas propiedades. En las declaraciones siguientes, a menos que se indique lo contrario, $y$ y la red $y_{\bullet }$ son Plantilla:Enf en $Y$ (no conjuntos), y la aplicación $f:X\to Y$ no es necesariamente sobreyectiva.

• Una aplicación $f:X\to Y$ es cerrada (lo que significa que envía conjuntos cerrados a un subconjunto cerrado de $Y$) si y solo si siempre que $y_{\bullet }\to y\text{ en }Y$, entonces $f^{-1}\left(y_{\bullet }\right)\to f^{-1}(y)\text{ en }X.$
  • En comparación, $f:X\to Y$ es continua si y solo si siempre que $x_{\bullet }\to x\text{ en }X$, entonces $f\left(x_{\bullet }\right)\to f(x)\text{ en }Y.$
  Esta caracterización sigue siendo cierta si se permite que $y_{\bullet }\text{ y }y$ sean conjuntos (en lugar de restringirse a puntos), tales que $y_{\bullet }\to y\text{ en }Y.$ Plantilla:Demostración
• Una aplicación $f:X\to Y$ es abierta (lo que significa que envía conjuntos abiertos a un subconjunto abierto de $Y$) si y solo si siempre que $x$ sea un punto en $X$ e $y_{\bullet }$ sea una red que se acumula en $f(x)\text{ en }Y,$ entonces $f^{-1}\left(y_{\bullet }\right)$ se acumula en $x\text{ en }X.$
  • En comparación, $f:X\to Y$ es continua si y solo si siempre que $x_{\bullet }$ sea una red que se acumula en un punto $x\text{ en }X,$ y entonces $f\left(x_{\bullet }\right)$ se acumula en $f(x)\text{ en }Y.$
  Esta caracterización sigue siendo cierta si se permite que $y_{\bullet }\text{ y }x$ sean conjuntos. Plantilla:Demostración
• Una aplicación $f:X\to Y$ es abierta si y solo si siempre que $y_{\bullet }\to y\text{ en }Y.$ Entonces, cualquier subconjunto cerrado de $X$ que contenga a $f^{-1}\left(y_{\bullet }\right)$ necesariamente también contendrá a $f^{-1}(y).$
  • En comparación, según la caracterización del cierre de continuidad, $f:X\to Y$ es continua si y solo si siempre que $x_{\bullet }\to x\text{ en }X$, cualquier subconjunto cerrado de $Y$ que contenga a $f\left(x_{\bullet }\right)$ necesariamente también contendrá a $f(x).$
  Esta caracterización sigue siendo cierta si se permite que $y_{\bullet }$ sea una red de conjuntos que finalmente no esté vacía (en lugar de ser una red de puntos), mientras que $y\in Y$ continúa siendo un punto (de modo que $y_{\bullet }\to y\text{ en }Y$). Lo mismo ocurre con la caracterización de la aplicación de cocientes que aparece a continuación. Plantilla:Demostración
• Una sobreyección continua $f:X\to Y$ es una aplicación cociente si y solo si siempre que $y_{\bullet }\to y\text{ en }Y$ entonces cualquier subconjunto cerrado Plantilla:Enf de $X$ que contiene a $f^{-1}\left(y_{\bullet }\right)$, necesariamente también contendrá a $f^{-1}(y)$ (un conjunto $C\subseteq X$ está saturado si $f^{-1}(f(C))=C$).
• Un subconjunto $C\subseteq X$ está cerrado en $X$ si y solo si para cada punto $x\in X$ y para cada red de subconjuntos $c_{\bullet }$ de $C$ que finalmente no esté vacía, si $c_{\bullet }\to x\text{ en }X$ cuando $x\in C.$
• Una aplicación $f:X\to Y$ es continua si y solo si siempre que $S$ y $S_{\bullet }$ sean conjuntos o puntos en $X$ tales que $S_{\bullet }\to S\text{ en }X,$ y entonces $f\left(S_{\bullet }\right)\to f(S)\text{ en }Y.$ Plantilla:Demostración
• Una aplicación $f:X\to Y$ es continua si y solo si siempre que $S_{\bullet }$ sea una red de conjuntos o puntos en $X$ que se acumula en (respectivamente, converge a) algún punto o subconjunto dado $S$ de $X,$ entonces $f\left(S_{\bullet }\right):={\left(f\left(S_i\right)\right)}_{i\in I}$ se acumula en (respectivamente, converge a) $f(S)$ en $Y.$

Topología del conjunto de prefiltros

A partir de nada más que un conjunto $X,$ es posible establecer la topología del conjunto

$\mathbb{P}:=\mathrm{Prefiltros}(X)$

de todas las bases de filtros en $X$ con la Plantilla:Enf, que lleva el nombre de Marshall Harvey Stone.

Para evitar ambigüedades, en este artículo se emplea la siguiente convención de notaciones:

• Letras minúsculas para elementos $x\in X.$
• Letras mayúsculas para subconjuntos $S\subseteq X.$
• Letras de caligrafía en mayúsculas para subconjuntos $ℬ\subseteq \mathrm{\wp }(X)$ (o de manera equivalente, para elementos $ℬ\in \mathrm{\wp }(\mathrm{\wp }(X)),$ como prefiltros).
• Letras mayúsculas de doble trazo para subconjuntos $\mathbb{P}\subseteq \mathrm{\wp }(\mathrm{\wp }(X)).$

Por cada $S\subseteq X,$ sea

$𝕆(S):=\{ℬ\in \mathbb{P}:S\in {ℬ}^{\uparrow X}\}$

donde $𝕆(X)=\mathbb{P}\text{ y }𝕆(\varnothing )=\varnothing .$ Estos conjuntos serán los subconjuntos abiertos básicos de la topología de Stone. Si $R\subseteq S\subseteq X$, entonces

$\{ℬ\in \mathrm{\wp }(\mathrm{\wp }(X)):R\in {ℬ}^{\uparrow X}\}\subseteq \{ℬ\in \mathrm{\wp }(\mathrm{\wp }(X)):S\in {ℬ}^{\uparrow X}\}.$

De esta inclusión, es posible deducir todas las inclusiones de subconjuntos que se muestran a continuación, con la excepción de $𝕆(R\cap S)\supseteq 𝕆(R)\cap 𝕆(S).$ Para todos los $R\subseteq S\subseteq X,$

$𝕆(R\cap S)=𝕆(R)\cap 𝕆(S)\subseteq 𝕆(R)\cup 𝕆(S)\subseteq 𝕆(R\cup S)$

donde en particular, la igualdad $𝕆(R\cap S)=𝕆(R)\cap 𝕆(S)$ muestra que la familia $\{𝕆(S):S\subseteq X\}$ es un sistema $\pi$ que forma una base para una topología en $\mathbb{P}$ llamada Plantilla:Enf. De ahora en adelante, se supondrá que $\mathbb{P}$ conlleva esta topología, y que cualquier subconjunto de $\mathbb{P}$ porta la topología del subespacio inducida.

A diferencia de la mayoría de las otras construcciones generales de topologías (por ejemplo, las topologías producto, cociente, o subespacial entre otras), esta topología en $\mathbb{P}$ se definió con Plantilla:Enf usar cualquier otra cosa que no sea el conjunto $X;$; sin estructuras o suposiciones preexistentes en $X$, por lo que esta topología es completamente independiente de todo lo que no sea $X$ (y sus subconjuntos).

Los siguientes criterios se pueden utilizar para verificar puntos de cierre y entornos. Si $𝔹\subseteq \mathbb{P}\text{ y }ℱ\in \mathbb{P}$ entonces:

• Plantilla:Enf: $ℱ$ pertenece al cierre de $𝔹\text{ en }\mathbb{P}$ si y solo si $ℱ\subseteq \bigcup _{ℬ\in 𝔹}{ℬ}^{\uparrow X}.$
• Plantilla:Enf: $𝔹$ es un entorno de $ℱ\text{ en }\mathbb{P}$ si y solo si existe algún $F\in ℱ$ tal que $𝕆(F)=\{ℬ\in \mathbb{P}:F\in {ℬ}^{\uparrow X}\}\subseteq 𝔹$ (es decir, tal que para todos los $ℬ\in \mathbb{P},\text{ si }F\in {ℬ}^{\uparrow X}\text{ entonces }ℬ\in 𝔹$).

De ahora en adelante se asumirá que $X\ne \varnothing$ porque de lo contrario $\mathbb{P}=\varnothing$, y la topología es $\{\varnothing \},$ lo que no es interesante.

Subespacio de ultrafiltros

El conjunto de ultrafiltros en $X$ (con topología subespacial) es un espacio de Stone, lo que significa que es compacto, de Hausdorff y totalmente desconectado. Si $X$ tiene una topología discreta, entonces la aplicación $\beta :X\to \mathrm{U}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{F}\mathrm{i}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{s}(X),$ definida enviando $x\in X$ al ultrafiltro principal en $x,$ es una inclusión topológica cuya imagen es un subconjunto denso de $\mathrm{U}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{F}\mathrm{i}\mathrm{l}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{s}(X)$ (consúltese el artículo sobre la compactación de Stone-Čech para obtener más detalles).

Relaciones entre topologías en $X$ y la topología de Stone en $\mathbb{P}$

Cada $\tau \in \mathrm{Top}(X)$ induce una aplicación canónica ${𝒩}_{\tau }:X\to \mathrm{Filtros}(X)$ definida por $x\mapsto {𝒩}_{\tau }(x),$ que envía $x\in X$ al filtro de entornos de $x\text{ en }(X,\tau ).$ Si $\tau ,\sigma \in \mathrm{Top}(X)$, entonces $\tau =\sigma$ si y solo si ${𝒩}_{\tau }={𝒩}_{\sigma }.$ Por lo tanto, cada topología $\tau \in \mathrm{Top}(X)$ se puede identificar con la aplicación canónica ${𝒩}_{\tau }\in \mathrm{Func}(X;\mathbb{P}),$ lo que permite identificar canónicamente a $\mathrm{Top}(X)$ como un subconjunto de $\mathrm{Func}(X;\mathbb{P})$ (como nota al margen, ahora es posible colocar en $\mathrm{Func}(X;\mathbb{P}),$ y, por lo tanto, también en $\mathrm{Top}(X),$ la topología de convergencia puntual en $X$, por lo que ahora tiene sentido hablar de cosas como sucesiones de topologías en $X$ que convergen puntualmente). Para cada $\tau \in \mathrm{Top}(X),$ la sobreyección ${𝒩}_{\tau }:(X,\tau )\to \mathrm{imagen}{𝒩}_{\tau }$ es siempre continua, cerrada, y abierta, pero es inyectiva si y solo si $\tau \text{ es }{T}_0$ (es decir, es un espacio de Kolmogórov). En particular, para cada topología $T_0$ $\tau \text{ sobre }X,$ la aplicación ${𝒩}_{\tau }:(X,\tau )\to \mathbb{P}$ es una inclusión topológica (dicho de otra manera, cada espacio de Kolmogórov es un subespacio topológico del espacio de prefiltros).

Además, si $𝔉:X\to \mathrm{Filtros}(X)$ es una aplicación tal que $x\in \ker 𝔉(x):=\bigcap _{F\in 𝔉(x)}F\text{ para todo }x\in X$ (lo cual es cierto para $𝔉:={𝒩}_{\tau },$ por ejemplo), entonces, para cada $x\in X\text{ y }F\in 𝔉(x),$ el conjunto $𝔉(F)=\{𝔉(f):f\in F\}$ es un entorno (en la topología subespacial) de $𝔉(x)\text{ en }\mathrm{imagen}𝔉.$

Véase también

• Caracterizaciones de la categoría de espacios topológicos
• Espacio de convergencia
• 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

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite book
• Plantilla:Cite journal
• Plantilla:Cite journal
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite book
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cite web (Proporciona una revisión introductoria de filtros en topología y espacios métricos).
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro