Producto Cartesiano

El producto cartesiano A x B se forma con todos los pares

ordenados posibles conformados por elementos del conjunto A en
el primer lugar del par ordenado y elementos del conjunto B en el
segundo lugar del par ordenado
A B
Dado un conjunto A = { a, b } •a •1
y un conjunto B = { 1, 2 }
•b •2

A x B = { (a, 1), (a, 2), (b, 1),(b, 2) }

También podemos representar el producto cartesiano en un par de ejes coordenados
B En el eje de abscisas (x) el conjunto A
A x B
2 En el eje de ordenadas (y) el conjunto B
(a, 2) (b, 2) y los pares ordenados en las intersecciones de
1 las perpendiculares a cada uno de los ejes, que
(a, 1) (b, 1) pasan por los elementos involucrados
a b
A
 1) Si A = { 1, 2 } P(A) = { ; {1}; {2}; {1,2} }

Recuerda que cada uno de los subconjuntos posibles formados con los
elementos del conjunto A, es un elemento de P(A)
P(A) xA = { (,1); (,2); ({1},1); ({1},2); ({2},1); ({2},2); ({1,2},1); ({1,2},2) }

observa que en cada par ordenado, el 1er elemento  P(A) y el 2do elemento  A
1 2
2) a) Si A={a} B={2} C = { a, b } D = { 1, 2 }

C D
A C x D = { (a,1); (a,2); (b,1); (b,2) }
•a •1
ubicamos ahora A  C y B  D
B
•b •2 A x B = { (a,2) }

en ejes cartesianos el único par ordenado de AxB; (a,2)  CxD

D A x B
entonces A x B  C x D
C x D
2
(a, 2) (b, 2)
1
(a, 1) (b, 1)

a b C
2 b) Si A x B  C x D ¿se sigue de esto necesariamente que A  C y B  D ?.
Explique.

Si a  A  (a, b)  A x B, b  B

si el elemento a pertenece al conjunto entonces el par ordenado (a, b) pertenece

A producto cartesiano A x B para todo elemento b que pertenece al conjunto B
al
Si a es elemento del conjunto A, entonces el elemento a con
cualquier otro elemento del conjunto B forma un par ordenado del
producto cartesiano A x B

Por la consigna del ejercicio A x B  C x D , entonces . . .

si (a, b)  A x B entonces (a, b)  C x D luego a  C, luego AC

Análogamente puede hallarse que B  D

si b  B  (a, b)  A x B, a  A
por la consigna del ejercicio A x B  C x D , entonces . . .
si (a, b)  A x B entonces (a, b)  C x D luego b  D, luego BD
Relaciones Binarias
Dado un producto cartesiano A x B, diremos que R es una relación binaria de
A en B, si y solo si, R es un subconjunto de AxB . Es decir,

existe una relación R  A x B  (x,y)  R : x  A  Y  B

incluida en el producto cartesiano A xB si y solo si para todo par ordenado (x, y)
que pertenece a la relación R se verifica que el elemento x pertenece al conjunto A
y que el elemento y pertenece al conjunto B
A B
•1 •2 Sean A = { 1, 2 } y B = { 2, 3 }
En A x B = { (1, 2); (1, 3); (2, 2); (2, 3) }
•2 •3
Definimos R  A x B : (x,y)  R  y =
2x
De analizar los pares ordenados que conforman A x B resulta que algunos pueden
verificar (otros no) o puede suceder que todos verifiquen e incluso también puede
suceder que ningún par ordenado verifique la condición
Analizamos
en el par (1, 2) x=1 y=2 2=21 entonces (1, 2)  R
en el par (1, 3) x=1 y=3 Y=2x
321 entonces (1, 3)  R
en el par (2, 2) x = 2 y = 2 222 entonces (2, 2)  R
en el par (2, 3) x = 2 y = 3 322 entonces (2, 3)  R

R = { (1, 2) }
El dominio de la relación R es un conjunto formado por todos los
elementos del primer conjunto (A), que intervienen en la relación
La imagen de la relación R es un conjunto formado por todos los
elementos del segundo conjunto (B) que intervienen en la relación
La gráfica de la relación R se define como:
Graf(R)={(x,y)/y=R(x)}

Por Ejemplo. S = { (y,z)  B x C / z = y/2 }

El dominio de la relación S es un conjunto formado por todos los elementos del primer
conjunto (A), que intervienen en la relación

La imagen de la relación R es un conjunto S C

B
formado por todos los elementos del segundo 2
1
conjunto (B) que intervienen en la relación
4 3
6  10
Dm S = { 4, 6, 16 } 8
 16
Im S = { 2, 3, 8 }
 Relación definida en un conjunto
• Cuando los conjuntos de partida y de llegada de una
relación R son el mismo conjunto A, decimos que R
es una relación definida en A, o, simplemente, una
relación en A.

• Una relación R en A es entonces un subconjunto de

A2 = A x A

• Una relación R en R es entonces un subconjunto de

R 2 = R x R.
 Por ejemplo:

A B
Sean A = { 1, 2 } y B = { 2, 3 }
•1 •2
En A x B = { (1, 2); (1, 3); (2, 2); (2, 3) }
•2 •3 Definimos R  A x B : (x,y)  R  y =
2x

De analizar los pares ordenados que conforman A x B resulta que algunos pueden
verificar (otros no) o puede suceder que todos verifiquen e incluso también puede
suceder que ningún par ordenado verifique la condición

Analizamos
en el par (1, 2) x=1 y=2 2=21 entonces (1, 2)  R
en el par (1, 3) x=1 y=3 Y=2x
321 entonces (1, 3)  R
en el par (2, 2) x = 2 y = 2 222 entonces (2, 2)  R
en el par (2, 3) x = 2 y = 3 322 entonces (2, 3)  R

R = { (1, 2) }
La relación antes vista R = { (1, 2) } definida por comprensión será:
R = { (x, y) / x  A  y  B  y = 2x }

Observe que la definición por comprensión considera:

los elementos que componen la relación pares ordenados (x, y)
a qué conjunto pertenecen cada uno de los elementos x  A; y  B
cómo se vinculan los elementos de cada par ordenado y = 2x

La relación se representa en ejes cartesianos, en diagrama de Venn y en tablas

R  A x B A R B
B B
A 2 3
(1, 3) (2, 3)
A x B •2
3 •1
1 x -
(1, 2) (2, 2)
2 •2 •3
2 - -

1 2 A
Ejes cartesianos Diagramas de Venn Tabla de R
Relación inversa
Dada la relación R se define la relación
inversa de R y se denota por R-1 como el
conjunto conforma por todos los pares
ordenados de R, pero cambiando el orden de
los elementos en cada par. Es decir, Si (x,y)
 R entonces (y,x) R-1 .
Dom R-1 =Rang R
Rang R-1 = Dom R
 3) Si A = { x  N / 1  x  5 }
por extensión A = {1, 2, 3, 4, 5 }
B = { 3, 4, 5 }
A R B
Se define R  A x B mediante
(x,y)  R  x + y  5. •1 •3
•2
1+3=45  (1, 3)  R 4+3=75  (4, 3)  R •4
1+4=5=5  (1, 4)  R 4+4=85  (4, 4)  R • 3
1+5=65  (1, 5)  R 4+5=95  (4, 5)  R •4 •5
2+3=5=5  (2, 3)  R 5+3=85  (5, 3)  R •5
2+4=65  (2, 4)  R 5+4=95  (5, 4)  R
2+5=75  (2, 4)  R 5 + 5 = 10  5  (5, 5)  R en Diagrama de Venn
3+3=65  (3, 3)  R
3+4=75  (3, 4)  R R = { (1, 3), (1, 4), (2, 3) }
3+5=85  (3, 5)  R
A x B R-1 se conforma con los pares
B ordenados de R, pero cambiando
(1,5) (2,5) (3,5) (4,5) (5,5)
5 el orden de los elementos en
cada par Si
(1,4) (2,4) (3,4) (4,4) (5,4) (x,y)  R entonces (y,x) R-1
4
(1,3) (2,3) (3,3) (4,3) (5,3) R-1 = { (3, 1); (4, 1); (3, 2) }
3 R
R-1 = { (y, x)  BxA  y + x  5 }

1 2 3 4 5 A
En Gráfico cartesiano
 Composición de Relaciones
A R B
Sean los conjuntos A; B y C S C

Y entre ellos se establecen z

relaciones a w
R: A  B y S: B  C
Definimos la composición de R y S, que se escribe S  R como una relación que va de A en C
Tal que (S  R)(a)=S(R(a)). Es decir,

(a, w)  S  R  (a, z)  R y (z, w)  S

Dom(S  R )={a A/R(a) Dom(S)}

Obs. En general (S  R ) ≠ (R  S )
 Por ejemplo
A R B
Sean los conjuntos A; B y C S C
a 1 v
Y entre ellos se establecen w
relaciones b 2
R: A  B y S: B  C

Definimos la composición de R y S,
que se escribe S  R Como una relación que va de A en C

(a, w)  S  R  (a, 2)  R y (2, w)  S S  R = { (a, w) }

Puede suceder: SR

A B S C
R
a 1 v
Entonces:
w
b 2

S  R = { (b, w); (b, v) }

4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 } C = {2 ;3 ;8 ;10}
y la relación R  A x B ; S  B x C, definidas por :
A x B = { (1,1); (1,4); (1,6); (1,16); (2,1); (2,4); (2,6); (2,16); (3,1); (3,4);
(3,6); (3,16); (4,1); (4,4); (4,6); (4,16); (5,1); (5,4); (5,6); (5,16) }

de analizar cuales son los pares ordenados que verifican la condición y = x 2 surge que

(x,y)  R  y = x2 ; R  A x B R = { (1,1); (2,4); (4,16) }

C
B
2
A B 4
1 1
1 3
6  10
2 6
3 4 8
4 16

5  16
B x C = { (1,2); (1,3); (1,8); (1,10); (4,2); (4,3); (4,8); (4,10);
(6,2); (6,3); (6,8); (6,10); (16,2); (16,3); (16,8); (16,10) }
analizando los pares ordenados que verifican la condición z = y / 2 surge que

(y,z)  S  z = y/2 ; S  B x C S = { (4,2); (6,3); (16,8) }

Si R = { (x,y)  A x B / y = x2 } El dominio de la relación R es
un conjunto formado por todos
los elementos del primer
A R conjunto (A), que intervienen
1
B
en la relación
1
2 La imagen de la relación R es un
3 4
4 6 conjunto formado por todos los
elementos del segundo conjunto
5  16 (B) que intervienen en la relación

Dm R = { 1, 2, 4 } Im R = { 1, 4, 16 }
El dominio de la relación S es un
conjunto formado por todos los S = { (y,z)  B x C / z = y/2 }
elementos del primer conjunto (A),
que intervienen en la relación S C
B
1 2
La imagen de la relación R es un
4 3
conjunto formado por todos los
6  10
elementos del segundo conjunto 8
(B) que intervienen en la relación  16

Dm S = { 4, 6, 16 } Im R = { 2, 3, 8 }
 S o R es la composición de dos relaciones
Sean R: A  B y S: B  C S o R = S[R]
A R B B S C
1 1 1 4 2
3 2 4 6 3
5 4 6  16
 16  8  10

Que se lee S cerito R ó “R compuesta con S” Se conforma con los

elementos de A y de C
De manera que (x,z)  S o R  (x,y)  R  (y,z)  S

(1, 1)  R pero 1  B no se relaciona con ningún elemento de C

(2,4)  R y (4,2)  S entonces (2,2)  S o R S o R = (2,2); (4,8)}
3  A no se relaciona con ningún elemento de B {Dm S o R = { 2, 4 }
(4,16)  R y (16,8)  S entonces (4,8)  S o R
5  A no se relaciona con ningún elemento de B Im S o R = { 2, 8 }

A R B S C
1 1 2

3 2 4  3  10
6 8
5 4
 16
 Propiedades de las Relaciones
Cuando decimos que una Relación R está definida en A 2 , decimos que :
Los pares ordenados (x, y) de la relación están conformados por
elementos x  A y elementos y  A
si consideramos los elementos de A relacionándose consigo mismo, (o no)
puede suceder que : 5 6 7 8 9 11
Cada elemento del Si algún(os) elemento(s) de
conjunto A se relaciona A se relaciona(n) consigo Si ningún elemento de A se
consigo mismo mismo. relaciona consigo mismo
A A A
•a
•b •a •b •a •b

Es Reflexiva Es No reflexiva Es Arreflexiva

x : x  A  (x, x)  R  x / x  A  (x, x)  R x : x A  (x, x)  R
para todo elemento x se verifica que existe(n) xtal que para todo elemento x se verifica que
si x pertenece al conjunto A x pertenece al conjunto A si x pertenece al conjunto A
entonces y el par ordenado (x, x) no entonces el par ordenado (x, x) no
el par ordenado (x, x) pertenece a la Relación R pertenece a la Relación R
pertenece a la
Relación R
5-6 7-8-9 11
 Es Simética A
Si para cada par de elementos de A, (x,y)
que se relacionan, el par simétrico •a •b
también pertenece a la relación
x y  A : (x, y)  R  (y, x)  R •c

Es No simétrica A
Si algún(os) par(es) de elementos de A, (x,y) que 5 6
•a •b
se relacionan, tiene(n) par(es) simétrico(s) que
también pertenece(n) a la relación, pero otro(s) no 7 8
•c
x y  A / (x, y)  R  (y, x)  R 9 11
A
Es Asimétrica
Si ningún par de elementos de A, (x,y) que se •a •b
relacionan, tiene par simétrico que también
pertenece a la relación •c
x y  A : (x, y)  R  (y, x)  R
A
Es Antisimétrica
Si en cada par de elementos de A, •a •b
(x,y) que admite simétrico,
sucede que x = y •c
x y  A : (x, y)  R  (y, x)  R  x = y
5-6 7-8-9 11
 Si para todos los elementos x, y, z que verifican que (x,y)  R y (y,z)  R
entonces el par ordenado (x, z)  R
A
Es transitiva
•x •y x,y,z A : (x,y)  R  (y,z)  R  (x,z)  R
•z
5 6 7 8 9 11

Si algunos de los elementos x, y, z verifican que (x,y)  R y

A
(y,z)  R pero el par ordenado (x, z)  R (otros no)
•d •a •b
Es No transitiva
•c x y z  A / (x,y)  R  (y,z)  R  (x,z)  R

Si todos los elementos x, y, z verifican que si (x,y)  R y A

. (y,z)  R entonces el par ordenado (x, z)  R
•d •a •b
Es Atransitiva
•c
x  y z  A : (x,y)  R  (y,z)  R  (x,z)  R

5-6 7-8-9 11
 Clasificación de las Relaciones
1) Si R es una relación es reflexiva, simétrica y transitiva

Es Relación de Equivalencia
2) Si R es una relación es reflexiva, antisimétrica y transitiva

Es Relación de Orden amplio 5 6 7 8 9 11

3) Si R es una relación es arreflexiva, asimétrica y transitiva

dicho de otra manera, hay pares
Es Relación de Orden estricto ordenados de elementos que no
se relacionan entre sí de
ninguna forma
4) Si R es una relación de Orden (amplio o estricto) donde . . .
a, b / (a, b)  R  (b, a)  R
Es Relación de Orden parcial en caso contrario ...

5) Si R es una relación de Orden (amplio o estricto) donde . . .

a  b  (a, b)  R  (b, a)  R dicho de otra manera, todos los elementos
diferentes se relacionan entre sí al menos de
una forma
Es Relación de Orden total

5-6 7-8-9 11
 5 a) si R = { ( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1) } en A = { -3, -2, -1, 0 }
Para clasificar la relación, la representamos en diagrama de Venn
A
En el diagrama de Venn y en la definición por
-3 0 extensión se aprecia que hay elementos que se
relacionan consigo mismo
-2 Pero otros elementos como el –3 no se relacionan consigo
-1 Reflexiva
mismo, vemos que el par ordenado (-3, -3)  R
entonces x  A / (x, x)  R la relación es No Reflexiva Simétrica

En el diagrama de Venn se aprecia que hay elementos que se relacionan entre sí Transitiva
en un solo sentido, por ejemplo: (-1, -3)  R pero (-3,-1)  R ; pero también hay
pares ordenados que tienen simétrico, como: (-1,-1)  R y (0, 0)  R. Clasificación

Escribir x, y A / (x, y)  R  (y, x)  R la relación es No simétrica

Pero vemos también que los pares ordenados que admiten simétrico, son pares
ordenados donde el primer elemento es igual que el segundo
Entonces se aplica que en cada par de elementos
de R que admiten simétrico, x = y Es antisimétrica
( -1, -1 )  R  ( -1, -3 )  R  ( -1, -3 )  R
Es transitiva
( -2, 0 )  R  ( 0, 0 )  R  ( -2, 0 )  R
( -1, -1 )  R  ( -1, -1 )  R  ( -1, -1 )  R
( 0, 0 )  R  ( 0, 0 )  R  ( 0, 0 )  R
5 b
No es Relación de Equivalencia
5 b) S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en B = { x  N0 / x  3 }

Para clasificar la relación, la representamos en diagrama de Venn

A En el diagrama de Venn y en la definición por
3 0 extensión se aprecia que todos los elementos del
conjunto A se relacionan consigo mismo
Reflexiva
2 x: x  A  (x, x)  R la relación es Reflexiva
1 Simétrica
En el diagrama de Venn se aprecia que hay elementos que se
Transitiva
relacionan entre sí en un solo sentido, por ejemplo: (3, 2)  R ;
Podemos
pero (2, 3)  R pero también hay pares ordenados que tienen Clasificación
escribir
simétrico, como: (1, 1)  R y (0, 0)  R.
x, y A / (x, y)  R  (y, x)  R la relación es No simétrica

Pero vemos también que los pares ordenados que admiten simétrico, son pares
ordenados donde el primer elemento es igual que el segundo
Entonces se aplica que en cada par de elementos
de R que admiten simétrico, x = y Es antisimétrica

( 3, 3 )  R  ( 3, 2 )  R  ( 3, 2 )  R pero . . .

( 3, 2 )  R  ( 2, 1 )  R  ( 3, 1 )  R Es No transitiva

No es Relación de Equivalencia