UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
MAESTRÍA EN MATEMÁTICA PURA
ÁLGEBRA
LISTA DE EJERCICIOS 3
Resolver los siguientes ejercicios:
1. Sea V un espacio vectorial sobre un cuerpo k y sean W1 , W2 subespacios
vectoriales de V tales que V = W1 ⊕ W2 . Sea E : V → V definida por
E(w1 + w2 ) = w1 , para cualesquier w1 ∈ W1 y w2 ∈ W2 . Demuestre que E
está bien definida y es una proyección.
2. Sea V un espacio vectorial de dimensión finita sobre un cuerpo k. De-
muestre que toda proyección E : V → V es diagonalizable.
3. Sea V un espacio vectorial de dimensión finita sobre un cuerpo k y sea
T : V → V una transformación lineal. Supongamos que el polinomio mi–
nimal de T es pT = (x − c1 ) . . . (x − cl ), donde c1 , . . . , cl ∈ k son distintos.
Demuestre que T es diagonalizable.
4. Sea V un espacio vectorial de dimensión finita sobre el cuerpo de números
reales. Sea T : V → V una transformación lineal tal que T 2 = IdV . De-
muestre que T es diagonalizable.
5. Sea V un espacio vectorial de dimensión finita sobre un cuerpo k y sea
T : V → V una transformación lineal diagonalizable. Sea W un subespacio
vectorial invariante bajo T . Demuestre que existe un subespacio vectorial U
tal que V = W ⊕ U y U es invariante bajo T .
6. Sea V un espacio vectorial de dimensión finita sobre un cuerpo k. Sean
S, T : V → V transformaciones lineales diagonalizables que conmutan, es
decir S ◦ T = T ◦ S. Demuestre que existe una base B = {u1 , . . . , un } de V
tal que ui es autovector de S y T para todo i = 1, . . . , n.
7. Sea V un espacio vectorial de dimensión 4 sobre un cuerpo k y sea
N : V → V una transformación lineal nilpotente tal que k(N ) = 2 y
dimk Ker(N ) = 2. Sea {N (u1 ), N (u2 )} una base de Im(N ). Demuestre que
B = {u1 , N (u1 ), u2 , N (u2 )} es una base de V y [N ]B está en forma racional.
8. Sea V un espacio vectorial de dimensión finita sobre un cuerpo k. Sean
0 6= f ∈ V ∗ y 0 6= u ∈ Ker(f ). Sea N : V → V definida por N (v) = f (v)u
para todo v ∈ V . Demuestre que k(N ) = 2 y halle la matriz asociada de N
1
que está en forma racional.
9. Sea Nn la matriz nilpotente elemental n × n. Halle una matriz n × n
inversible P tal que P −1 Nn P = Nnt .
10. Sea N : R3 → R3 definida por
N (x, y, z) = (−x − 2y − 5z, 7x − 4y − z, x + 2y + 5z).
Halle una base B de R3 tal que [N ]B está en forma racional, y además halle
dicha matriz.
11. Sea N : R3 → R3 definida por
N (x, y, z) = (3x − 6y + 9z, 3x − 6y + 9z, x − 2y + 3z).
Halle una base B de R3 tal que [N ]B está en forma racional, y además halle
dicha matriz.
12. Sea N : R4 → R4 definida por
N (x, y, z, t) = (x+y+z−t, x+2y−z+2t, −7x−11y+z−5t, −5x−8y+z−4t).
Halle una base B de R4 tal que [N ]B está en forma racional, y además halle
dicha matriz.
13. Sea V un espacio vectorial de dimensión 5 sobre un cuerpo k y sea
T : V → V una transformación lineal. Supongamos que el polinomio ca–
racterı́stico de T es f (x) = (x − c1 )3 (x − c2 )2 y el polinomio minimal de T
es pT (x) = (x − c1 )2 (x − c2 ), donde c1 , c2 ∈ k son distintos. Halle la matriz
asociada de T que está en forma canónica de Jordan.
14. Sea T : R3 → R3 definida por
T (x, y, z) = (x − y + z, x − y + z, z).
Halle una base B de R3 tal que [T ]B está en forma canónica de Jordan, y
además halle dicha matriz.
15. Sea T : R3 → R3 definida por
T (x, y, z) = (4x + y + z, −2x + y − 2z, x + y + 4z).
2
Halle una base B de R3 tal que [T ]B está en forma canónica de Jordan, y
además halle dicha matriz.
16. Sea T : R3 → R3 definida por
T (x, y, z) = (2x, −x + y − z, 5x + y + 3z).
Halle una base B de R3 tal que [T ]B está en forma canónica de Jordan, y
además halle dicha matriz.
17. En R2 , definimos
h(x1 , x2 ), (y1 , y2 )i = 7x1 y1 + 4x2 y1 + 4x1 y2 + 3x2 y2 .
Demuestre que h, i es un producto interno.
18. Sea V un espacio vectorial sobre C con producto interno. Sea T : V → V
una transformación lineal tal que hT (u), ui = 0 para todo u ∈ V . Demuestre
que T = 0.
19. En R4 , sea
S = {(1, 0, −1, 0), (2, 0, 0, 1), (−2, 0, −1, 0)}.
Halle una base ortogonal de Span(S).
20. En R4 , sea
S = {(1, 2, 0, −1), (3, 2, 0, −5), (3, −4, 0, −1)}.
Halle una base ortogonal de Span(S).
Docente: Gabriel Muñoz.