Practico1 2020 Relaciones Resuelto 6nng0D2
Practico1 2020 Relaciones Resuelto 6nng0D2
Practico1 2020 Relaciones Resuelto 6nng0D2
A × A := {(x, y) : x ∈ A, y ∈ A} .
• Reflexiva: si para todo elemento x de A, vale que el par ordenado (x, x) está en R (o sea
(x, x) ∈ R para todo x ∈ A).
• Simétrica: si para cada par ordenado (x, y) en R, vale que (y, x) también está en R (o sea
(x, y) ∈ R ⇒ (y, x) ∈ R).
• Antisimétrica: si para cada par ordenado (x, y) en R tal que x 6= y, vale que (y, x) no
está en R (o sea (x, y) ∈ R tales que x 6= y ⇒ (y, x) ∈
/ R). Equivalentemente, R se dice
antisimétrica si (x, y) ∈ R y (y, x) ∈ R ⇒ x 6= y
• Transitiva: si cada vez que (x, y) ∈ R y (y, z) ∈ R entonces (x, z) ∈ R (o sea (x, y), (y, z) ∈
R ⇒ (x, z) ∈ R).
R = {(a, b), (b, a), (c, c), (c, d), (c, h), (h, g), (e, c), (f, f )} ⊂ A × A,
• ¿R es reflexiva?: Si lo fuera, deberı́a pasar que para todo elemento x en A, (x, x) también
esté en R. Para probar que no es reflexiva, alcanza con dar un ejemplo de un elemento de
A que no cumpla eso. Por ejemplo, como a ∈ A y (a, a) ∈ / R, entonces podemos asegurar
que R no es reflexiva.
• ¿R es simétrica?: Si lo fuera, deberı́amos ver que para cada par (x, y) ∈ R, pase que
(y, x) también esté en R. Para probar que no es simétrica, alcanza con dar un ejemplo de
un par ordenado tal que (x, y) ∈ R y (y, x) ∈ / R. En este caso, R no es simétrica, pues
(h, g) ∈ R y (g, h) ∈/ R.
Práctico 1 Álgebra I
Conjuntos, Relaciones y Funciones 2020, FaMAF - UNC
• ¿R es antisimétrica?: Si lo fuera, deberı́amos ver que para cada par (x, y) ∈ R, tal que
x 6= y pase que (y, x) no esté en R. Para probar que no es antisimétrica, alcanza con dar
un ejemplo de un par ordenado tal que (x, y) ∈ R y (y, x) ∈ R. En este caso, R no es
antisimétrica, pues (h, g) ∈ R y (g, h) ∈
/ R.
23. En cada uno de los siguientes casos determinar si la relación R en A es reflexiva, simétrica,
antisimétrica, transitiva, de equivalencia o de orden.
esto implica que el par (X, Y ) ∈ R, es decir ({1}, {1, 2}) ∈ R. Pero como además pasa
que
Y ∩ {1, 2, 3} = {1, 2} 6⊆ {1} = X ∩ {1, 2, 3},
entonces el par ordenado (Y, X) ∈
/ R, es decir ({1, 2}, {1}) ∈
/ R. Por lo tanto la relación
no es simétrica.
• R no es antisimétrica pues si tomamos por ejemplo X := {1, 5}, Y := {1, 6} ∈ A, tenemos
que
X ∩ {1, 2, 3} = {1} ⊆ {1} = Y ∩ {1, 2, 3}, Y ∩ {1, 2, 3} = {1} ⊆ {1} = X ∩ {1, 2, 3},
esto implica que los pares (X, Y ), (Y, X) ∈ R, es decir ({1, 5}, {1, 6}), ({1, 6}, {1, 5}) ∈ R,
donde {1, 5} =
6 {1, 6}, luego no puede ser antisimétrica.
• R es transitiva, pues si tenemos (X, Y ), (Y, Z) ∈ R, por definición de la relación se debe
cumplir que
X ∩ {1, 2, 3} ⊆ Y ∩ {1, 2, 3}, Y ∩ {1, 2, 3} ⊆ Z ∩ {1, 2, 3},
pero por transitividad de la contención de subconjuntos de R, vale que
X ∩ {1, 2, 3} ⊆ Z ∩ {1, 2, 3},
es decir (X, Z) ∈ R
• La relación R no es de equivalencia (pues no es simétrica) y no es de orden pues no es
(antisimétrica).