RELACIONES

Fundamentos de la Matemtica Instituto de Profesores Artigas

Fundamentos de la Matemtica 2008 1
Definicin de relacin
Previamente, recordemos la definicin de producto cartesiano:
Dados dos conjuntos A y B , llamamos producto cartesiano al conjunto
( ) , , A B x y x A y B =
Definicin
Dados dos conjuntos A y B , diremos que R es una relacin de A en B
R A B
Observaciones
A recibe el nombre de dominio de la relacin y B el de codominio.
Si ( , ) a b R , diremos que a est relacionado con b y tambin lo anotaremos
aRb o ( ) R a b = .
Distintas formas de definir una relacin
Aprovecharemos como ejemplo los conjuntos , , A a b c = y 1, 2, 3, 4, 5 B = .
Definicin por extensin
Esta definicin se utiliza en el caso de relaciones finitas ya que se nombran todos los
elementos del conjunto. Por ejemplo, con los conjuntos A y B definidos anteriormente:
( , 3),( , 4),( , 5),( , 3) R a b b c = .
Definicin por comprensin
Dado que una relacin es un conjunto, tambin es posible dar una definicin de sta
por comprensin.
Por ejemplo: sean A y B los conjuntos definidos anteriormente,
: , 1 R A B xRy y = .
RELACIONES
Fundamentos de la Matemtica 2008 2
Definicin grfica
Utilizando los diagramas de Venn, incorporando flechas. Se llaman grficos de flechas.
Por ejemplo, dados , , A a b c = y 1, 2, 3, 4, 5 B = .

Ejercicio:
Represente grficamente la relacin : R A A , aRb a b < , 1, 3, 7, 8 A = .
Mediante un grfico de puntos

Mediante un cuadro de doble entrada o matriz
1 2 3 4 5 R
a
b
c

1
2 3
4 5
A B
a
b
c

5
4
3
2
1
| | |
B
a b c A

RELACIONES
Fundamentos de la Matemtica 2008 3
Relacin de equivalencia
Dado un conjunto A no vaco y una relacin R definida en A (es decir, definida de
A en A), decimos que esta relacin es de equivalencia si, y slo si, R cumple:
1) Propiedad idntica: , a A aRa .
2) Propiedad recproca: , , a A b A aRb bRa .
3) Propiedad transitiva ( ) , , , a A b A c A aRb bRc aRc .
Ejercicios:
(1) Sean

1, 2, 4, 6, 8 A = y R definida en A tal que 3 | ( ) xRy x y
(a) Determinar R por extensin.
(b) Representarla por medio de un diagrama.
(c) Investigar qu propiedades cumple.
(2) El diagrama adjunto corresponde a algunos pares de la relacin est ms alto
que en el conjunto A,B,C,D,E de la figura.

(a) Estudiar el diagrama y colocar la letra correspondiente a cada cajn, de
modo que se verifique la relacin.
(b) Cmo reconoce el primer elemento y el ltimo?
(3) Dado

, , , P a b c d = , en l se define la relacin R tal que
( ) ( ) ( ) ( ) ( ) ( )

, , , , , , , , , , , R a a b b c c d d b c c b =
E
A
B
C D
cajonera






RELACIONES
Fundamentos de la Matemtica 2008 4
(a) Investigar si R es de equivalencia.
(b) Hallar / , A x x P xRa = , / , B x x P xRb = , / , C x x P xRc = ,
/ , D x x P xRd = .
(c) Representa los conjuntos P , A, B , C y D en un diagrama que muestre
la relacin entre ellos.
Definicin de Clase de equivalencia
Dado un conjunto A (no vaco) y una relacin R de equivalencia definida en A,
sea a A ; definimos la clase de a (lo anotamos
a
C ) como el conjunto formado por todos
los elementos de A que estn relacionados con a .
Por lo tanto:
a
C =
Teorema
a b
aRb C C = (Demustralo)
Definicin de Conjunto Cociente
Dado un conjunto A (no vaco) y una relacin R de equivalencia definida en A,
definimos conjunto cociente (lo anotamos
A
R
) como el conjunto formado por todas las
clases de equivalencia.

( ),
x
A
C P A x A
R
=
Ejercicio: Para el conjunto y la relacin consideradas en el ltimo ejercicio (3),
determinar por extensin su conjunto cociente.
Definicin de Particin de un conjunto
Dado un conjunto A (no vaco) definimos particin de A como el conjunto

i
P X = tal que se cumple:
(1) ( ) P P A
(2) ,
i
i X
(3)
i
X A =

RELACIONES
Fundamentos de la Matemtica 2008 5
(4) Si
i j i j
X X X X =
Ejercicio: Escribe en lenguaje comn la definicin de particin.

En el ejercicio anterior, qu puede decirse de A R?
Teorema
Dado un conjunto A no vaco y una relacin R definida en A se cumple que A R
es una particin de A.
Demustralo.

Ejercicio: Se consideran los conjuntos

, , , A a b c d = y



, , , P a b c d = .
Demuestra que P es una particin de A. De ser posible, determina por
extensin una relacin de equivalencia en A cuyo conjunto cociente sea P .
Teorema
Sea P una particin de A; definimos la relacin A en A tal que dos elementos de
A estn relacionados cuando ambos pertenecen al mismo elemento de la particin.
Entonces, dicha relacin es de equivalencia, y el conjunto cociente que esta relacin
determina es la particin dada.
Demustralo.
Ejercicios
(1) Dado

1, 2, 3, 4 A = , se consideran las siguientes relaciones definidas en A:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1
1,1 , 1, 2 , 1, 3 , 2, 2 , 2,1 , 2, 3 , 3, 3 , 3,1 , 3, 2 , 4, 4 R =
( ) ( ) ( ) ( ) ( ) ( ) ( ) 2
1,1 , 1, 3 , 2, 3 , 3, 3 , 3,1 , 3, 2 , 4, 4 R =
(a) Representar cada una en un sistema de ejes cartesianos.
(b) Indicar en cada caso si la relacin representada corresponde o no a una
relacin de equivalencia. Justificar.
RELACIONES
Fundamentos de la Matemtica 2008 6
(2) Se considera la relacin R definida en

/ 0 3 B x x = tal que su
representacin grfica es la regin pintada. Investigar si es una relacin de
equivalencia.

(3) Investigar si la relacin R definida en :
2 2
xRy x x y y = es de
equivalencia.
(4) Sean

, , , A a b c d = y

, B b c =
(a) Se considera la relacin R definida en P(A) tal que:
XRY X B Y B = . Probar que R es de equivalencia
(b) Cul es la clase de

, , a b d ?
(c) Cuntos elementos tiene el conjunto cociente
( )
R
P A
?
(5) Se considera el conjunto

, , , A a b c d = y en l se definen las relaciones:
( ) ( ) ( ) ( )
1
, , , , , , , R a a b b c c d d = ; ( ) ( ) ( ) ( ) ( )
2
, , , , , , , , , R a a b b c c b c c b = ;
3
R A A = ;
( ) ( ) ( ) ( ) ( )
4
, , , , , , , , , R a a b b b c c c d d = ;
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
5
, , , , , , , , , , , , , , , , , R a a b b b c a b b a c c d d c d d c =
(a) Investigar si las relaciones anteriores son de equivalencia. Justificar.
(b) En cada caso, si la relacin es de equivalencia, escribir las clases de
equivalencia. Justificar.
3



1

0
0 1 3
RELACIONES
Fundamentos de la Matemtica 2008 7
(6) En el conjunto de puntos de un plano se define la relacin:
( ) ( ) , , PRP d P O d P O

= , siendo O un punto determinado del plano
(a) Probar que R es de equivalencia.
(b) Hallar la clase de T , siendo T un punto del plano y determinar el
conjunto cociente.
(7) Se define en el conjunto de los nmeros reales la siguiente relacin:
3 3
x R y x y x y =
(a) Probar que R es una relacin de equivalencia.
(b) Hallar las clases de los reales 1, 2 y 3.
(c) Hallar los |
a
a C tenga tres elementos.
(8) Se define en
*
la siguiente relacin: 0 xRy x y
(a) Probar que R es de equivalencia.
(b) Hallar
1
C ,
1
C

y ,
a
C a
(c) Escribir el conjunto cociente
(9) Se define en

la relacin ( , ) ( , ) 2( ) x y R x y x x y y

=
(a) Probar que R es de equivalencia
(b) Hallar las clases de (0, 0) y de (2, 1) .
(10) Sea A un conjunto y
1
R y
2
relaciones de equivalencia en A. Probar que
1 2
R R es una relacin de equivalencia en A.
(11) Sea R definida en A con A tal que R es idntica y transitiva; y sea S
definida en A tal que aSb aRb bRa . Demostrar que S es de equivalencia.
RELACIONES
Fundamentos de la Matemtica 2008 8
Qu es definir?
Entendemos por definir: establecer con exactitud y precisin el significado de un
cierto concepto.
Veremos 4 tipos distintos de definiciones:
i) Nominales explcitas
ii) Por abstraccin
iii) Axiomticas
iv) Por recurrencia
Definiciones nominales explcitas
En este tipo de definiciones se designa, ya sea con una palabra nueva o un smbolo
nuevo, a una combinacin lgica de conceptos ya conocidos (primitivos o definidos
anteriormente).
En Matemtica usualmente definimos los conceptos por comprensin y no por
extensin. Por ejemplo, no definimos mediatriz de un segmento nombrando cada uno de
sus puntos sino que la definimos mediante las propiedades que son necesarias y suficientes
para que un punto pertenezca a ella (La mediatriz del segmento AB incluido en un plano
es el lugar geomtrico de los puntos del plano que equidistan de los extremos del
segmento).
Dados A y B pertenecientes a un plano:
( ) | es un punto del plano ( , ) ( , ) m AB X X d X A d X B = =
En general estas definiciones corresponden a las llamadas de gnero prximo y
diferencia especfica. Tomemos por ejemplo la siguiente definicin: Llamamos rombo a
todo cuadriltero que tiene sus cuatro lados iguales. En este caso el gnero prximo es
cuadriltero y la diferencia especfica es tener cuatro lados iguales.
Definiciones por abstraccin
Al definir en un conjunto una relacin de equivalencia queda determinada una
particin del conjunto en clases de equivalencia; estas clases y el conjunto cociente son
RELACIONES
Fundamentos de la Matemtica 2008 9
entonces nuevos entes matemticos .A estos se les atribuir un nuevo nombre o un nuevo
smbolo; este proceso se denomina definicin por abstraccin.
Una definicin de este tipo es, por ejemplo, la definicin de direccin de una recta:
Dos rectas a y b tienen la misma direccin si y slo si pertenecen a la misma clase de
equivalencia, es decir, si y slo si son paralelas. Observar que esta definicin se basa en la
relacin de paralelismo entre rectas.
En los siguientes apartados veremos dos ejemplos ms de definiciones por
abstraccin: los nmeros enteros y los nmeros racionales.
Definiciones axiomticas y por recurrencia
En unidades posteriores tendremos la oportunidad de ejemplificar este tipo de
definiciones.
RELACIONES
Fundamentos de la Matemtica 2008 10
Definicin de nmero entero
Definimos en la relacin R tal que ( , ) ( , ) a b R c d a d b c = .

Probaremos que R es una relacin de equivalencia:

Idntica: ( , ) ,( , ) ( , ) a b a b R a b a b b a = , lo cual es cierto por la
propiedad conmutativa de la adicin en .

Recproca: ( , ) , ( , ) , ( , ) ( , ) ( , ) ( , ) a b c d a b R c d c d R a b .
Demostracin:
def. de igualdad en conm. + en def. de
( , ) ( , ) ( , ) ( , )
R R
a b R c d a d b c b c a d c b d a c d R a b = = =



Transitiva: ( , ) , ( , ) , ( , ) a b c d e f ,
( , ) ( , ) ( , ) ( , ) ( , ) ( , ) a b R c d c d R e f a b R e f
Demostracin:
trans. ig.
en
( , ) ( , ) ( ) ( )
y
( , ) ( , ) ( ) ( )
a b R c d a d b c a d f b c f
c d R e f c f d e c f b d e b
'
1
1 = =
1
1
1

!
1
1
1
= =
1
1+

oper. def.
( ) ( ) ( , ) ( , )
R
a d f d e b a f b e a b R e f = = .

Entonces, hemos demostrado que R es una relacin de equivalencia que determina
en una particin en clases de equivalencia. A la clase del par ( , ) a b la notaremos
( , ) E a b , o sea, ( , ) ( , ) | ( , ) ( , ) E a b x y x y R a b = . Queda entonces tambin determinado el
conjunto cociente ( , ) | , E a b a b N
R

=

.
Definicin
Al conjunto
R

lo denominaremos conjunto de los nmeros enteros y lo
notaremos .
Por la definicin ( , ) E a b , es decir que ( , ) E a b es un nmero entero.
Si ( , ) ( , ) x y E a b decimos que ( , ) x y es un representante del nmero entero ( , ) E a b .
RELACIONES
Fundamentos de la Matemtica 2008 11
Igualdad en
Como consecuencia de la definicin de nmero entero, y por un teorema anterior,
( , ) ( , ) ( , ) ( , ) E a b E c d a b R c d = .
Representante cannico
Dado ( , ) E a b denominamos representante cannico de dicho entero al representante
que tiene por lo menos una componente nula.

(H) ( , ) E a b , (T) Existe y es nico su representante cannico.

Demostracin de la existencia:
tricotoma
< en
( ) ( , ) ( , 0)
( ) ( , ) (0, )
( , ) ( , )
0 ( , ) (0, 0)
b a a b a b R a b
a b b a a b R b a
E a b a b
a b a b a b R
' <
1
1
1
1

1
1
1
1
<

!
1
1

1
1
1
1
= =
1
1+

La unicidad queda a cargo del estudiante.

Hemos probado entonces que dado ( , ) E a b su representante cannico es de la
forma
( , 0) con ,
(0, ) con ,
(0, 0)
p p
n n
'
1

1
1
1
1

!
1
1
1
1
1+

Definicin
( , ) E a b es positivo su representante cannico es ( , 0) p
( , ) E a b es negativo su representante cannico es (0, ) p
( , ) E a b es nulo su representante cannico es (0, 0)
Definicin
( , ) | ( , ) es positivo E a b E a b

=
( , ) | ( , ) es negativo E a b E a b

=
0 (0, 0) E =
RELACIONES
Fundamentos de la Matemtica 2008 12
Ha quedado determinada una particin de en

y 0 .


Notacin simplificada
Al entero ( , 0) E a lo notaremos a ; al entero (0, ) E a lo notaremos a , y al entero
(0, 0) E lo notaremos 0.

0

RELACIONES
Fundamentos de la Matemtica 2008 13
Definicin de nmero racional
Tambin aprovecharemos la nocin de clase de equivalencia, para presentar una
definicin de nmero racional por abstraccin. Para ello, consideraremos conocido el
conjunto de los nmeros enteros ( ), sus operaciones y propiedades.

Definiremos en
*
la relacin R tal que el par ( , ) ( , ) a b R c d a d b c = .

Probaremos que es una relacin de equivalencia, verificando el cumplimiento de
las propiedades idntica, recproca y transitiva.
Idntica:
*
( , ) ,( , ) ( , ) a b a b R a b
( , ) ( , ) a b R a b a b b a = , es cierto por propiedad conmutativa de la multiplicacin en
el conjunto .
Recproca:
*
*
( , )
( , ) ( , ) ( , ) ( , )
( , )
a b
a b R c d c d R a b
c d
'
1
1
1

!
1

1
1+



Si
Def. Conm. Prop. Def.
Mult. Igualdad
( , ) ( , ) ( , ) ( , ) a b R c d a d b c d a cb cb d a c d R a b = = = .
Transitiva:
*
*
*
( , )
( , ) ,( , ) ( , ) ( , ) ( , ) ( , ) ( , )
( , )
a b
c d a b R c d c d R e f a b R e f
e f
'
1
1
1
1
1

!
1
1
1

1
1+




Def. Prop.
Mult.
Conm. Mult. y Cancel. Def.
transit. igualdad Prod. Def. Prop.
Mult.
( , ) ( , )
( , ) ( , )
( , ) ( , )
a b R c d a d b c a d f b c f
a f d b e d a f be a b R e f
c d R e f c f d e c f b d e b
' = =
1
1
1
1
1
= =
!
1 = =
1
1
1
1+

Entonces, hemos demostrado que R es una relacin de equivalencia, que determina
en
*
una particin en clases de equivalencia.
A la clase del par ( , ) a b la notaremos
a
b
1



( )
. O sea que

*
( , ) | ( , ) ( , )
a
x y x y R a b
b
1
=

( )
.
RELACIONES
Fundamentos de la Matemtica 2008 14
Definimos entonces el conjunto de los nmeros racionales (que notaremos ) de tal
manera que:
*
*
| ( , )
x
x y
R
y
' ' 1
1 1
1 1
= = ! !


1 1
( )
1 1 + +

. De acuerdo a esta definicin
x
y
1

( )
, o sea que es un racional, y ( , ) x y es un representante de la clase
x
y
1

( )
(no es el
nico).
Igualdad en los racionales.
A partir de la definicin de racionales, y teniendo en cuenta las propiedades de las
clases de equivalencia, podemos decir que: ( , ) ( , )
a c
a b R c d
b d
1 1
=


( ) ( )

Notacin simplificada
De ahora en ms, al racional
a
b
1



( )
lo notaremos de la siguiente manera:
si 0
si 0
0 si 0
a
a b
b
a a
a b
b b
a
'
1
1
1
1
1
1
1 1
1
= <
!

( ) 1
1
1
1
=
1
1
1
1+


Representante cannico
Observemos que como ( 2, 4) (3, 6) R , entonces
2 3
4 6
1 1

=


( ) ( )

, y por lo tanto
2 3
4 6
= . En general solemos representar cada racional a partir de una pareja cuyas
componentes sean primos entre s. En el ejemplo anterior, usaramos el
1
2
.
Al par ( , ) a b , siendo a y b primos entre s, y 0 b , se lo denomina representante
cannico de la clase
a
b
1



( )
. (La demostracin de la existencia y la unicidad del
representante cannico podr realizarse cuando se haya considerado el tema Divisibilidad).
RELACIONES
Fundamentos de la Matemtica 2008 15
Relacin de orden
Una relacin R en un conjunto A se llama orden amplio si y slo si R es idntica,
antisimtrica y transitiva.

R es idntica , a A aRa .
R es antisimtrica , , ( ) a A b A aRb bRa a b = .
R es transitiva ( ) , , , a A b A c A aRb bRc aRc .

En este caso se dice que el conjunto A con el orden amplio R est ampliamente
ordenado, u ordenado ampliamente, y lo notaremos ( , ) A R .
Ejercicios
(1) Sea la relacin de inclusin en ( ) P A . Esta relacin es un orden amplio en
( ) P A , prubalo. Por lo tanto ( ) ( ), P A est ampliamente ordenado.

(2) La relacin es un orden amplio en , como lo es tambin . Demustralo.
La relacin < tambin lo es? Justifica.

(3) Sea , , , , A a b c d e = . Define una relacin de orden amplio en A.
Definicin
Si A es un conjunto ampliamente ordenado por R, a A , b B , diremos que a y
b son comparables si y slo si aRb o bRa .
Observemos que en un conjunto ampliamente ordenado, pueden existir parejas de
elementos que no sean comparables. Por ejemplo, si consideramos con , , A a b c = el
conjunto ordenado ampliamente ( ) ( ), P A , vemos que

a b y

b a .
RELACIONES
Fundamentos de la Matemtica 2008 16
Definiciones
Si cada par de elementos en un conjunto ampliamente ordenado son comparables, se
dice que el conjunto es totalmente ordenado, la relacin es de orden amplio total.

Sea R una relacin de orden amplio en un conjunto A, diremos que R es una
relacin de orden amplio total en A si y slo si todo par de elementos de A son
comparables.
Observemos que en este caso dados a A y b B se verifica que aRb y bRa . Se
pueden verificar ambas a la vez?

Ejercicio. Investiga, para las relaciones definidas en los ejercicios (2) y (3), si son o
no relaciones de orden amplio total para el conjunto en que estn definidas.

Definiciones
Sea R una relacin de orden amplio definida en el conjunto A.

Diremos que q A es un elemento minimal de A si , x A x q xRq .
Diremos que t A es un elemento maximal de A si , x A x t tRx .

Diremos que a A es un elemento mnimo de A si , x A aRx .
Diremos que b A es un elemento mximo de A se , x A xRb .

Ejercicios

(1) En el conjunto 1, 2, 3, 5, 8 A = se considera la relacin de orden de
los nmeros naturales. Investigar la existencia de elementos minimales,
maximales, mnimos y mximos.

RELACIONES
Fundamentos de la Matemtica 2008 17
(2) Se define la relacin R en el conjunto , , , , , B a b c d e f = a travs del
siguiente grfico:
f
e
d
c
b
a
a b c d e f

a. Comprobar que R no es de orden.
b. Definir una nueva relacin
1
R , tal que
1
R R , agregando a R la menor
cantidad de pares posible para que
1
R sea de orden.
c. Investigar la existencia de elementos minimales, maximales, mnimos y
mximos en
1
( , ) B R .