Introducción

Una vez que se le ha dado un orden a los elementos de un conjunto, podemos decir más acerca de ellos. En esta entrada hablaremos de aquellos elementos con características especiales, según sean éstas los llamaremos mínimos, máximos, minimales o maximales.

Mínimos y máximos

Comenzaremos definiendo a los mínimos y máximos en un conjunto parcialmente ordenado.

Definición. Sea $\leq$ un orden parcial en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento mínimo de $B$ en el orden $\leq$ si para cualquier $x\in B$, se tiene que $b\leq x$. Denotamos al mínimo de $B$ como $\min(B)$.

Ejemplo.

Consideremos $A= \set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $\subseteq_A$ la relación de contención en $A$. Si consideramos $A\subseteq A$, tenemos que $\emptyset$ es elemento mínimo pues para cada elemento de $A$, se tiene que $\emptyset$ está por debajo o es igual. Más explícitamente, $\emptyset\subseteq \emptyset$, $\emptyset\subseteq \set{\emptyset}$ y $\emptyset\subseteq \set{\emptyset, \set{\emptyset}}$, como se muestra en el siguiente diagrama:

4$\square$

Definición. Sea $\leq$ un orden parcial en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento máximo de $B$ en el orden $\leq$ si para cualquier $x\in B$, se tiene que $x\leq b$. Denotamos al máximo de $B$ como $\max(B)$.

Ejemplo.

Consideremos $A= \set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $\subseteq_A$ la relación de contención en $A$. Si consideramos $A\subseteq A$, tenemos que $\set{\emptyset, \set{\emptyset}}$ es elemento máximo pues para cada elemento de $A$, se tiene que $\set{\emptyset, \set{\emptyset}}$ esta por encima o es igual a ellos. Más explícitamente, $\emptyset\subseteq \set{\emptyset, \set{\emptyset}}$, $\set{\emptyset}\subseteq \set{\emptyset, \set{\emptyset}}$ y $\set{\emptyset, \set{\emptyset}}\subseteq \set{\emptyset, \set{\emptyset}}$ como se muestra en el siguiente diagrama:

$\square$

Minimales y maximales

Definición. Sea $\leq$ un orden parcial en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento minimal de $B$ en el orden $\leq$ si no existe $x\in B$ tal que $x\leq b$ y $x\not=b$.

Ejemplo.

Consideremos $A= \set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $\subseteq_A$ la relación de contención en $A$. Si consideramos $A\subseteq A$, tenemos que $\emptyset$ es elemento minimal pues no existe $x\in B$ tal que $x\subseteq \emptyset$ y $x\not=\emptyset$.

$\square$

Definición. Sea $\leq$ un orden parcial en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento maximal de $B$ en el orden $\leq$ si no existe $x\in B$ tal que $b\leq x$ y $x\not=b$.

Ejemplo.

Consideremos $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $\subseteq_A$ la relación de contención en $A$. Si consideramos $A\subseteq A$, tenemos que $\set{\emptyset, \set{\emptyset}}$ es elemento maximal pues no existe $x\in B$ tal que $\set{\emptyset, \set{\emptyset}}\subseteq x$ y $x\not=\set{\emptyset, \set{\emptyset}}$.

$\square$

Diferencias entre las definiciones

Podemos preguntarnos si la definición de minimal es equivalente a la de mínimo o si la de maximal es equivalente a la de máximo. Sin embargo, va a resultar que las definiciones de minimal y maximal son más débiles que las de mínimo y máximo, respectivamente. Veamos los siguientes ejemplos que muestran como a pesar de existir elementos minimales no existe el mínimo y cómo a pesar de existir elementos maximales no existe el máximo.

Ejemplo.

Consideremos el conjunto parcialmente ordenado $(\set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}, \subseteq)$. Veamos el siguiente diagrama:

En la imagen anterior podemos notar que $\set{\emptyset}\subseteq \set{\emptyset, \set{\emptyset}}$ y $\set{\set{\emptyset}}\subseteq \set{\emptyset, \set{\emptyset}}$ y que éstas son las únicas relaciones posibles por la definición de contención. Luego, $\set{\emptyset}$ y $\set{\set{\emptyset}}$ son minimales pues no existe $x\in \set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$ tal que $x\subseteq \set{\emptyset}$ y $x\not=\set{\emptyset}$ ni $x\subseteq \set{\set{\emptyset}}$ y $x\not=\set{\set{\emptyset}}$.

Además, $\set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$ no tiene elemento mínimo pues de existir $x\in \set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$ tal que $x\subseteq y$ para todo $y\in \set{\set{\emptyset}, \set{\set{\emptyset}}, \set{\emptyset, \set{\emptyset}}}$, en particular, se tendría que $x\subseteq \set{\emptyset}$. Luego, el único elemento $x$ con esta propiedad en el conjunto $\set{\set{\emptyset},\set{\set{\emptyset}},\set{\emptyset,\set{\emptyset}}}$ es $\set{\emptyset}$ y en consecuencia, $x=\set{\emptyset}$. Por otro lado, por ser $x$ mínimo se tendría que $x\subseteq \set{\set{\emptyset}}$, y así $\set{\emptyset}\subseteq \set{\set{\emptyset}}$, es decir, $\set{\emptyset}\subseteq\set{\set{\emptyset}}$, lo cual no es verdad. Por lo tanto, no existe un mínimo en el conjunto $ \set{\set{\emptyset},\set{\set{\emptyset}},\set{\emptyset,\set{\emptyset}}} $.

$\square$

De este ejemplo podemos concluir que aunque un conjunto tenga minimal no necesariamente tendrá mínimo. Esto se debe a que en un conjunto puede existir más de un elemento minimal y en cambio, si un conjunto tiene mínimo, entonces éste resulta ser único.

Ejemplo.

Consideremos el conjunto parcialmente ordenado $(\set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}}, \subseteq)$. Veamos el siguiente diagrama:

En la imagen anterior podemos notar que $\emptyset\subseteq \set{\emptyset}$ y $\emptyset\subseteq \set{\set{\emptyset}}$ y que estás son las únicas relaciones posibles por la definición de contención. Luego, $\set{\emptyset}$ y $\set{\set{\emptyset}}$ son maximales pues no existe $x\in \set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}}$ tal que $\set{\emptyset}\subseteq x$ y $x\not=\set{\emptyset}$ y $\set{\set{\emptyset}}\subseteq x$ y $x\not=\set{\set{\emptyset}}$, respectivamente.

Notemos también que $\set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}}$ no tiene elemento máximo pues de existir $x\in \set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}} $ tal que $y\subseteq x$ para todo $y\in \set{\emptyset, \set{\emptyset}, \set{\set{\emptyset}}}$, se tendría en particular que $\set{\emptyset}\subseteq x$, de donde se sigue que $x=\set{\emptyset}$, pues este es el único elemento con tal propiedad en el conjunto $\set{\emptyset,\set{\emptyset},\set{\set{\emptyset}}}$. Luego, como $x=\set{\emptyset}$ es máximo se sigue que $\set{\set{\emptyset}}\subseteq\set{\emptyset}$, es decir, $\set{\set{\emptyset}}\subseteq\set{\emptyset}$, lo cual no es verdad. Por lo tanto, el conjunto $\set{\emptyset,\set{\emptyset},\set{\set{\emptyset}}}$ no tiene elemento máximo.

$\square$

De este ejemplo podemos concluir que aunque un conjunto tenga un elemento maximal no necesariamente tendrá máximo. Esto se debe a que puede existir más de un elemento maximal y, si un conjunto tiene máximo, éste resulta ser único.

Definiciones para órdenes parciales estrictos

Definición. Sea $<$ un orden estricto en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento mínimo de $B$ en el orden $<$ si para cualquier $x\in B\setminus\set{b}$, $b<x$. Denotamos al mínimo de $B$ como $\min(B)$.

Definición. Sea $<$ un orden estricto en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento máximo de $B$ en el orden $<$ si para cualquier $x\in B\setminus\set{b}$, $x<b$. Denotamos al mínimo de $B$ como $\min(B)$.

Definición. Sea $<$ un orden estricto en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento minimal de $B$ en el orden $<$ si no existe $x\in B$ tal que $x< b$.

Definición. Sea $<$ un orden en $A$ y sea $B\subseteq A$. Decimos que $b\in B$ es elemento maximal de $B$ en el orden $<$ si no existe $x\in B$ tal que $b< x$.

Tarea moral

La siguiente lista de ejercicios te permitirá reforzar el tema de esta sección:

• Si $(A, \leq)$ es un conjunto parcialmente ordenado y existe elemento mínimo en $A$, prueba que es único.
• Si $(A, \leq)$ es un conjunto parcialmente ordenado y existe elemento máximo en $A$, prueba que es único.
• Sea $(A, \leq)$ un conjunto parcialmente ordenado. Demuestra que si $A$ tiene máximo, entonces tiene maximal.
• Sea $(A, \leq)$ un conjunto parcialmente ordenado. Demuestra que si $A$ tiene mínimo, entonces tiene minimal.
• Muestra que si $(A,\leq)$ es un conjunto totalmente ordenado y $A$ tiene un elemento minimal, entonces es único.

Más adelante…

En la siguiente entrada seguiremos hablando de elementos con características especiales en un conjunto según estén ordenados. Hablaremos acerca de las cotas superiores e inferiores, así como de supremos e ínfimos.

Entradas relacionadas

• Entrada relacionada: Relación de pertenencia y relación de contención.
• Ir a Teoría de los Conjuntos I
• Entrada anterior: Teoría de los Conjuntos I: Orden total
• Siguiente entrada: Teoría de los Conjuntos I: Cotas inferiores e ínfimos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»