Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 (
una funcin
a. Muestre que si , ,
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 , , . . .
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
. Sea y .
un
morfismo, con
la matriz para
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 base cannica de
,y ,
,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 , , .
, .
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
una
0. Muestre que si entonces 1. Muestre que si identidad en 2. Muestre que si isomorfismo. 3. Muestre que si entonces
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.
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
vectorial e es un conjunto, entonces conjunto de todas las funciones de en Buena suerte. -Andrs.
, el , es un espacio vectorial