A.1 Espacios Vectoriales

A.
1 Espacios Vectoriales
Subsecciones
q q q q
A.1.1 Estructuras Algebricas Bsicas A.1.2 Definicin de Espacio Vectorial A.1.3 Bases A.1.4 Cambio de Base
A.1 Espacios Vectoriales

A.1.1 Estructuras Algebricas Bsicas
Definicin A.1 Grupo Un conjunto dotado de una operacin binaria tiene estructura de Grupo si la operacin satisface las siguientes propiedades: G.1 Clausurativa (Cerradura): G.2 Asociativa: G.3 Modulativa: G.4 Invertiva: Definicin A.2 Grupo Conmutativo Un conjunto dotado de una operacin binaria tiene estructura de Grupo Conmutativo o Grupo Abeliano si la operacin satisface las propiedades de Grupo y: G.1 Conmutativa:
Ejemplo A.1 El conjunto
dotado con la operacin
descrita en la tabla
file:///E|/Documentos del 98/Todo Matrices/A. Lineal/A_1 Espacios Vectoriales.htm (1 de 12)17/01/2006 1:18:09
tiene estructura algebrica de Grupo Conmutativo, en donde el mdulo 0 de
es el elemento
Ejemplo A.2 El conjunto
dotado con la operacin suma usual no tiene estructura de ). Sin embargo, con la
grupo porque no se satisface la propiedad clausurativa ( operacin descrita en la tabla s tiene estructura de Grupo 0 0 0 Definicin A.3 Anillo Un conjunto dotado de dos operaciones binarias y 0
tiene estructura de Anillo si las
operaciones satisfacen las siguientes propiedades. Para la operacin R.1 Clausurativa: R.2 Asociativa: R.3 Modulativa: R.4 Invertiva: R.5 Conmutativa: Para la operacin R.1
Clausurativa: R.2 Asociativa: Para las dos operaciones R.1 Distributiva respecto a :
Definicin A.4 Anillo Modulativo Un conjunto satisface: R.1 Modulativa: Definicin A.5 Anillo Conmutativo Un conjunto dotado de dos operaciones binarias y tiene estructura de Anillo Conmutativo si satisface: dotado de dos operaciones binarias y tiene estructura de Anillo Modulativo o de Anillo con Unidad si las operaciones satisfacen las propiedades de Anillo y adems la operacin
las operaciones satisfacen las propiedades de Anillo y adems la operacin R.1 Conmutativa: Definicin A.6 Campo Un conjunto dotado de dos operaciones binarias y
tiene estructura de Campo si tiene
estructura de Anillo Conmutativo con Unidad Ejemplo A.3 Algunos de los campos ms conocidos son los reales conjunto de las funciones racionales de con coeficientes reales los complejos y el
A.1.2 Definicin de Espacio Vectorial

Definicin A.7 Espacio Vectorial Sea un conjunto y un campo. A los elementos de se les denomina Vectores, y
a los elemento de
Escalares.
tiene estructura de Espacio Vectorial sobre entre elementos de
si est dotado de y (Producto
una operacin binaria
(suma vectorial) y una operacin
por escalar) que cumplen las siguientes propiedades: Para la suma vectorial V.1 Clausurativa: V.2 Asociativa: V.3 Modulativa: V.4 Invertiva: V.5 Conmutativa: Para el producto por escalar V.1 Clausurativa: V.2 Asociativa: V.3 Modulativa: V.4 Anulativa: Para las dos operaciones V.1 Distributiva respecto a V.2 Distributiva respecto a : : . 0 es el mdulo de . es el mdulo de . es el mdulo de
Ejemplo A.4 Uno de los Espacios Vectoriales ms conocidos, y que servir para futuros ejemplos
en este captulo es el formado por sobre el campo con las operaciones usuales. En general, sobre el campo con las operaciones usuales forman un espacio vectorial. Ejemplo A.5 El conjunto de todos los polinomios sobre el campo entre polinomios forman un Espacio vectorial con las operaciones usuales
Ejemplo A.6 El conjunto de todas las funciones contnuas a trozos sobre el campo operacin definida como la suma punto a punto forman un Espacio vectorial campo
con la
Ejemplo A.7 El conjunto de todas las matrices de tamao fijo operaciones usuales entre matrices forman un Espacio vectorial Definicin A.8 Subespacio Sea un espacio vectorial sobre ; sea
con las
un subconjunto de se dice que
. Si .
forman un espacio vectorial sobre
es un Subespacio de
Teorema A.1 Sea
un espacio vectorial sobre es un subespacio de si y slo si ,
; sea
un subconjunto de .
son cerradas en
Demostracin A.1 Si
son cerradas en
se satisfacen V.1 y V.6. Las dems propiedades es un espacio vectorial; por lo
contenidas en la definicin E.7 se satisfacen porque tanto . Ejemplo A.8 operaciones cerradas en es un subespacio de . En general si
es un Espacio vectorial y de acuerdo con la definicin E.8, es un subespacio de
, ya que la suma y el producto por escalar son se tiene que es un subespacio de
Ejemplo A.9 Una lnea recta es un subsepacio de
, ya que: i) la suma de dos vectores que
estn sobre una misma recta da otro vector sobre esa recta y ii) el producto por escalar de un vector da otro vector sobre la misma recta. Ejemplo A.10 El conjunto de los polinomios de orden 2, es un subespacio del conjunto de los
polinomios de orden 4 (con las operaciones usuales y sobre ), ya que: i) la suma de dos polinomios de orden 2 da otro polinomio de orden 2 y ii) el producto de un polinomio de orden 2 por un escalar da otro polinomio de orden 2. Se entiende que un polinomio de orden es un polinomio que no tiene monomios de orden superior a .
A.1.3 Bases
Definicin A.9 Combinacin Lineal Sea un Espacio Vectorial. Sean cualesquiera escalares de de es la operacin cualesquiera vectores y denominados coeficientes. Una Combinacin Lineal
Definicin A.10 Independencia Lineal Un conjunto de vectores es linealmente independiente si la nica combinacin
lineal nula se obtiene con coeficientes nulos. Es decir, si
Definicin A.11 Dimensin El mximo nmero de vectores linealmente independientes en un espacio vectorial dimensin de Definicin A.12 Conjunto generador Dado un conjunto de vectores ;
se denomina la
es un Conjunto generado por ; se dice que
si es es un
el conjunto de todas las posibles combinaciones lineales de elementos de y se denota por Conjunto generador de
Definicin A.13 Base de un Espacio Vectorial Un conjunto de vectores es una base del espacio vectorial si
es linealmente independiente y genera a Teorema A.2 En un espacio vectorial de dimensin linealmente independientes es una base de . Demostracin A.2 Sea independientes en . Para demostrar que , es decir, que cualquier elemento de elementos de . Debido a que (tiene tiene , cualquier conjunto de vectores
un conjunto arbitrario de
vectores linealmente
es una base de es necesario demostrar que cubre a puede expresarse como una combinacin lineal de los
elementos, el conjunto
es linealmente dependiente
elementos y
es el mximo nmero de vectores linealmente independientes) y por
tanto existe una combinacin lineal (A.1)
con algunos de los
. Es claro que
por que de lo contrario se obtendra
(A.2)
lo que implica que todos los
deberan ser cero ya que los elementos de podemos despejar
son linealmente
independientes (son una base). Como
(A.3)
es decir, que existe una combinacin lineal de los elementos de genera el espacio vectorial tanto Definicin A.14 Coordenadas de un Vector Sea un elemento del espacio vectorial ,y
cuyo resultado es
, y por lo
una base de en la base
. Si son los
se dice que las coordenadas de
coeficientes de esa combinacin lineal
. Usualmente se agrupan en un vector
Teorema A.3 Todo elemento determinada base
de un espacio vectorial
tiene unas nicas coordenadas en una
Demostracin A.3 Segn la definicin E.14 combinacin lineal de los elementos de coordenadas de en la base .
genera a
y por lo tanto existe al menos una , es decir, existen al menos unas
cuyo resultado es
Para demostrar que estas coordenadas son nicas, supongamos que existen dos juegos de coordenadas diferentes y . Segn la definicin E.14 se tiene
Al restar estas dos expresiones se obtiene
De acuerdo con la definicin E.13, el conjunto todos sus coeficientes nulos, por lo tanto dos juegos de coordenadas deben ser iguales. para
es linealmente lo que significa que los
independiente, y por lo tanto la nica combinacin lineal de sus elementos que es nula es la que tiene
Teorema A.4 Al aumentar el los elementos de una base el conjunto resultante es linealmente dependiente Demostracin A.4 Sea de . Debido a que genera a una base de es posible encontrar y sea un elemento cualquiera
tales que
y por tanto puede escribirse
Esta es una combinacin lineal nula con coeficientes no nulos (al menos el coeficiente de y por tanto el conjunto es linealmente dependiente
es
Teorema A.5 Todas las bases de un mismo espacio vectorial tienen el mismo nmero de elementos que coincide con la dimensin del espacio vectorial. Demostracin A.5 Por el teorema E.2 sabemos que pueden existir bases de tamao igual a la dimensin. Segn las definiciones E.11 y E.13 no puede haber bases con un nmero mayor de elementos, debido a que este conjunto sera linealmente dependiente, por lo tanto slo es necesario probar que no puede haber bases con un nmero de elementos inferior a la dimensin del espacio. Sea un espacio vectorial de dimensin con . Supongamos dos bases y
. Segn el teorema E.4 el conjunto es linealmente dependiente y alguno de los elementos es una , (en
combinacin lineal de los otros elementos de
; supongamos que este
es justamente
caso de que no lo sea, reorganizamos el conjunto y cambiamos los subndices). El espacio cubierto por por lo tanto el conjunto podemos argumentar que alguno de los elementos elementos de ; supongamos que este es el mismo espacio cubierto por y por ,
es linealmente dependiente; de nuevo es una combinacin lineal de los otros .
es justamente
Efectuando este procedimiento podemos construir en forma consecutiva cuales sern conjuntos linealmente dependientes. Sin embargo, es
, todos los
que es un subconjunto de la base forma demostramos que
y por lo tanto no puede ser linealmente dependiente. De esta es una contradiccin. Como consecuencia, todas las bases del
espacio vectorial deben tener el mismo tamao, que coincide con la dimensin del espacio. Ejemplo A.11 Cualquier pareja de vectores no paralelos en el plano es una base del espacio vectorial Ejemplo A.12 El conjunto formado por los polinomios vectorial de los polinomios de orden 3. Ejemplo A.13 El espacio vectorial de todos los polinomios tiene dimensin infinita. Una base de ese espacio es la formada por los polinomios forma una base del espacio
A.1.4 Cambio de Base

Sean y dos bases del mismo espacio vectorial
y como las matrices que tienen en sus columnas de dimensin . Definimos las matricas y respectivamente: cada uno de los elementos de las bases
Un vector
tendra coordenadas
en la base
en la base
, de tal manera que
(A.4)
Definimos los vectores columna
que contienen las coordenadas:
de tal manera que podemos reescribir (E.4) como
Igualando estas dos expresiones se encuentran las expresiones que permiten encontrar las coordenadas de en una base a partir de sus coordenadas en la otra: (A.5)
sea la base estndar, la matriz En caso de que (E.5) se convierte en
resulta ser la matriz identidad de orden
(A.6)
Ejemplo A.14 En Definamos por ejemplo
puede definirse una base con cualquier pareja de vectores no paralelos. , (vectores rojos en la figura E.1). y
Consideremos ahora el vector
en la figura E.1. Sus coordenadas en la base estndar
sern
Para obtener las coordenadas de empleamos (E.6)
en las bases
construimos las matrices
Puede verificarse que las coordenadas en las bases
satisfacen las relaciones (E.5)
Oscar Germn Duarte Velasco 2002-12-18


A.1 Espacios Vectoriales

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

A.1 Espacios Vectoriales

Enviado por

Direitos autorais:

Formatos disponíveis

A.