Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Avance Problemas 7.4. Isomorfismos
Avance Problemas 7.4. Isomorfismos
a 11 a 12 … a 1n
a 21 a 22 … a 2n
Sean A mn = ∈ Mmn y
⋮ ⋮ ⋱ ⋮
a m1 a m2 … a mn
a 11 a 21 … a m1
a a … a m2
(A mn ) ⊤ = 12 22 = A nm ∈ Mnm .
⋮ ⋮ ⋱ ⋮
a 1n a 2n … a nm
a 11 a 12 a 1n
a 21 a a
⇒ C Amn = imA mn = gen{ c 1 , c 2 , … , c n } = gen , 22 , … , 2n = Rn
⋮ ⋮ ⋮
a m1 a m2 a mn
⇒ 𝜌(A mn ) = dim imA mn = n.
a 11 a 21 a m1
a 12 a a
⇒ C Anm = imA nm = gen{ c 1 , c 2 , … , c n } = gen , 22 , … , m2 = Rn
⋮ ⋮ ⋮
a 1n a 2n a nm
⇒ 𝜌(A nm ) = dim imA nm = n.
Sea A ∈ Mmn ⇒ 𝜌(A) + 𝜈(A) = n.
Sea A mn la representación matricial de T, entonces 𝜈(A mn ) = 𝜈(T).
𝜌(A mn ) + 𝜈(A mn ) = n ⇒ n + 𝜈(A mn ) = n ⇒ 𝜈(A mn ) = 𝜈(T) = n - n = 0.
𝜌(A nm ) + 𝜈(A nm ) = n ⇒ n + 𝜈(A nm ) = n ⇒ 𝜈(A mn ) = n - n = 0.
Así, como 𝜈(T) = 0 ⇒ ker T = NAmn = 0.
Por lo tanto, T es 1 - 1.
Por lo tanto, como dim Mmn = dim Mnm = n, se cumple que, si T es 1 - 1, entonces T
es sobre; así, se concluye que Mmn ≅ Mnm .