Algebra Lineal Semana del 12 al 16 de noviembre de 2012 Bases de Espacios Vectoriales y Dimensin. Teorema: Sea i. ii.

. Si Si un conjunto de vectores del espacio vectorial . Entonces:

es linealmente independiente y es un vector cualquiera de , entonces es linealmente independiente. es linealmente dependiente y , entonces es linealmente dependiente. un conjunto de vectores del espacio vectorial . Suponga que que pertenece a tal que se puede escribir como combinacin vectores restantes. Entonces:

Lema : Sea existe un vector lineal de los

Lema : Suponga que espacio vectorial . Sea independiente en . Teorema: Sea i. ii. Si Si

, tal que

es un conjunto linealmente independiente en el . Entonces el conjunto es linealmente

un espacio vectorial. Se cumple entonces que:

, existe una base de tal que es un conjunto linealmente independiente en , existe una base es un espacio vectorial de dimensin finita, tal que

de

tal que .

Corolario: Suponga que i. ii. Si Si

es un conjunto que genera a con vectores, entonces es base de . es un conjunto linealmente independiente con vectores, entonces es base de . es un subespacio

Teorema: Suponga que es un espacio vectorial de dimensin finita, y que vectorial de . Entonces es tambin de dimensin finita y ocurre que:

Corolario: Sea un subespacio del espacio vectorial de dimensin finita . Si entonces . Operaciones con Subespacios Vectoriales. Teorema: Sea i. ii. iii. un espacio vectorial. Sean . . . y subespacios vectoriales de . Entonces:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Coordenadas y Cambio de Base Definicin: Vector Coordenada de un Vector: Sea un espacio vectorial de dimensin finita tal que , y sea una base de . Sea . Se definen las coordenadas del vector respecto de la base como los escalares tales que:

El vector de coordenadas de

respecto de la base , denotado

, est definido como:

Ojo: El vector coordenada siempre ser un vector de vectorial. Teorema: Sea i. ii. Es decir, el operador es lineal.

, donde

es la dimensin del espacio

una base del espacio vectorial de dimensin finita . Se cumple entonces que:

Definicin: Matriz de Cambio de Base: Sea un espacio vectorial de dimensin finita. Sean y bases de . Sea . Se dice que la matriz de cambio de base o matriz de transicin de la base a la base es aquella matriz cuadrada de orden que cumple:

Teorema:

Sea

un espacio

vectorial de dimensin bases de . Sean

finita y

igual a y sean las matrices:

Entonces es inversible y es la matriz de cambio de base de y es la matriz de cambio de base de a .

,y

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

Demostraciones. A continuacin demostrar algunos de los teoremas de la seccin terica de este documento como refuerzo para entenderlos mejor.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Lema : Sea existe un vector lineal de los

un conjunto de vectores del espacio vectorial . Suponga que que pertenece a tal que se puede escribir como combinacin vectores restantes. Entonces:

El lema nos indica que si tenemos un conjunto generador linealmente dependiente, podemos retirar el vector que provoca la dependencia lineal y el conjunto resultante sigue generando al mismo espacio vectorial. Demostracin: Sea , se busca demostrar que .

Por hiptesis, se cumple que

Cada parntesis representa un escalar, para apreciarlo mejor podemos hacer un cambio de variable, sea , entonces la expresin queda simplificada a:

Lema : Suponga que espacio vectorial . Sea independiente en .

, tal que

es un conjunto linealmente independiente en el . Entonces el conjunto es linealmente

Este lema fue demostrado en un documento previo, repitamos la demostracin igualmente para que quede claro. Demostracin: Se intenta verificar si el conjunto recurre a la definicin de independencia lineal: es linealmente independiente, para lo cual se

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sea

, entonces los escalares

son nmeros reales y por lo tanto

sera combinacin

lineal de los elementos del conjunto , es decir hiptesis original. Por lo tanto, es obligatorio que Volviendo a la ecuacin original:

, lo cual es una contradiccin a la para evitar dicha contradiccin.

Por hiptesis, los vectores

son linealmente independientes, por lo tanto

Se ha demostrado que la nica solucin de la ecuacin

es:

Teorema: Sea i. ii. Si Si

un espacio vectorial. Se cumple entonces que:

, existe una base de tal que es un conjunto linealmente independiente en , existe una base

de

tal que

Demostracin: i. Sea un conjunto de vectores generadores del espacio vectorial . Si es linealmente independiente, es una base de por definicin y se cumplira que existe una base tal que . Si no es linealmente independiente, es porque existe un vector que es combinacin lineal de los restantes, por lema este vector puede ser retirado y el conjunto resultante (debe entenderse que ) sigue generando el mismo espacio, es decir . Si el nuevo conjunto es linealmente independiente, entonces es base y se cumple que existe una base tal que . Caso contrario existe un vector que por lema puede retirarse del conjunto . Este procedimiento se puede seguir hasta obtener un conjunto que sea linealmente independiente y finalmente sea una base de . Cabe mencionar que en el caso , el conjunto tendra un solo vector.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

ii.

Sea un conjunto linealmente independiente en . Si , entonces por definicin es una base de y se cumple que existe una base de tal que . Caso contrario, existe un vector tal que y por lema se lo puede adicionar al conjunto, tal que se forme un nuevo conjunto (vale notar que ), dicho conjunto es linealmente independiente. Si , entonces este conjunto es base de y existe una base de tal que . Caso contrario existe otro vector yal que , y por lema se lo puede aadir al conjunto manteniendo su independencia lineal. Este procedimiento se puede seguir hasta que el conjunto tenga vectores, pues no pueden existir conjuntos linealmente independientes con mayor cantidad de vectores que esta. Cuando eso pase, el conjunto resultante ser generador y una base de , cumplindose que . es un espacio vectorial de dimensin finita, tal que .

Corolario: Suponga que i. ii. Si Si

es un conjunto que genera a con vectores, entonces es base de . es un conjunto linealmente independiente con vectores, entonces es base de .

Basndonos en el teorema anterior se puede obtener este resultado que nos dice que si un conjunto tiene tantos vectores como indique la dimensin del espacio vectorial, slo es necesario verificar que el conjunto genere al espacio vectorial o que sea linealmente independiente; la otra condicin se cumple automticamente. Demostracin: i. Segn el teorema anterior, existe una base de tal que . Sin embargo, por definicin de dimensin de espacios vectoriales, toda base debe tener vectores. Por hiptesis , y si se va a obtener un subconjunto de con vectores, dicho conjunto debe ser . Segn el teorema anterior, existe una base de tal que . Sin embargo, por definicin de dimensin de espacios vectoriales, toda base debe tener vectores. Por hiptesis , y si se va a formar un conjunto con vectores utilizando los que estn en , dicho conjunto debe ser . es un subespacio

ii.

Teorema: Suponga que es un espacio vectorial de dimensin finita, y que vectorial de . Entonces es tambin de dimensin finita y ocurre que:

Este teorema, un tanto lgico, nos dice que todo subespacio vectorial de un espacio menor o igual dimensin que el mismo. Demostremos el teorema:

tiene

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Demostracin: Supongamos que Sea el espacio trivial, entonces y se cumple que puesto que . Sea , si entonces es una base de (puesto que un conjunto unitario con un vector no nulo, es siempre linealmente independiente) y , se comprueba entonces que es de dimensin finita y que, por teorema, se puede completar a partir de ese conjunto linealmente independiente una base de , por lo cual . Si en cambio , entonces existe un vector tal que , por lema el conjunto es linealmente independiente. Si entonces este conjunto es una base de con lo que es de dimensin finita y . Ya que este conjunto es linealmente independiente se puede encontrar una base de que contenga a dicho conjunto, es decir . Este procedimiento se debe seguir hasta el paso , en el que se tenga un conjunto con vectores. En este punto notemos que si el conjunto es base de y ya que es subespacio (y por ende, subconjunto) de , entonces no existen vectores que no sean generados por aquel conjunto. Es decir, una base de jams podr tener ms vectores que una base de . Finalmente es de dimensin finita tal que ,y . Corolario: Sea un subespacio del espacio vectorial de dimensin finita . Si entonces . Demostracin: Segn el teorema anterior . Si es porque una base de tiene tantos vectores como cualquier base de . Es decir que todo vector de est tambin en . Se forma entonces el sistema que dice que por definicin y por lo mencionado ahora es decir, la nica solucin para esto es que .
------------------------------------------------------------------------------------------------------------------------------------------

Problemas. Existe un nico valor para base de . Solucin: Se verificar primero para qu valores de , el conjunto es linealmente independiente: que permite al conjunto ser una

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Por el criterio del determinante, el sistema lineal homogneo de ecuaciones tendr solucin nica si

El conjunto es linealmente independiente para todo valor Ntese que el conjunto tambin es base de la proposicin:

por lo que para esos valores de . Ya que existe ms de un valor se comprueba la falsedad de

Sea

. Considere el conjunto de todos los subespacios de

tal que

a) Determine el valor de para que b) Halle una base y la dimensin de los espacios

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Solucin: a) Teniendo el conjunto generador de , se buscar que este conjunto tenga slo dos vectores linealmente independientes entre s. Colocando los coeficientes de estos polinomios como filas de una matriz, tendremos en dichas filas las componentes de los vectores. As, cuando realicemos operaciones bsicas entre filas de la matriz se obtendrn conjuntos generadores equivalentes, pues dichas operaciones resultan ser combinaciones lineales.

Notar que en base a combinaciones lineales, una de las filas se llen de ceros. Esto es porque el vector correspondiente a esa fila era combinacin lineal de los vectores restantes. Adems la tercera fila tiene ceros en cada componente excepto la del trmino cuadrtico, cuyo coeficiente es . Es decir, si , el conjunto generador se reducira a dos vectores linealmente independientes con lo que .

b) Observemos los espacios vectoriales que nos piden, pues sus conjuntos generadores tienen vectores innecesarios como ya se observ en el primer literal.

Se puede apreciar que en el conjunto generador los dos primeros vectores son iguales, y adems el ltimo vector es el resultado de la suma de los dos anteriores, es decir:

Por lema , se tiene que:

Notar que el conjunto resultante es linealmente independiente por lo que es una base de decir y . Ahora se obtendrn condiciones sobre este espacio vectorial: Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

, es

Sea

entonces

Como se observ en el literal anterior, si , entonces por lo que deberemos esperar que un vector del conjunto generador sea combinacin lineal de los vectores restantes.

Notar que el cuarto vector del conjunto es el resultado de sumar el segundo con el tercero, es decir:

Por lema , se tiene que:

Notar que el conjunto resultante es linealmente independiente por lo que es una base de decir y . Ahora se obtendrn condiciones sobre este espacio vectorial: Sea entonces

, es

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Combinando estas condiciones, se define el espacio interseccin:

Ya que las condiciones no son lo suficientemente comprensibles, se las reducir:

Sea

, entonces:

Ahora para la suma. Por teorema, se tiene que:

Notar que . Por teorema

y que y con ello una base sera:

es un subespacio vectorial de

Aunque la respuesta es perfectamente vlida, desarrollemos otra posible base del espacio suma para tener una mejor comprensin de cmo trabajar con el mismo en caso de que no se den las condiciones para usar el teorema. Por teorema . Si juntamos el conjunto generador de y el conjunto generador de , el espacio generado por esos conjuntos es el mismo que el generado por , pues est formado por todas las posibles combinaciones lineales de los vectores de cada subespacio. Es decir, conociendo que y que adems , se puede afirmar que:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Ahora se proceder a colocar estos vectores como filas de una matriz para con ello encontrar fcilmente aquel que provoca dependencia lineal, y los restantes quedarn como una base del espacio vectorial:

Con esto obtenemos que

. Es decir:

Sean tal que

bases para

. Si existe un elemento

Determine Solucin: Existen dos formas de resolver este problema. Se puede encontrar al vector dadas sus coordenadas y con ello obtener las nuevas coordenadas del vector a partir de un sistema de ecuaciones. Esto sera:

Ahora igualamos este vector a una combinacin lineal de la base

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

La otra solucin es encontrando la matriz de cambio de base o matriz de transicin, la cual forma un puente de la base a la base , para as encontrar las coordenadas de este vector. Por teorema, la construccin de la matriz de cambio de base es:

Veamos a qu es igual el vector de coordenadas de cada uno de los polinomios en cuestin. Al ojo, se puede notar que:

Por definicin de matriz de cambio de base

Se puede apreciar que se obtuvo la misma respuesta que si se utilizaba el otro mtodo.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sea

y dado que los conjuntos constituyan bases para a) Cul es la matriz de transicin b) Cul es la matriz de transicin que va de la base que va de la base .

a la base ? a la base ?

Solucin: Para encontrar la matriz deberamos escribir cada matriz de como combinacin lineal de los elementos de , encontrar los escalares y finalmente escribirlos como columnas de la matriz. En casos como el problema anterior, esto puede ser muy sencillo, o como ocurre en este caso puede ser muy trabajoso. Mostrar en la primera matriz el mtodo tradicional utilizado en el problema anterior, y en la segunda un mtodo generalizado con el que se puede ahorrar algo de tiempo. a) Se puede observar que:

Con esto, se tiene que:

Como se puede observar, encontrar esos escalares al ojo es bastante complicado, y desarrollar sistemas de ecuaciones para cada matriz es bastante trabajoso, por lo cual la prxima matriz se la desarrollar con un mtodo que facilite este proceso.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

b) Sea base , se puede escribir a de la siguiente manera: como combinacin lineal de los elementos de la

Se obtuvo una frmula con la que podemos encontrar las coordenadas (escalares de la combinacin lineal) de cualquier matriz con respecto a la base . En esta frmula s lo debemos ahora reemplazar los valores de las componentes de cada matriz de la base , es decir:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sean

y la matriz de cambio de base:

dos bases de

. Sea

a) Determine los vectores de la base b) Encuentre Solucin: a)

. y .

si se conoce que

Por teorema de construccin de matriz de cambio de base, se tiene que:

Esto nos lleva a que, por definicin de vector de coordenadas:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Finalmente, la base

queda definida as:

b) Por teorema, el vector de coordenadas es lineal, con lo que se puede hacer la separacin:

Por definicin de matriz de cambio de base, si sta se conoce se puede hacer la transformacin de los vectores de coordenadas de una base a otra:

Sea el espacio vectorial

. Sea el conjunto:

Determine de ser posible una base Solucin:

de , tal que

Veamos la estructura del espacio vectorial Sea

en trminos de sus componentes: entonces:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

O lo que es lo mismo:

Sea

, entonces

Ahora bien, se puede observar en el conjunto en cuestin, que slo estos vectores pertenecen a . Adems se puede apreciar que:

Finalmente, si el conjunto es linealmente independiente en con elementos, donde se concluye por teorema que es base de , tomando en cuenta que todos sus elementos fueron extrados del conjunto proporcionado, es decir . Veamos si el conjunto es en efecto linealmente independiente:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sean

y los subespacios de

Encuentre una base y determine la dimensin de: a) b) c) d) Solucin: a) Ya tenemos un conjunto generador de , verifiquemos ahora si dicho conjunto es ya una base de este espacio vectorial:

El conjunto

es linealmente independiente y al generar a , constituye una base

de dicho espacio. De esta forma podemos decir que:

y que

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

b)

Sea

, entonces

c) Para encontrar la interseccin de estos dos espacios vectoriales, es recomendable encontrar las condiciones del espacio . Proceder a obtenerlas:

Sea

, entonces:

Con esto, tenemos que:

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Estas condiciones pueden ser algo complicadas, por lo cual las reducir:

Reemplazando este resultado en las condiciones de las otras variables, se tiene que:

Sea

, entonces

d) Finalmente, para el espacio suma. Se procede a determinar la dimensin por el teorema:

Ntese que tiene que

es un subespacio de y que y que una posible base sera:

. Por teorema, se

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

Sin embargo, al igual que en el problema anterior, quiero acotar que esto no necesariamente ocurrir, y por ello es conveniente trabajar con la suma de espacios vectoriales como tal. Se utilizar el teorema que dice que , y teniendo una base tanto de como de , se puede decir que:

Gracias al teorema de la dimensin de este espacio vectorial, y al hecho de que hay vectores en el generador de un subespacio de , tenemos la certeza de que existe (al menos) un vector en este conjunto que es combinacin lineal de los dems y debe ser retirado, sin embargo es demasiado difcil determinarlo a simple vista. Se obtendr un conjunto generador equivalente reduciendo estos vectores como filas de una matriz.

As, finalmente se tiene que una posible base de

es:

--------------------------------------------------------------------------------------------------------------------Preguntas frecuentes: A partir de ahora slo basta con verificar que sea independiente? No. A partir de ahora es suficiente verificar una de las dos condiciones, es decir, o que el conjunto genere o que sea linealmente independiente, pero esto es SOLAMENTE SI el conjunto

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

que quieres definir como base tiene cualquier base de .

vectores, es decir, tantos vectores como tiene

Siempre que trabaje con el espacio suma pongo los vectores como filas? No. No se debe trabajar con la receta de cocina de siempre que tenga esto hago aquello. Colocar los vectores como filas es un mtodo utilizado para obtener conjuntos generadores equivalentes, pues las operaciones entre filas de una matriz no son otra cosa que combinaciones lineales de las mismas; y un conjunto generador entre cuyos elementos se realicen combinaciones lineales, sigue generando el mismo espacio vectorial. Esto no significa que siempre que se trabaje con el espacio suma se deba colocar as los vectores, es slo UNA forma de desarrollar los problemas que present en este documento. Lo correcto es basarse siempre en la teora, es decir en definiciones, teoremas, lemas, entre otros.

No s cuando colocar los vectores como filas y cuando como columnas. Es preferible no saberlo, pues esto lleva muchas veces a que un estudiante se mecanice y no razone el problema sino que opte por colocarlos siempre como filas o columnas segn corresponda. Los problemas se los debe desarrollar utilizando definiciones, teoremas, lemas, etc. Colocar los vectores como columnas usualmente viene acompaado de un vector de respuestas, pues si se tienen las operaciones convencionales entre vectores, sus componentes suelen ser los coeficientes de un sistema de ecuaciones, donde los escalares seran las incgnitas. Por otro lado, colocar los vectores como filas permite obtener conjuntos generadores equivalentes, puse las operaciones entre filas son combinaciones lineales. Cabe mencionar que esto no siempre se puede aplicar, pues en caso de trabajar con campo binario, los nicos escalares posibles son el cero y el uno, por otro lado si las operaciones del espacio vectorial se definen de manera diferente a las convencionales ya no se puede establecer equivalencia con las operaciones de filas de matrices. Es importante tener mucho cuidado y leer bien cada problema.

Cmo voy a saber todas las demostraciones? Es imposible aprender todas las demostraciones de memoria. En muchas ocasiones vale la pena saber cmo comienza una determinada demostracin y luego el resto de pasos son intuitivos, siempre que uno vaya guindose por medio de definiciones y conceptos matemticamente correctos para el desarrollo de dicha demostracin. Recomiendo leer las demostraciones y luego tratar de desarrollarlas por cuenta propia, recordando cmo empiezan y que el resto sea de manera intuitiva, por inspiracin propia por as decirlo.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal

De los vectores que estn al final como filas de la matriz. Cmo s cul de los originales es el que se hizo cero? No es necesario saberlo, el conjunto resultante genera el mismo espacio vectorial que el conjunto original, pero esto no significa que sea el mismo conjunto. Repito, son conjuntos diferentes que generan un mismo espacio vectorial. Por lo tanto, se puede trabajar con los nuevos vectores en lugar de los anteriores y as, no es necesario saber cul de los vectores originales era combinacin lineal de los dems, salvo que as lo solicite el problema, en ese caso se recomienda elaborar una combinacin lineal para averiguarlo.

Mario Fernando Izquierdo Chavarra Ayudante Acadmico de Algebra Lineal