You are on page 1of 7

Relaciones de orden y de equivalencia

M. Sc. Sebastian Casta


neda Hernandez.
Barranquilla - Colombia

Introducci
on

Cual es el papel que juegan, en el conjunto sobre el cual se definen, las


relaciones de equivalencia? y las de orden?. Como veremos, las primeras
hacen una particion o clasificacion de los elementos del conjunto en conjuntos
disyuntos. Por su parte, una relacion de orden establece jerarquas entre los
elementos del conjunto; una tal jerarqua puede ser parcial o vertical (total).
Inicialmente formalizamos la definicion de relacion sobre un conjunto no vaco
cualquiera.

Definiciones b
asicas

Dados dos conjuntos, no vacos, A y B, el producto cartesiano de A por B,


denotado A B, es el conjunto
A B = {(x, y)|x A, y B}.
Cada elemento (x, y) es denominado un par ordenado. La condicion de
ordenado viene dada por la igualdad
(x, y) = (z, w) x = z y = w.
Un subconjunto cualquiera, R, del producto cartesiano AB es denominado
una relacion de A a B. Si A = B decimos simplemente que R es una relacion
definida en A. Si R es una relacion y (x, y) R escribiremos tambien xRy lo
que acostumbraremos a leer como x esta relacionado con y bajo R.
Definici
on 2.1. Consideremos una relacion R definida sobre un conjunto A.
La relacion R es
1

3. Particiones, conjunto cociente

Reflexiva si, y solo si para todo x A se tiene xRx.


Sim
etrica si, y solo si para todo x, y A se tiene: xRy = yRx.
Antisim
etrica si, y solo si para todo x, y A se cumple:
xRy yRx = x = y
Transitiva si, y solo si para elementos cualesquiera x, y, z A es valida la
implicacion
xRy yRz = xRz.
Sea R una relacion reflexiva y transitiva definida sobre un conjunto A. R
es denominada de equivalencia si es simetrica. Si R es antisimetrica se dice
que es un orden parcial. Un orden parcial es un orden total si satisface
ademas la siguiente condicion:
Para todo x, y A : xRy yRx.
La condicion anterior se acostumbra a describir diciendo que todos los elementos
de A son comparables mediante R. Un conjunto totalmente ordenado (es
decir, con un orden total) se acostumbra a denominar una cadena.

Particiones, conjunto cociente

Una relacion de equivalencia particiona el conjunto sobre el cual se define


en clases de equivalencia; es decir, clasifica exhaustivamente los elementos del
conjuntos en conjuntos disjuntos. De hecho, el definir una relacion de equivalencia en un conjunto y el particionar el conjunto son en realidad un mismo
proceso. As, el concepto de relacion de equivalencia no es mas que la formalizacion de la nocion de clasificacion exhaustiva. El criterio de clasificacion
esta dado por la forma como se define la relacion: dos elementos relacionados
mediante una relacion de equivalencia se consideran iguales en cierto sentido,
el sentido dado por el criterio de clasificacion. Por supuesto, la relacion de
equivalencia mas peque
na que se puede definir en un conjunto no vaco A es
la igualdad
R = {(x, y)|x, y A, x = y} = {(x, x)|x A}.
Es claro tambien que la mayor relacion de equivalencia en A es A A.
El siguiente teorema establece formalmente lo dicho al comienzo del parrafo
anterior. Damos primero la definicion de particion de un conjunto.
2

3. Particiones, conjunto cociente

Definici
on 3.1. Sean A un conjunto e I un conjunto de ndices. Una familia
no vaca, P = {Ai |i I}, de subconjuntos no vacos de A, se denomina una
partici
on de A si, y solo si satisface:
1. Para todo i, j I: Ai = Aj o Ai Aj = .
S
2. iI Ai = A
Es decir A es union disjunta de los elementos de la particion.
Teorema 3.1. Sean A un conjunto no vaco, R y P las familias de todas las
relaciones de equivalencia y de particiones, respectivamente, sobre A. Entonces
existe una biyeccion de R en P.
Demostracion. Para una relacion de equivalencia R en A y un elemento a A
sea
[a]R = {x A|xRa}.
Sea ademas
A/R = {[a]R |a A}.
Es claro que si A es no vaco tambien lo es A/R. Mostremos que A/R P.
Si a, b A y [a]R [b]R 6= , existe un elemento x A tal que xRa y xRb, de
donde se sigue, por simetra y transitividad, que aRb. Por lo tanto
z [a]R zRa
zRb
z [b]R
lo que demuestra que [a]R = [b]R si [a]R [b]R 6= . Por otra parte es claro
(muestrelo en detalle) que
[
A=
[a]R .
aA

Por lo anterior se tiene entonces que A/R es una particion de A.


En forma recproca, si P = {Ai |i I} es una particion de A, entonces
podemos definir en A una relacion RP como sigue:
xRP y existe i I tal que x, y Ai .
Es un ejercicio probar que RP R. Finalmente, la asignacion
R 3 R 7 A/R P
es una biyeccion (demuestre los detalles que faltan)
3

3. Particiones, conjunto cociente

El conjunto [a]R del teorema anterior es denominado clase de equivalencia


de a bajo R. Es claro que para elementos a, b A, se tiene
[a]R = [b]R aRb.
Cada elemento de [a]R es denominado un representante de la clase. El conjunto
A/R, de todas las clases de equivalencia, es el conjunto cociente de A bajo
R. El teorema establece entonces que el conjunto cociente es una particion
de A y, recprocamente, toda particion de A es cociente de alguna relacion de
equivalencia definida sobre el conjunto. En lo que sigue utilizaremos smbolos
como y para una relacion de equivalencia.
Ejemplo 3.1. La conocida clasificacion de los enteros en pares e impares
es suministrada por la siguiente relacion definida sobre Z (conjunto de los
n
umeros enteros):
x y(mod 2) x y = 2k para alg
un entero k.
Tal relacion es denominada congruencia m
odulo 2 y es un ejercicio sencillo
probar que, efectivamente, es una relacion de equivalencia.
La clase de equivalencia de un entero par cualquiera es, justamente, el
subconjunto de los enteros pares. En efecto
[0](mod

2)

=
=
=
=
..
.
=

{x| x 0 = 2k, k Z}
{2k| k Z}
{2(k + 1)| k Z}
[2](mod 2)
[2n](mod 2) , n Z

De manera similar se tiene que [1](mod 2) esta constituida por todos los enteros
impares y que [2k + 1](mod 2) = [1](mod 2) , para cada entero k. En definitiva,
se tiene
Z/ (mod 2) = {[0](mod 2) , [1](mod 2) }.
Ejemplo 3.2. Mas generalmente, para un entero positivo fijo n 1, la relacion
(denominada de congruencia m
odulo n) definida en Z por
x y(mod n) x y = nk para alg
un entero k,

4. Cotas, elementos maximales y minimales.

es de equivalencia y el conjunto cociente correspondiente, al que denotaremos


mediante Zn , tiene exactamente n clases de equivalencia1
Zn = Z/ (mod n)
= {[0], [1], . . . , [n 1]}.
En la notacion anterior, por brevedad, hemos escrito [x] por [x](mod n) y
en lo que sigue usaremos tambien esa notacion abreviada para las clases de
equivalencia, si la relacion de equivalencia correspondiente esta clara en el
contexto. Para el ejemplo considerado notese que [x] = {nk + x|k Z} para
cualquier entero fijo x.
Si n = 0, entonces la congruencia modulo n es claramente la igualdad de
enteros y para un entero cualquiera x se tiene que [x] = {x}. El conjunto
cociente es entonces equipotente (con la misma cardinalidad ) con Z.
Ejemplo 3.3. En el conjunto R, de los n
umeros reales, la relacion dada por
x y x = y = 0 xy > 0
es una relacion de equivalencia (verifquelo) que produce la clasificacion de los
reales en tres clases: la de los positivos, la de los negativos y la clase unitaria
del cero.
R/ = {[0], [1], [1]} = {{0}, R+ , R }.
Ejemplo 3.4. Dos conjuntos cualesquiera A y B se denominan equipotentes
si son ambos vacos o si existe una biyeccion entre ellos. La equipotencia es
una relacion de equivalencia (Ejercicio). Cada clase de equivalencia define un
n
umero cardinal. As de conjuntos equipotentes se dice que tienen la misma
cardinalidad o el mismo n
umero cardinal. Para un conjunto A, |A| denotara
el cardinal de A. As, por ejemplo:
|| = 0, |{}| = 1, |{, {}}| = 2, . . .

Cotas, elementos maximales y minimales.

Una relacion de orden parcial (o un orden parcial, simplemente) sobre un


conjunto no vaco A establece, intuitivamente hablando, una ordenacion no
necesariamente completa sobre el conjunto. El concepto de orden parcial
1

Es consecuencia de que la clase de equivalencia modulo n de un entero x es el residuo


de la divisi
on de x entre n.

4. Cotas, elementos maximales y minimales.

generaliza la conocida relacion de desigualdad de n


umeros a conjuntos cualesquiera. En lo que sigue utilizaremos por lo general el smbolo  para un orden
parcial y escribiremos (A, ) para referirnos al hecho de que el conjunto A esta
parcialmente ordenado por .
Definici
on 4.1. Sea (A, ) un orden parcial. Un elemento c A se denomina:
Maximal, si se verifica
x A : c  x = x = c.
Cota superior de un subconjunto no vaco B A si, y solo si x  c para
todo x B.
Mnimo del subconjunto no vaco B A si c B y c  x para todo x B.
Si cada subconjunto no vaco de A tiene un mnimo se dice que A esta bien
ordenado bajo .
Dada una relacion R sobre A, la relacion inversa o dual de R, denotada
R0 , esta definida por
xR0 y yRx.
Es facil probar (ver ejercicios) que si R es un orden parcial entonces tambien
lo es R0 . Para el orden parcial  su relacion dual se acostumbra a notar por
. En el orden parcial (A, ) se pueden definir elementos minimales, cotas
inferiores y m
aximos de subconjuntos no vacos de A como los elementos
minimales, cotas superiores y mnimo, respectivamente, para el orden parcial
dual (A, ).
Ejemplo 4.1. Sea A un conjunto y 2A el conjunto de sus partes (subconjuntos). Entonces (2A , ) es un orden parcial. es un minimal y A es un elemento
maximal de dicho orden parcial. Es un orden total? Esta bien ordenado el
conjunto 2A por la inclusion?
Ejemplo 4.2. En el conjunto de los enteros consideremos la relacion de divisibilidad
x|y existe un entero k tal que y = kx.
Tal relacion es claramente reflexiva ( ya que x = 1x, para todo x Z) y
transitiva ( si y = kx y z = my, entonces z = (mk)x) pero no es antisimetrica
ya que, por ejemplo, 2| 2 y 2|2 pero 2 6= 2. No se tiene, por lo tanto
un orden parcial sobre Z bajo tal relacion. Tampoco es una relacion de
equivalencia por no ser simetrica.
6

4. Cotas, elementos maximales y minimales.

Ejemplo 4.3. En el conjunto de los enteros el orden natural es el usual


. . . , 3, 2, 1, 0, 1, 2, 3, . . .
en el cual para x, y Z se tiene x y si x = y o si x esta a la izquierda de y.
Podemos tambien considerar un orden como el siguiente
0, 1, 1, 2, 2, 3, 3, . . .
En el primer caso, se tiene un orden total pero no un buen orden (Puede
explicar por que?), en el segundo, por el contrario, Z esta bien ordenado.
Si (A, ) es un orden parcial, la relacion entre un n
umero finito de elementos
comparables es usualmente presentada mediante diagramas, denominados de
Hasse, formados por puntos (representando a los elementos)y segmentos que
los unen. Para elementos b, c A con b  c, b 6= c, en el diagrama correspondiente la relacion se muestra mediante un segmento ascendente de b a c. Si A
es finito todo el orden parcial puede ser esquematizado mediante uno de tales
diagramas.
Si, por ejemplo, A = {a, b, c, d, e} esta parcialmente ordenado por la relacion
{(a, a), (b, b), (c, c), (d, d), (e, e), (a, b), (a, d), (a, c), (b, c)}
tal orden es esquematizado como sigue
c

6 


b 
6



Notese que c, d y e son elementos maximales, mientras que a y e son minimales.


El orden mostrado no es total pues, por ejemplo, c y d no son comparables.
El siguiente enunciado es de gran importancia en Teora de conjuntos y
es equivalente al denominado axioma de eleccion. Es de gran utilidad en la
construccion de diversas estructuras matematicas.
Lema 4.1. Lema de Zorn.
Si (A, ) es un conjunto parcialmente ordenado tal que cada cadena en A
tiene una cota superior, entonces A tiene al menos un elemento maximal.
Se sigue de inmediato (porque?) que si toda cadena en A tiene una cota
inferior, entonces A tiene al menos un elemento minimal.
7

You might also like