Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Dudas Control

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

UNIVERSIDAD TÉCNICA

FEDERICO SANTA MARÍA

Departamento de Matemática
MAT023
Primer Semestre 2020

Dudas control 1
MAT023

Edgardo Villar Sepúlveda

Valparaíso, 5 de mayo de 2020


Universidad Técnica Federico Santa María
Departamento de Matemática

Problemas
1. Sean b ∈ R y B ∈ Mm×n (R). Considere la transformación lineal T : Mn×n (R) → Mm×m (R) tal que
T (A) = BAB T . Se afirma que
 
1 −1
1. Si m = 3, n = 2 y B =  b −1, entonces dim(ker(T )) > 0 solo cuando b = 1. En este caso,
1 −b
Im(T ) tiene dimensión 2.
( )
1 b 1
2. Si b ̸= 1, m = 2, n = 3 y B = , entonces dim(ker(T )) = 5.
−1 −1 −b
3. Si m = n y B tiene rango n, entonces T es biyectiva.
4. Si m < n y B tiene rango m, entonces dim(Im(T )) = (n − m)2 .
De estas afirmaciones, ¿cuáles son falsas?
a) Solo 2 y 3.
b) Solo 1 y 4.
c) Solo 2 y 4.
d) Solo 1 y 3.
Solución:
a) Calculemos la imagen de la base canónica de M2×2 (R). Notemos que
 
( ) 1 −1 ( )( )
1 0 1 0 1 b 1
T =  b −1
0 0 0 0 −1 −1 −b
1 −b
 
1 −1 ( )
  1 b 1
= b −1
0 0 0
1 −b
 
1 b 1
=  b b2 b  ,
1 b 1
 
( ) 1 −1 ( )( )
0 1 0 1 1 b 1
T =  b −1
0 0 0 0 −1 −1 −b
1 −b
 
1 −1 ( )
  −1 −1 −b
= b −1
0 0 0
1 −b
 
−1 −1 −b
=  −b −b −b2  .
−1 −1 −b

MAT023, 2020-1 Página 1


Universidad Técnica Federico Santa María
Departamento de Matemática

Además, vemos que


 
( ) 1 −1 ( )( )
0 0 0 0 1 b 1
T =  b −1
1 0 1 0 −1 −1 −b
1 −b
 
1 −1 ( )
  0 0 0
= b −1
1 b 1
1 −b
 
−1 −b −1
= −1 −b −1 ,
−b −b2 −b
 
( ) 1 −1 ( )( )
0 0 0 0 1 b 1
T =  b −1
0 1 0 1 −1 −1 −b
1 −b
 
1 −1 ( )
  0 0 0
= b −1
−1 −1 −b
1 −b
 
1 1 b
= 1 1 b  .
b b b2
Aquí notemos que si b = 1, entonces
         
1 b 1 −1 −1 −b −1 −b −1 1 1 b 1 1 1
 b b2 b  = −  −b −b −b2  = − −1 −b −1 = 1 1 b  = 1 1 1
1 b 1 −1 −1 −b −b −b2 −b b b b2 1 1 1
 
( ) ( ) ( ) ( ) 1 1 1
1 0 0 1 0 0 0 0
⇔T = −T = −T =T = 1 1 1 ,
0 0 0 0 1 0 0 1
1 1 1
lo que implica que
⟨1 1 1⟩
Im(T ) = 1 1 1 ,
1 1 1
por lo tanto,
dim(Im(T )) = 1 ̸= 2.
Así, tenemos que la primera afirmación es falsa.
b) Dado que 1 es falsa y no existe la opción 1 y 2, entonces podemos asumir que esta opción es
verdadera (si se quiere verificar, se podría calcular la imagen de los 9 vectores que forman la
base canónica de M3×3 (R) y verificar que dichas imágenes sean linealmente independientes).

MAT023, 2020-1 Página 2


Universidad Técnica Federico Santa María
Departamento de Matemática

c) Si m = n, entonces B es una matriz cuadrada de orden n × n. Si además B tiene rango n,


entonces B y B T son invertibles, por lo que T tiene una inversa dada por

T (A) = BAB T

⇔ B −1 T (A)B −T = A

⇔ B −1 T (A)B −T = T −1 (T (A)),
( )−1
donde B −T = B T . Así, T es biyectiva.
d) Dado que la afirmación número 3 es verdadera, tenemos que esta afirmación debe ser falsa y
la alternativa correcta será la opción b) Solo 1 y 4 (para notar en específico que la afirmación
número 4 es falsa, basta notar que, dado que la afirmación 2 es verdadera, ahí se tiene un caso
en que 2 = m < n = 3, B tiene rango m y dim(Im(T )) = n2 − m2 = 5 ̸= (n − m)2 = 1.)

MAT023, 2020-1 Página 3

También podría gustarte