Producto Cartesiano y Relaciones

Guillermo Ortz Rico

Departamento de Matematicas
Facultad de Ciencias Naturales y Exactas
Universidad del Valle

14 de abril de 2016

1.

Producto Cartesiano

Sean A y B conjuntos, y a A, b B. Entonces {a} A

y
{a, b} AB. As {a} y {a, b} son elementos de P(AB), de donde tenemos
que {{a}, {a, b}} es un elemento de P(P(A B)). Con lo cual tenemos que
{{a}, {a, b}} es un conjunto, afirmacion que proponemos al lector argumentar
formalmente a partir de la axiomatica presentada.
Definici
on 1.1 Dados A y B conjuntos, y a A, b B entonces definimos
el par ordenado de a y b por el conjunto
(a, b) = {{a}, {a, b}}1 ;
y el producto cartesiano de A y B por el conjunto (de nuevo invitamos al
lector a dar una argumentacion formal a partir de la axiomatica dada que
efectivamente lo es).
A B = {z P(P(A B)) : z = (a, b) a A b B}
1

Con esta definicion es posible demostrar que (a, b) = (c, d) implica que a = c y b = d,
lo cual constituye un ejercicio de esta gua.

Abreviadamente;
Ejercicios

A B = {(a, b) : a A b B}.

Demuestre que
1. A (B C) = A B A C
2. A (B C) = A B A C
3. (A B) C = (A C) (B C)
4. (A B) C = (A C) (B C)
5. A A A implica que A =

2.

Relaciones

La idea de relacion es muy general y, en el caso de relacion binaria, corresponde a aparear ciertos elementos, justo esos que estan relacionados. Estan
presentes en nuestra vida diaria, as por ejemplo cuando consideramos el color
az
ul, tenemos una relacion sobre todas los objetos (materiales), dos objetos
estan relacionados si ellos son azules. En este mismo sentido, tenemos que en
general la denotacion de un nombre origina una relacion sobre alguna clase
de objetos. Una relaci
on puede considerarse como una designacion de correspondencia entre unos elementos de un conjunto con respecto a otros de
otro conjunto. Por ejemplo la dada en el siguiente tabla;
Estudiante
Juanito
P edrito
Beatriz
M artha
Lucho

Curso
M atematicas
F isica
Artes
M atematicas
Historia

la cual muestra los cursos que estan tomando cada uno de los estudiantes
citados. Formalmente es usual definir relacion como un conjunto de pares
ordenados, considerando que el primer elemento del par esta relacionado con
el segundo bajo la relacion dada.
2

Definici
on 2.1 Una relacion (binaria) R de un conjunto A a un conjunto
B es un subconjunto del producto cartesiano A B. Si (x, y) R se escribe
xRy y se dice que x esta relacionado con y bajo R. Para cuando A = B
diremos que R es una relacion sobre A.
Vale la pena observar que algunas veces es relevante tener en cuenta
exactamente sobre que conjuntos esta definida la relacion. Ya que si no se
explcita tal situacion esto podra dar lugar a confusiones. Para cuando sea
este el caso ademas del subconjunto de pares hay que explcitar los conjuntos
A y B, ya que estos podran cambiar sin que cambie el subconjunto de pares.
Observaci
on 2.1 Sea R es una relaci
on binaria de A en B, es decir, se tiene
que R A B. Entonces si (x, y) R tenemos que (x, y) = {{x}, {x, y}} y
por tanto
x {x} {{x}, {x, y}} = (x, y) R
y {x, y} {{x}, {x, y}} = (x, y) R
Luego x, y

3.

Dominio y rango

El dominio y el recorrido (o rango) de una relacion R se definen respectivamente por

DomR = {x
RecR = {y

R : y

R : x

R (x, y) R}

R (x, y) R}

Ademas llamaremos Campo de R a la union de el dominio y el recorrido.

Preguntemos si DomR y RecR son conjuntos? La respuesta naturalmente
debe ser que si. Pero, Que axiomas sustentan tal afirmacion?
3

4.

Inversa
Dada una relacion R definimos la relacion inversa de R por
R1 = {(x, y) RecR DomS : (y, x) R}

Preguntemos ahora R1 es un conjunto? La respuesta naturalmente debe

ser que si. Pero, Como sustenta tal afirmacion?

5.

Composici
on
Dadas dos relaciones R y S definimos la composicion de S con R por
R S = {(x, y) DomS RecR : z(x, z) S (z, y) R}

Preguntemos ahora RS es un conjunto? La respuesta naturalmente debe

ser que si. Como sustenta tal afirmacion?

6.

Imagen

Dadas una relacion R y un conjunto A se define la imagen de A a traves

de R por
R[A] = {y RecR : x A (x, y) R}
Preguntemos ahora R[A] es un conjunto? La respuesta es si. Como sustenta?

7.

Imagen Inversa

Dadas una relacion R y un conjunto B se define la imagen inversa de A

a traves de R por
R1 [B] = {x DomR : y B (x, y) R}
Preguntemos ahora R1 [B] es un conjunto? La respuesta es si. Como
sustenta?
4

Observaci
on 7.1 Las propiedades basicas de los conceptos basicos de relaciones antes presentados seran propuestas como ejercicios en la parte final
de este captulo.

8.

Relaciones de orden y de equivalencia

La presentacion de relaciones nos permite formalizar ideas intuitivas, como por ejemplo de predecesor de y sucesor de, as como la idea natural de
fragmentar un conjunto de objetos (materiales, es decir aquellos que conocemos a traves de los sentidos, y/o abstractos, es decir los creados por nuestro
intelecto) en clases que cumplen propiedades comunes.
Definici
on 8.1 Una relacion R en un conjunto A se denomina reflexiva si
para todo x A entonces (x, x) R.
Es decir, una relacion R sobre un conjunto A es reflexiva si cada elemento
x A esta relacionado consigo mismo.
Ejemplo
Para
A = {1, 2, 3, 4},
una relacion R sobre A sera reflexiva si
{(1, 1), (2, 2), (3, 3), (4, 4)} R. Por tanto, R1 = {(1, 1), (2, 2), (3, 3)} no es
una relacion reflexiva en A, mientras que R2 = {(1, 1), (2, 2), (3, 3), (4, 4),
(1, 3), (2, 3), (3, 4)} si lo es.
Definici
on 8.2 Una relacion R en un conjunto A se denomina sim
etrica
si para todos x, y A entonces (x, y) R implica que (y, x) R.
Ejemplo
Para A = {1, 2, 3}, se tiene que:
R1 = {(1, 2), (2, 1), (1, 3), (3, 1)} es una relacion simetrica, pero no reflexiva en A.
R2 = {(1, 1), (2, 2), (3, 3), (3, 1)} es una relacion reflexiva, pero no simetrica en A.
R3 = {(1, 1), (2, 2), (3, 3)} y R4 = {(1, 1), (2, 2), (3, 3), (2, 3), (3, 2)} son
relaciones en A reflexivas y simetricas.
5

Definici
on 8.3 Una relaci
on R en un conjunto A se denomina transitiva
si para todos x, y, z A entonces (x, y), (y, z) R implica que (x, z) R.
Ejemplo
Para A = {1, 2, 3, 4}, se tiene que R1 = {(1, 1), (2, 3), (3, 4), (2, 4)} es una
relacion transitiva en A, mientras que R2 = {(1, 1), (2, 2), (1, 3), (3, 2)} no lo
es, pues (1, 2)
/ R2 .
Definici
on 8.4 Una relaci
on R en un conjunto A se denomina antisim
etrica si para todos x, y A entonces (x, y), (y, x) R implica que x = y R.
Ejemplo
Para A = {1, 2, 3}, la relacion R = {(1, 2), (2, 1), (2, 3)} no es una relacion
simetrica porque (2, 3)
/ R, y tampoco es antisimetrica, pues (1, 2), (2, 1)
R, pero 1 = 2. La relacion R1 = {(1, 1), (2, 2)} es simetrica y antisimetrica.
Definici
on 8.5 Una relaci
on R en un conjunto A se denomina un orden
parcial o relacion de orden parcial si R es reflexiva, antisimetrica y transitiva. Cuando la relacion es reflexiva en un conjunto A, simetrica y transitiva
diremos que es una relaci
on de equivalencia R en un conjunto A.
En lneas generales una relacion de equivalencia en un conjunto A generaliza la igualdad; origina una caracterstica de identidad entre los elementos
de A. Entonces, este concepto de identidad causa la descomposicion del
conjunto A en subconjuntos llamados clases de equivalencia. A la inversa,
se encuentra que una particion de un conjunto A origina una relacion de
equivalencia en A. Es oportuno se
nalar que la particion de conjuntos es un
concepto reiterativo en el que hacer matematico.
Aunque la relacion de equivalencia se diferencia del orden parcial en una
sola propiedad, es bastante distinta en estructura y aplicacion. As la igualdad
de ciertos aspectos de los elementos de un conjunto naturalmente particiona
el conjunto en clases de objetos los cuales son iguales estos aspectos. As por
ejemplo, la relacion tener el mismo color de ojos divide (particiona) la raza
humana en las clases de la gente de ojos azules, la de ojos cafes, la de ojos
verdes, la de ojos grises, las de ojos negros, etc. Esta caracterstica es propia
de cualquier relacion de equivalencia.
6

Si es una relacion de equivalencia sobre un conjunto A y a es un elemento de A, llamaremos la clase de equivalencia de a al conjunto de todos
los elementos de A que estan relacionados con a por la relacion . Usaremos
la notacion estandar [a] = {x A : a x}.
Lema 8.6 Si es una relacion de equivalencia sobre un conjunto A, a, b A
y [a] = [b] entonces [a] [b] = .
Demostraci
on
Si suponemos que existe x [a] [b] entonces x a y x b. Para todo
y [a], y a. Pero por simetra a x, as por transitividad y x, y por
tanto y b. Entonces y [b], con lo cual [a] [b]. Con el mismo argumento
[b] [a], por tanto [a] = [b], contradiciendo la hipotesis [a] = [b] 
Este lema nos asegura que las clases de equivalencia distintas son siempre
disjuntas.
Definici
on 8.7 Una partici
on de un conjunto A es un conjunto de subconjuntos
{Ai = : Ai A i I} (I un conjunto de indices) tales que

iI Ai = A y Ai Aj = para i = j.
Teorema 8.8 Una relacion sobre un conjunto A = particiona A en sus
clases de equivalencia. Conversamente, toda partici
on sobre A da lugar a una
u
nica relacion de equivalencia, cuyas clases de equivalencia son justamente
los subconjuntos de la particion.
Demostraci
on
La union de las clases de equivalencia es claramente un subconjunto de A,
ya que cada clase de equivalencia es a su vez un subconjunto de A. Ademas
si a A entonces a a por reflexividad, as a [a] y por tanto A es
igual a la union de las clases de equivalencia. Por el lema anterior estas
clases de equivalencia son disjuntas, luego el conjunto de las distintas clases
de equivalencia forma una particion de A. Conversamente supongamos que
{Ai = : Ai A i I} es una particion de A. Sea = {(a,
b) : a y b
pertenecen al mismo subconjunto Ai }. Si a A entonces a iI Ai = A,
as a AAi para alg
un i I. Por lo tanto a a y la relacion es reflexiva.
Si a y b estan en Ai , entonces b y a estan en Ai , luego la relacion es simetrica. Si a b y b c entonces a, b Ai para alg
un i I y b, c Aj para
alg
un j I. Por tanto b Ai Aj , el cual es vaco si i = j. Con lo cual
7

i = j y a, c Ai . Obteniendose como conclusion que a c, es decir que la

relacion es transitiva. Luego la relacion es una relacion de equivalencia 

9.

EJERCICIOS

1. Hallar todas las relaciones en el conjunto {a}.

2. Defina seis relaciones distintas en el conjunto {a, b}.
3. Cuantas relaciones distintas hay en un conjunto de un elemento? y en
un conjunto de dos elementos? y en uno de tres elementos? En general,
si n es un entero positivo, cuantas relaciones hay en un conjunto con
n elementos?
4. Muestre que para toda relacion R y todo conjunto B se cumple que la
imagen inversa de B bajo R es igual a la imagen de B bajo R1 .
5. Muestre que si R,
R (S T ).

T son relaciones entonces (R S) T =

6. Muestre que si R y S son relaciones entonces:

a) R S es una relacion.
b) Dom(R S) DomR DomS, y que en general la igualdad no
se cumple.
c) (R S)1 = S 1 R1
7. Demostrar o refutar que si R y S son relaciones entonces:
a) Rec(R S) = RecR RecS
b) Rec(R S) = RecR RecS
c) Dom(R r S) = DomR r DomS
d ) (R r S)1 = R1 r S 1
8. Muestre que si R es una relacion y A; B conjuntos, entonces:
a) R[A B] = R[A] R[B]
8

b) R[A B] R[A] R[B]

c) R[A] r R[B] R[A r B], y que en general la igualdad no se
cumple.
9. Demostrar o refutar; si R y S son relaciones y A es un conjunto, entonces:
a) R S[A] = R[A] S[A]
b) R S[A] = R[A] S[A]
c) R r S[A] = R[A] r S[A]
10. Mostrar o refutar:
dom(R S) = dom(R) dom(S)
dom(R S) = dom(R) dom(S)
dom(R S) = dom(R) dom(S)
11. Sean R = {(a, b), (b, c)} y S = {(b, b), (c, b)}. Entonces calcular:
R1 , S 1 , S R, R S, R R, S S, y R1 .
12. Mostrar que (R1 )1 = R
13. Mostrar que para todos R es una relacion y A, B conjuntos se cumple
que:
a) R1 [A B] R1 [A] R1 [B]
b) R1 [A r B] R1 [A] r R1 [B]
c) A R1 [R[A]]
d ) B R[R1 [B]]
14. Sean R = {(a, b), (b, c)} y S = {(b, b), (c, b)}. Calcular las siguientes
composiciones: R S, R S 1 , S R y S R1 .
15. Sea R = {(a, b), (a, c), (c, b)}. Calcular las siguientes composiciones:
R R, R R1 , R1 R y R1 R1 .
16. Hallar dos relaciones distintas R y
9

S tales que R S = S R.

17. Suponga que R y S son relaciones tales que S 1 R1 = {(a, c), (a, e), (b, b)}.
Que relacion es R S ? Por que?
18. Determine cuales de las siguientes relaciones son reflexivas, simetricas,
antisimetricas o transitivas:
a) Ser amigo desobre el conjunto de todos los colombianos.
b) Ser del mismo pesosobre un conjunto de personas.
c) Ser hermano desobre el conjunto de todas las personas.
d ) (x, y) R s x2 + y 2 = 1 y x e y son n
umeros reales.
e) Tienen el mismo tipo de sangresobre el conjunto de todas las
personas.
19. Muestre que las siguientes relaciones son de equivalencia.
a) Considere la relacion definida sobre el conjunto de todos los
seres humanos, definida por a b si a y b nacieron el mismo da
del a
no (posiblemente en a
nos diferentes).
b) La relacion de congruencia definida sobre todos los triangulos.
c) La relacion sobre los n
umeros enteros a b si y solo si a b es un
m
ultiplo de 3.
20. Defina todas las relaciones de equivalencia en
a) {a, b}
b) {a, b, c}
21. Hallar un conjunto A y una relacion R en A que sea reflexiva en A y
simetrica, pero no transitiva.
22. Muestre que si A es un conjunto con menos de tres elementos, entonces
toda relacion en A que sea reflexiva en A y simetrica es tambien transitiva.
23. Determinar si la coleccion P dada es una particion del conjunto A en
mencion:
P = {{1}, {2, 3}, {4}} y A = {1, 2, 3, 4}.
10

P = {P, I} donde P indica los n

umeros pares e I los impares;
mientras que A es el conjunto de los n
umeros naturales.
P = {Aa , Ab , Ac , . . . , Ay , Az } donde Aa es el conjunto de las palabras castellanas que empiezan por la letra a, Ab el de las que
empiezan por la letra b, etc. Siendo A el conjunto de todas las
palabras castellanas.
P = {{a} : a A} y A un conjunto cualquiera.
P = {A} y A un conjunto cualquiera.
24. Describa la relacion de equivalencia en el conjunto A = {1, 2, 3, 4, 5}
determinada por la particion P = {{1, 3}, {2, 4}, {5}}.
25. Dar un ejemplo de una particion no trivial que tenga infinitos elementos.
26. Describa todas las particiones asociadas a cada una de las relaciones
de equivalencia del ejercicio 24.

11