Documentos de Académico
Documentos de Profesional
Documentos de Cultura
TP N◦ 7: Relaciones
(1) Sea A = {1, 2}. Detallar todas las relaciones posibles definidas sobre A.
(2) Indicar qué propiedades (reflexiva, simétrica, antisimétrica, transitiva) verifica la relación R definida
sobre el conjunto A:
(a) A = {a, b, c}, R = {(a, a), (a, b), (b, c), (b, b)}.
(b) A = {x ∈ N : x ≤ 6}, R = {(1, 1), (1, 3), (3, 1), (3, 3), (6, 4), (4, 6), (4, 4), (6, 6)}.
(c) A = {x ∈ N : x ≤ 6}, R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}.
(d) A = {x ∈ N : x ≤ 5}, R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 2), (1, 3), (2, 5), (1, 5)}.
(e) A = N, R = {(a, b) ∈ N2 : a + b es par}.
(f ) A = N, R = {(a, b) ∈ N2 : a + b es impar}.
(g) A = Z, x R y si y sólo si x ≤ y.
(h) A = P(R), B R C si y sólo si 2 6∈ B − C.
(i) A = Z, x R y si y sólo si x divide a y.
(j) A = N, x R y si y sólo si x divide a y.
(4) Consideremos la relación R = {(a, a), (a, b), (b, c), (c, b), (d, e), (d, d)} definida sobre el conjunto A =
{a, b, c, d, e}. Si es posible, agregar a R la menor cantidad posible de pares para que resulte una
relación:
(5) Determinar si la relación R definida sobre el conjunto A es una relación de equivalencia. En caso
afirmativo, determinar las clases de equivalencia, dos conjuntos de representantes y el conjunto cociente.
(a) A = {a, b, c}, R = {(a, a), (a, b), (c, c), (b, a), (b, b)}.
(b) A = {a, b, c, d, e, f },
R = {(a, a), (b, b), (c, c), (d, d), (e, e), (f, f ), (a, b), (b, a), (a, f ), (f, a), (b, f ), (f, b), (c, e), (e, c)}.
(c) A = R, a R b si y sólo si a2 = b2 .
(d) A = C, z R w si y sólo si z̄ = w.
(e) A = C, z R w si y sólo si Re(z) = Re(w).
(f ) A = R2 , (x, y) R (z, w) si y sólo si x − y = z − w.
(g) A = R2 , (x, y) R (z, w) si y sólo si x2 + y 2 = z 2 + w2 .
(h) A = R2 , (x, y) R (z, w) si y sólo si x2 − y = z 2 − w.
1/4
Elementos de Álgebra TP N◦ 7 Primer Cuatrimestre 2018
(6) Una relación R definida sobre un conjunto A se dice circular si verifica: para todo a, b, c ∈ A, si (a, b) ∈ R
y (b, c) ∈ R, entonces (c, a) ∈ R. Probar que una relación R es de equivalencia si y sólo si es reflexiva y
circular.
(7) Sea R una relación reflexiva y transitiva definida sobre un conjunto A. Definimos ahora la relación S
sobre A de la siguiente manera: a S b si y sólo si a R b y b R a. Probar que S es una relación de
equivalencia.
(8) Determinar si las siguientes son particiones del conjunto A = {1, 2, 3, 4, 5, 6}. En caso afirmativo, hallar
la relación de equivalencia asociada.
R = {(a, a), (b, b), (c, c), (d, d), (e, e), (f, f ), (a, b), (b, a), (a, f ), (f, a), (b, f ), (f, b), (c, e), (e, c)}
hallar
(a) la clase de b.
(b) la clase de c.
(c) la clase de d.
(d) la partición asociada a R.
(12) (a) Si en este momento son las 20 hs. ¿qué hora será dentro de 200 horas?
(b) Si hoy es jueves, ¿qué dı́a de la semana será dentro de 20 dı́as? ¿y dentro de 100 dı́as?
(14) Resolver, si es posible, las siguientes ecuaciones de congruencias. En caso de ser posible, hallar todas
las soluciones enteras.
(15) Sea A un conjunto y consideremos P(A) ordenado por la relación de inclusión. ¿Qué condiciones debe
verificar A para que P(A) sea totalmente ordenado?
(16) Determinar si la relación R definida sobre el conjunto A es una relación de orden. En caso afirmativo,
determinar, si existen, primer y último elementos, minimales y maximales.
2/4
Elementos de Álgebra TP N◦ 7 Primer Cuatrimestre 2018
(a) A = {a, b, c}, R = {(a, a), (b, b), (c, c), (a, c), (b, c)}.
(b) A = Z, a R b si y sólo si a ≤ b.
(c) A = R, a R b si y sólo si a < b.
(d) A = N, a R b si y sólo si a divide a b.
(e) A = Z, a R b si existe n ∈ Z, n ≥ 0 tal que a = b + n.
(f ) A = P({1, 2, 3}), B R C si y sólo si B ⊇ C.
(g) A = P(X), B R C si y sólo si C = B ∪ Z para algún Z ⊆ X.
(17) Dibujar los diagramas de Hasse de los siguientes conjuntos ordenados y decidir si se trata de conjun-
tos totalmente ordenados. Hallar, si es posible, en cada caso, primer y último elementos, elementos
minimales y maximales.
(18) El siguiente diagrama de Hasse representa una relación de orden R sobre el conjunto A = {a, b, c, d, e}.
b e
a c d
g
X Cotas Inf. ı́nfimo Cotas Sup. Supremo
f h {b, c, d}
{b, d}
e d {a, b, e}
A
b c {d, c, f }
{c, e}
a
3/4
Elementos de Álgebra TP N◦ 7 Primer Cuatrimestre 2018
f g
d e
a b c
(a) Hallar un subconjunto X1 que posea tres elementos, una única cota inferior y no posea supremo.
(b) Hallar un subconjunto X2 que posea tres elementos, contenga al menos un minimal, al menos un
maximal y posea ı́nfimo y supremo.
(c) Hallar un subconjunto X3 cuyo diagrama de Hasse resulte:
(23) Demostrar que un conjunto ordenado, si tiene último elemento, éste es único.
4/4