PARTE 1

Preliminares de lgebra 2:
1) Definicin y hechos bsicos que supongo conocidos:
i) V, espacio vectorial (E.V.) sobre un cuerpo K
ii) Base de V y dimensin de V. Vector de coordenadas.
Sea B={v1,...,vn} una base de V (por lo que dim V=n).
-Todo v en V se escribe como combinacion lineal de los vi de manera nica.
Es decir, para todo v en V, existen k1, ..., kn en K tal que v=k1 v1 +...+kn vn;
ms an, si v= k'1 v1 +....+ k'n vn, para ciertos k'1,...,k'n en K, entonces resulta
que k1=k'1, ....,kn=k'n.
-El vector columna (k1,...,kn) se llama vector de coordenadas de v respecto a la base B y
se denota por [v]_B. Note que el vector de coordenadas
es un vector que esta en K^n, que en general es un espacio diferente a V.
iii) Matriz de cambio de base
Si B' ={v'1,...,v'n} es otra base de V, entonces todo vector v tambin se escribe como
combinacion lineal de los v'i, por lo que hay un vector [v]_B'.
Es natural preguntarse cual es la realcion entre [v]_B y [v]_B'?
La respuesta es que existe una matriz en M_{n x n}(K)
(este es el conjunto de las matrices n x n con entradas en K),
llamada matriz del cambio de base de B a B', que denotamos por [P]_{B flecha B'} tal que
para todo v en V se cumple:
A) [P]_{B flecha B'} [v]_B = [v]_B' para todo v en V.
B) unicidad: Si M es una matriz tal que para todo v en V se cumple M [v]_B = [v]_B',
entonces M = [P]_{B flecha B'}
La demostracin de la existencia de la matriz del cambio de base se hace exhibindola:
Es aquella cuya columna i-esima es [vi]_B'.
Eso provee un algoritmo para obtener la matriz.
Ejercicio 1:
i) Demuestre que la matriz n x n cuya columna i-sima es [vi]_B' satisface A)
ii) Demuestre B)
iii) Muestre que [P]_{B' flecha B} = ([P]_{B flecha B'})^{-1},
es decir, que son inversas la una de la otra
(sugerencia: use la unicidad de la matriz de cambio de base)
iv) Si V es R^3, B={(1,1,0),(1,0,1),(1,1,1)} y B'={(1,0,0), (-1,1,0),(0,1,1)}
encuentre [P]_{B flecha B'} y [P]_{B' flecha B}
iv) Supespacios de V.
Ejercicio 2
Demuestre (o convnzase) que un subconjunto no vaco W de V es un subespacio de V si,

y slo si, para todo w, w' en W y k en K se cumple que w + k w' est en W.

v) Espacios cocientes: Si W es un subespacio de V entonces el conjunto cociente
V/W:={ v + W | v en V} (ojo: v+W es el conjunto de los v + w con w en W, de modo
que los elementos de V/W son conjuntos. Por alguna razn, pensar en un conjunto
cuyos elementos son conjuntos es algo que resulta incmodo y confuso para muchas personas,
al punto que algunos autores prefieren omitir el referirse a los conjuntos cocientes,
que resultan ser espacios vectoriales, como recordaremos a continuacin).
Los elementos de V/W se llaman clases de equivalencia.
En particular, v+W es la clase de equivalencia de v. No es difcil de ver (y debe hacerse),
que dos clases de equivalencia son iguales o disjuntas, es decir,
o bien ocurre que v+W = v'+ W o bien ocurre que la interseccin de esos conjuntos es
vaca. Ms an, v + W = v'+ W si, y slo si, v-v' est en W.
En el conjunto cociente se puede definir una suma y una multiplicacin por escalares de K.
Con estas operaciones, el conjunto cociente se convierte a su vez en un E.V. sobre el
cuerpo K. Las definiciones de la suma y multiplicacin por escalares son las siguientes:
(v+W) + (v'+W) := (v+v')+ W
k (v+W) := (kv) + W
Ejercicio 3
a) Si V tiene dimensin finita n y W es un subespacio de V entonces
a1) dim W es finita y menor o igual a la de n.
a2) Si {w1,...,wt} es una base de W entonces W = V o puedo encontrar un conjunto de
vectores de V, {v1,..., v{n-t}} tal que {w1,...,wt, v1,..., v{n-t}} es una base de V.
En otras palabras, si W es un subespacio de dimensin de V entonces W es un
"sumando directo" de V (en efecto V = W suma directa V', donde {v1,..., v{n-t}}
es una base de V').
a3)? dim V/W = dim V - dim W y el conjunto {v1+ W,..., v{n-t}+W} es una base de V/W
2) Transformaciones lineales.
Sean V y W dos E. V. sobre un mismo cuerpo K (Aqu W no tiene por qu ser un subespacio
de V ni viceversa).
i) Una Transformacin Lineal (T.L.) de V en W, es una funcin T de V en W tal que
para todo par v, v' de elementos en V y para todo k en K, se cumple que
T(k v + v') = k T(v) + T(v')
ii) Sea B={v1,...,vn} una base de V y sean w1, w2,...,wn vectores arbitrarios de W.
Existe una nica T.L. de V en W que satisface T(vi) = wi, para i=1,...,n.
iii) L(V,W) denota el conjunto de transformaciones lineales de V en W. Ms an,
L(V,W) es a su vez un E.V sobre K (como se define la suma de dos elementos de L(V,W)?
y la multiplicacin por escalares del cuerpo?) ii) dice que existe una correspondencia
biyectiva entre L(V,W) y W^n. Esto sugiere que dim L(V,W)= m . n
iv) Un isomorfismo entre V y W es una T.L. biyectiva.
Se dice que V es isomorfo a W si existe un tal isomorfismo de V a W

(o de W a V, pues la existencia de uno implica la existencia del otro).

Ejercicio 4
b) Sea T una T.L. de V en W
b1) Muestre que Ker V:={v en V | T(v) = 0} es un subespacio de V
b2) Muestre que Imagen de T, que se denota Im(T) T(V):={ T(v) | v en V} es un subespacio
de V.
b3) Muestre que si dimV =n, entonces V es isomorfo a W si, y slo si, dim V = dim W
b4) Muestre que una T.L. de V en W es inyectiva si, y slo si, Ker T = 0
b5)? Muestre que V/kerT es isomorfo a T(V)
2) Matrices asociadas a transformaciones respecto a pares de bases:
i) Sea B={v1,...,vn} una base de V y B'={w1,...,wm} una base de W.
Existe una matriz en M_{m x n}(K) (es decir una matriz m x n con entradas en K),
llamada matriz asociadaa T respecto al par de bases (B,B'), que usualmente se denota
por [T]_(B,B') y que satisface
C) [T]_(B,B') [v]_B = [T(v)]_B' para todo v en V.
D) unicidad: si M es una matriz m xn tal que para todo v en V se cumple
M [v]_B = [T(v)]_B', entonces M = [T]_(B,B').
Observando que [vi]_B = ei, el vector cannico de K^n, se deduce que la i-sima columna
de [T]_(B,B') es [T(vi)]_B' (as se encuentra la matriz).
ii) En el caso V = W siempre se toma la base B' de W como la misma de V
(es decir, se supone B = B'). En ese caso se habla de [T]_B.
-Por otra parte, si B'es otra base diferente de B, es natural preguntarse cual es la
relacion que hay entre [T]_B y [T]_B'?
Ejercicio 5
c1) mostrar que la matriz m x n cuya i-sima columna [T(vi)]_B' satisface C)
c2) mostrar D)
c3) T una T.L. de V en V. Sean B y B' dos bases de V.
Sea P = [P]_{B flecha B'}.
Muestre que
[T]_B = P^{-1} [T]_B' P
c4) Sea V el espacio de los polinomios con coeficientes racionales de grado menor o igual
que 2. Sea W = Q^2. Sea T de V en W definido por T(a+bx+cx^2) = (a+2b, b-c). Sean
B={x, 1+x, 1+x+x^2} y B'={(1,1), (1,-1)}.
Verifique que B es base de V y B'de W, que T es lineal y encuentre [T]_(B,B')
PARTE 2

3) El espacio L(V,W) y el algebra L(V)

Sean V y W espacios vectoriales sobre K, de dimension n y m respectivamente.
L(V,W) es el conjunto de las transformaciones lineales de V en W.
La suma de dos T.L. T y U de V en W se define como usualmente se define la suma de
funciones, i.e., (T+U)v= T(v) + U(v), para todo v en V. Si tiene aunque sea una pequenha
duda, le sugiero que verifique que T+U, asi definida, es tambien un T.L.
Por otra parte, la multiplicacion de kT, donde k esta en K, tambien se define de la manera
usual. Con estas operaciones L(V,W) es un E.V. sobre
Si B es una base de V y B' una de W, se puede definir una funcion phi de L(V,W) en el
espacio de las matrices m x n con entradas en K (M_{m x n}(K)) de la siguiente manera:
Si T esta en L(V,W), entonces phi(T) = [T]_(B,B').
Ejercicio 2.1
a1) Verifique que phi es una T.L.
a2) Verifique que phi es biyectiva. Concluya que dim L(V,W) = n m.
En el caso de que V=W, se suele escribir L(V) en vez de L(V,V).
L(V), ademas de la suma y multiplicacion por escalares del cuerpo K, tienen una operacion
adicional que es la composicion de funciones. (L(V),+,.) es un anillo con identidad,
y es facil de verificar que phi es un isomorfismo de anillos. Mas aun, como L(V)
tiene multiplicacion por escalares, entonces L(V) es llamada algebra, es decir,
un E.V con una multiplicacion asociativa, con identidad, y distributiva respecto a la suma.
Ejercicio 2.2
b1) Verifique que L(V) es un algebra.
b2) Sea T un elemento de L(V) F la funcin de K[x] en L(V)
definida por F(a_0 + a_1 x +...+a_n x^n) = a_0 I + a_1 T + ... + a_n T^n
es una T.L. Muestre adems F satisface F(f(x)g(x))=F(f(x)) compuesto con F(g(x))
=F(g(x)) compuesto con F(f(x)) (F es un homomorfismo de K-algebras).
Observe que K[x] es una K-algebra conmutativa pero L(V) no lo es. Sin embargo,
la imagen de K[x] por el homorfimo F es una subalgebra conmutativa de L(V).
4) Subespacios estables.
El problema que estudiamos a continuacion es el siguiente: Sea T en L(V), donde dim V = n.
Encuentre una base B de V tal que [T]_B sea lo mas "sencilla" posible. El
caso mas sencillo es el de las matrices diagonales. Si existe tal B se dice que T es
diagonalizable (recuerde que un autovector v es un vector no nulo tal que
T(v)=kv para algn k en K, que se llama autovalor de T asociado a v).
Es decir, un elemento T de L(V) es diagonalizable si V tiene una base que consiste solo
de autovectores de T.
No siempre es posible encontrar una tal base. El concepto de subespacio estable bajo T,
o T-invariante, es clave:

-Un subespacio W de V se llama T-invariante si T(W) esta contenido en W, es decir, si

la restriccion de T a W, que denotamos T_/W, es un elemento de L(W).
Observe que si W es estable, de dimensin t, y B es una base de V, cuyos primeros t
elementos forman una base de W, entonces las primeras t columnas de la matriz [T]_B
tienen entrada a_{ij}=0 para todo i > t.
-Si adems V se escribe como la suma directa de dos espacios T-invariantes, W y W',
y si B es una base de V formada uniendo una de W con otra de W', entonces la matriz
adems tendremos a_{ij}=0 si j>t e i<n-t
-Los teoremas de descomposicin que estudiamos a continuacin se refieren a
descomponer a V como suma directa de subespacios invariantes (tantos como sean posibles),
y de analizar lo que ocurre en cada una de esos subespacios estables.
5) Como encontrar subespacios T-invariantes.
i) un lema muy til: Si T y U son elementos de L(V) y T conmuta con U,
entonces Ker U e Im U= U(V) son ambos T-invariantes
ii) Dado una T, como encontrar una U que conmute con T. El ejercicio anterior
nos muestra que todo elemento f(T), donde f(x) est en K[x], es un elemento de L(V) que
conmuta con T. De hecho, cualquier par de elementos en esa lgebra conmutan.
Sigue que para todo f(x) en K[x] se tiene que Ker f(T) y f(T)(V) son estables bajo T,
y de hecho, son estables bajo g(T) para cualquier g(x) en K[x]. Verdad? (demustrelo).
iii) Se trata entonces de encontrar polinomios f(x) tales que Ker f(T) e Im f(T) sean
no triviales (diferentes de V y de 0). Como hacer esto?
Ejercicio 2.3
Sea T en L(V).
c1) Muestre que ker T y T(V) son T-invariantes.
c2) Muestre que V es la suma directa de Ker T + T(V) si, y slo si, Ker T interseccin T(V) = 0.
c3) Muestre que si k es un autovalor de T entonces E_k:={ v en v | T(v) = k v} es
un subespacio T-invariante.
c4) Encuentre un ejemplo de una T en L(R^3) tal que dim E_3 = 2. Encuentre una tal T que
adems no sea diagonalizable.
6) Polinomio mnimal: sus factores.
De acuerdo al ejercicio 2.1 si dim(V)=n entonces dim L(V) = n^2. Sigue que para cualquier T en L(V),
el conjunto {I,T, T^2,...,T^{n^2}} es un conjunto linealmente dependiente.
Se deduce que existe un polinomio no nulo, de grado menor o igual que n^2, digamos f(x),
tal que f(T)=0 (el 0 de L(V), es decir, la transformacin nula).
El polinomio minimal se define como el polinomio mnico de menor grado m_T(x) tal que m_T(T) =
0.
Ejercicio 2.4
Sea V un E.V. de dimensin n y sea T en L(V)
d1) Mostrar que el polinomio m_T(x) existe y tiene grado menor o igual que n^2
y mayor o igual que 1.

d2) Muestre que si f(x) en K[x] satisface f(T)=0 entonces m_T(x) divide a f(x).
d3) Encuentre un ejemplo de T en L(R^3) tal que m_T(x) tenga grado 2 y otro donde tenga grado 3.
d4) Sea W un subespacio T-invariante de V y sea T_/W la restriccin de T a W.
muestre que m_{T_/W}(x) divide a m_T(x).
d5) Deduzca de d4) que si k es un autovalor de T entonces(x - k) divide a m_T(x)
7) Descomposicin primaria de V.
Suponga que m_T(x) = p_1^{e_1}(x) ... p_t^{e_t}(x), donde los e_i son enteros positivos y los p_i(x) son
polinomios irreducibles de m_T(x). Los polinomios q_i(x) = p_i^{e_i}(x) se llaman factores primarios
de m_T(x).
Estn asociadas a la descomposicin primaria de V como veremos en el siguiente teorema, llamado
teorema de la descomposicin primaria.
Teorema: Sea V un E.V sobre K, dim V = n. Sea T en L(V) y m_T(x) = q_1(x) ... q_t(x), donde los q_i(x)
son los factores primarios de m_T(x), como arriba.
Entonces
A) V = W_1 +...+ W_t (donde la suma es directa) y donde W_i = ker q_i(x) para i=1,...,t.
B) W_i = f_i(T) V, donde f_i(x) = m_t(x)/q_i(x)
El teorema lo deduciremos como un corolario, que se demuestra por induccin (debern hacerlo) de
la siguiente
resultado:
Lema: Supongamos que m_T(x) = f_1(x) f_2(x), para ciertos polinomios f_1(x) y f_2(x), coprimos entre
s.
Sea W_i = Ker f_i(T) para i=1 y 2.
Sean W'_1= f_2(T)(V) y W'_2 = f_1(T)(V)
Entonces:
A) V es la suma directa de W_1 y W_2
B) W_i = W'_i
Observe que el lema es practicamente el caso t=2 del teorema, excepto que f_1(x) y f_2(x) no son
necesariamente
factores primarios de m_T(x).
Esquema de la demostracin del lema:
1) Usar el hecho de que (f_1(x), f_2(x))=1 para deducir que
V = W'_1 + W'_2 (solo suma, veremos que es directa mas adelante)
2) Observar que W'i esta contenido en W_i para i=1,2.
3) Deducir que V = W_1 + W_2.
4) Mostrar que W_1 interseccin W_2 = 0
Ejercicio 2.5
e1) Deducir el teorema de descomposicin primaria a partir del lema.
e2) Mostrar que T es diagonalizable si, y slo si, m_T(x) = (x - k_1)...(x - k_t),
donde los k_i estn en K y son diferentes dos a dos