Академический Документы
Профессиональный Документы
Культура Документы
Relaciones de equivalencia
FERNANDO REVILLA
http://www.fernandorevilla.es
Prólogo
Índice
1. Concepto de relación binaria 2
3. Partición de un conjunto 6
4. Problemas diversos 6
c All rights reserved, Safe Creative, cód. 1401299963431.
1
1 CONCEPTO DE RELACIÓN BINARIA
2
2 RELACIÓN DE EQUIVALENCIA, CONJUNTO COCIENTE
3
2 RELACIÓN DE EQUIVALENCIA, CONJUNTO COCIENTE
aRb ⇒ a2 − b2 = a − b ⇒ b2 − a2 = b − a ⇒ bRa.
Resolvemos la ecuación:
x2 − 52 = x − 5 ⇔ (x + 5)(x − 5) = (x − 5)
⇔ (x + 5)(x − 5) − (x − 5) = 0 ⇔ (x − 5)(x + 4) = 0 ⇔ x = 5 o x = −4.
La clase pedida es por tanto C[5] = {5, −4}.
(c) Sea a ∈ R. La clase a la que pertenece a es:
Resolvemos la ecuación:
x2 − a2 = x − a ⇔ (x + a)(x − a) = (x − a) ⇔ (x + a)(x − a) − (x − a) = 0
⇔ (x − a)(x + a − 1) = 0 ⇔ x = a o x = 1 − a.
Es decir, C[a] = {a, 1 − a}, y el conjunto cociente es:
R/R = {{a, 1 − a} : a ∈ R} .
Nótese que cada clase tiene dos elementos, salvo en el caso a = 1 − a (es
decir, a = 1/2) que sólo tiene un elemento: C[1/2] = {1/2}.
4
2 RELACIÓN DE EQUIVALENCIA, CONJUNTO COCIENTE
5
4 PROBLEMAS DIVERSOS
3. Partición de un conjunto
13. Escribir todas las particiones del conjunto A = {a, b, c}.
(i) Dado que R es reflexiva, aRa para todo a ∈ A y por tanto a ∈ [a].
(ii) ⇒) Si [a] = [b], entonces b ∈ [b] = [a], es decir aRb.
⇐) Si x ∈ [a], entonces xRa. Pero por hipótesis tenemos aRb, y por la
propiedad transitiva se verifica xRb, lo cual implica que x ∈ [b]. Hemos
demostrado que [a] ⊂ [b]. El contenido [b] ⊂ [a] se demuestra de manera
análoga.
(iii) Demostremos la implicación por reducción al absurdo. Supongamos que
[a] ∩ [b] 6= ∅ y sea c ∈ [a] ∩ [b]. Entonces, cRa y cRb y por las propiedades
simétrica y transitiva, aRb. Por (ii), deducimos [a] = [b] en contradicción
con la hipótesis.
4. Problemas diversos
15. En el conjunto R de los números reales se considera la relación de equi-
valencia xRy ⇔ |x| = |y|. Determinar el conjunto cociente A/R.
6
4 PROBLEMAS DIVERSOS
x(t) − x(t) 0
lı́m = lı́m 2 = lı́m 0 = 0,
t→0 t2 t→0 t t→0
es decir, x(t)Rx(t).
x(t) − y(t)
lı́m
=0
x(t)Ry(t) t→0 t2
⇒
y(t)Rz(t) lı́m y(t) − z(t) = 0,
t→0 t2
lo cual implica:
x(t) − z(t) x(t) − y(t) + y(t) − z(t)
lı́m = lı́m
t→0 t2 t→0 t2
x(t) − y(t) y(t) − z(t)
= lı́m + lı́m = 0 + 0 = 0 ⇒ x(t)Rz(t).
t→0 t2 t→0 t2
La relación R es por tanto de equivalencia.
(a) Reflexiva. Para todo p(x) ∈ R[x] se verifica p(x) − p(x) = 0 = 0(x2 + 1),
por tanto p(x)Rp(x).
Simétrica. Para todo p1 (x), p2 (x) ∈ R[x] se verifica:
7
4 PROBLEMAS DIVERSOS
Ahora bien, p(x) − r(x) = q(x)(x2 + 1), lo cual implica p(x)Rr(x). Esto
demuestra que cada clase admite un representante de grado < 2.
Dado que r2 (x) − r1 (x) es de grado < 2, ha de ser q(x) = 0 para que se
verifique la igualdad (∗), y como consecuencia r1 (x) = r2 (x). Concluimos que
el conjunto cociente es: R[x]/R = {C[ax + b] : a, b ∈ R}, y el representante
de cada clase con grado < 2 es único.
8
4 PROBLEMAS DIVERSOS
9
4 PROBLEMAS DIVERSOS
XRA Y ⇒ X ∪ A = Y ∪ A ⇒ Y ∪ A = X ∪ A ⇒ Y RA X.
[∅] = {∅, {1}, {2}, {1, 2}} (cada elemento de [∅] unión con A es igual a A).
[{3}] = {{3}, {1, 3}, {1, 3}, {2, 3}} (cada elemento de [{3}] unión con A es
igual a {1, 2, 3}).
[{4}] = {{4}, {1, 2}, {1, 4}, {1, 2, 4}} (cada elemento de [{4}] unión con A es
igual a {1, 2, 4}).
[{3, 4}] = {{3, 4}, {1, 3, 4}, {2, 3, 4}, U } (cada elemento de [{3, 4}] unión con
A es igual a U ).
El conjunto cociente es por tanto:
10