Archivo de la etiqueta: orden total

Teoría de los Conjuntos I: Sucesor

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta nueva entrada hablaremos acerca del sucesor de un número natural. Este concepto nos permitirá definir un poco más adelante qué son los conjuntos inductivos, que simultáneamente nos dará un método de demostración muy versátil, y conectará nuestro estudio de los números naturales con el de los conjuntos infinitos.

Sucesor

La noción que estudiaremos ahora es la siguiente.

Definición. Sea $x$ un conjunto. Definimos al sucesor de $x$ como $s(x)=x\cup \set{x}$.

Ejemplos.

  • El sucesor de $\emptyset$ es $s(\emptyset)=\emptyset\cup \set{\emptyset}=\set{\emptyset}$.
  • El sucesor de $\set{\emptyset}$ es $s(\set{\emptyset})=\set{\emptyset}\cup \set{\set{\emptyset}}=\set{\emptyset, \set{\emptyset}}$.
  • Luego, el sucesor de $\set{\emptyset, \set{\emptyset}}$ es $s(\set{\emptyset, \set{\emptyset}})=\set{\emptyset,\set{\emptyset}}\cup \set{\set{\emptyset, \set{\emptyset}}}=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$.
  • El sucesor de $\set{\set{\emptyset}}$ es $s(\set{\set{\emptyset}})=\set{\set{\emptyset}}\cup \set{\set{\set{\emptyset}}}= \set{\set{\emptyset}, \set{\set{\emptyset}}}$.

$\square$

La noción de sucesor está definida para cualquier conjunto. Pero dado que en esta unidad únicamente estaremos trabajando con números naturales, prácticamente nos limitaremos a usar la definición de sucesor para conjuntos que son números naturales. En este caso sucede algo especial: si $n$ es un número natural, entonces $s(n)$ también lo es. Vamos a demostrar esto, pero antes demostraremos algunos lemas que nos serán de utilidad.

Unos lemas sobre la pertenencia

A continuación probaremos algunos resultados sobre la pertenencia de números naturales en sí mismos y de unos en otros. Cuando los leas, te darás cuenta de que ya habíamos demostrado resultados similares y más generales en la entrada del axioma de buena fundación. Sin embargo, nota que en las siguientes demostraciones no es necesario utilizar este axioma, pues la definición de número natural nos da todo lo que necesitamos.

Lema 1. Para cualquier número natural $n$, no es posible que $n\in n$.

Demostración.

Sea $n$ un número natural. Entonces $\in_n$ es un orden total estricto para $n$. Si sucediera que $n\in n$, entonces tendríamos una contradicción pues tendríamos $n\in_n n$ y $n\in_n n$, lo que contradice la asimetría de $\in_n$. Así, $n\not \in n$.

$\square$

Lema 2. Si $n$, $m$ son números naturales, entonces no es posible que $n\in m$ y $m\in n$ al mismo tiempo.

Demostración.

Sean $n$ y $m$ números naturales. Si $n\in m$ y $m\in n$, entonces $n\in n$ pues $n$ es conjunto transitivo. Esto contradice el lema anterior.

Por lo tanto, no es posible que $n\in m$ y $m\in n$ al mismo tiempo.

$\square$

Así, hemos logrado hacer estas demostraciones sin recurrir al axioma de buena fundación. Como comentario tangencial, en teoría de los conjuntos no sólo resulta de interés probar resultados que se deducen de los axiomas, sino que a veces también es interesante identificar realmente cuáles son los «axiomas suficientes» para tener algún resultado de la teoría. Nos encontraremos nuevamente con preguntas de este estilo cuando hablemos del axioma de elección.

El sucesor de un natural

Ahora que demostramos los lemas anteriores, estamos listos para probar que el sucesor de un número natural es un número natural.

Teorema.1 Si $n$ es un número natural, entonces $s(n)$ es un número natural.

Demostración.

Sea $n$ un número natural. Veamos que $s(n)$ es un número natural. Para ello tenemos que probar todo lo siguiente:

  • $s(n)$ es transitivo.
  • $\in_{s(n)}$ es un orden total estricto en $s(n)$.
  • Cualquier $B\subseteq s(n)$ no vacío tiene mínimo y máximo con respecto a $\in_{s(n)}$.

A continuación hacemos todo esto.

$s(n)$ es transitivo.

Sea $y\in s(n)=n\cup\set{n}$. Si $y\in n$, dado que $n$ es un número natural, entonces $n$ es transitivo y por lo tanto, $y\subseteq n$. Así, $y\subseteq n\cup\set{n}$. Si $y\in \set{n}$, entonces $y=n$ y en particular, $y\subseteq n$ y así, $y\subseteq n\cup\set{n}$. En cualquier caso, $y\subseteq s(n)$. Por lo tanto, $s(n)$ es un conjunto transitivo.

$\in_{s(n)}$ es un orden total estricto en $s(n)$.

Para esta parte debemos probar que $\in_{s(n)}$ es una relación asimétrica, transitiva y que cualquiera dos elementos de $s(n)$ son $\in_{s(n)}$ comparables.

Veamos que $\in_{s(n)}$ es asimétrica. Sean $y,z\in s(n)$. Como $y\in s(n)=n\cup \{n\}$, entonces o bien $y=n$, y entonces $y$ es natural, o bien $y\in n$, y entonces $y$ es natural por el teorema de la entrada anterior. De manera análoga, $z$ es natural. Por el Lema 2 de esta entrada, es imposible que $y \in_{s(n)} z$ y $z \in_{s(n)} y$ simultáneamente, por lo que $\in_{s(n)}$ es asimétrica.

Antes de ver que la relación es transitiva, veamos que cualesquiera dos elementos son comparables. Tomemos $y,z \in s(n)$ arbitrarios. Si ambos están en $n$, entonces como $\in_n$ es total, tenemos que o $y\in_n z$, o $y=z$, o $z\in_n y$. Respectivamente tendríamos que $y\in_{s(n)} z$, o $y=z$, o $z\in_{s(n)} y$. Si ambos están en $\{n\}$, entonces $y=n=z$ y así $y=z$. Si $y$ está en $n$ y $z$ está en $\{n\}$, entonces $z=n$ y por lo tanto $y\in z$, de donde $y\in_{s(n)} z$. Si $z$ está en $n$ y $y$ está en $\{n\}$, entonces $y=n$ y por lo tanto $z\in_{s(n)} y$, de donde $z\in_{s(n)} y$.

Para terminar de ver que $\in_{s(n)}$ es un orden total estricto, falta ver que es una relación transitiva. Para ello tomemos $w,y,z\in s(n)$ arbritarios tales que $w\in_{s(n)} y$ y $y\in_{s(n)} z$ y veamos que $w\in_{s(n)} z$. De acuerdo a en dónde están $w,y,z$ en $s(n)=n\cup \{n\}$, tenemos 8 casos. Pero podemos reducirlos a las siguientes tres posibilidades.

  • $w,y,z\in n$, en cuyo caso se da $w\in_n z$ por transitividad de $\in_n$, y así $w\in_{s(n)} z$.
  • Exactamente uno de $w,y,z$ es igual a $n$. No se puede $w=n$ pues llegamos a la contradicción $n=w\in y$ (por nuestra suposición) y $y\in n$ (pues exactamente hay uno igual a $n$). Análogamente, tampoco se puede $y=n$ pues llegamos a la contradicción $n\in z$ y $z\in n$. Así, sólo puede ser $z$, pero entonces $w\in n=z$, de donde $w\in_{s(n)} z$.
  • Al menos dos de $w,y,z$ es igual a $n$. Este caso es imposible pues lleva o bien a una contradicción del estilo $n\in n$ (cuando $w=n=y$ o $y=n=z$), o bien a la contradicción $n\in y \in n$.

Lo anterior cubre todos los casos para mostrar que la relación es transitiva. Hemos entonces mostrado que $\in_{s(n)}$ es un orden total y estricto para $s(n)$.

Cualquier $B\subseteq s(n)$ no vacío tiene mínimo y máximo con respecto a $\in_{s(n)}$.

Supongamos que $B$ conjunto no vacío es subconjunto de $s(n)$ y veamos que $B$ tiene máximo y mínimo.

Caso 1: Si $B\subseteq \set{n}$, como $B\not=\emptyset$ entonces $B=\set{n}$.

Luego, $n=\min (B)$ pues se satisface que para cualquier $y\in B\setminus \set{n}=\emptyset$, se tiene que $n\in y$ por vacuidad.

Finalmente, $n=\max (B)$ pues se satisface que para cualquier $y\in B\setminus \set{n}=\emptyset$, se tiene que $y\in n$ por vacuidad.

Caso 2: Si $B\subseteq n$, entonces $B$ es un subconjunto no vacío de $n$, así que tiene un mínimo $a$ y un máximo $b$ con respecto a $\in_n$, que son a la vez mínimo y máximo con respecto a $\in_{s(n)}$.

Caso 3: Si no pasa que $B\subseteq \set{n}$, ni $B\subseteq n$, entonces hay elementos de $B$ en $\set{n}$ y en $n$. Así, $n\in B$ y podemos definir $a$ como el mínimo de $B\cap n$. Afirmamos que $n=\max(B)$ y $a=\min(B)$.

En efecto, todo $y\in B\setminus\{n\}$ está en $n$ y por lo tanto $y\in_{s(n)} n$. Además, si tomamos $z\in B\setminus \{a\}$, entonces hay dos posibilidades. O bien $z=n$, que acabamos de ver que cumple $a\in_{s(n)} n$. O bien $z\in n$, pero entonces $z\in B\cap n$ y como $a$ es mínimo de $B\cap n$, tenemos entonces $a\in_n z$ y por lo tanto $a\in_{s(n)} z$.

Con esto terminamos de demostrar todo lo que necesitábamos para ver que $s(n)$ es un natural.

$\square$

Tarea moral

La siguiente lista de ejercicios te permitirá aprender otras propiedades del sucesor de un número natural:

  1. Describe al sucesor del natural $\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}, \set{\emptyset, \set{\emptyset},\set{\emptyset, \set{\emptyset}}}}$.
  2. Sean $x$ y $y$ conjuntos cualesquiera. Demuestra que si $s(x)=s(y)$, entonces $x=y$.
  3. Prueba que para cualquier natural $n$ se cumple que $\bigcup s(n)=n$.
  4. Sea $x$ un conjunto. Demuestra que $x$ y $s(x)$ son conjuntos distintos. ¿Será siempre cierto que $x$ y $s(s(x))$ son conjuntos disintos? En caso de que sí, da una prueba. En caso de que no, da un contraejemplo.

Más adelante…

En la siguiente entrada definiremos a los conjuntos inductivos. Tales conjuntos nos darán la base para definir al conjunto de los números naturales. Además hablaremos de un nuevo axioma: el axioma del infinito.

Entradas relacionadas

En los siguientes enlaces podrás repasar el contenido acerca de números naturales.

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»

  1. También puedes consultar la prueba de este teorema en: También puedes consultar la prueba de este teorema en: Hernández, F., Teoría de Conjuntos, México: Aportaciones Matemáticas No.13, SMM, 1998, p. 92-93. ↩︎

Teoría de los Conjuntos I: Números naturales

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada daremos la definición formal de qué es un número natural. Además probaremos algunos resultados sobre números naturales.

Número natural

Definición. Sea $n$ un conjunto. Decimos que $n$ es un número natural si satisface las siguientes tres condiciones:

  1. $n$ es un conjunto transitivo.
  2. $\in_n$ es un orden total estricto en $n$.
  3. Cualquier subconjunto no vacío $z$ de $n$ tiene elemento mínimo y máximo en el orden $\in_n$.

Ejemplo.

Afirmamos que el conjunto $0=\emptyset$ es un número natural. Veamos por qué. En la entrada anterior vimos que $\emptyset$ es un conjunto transitivo.

Además, $(\emptyset, \in_\emptyset)$ es un conjunto totalmente ordenado pues $\in_\emptyset= \emptyset$, por lo que se satisface por vacuidad (en $\emptyset$) que es una relación asimétrica y transitiva. Asimismo, los elementos de $\in_\emptyset$ son comparables por vacuidad (en $\emptyset$) y por lo tanto, $\in_\emptyset$ es un orden total.

Finalmente, se satisface por vacuidad que para cualquier $z\not=\emptyset$ (pues no hay tal) que cumple que $z\subseteq \emptyset$, se tiene que $z$ tiene elemento mínimo y máximo en el orden $\in_\emptyset$.

Por lo tanto, $\emptyset$ es un número natural.

$\square$

Elementos de números naturales son números naturales

En esta sección veremos que si $n$ es número natural y $z\in n$, entonces $z$ es número natural. Lo primero que es conveniente hacer es entender la relación $\in_z$ en términos de la relación $\in_n$.

Lema 1. Si $n$ es un conjunto transtivo, entonces para cualquier $z\in n$ se cumple que $\in_n\cap (z\times z)=\in_z$..

Demostración. En efecto, tenemos que

\begin{align*}
\in_n\cap(z\times z)&=\set{(x,y)\in n\times n:x\in y}\cap(z\times z)\\
&=\set{(x,y)\in z\times z:x\in y}\\
&=\in_z.
\end{align*}

$\square$

El siguiente lema será de ayuda para mostrar que cualquier elemento de un número natural resulta ser también un número natural.

Lema 2. Si $n$ es un conjunto transitivo, entonces, para cualquier $z\in n$ se satisface que $\in_z$ es un orden total estricto en $z$.

Demostración.

Veamos que $\in_z$ es una relación asimétrica, transitiva y sus elementos son $\in_z$-comparables.

  1. Asimetría.
    Procedamos por contradicción. Supongamos que $x,y\in z$ tales que $x\in_z y$ y $y\in_z x$. Por el Lema 1, tendríamos que $x\in_n y$ y $y\in_n x$, lo cual no puede ocurrir pues $\in_n$ es una relación asimétrica. Así, no hay tales $x$ y $y$. Esto muestra que $\in_z$ también es una relación asimétrica.
  2. Transitividad.
    Sean $x, y, w\in z$ tales que $x\in_z y$ y $y\in_z w$. Por el Lema 1, tenemos que $x\in_n y$ y $y\in_n w$, lo que implica que $x\in_n w$ con $x, w\in z$. De nuevo por el Lema 1, se tiene que $x\in_zw$. Por lo tanto, $\in_z$ es transitiva en $z$.
  3. $\in_z$-comparables.
    Sean $x,y\in z$. Dado que $z\in n$, entonces $x\in n$ y $y\in n$. Como $\in_n$ es total, tenemos que $x\in_n y$ o $y\in_n x$ o $y=x$. Por el Lema 1, estas posibilidades implican, respectivamente, que $x\in_z y$ o $y\in_z x$ o $y=x$, es decir, los elementos de $z$ son $\in_z$ comparables.

Por lo tanto, $\in_z$ es un orden total en $z$.

$\square$

Estamos listos para ver que elementos de naturales son naturales.

Teorema.1 Si $z\in n$ con $n$ número natural, entonces $z$ también es un número natural.

Demostración.

Supongamos que $n$ es un número natural y que $z\in n$. Veamos que en $z$ se verifican las condiciones 1, 2 y 3 de la definición de número natural.

  1. $z$ es un conjunto transitivo.
    En efecto, sea $y\in z$. Como $n$ es transitivo y $z\in n$, tenemos que $y\in n$. Si tomamos $w\in y$, se sigue nuevamente que $w\in n$ por la transitividad de $n$. Como $\in_n$ es transitiva, y $w,y,z$ están en $n$, tenemos entonces que $w\in z$. Así, $y\subseteq z$. Concluimos que para cualquier $y\in z$ se tiene que $y\subseteq z$ y, por lo tanto, $z$ es un conjunto transitivo.
  2. $\in_z$ es un orden total en $z$.
    Por el Lema 2 se tiene que $\in_z$ es un orden total estricto en $z$.
  3. Subconjuntos no vacíos de $z$ tienen máximo y mínimo con respecto a $\in_z$.
    Sea $B\subseteq z$ con $B$ no vacío. Dado que $n$ es un número natural y $z\in n$, tenemos que $z\subseteq n$. Así, por transitividad de la contención se sigue que $B\subseteq n$, por lo que $B$ tiene elemento mínimo y máximo con respecto a $\in_n$. Llamemos a estos elementos $b_1$ y $b_2$, respectivamente. Recordemos que $b_1,b_2$ son elementos de $B$ y, por lo tanto, de $z$ y de $n$.
    Veamos que $b_1$ y $b_2$ son los elementos mínimo y máximo de $B$ con respecto a $\in_z$. Tomemos $b\in B\setminus \{b_1\}$. Como $b\in B$, tenemos que $b\in z$ y por lo tanto $b\in n$. Como $b_1$ es mínimo de $\in_n$, tenemos que $b_1\in_n b$. Por el Lema 1, tenemos entonces que $b_1\in_z b$. Así, $b_1$ es mínimo de $\in_z$. Una demostración análoga muestra que $b_2$ es máximo de $\in_z$. Por lo tanto, $B$ tiene elemento mínimo y máximo con respecto a $\in_z$.

Todo lo anterior nos permite concluir que $z$ es número natural.

$\square$

Tarea moral

La siguiente lista de ejercicios te permitirá reforzar el contenido visto en esta entrada, además de seguir trabajando el concepto de conjuntos transitivos.

  1. Muestra que los conjuntos $1,2,3,4$ que hemos definido previamente en efecto son conjuntos transitivos.
  2. Este ejercicio consiste en probar una versión más general del Lema 2. Muestra que si $(x,\lt)$ es un conjunto estrictamente y totalmente ordenado, entonces para cualquier subconjunto $y$ de $x$ se tiene que $(y, \lt \cap (y\times y))$ también es un conjunto estrictamente y totalmente ordenado.
  3. Prueba que si $x\not=\emptyset$ es un conjunto transitivo, entonces $\bigcap x$ es un conjunto transitivo.
  4. Prueba que si $x$ es un conjunto transitivo, entonces $\bigcup x$ es un conjunto transitivo
  5. Demuestra que si $n$ es un número natural, entonces $n\notin n$. Haz esto de dos formas distintas: 1) Usando la definición de número natural para llegar a una contradicción y 2) Usando el axioma de de buena fundación.
  6. Demuestra que si $n$ y $m$ son números naturales, entonces no puede ocurrir que $n\in m$ y $m\in n$ al mismo tiempo. Haz esto de dos formas distintas: 1) Usando la definición de número natural para llegar a una contradicción y 2) Usando el axioma de buena fundación.

Más adelante…

En la siguiente entrada definiremos al sucesor de un número natural. A partir de este nuevo concepto, probaremos propiedades adicionales para los números naturales.

Entradas relacionadas

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»

  1. También puedes consultar la prueba de este teorema en: También puedes consultar la prueba de este teorema en: Hernández, F., Teoría de Conjuntos, México: Aportaciones Matemáticas No.13,
    SMM, 1998, p. 91-92. ↩︎

Teoría de los Conjuntos I: Construcción de los números naturales

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

Hasta ahora solo hemos usado los conjuntos $0$, $1$, $2$, $3$ y $4$ que definimos en la entrada de axioma del par y axioma de unión, pero es momento de hablar de números naturales de manera más general y rigurosa. En esta entrada comenzaremos a hacer esto, enunciando algunas propiedades conjuntistas que esperamos que tengan los números naturales. Sin embargo, no dejaremos de lado la noción intuitiva que ya tenemos.

Construcción

Al principio del curso hablamos acerca de los primeros axiomas de la teoría de los conjuntos. A partir de ellos obtuvimos un conjunto $\emptyset$ que no tiene elementos, y además probamos que era el único conjunto con esta propiedad. Por comodidad, a este conjunto también le pusimos el «nombre» o «etiqueta» $0$. Después, aplicamos el axioma del par para a partir de $0$ conseguir al conjunto $\{\emptyset\}$ al que llamamos $1$. En los ejercicios, hablamos de cómo a partir de los axiomas se pueden construir también a $2:=1\cup \{1\}= \set{\emptyset, \set{\emptyset}}$, a $3:=2\cup \{2\}=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$, y también a $4:=3\cup \{3\}$.

Por supuesto, también se pueden construir otros conjuntos que no «siguien este patrón», por ejemplo, aplicando dos veces el axioma del par se puede construir al conjunto $\set{\set{\emptyset}}$.

Si nos fijamos en la cantidad de elementos que tienen los conjuntos $0,1,2,3,4$, notamos que las etiquetas son muy precisas y coinciden con nuestra intuición, pues por ejemplo el $0$ es el vacío que tiene cero elementos, el $1$ es $\{\emptyset\}$ que tiene un sólo elemento que es $\emptyset$, etc. De hecho, parte del ejercicio de la entrada mencionada pedía ver que $4=\{0,1,2,3\}$, que en efecto tiene cuatro elementos. Pero puede haber otros conjuntos distintos que también tengan la misma cantidad que estos conjuntos. Por ejemplo, el conjunto $\set{\set{\emptyset}}$ también tiene un elemento (tiene sólo a $\set{\emptyset}$), pero no es el mismo conjunto que $1$.

Parte de lo que queremos lograr al construir los números naturales formalmente es asociar a cada «número que usamos para contar» un conjunto con esa cantidad de elementos. Lo mencionado arriba debe dejarnos la idea de que puede haber muchas maneras de hacer esto. Por ejemplo, una posible manera sería formalizar la siguiente construcción:

\begin{align*}
0 &-\emptyset\\
1&-\set{\set{\emptyset}}\\
2&-\set{\emptyset, \set{\set{\emptyset}}}\\
3&-\set{\emptyset, \set{\set{\emptyset}}, \set{\emptyset, \set{\set{\emptyset}}}}\\
\vdots
\end{align*}

Otra posible manera sería formalizar la siguiente construcción, que se parece más a cómo hemos estado utilizando las etiquetas $0,1,2,3,4$:

\begin{align*}
0 &-\emptyset\\
1&-\set{\emptyset}\\
2&-\set{\emptyset, \set{\emptyset}}\\
3&-\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}\\
\vdots
\end{align*}

Debido a que hay muchas maneras de lograr nuestro objetivo, podemos poner algunas condiciones adicionales. Hablaremos de ellas en el transcurso de estas entradas. Estas propiedades adicionales que requeriremos nos llevarán a que la construcción apropiada es la segunda presentada aquí arriba.

Conjuntos transitivos

Para definir formalmente a los números naturales comenzaremos definiendo una de las características que tendrá cada uno de los números naturales.

Definición. Sea $x$ un conjunto. Decimos que $x$ es un conjunto transitivo si para cualquier $y\in x$ se cumple que $y\subseteq x$.

Observa que si $x$ es transitivo en la definición que acabamos de dar, entonces si $z\in y$ y $y\in x$, entonces $z\in x$.

Ejemplo.

Nos gustaría que cada número natural sea transitivo y nos gustaría que $0$, como lo definimos, sea número natural. En efecto lo es pues, en este caso, $0=\emptyset$ y entonces por vacuidad se cumple que si $y\in \emptyset$, se tiene que $y\subseteq \emptyset$.

$\square$

Ejemplo.

También el conjunto que definimos como $1$ es transitivo. Recordemos que $1=\set{\emptyset}$. El único elemento de $1$ es $y=\emptyset$, así que para ver que $x$ es transitivo basta ver que $\emptyset\subseteq \set{\emptyset}$, lo cuál sabemos que es cierto. Por lo tanto, $1$ es un conjunto transitivo.

$\square$

Ejemplo.

Sea $x=\set{\emptyset, \set{\set{\emptyset}}}$. Tenemos que $x$ no es transitivo. En efecto, se tiene que $\set{\set{\emptyset}}\in x$ pero $\set{\set{\emptyset}}\not\subseteq x$ dado que $\set{\emptyset}\in \set{\set{\emptyset}}$ pero $\set{\emptyset}\notin x$. Por lo tanto, $\set{\emptyset, \set{\set{\emptyset}}}$ no es un conjunto transitivo.

$\square$

Equivalencias de conjuntos transitivos

A continuación veremos algunas equivalencias para que conjunto sea transitivo.

Proposición. Sea $x$ un conjunto. Entonces, $x$ es un conjunto transitivo si y sólo si $x\subseteq \mathcal{P}(x)$.

Demostración.

Comencemos suponiendo que $x$ es transitivo. Veremos que $x\subseteq \mathcal{P}(x)$. Sea $y\in x$. Como $x$ es un conjunto transitivo, se tiene que $y\subseteq x$ y por lo tanto, $y\in \mathcal{P}(x)$. Así, $x\subseteq \mathcal{P}(x)$.

Ahora, supongamos que $x\subseteq \mathcal{P}(x)$ y veamos que $x$ es un conjunto transitivo. Sea $y\in x$. Tenemos que $y\in \mathcal{P}(x)$ y así, $y\subseteq x$. Por lo tanto, $x$ es un conjunto transitivo.

$\square$

Otra equivalencia que tendrás que demostrar como parte de los ejercicios es la siguiente.

Proposición. Un conjunto $x$ es transitivo si y sólo si $\bigcup x\subseteq x$.

Otros resultados para conjuntos transitivos

Para concluir esta entrada veremos algunos resultados para conjuntos transitivos, esta vez con respecto a la intersección y la unión.

Proposición. Si $x$ y $y$ son conjuntos transitivos, entonces $x\cap y$ es un conjunto transitivo.

Demostración.

Sean $x$ y $y$ conjuntos transitivos. Veamos que $x\cap y$ es un conjunto transitivo, es decir, para cada $z\in x\cap y$ se cumple que $z\subseteq x\cap y$.

  1. Como $x$ es un conjunto transitivo, entonces para cualquier $z\in x$ se cumple que $z\subseteq x$.
  2. Como $y$ es un conjunto transitivo, entonces para cualquier $z\in y$ se cumple que $z\subseteq y$.

De $1$ y $2$ podemos concluir que para cualquier $z\in x\cap y$ se satisface que $z\subseteq x\cap y$. Por lo tanto, $x\cap y$ es transitivo.

$\square$

Hay una segunda demostración de la proposición anterior, usando álgebra de conjuntos y la primera caracterización de la sección anterior.

Demostración. Como $x$ y $y$ son transitivos, tenemos que $x\subseteq \mathcal{P}(x)$ y $y\subseteq \mathcal{P}(y)$. Así, por propiedades que hemos demostrados de intersección, $$x\cap y \subseteq \mathcal{P}(x) \cap \mathcal{P}(y) \subseteq \mathcal{P}(x\cap y).$$

Así, $x\cap y \subseteq \mathcal{P}(x\cap y)$ y por lo tanto $x\cap y$ es transitivo.

$\square$

La transitividad también se preserva al unir conjuntos.

Proposición. Si $x$ y $y$ son conjuntos transitivos, entonces $x\cup y$ es un conjunto transitivo.

Demostración.

Sean $x$ y $y$ conjuntos transitivos. Veamos que $x\cup y$ es un conjunto transitivo, es decir, para cada $z\in x\cup y$ se cumple que $z\subseteq x\cup y$.

  1. Como $x$ es un conjunto transitivo, entonces para cualquier $z\in x$ se cumple que $z\subseteq x$.
  2. Como $y$ es un conjunto transitivo, entonces para cualquier $z\in y$ se cumple que $z\subseteq y$.

De $1$ y $2$ podemos concluir que para cualquier $z\in x\cup y$ se satisface que $z\subseteq x\cup y$. Por lo tanto, $x\cup y$ es transitivo.

$\square$

Tarea moral

La siguiente lista de ejercicios te permitira reforzar el concepto de conjunto transitivo.

  1. ¿Cuáles de los siguientes conjuntos son transitivos?
    1. $\set{\emptyset, \set{\emptyset}}$,
    2. $\set{\set{\emptyset}}$,
    3. $\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$.
  2. Verifica que, por definición, cada uno de los conjuntos $0,1,2,3,4$ que ya definimos son transitivos.
  3. Demuestra que $(\set{\emptyset, \set{\emptyset}, \set{\emptyset,\set{\emptyset}}}, \in)$ es un conjunto totalmente ordenado.
  4. Demuestra que $x=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ tiene elemento máximo y elemento mínimo en el orden $\in_x$.
  5. Demuestra la segunda equivalencia de la sección de conjuntos transitivos, es decir, que $x$ es transitivo si y sólo si $\bigcup x\subseteq x$.
  6. Si $x$ y $y$ son conjuntos transitivos, ¿será cierto que $x\setminus y$ siempre es un conjunto transitivo?, ¿será cierto que $x\triangle y$ siempre es un conjunto transitivo? Da una demostración o encuentra un contraejemplo en cada caso.

Más adelante…

En la siguiente entrada daremos la definición formal y rigurosa de qué es un número natural. Además demostraremos algunas de sus propiedades.

Entradas relacionadas

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»

Teoría de los Conjuntos I: Ordenes totales

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada hablaremos acerca de órdenes totales. Retomaremos los conceptos de orden parcial y orden estricto y añadiremos el concepto de elementos comparables. Esto nos llevará a decir cuándo un orden es total. Además, definiremos el orden lexicográfico vertical y horizontal.

Comparabilidad y órdenes totales

En un conjunto parcial (o estrictamente) ordenado, hay algunas parejas de elementos que se pueden comparar y otras que no.

Definición. Sea $\leq$ un orden parcial en $A$ y sean $a, b\in A$. Decimos que $a$ y $b$ son $\leq$-comparables si:

$a\leq b$ o $b\leq a$.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $\subseteq_A$ la relación dada por el conjunto

$\subseteq_A=\set{(\emptyset, \emptyset), (\emptyset, \set{\emptyset}), (\emptyset, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset},\set{\emptyset}), (\set{\emptyset}, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset, \set{\emptyset}}, \set{\emptyset, \set{\emptyset}})}.$

Como vimos la entrada pasada, esta relación es un orden parcial.

Luego, dados $a,b\in A$ siempre sucede que $a\subseteq_A b$ o $b\subseteq_A a$. En efecto,

  • Si $a=\emptyset$ y $b=\emptyset$, entonces $a\subseteq_A b$ y $b\subseteq_A a$.
  • Si $a=\set{\emptyset}$ y $b=\set{\emptyset}$, entonces $a\subseteq_A b$ y $b\subseteq_A a$.
  • Si $a= \set{\emptyset, \set{\emptyset}}$ y $b=\set{\emptyset,\set{\emptyset}}$, entonces $a\subseteq_A b$ y $b\subseteq_A a$.
  • Si $a=\emptyset$ y $b=\set{\emptyset}$, entonces $a\subseteq_A b$.
  • Si $a=\emptyset$ y $b=\set{\emptyset, \set{\emptyset}}$, entonces $a\subseteq_A b$.
  • Si $a=\set{\emptyset}$ y $b=\set{\emptyset, \set{\emptyset}}$, entonces $a\subseteq_A b$.

$\square$

Definición. Sea $<$ un orden estricto en $A$ y sean $a,b\in A$. Decimos que $a$ y $b$ son $<$-comparables si:

$a<b$ o $a=b$ o $b<a$.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $R$ la relación definida como $R=\set{(\emptyset, \set{\emptyset}), (\emptyset, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset}, \set{\emptyset, \set{\emptyset}})}$. Se puede verificar que $R$ es orden estricto.

Notemos que $aRb$ si y sólo si $a\in b$ para $a,b\in A$. Luego, dados $a,b\in A$ podemos decidir si $a\in b$, $a=b$ o $b\in a$. En efecto,

  • Si $a=\emptyset$ y $b=\emptyset$, entonces $a=b$,
  • Si $a=\set{\emptyset}$ y $b=\set{\emptyset}$, entonces $a=b$,
  • Si $a= \set{\emptyset, \set{\emptyset}}$ y $b=\set{\emptyset,\set{\emptyset}}$, entonces $a=b$,
  • Si $a=\emptyset$ y $b=\set{\emptyset}$, entonces $a\in b$ y así, $aRb$,
  • Si $a=\emptyset$ y $b=\set{\emptyset, \set{\emptyset}}$, entonces $a\in b$ y así, $aRb$,
  • Si $a=\set{\emptyset}$ y $b=\set{\emptyset, \set{\emptyset}}$, entonces $a\in b$ y así, $aRb$.

$\square$

Definición. Sea $A$ un conjunto y sea $\leq$ un orden parcial en $A$. Si cualesquiera $a, b\in A$ son $\leq$-comparables, entonces $\leq$ es un orden total.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $R$ la relación dada por el conjunto

$R=\set{(\emptyset, \emptyset), (\emptyset, \set{\emptyset}), (\emptyset, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset},\set{\emptyset}), (\set{\emptyset}, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset, \set{\emptyset}}, \set{\emptyset, \set{\emptyset}})}$.

Ya vimos en la parte de arriba que todos los elementos de $A$ son $\leq$-comparables y por lo tanto $R$ es un orden total.

$\square$

Definición. Sea $A$ un conjunto y sea $<$ un orden estricto en $A$. Si cualesquiera $a, b\in A$ son $<$-comparables, entonces $<$ es un orden total estricto.

Ejemplo.

Sea $A=\set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}$ y sea $R$ la relación dada por el conjunto

$R=\set{(\emptyset, \set{\emptyset}), (\emptyset, \set{\emptyset, \set{\emptyset}}), (\set{\emptyset}, \set{\emptyset, \set{\emptyset}})}$.

Ya vimos que todos los elementos de $A$ son $<$-comparables y por lo tanto $R$ es un orden total.

$\square$

Orden lexicográfico vertical

Ahora, vamos a dar un orden parcial al producto cartesiano de dos conjuntos parcialmente ordenados. Para ello conviene hacer mención de lo siguiente: si $(A,\leq_A)$ es un conjunto parcialmente ordenado y tenemos dos elementos $a,b\in A$ tales que $a\leq_Ab$ pero $a\not=b$, entonces escribiremos simplemente $a<_Ab$. De esta manera, en un conjunto parcialmente ordenado $(A,\leq_A)$, si $a,b\in A$, el símbolo $a<_Ab$ significará $a\leq_Ab$ y $a\not=b$.

Definición. Sean $(A, \leq_A)$ y $(B, \leq_B)$ conjuntos parcialmente ordenados. Definimos al orden lexicográfico vertical en $A\times B$ como sigue:

$(a,b)\ll_v (a’, b’)$ si y sólo si ($a<_A a’$) o ($a=a’$ y $b\leq_B b’$).

Proposición. Sean $(A, \leq_A)$ y $(B, \leq_B)$ conjuntos totalmente ordenados. El orden lexicográfico vertical es un orden total en $A\times B$.

Demostración.

  • Reflexividad:
    Sea $(a,b)\in A\times B$. Dado que $b\in B$ y $\leq_B$ es un orden parcial en $B$, entonces $\leq_B$ es una relación reflexiva y así $b\leq_B b$. En consecuencia, la conjunción $a=a$ y $b\leq_B b$ es verdadera, y por tanto $(a,b)\ll_v (a,b)$. De esta manera, $\ll_v$ es reflexivo.
  • Antisimetría:
    Sean $(a,b), (c,d)\in A\times B$ tales que $(a,b)\ll_v (c,d)$ y $(c,d)\ll_v (a,b)$. Veamos que $(a,b)=(c,d)$, es decir, $a=c$ y $b=d$.
    Como $(a,b)\ll_v (c,d)$ entonces, ($a<_A c$) o ($a=c$ y $b\leq_B d$).
    Como $(c,d)\ll_v (a,b)$ entonces, ($c<_A a$) o ($c=a$ y $d\leq_B b$).
    Probemos que $a=c$ y $b\leq_Bd$. Para probarlo supongamos que esto no ocurre buscando generar una contradicción. Dado que la conjunción $a=c$ y $b\leq_Bd$ no es verdadera, entonces, necesariamente debe ser cierto que $a<_Ac$. Ahora, no puede ocurrir que $c<_Aa$, pues de ser así tendríamos que $c<_Aa$ y $a<_Ac$ son verdaderas al mismo tiempo, y por ende se tendría que $c\leq_A a$ pero $c\not=a$ y que $a\leq_Ac$ pero $a\not=c$. Así, en particular obtenemos que $c\leq_Aa$ y $a\leq_Ac$, pero esto implica que $a=c$ pues $\leq_A$ es una relación antisimétrica. Este último hecho contradice que $a\not=c$. Por tanto, no puede ocurrir que $c<_Aa$. Como consecuencia debe ser cierto que $c=a$ y $d\leq_Bb$, pero esto nuevamente contradice el hecho de que $a<_Ac$, es decir, que $a\leq_Ac$ y $a\not=c$. Como la contradicción viene de suponer que $a<_Ac$, entonces, debe ser cierto que $a=c$ y $b\leq_Bd$. Ya tenemos entonces que $a=c$ por lo que resta ver que $b=d$. Como $a=c$ entonces no puede ocurrir que $c<_Aa$ y, por tanto, debe ocurrir que $c=a$ y $d\leq_Bb$ es verdadero. De esta manera tenemos que $b\leq_Bd$ y $d\leq_Bb$, de donde $d=b$ pues $\leq_B$ es una relación antisimétrica.
    Por lo tanto, $(a,b)=(c,d)$ lo que demuestra que $\ll_v$ es una relación antisimétrica.
  • Transitividad:
    Sean $(a,b), (c,d), (e,f)\in A\times B$ tales que $(a,b)\ll_v (c,d)$ y $(c,d)\ll_v (e,f)$. Veamos que $(a,b)\ll_v(e,f)$.
    Como $(a,b)\ll_v (c,d)$ entonces, ($a<_A c$) o ($a=c$ y $b\leq_B d$).
    Como $(c,d)\ll_v (e,f)$ entonces, ($c<_A e$) o ($c=e$ y $d\leq_B f$).
    Caso 1: Si $a<_Ac$ y $c<_A e$. Por transitividad de $<_A$ se tiene que $a<_A e$. Por lo tanto, ($a<_A e$) o ($a=e$ y $b\leq_B f$) es verdadero y así, $(a,b)\ll_v (e,f)$.
    Caso 2: Si $a<_Ac$ y $c=e$ y $d\leq_B f$, entonces $a<_A e=c$. Por lo tanto, ($a<_A e$) o ($a=e$ y $b\leq_B f$) es verdadero y así, $(a,b)\ll_v (e,f)$.
    Caso 3: Si $a=c$ y $b\leq_B d$ y $c<_A e$, entonces $a=c<_A e$. Por lo tanto, ($a<_A e$) o ($a=e$ y $b\leq_B f$) es verdadero y así, $(a,b)\ll_v (e,f)$.
    Caso 4: Si $a=c$ y $b\leq_B d$ y $c= e$ y $d\leq_B f$, entonces $a=e$ y $b\leq_B f$ por transitividad de $\leq_B$. Por lo tanto, ($a<_A e$) o ($a=e$ y $a\leq_B e$) es verdadero y así, $(a,b)\ll_v (e,f)$.
    Por lo tanto, $\ll_v$ es transitivo.
    Por lo tanto, $\ll_v$ es un orden parcial en $A\times B$.

Para ver que $\ll_v$ es un orden total en $A\times B$ debemos ver que todos sus elementos son $\ll_v$ comparables.

Sean $(a,b), (c,d)\in A\times B$, veamos que $(a,b)\ll_v (c,d)$ o $(c,d)\ll_v(a,b)$.

Dado que $(a,b), (c,d)\in A\times B$, entonces $a,c\in A$ y $b,d\in B$. Luego, como $\leq_A$ y $\leq_B$ son órdenes totales en $A$ y $B$ respectivamente, tenemos que sus elementos son comparables, es decir, ($a\leq_A c$ o $c\leq_A a$) y ($b\leq_B d$ o $d\leq_B b$).

Caso 1: Si $a\leq_A c$ y $b\leq_B d$, hay dos posibles casos. Si $a<_A c$ y $b\leq_B d$ se tiene que $(a,b)\ll_v (c,d)$. Ahora, si $a=c$ y $b\leq_B d$ entonces $(a,b)\ll_v (c,d)$.

Caso 2: Si $a\leq_A c$ y $d\leq_B b$, hay dos posibles casos. Si $a<_A c$, entonces $(a,b)\ll_v (c,d)$. Ahora, si $a=c$ y $d\leq_B b$ entonces $(c,d)\ll_v (a,b)$.

Caso 3: Si $c\leq_A a$ y $b\leq_B d$, hay dos posibles casos. Si $c<_A a$, entonces $(c,d)\ll_v (a,b)$. Ahora, si $a=c$ y $b\leq_B d$ entonces $(a,b)\ll_v (c,d)$.

Caso 4: Si $c\leq_A a$ y $d\leq_B b$, hay dos posibles casos. Si $c<_A a$, entonces $(c,d)\ll_v(a,b)$. Ahora, si $c=a$ y $d\leq_B b$, entonces $(c,d)\ll_v (a,b)$.

Esto muestra que el orden es total.

$\square$

Orden lexicográfico horizontal

A continuación definiremos al orden lexicográfico horizontal. Este orden también será un orden total cuando sus compontentes lo sean. La demostración forma parte de la tarea moral.

Definición. Sean $(A, \leq_A)$ y $(B, \leq_B)$ conjuntos parcialmente ordenados. Definimos al orden lexicográfico horizontal en $A\times B$ como sigue:

$(a,b)\ll_h (a’, b’)$ si y sólo si ($b<_B b’$) o ($b=b’$ y $a\leq_A a’$).

Tarea moral

  • Demuestra que el orden lexicográfico horizontal es un orden total.
  • Consideremos $(\mathcal{P}(\set{\set{\emptyset}, \set{\emptyset, \set{\emptyset}}, \set{\emptyset, \set{\emptyset}, \set{\emptyset, \set{\emptyset}}}}, \subseteq)$. Da dos elementos que no sean comparables.
  • Si consideramos $(A, \leq_A)$ y $(B, \leq_B)$ conjuntos parcialmente ordenados, podemos definir una relación en el producto $A\times B$ como:
    $(a,b)\ll_{A\times B} (c,d)$ si y sólo si $a\leq_A c$ y $b\leq_B d$.
    Demuestra que $\ll_{A\times B}$ no necesariamente es un orden total. ¿Es un orden parcial?

Más adelante…

En la siguiente entrada hablaremos acerca de elementos mínimos y máximos en un conjunto ordenado. Además hablaremos acerca de cotas superiores e inferiores, así como de otros conceptos que nos permitirán acotar a un conjunto.

Entradas relacionadas

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»

Álgebra Superior I: Órdenes parciales y totales

Por Guillermo Oswaldo Cota Martínez

Deja un comentario

Introducción

En la entrada pasada, hemos introducido algunos tipos de relaciones de un conjunto en sí mismo. En esta entrada y en la siguiente, veremos algunos ejemplos de este tipo de relaciones, y lo haremos con un concepto que puede que te suene muy familiar desde algunas ideas básicas de los números: el órden.

Ordenes

En la vida cotidiana muchas veces nos surge la necesidad de comparar distintas cosas. Por ejemplo, podemos comparar qué tan lejos está un lugar a comparación de otros. Podemos decir que si una plaza comercial nos queda a dos kilómetros, está más cerca de un parque que queda a tres kilómetros de distancia. ¿Por qué pasa esto? Pues nosotros tenemos alguna noción de que dos kilómteros es menor distancia que tres. O al comparar el tamaño del disco duro de alguna computadora, podemos decir que $512$ Gb es mejor que $256$ Gb, puesto que el de $512$ tiene una mayor capacidad del de $256$. ¿Ves como es que usamos las palabras de mayor y menor? Cuando nosotros estamos usando la noción de ser mayor que o menor que, estamos hablando de un orden. Que es un tipo de relación entre un conjunto consigo mismo, por ahora veremos dos tipos de órdenes entre conjuntos: el orden parcial y el orden total.

Órdenes parciales

Piensa en la relación de $\mathbb{Z}^2$ dada por «ser menor o igual a», es decir la relación:

$$ \leq = \{(x,y) \in \mathbb{Z}^2: x \text{ es menor o igual a } y\}$$

Por ejemplo, $(1,2) \in \leq$ pues $1$ es menor o igual a $2$. Si dos elementos $x,y$ están relacionados mediante $\leq$, simplemente escribiremos $x\leq y$ en lugar de $(x,y) \in \leq$. Veamos algunas propiedades que tiene esta relación:

  1. $\leq$ es simétrica. Nota que para cualquier $x \in \mathbb{Z}$ sucede que $x=x$, en general $x \leq x$, pues la relación $\leq$ está dada por «ser menor o igual», y $x$ es igual a sí mismo.
  2. $\leq$ es antisimétrica. Para ver esto, nota que si sucede al mismo tiempo que $x \leq y$ y $y \leq x$, entonces estamos diciendo que $x$ es igual o menor a $y$ al mismo tiempo que $y$ es menor o igual a $x$. De tal forma que sucede que $$(x<y \lor x=y) \land (y<x \lor y=x) \Leftrightarrow (x<y \land y<x) \lor (x=y).$$ Nota que la primera condición no se cumple, entonces tiene que pasar que $x=y$
  3. $\leq$ es transitiva. Considera tres números $x,y,z \in \mathbb{Z}$ Y nota que si $x \leq y \land y \leq z$ entonces $x \leq z$.

Es por estas propiedades que decimos que la relación $\leq$ es un orden parcial.

Definición. Sea $X$ un conjunto y $R$ una relación de $X$ consigo misma. Diremos que $R$ es un orden parcial sobre $X$ si $R$ es relfexica, antisimétrica y transitiva a la vez.

Otro ejemplo de un orden parcial es la relación de inclusión $\subset$ dentro de los subconjuntos de algún conjunto $X$. Pues recordemos que esta relación está dada por «estar contenido en». Ahora, considera $A,B,C \in \mathcal{P}(X)$, entonces:

  • $\subset$ es reflexiva. Nota que como $A=A$, entonces $A \subset A$.
  • $\subset$ es antisimétrica. Si $A \subset B \land B \subset A$, entonces:$$\forall x ((x \in A \Rightarrow x \in B) \land (x \in B \Rightarrow x \in A)).$$ La cual es una equivalencia de $$\forall x (x \in A \Leftrightarrow x \in B) .$$ Es decir $A=B$.
  • $\subset$ es transitiva. Si $A \subset B \land B \subset C$ entonces:
    $$\begin{align*}
    \forall x((x \in A \Rightarrow x \in B) \land (x \in B \Rightarrow x \in C))
    \end{align*}$$ Y recordemos que podemos aplicar la regla de inferencia usada en demostraciones directas para demostrar que esto significa que
    $$\begin{align*}
    \forall x((x \in A \Rightarrow x \in B) \land (x \in B \Rightarrow x \in C)) &\Rightarrow \forall x(x \in A \Rightarrow x \in C)\\
    &\Leftrightarrow A \subset C.
    \end{align*}$$

Órdenes totales

Ahora, vamos a ver el siguiente concepto que es el de órdenes totales, que en pocas palabras son órdenes parciales con la propiedad de la tricotomía. Veamos de qué trata.

Cuando estemos hablando de un órden total, necesitamos que además de ser un orden parcial, tengamos siempre alguna forma de comparar los elementos de dicho conjunto. Por ejemplo, cuando tengamos dos números enteros $x,y$ siempre podemos decir que $x < y \lor x=y \lor x>y$, es decir, se cumple la propiedad de la tricotomía.

Definición. Sea $X$ un conjunto y $R$ una relación de $X$ en sí misma. Diremos que $R$ tiene la propiedad de la tricotomía, si para cada par de elementos $x,y \in X$ pasa que $x=y$ ó $(x,y) \in R$ ó $(y,x) \in R$.

Esta última definición hace que se nos permita poder «comparar» los elementos de $X$, siempre podemos decir cuál es el orden entre cada par de elementos. Piénsalo como un: si una relación tiene la tricotomía, entonces podemos siempre saber cómo se relacionan todos los elementos entre sí. Un orden total será un orden parcial que tiene esta propiedad.

Definición. Sea $X$ un conjunto y $R$ una relación de $X$ en sí misma. Diremos que $R$ es un orden total si es parcial y tiene la propiedad de la tricotomía.

Algunos ejemplos de órdenes totales son:

  • El orden de $\leq$ en $\mathbb{Z}^2$.
  • Las letras del abecedario con el orden usual. $A<B<C<\dots<Z$
  • Las palabras del diccionario forman un orden de acuerdo a cómo son las letras en las palabras, por ejemplo, si buscamos la palabra «oso», esta vendrá antes que la palabra «ratón», pues antes viene la letra «o» que la «r». A su vez, «casa» viene antes que la palabra «caspa», pues todas las letras «cas» son iguales, pero «a» viene antes que la «p». A este orden se le conoce como el orden lexicográfico. Si quieres saber más, revisa la tarea moral.

Otras definiciones sobre el orden

Dentro de un conjunto $X$ total o parcialmente ordenado mediante una relación $\leq$, podemos tener elementos especiales que tendrán nombres particulares. Como por ejemplo:

Definición. Sea $X$ un conjunto con un orden parcial $\leq$ y $x \in X$. Diremos que:

  • $x$ es un elemento maximal si para cualquier $y \in X$ distinta que $x$ no se cumple que $y \leq x$.
  • $x$ es un elemento minimal si para cualquier $y \in X$ distinta que $x$ no se cumple que $x \leq y$.
  • $x$ es un elemento máximo si para cualquier $y \in X$ se cumple que $y \leq x$.
  • $x$ es un elemento mínimo si para cualquier $y \in X$ se cumple que $x \leq y$.

Lo que nos quieren decir estas definiciones es que un elemento es maximal (o minimal) si no existe algún elemento por «arriba (o debajo)» de $x$. Es decir que no podemos encontrar un elemento que esté «después (o antes)» con respecto al orden $\leq$. Lo que nos dice un elemento máximo (o mínimo) es que todo elemento va a ser «menor o igual (mayor o igual)» a $x$. Si lo piensas, pueden sonar a definiciones muy parecidas, y de hecho siempre que un elemento sea máximo (o mínimo), será maximal (o minimal), pero el inverso puede no ser cierto.

La diferencia entre maximal y máximo está en que un máximo $x$ nos indica que siempre podemos comparar cualquiera otro de los elementos $y$ con el máximo y siempre resultará que $y \leq x$. Mientras que un maximal solo nos dice que no existirá un elemento $y$ tal que $x \leq y$, es decir no encontraremos una comparación en el que $x$ resulte ser menor. Lo mismo pasará con el minimal y mínimo.

Por ejemplo, piensa en el conjunto $X=\{1,2,3\}$ y el orden parcial $\leq = \{(1,1),(2,2),(3,3),(1,3),(2,3)\}$. Nota que aquí $3$ es un máximo, pues pasa que $1 \leq 3, 2 \leq 3, 3 \leq 3 $, pero $1$ es minimal, pues $1 \leq 3$ y como $2$ no se compara con $1$, entonces se cumple que no existe algún elemento por «debajo» de él. De la misma manera, $2$ es minimal.

Ahora, considera otro orden parcial sobre el mismo conjunto, dado por $\leq* = \{(1,1),(2,2),(3,3),(1,3),(1,2)\}$. Y nota que ahora sucede que bajo este orden, $1$ es mínimo y $2,3$ son elementos maximales.

Más adelante…

En esta entrada nos hemos enfocado en dos tipos de orden, que son los parciales y totales, y estos no solo serán útiles en este curso, pues será un concepto recurrente en temas de cálculo, geometría y demás materias. Por ahora, introdujimos este concepto y pasaremos a otro que igual se usarán mucho, que son las relaciones de equivalencia, que nos permite «partir conjuntos» de acuerdo a elementos que se relacionen entre sí.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Define la relación de orden lexicográfico $\leq_{lex}$ en $\mathbb{Z}^2 \times \mathbb{Z}^2$ en donde $(x,y) \leq_{lex} (w,z)$ si $x \leq y \lor (x=y \land (b \leq d))$. Muestra que $\leq_{lex}$ es un orden total.
  2. Demuestra que si un conjunto con un orden parcial tiene máximo (o mínimo), este es único.
  3. Considera al conjunto $X=\{1,2,3,6,18\}$ y a la relación $|$ «dividir a » dada por:
    $$\begin{align*}
    |=\{&(1,1),(1,2),(1,3),(1,6),(1,18),\\
    &(2,2),(2,6),(2,18),(3,3),(3,6),\\
    &(3,18),(6,6),(6,18),(18,18)\}.
    \end{align*}$$ Y resuelve lo siguiente:
    • Demuestra que $X$ es un orden parcial pero no total.
    • Encuentra el elemento mínimo.
    • Encuentra el elemento máximo.

Entradas relacionadas

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»