Ejercicios de relaciones
Ej. 1
Utilizando los conjuntos J = {1,3,5, 7,9} y K = {2, 4, 6,8} , definir una relación cualquiera de J en
K compuesta por tres pares, expresándola por extensión, por comprensión, con diagramas de flechas, con
un gráfico cartesiano y con una matriz.
Ej. 2
Sean A = {1, 2, 4, 6, 8} y R definida en A tal que xRy ⇔ ( x + y ) = 3ɺ
(a) Determinar R por extensión.
(b) Representarla por medio de un diagrama.
(c) Investigar qué propiedades cumple.
Ej. 3
El diagrama adjunto corresponde a algunos pares de la relación “está más alto que” en el conjunto
{A,B,C,D,E} de la figura.
cajonera
A
E
B
D C
(a) Estudiar el diagrama y colocar la letra correspondiente a cada cajón, de modo que se
verifique la relación.
(b) ¿Cómo reconoce el primer elemento y el último?
Ej. 4
Dado P = { a , b , c , d } , en él se define la relación R tal que
R = { ( a, a ) , ( b, b ) , ( c, c ) , ( d , d ) , ( b, c ) , ( c, b ) }
(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 } .
Ej. 5
Se consideran los conjuntos P e I , tales que P es el conjunto de todos los números naturales pares,
e I es el conjunto de todos los naturales impares. La familia { P, I } : ¿es una partición del conjunto ℕ ?
Justifica tu respuesta.
1
Ej. 6
Se consideran los conjuntos A = { a , b , c , d } y P = { {a} , {b, c, d } } . Demostrar que P es una
partición de A . De ser posible, determinar por extensión una relación de equivalencia en A cuyo conjunto
cociente sea P .
Ej. 7
Dado A = { 1, 2,3, 4 } , se consideran las siguientes relaciones definidas en A :
R1 = { (1,1) , (1, 2 ) , (1,3) , ( 2, 2 ) , ( 2,1) , ( 2,3) , ( 3,3) , ( 3,1) , ( 3, 2 ) , ( 4, 4 ) }
R2 = {(1,1) , (1,3) , ( 2,3) , ( 3,3) , ( 3,1) , ( 3, 2 ) , ( 4, 4 ) }
(a) Representar cada una en un sistema de ejes cartesianos.
(b) Indicar en cada caso si la relación representada corresponde o no a una relación de
equivalencia. Justificar.
Ej. 8
Se considera la relación R definida en B = { x ∈ ℝ / 0 ≤ x ≤ 3 } tal que su representación gráfica es la
región pintada. Investigar si es una relación de equivalencia.
0 1 3
Ej. 9
Investigar si la relación R definida en ℤ : xRy ⇔ x 2 + x = y 2 + y es de equivalencia.
Ej. 10
Sean A = { a ,b,c, d } y B = { b,c }
(a) Se considera la relación R definida en P ( A) tal que: XRY ⇔ X ∩ B = Y ∩ B . Probar que R es
de equivalencia
(b) ¿Cuál es la clase de {a , b , d } ?
P ( A)
(c) ¿Cuántos elementos tiene el conjunto cociente ?
R
2
Ej. 11
En el conjunto de puntos de un plano se define la relación: 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.
Ej. 12
Se define en el conjunto de los números reales la siguiente relación: x R y ⇔ x − y = x3 − y 3
(a) Probar que R es una relación de equivalencia.
(b) Hallar las clases de los reales 1, 2 y 3.
(c) Hallar los a ∈ ℝ | Ca tenga tres elementos.
Ej. 13
Se define en ℝ* la siguiente relación: xRy ⇔ x· y > 0
(a) Probar que R es de equivalencia.
(b) Hallar C1 , C−1 y Ca , a ∈ ℝ
(c) Escribir el conjunto cociente
Ej. 14
Se define en ℝ × ℝ la relación ( x, y ) R ( x′, y′) ⇔ x − x′ = 2( y − y′)
(a) Probar que R es de equivalencia
(b) Hallar las clases de (0, 0) y de (2, −1) .
Ej. 15
Sea A un conjunto y R1 y R2 relaciones de equivalencia en A . Probar que R1 ∩ R2 es una relación de
equivalencia en A .
Ej. 16
Sea ⊂ la relación de inclusión en P ( A) . Probar que esta relación es un orden amplio en P ( A) . ¿Es total?
Ej. 17
En el conjunto A = {1, 2,3,5,8} se considera la relación de orden “ ≤ ” de los números naturales. Investigar la
existencia de mínimos y máximos.
Ej. 18
Se define la relación R en el conjunto B = {a, b, c, d , e, f } a través del siguiente gráfico:
3
f
e
d
c
b
a
a b c d e f
a. Comprobar que R no es de orden.
b. Definir una nueva relación R1 , tal que R ⊂ R1 , agregando a R la menor cantidad de pares
posible para que R1 sea de orden.
c. Investigar la existencia de mínimos y máximos en ( B, R1 ) .
