Departamento de Matemática

MAT210 - Álgebra Lineal

2022-1

Ayudantı́a 1: Relaciones de equivalencia y

Cuerpos
Profesora: Verónica Gruenberg S.
Ayudante: Joshue Mora A.

Problema 1
Considere la siguiente definición:
Definición: Sea un conjunto X y dos métricas d1 , d2 : X × X → R+ . Se dice que
d1 y d2 son equivalentes si existen c1 , c2 > 0 tales que:

c1 d1 (x, y) ≤ d2 (x, y) ≤ c2 d1 (x, y) ∀x, y ∈ X

Pruebe que “d1 es equivalente a d2 ” es una relación de equivalencia.

Solución:

Sean d1 , d2 , d3 : X × X → R+ métricas, y R la relación:

d1 Rd2 ⇔ d1 es equivalente a d2

Vemos que, si tomamos c1 = c2 = 1, se tiene que:

c1 d1 (x, y) ≤ d1 (x, y) ≤ c2 d1 (x, y) ∀x, y ∈ X

⇔d1 (x, y) ≤ d1 (x, y) ≤ d1 (x, y) ∀x, y ∈ X

⇔V

Luego, R es reflexiva. Ahora, supongamos que d1 Rd2 :

c1 d1 (x, y) ≤ d2 (x, y) ≤ c2 d1 (x, y) ∀x, y ∈ X

1
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

Notemos que:
1 1
d1 (x, y) ≤ d2 (x, y) ∧ d2 (x, y) ≤ d1 (x, y) ∀x, y ∈ X
c1 c2
1 1
⇒ d2 (x, y) ≤ d1 (x, y) ≤ d2 (x, y) ∀x, y ∈ X
c2 c1
⇒d2 R d1

Luego, R es simétrica.

Ahora, supongamos que d1 Rd2 y d2 Rd3 , entonces:

∃c1 , c2 > 0 tales que c1 d1 (x, y) ≤ d2 (x, y) ≤ c2 d1 (x, y) ∀x, y ∈ X

∧∃h1 , h2 > 0 tales que h1 d2 (x, y) ≤ d3 (x, y) ≤ h2 d2 (x, y) ∀x, y ∈ X

Basta notar que:

c1 h1 d1 (x, y) ≤ d3 (x, y) ≤ c2 h2 d1 (x, y) ∀x, y ∈ X

Ası́, R es transitiva, y en consecuencia, una relación de equivalencia □

Problema 2
Considere el conjunto A = Z × Z. Se define la relación R en A por:

(a1 , a2 )R(b1 , b2 ) ⇔ a1 + a2 − b1 − b2 = 2k, k∈Z

(a) Pruebe que R es relación de equivalencia

(b) Calcule explı́citamente [(0, 0)]R y [(1, 0)]R
(c) Pruebe que A = [(0, 0)]R ∪ [(1, 0)]R
(d) Pruebe que existe una biyección f : [(1, 0)]R → [(0, 0)]R

2
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

Solución:
(a) Sean a, b, c ∈ Z × Z, con a = (a1 , a2 ), b = (b1 , b2 ), c = (c1 , c2 ). Notemos que:

a1 + a2 − a1 − a2 = 0 = 2 · 0, 0 ∈ Z
Luego, aRa, por lo que R es reflexiva.

Ahora supongamos que aRb, luego ∃k ∈ Z tal que:

a1 + a2 − b1 − b2 = 2k

⇒b1 + b2 − a1 − a2 = 2(−k)

Luego, bRa, por lo que R es simétrica. Ahora, supongamos que aRb y bRc,
entonces:

∃m ∈ Z tal que a1 + a2 − b1 − b2 = 2m

∧ ∃n ∈ Z tal que b1 + b2 − c1 − c2 = 2n

Notemos que:

a1 + a2 − c 1 − c 2 = a1 + a2 − b 1 − b 2 + b 1 + b 2 − c 1 − c 2

= 2m + 2n

= 2(m + n), (m + n) ∈ Z

Por lo que R es transitiva, y en consecuencia, una relación de equivalencia □

(b) Notemos que:

[(0, 0)]R = {(x, y) ∈ Z × Z | (0, 0)R(x, y)}

O sea, si (x, y) ∈ [(0, 0)]R , entonces existe k ∈ Z tal que:

x + y − 0 − 0 = 2k

⇒x + y = 2k

3
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

Luego, notar que si x es par, necesariamente y debe serlo, análogamente, si x

es impar, y tambien debe serlo (verificar que sucede si x e y tienen paridad distina.)
Finalmente, la clase de equivalencia queda como:

[(0, 0)]R = {(x, y) ∈ Z × Z| x tiene la misma paridad de y}

Similarmente, con la otra clase de equivalencia:

x + y − 1 − 0 = 2k

⇒x + y = 2k + 1

Luego, notar que si x es par, y debe ser impar para que la suma sea impar, y
si x es impar, y debe ser par.
Finalmente, la clase de equivalencia queda como:

[(1, 0)]R = {(x, y) ∈ Z × Z| x tiene distinta paridad que y}

(c) Sea x, y ∈ A = Z × Z, luego ambos son pares, ambos son impares o tienen
distinta paridad.

En el primer y segundo caso, se tiene que (x, y) ∈ [(0, 0)]R , luego (x, y) ∈
[(0, 0)]R ∪ [(1, 0)]R

En el tercer caso, se tiene que (x, y) ∈ [(1, 0)]R , luego (x, y) ∈ [(0, 0)]R ∪[(1, 0)]R ,
concluyendo ası́ que A ∈ [(0, 0)]R ∪ [(1, 0)]R .

La otra contención se cumple trivialmente, demostrando ası́ que:

A = [(0, 0)]R ∪ [(1, 0)]R □

4
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

(d) Tomemos (x, y) ∈ [(1, 0)]R , o sea, x e y tienen distinta paridad. Luego, es fácil
ver que x − 1 tiene la misma paridad que y, por lo que (x − 1, y) ∈ [(0, 0)]R .
Si consideramos:

f :[(1, 0)]R → [(0, 0)]R

(x, y) 7→ (x − 1, y)

Dado lo anterior, vemos que está bien definida, y además es función (verificar),
basta demostrar que es biyectiva.

Sean (x, y), (z, w) ∈ [(1, 0)]R tales que:

f (x, y) = f (z, w) ⇒ (x − 1, y) = (z − 1, y)

⇒x−1=z−1∧y =w

⇒x=z∧y =w

⇒ (x, y) = (z, w)
Luego, f es inyectiva.

Sea (x, y) ∈ [(0, 0)]R , luego x tiene la misma paridad de y.

Notemos que (x + 1, y) ∈ [(1, 0)]R , pues x + 1 tiene distinta paridad que y. Si

evaluamos f en (x + 1, y), tenemos que:
f (x + 1, y) = ((x + 1) − 1, y)

= (x, y)

O sea, todo par (x, y) del codominio posee preimagen en [(1, 0)]R , luego f es
sobreyectiva, y en consecuencia, es biyectiva, por lo que existe al menos una
biyección f : [(1, 0)]R → [(0, 0)]R □

5
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

Problema 3 (Certamen 1 2019)

En Z+ se define la relación R dada por:

√ √
xRy ⇐⇒ [ x] = [ y]

donde [a] es la parte entera de a. Demuestre que R es una relación de equivalencia.

Además, halle las clases de equivalencia y el conjunto cuociente.

Solución:

Sean x, y, z ∈ Z+ . Es claro que:

√ √
[ x] = [ x]

⇒xRx

Luego R es reflexiva.

Ahora supongamos que xRy, notemos que:

√ √ √ √
[ x] = [ y] ⇒[ y] = [ x]

⇒yRx

Por lo que R es simétrica.

Ahora supongamos que xRy y que yRz, entonces:

√ √ √ √
[ x] = [ y] ∧ [ y] = [ z]
√ √
⇒[ x] = [ z]

⇒xRz

Concluyendo con que R es transitiva, y en consecuencia, de equivalencia □

6
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

Para obtener las clases de equivalencias, vamos a ver algunos casos:

[x] = {y ∈ Z+ | xRy}
√ √
⇒[x] = {y ∈ Z+ | [ x] = [ y]}
√ √ √
⇒[x] = {y ∈ Z+ | [ x] ≤ y < [ x] + 1}
√ √
⇒[x] = {y ∈ Z+ | [ x]2 ≤ y < ([ x] + 1)2 }

Luego, las clases de 1,4,9,16,... :

[1] = {x ∈ Z+ | 1 ≤ x < 4}

[4] = {x ∈ Z+ | 4 ≤ x < 9}

[9] = {x ∈ Z+ | 9 ≤ x < 16}

[16] = {x ∈ Z+ | 16 ≤ x < 25}

..
.
Ası́, pudiendo indentificar al conjunto cuociente como:

Z+ /R = {[n2 ] | n ∈ N}

Problema 4
x y

Demuestre que el conjunto A = {A(x,y) = −y x | x, y ∈ R} es un cuerpo con las
operaciones suma y producto habituales de las matrices.

Solución:

Dada la suma usual de matrices, es claro que
A satisface

la asociatividad, con-
0 0 0 0
mutatividad, existencia del neutro aditivo −0 0 = 0 0 y existencia del inverso
−x −y


aditivo y −x .

Además, dada la multiplicación usual de matrices, se
cumple naturalmente

la asocia-
1 0 1 0
tividad, distributividad y existencia del neutro −0 1 = 0 1 . Nos faltarı́a mostrar

7
 Departamento de Matemática
MAT210 - Álgebra Lineal
2022-1

la existencia del inverso y la conmutatividad.

x y

Notemos que toda matriz de la forma −y x y distinto del neutro aditivo, posee
x y

inversa, pues det −y x = x2 + y 2 ̸= 0.

Ahora veamos que
los elementos de A conmutan

bajo la multiplicación usual. Sean
a b c d
X = X(a,b) = −b a e Y = Y(c,d) = −d c . Notemos que:
a b

c d


X · Y = −b a · −d c

ac−bd ad+bc


= −bc−ad ac−bd

Y además:
c d

a b


Y ·X = −d c · −b a

ac−bd ad+bc


= −bc−ad ac−bd

Por lo que X · Y = Y · X ∀X, Y ∈ A, concluyendo ası́ que A es un cuerpo □