Espacio Vectorial - Parte 1 PDF

Espacio Vectorial (Parte 1)
Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com
Contenido
Contenido ............................................................................................................................... 2 1. Espacio Vectorial ................................................................................................................ 3 2. Subespacio .......................................................................................................................... 4 3. Combinacin Lineal de Vectores ....................................................................................... 5 4. Dependencia e Independencia Lineal ................................................................................. 6 5. Bases y Dimensiones: Coordenadas ................................................................................... 8 7. Referencias ....................................................................................................................... 10
1. Espacio Vectorial
Sea {, +, } un campo y {, } un grupo abeliano tal que la multiplicacin escalar esta definida y asocia cada (escalares) y (vectores), son elementos . Entonces el sistema {, , +, , , } es llamado un espacio vectorial sobre el campo , si por cada , y , : ( + ) = ()() () = ()() ( ) = () 1 = , donde 1 es la identidad del campo correspondiente a la operacin ().
El espacio vectorial tambin es conocido como espacio vectorial lineal, o espacio lineal, debido a que solo se consideran combinaciones lineales de vectores. Para simplificar la notacin, el espacio vectorial sobre que comnmente es denotado como () se denotara simplemente como , la operacin de suma de vectores se denotara simplemente como + (igual que la suma de escalares). La multiplicacin escalar de vectores y la multiplicacin de escalares () no se escribirn. Debido a que {, +} es un grupo aditivo, este tiene un elemento cero nico llamado vector cero, y es denotado por . El elemento cero (identidad en la adicin) del campo ser denotado como 0. Por lo tanto, por cada elemento , existe un inverso nico tal que + () = . Teorema 2.1 En el espacio vectorial (), tenemos que, para todo y , 0 = . = . () = () = (). Si = , entonces = 0 o = .
2. Subespacio
Un subconjunto de vectores de un espacio vectorial es un subespacio de si es en si mismo un espacio vectorial con respecto a las operaciones definidas en . El siguiente teorema provee un mtodo para determinar si el subconjunto dado es un subespacio o no. Teorema 2.2 Un subconjunto de vectores de un espacio vectorial es un subespacio de si y solo si es cerrado con respecto a la adicion de vectores y la multiplicacin escalar definida en .
3. Combinacin Lineal de Vectores

Sea {1 , 2 , , } un conjunto de vectores en (). Entonces, para escalares , el vector dado por:
= 1 1 + 2 2 + + =
=1
Es una combinacin lineal de vectores 1 , 2 , , . Para conjuntos diferentes de escalares , se pueden obtener diferentes combinaciones lineales del conjunto de vectores. Si consideramos todos los posibles conjuntos de escalares , entonces tenemos el conjunto de todas las combinaciones lineales de un conjunto dado de vectores de un espacio vectorial. Teorema 2.3 El conjunto de todas las combinaciones lineales de un conjunto dado de vectores de un espacio vectorial es un subespacio de . El conjunto de todas las combinaciones lineales de un conjunto de vectores es llamado el espacio vectorial generado por , y es denotado por [] . Conversamente, el conjunto de vectores de un espacio vectorial se dice que genera si cada vector en puede ser expresado como una combinacin lineal del conjunto de vectores .
4. Dependencia e Independencia Lineal

Un conjunto {1 , 2 , , } de vectores en un espacio vectorial () se dice que es linealmente dependiente si y solo si existen escalares 1 , 2 , , , con alguno diferente de cero, tal que: 1 1 + 2 2 + + = Un conjunto de vectores {1 , 2 , , } en () que es linealmente independiente si y solo si: , (1 1 + 2 2 + + = ) (1 = 2 = = = 0)
Si un conjunto de vectores {1 , 2 , , } es linealmente dependiente, entonces es posible expresar uno de los vectores, digamos , como una combinacin lineal de los dems, esto es: = 1 ( + 2 2 + + 1 1 + +1 +1 + + ) 1 1
Donde 0. Por lo tanto depende linealmente de los otros vectores. Por otro lado, si los vectores son linealmente independientes, entonces es imposible expresar cualquiera de los vectores como una combinacin lineal de los dems. Esto nos lleva a las siguientes conclusiones: 1. Cualquier conjunto de vectores puede ser linealmente dependiente o linealmente independiente. 2. Cualquier conjunto que contenga el vector cero es linealmente dependiente, esto debido a que = para cualquier escalar . 3. Un conjunto que consista de un solo vector diferente del vector cero es linealmente independiente. Para verificar si un conjunto {1 , 2 , , } es linealmente independiente o no, debemos asumir que existen escalares 1 , 2 , , tales que: 1 1 + 2 2 + + = Esto entrega un conjunto de ecuaciones en el cual puede ser resuelto para deducir si todos los son iguales a cero o no. Teorema 2.4 Cualquier subconjunto de un conjunto linealmente independiente es linealmente independiente. 6 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com
Cualquier conjunto que contenga un subconjunto linealmente dependiente, es el mismo linealmente dependiente. Teorema 2.5 Sea = {1 , 2 , , } un conjunto linealmente independiente de vectores de un espacio vectorial . Entonces para cualquier vector , el conjunto {1 , 2 , , , } es linealmente independiente si y solo si []. Este teorema dice que se puede extender el conjunto linealmente independiente de vectores de un espacio vectorial a un conjunto tambin linealmente independiente ms grande aadiendo cualquier vector que no se encuentre en el espacio generado por . Si el conjunto genera todo el espacio , esto es, si [] = , entonces no se puede extender a un conjunto linealmente independiente ms grande. Este conjunto es llamado el subconjunto independiente mximo de . Cualquier conjunto de vectores diferentes de cero contienen un subconjunto linealmente independiente mximo.
5. Bases y Dimensiones: Coordenadas

Bases Una base para un espacio vectorial es un conjunto linealmente independiente de vectores el cual genera . Si el nmero de vectores en una base de es finito, se dice entonces que es finito-dimensional; de otro modo se dice que es infinito-dimensional. Los conjuntos de vectores que forman una base para tienen dos propiedades: Son linealmente independientes; Cada vector de puede ser expresado como una combinacin lineal de vectores de este conjunto. Por lo tanto, si queremos encontrar si un conjunto de vectores de forman una base para , tenemos entonces que verificar si este satisface las dos propiedades anteriores o no. Debido a que cualquier conjunto linealmente independiente que expande el espacio es una base, tenemos un nmero infinito de bases para cualquier espacio vectorial. Por lo tanto, la eleccin de una base no es nica. Teorema 2.6 Cada vector de un espacio vectorial tienen una representacin nica como la combinacin lineal de vectores de una base dada para . Coordenadas Si un vector es expresado en trminos de una base {1 , 2 , , } tal que: = 1 1 + 2 2 + + Entonces podemos decir que 1 , 2 , , son coordenadas de en trminos de la base {1 , 2 , , }. En geometra, un orden secuencial es asignado a los ejes. Para hacer esta correspondencia completa con la geometra, podemos asignar un orden secuencial a los vectores de una base. Este tipo de bases es llamado una base ordenada. Generalmente, la palabra ordenada es omitida y una base siempre significa una base ordenada, Dimensin El nmero de vectores en una base de un espacio vectorial finito-dimensional es llamado la dimensin de . Teorema 2.7 8 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com
Cada base de un espacio vectorial finito-dimensional tiene el mismo nmero de vectores. Este teorema asocia un nico nmero (el nmero de vectores en cualquier base) con el espacio vectorial finito-dimensional. Este nmero es llamado la dimensin del espacio vectorial. Si el nmero de vectores en una base de es , entonces se dice que es dimensional y es denotado como . El teorema anterior nos lleva a los siguientes resultados: Ningn conjunto de ms de vectores en puede ser linealmente independiente y no puede ser generado con menos de vectores. Cualquier conjunto de vectores linealmente independientes en siempre puede generar el espacio. Conversamente, vectores cualquiera generando son linealmente independientes siempre. Para un espacio infinito-dimensional, se puede demostrar que existe una correspondencia uno a uno entre los vectores de dos bases cualesquiera.
6. Referencias
[1] M. C. Jain. 2008. Vector Spaces and Matrices in Physics, Second Edition. Alpha Science Intl Ltd, Delhi, India.
10

Espacio Vectorial - Parte 1 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Espacio Vectorial - Parte 1 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Espacio Vectorial (Parte 1)

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com