Archivo de la etiqueta: particiones

Nota 15. Relaciones de equivalencia y particiones.

Por Julio César Soria Ramírez

Deja un comentario

Introducción

En esta nota veremos cómo las relaciones de equivalencia generan particiones y finalmente concluiremos que toda relación de equivalencia tiene asociada una partición y viceversa, toda partición tiene asociada una única relación de equivalencia, con esto concluiremos esta primera unidad de conjuntos y funciones.

Teorema

Sea $A$ un conjunto, $\mathcal R$ una relación de equivalencia en $A$, entonces $\set{\overline{x}\mid x\in A}$ es una partición de $A$.

Demostración

Sea $A$ un conjunto, $\mathcal R$ una relación de equivalencia en $A$

Por demostrar que:

$\set{\overline{x}\mid x\in A}$ es una partición de $A$.

Vamos a mostrar que el conjunto $\set{\overline{x}\mid x\in A}$ cumple la definición de partición.

i) Por demostrar que $\overline{x}\neq \emptyset$, $\forall x\in A$.

Sea $x\in A$, como $\mathcal R$ es reflexiva $x\sim x$, así $x\in \overline{x}$ y entonces $\overline{x}\neq \emptyset$.

ii) Por demostrar que si $x,y\in A$ son tales que $\overline{x}\neq \overline{y} $, entonces $\overline{x}\cap \overline{y}=\emptyset$.

En la nota anterior mostramos que: $x\sim y\Longrightarrow \overline{x}=\overline{y}$, que es equivalente a: $\overline{x}\neq \overline{y} \Longrightarrow x\nsim y $ (llamada la contrapositiva de la implicación ). También mostramos que $x\nsim y \Longrightarrow \overline{x}\cap \overline{y}=\emptyset$, así tenemos que:

$ \overline{x}\neq \overline{y} \Longrightarrow x\nsim y $

y

$x\nsim y \Longrightarrow \overline{x}\cap \overline{y}=\emptyset$

Por lo tanto se sigue que:

$\overline{x}\neq \overline{y} \Longrightarrow x\nsim y \Longrightarrow \overline{x}\cap \overline{y}=\emptyset $.

Así tenemos lo que queríamos mostrar pues si $\overline{x}\neq \overline{y}$, entonces $\overline{x}\cap \overline{y}=\emptyset $.

iii) Por demostrar que $\bigcup\limits_{x\in A} \overline{x}=A$

Prueba por doble contención

$\subseteq$ primera contención.

Sea $z\in \bigcup\limits_{x\in A} \overline{x}$, entonces $z\in \overline{x}=\set{y\in A\mid y\sim x}$ para alguna $x\in A$, en particular $z\in A$, y por lo tanto $ \bigcup\limits_{x\in A}\subseteq A$.

$\supseteq$ segunda contención.

Sea $z\in A$, como $\mathcal R$ es reflexiva $z\sim z$ así $z\in \overline{z}$, concluimos que $z\in \bigcup\limits_{x\in A} \overline{x}$.

Como se cumplen las tres condiciones para que sea una partición entonces $\set{\overline{x}\mid x\in A}$ es una partición de $A$.

Ejemplos

1. $A=\set{1,2,3,4,5}$

$\mathcal R=\set{(1,1), (2,2), (3,3), (4,4), (5,5), (1,2), (2,1), (1,5), (5,1) (2,5), (5,2) , (3,4),(4,3)}$

$\overline{1}=\set{1,2,5}$

$\overline{3}=\set{3,4}$

$\set{ \overline{1}, \overline{3}}=\set{ \set{1,2,5}, \set{3,4}} $

2. $A=\set{1,2,3,4,5}$

$\mathcal R$ una relación de equivalencia en $A$. Si la partición en $A$ inducida por $\mathcal R$ es:

$ \set{ \set{3}, \set{2,4}, \set{1,5} } $

¿Quién es $\mathcal R$?

$\mathcal R=\set{ (3,3), (2,2), (2,4), (4,4), (4,2), (1,1), (1,5), (5,5), (5,1) }$

Es una relación de equivalencia que induce la partición $\set{ \overline{3}, \overline{2}, \overline{1} }=\set{ \set{3}, \set{2,4}, \set{1,5} } $.

Teorema

Sea $A$ un conjunto, consideremos:

$\mathcal R_A=\set{r\mid r \, \,es \, \, una \, \, relación \, \, de \, \, equivalencia }$

$\mathcal P_A=\set{p\mid p \, \,es \, \, una \, \, partición \, \, de \, \, A }$

Afirmación: Existe una biyección entre $\mathcal R_A$ y $\mathcal P_A$

Demostración

Sea $A$ un conjunto, consideremos:

$\mathcal R_A=\set{r\mid r \, \,es \, \, una \, \, relación \, \, de \, \, equivalencia }$

$\mathcal P_A=\set{p\mid p \, \,es \, \, una \, \, partición \, \, de \, \, A }$

Definimos:

$\psi: \mathcal R_A\to \mathcal P_A$ con

$\psi(r)=\set{\overline{x}^r\mid x\in A}\, \, \, \forall r\in \mathcal R_A$

donde $ \overline{x}^r =\set{y\in A\mid (y,x)\in r} $, es decir $\psi(r)$ es la colección de clases de equivalencia dadas por la relación $r$.

Veamos que $\psi$ es inyectiva.

Sean $r,\rho\in \mathcal R_A$ tales que $\psi(r)=\psi(\rho)$.

Por demostrar que $r=\rho$.

La prueba se hará por doble contención

$\subseteq$ primera contención.

Sea $(a,b)\in r$ entonces por simetría $(b,a)\in r$ y entonces $b\in \overline{a}^r$.

Por otro lado $ \overline{a}^r\in \set{ \overline{x}^r\mid x\in A }=\psi(r)$ que por hipótesis es igual $\psi(\rho)= \set{ \overline{x}^{\rho}\mid x\in A }$ , de manera que $ \overline{a}^r = \overline{c}^{\rho}$ para alguna $c\in A$, como $b\in \overline{a}^r$ entonces $b\in \overline{c}^{\rho}$, así $(b,c)\in \rho$, por simetría $(c,b)\in \rho$. También $a\in \overline{a}^r= \overline{c}^{\rho}$ así $(a,c)\in \rho$. Como $(a,c)\in \rho$ y $(c,b)\in \rho$, por transitividad $(a,b)\in \rho$ y así $r\subseteq \rho$.

$\supseteq$ Segunda contención. Es análoga y por lo tanto $r=\rho$ y así la función $\psi: \mathcal R_A\to \mathcal P_A$ es inyectiva.

Veamos ahora que $\psi$ es suprayectiva.

Sea $p=\set{A_i\mid i\in I}$ una partición de $A$.

Definimos $r$ una relación en $A$ como:

$(x,y)\in r$ si y sólo si existe $i\in I$ tal que $(x,y)\in A_i$.

Ésta es una relación de equivalencia (demuéstralo).

Por demostrar que $\psi(r)=p$, es decir que $\set{\overline{x}^r\mid x\in A}=p$

La prueba es por doble contención.

$\subseteq$ primera contención.

Sea $\overline{a}^r\in \set{ \overline{x}^r\mid x\in A }$.

Por demostrar que $\overline{a}^r\in p$.

Como $A= \bigcup\limits_{i\in I}A_i$ entonces $a\in A_j$ para alguna $j\in I$. De hecho como $p$ es una partición, $A_j$ es el único elemento de $p$ al que pertenece $a$.

Pero

$\overline{a}^r=\set{b\in A\mid (b,a)\in r}=\set{b\in A\mid \exists i\in I \,\, tal \,\, que \,\, b,a\in A_i}=\set{b\in A\mid b\in A_j}=A_j\in p,$ y por lo tanto $\overline{a}^r\in p,$ y así $\psi(r)\subseteq p$.

$\supseteq$ segunda contención.

Sea $A_j\in p$ con $j\in I$. Sabemos que $A_j\neq \emptyset$, consideremos $a\in A_j$, como acabamos de ver en la primera contención , $A_j=\overline{a}^r\in \set{\overline{x}^r\mid x\in A}=\psi(r)$ y así $p\subseteq \psi(r)$.

Como se cumplen las dos contenciones $p=\psi(r)$. Y de esta forma dada una partición $p$ existe una relación de equivalencia que bajo $psi$ da por resultado $p$ y por lo tanto $\psi$ es suprayectiva.

Como $\psi$ es suprayectiva e inyectiva $\psi$ es biyectiva.

$\square$

Tarea Moral

  1. Encuentra todas las posibles particiones de $\set{3,6,7,9}$, y para cada una de ellas encuentra la relación de equivalencia asociada.
  2. Considera la relación $\mathcal R$ en $\mathbb Z$, dada por: $(a,b)\in \mathcal R$ si y sólo si $4$ divide a $b-a$. Verifica que las distintas clases de equivalencia forman una partición de $\mathbb Z$.
  3. Sea $A=\set{1,2,3,4,5}$ y considera la relación dada por:
    $R=\set{(1,1),(2,3),(3,3),(4,4),(5,5),(2,4),(4,2),(2,5),(5,2),(4,5),(5,4)}$
    Encuentra la partición asociada.

Más adelante

Con esta nota hemos terminado la unidad 1 del curso de álgebra superior I. En las siguiente nota pasaremos a la unidad 2 donde haremos un estudio de los números naturales a partir de la definición conjuntista.

Enlaces relacionados

Nota anterior. Nota 14 Familias de conjuntos y particiones.

Nota siguiente. Nota 16. Los números naturales.

Geometría Analítica I: Introducción a resultados de clasificación

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En tu formación matemática muchas veces te encontrarás con resultados de clasificación. Pero, ¿qué es clasificar en este contexto? A grandes rasgos, consiste en poder decir de manera sencilla cómo son todos los objetos matemáticos que se estén estudiando en un contexto dado.

En esta entrada hablaremos un poco más del problema de clasificar ciertos objetos matemáticos. Iniciaremos con un ejemplo «de juguete» muy básico. Luego, hablaremos de cómo en las clasificaciones geométricas podemos usar transformaciones. Finalmente, daremos un ejemplo sencillo de cómo usar estas ideas en la clasificación de los segmentos del plano.

Ejemplo básico de clasificación

Cuando queremos hacer una clasificación, en el sentido matemático, lo que queremos hacer es tomar algunos objetos matemáticos y decir, bajo algún criterio cómo son todos los «tipos posibles» que existen para esos objetos. Esto puede ser respondido de muchas formas, así que es fundamental acordar dos cosas con precisión:

  1. ¿Cuáles son los objetos que queremos clasificar?
  2. ¿Bajo qué criterio diremos que dos de esos objetos son «del mismo tipo»?

Al final del proceso, nos gustaría tener una lista relativamente fácil de escribir de todas las posibilidades. Esto puede ayudar posteriormente a resolver otros problemas matemáticos o bien a desarrollar más teoría.

Comencemos con un ejemplo «de juguete». Será muy sencillo, pero nos permitirá hablar de algunas de las sutilezas que nos encontraremos en contextos más abstractos. Considera la siguiente figura en la que hay varias figuras geométricas.

Imagina que nos piden «clasificar todas las figuras que están aquí». Lo que nos gustaría obtener al final es una lista con la clasificación, es decir con «todas las posibilidades» de figuras que hay. Si sólo nos dan esta instrucción, entonces estaríamos en problemas: hay muchas forms de clasificar estos objetos.

Una posible clasificación es por forma. Si consideramos equivalentes a dos de estas figuras cuando tienen la misma forma, entonces nuestra lista de posibilidades se reduce a tres: triángulos, cuadrados y círculos. Nuestro teorema de clasificación se vería así:

Teorema. Cualquier figura de la imagen tiene alguna de las siguientes formas:

  1. Triángulo
  2. Cuadrado
  3. Círculo

Este teorema de clasificación está padre. Pero puede ser inútil en algunos contextos. Por ejemplo, imagina que las figuras son muestras que está regalando una tienda de pinturas para que puedas llevarlas a tu casa y usarlas para ver si te gustaría pintar una pared con el color dado. Para estos fines es (prácticamente) lo mismo que te den un cuadrado azul o un triángulo azul. Lo único que importa es el color.

Pensar de esta manera nos da otra manera de clasificar a las figuras: por color. Si usamos esta noción de equivalencia, entonces nuestro resultado de clasificación sería muy distinto.

Teorema. Cualquier figura de la imagen es de alguno de los siguientes colores:

  1. Rojo
  2. Naranja
  3. Amarillo
  4. Verde
  5. Azul

Pero podríamos querer ser mucho más estrictos y querer clasificar considerando ambos criterios: tanto la forma como el color. Quizás uno podría pensar que como hay tres figuras y cinco colores, entonces hay $3\cdot 5=15$ posibilidades en esta clasificación. Obtendríamos el siguiente resultado.

Teorema. Cualquier figura de la imagen es de alguno de los siguientes 15 tipos: triángulo rojo, triángulo naranja, triángulo amarillo, triángulo verde, triángulo azul, cuadrado rojo, cuadrado naranja, cuadrado amarillo, cuadrado verde, cuadrado azul, círculo rojo, círculo naranja, círculo amarillo, círculo verde, círculo azul.

Estrictamente hablando, este resultado es correcto: cualquier figura es de alguno de esos tipos. Pero el teorema tiene algo incómodo: nos está dando posibilidades que no suceden. Por ejemplo, no hay cuadrados amarillos, ni círculos azules.

Una clasificación con forma y color que nos dejaría más satisfecho sería la siguiente:

Teorema. Cualquier figura de la imagen es de alguno de los siguientes 11 tipos:

  1. Triángulo rojo
  2. Triángulo naranja
  3. Triángulo amarillo
  4. Triángulo azul
  5. Cuadrado rojo
  6. Cuadrado naranja
  7. Cuadrado azul
  8. Círculo rojo
  9. Círculo naranja
  10. Círculo amarillo
  11. Círculo verde

Más aún, cualquiera de estas posibilidades sucede.

Este resultado se siente mucho más satisfactorio. Por un lado, no está agregando a la lista «opciones de más». Por otro lado, a partir de él podemos demostrar proposiciones sin tener que volver a ver la figura. Algunos ejemplos son los siguientes:

  • Ningún círculo de nuestra figuras es azul.
  • Todas las figuras verdes son círculos.
  • Ninguna figura amarilla es un cuadrado.

Para mostrar cualquiera de estas, basta ver nuestra clasificación.

¿Podemos dar una clasificación mucho más estricta? Sí, por supuesto. Por ejemplo, podemos considerar dos figuras iguales sólo cuando tienen exactamente la misma figura, color y posición. En este caso nuestro teorema de clasificación tendría un tipo por cada una de las 19 figuras. Esta clasificación también se siente un poco insatisfactoria pues en realidad no estamos «agrupando» figuras, sino simplemente «poniendo a cada una en su propio grupo». Pero bueno, es una clasificación válida también.

Uso de relaciones de equivalencia y particiones

Una manera de formalizar una clasificación es a partir de relaciones de equivalencia y particiones. Recordemos las siguientes dos definiciones:

Definición. Una relación de equivalencia en un conjunto $X$ es una colección de parejas $(x,y)$ en $X\times X$ tales que:

  • (Reflexividad) Para cualquier $x$ en $X$ la pareja $(x,x)$ está en la colección.
  • (Simetría) Si para algunos $x,y$ en $X$ se cumple que la pareja $(x,y)$ está en la colección, entonces la pareja $(y,x)$ también está en la colección.
  • (Transitividad) Si para algunos $x,y,z$ en $X$ se cumple que tanto las parejas $(x,y)$ como $(y,z)$ están en la colección, entonces la pareja $(x,z)$ también está.

Las relaciones de equivalencia nos ayudan a decir cuándo dos objetos de $X$ «son iguales» o «son el mismo» bajo algún criterio usualmente más relajado que la igualdad.

Definición. Una partición de un conjunto $X$ es una colección de conjuntos $(A_i)_{i \in I}$ para algún conjunto de índices $I$ tal que ninguno de los $A_i$ es vacío, cualesquiera dos de ellos tienen intersección vacía y $X=\cup_{i\in I}A_i$.

Un resultado clásico de teoría de conjuntos dice que «una relación de equivalencia da una partición, y viceversa». Formalmente, dada una relación de equivalencia $R$ en un conjunto $X$, podemos crear la clase de equivalencia de un elemento $x$ en $X$ como sigue: $$\overline(x):=\{y \in X: (x,y)\in R\}.$$ El conjunto $\{\overline{x}:x\in X\}$ da una colección de conjuntos que es una partición de $X$. Y viceversa, si tenemos una partición $(A_i)_{i \in I}$, entonces podemos considerar las parejas $(x,y)$ de elementos tales que $x$ y $y$ están en un mismo $A_i$, de donde obtenemos una relación de equivalencia.

Regresando a la idea de clasificar, podemos realizar una clasificación a través de una relación de equivalencia o de una partición. Las clases de equivalencia son los «tipos» de objetos que tenemos. Podemos dar un representante «sencillo» dentro de cada clase de equivalencia para hacer nuestra lista de los posibles «tipos» que existen.

Ejemplo. En los números enteros podemos decir que dos enteros $x$ y $y$ están relacionados cuando $x-y$ es un número par. Es fácil mostrar que esto da una relación de equivalencia y que las clases de equivalencia en este caso son los conjuntos:

\begin{align*}
P&=\{\ldots,-4,-2,0,2,4,\ldots\},
Q&=\{\ldots,-3,-1,1,3,\ldots\}.
\end{align*}

Tenemos que $P$ y $Q$ forman una partición del conjunto $\mathbb{Z}$ de números enteros. Así, esta relación clasifica a los enteros en dos tipos: los pares y los impares. Otra forma de dar esta clasificación es diciendo que «Cualquier entero es equivalente al $0$ o al $1$», o más explícitamente, «Para cualquier entero $z$ se tiene que o bien $z$ es par, o bien $z-1$ es par».

$\square$

Clasificación de segmentos del plano con transformaciones

Hacia donde queremos ir es hacia una clasificación relacionada con la geometría. Por esta razón, las relaciones de equivalencia, particiones o «tipos» de objetos que obtendremos estarán relacionados con nociones geométricas. Una manera de hacer esto es mediante las transformaciones que estuvimos estudiando en la unidad anterior: transformaciones afines, traslaciones, isometrías, transformaciones ortogonales, etc.

Por ejemplo, pensemos en que estamos hablando de los segmentos cerrados y acotados en el plano cartesiano. Es decir, de acuerdo a lo que estudiamos en la primera unidad, para cualesquiera dos puntos distintos $P$ y $Q$ en el plano estamos considerando el conjunto $$\overline{PQ}=\{pP+qQ:0\leq p \leq 1, 0 \leq q \leq 1, p+q=1\}.$$ En la siguiente figura puedes ver algunos de los (muchos) segmentos que hay en el plano:

Familia de segmentos

¿Cómo podemos clasificar a todos los segmentos que hay en el plano? Antes de cualquier cosa, tenemos que ponernos de acuerdo en la clasificación. Una manera de hacer esto es mediante transformaciones del plano. Veamos un par de ejemplos.

Ejemplo. Una primer opción es que digamos que dos segmentos son del mismo tipo cuando podamos trasladar uno de ellos al otro. Si hacemos esto, casi todos los segmentos de la siguiente figura serían del mismo tipo.

Familia de segmentos

El único que no es del mismo tipo que los demás sería el segmento punteado que, aunque lo dibujamos intencionalmente de la misma longitud que los demás, no resulta ser equivalente pues es imposible trasladarlo a alguno de los otros segmentos. Con esta noción de segmentos equivalentes, ¿qué posibilidades tendríamos? Es más o menos fácil convencerse de que para que dos segmentos sean del mismo tipo con esta clasificación necesitamos que a) sean paralelos y b) tengan la misma longitud. Por ello mismo, no es tampoco difícil convencerse del siguiente teorema de clasificación.

Teorema. Cualquier segmento del plano es equivalente bajo traslaciones a un segmento tal que uno de sus extremos es el origen.

$\square$

Veamos otra manera de clasificar los segmentos del plano.

Ejemplo. Diremos que dos segmentos son del mismo tipo si podemos llevar uno al otro a través de una isometría. Si hacemos esto entonces ahora sí todos los segmentos de la siguiente figura son equivalentes (pensando en que el segmento punteado tiene la misma longitud que los otros).

De hecho, por lo que sabemos de las isometrías podemos afirmar que bajo este criterio dos segmentos son del mismo tipo si y sólo si tienen la misma longitud. Esto nos llevaría a un teorema de clasificación un poco distinto.

Teorema. Cualquier segmento se puede mediante isometrías a un segmento que sale del origen y termina en un punto del la forma $(x,0)$ con $x>0$. Más aún, todos estos segmentos son de distinto tipo.

$\square$

En los dos ejemplos anteriores hemos sido un poco informales, pues dejamos varias cosas sin demostrar. Seguramente podrás detectarlas e intentar completar los argumentos que faltan. Algunas de estas cosas faltantes están en los ejercicios.

Más adelante…

En esta entrada hablamos de la noción de «clasificar» de manera muy general, con el fin de entenderla y ver algunas de las sutilezas que nos encontraremos más adelante. A partir de ahora nos enfocaremos en probar resultados de clasificación muy específicos, relacionados con las cónicas.

Sin embargo, queremos ser muy precisos con respecto a la clasificación que daremos. Por esta razón, en las siguientes dos entradas hablaremos de los objetos específicos que queremos clasificar y de las nociones de equivalencia que permitiremos.

Tarea moral

  1. Verifica que en nuestro ejemplo de juguete la relación «tener el mismo color» es una relación de equivalencia.
  2. Para cada una de las clasificaciones que dimos en nuestro ejemplo de juguete encuentra cuántas de las figuras originales hay en cada una de las clases.
  3. Demuestra que la relación en $\mathbb{Z}$ en la cual tenemos a $(x,y)$ si y sólo si $x-y$ es un número par es una relación de equivalencia. Muestra que en este caso la partición consiste en el conjunto de los números pares, y el conjunto de los números impares.
  4. Sea $S$ el conjunto de segmentos en el plano. Diremos un elemento $s_1$ de $S$ es traslacionalmente equivalente a otro elemento $s_2$ de $S$ si existe una traslación $T$ de $\mathbb{R}^2$ tal que $T(s_1)=s_2$. Demuestra que «ser traslacionalmente eqivalente a» es una relación de equivalencia en $S$.
  5. Da teoremas de clasificación de las rectas en $\mathbb{R}$ usando transformaciones para cada una de las siguientes posibilidades:
    1. Dos rectas son del mismo tipo si se puede llevar una a otra mediante una traslación.
    2. Dos rectas son del mismo tipo si se puede llevar una a la otra mediante una rotación.
    3. Dos rectas son del mismo tipo si se puede llevar una a la otra mediante una isometría.

Entradas relacionadas

Teoría de los Conjuntos I: Clases de equivalencia y particiones

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En la sección anterior definimos a las relaciones de equivalencia por lo que ahora tenemos las bases para definir otros conceptos. Esta entrada estará dedicada a dos conjuntos nuevos a los que llamaremos clases de equivalencia y particiones. Dichos conjuntos nos permitirán por un lado agrupar a los elementos de un conjunto conforme estén relacionados con otros y así estudiar a un conjunto no solo como un total si no por partes.

Clases de equivalencia

Definición: Sea $R$ una relación de equivalencia en $A$. Sea $a\in A$, definimos a la clase de equivalencia de $a$ respecto a $R$, como:

$[a]_R=\set{x\in A: aRx}$.

Observación: Para cada $a\in A$, $[a]_R\not=\emptyset$ pues $aRa$ (por reflexividad de $R$). Así, $[a]_R$ tiene al menos un elemento, a saber $a$.

Ejemplo:

Consideremos al conjunto $A=\set{a,b,c}$ y $R$ la relación de equivalencia en $A$ dada por $R=\set{(a,a), (b,b),(c,c), (a,b), (b,a)}$. Veamos cuales son las clases de equivalencia de cada uno de los elementos de $A$.

Tenemos que:

\begin{align*}
[a]_R&= \set{x\in A: aRx}\\
&= \set{x\in \set{a,b,c}: aRx}\\
&=\set{a,b}
\end{align*}

\begin{align*}
[b]_R&= \set{x\in A: bRx}\\
&= \set{x\in \set{a,b,c}: bRx}\\
&=\set{a,b}.
\end{align*}

\begin{align*}
[c]_R&= \set{x\in A: cRx}\\
&= \set{x\in \set{a,b,c}: cRx}\\
&=\set{c}.
\end{align*}

$\square$

Del ejemplo anterior podemos notar que es posible que dos clases de equivalencia sean iguales. En este caso tenemos que $[a]_{R}=[b]_{R}$, por lo que podemos considerar únicamente a un representante para estás clases, es decir, las clases de $R$ estarán dadas por $[a]_R$ y $[c]_R$, donde $[a]_R$ representará tanto a $[a]_R$ como a $[b]_R$. A partir de este último hecho podemos introducir la definición del conjunto completo de representantes.

Definición: Sea $R$ una relación de equivalencia en $A$. Decimos que $S\subseteq A$ es un conjunto completo de representantes respecto de $R$, si se satisfacen las siguientes condiciones:

  1. Para cualesquiera $a,b\in S$, $[a]_R\cap [b]_R=\emptyset$ si $a\not=b$,
  2. $\bigcup_{a\in S}[a]_R=A$.

Esta última definición nos permitirá tomar a un representante para aquellas clases de equivalencia que son iguales.

Teorema: Sea $R$ una relación de equivalencia en $A$ y sean $a,b\in A$, las siguientes propiedades son equivalentes:

  1. $aRb$,
  2. $[a]_R=[b]_R$,
  3. $[a]_R\cap[b]_R\not=\emptyset$.

Demostración:

$1)\rightarrow 2)$ Supongamos que $aRb$. Veamos que $[a]_R=[b]_R$.

$\subseteq]$ Sea $x\in [a]_R$, entonces $aRx$. Luego, como $aRb$ y $R$ es una relación simétrica entonces $bRa$. Así, $bRa$ y $aRx$ y por la transitividad de $R$ se tiene que $bRx$ y así, $x\in [b]_R$.

Por lo tanto, $[a]_R\subseteq [b]_R$.

$\supseteq]$ Sea $x\in [b]_R$, entonces $bRx$. Luego, como $aRb$ y $bRx$ se tiene por transitividad de $R$ que $aRx$ y así, $x\in [a]_R$.

Por lo tanto, $[b]_R\subseteq [a]_R$.

Por lo tanto, si $aRb$ entonces $[a]_R=[b]_R$.

$2)\rightarrow 3)$ Supongamos que $[a]_R=[b]_R$ entonces $[a]_R\cap[b]_R=[a]_R\not=\emptyset$ por la observación.

$3)\rightarrow 1)$ Supongamos que $[a]_R\cap[b]_R\not=\emptyset$. Veamos que $aRb$.

Dado que $[a]_R\cap [b]_R\not=\emptyset$, entonces existe $x\in [a]_R\cap[b]_R$, es decir existe $x$ tal que $x\in[a]_R$ y $x\in [b]_R$, entonces $aRx$ y $bRx$. Por lo tanto, $aRx$ y $xRb$ por la propiedad simétrica. Luego, $aRb$ por transitividad de $R$.

Por lo tanto, si $[a]_R\cap[b]_R\not=\emptyset$ entonces $aRb$.

Por lo tanto, $1)$, $2)$ y $3)$ son enunciados equivalentes.

$\square$

Particiones

A continuación definiremos a la partición de un conjunto. Este concepto tendrá utilidad pues va a resultar que el conjunto completo de representantes de una relación de equivalencia corresponde a una partición del conjunto.

Definición: Sea $A$ un conjunto no vacío y sea $P=\set{A_i}_{i\in I}$ una familia de subconjuntos de $A$. Decimos que $P$ es una partición de $A$ si cumple las siguientes condiciones:

  1. $A_i\not=\emptyset$ para toda $i\in I$,
  2. $A_i\cap A_j=\emptyset$ si $i\not= j$ para toda $i, j\in I$,
  3. $\bigcup_{i\in I}A_i=A$.

Ejemplo:

Sea $X=\set{1,2,3,4}$. Consideremos a la siguiente colección de subconjuntos de $X$, $P=\set{\set{x}:x\in X}$.

Veamos que $P$ es una partición de $X$:

  1. Dado que para todo $x\in X$ se cumple que $x\in \set{x}$ tenemos que $\set{x}\not=\emptyset$.
  2. Ahora, como $P=\set{\set{x}:x\in X}=\set{\set{1},\set{2}, \set{3}, \set{4}}$ se cumple que para cualquier $x,y\in X$ tales que $x\not=y$, $\set{x}\not=\set{y}$.
  3. Tenemos que:

$\bigcup_{x\in X} \set{x}=\set{1}\cup\set{2}\cup\set{3}\cup\set{4}=\set{1,2,3,4}=X$.

$\square$

Teorema: Sea $R$ una relación de equivalencia en $A$ un conjunto no vacío. Sea $S$ un conjunto completo de representantes de $A$. Entonces $\set{[a]_R: a\in S}$ es una partición de $A$.

Demostración:

Veamos que $\set{[a]_R:a\in S}$ es una partición de $A$. En efecto,

  1. Sea $a\in S\subseteq A$, entonces $aRa$ por reflexividad de $R$ y por lo tanto $a\in [a]_R$. De este modo, para cualquier $a\in S$ se cumple que $[a]_R\not=\emptyset$.
  2. Ahora, sean $a,b\in S$ tales que $a\not=b$. Por definición de conjunto completo de representantes se sigue que $[a]_R\cap [b]_R=\emptyset$.
  3. Finalmente, tenemos por definición que $\bigcup_{a\in S}[a]_R=A$.

Por lo tanto, $\set{[a]_R:a\in S}$ es una partición de $A$

$\square$

Tarea moral

  1. Sea $A=\set{1,2,3,4}$. Da una partición del conjunto $A$ y verifica que en efecto es una partición.
  2. Sea $A=\set{1,2,3,4,5}$ y sea $R$ una relación de equivalencia en $A$ dada por $R=\set{(1,1), (2,2), (3,3), (4,4), (5,5)}$. Escribe las clases de equivalencia de $A$ respecto a $R$.
  3. Sea $A=\set{1,2,3}$ y sea $R$ una relación de equivalencia en $A$ dada por $R=\set{(1,1), (2,2), (3,3), (1,2), (2,1)}$. Encuentra a un conjunto completo de representantes.
  4. Sean $R$ y $S$ relaciones de equivalencia en $X$. Demuestra que para cada $x\in X$ se tiene que $[x]_{R\cap S}=[x]_R\cap [x]_S$.

Más adelante

En la siguiente sección estableceremos la conexión de relaciones de equivalencia con las particiones, lo haremos a través de definir a un nuevo conjunto llamado conjunto cociente.

Enlaces

En el siguiente enlace podrás encontrar mas contenido acerca de clases de equivalencia y particiones: