lgebra Lineal Taller: Transformaciones lineales

Andrs Forero Cuervo

Date: Octubre de 2004 Definicin 1 Sean que es: espacios vectoriales, y sea . Diremos

1. Una transformacin lineal (o morfismo ) si dados , . 2. Un monomorfismo si es un morfismo inyectivo. 3. Un epimorfismo si es un morfismo sobreyectivo. 4. Un isomorfismo si es un morfismo biyectivo. Adems llamaremos de , donde (

para abreviar) al espacio de morfismos

es la funcin constante cero, esto es:

Y la suma y producto escalar en 1. Si por 2. Si por Ejercicios: 1. Sea , , entonces . , entonces

se definen as: es la transformacin dada . es la transformacin dada

una funcin

a. Muestre que si , ,

es un morfismo, entonces para todo y , y , , entonces es un . Muestre que

si para todo

morfismo. 2. Para cada una de las siguientes funciones, determine si es o no un morfismo (esto es, una transformacin lineal), dando una prueba o un contraejemplo: 1. 2. 3. 4. 5. 6. primero que 3. Sea transformacin la . ]. , , , , ( . . ). [Verifique , , . . .

0. Calcule ,y en general. 1. Dibuje cmo se transforma bajo el siguiente conjunto:

2. Halle tal que . 3. Defina . 4. Indique cmo se transforma el dibujo anterior bajo . 4. Sea un isomorfismo. Demuestre que existe un nico tal que que es un isomorfismo [A tal y le llamamos . Demuestre ]. Demuestre adems

que . 5. A cada espacio vectorial de la izquierda asocie un espacio vectorial de la derecha que sea isomorfo a ste, y defina un isomorfismo entre ellos:

6. Sea

una base para

una base para

. Sea y .

un

morfismo, con

la matriz para

respecto de las bases

Demuestre que no es un isomorfismo si y slo si . 7. Encuentre un morfismo tal que a cada punto lo rote un ngulo de grados, lo triplique y lo refleje respecto al eje . Dibuje cmo queda transformado el cuadrado unitario. 8. Encuentre un morfismo tal que a cada vector lo refleje respecto de la recta , lo reduzca a la mitad, y lo rote Dibuje cmo queda transformado el cuadrado unitario. grados.

9. Sea por , 10. Sea sea entonces 11. Sea Halle donde Calcule , y .

la transformacin lineal dada . Encuentre ,

la base cannica de

,y ,

,y

la transformacin dada por: si . , respecto de las bases y , .

. Haga un dibujo de casillas para , y halle la matriz respecto de las bases y

. .

12. Para cada una de las siguientes funciones : 0. Demuestre que es un morfismo [morfismo = transformacin lineal]. 1. 2. 3. 4. 5. 6. Halle , , y . Determine si es un monomorfismo, epimorfismo o isomorfismo. Si es un monomorfismo, encuentre su monomorfismo inverso. Describa en palabras (si es fcil) el efecto de la transformacin . Haga un dibujo de casillas para . , , donde

7. 8. 9.

, , ,

. . .

10. ( matriz fija) donde es invertible. 11. 12. 13. Sea por Sea Halle que 14. Sea funcin que: 0. 1. Si 2. Si y y . son inyectivas, entonces son biyectivas, entonces , , dada por respecto de y y , , .

, .

la transformacin dada . . tal , y . es la . Muestre

, esto es, una matriz ,

. Halle adems . Sea

, esto es, , para

tambin lo es. tambin lo es. si

3. Si y son isomorfismos, entonces tambin lo es. 15. Dados y espacios vectoriales, diremos que se sumerge en existe un monomorfismo . Muestre que: 0. se sumerge en . 1. 2. se sumerge en se sumerge en diagonales de 3. Si 4. Si se sumerge en se sumerge en ). , entonces y se sumerge en . , entonces ( . (donde ). es es espacio de matrices

16. Sean base,

espacios vectoriales, con y , , esto es, , , esto es, , y , .

una

0. Muestre que si entonces 1. Muestre que si identidad en 2. Muestre que si isomorfismo. 3. Muestre que si entonces

, para todo , entonces para todo . , entonces , ?. , , entonces , entonces , Cunto es un es es un . es la

no es un monomorfismo. Cunto vale

4. Muestre que si es independiente y entonces es un monomorfismo. 5. Muestre que si epimorfismo. genera a y -base y

6. Muestre que si es una un isomorfismo. 17. Si vale particular complejos...] 18. Sea ( , y

? [Ayuda: Piense primero en el caso , y a continuacin piense en ejemplos ms ) el conjunto de todas las sucesiones

reales, esto es, tuplas de la forma , donde . Definimos la suma entre tuplas y la multiplicacin por escalar de manera natural, esto es, Adems, Qu dimensin tiene ,y , esto es, la tupla constante . ? .

Sean 0. 1. 2. que 3. 4. 5. 6.

los siguientes subconjuntos de

es el conjunto de sucesiones convergentes. es el conjunto de sucesiones es el conjunto de sucesiones converge. es el conjunto de sucesiones eventualmente cero, esto tales que tales converge.

7.

8.

es, tales que existe tal que para todo , . Demuestre que los anteriores son todos subespacios de . Demuestre que para todo , se sumerge en . Demuestre que si es un espacio vectorial de dimensin finita, entonces se sumerge en . [Coloquialmente, ``Todo espacio de dimensin finita vive dentro de ]. Sea un espacio vectorial con la propiedad de que todo espacio de dimensin finita se sumerge en l. Demuestre que tiene dimensin infinita y adems se sumerge en . [Coloquialmente, es mnimo (respecto a sumersin) con la propiedad de alojar a todo espacio de dimensin finita.] Establezca una jerarqua y y (Cules es subespacio de ) Demuestre que si es un espacio

entre cules?) 9. (Generalizacin de

vectorial e es un conjunto, entonces conjunto de todas las funciones de en Buena suerte. -Andrs.

, el , es un espacio vectorial