Algebra Lineal Semana del 5 al 9 de noviembre de 2012 Bases de Espacios Vectoriales y Dimensin.

. Definicin: Espacio Vectorial de Dimensin Finita: Sea un espacio vectorial y una base de . Si es un conjunto finito, se dice que el espacio vectorial es de dimensin finita. Por otro lado, si es un conjunto infinito, se llama a un espacio vectorial de dimensin infinita. Teorema: El conjunto mismo, si y slo si, todo vector vectores . de vectores del espacio vectorial es una base del se expresa de forma nica como combinacin lineal de los

Teorema: Sea un espacio vectorial de dimensin finita y suponga que una base de . Sea un conjunto de vectores de . Si linealmente dependiente.

, entonces

es es

Corolario: Suponga que y son bases del espacio vectorial de dimensin finita . Entonces . Es decir, dos bases cualesquiera de un mismo espacio vectorial poseen la misma cantidad de vectores. Definicin: Dimensin de un Espacio Vectorial: Sea un espacio vectorial de dimensin finita. La dimensin de , denotada se define como el nmero de vectores en cualquier base de . Es decir . Operaciones con Subespacios Vectoriales. Definicin: Conjuntos Unin, Interseccin y Suma: Sean espacio vectorial . Se definen los subconjuntos: Teorema: Sea i. ii. iii. un espacio vectorial. Sean y subespacios vectoriales de . Entonces: y subespacios vectoriales del

es un subespacio vectorial de . es un subespacio vectorial de , si y slo si es un subespacio vectorial de .

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Espacios Vectoriales Asociados a una Matriz. Dada la matriz:

Dados los vectores

que se obtienen a partir de las

columnas de la matriz . Y dados los vectores se obtienen a partir de las filas de la matriz . Definicin: Espacio Columna de una Matriz: Se define al espacio columna de , denominado como el generado por las columnas de la matriz . Es decir:

que

Definicin: Espacio Fila de una Matriz: Se define el espacio fila o rengln de , denotado , como el generado por las filas o renglones de la matriz . Es decir:

Definicin: Ncleo y Recorrido de una Matriz: Sea o , se define como:

. El ncleo o kernel de , denotado

El recorrido o imagen de , que se denota

, se define como:

Teorema: Sea . El ncleo de es un subespacio vectorial de recorrido de es un subespacio vectorial de . Definicin: Nulidad y Rango de una Matriz: Sea , como la dimensin del ncleo. Es decir:

, mientras que el

. Se define la nulidad de , denotada

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Se define el rango de , denotado

, como la dimensin del recorrido. Es decir:

Teorema: Sea i. ii. iii. .

. Entonces se cumple que:

. .

------------------------------------------------------------------------------------------------------------------------------------------

Demostraciones. A continuacin demostrar algunos de los teoremas de la seccin terica de este documento como refuerzo para entenderlos mejor. Teorema: El conjunto mismo, si y slo si, todo vector vectores . de vectores del espacio vectorial es una base del se expresa de forma nica como combinacin lineal de los

Este teorema nos indica lo siguiente: Se puede escribir vectores como combinacin lineal de una base del espacio vectorial, lo cual es lgico porque una base es por definicin un conjunto generador. Por ejemplo puedo escribir al vector como utilizar otros escalares para formar al mismo vector, escribirlo con otros escalares conjunto no es una base de como combinacin lineal del conjunto . Sin embargo, notemos que se puede o puedo . Segn el teorema el porque podemos escribir al vector como

combinacin lineal de dicho conjunto de varias maneras (distintos juegos de escalares). El conjunto sera base de si existe un nico juego de escalares o una nica forma de escribir a cualquier vector como combinacin lineal del conjunto. Demostremos esto: Demostracin: La proposicin es un bicondicional, por lo que su demostracin tiene dos partes. 1) Si el conjunto mismo, entonces todo vector de los vectores . de vectores del espacio vectorial es una base del se expresa de forma nica como combinacin lineal

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sea , se va a suponer que existen dos posibles formas de escribirlo como combinacin lineal del conjunto , es decir, que existen dos juegos de escalares, y se demostrar que estos juegos de escalares son iguales. Por hiptesis es base de tales que: , por lo tanto existen escalares y escalares

Y adems:

Por definicin de espacio vectorial,

y por teorema

, por lo tanto:

Podemos reemplazar al vector por su respectiva combinacin lineal, y ya que ambas combinaciones forman al mismo vector podemos utilizar la que deseemos, utilizar una en cada reemplazo del vector:

Ya que los vectores constituyen una base de , son por definicin linealmente independientes, entonces al estar en combinacin lineal igualados al vector cero, los escalares que los acompaan son obligatoriamente cero.

2) Si todo vector se expresa de forma nica como combinacin lineal de los vectores , entonces el conjunto es una base de . Se va a suponer que , existe un nico juego de escalares tales que:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Por definicin, si todo vector de .

se puede escribir como combinacin lineal de , entonces

Sabemos que , y que dicho vector se lo puede escribir como combinacin lineal del conjunto utilizando los escalares:

Por hiptesis, todo vector del espacio se puede escribir como combinacin lineal del conjunto por medio de un nico juego de escalares, por lo cual la nica forma de escribir al vector es la que se muestra, que indica que . Por definicin, podemos afirmar que es linealmente independiente.

Teorema: Sea un espacio vectorial de dimensin finita y suponga que una base de . Sea un conjunto de vectores de . Si linealmente dependiente.

, entonces

es es

El teorema nos indica que si tenemos una base de un espacio vectorial, y dicha base tiene elementos, entonces cualquier conjunto con ms de elementos es linealmente dependiente. Desarrollemos la demostracin: Demostracin: Se busca probar que los vectores son linealmente dependientes, por lo que recurriremos a la definicin de dependencia lineal. Se colocarn estos vectores en una combinacin lineal igual al vector cero y se buscar que los escalares puedan tomar varios valores para que esto se cumpla:

Por hiptesis, tenemos una base en este espacio vectorial que es definicin dicha base genera a todo vector del espacio incluyendo a los vectores decir podemos reemplazarlos como:

y por , es

Reagrupando la ecuacin para que quede una combinacin lineal de los elementos de la base, tenemos:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Por definicin, los vectores son linealmente independientes y por lo tanto podemos afirmar que los escalares que acompaan a cada vector al estar en una combinacin lineal igual a son todos obligatoriamente cero. Es decir:

Esto es un sistema lineal homogneo de ecuaciones con incgnitas, que son los escalares , y que pueden tener solucin nica (la trivial en la que todos son ) o soluciones infinitas. Sin embargo, por hiptesis y todo sistema lineal homogneo con ms incgnitas que ecuaciones tiene soluciones infinitas. Por lo tanto los escalares no son obligatoriamente cero.

Corolario: Suponga que y son bases del espacio vectorial de dimensin finita . Entonces . Es decir, dos bases cualesquiera de un mismo espacio vectorial poseen la misma cantidad de vectores. Los corolarios son teoremas que se basan en otros. Este es uno que se basa en el que acabo de demostrar. Recordemos que toda proposicin es equivalente a su contrarrecproca, por lo tanto decir que Si un conjunto tiene ms vectores que una base, entonces ese conjunto es linealmente dependiente, es equivalente a decir que Si un conjunto es linealmente independiente, entonces tiene menor o igual cantidad de vectores que una base. Utilizaremos eso para demostrarlo: Demostracin: Por hiptesis es base del espacio vectorial , y su cantidad de elementos es (su cardinalidad). tambin es una base de y, al serlo, es por definicin linealmente independiente. Ya que es base y es linealmente independiente, se tiene que:

Ahora bien, por hiptesis es base del espacio vectorial , y su cantidad de elementos es (su cardinalidad). tambin es una base de y, al serlo, es por definicin linealmente independiente. Ya que es base y es linealmente independiente, se tiene que:

La nica forma de satisfacer ambas inecuaciones es que: Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Con esto queda establecido que sin importar cuantas bases obtengamos de un espacio vectorial, todas tendrn igual cantidad de elementos, y esa cantidad de elementos que tienen todas las posibles bases de un espacio se llamar dimensin del espacio vectorial.
------------------------------------------------------------------------------------------------------------------------------------------

Problemas. Sea y sean los subespacios:

Determine: a. Una base para y . b. Una base para el subespacio Solucin: Se construirn ambos espacios vectoriales en trminos de sus condiciones, para con ello obtener fcilmente una base de cada uno y luego intersecarlos. Sea

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sea

entonces

Sea

Sea

entonces

Ahora bien. Por definicin, la interseccin de estos espacios es:

O lo que es equivalente:

Existen condiciones redundantes y se proceder a reducirlas: pero , por lo tanto . La segunda condicin dice , pero reemplazando lo ya conocido, se tiene . Y la cuarta condicin dice que lo cual ya se haba determinado. Es decir, esta es una condicin redundante. Se redefine el espacio como:
Se tiene que

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sea

entonces

Sea

y sean los vectores:

Y sea a. b. Si Solucin:

. Determine el valor de , tal que: . , determine .

a) El problema tiene una pequea trampa, est propuesto de tal forma que cuando se quiera determinar el valor de para que , por intuicin uno dira entonces del conjunto generador, slo hay UN vector linealmente independiente, los otros dos quedan en funcin de dicho vector, acto seguido el estudiante trata de expresar a ya en trminos de o viceversa. Puede que se encuentre la respuesta pero se obtendrn ecuaciones complicadas donde el estudiante puede confundirse fcilmente. Lo aconsejable es decir Si el conjunto fuese linealmente independiente, sera una base y , por lo tanto si me piden que sea o , me piden que el conjunto sea linealmente dependiente. Con esa ideologa atacaremos el problema: Dada la combinacin lineal: Se desea que los escalares no sean obligatoriamente iguales a cero.

Los vectores

son linealmente independientes en

, por lo cual:

He expresado el sistema lineal homogneo de ecuaciones en notacin matricial, es decir matriz de coeficientes por vector de incgnitas igual a vector de resultados . Recordemos que para determinar si el sistema tiene solucin nica o soluciones infinitas se puede utilizar el criterio del determinante. Dicho criterio indica que si , el Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

sistema tiene soluciones infinitas, mientras que si , el sistema tiene solucin nica, que es la trivial. Esto slo aplica a un sistema lineal homogneo. Intentemos que el sistema tenga soluciones infinitas para con ello asegurar la dependencia lineal.

La solucin a esta ecuacin cuadrtica nos dir los valores de para los cuales el conjunto es linealmente dependiente, evaluando cada solucin veremos con cual se obtiene que la dimensin sea y con cual se obtiene que la dimensin sea .

Este resultado puede impactar un poco y confundir al estudiante, que al llegar a este punto usualmente decide rendirse y no resolver el problema. Encontrmosle sentido y lgica al resultado: Los valores de que resuelven la ecuacin son races complejas y conjugadas. Es decir, no existe valor real de que resuelva la ecuacin. Qu deca la ecuacin? Deca que el determinante de la matriz de coeficientes del sistema es cero. Es decir, no existe valor de que permita al determinante ser cero. Qu ocurre si el determinante no es cero? El sistema no puede tener soluciones infinitas, dicho de otra forma, tendr solucin nica. Es decir, no existe valor real de que permita al sistema tener soluciones infinitas, y para cualquier valor real de , el sistema tendr solucin nica. Qu significa que el sistema tenga solucin nica? La solucin representa los valores que toman los escalares , es decir que para cualquier valor real de , los escalares tomarn nicamente el valor trivial que es cero. Finalmente esto nos dice que para cualquier valor real de , el conjunto es linealmente independiente y, al ser por hiptesis un conjunto generador, constituye una base de . La respuesta finalmente sera: No existe valor real de que permita a tener dimensin igual a o igual a . b) En base a lo visto en el literal a), podemos afirmar que, si entonces puesto que para todo valor real de , se cumple que .

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Formar una base para

usando los vectores

Solucin: Ntese que si queremos formar una base de se necesita tener vectores ya que . Es decir, necesitamos aadir un vector a este conjunto tal que el conjunto resultante genere a todo y adems sea linealmente independiente. Si nos piden utilizar esos vectores es lgico que sean linealmente independientes entre s pero de todos modos verifiquemos:

Por lo tanto los vectores que nos piden utilizar son linealmente independientes. Gracias a la demostracin que desarrollamos la semana pasada se puede afirmar que si encontramos un vector , entonces el conjunto seguir

siendo linealmente independiente. Para esto determinemos los vectores que pueden ser generados por este conjunto:

Sea

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

El espacio generado por los vectores que nos dan es:

Si definimos un vector

vemos que no cumple con las condiciones del espacio que

acabamos de definir. Por lo tanto

. Y esto implica que el

nuevo conjunto base de

es linealmente independiente. Para que sea una puede ser generado por este conjunto.

slo nos queda definir si todo vector de

Sea

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Hemos reducido esta matriz a su forma escalonada y vemos que no hay forma de que quede una fila de ceros. Es decir, no hay ninguna posible inconsistencia en el sistema de ecuaciones, lo que indica que para cualquier combinacin de valores que formen cualquier vector de , existir alguna combinacin de escalares que lo formen como combinacin lineal del conjunto . Es decir

Ya que este conjunto genera a

y es linealmente independiente, se concluye que el conjunto .

es una base de

Determine todos los valores de . Solucin:

para los cuales

es una base para

El conjunto en cuestin tiene elementos como debera tener cualquier base de , puesto que . Faltara verificar si es generador y linealmente independiente. Definimos el vector tpico generado por este conjunto: Sea dicho vector es tambin una representacin de cualquier vector de . . Se busca determinar si

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Deseamos que todo vector de sea generado por este conjunto, para ello necesitamos que este sistema de ecuaciones sea siempre consistente. Para que el sistema sea siempre consistente se necesita que no queden filas llenas de ceros. Es decir hay que evitar que indica que debemos evitar que , lo que

. Esta ltima ecuacin como tal es inconsistente si

por lo que no puede tomar ese valor. Adems, si o la ecuacin se cumple, por lo que debemos tambin evitar esos valores. Encontramos entonces que el conjunto genera a todo para todo que no sea . Revisemos la independencia lineal del conjunto:

Nos apoyaremos en el criterio del determinante, que dice que para que el conjunto sea linealmente independiente, el sistema de ecuaciones debe tener solucin nica, es decir que el determinante de la matriz de coeficientes del sistema debe ser diferente de cero:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

El conjunto entonces es linealmente independiente para todo valor . Como podemos notar, son los mismos valores para los cuales el conjunto es generador. Podemos concluir que:

Califique como verdadera o falsa la proposicin y justifique: Si es subespacio vectorial. Solucin: Por teorema (vase seccin terica en este documento), el conjunto es un subespacio vectorial de (en este caso de ) si y slo si o . Por lo tanto se realizar dicha verificacin. Sea los vectores en tanto . Ya que se revisar si . Ya que es un vector tpico o representativo de todos estn tambin en y que por lo y . Entonces s

, esto demostrar que todos los vectores de

entonces cumple las condiciones y

. Veamos si este vector est en

. Para esto, la condicin de dice que la tercera componente del vector ( en un vector tpico) debe ser igual al doble de la primera ( en un vector tpico), menos la segunda ( en un vector tpico). En el caso de nuestro vector ntese que las tres componentes son iguales y todas son . Nos preguntan entonces si , lo cual es correcto pues llegamos a la identidad .

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Por definicin de subconjunto

Sea el espacio vectorial

. Sean los subespacios de :

Encuentre una base y la dimensin de Solucin:

y de

Podemos notar que los vectores del conjunto generador de no son mltiplos entre s, por lo cual son linealmente independientes y, constituyen una base para . Sin embargo demostremos esto formalmente y determinemos las condiciones de este espacio vectorial para con ello encontrar ms fcilmente la interseccin de con .

La nica manera de satisfacer este sistema es que . Por lo tanto el conjunto es linealmente independiente, y al ser generador de , podemos afirmar que:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Ahora bien, una base para condiciones:

puede determinarse a partir de un vector tpico que cumpla sus

Sea

, entonces

Determinemos las condiciones de subespacios:

para con ello encontrar fcilmente la interseccin de estos

Sea

Por lo tanto podemos escribir la interseccin de estos subespacios como:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Las condiciones de este conjunto pueden ser redundantes, las reducir para eliminar cualquiera que resulte ser redundante. Reemplazando la cuarta condicin en la segunda, tenemos que , es decir .

Reemplazando esto en la tercera condicin:

Reemplazando aquello en la cuarta condicin:

De esta forma la primera condicin dice que cual ya conocamos. Eliminamos esta condicin redundante y obtenemos que:

, lo

Sea

, entonces

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Determinar la nulidad y el rango de la matriz Solucin:

La nulidad de la matriz es por definicin la dimensin de su ncleo. Comenzar el desarrollo del problema encontrando el ncleo de esta matriz. Para evitar una notacin complicada, llamar a la matriz , de esta forma:

Observar en la seccin terica de este documento el uso de la y la en la definicin de ncleo o imagen de una matriz, dado que esta matriz es de se debe entender que y . Sea , entonces:

Recordar que la notacin de matriz aumentada es nicamente una forma de facilitar la lectura del sistema de ecuaciones. Esa matriz aumentada sigue representando un sistema de ecuaciones lineal homogneo donde cada fila es una ecuacin y cada columna representa los coeficientes de una incgnita. Volviendo a la notacin matricial y enviando esto a un sistema de ecuaciones tenemos que:

La ecuacin de abajo es redundante, pues no nos proporciona informacin que no conozcamos. Sin embargo la de arriba nos da una condicin que deben cumplir los vectores que pertenezcan al ncleo, despejando dicha condicin, el ncleo queda definido como:

Sea

, entonces

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Por teorema, se cumple que este caso tenemos que:

, que es el nmero de columnas de la matriz. Para

--------------------------------------------------------------------------------------------------------------------Preguntas frecuentes: Siempre que el conjunto es linealmente dependiente?

No necesariamente, si y es la matriz de coeficientes de un sistema lineal homogneo de ecuaciones, entonces con seguridad podemos afirmar que dicho sistema tiene soluciones infinitas. Sin embargo, para que esto indique que un conjunto es linealmente dependiente, el sistema de ecuaciones debe representar adecuadamente la condicin de dependencia lineal. Es recomendable desarrollar cuidadosamente cada paso de la solucin de un problema, si lo desarrollas como he hecho en este documento entonces el sistema de ecuaciones representa muy bien la condicin de dependencia y el determinante nos dir la respuesta.

El teorema de los espacios asociados a matrices indica que la dimensin del espacio fila y del espacio columna es la misma. El espacio fila y espacio columna de una matriz son el mismo espacio? No. Slo comparten la misma dimensin, pero no son el mismo espacio. Nota por favor que la matriz es de , es decir tiene filas y columnas. Cuntas componentes tienen las filas cuando las convertimos en vectores? Tantas como columnas haya en la matriz, es decir, las filas van desde la primera posicin hasta la -sima posicin (horizontalmente). Por lo cual el espacio fila de una matriz es subespacio de . Cuntas componentes tienen las columnas cuando las convertimos en vectores? Tantas como filas haya en la matriz, es decir, las columnas van desde la primera posicin hasta la -sima posicin (verticalmente). Por lo cual el espacio columna de una matriz es subespacio de , si entonces el espacio fila y el espacio columna son subespacios de espacios vectoriales diferentes, y con mayor razn, son diferentes entre s. Sin embargo el teorema nos dice que tienen la misma DIMENSION.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Me ensearon a poner los vectores directamente en la matriz y reducirla. Est bien? Depende. Al trabajar con operaciones convencionales en el campo de los reales, las componentes de los vectores terminan siendo los coeficientes del sistema de ecuaciones, por lo cual en teora est bien colocarlos directamente, sin embargo se debe cuidar su orientacin (horizontal o vertical) y adems esto se presta a posibles confusiones. Lo ms recomendable es reducir paso a paso la ecuacin vectorial, transformarla en un sistema de ecuaciones y esto pasarlo a notacin matricial. No recomiendo omitir nada en el desarrollo.

La dimensin de una base es igual para todas las bases? La dimensin de una base no existe. La dimensin se define para espacios vectoriales, no para bases y se define como la cantidad de elementos en cualquier base del espacio. Repito: LAS BASES NO TIENEN DIMENSION, ES INCORRECTO HABLAR DE LA DIMENSION DE UNA BASE. Respecto a la pregunta, tal como dice la definicin, la dimensin de un ESPACIO VECTORIAL, es la cantidad de elementos que contiene cualquier base del mismo y, por el corolario del teorema que se demostr en este documento, cualquier base de un mismo espacio vectorial tiene igual cantidad de elementos que todas las dems.

Si reduzco una matriz a su forma escalonada estoy demostrando que el conjunto genera al espacio? Depende. Para verificar eso se debe tomar un vector cualquiera generado por el conjunto en cuestin, es decir, un vector escrito como combinacin lineal de ese conjunto. Se desea verificar si dicho vector representa a todos los posibles vectores de ese espacio. Al desarrollar la combinacin lineal se debe obtener un sistema de ecuaciones, el cual puede ser escrito en notacin matricial. Si los pasos fueron desarrollados correctamente y el sistema de ecuaciones es representativo de la combinacin lineal original, entonces cuando en la matriz NO SEA POSIBLE obtener filas llenas de ceros, se concluye que el conjunto ES GENERADOR. Si la matriz se la obtuvo al ojo y se procedi a reducirla, existe el riesgo de que la matriz no represente al sistema de ecuaciones de esa combinacin lineal y que por lo tanto reducirla no tenga significado matemtico alguno. Por otro lado, si al reducirla aparece una fila de ceros, esa es una posible inconsistencia del sistema y se la debe evitar estableciendo una condicin (lo que indicara que el conjunto no genera a todo el espacio).

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Para qu revisas una base de ese espacio vectorial si con sus condiciones puedes poner la dimensin? Aquello se cumple muchas veces cuando se trabaja con el campo de los nmeros reales y con las operaciones convencionales entre los elementos del conjunto con el que se trabaja. Sin embargo, no es matemticamente correcto basarse slo en las condiciones para con ello dar un valor de la dimensin del espacio vectorial. Slo deberamos ver las condiciones para proyectar (en nuestra mente) un posible valor que tomara la dimensin, y as darnos una idea de cmo est formulado el problema, sin embargo la dimensin se define como el nmero de elementos de una base cualquiera del espacio vectorial, por lo cual para determinarla se necesita obtener una base de dicho espacio o aplicar algn teorema como en el caso de la nulidad y el rango de una matriz.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal