 Definición

 Dominio

 Rango

 Propiedades

https://www.youtube.com/watch?v=slilWRjF2iU
Aplicación en la vida cotidiana
 Llamamos par ordenado simbolizado por (a,b) formado por los elementos
donde a como primera componente y b como segunda componente en ese
orden tal que cumple la siguiente restricción: (a,b)≠(b,a)↔a≠b

Dados dos conjuntos A y B, llamamos producto cartesiano A×B al

conjunto de pares ordenados (a,b) tal que a∈A y b∈B, esto es:
A×B={(a,b)|a∈A∧ b ∈ B}
o en la forma proposicional:
(a,b)∈A×B VER MAS
 1) 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
B
(1,5) (2,5) (3,5) (4,5) (5,5)
5
(1,4) (2,4) (3,4) (4,4) (5,4)
4
(1,3) (2,3) (3,3) (4,3) (5,3)
3 R

1 2 3 4 5 A
En Gráfico cartesiano
2) 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 = x2 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) }

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

Dm S = { 4, 6, 16 } Im R = { 2, 3, 8 }
 Propiedades de las Relaciones
Cuando decimos que una Relación R está definida en A2 , 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 :
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
 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
•a •b
se relacionan, tiene(n) par(es) simétrico(s) que
también pertenece(n) a la relación, pero otro(s) no
•c
x y  A / (x, y)  R  (y, x)  R
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
 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
•a •b x,y,z A : (x,y)  R  (y,z)  R  (x,z)  R
•c

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
 Clasificación de las Relaciones
Si R es una relación es reflexiva, simétrica y transitiva

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

Es Relación de Orden amplio

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

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
Es Relación de Orden total entre sí al menos de una forma
 1) 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
mismo, vemos que el par ordenado (-3, -3)  R
entonces x  A / (x, x)  R la relación es No Reflexiva
En el diagrama de Venn se aprecia que hay elementos que se relacionan entre sí
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.
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
No es Relación de Equivalencia
2) 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
2 x: x  A  (x, x)  R la relación es Reflexiva
1
En el diagrama de Venn se aprecia que hay elementos que se
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
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
 3) (a,b)  R1  el libro a cuesta mas y tiene menos hojas que el libro b.

Asumimos que A es un conjunto de libros Libro 1 $ 30 60 hojas

que en precio y cantidad de hojas es tan Libro 2 $ 15 120 hojas
amplio como sea posible Libro 3 $ 45 50 hojas
Por ejemplo . . .
Libro 4 $ 7 80 hojas
R1 = { (1, 2); (1,4); (1,5); (3,1);
Libro 5 $ 12 70 hojas
(3,2); (3,4); (3,5); (5,4) }
Esta relación no tiene pares reflexivos, porque ningún libro cuesta mas que lo
que él mismo cuesta ni tiene menos hojas que las que tiene. Es Arreflexiva

La relación no tiene pares simétricos, porque si el libro 1 cuesta mas y tiene

menos hojas que el libro 2, no puede suceder que el libro 2 cueste mas y tenga
menos hojas que el libro 1.Si (1,2)  R  (2, 1)  R. Es Asimétrica

Por ejemplo . . . (1, 5)  R  (5,4)  R  (1,4)  R y en general, si un libro a cuesta

mas y tiene menos hojas que b
( a, b )  R  ( b, c )  R  ( a, c )  R (a, b)  R

entonces necesariamente el libro a y el libro b cuesta mas y tiene menos

cuesta mas y tiene menos hojas que hojas que el libro c (b, c)  R
el libro c (a, c)  R
Es transitiva
Es Relación de Orden Estricto
 4) Sea R una relación binaria sobre el conjunto de todos los enteros
positivos , tal que : R = {(a, b) / a - b es un entero positivo impar}.
La relación R está conformada por pares ordenados de números
enteros positivos (naturales) tal que la diferencia entre ellos sea
un entero positivo impar
En primer lugar corresponde descartar los pares ordenados que estén
conformados por el mismo elemento , por ejemplo (2, 2); (3, 3); (4, 4)
En cualquiera de esos casos x – x = 0 y 0 NO es entero positivo impar
x: x  A  (x, x)  R luego, la relación es Arreflexiva
Si tomo dos números enteros positivos, puedo efectuar x – y con resultado
positivo, solamente si x > y, en ese caso, al efectuar b – a el resultado será negativo
x y  A : (x, y)  R  (y, x)  R luego, la relación es Asimétrica
Supongamos tres enteros positivos x, y, z; de manera que x > y > z y – z entero
positivo
Si x es par e y es impar x – y será entro positivo impar, si z es par
impar
x – z será entero positivo par (x,y)  R  (y,z)  R pero (x,z)  R y – z entero
Si x es impar e y es par x – y será entro positivo impar, si z es impar positivo
impar
x – z entero (x,y)  R  (y,z)  R pero (x,z)  R
positivo par
luego, la relación es Atransitiva