# Conjunto dirigido

En matemáticas, un conjunto dirigido (o un preorden dirigido, o también conjunto filtrado) es un conjunto no vacío $A$ junto con una relación binaria reflexiva y transitiva $\,\leq \,$ (es decir, un conjunto preordenado), con la propiedad adicional de que cada par de elementos tiene una cota superior. En otras palabras, para cualquier $a$ y $b$ pertenecientes a $A$ debe existir un $c$ en $A$ con $a\leq c$ y $b\leq c.$ El preorden de un conjunto dirigido se denomina dirección.
La noción definida anteriormente a veces se denomina conjunto dirigido hacia arriba. Un conjunto dirigido hacia abajo se define de manera análoga, y se caracteriza porque cada par de elementos está acotado por abajo. Algunos autores (y en este artículo) suponen que un conjunto dirigido está dirigido hacia arriba, a menos que se indique lo contrario. Otros autores llaman a un conjunto dirigido si y solo si está dirigido tanto hacia arriba como hacia abajo.
Los conjuntos dirigidos son una generalización de los conjuntos totalmente ordenados no vacíos. Es decir, todos los conjuntos totalmente ordenados son conjuntos dirigidos (a diferencia de los conjuntos parcialmente ordenados, que no necesita ser dirigido). Los semirretículos (que son conjuntos parcialmente ordenados) también son conjuntos dirigidos, pero no a la inversa. Asimismo, los retículos son conjuntos dirigidos tanto hacia arriba como hacia abajo.
En topología, los conjuntos dirigidos se utilizan para definir redes, que generalizan las sucesiones y unen las diversas nociones de límite utilizadas en análisis. Los conjuntos dirigidos también dan lugar a límites directos en álgebra abstracta, y más generalmente, en teoría de categorías.

## Definición equivalente

Además de la definición anterior, existe una definición equivalente. Un conjunto dirigido es un conjunto $A$ con un preorden tal que cada subconjunto finito de $A$ tiene un límite superior. En esta definición, la existencia de un límite superior del subconjunto vacío implica que $A$ no está vacío.

## Ejemplos

El conjunto de los números naturales $\mathbb {N}$ con el orden ordinario $\,\leq \,$ es uno de los ejemplos más importantes de conjunto dirigido. Cada conjunto totalmente ordenado es un conjunto dirigido, incluidos $(\mathbb {N} ,\leq ),$ $(\mathbb {N} ,\geq ),$ $(\mathbb {R} ,\leq ),$ y $(\mathbb {R} ,\geq ).$
Un ejemplo (trivial) de un conjunto parcialmente ordenado que no está dirigido es el conjunto $\{a,b\},$ en el que las únicas relaciones de orden son $a\leq a$ y $b\leq b.$ Un ejemplo menos trivial es el de los "números reales dirigidos hacia $x_{0}$", pero en el que la regla de ordenamiento solo se aplica a pares de elementos en el mismo lado de $x_{0}$ (es decir, si se toma un elemento $a$ a la izquierda de $x_{0},$ y $b$ a su derecha, entonces $a$ y $b$ no son comparables, y el subconjunto $\{a,b\}$ no tiene límite superior).

### Producto de conjuntos dirigidos

Sean $\mathbb {D} _{1}$ y $\mathbb {D} _{2}$ conjuntos dirigidos. Entonces, el conjunto producto cartesiano $\mathbb {D} _{1}\times \mathbb {D} _{2}$ se puede convertir en un conjunto dirigido definiendo $\left(n_{1},n_{2}\right)\leq \left(m_{1},m_{2}\right)$ si y solo si $n_{1}\leq m_{1}$ y $n_{2}\leq m_{2}.$ En analogía con el orden de producto, esta es la dirección del producto en el producto cartesiano. Por ejemplo, el conjunto $\mathbb {N} \times \mathbb {N}$ de pares de números naturales se puede convertir en un conjunto dirigido definiendo $\left(n_{0},n_{1}\right)\leq \left(m_{0},m_{1}\right)$ si y solo si $n_{0}\leq m_{0}$ y $n_{1}\leq m_{1}.$

### Dirigido hacia un punto

Si $x_{0}$ es un número real, entonces el conjunto $I:=\mathbb {R} \backslash \lbrace x_{0}\rbrace$ se puede convertir en un conjunto dirigido definiendo $a\leq _{I}b$ si $\left|a-x_{0}\right|\geq \left|b-x_{0}\right|$ (por lo que los elementos "mayores" están más cerca de $x_{0}$). Entonces, se dice que los números reales han sido dirigidos hacia $x_{0}.$ Este es un ejemplo de un conjunto dirigido que no es parcialmente ordenado ni totalmente ordenado. Esto es debido a que la antisimetría se descompone para cada par $a$ y $b$ equidistantes de $x_{0},$ donde $a$ y $b$ están en lados opuestos de $x_{0}.$ Explícitamente, esto sucede cuando $\{a,b\}=\left\{x_{0}-r,x_{0}+r\right\}$ para algún $r\neq 0$ real, en cuyo caso $a\leq _{I}b$ y $b\leq _{I}a$ incluso si $a\neq b$. Si el preorden hubiera sido definido en $\mathbb {R}$ en lugar de en $\mathbb {R} \backslash \lbrace x_{0}\rbrace$, entonces todavía formaría un conjunto dirigido, pero en este caso tendría un (único) elemento más grande, específicamente $x_{0}$. Sin embargo, aún no sería parcialmente ordenado. Este ejemplo se puede generalizar a un espacio métrico $(X,d)$ definiendo en $X$ o $X\setminus \left\{x_{0}\right\}$ el perorden $a\leq b$ si y solo si $d\left(a,x_{0}\right)\geq d\left(b,x_{0}\right).$

### Elementos máximos y mayores

Un elemento $m$ de un conjunto $(I,\leq )$ preordenado es un elemento máximo si por cada $j\in I,$ $m\leq j$ implica que $j\leq m.$ Es un elemento más grande si por cada $j\in I,$ $j\leq m.$
Cualquier conjunto preordenado con un elemento mayor es un conjunto dirigido con el mismo preorden. Por ejemplo, en un conjunto parcialmente ordenado $P,$ cada cierre inferior de un elemento, es decir, cada subconjunto de la forma $\{a\in P:a\leq x\}$ donde $x$ es un elemento fijo de $P,$ es dirigido.
Cada elemento máximo de un conjunto preordenado dirigido es un elemento máximo. De hecho, un conjunto preordenado dirigido se caracteriza por la igualdad de los conjuntos (que pueden ser vacíos) de elementos máximos y mayores.

### Inclusión de subconjuntos

La relación de inclusión de subconjuntos $\,\subseteq ,\,$ junto con su dual $\,\supseteq ,\,$ definen un preorden en cualquier familia de conjuntos determinada. Una familia de conjuntos no vacía es un conjunto dirigido con respecto al orden parcial $\,\supseteq \,$ (respectivamente, $\,\subseteq \,$) si y solo si la intersección (respectivamente, unión) de dos de sus miembros contiene como un subconjunto (respectivamente, está contenido como un subconjunto de) algún tercer miembro. En símbolos, una familia de conjuntos $I$ está dirigida con respecto a $\,\supseteq \,$ (respectivamente, $\,\subseteq \,$) si y solo si
    Para todo $A,B\in I,$ existe algún $C\in I$ tal que $A\supseteq C$ y $B\supseteq C$ (respectivamente, $A\subseteq C$ y $B\subseteq C$)
o equivalentemente,
    Para todo $A,B\in I,$ existe algún $C\in I$ tal que $A\cap B\supseteq C$ (respectivamente, $A\cup B\subseteq C$).
Se pueden definir muchos ejemplos importantes de conjuntos dirigidos utilizando estos órdenes parciales.
Por ejemplo, por definición, un filtro prefiltro o base es una familia de conjuntos no vacía que es un conjunto dirigido con respecto al conjunto parcialmente ordenado $\,\supseteq \,$ y que además no contiene el conjunto vacío (esta condición evita la trivialidad, porque de lo contrario, el conjunto vacío entonces sería un elemento más grande con respecto a $\,\supseteq \,$). Cada sistema Π, que es un familia de conjuntos no vacía que está cerrada bajo la intersección de cada dos de sus miembros, es un conjunto dirigido con respecto a $\,\supseteq \,.$ Cada sistema λ es un conjunto dirigido con respecto a $\,\subseteq \,.$ Cada filtro, topología y σ-álgebra es un conjunto dirigido con respecto a $\,\supseteq \,$ y $\,\subseteq \,.$

#### Colas de redes

Por definición, una red es una función de un conjunto dirigido y una sucesión es una función de los números naturales $\mathbb {N} .$ Cada sucesión se convierte canónicamente en una red al dotar a $\mathbb {N}$ de $\,\leq .\,$
Si $x_{\bullet }=\left(x_{i}\right)_{i\in I}$ es cualquier red de un conjunto dirigido $(I,\leq )$, entonces para cualquier índice $i\in I,$ el conjunto $x_{\geq i}:=\left\{x_{j}:j\geq i{\text{with }}j\in I\right\}$ se llama cola de $(I,\leq )$ comenzando en $i.$ La familia $\operatorname {Tails} \left(x_{\bullet }\right):=\left\{x_{\geq i}:i\in I\right\}$ de todas las colas es un conjunto dirigido con respecto a $\,\supseteq ;\,$, de hecho, es incluso un prefiltro.

#### Entornos

Si $T$ es un espacio topológico y $x_{0}$ es un punto en $T,$, el conjunto de todos los entornos de $x_{0}$ se puede convertir en un conjunto dirigido escribiendo $U\leq V$ si y solo si $U$ contiene a $V.$ Para cada $U,$ $V,$ y $W$ :
* $U\leq U$, ya que $U$ se contiene a sí mismo.
* Si $U\leq V$ y $V\leq W,$ entonces $U\supseteq V$ y $V\supseteq W,$ lo que implica que $U\supseteq W.$ Por lo tanto $U\leq W.$
* Porque $x_{0}\in U\cap V,$ y ya que tanto $U\supseteq U\cap V$ como $V\supseteq U\cap V,$ se tiene que $U\leq U\cap V$ y $V\leq U\cap V.$

#### Subconjuntos finitos

El conjunto $\operatorname {Finito} (I)$ de todos los subconjuntos finitos de un conjunto $I$ está dirigido con respecto a $\,\subseteq \,$ ya que dados dos $A,B\in \operatorname {Finito} (I),$ cualesquiera, su unión $A\cup B\in \operatorname {Finito} (I)$ es un límite superior de $A$ y $B$ en $\operatorname {Finito} (I).$ Este conjunto dirigido en particular se utiliza para definir la suma ${\textstyle \sum \limits _{i\in I}}r_{i}$ de una serie generalizada de una colección de números $I$ indexada por $\left(r_{i}\right)_{i\in I}$ (o más generalmente, la suma de elementos en un grupo topológico abeliano, como vectores en un espacio vectorial topológico) como límite de la red de series $F\in \operatorname {Finito} (I)\mapsto {\textstyle \sum \limits _{i\in F}}r_{i};$, es decir:
    $\sum _{i\in I}r_{i}~:=~\lim _{F\in \operatorname {Finito} (I)}\ \sum _{i\in F}r_{i}~=~\lim \left\{\sum _{i\in F}r_{i}\,:F\subseteq I,F{\text{ finito }}\right\}.$

### Lógica

Sea $S$ una teoría formal, que es un conjunto de sentencias con ciertas propiedades (cuyos detalles se pueden encontrar en el artículo teoría (lógica)). Por ejemplo, $S$ podría ser una teoría de primer orden (como los axiomas de Zermelo-Fraenkel) o una teoría de orden cero más simple. El conjunto preordenado $(S,\Leftarrow )$ es un conjunto dirigido, porque si $A,B\in S$ y si $C:=A\wedge B$ denota la oración formada por la conjunción lógica $\,\wedge ,\,$ entonces $A\Leftarrow C$ y $B\Leftarrow C$, donde $C\in S.$ Si $S/\sim$ es el álgebra de Lindenbaum-Tarski asociada con $S$, entonces $\left(S/\sim ,\Leftarrow \right)$ es un conjunto parcialmente ordenado que también es un conjunto dirigido.

## Contraste con las semiredes

El conjunto dirigido es un concepto más general que el de semirretículo (unido): cada semirretículo unido es un conjunto dirigido, ya que la unión o el límite superior mínimo de dos elementos es el elemento $c$ buscado. Sin embargo, lo contrario no se cumple, como lo demuestra el conjunto dirigido {1000,0001, 1101,1011,1111} ordenado bit a bit (por ejemplo, $1000\leq 1011$ se mantiene, pero $0001\leq 1000$ no, ya que en el último bit 1 > 0), donde {1000,0001} tiene tres límites superiores pero ningún límite superior mínimo, como se puede ver en la imagen (téngase en cuenta también que sin 1111, el conjunto no está dirigido).

## Subconjuntos dirigidos

No es necesario que la relación de orden en un conjunto dirigido sea antisimétrica y, por lo tanto, los conjuntos dirigidos no siempre son parcialmente ordenados. Sin embargo, el término conjunto dirigido también se utiliza con frecuencia en el contexto de los conjuntos parcialmente ordenados. En esta configuración, un subconjunto $A$ de un conjunto parcialmente ordenado $(P,\leq )$ se denomina subconjunto dirigido si es un conjunto dirigido según el mismo orden parcial: en otras palabras, no es el conjunto vacío, y cada par de elementos tiene un límite superior. Aquí, la relación de orden de los elementos de $A$ se hereda de $P$, y por esta razón, no es necesario exigir explícitamente la reflexividad y la transitividad.
No es necesario que un subconjunto dirigido de un conjunto parcialmente ordenado sea cerrado hacia abajo. Un subconjunto de un conjunto parcialmente ordenado está dirigido si y solo si su cierre descendente es un ideal. Si bien la definición de conjunto dirigido es para un conjunto "dirigido hacia arriba" (cada par de elementos tiene un límite superior), también es posible definir un conjunto dirigido hacia abajo en el que cada par de elementos tiene un límite inferior común. Un subconjunto de un conjunto parcialmente ordenado está dirigido hacia abajo si y solo si su cierre superior es un filtro.
Los subconjuntos dirigidos se utilizan en teoría de dominios, que estudian el orden parcial dirigido completo. Estos son conjuntos parcialmente ordenados en los que cada conjunto dirigido hacia arriba debe tener una cota superior mínima. En este contexto, los subconjuntos dirigidos nuevamente proporcionan una generalización de las sucesiones convergentes.