 Definición

 Dominio

 Rango

 Clases

https://www.youtube.com/watch?v=slilWRjF2iU
Aplicación en la vida cotidiana
 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
queCada
: elemento del Si algún(os) elemento(s)
conjunto A se relaciona de A se relaciona(n) Si ningún elemento de A
consigo mismo consigo mismo. se relaciona consigo
A A A mismo
•a
•b •a •b •a •b

Es Es No Es Arreflexiva
Reflexiva reflexiva
x : x  A  (x, x)  R  x / x  A  (x, x)  R x : x A  (x, x)  R
para todo elemento se verifica existe(n) xtal para todo elemento se verifica que
x si x pertenece al conjunto
que A x pertenecequeal conjunto x x pertenece al conjunto
si
entonces A
y el par ordenado (x, x) Aentonces el par ordenado (x, x) no
el par ordenado (x, no pertenece a la pertenece a la Relación
x) pertenece a la Relación R R
Relación R
 Es Simética A
Si para cada par de elementos de A,
(x,y) que se relacionan, el par •a •b
simétrico 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)
•a •b
que se relacionan, tiene(n) par(es)
simétrico(s) que también pertenece(n) a la
•c
x yrelación,
 A / (x,pero
y) otro(s)
R  (y,nox)  R
A
Es Asimétrica
Si ningún par de elementos de A, (x,y) que •a •b
se 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 •b
A, (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

A y (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
 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
A Venn
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
-1
consigo mismo, vemos que el par ordenado (-3, -3) 
entonces x  A / (x, x)  R la
R 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
A Venn
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
1 Reflexiva
En el diagrama de Venn se aprecia que hay elementos que
se relacionan entre sí en un solo sentido, por ejemplo: (3, 2)
Podemos
 R ; pero (2, 3)  R pero también hay pares ordenados que
escribir
tienen 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 Libro 1 $ 30 60 hojas
libros que en precio y cantidad de hojas Libro 2 $ 15 120 hojas
es tan amplio como sea posible Libro 3 $ 45 50 hojas
Por ejemplo . .
Libro 4 $ 7 80 hojas
. R1 = { (1, 2); (1,4); (1,5);
Libro 5 $ 12 70 hojas
(3,1);(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
Si (1,2) R el(2,
libro
1) 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
( a, b )  R  ( b, c )  R  ( a, c )  R hojas que b (a, b)  R

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

a cuesta mas y tiene menos hojas menos hojas que el libro c (b, c)
que el libro c (a, c)  R 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
, por ejemplo (2, 2); (3, 3); (4,
estén conformados por el mismo elemento
En cualquiera de esos casos x – x 4) = 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
, en ese > y al efectuar b – a el resultado será
caso,
x y  A : (x, y)  negativo
R  (y, x)  R luego, la relación es
Asimétrica y – z entero
Supongamos tres enteros positivos x, y, z; de manera que x
> positivo
Si y
x>eszpar e y es impar x – y será entro positivo si z es par
impar
impar,
x – z será entero positivo (x,y)  R  (y,z)  R pero (x,z)  R y – z entero
parSi x es impar e y es par x – y será entro positivo si z es impar positivo
impar, impar
x – z entero (x,y)  R  (y,z)  R pero (x,z) 
positivo par R
luego, la relación es
Atransitiva