Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Lineal - Clara Mejia
Algebra Lineal - Clara Mejia
Primera edicin, febrero de 2006 Todos los derechos reservados. No se permite la reproduccin, archivo o transmisin total o parcial de este texto mediante ningn medio, ya sea electrnico, mecnico, ptico, de fotorreproduccin, memoria o cualquier otro sin permiso de los editores Ude@. Impreso en Medelln, Colombia. Imagen de la portada Fotografa de la escultura Fuente ceremonial La Fuente ceremonial fue la obra ganadora del concurso promovido por el municipio de Medelln para la celebracin de los 200 aos de la Universidad. Esta pieza en ferroconcreto, enchapada en granito, est inspirada en los sitios rituales y hace parte de una serie que su autor, el maestro Germn Botero Giraldo, viene trabajando desde 1990 con el tema de lo prehispnico. La forma circular invita a la reunin y a la comunin csmica presente en las culturas indgenas. El elemento vertical es un hacha de la cual fluye agua, convirtindola en fuente. El agua est presente como elemento refrescante, de sonido, brillo y vida, as como los rboles dentro de la escultura, que crecern y crearn sombra; ms que una escultura, es un espacio escultrico, un sitio para que la gente lo habite, dice su autor. La Fuente ceremonial, situada junto a la entrada occidental de la calle Barranquilla, forma parte de las grandes obras que embellecen el campus universitario y refuerza el ideal de hacer de ste un espacio abierto a la cultura, la ciencia y el conocimiento.
Acerca de la
Autora
autora
Clara Elena Meja Laverde
Ingeniera industrial (1977) de la Universidad Nacional y magster (1996) en Educacin (Pensamiento Lgico-Matemtico) de la Universidad de Antioquia. Actualmente es profesora titular del Departamento de Matemticas de la Universidad de Antioquia.
Como estudiante del programa Ude@, usted es el centro del modelo educativo y puede controlar el proceso de aprendizaje mediante la organizacin del tiempo alrededor de sus intereses. La autonoma, la disciplina, la creatividad y el trabajo en equipo son caractersticas que le ayudarn en su formacin, para solucionar problemas reales de la sociedad, recurriendo al mtodo de la ingeniera. La Universidad de Antioquia, a travs del programa Ude@, ha puesto a su disposicin contenidos acadmicos en diferentes medios con el fin de facilitarle el aprendizaje mediante las tecnologas de informtica y telecomunicaciones clsicas y modernas: Radio Televisin Impresos Web Multimedia Videoconferencias
El texto Ude@
En el modelo Ude@ los conocimientos son aportados por cada medio en igualdad de importancia y con las fortalezas propias de cada uno de ellos, pero el texto desempea un papel fundamental en el aprendizaje ya que es el que ms diversidad ofrece en trminos de funcionalidad y cantidad de contenidos. El texto Ude@ no slo permite analizar con ms detalle y profundidad los contenidos de cada curso, sino que facilita en mayor medida la realizacin de ejercicios, tareas y autoevaluaciones.
Los iconos de radio, televisin, multimedia, mapa conceptual, videoconferencia o web le indicarn la ruta a seguir. Por ello es importante que sepa que sobre el tema que est estudiando en el mdulo impreso, tambin hay material disponible en otros medios, y que ese material representa valor agregado puesto que el contenido de los diferentes formatos no se repite sino que se complementa.
El mapa conceptual
Al comienzo del texto Ude@ usted encontrar un mapa conceptual del curso, que lo orientar en el universo temtico de la disciplina. Esta herramienta pedaggica hace posible la integracin conceptual, jerrquica y funcional, en forma grfica y espacial, de todos los contenidos.
lgebra Lineal
Contenido
21 33 35 40 43 49 51 58
61
69
71
80
83
93
Captulo 2: Ortogonalidad
Mdulo 8 Bases ortonormales y proyecciones en Ejercicios Captulo 2, mdulo 8 Mdulo 9 Mtodo de aproximacin por mnimos cuadrados Ejercicios Captulo 2, mdulo 9 Mdulo 10 Espacios con producto interno Ejercicios Captulo 2, mdulo 10
n
99
113
115
123
125
135
150
153
161
163
178
183
193
195
203
Tabla de contenido
Captulo 4: Valores cara ctersticos, vectores caractersticos, caractersticos , diagonalizacin y formas cannicas caractersticos,
Mdulo 16 Valores y vectores caractersticos Ejercicios Captulo 4, mdulo 16 Mdulo 17 El problema de la diagonalizacin Ejercicios Captulo 4, mdulo 17 Mdulo 18 Aplicaciones de la teora de valores y vectores cartactersticos Ejercicios Captulo 4, mdulo 18 Mdulo 19 Forma cannica de Jordan Ejercicios Captulo 4, mdulo 19 207
225
227
233
235
248
251
260
271
273
288
289
299
301 305
lgebra Lineal
El objetivo al redactar este texto ha sido desarrollar las ideas bsicas del lgebra lineal y mostrar algunas aplicaciones interesantes, haciendo un balance para no recargar demasiado el desarrollo terico y mantener un equilibrio entre la abstraccin y la aplicacin. As, algunas demostraciones de teoremas que resultan fcilmente accesibles a los estudiantes se dejan propuestas como ejercicios, y otras, demasiado dificiles para el nivel de un curso introductorio, no se presentan. El hilo conductor en la presentacin de los temas ha sido la solucin de los problemas bsicos del lgebra lineal, enunciados por el profesor William Perry, as: 1. El problema de la solucin de un sistema de ecuaciones lineales. 2. El problema de la construccin de una base para un espacio vectorial. 3. El problema de la construccin de una matriz que represente una transformacin lineal. 4. El problema de los valores y los vectores caractersticos. 5. El problema de la diagonalizacin.
Prlogo
En la actualidad existen muchos programas de computador que permiten desarrollar una amplia variedad de tpicos y resolver gran cantidad de problemas que de otra forma consumiran mucho tiempo y probablemente induciran a cometer errores, dada la magnitud de los clculos que se tienen que realizar. El lenguaje de computacin MATLAB es un excelente programa, fcil de usar, y calificado para trabajar problemas de lgebra lineal. Este libro no ensea el manejo de ese programa; sin embargo, en la multimedia disponible para el curso se plantean algunos ejercicios utilizando esta herramienta. Agradezco cualquier sugerencia que pueda contribuir a mejorar posteriores ediciones de este texto. Todas ellas pueden enviarse a: clame@matematicas.udea.edu.co. La autora
De stos, el problema de la solucin de un sistema de ecuaciones lineales ya fue tratado en el texto de Geometra Vectorial, en el cual se hace una introduccin al lgebra lineal. Es importante entonces hacer notar que en este texto no hay un desarrollo completo del lgebra lineal bsica, sino que contina la exposicin de los temas ya comenzada en el curso anterior y por este motivo no se tratan los temas de sistemas de ecuaciones lineales y determinantes. El problema de la construccin de una base para un espacio vectorial se trata en el captulo 1 sobre espacios vectoriales, y en el captulo 2, ortogonalidad, donde se introduce un algoritmo para la construccin de una base ortonormal en un espacio vectorial. El tercer problema, la construccin de una matriz que represente una transformacin lineal, se resuelve en el captulo 3 sobre transformaciones lineales, y los problemas de valores y vectores caractersticos y diagonalizacin son tratados en los captulos 4 y 5.
Captulo 1
Espacios vectoriales
Mdulo 1 Definicin y propiedades del espacio vectorial Ejercicios Mdulo 1 Mdulo 2 Subespacios Ejercicios Mdulo 2 Mdulo 3 Combinacin lineal y subespacio generado Ejercicios Mdulo 3 En el desarrollo de la geometra vectorial hemos identificado los vectores con los elementos de 2 y 3 escribindolos como parejas o ternas ordenadas de nmeros reales, respectivamente; una vez hecho esto surge el problema de generalizar este concepto y tener vectores como n-tuplas, conjuntos ordenados de n componentes en un espacio de n dimensiones. Ahora, por qu querramos hacer esto? La respuesta puede ser tan simple como decir que la mayora de los problemas de la vida real involucran ms variables que slo dos o tres. Es claro que cuando generalizamos el concepto de vector a n dimensiones ya no tenemos la intuicin geomtrica que desarrollamos para el plano ( 2 ) y el espacio
( 3 ), pero podemos conservar las propiedades algebraicas.
El poder lanzar al espacio un trasbordador es el fruto de aos de trabajo y un triunfo de la ingeniera de sistemas de control. Matemticamente, las seales de entrada y de salida de un sistema de control son funciones y es importante que estas seales puedan sumarse y multiplicarse por escalares. Estas dos operaciones con funciones tienen propiedades algebraicas anlogas a las operaciones de sumar vectores en n y multiplicar un vector por un escalar. Por esta razn, el conjunto de todas las posibles entradas (funciones) se llama espacio vectorial.
Mdulo 4 Independencia lineal Ejercicios Mdulo 4 Mdulo 5 Bases y dimensin Ejercicios Mdulo 5 Mdulo 6 Subespacios asociados con una matriz
Nos proponemos definir una estructura algebraica llamada espacio vectorial, donde se pueden reunir los conjuntos 2 , 3 y, en general, n , adems de otros conjuntos tales como las matrices y los polinomios. Con esta abstraccin podemos
identificar los vectores como los elementos de un espacio vectorial y en esta forma tratar las matrices o los polinomios como vectores. Dentro de los espacios vectoriales podemos reconocer conjuntos que guardan en su interior la estructura de espacio vectorial, llamados subespacios. Una vez establecida la estructura desarrollamos los conceptos de combinacin lineal, independencia lineal, base y dimensin, los cuales constituyen los ladrillos para la construccin de espacios vectoriales. Ubicamos como problema central en este captulo la determinacin de una base para un espacio vectorial. Otros elementos que aportan a la solucin de este problema bsico se presentan en el estudio de los subespacios asociados con una matriz y en el establecimiento de coordenadas y cambio de base.
20
Preguntas bsicas
1. Qu es un espacio vectorial? 2. Qu propiedades deben cumplir las operaciones definidas de suma y producto por un escalar? 3. Cules son los espacios vectoriales ms usuales? 4. Qu propiedades tienen el mdulo del espacio y el inverso aditivo de cada vector? 5. Qu otras propiedades algebraicas se desprenden de la definicin de espacio vectorial?
Introduccin
Iniciamos este mdulo presentando algunos ejemplos en los cuales observamos propiedades comunes que sern los puntos de partida o axiomas para la definicin de espacio vectorial. Una vez establecido este concepto se ilustra con otros ejemplos y se extraen las principales propiedades algebraicas de los espacios vectoriales.
Vea el mdulo 1 del programa de televisin lgebra Lineal
21
1.1 Ejemplos introductorios 1.1.1 Las fuerzas que pueden actuar sobre un punto
Vea en su multimedia de lgebra Lineal el cdigo fuente en MATLAB para ilustrar Propiedades de los espacios vectoriales
Representemos F1 y F2 por vectores cuya direccin y sentido corresponden a los de las fuerzas dadas y su longitud (en una escala determinada) mide la magnitud; entonces, la resultante queda determinada por la diagonal del paralelogramo, dos de cuyos lados son los segmentos correspondientes a F1 y F2 (figura 1.1).
Figura 1.1
Sea T el conjunto de todas las fuerzas que actan sobre P; entonces, podemos decir que: i. Si F1 y F2 pertenecen a T, F1 + F2 pertenece a T. Si sobre P tenemos tres fuerzas distintas F1 , F2 y F3 , podemos calcular su resultante de dos formas distintas: ( F1 + F2 ) + F3 o bien F1 + ( F2 + F3 ). Es decir, calculando primero F = F1 + F2 y luego la resultante de F con F3 , o bien calculando primero F = F2 + F3 y luego la resultante de F1 y F . Una representacin geomtrica nos muestra que (figura 1.2): ii.
( F1 + F2 ) + F3 = F1 + ( F2 + F3 ).
22
Figura
1.2
Por otra parte, existe una fuerza de magnitud cero, fuerza nula, que podemos designar 0 y tiene la propiedad de que: iii.
F + 0 = 0 + F = F.
Ahora, si llamamos la opuesta de F a una fuerza F que tiene la misma magnitud y direccin que F pero sentido contrario, encontramos que la resultante de F y F es cero, es decir: iv. Para cada F existe F , tal que F + F = 0. Esta F se llamar F . Por ltimo, es claro que el orden en que se consideran las fuerzas no altera la resultante, esto es: v.
F1 + F2 = F2 + F1 .
Veamos ahora otra operacin: si F es una fuerza y un nmero real, llamamos F la fuerza que tiene la misma direccin de F, su magnitud es veces la de F y su sentido es el mismo de F si es positivo, y opuesto a F si es negativo. Hemos entonces definido una operacin cuyos factores son una fuerza y un nmero real y su resultado es otra fuerza. Esta operacin se dice que es externa ya que hace intervenir un elemento (el nmero ) que no pertenece al conjunto T. Veamos algunas propiedades de esta operacin: vi. Si es un nmero real y F T , entonces F T . Razonando geomtricamente, podemos verificar que (figura 1.3): lgebra Lineal Elemental y Aplicaciones
23
( F1 + F2 ) = F1 + F2 .
Figura 1.3
( F ) = ( ) F .
1 F = F .
o sea que la suma de dos parejas de 2 es otra pareja de 2 ; se cumple entonces que: i. Si ( x1 , y1 ) y ( x2 , y2 ) 2 , entonces ( x1 , y1 ) + ( x2 , y2 ) 2 . Hay tambin una ley asociativa, es decir,
(( x1 , y1 ) + ( x2 , y2 )) + ( x3 , y3 ) = ( x1 + x2 , y1 + y2 ) + ( x3 , y3 ) = ( x1 + x2 + x3 , y1 + y2 + y3 ).
24
As mismo, para cada par ( x, y ) podemos tomar el par ( x, y ), de modo que: iv.
( x, y ) + ( x, y ) = (0, 0).
Entonces, v.
( x1 , y1 ) + ( x2 , y2 ) = ( x2 , y2 ) + ( x1 , y1 ).
Definimos ahora una segunda operacin, externa, entre un nmero real y un par as:
( x, y ) = ( x, y ),
2 cuyo resultado es un elemento de ; con esta operacin se verifican las siguientes propiedades:
vi.
vii.
(( x1 , y1 ) + ( x2 , y2 )) = ( x1 , y1 ) + ( x2 , y2 ).
Demostracin
(( x1 , y1 ) + ( x2 , y2 )) = ( x1 + x2 , y1 + y2 ) = ( ( x1 + x2 ), ( y1 + y2 ))
= ( x1 + x2 , y1 + y2 ).
De otro lado,
( x1 , y1 ) + ( x2 , y2 ) = ( x1 , y1 ) + ( x2 , y2 ) = ( x1 + x2 , y1 + y2 ).
viii.
( + )( x, y ) = ( x, y ) + ( x, y ).
25
( x, y) + ( x, y) = ( x, y) + ( x, y) = ( x + x, y + y).
ix.
( ( x, y)) = ( )( x, y).
Demostracin
( ( x, y)) = ( x, y) = ( x, y) y
( )( x, y ) = ( x, y ).
x.
1( x, y ) = ( x , y ).
Demostracin
1( x, y ) = (1x,1 y ) = ( x, y ).
1.2 Definicin
Los ejemplos anteriores nos sirven para obtener un conjunto de propiedades comunes a ellos. Todos los resultados que podamos deducir a partir de dichas propiedades sern vlidos en los ejemplos realizados y en cualquier otro que goce de las mismas propiedades. A estas propiedades comunes las llamamos axiomas en la siguiente definicin. Un espacio vectorial V es un conjunto de objetos llamados vectores con dos operaciones, suma y producto por un escalar, que satisface los siguientes axiomas: i. Si a y b son elementos de V, entonces a + b pertenece a V; o de otra forma, la suma es una operacin cerrada en V.
(a + b) + c = a + (b + c) para todo a, b, c V .
Existe un elemento 0 en V tal que a + 0 = 0 + a = a para toda a V . Para cada a V existe un elemento a V tal que a + (a) = 0.
a + b = b + a para todo a, b en V .
Si a V y es un escalar ( o C), entonces a V . Es decir, V es cerrado bajo la operacin producto por un escalar.
vii.
26
Nota: cuando los escalares son nmeros reales, decimos que se trata de un espacio vectorial real, y en caso de que sean nmeros complejos hablamos de un espacio vectorial complejo. En el axioma viii debe notarse que el signo + al lado izquierdo de la igualdad se refiere a la suma en el conjunto de escalares, y el signo + al lado derecho denota la suma en el conjunto de vectores V.
1.3 Ejemplos
1.