Anda di halaman 1dari 10

Definicin de espacio vectorial

Un espacio vectorial sobre un cuerpo (como el cuerpo de los nmeros reales o los nmeros complejos) es un conjunto no vaco, dotado de dos operaciones:

Con la operacin interna tal que: 1) tenga la propiedad conmutativa, es decir 2) tenga la propiedad asociativa, es decir 3) tenga elemento neutro , es decir

4) tenga elemento opuesto, es decir

y la operacin producto por un escalar:

operacin externa tal que: 5) tenga la propiedad: 6) tenga elemento neutro 1:

Que tenga la propiedad distributiva: 7) distributiva por la izquierda: 8) distributiva por la derecha:

Propiedades
Unicidad del vector neutro de la propiedad 3: supongamos que el neutro no es nico, es decir, sean entonces: y dos vectores neutros,

Unicidad del vector opuesto de la propiedad 4: supongamos que el opuesto no es nico, es decir, sean de , entonces, como el neutro es nico: y dos vectores opuestos

Unicidad del elemento en el cuerpo K: supongamos que 1 no es nico, es decir, sean y dos unidades, entonces:

Unicidad del elemento inverso en el cuerpo K: supongamos que el inverso a 1 de a, no es nico, es decir, sean de , entonces, como el neutro es nico: y dos opuestos

Producto de un escalar por el vector neutro:

Producto del escalar 0 por un vector:

Si

. Si a=0 es cierto. Si entonces:

. Signos equivalentes:

Notacin .

Primer ejemplo con demostracin al detalle


Queremos ver que Veamos pues que Los elementos: es un espacio vectorial sobre juega el papel de y el de :

son, de forma genrica:

es decir, pares de nmeros reales. Por claridad conservaremos la denominacin del vector, en este caso u, en sus coordenadas, aadiendo el subndice x o y para denominar su componente en el eje x o y respectivamente En defino la operacin suma:

donde:

y la suma de u y v seria:

donde:

esto implica que la suma de vectores es interna y bien definida. La operacin interna suma tiene las propiedades: 1) La propiedad conmutativa, es decir:

2) La propiedad asociativa:

3) tiene elemento neutro

4) tenga elemento opuesto:

La operacin producto por un escalar:

El producto de a y u sera:

donde:

esto implica que la multiplicacin de vector por escalar es externa y an as est bien definida. 5) tenga la propiedad:

Esto es:

6) tenga elemento neutro: 1:

Que resulta:

Que tiene la propiedad distributiva: 7) distributiva por la izquierda:

En este caso tenemos:

8) distributiva por la derecha:

Que en este caso tenemos:

Queda demostrado que es espacio vectorial

Definicin de subespacio vectorial


Sea un espacio vectorial sobre
i) ii)

no vaco,

es un subespacio vectorial de

si:

Consecuencias
hereda las operaciones de como aplicaciones bien definidas, es decir que no escapan de y como consecuencia tenemos que es un espacio vectorial sobre . ,

Con cualquier subconjunto de elementos seleccionados en los espacios vectoriales anteriores, no vaco, se pueden generar subespacios vectoriales, para ello seria til introducir nuevos conceptos que facilitarn el trabajo sobre estos nuevos espacios vectoriales.

Combinacin lineal

Veremos que cada vector u es combinacin lineal de forma nica

Dado un espacio vectorial

, diremos que un vector u es combinacin lineal de los vectores de si existen escalares tales que

Notaremos como vectores de

el conjunto resultante de todas las combinaciones lineales de los .

Proposicin
Dado un espacio vectorial y , el conjunto ms pequeo contenido en y que contiene a . Demostracin
Supongamos lo contrario, que existe uno ms pequeo contradiccin, ya que u est generado por elementos de buena definicin de las dos operaciones, por tanto

es el subespacio vectorial

a causa de la .

Nota En este caso diremos que es un sistema de generadores que genera a .

Independencia lineal
Diremos que un conjunto de vectores es linealmente independiente si el vector 0 no se puede expresar como combinacin lineal no nula de los vectores de , es decir:
Si .

Diremos que un conjunto independiente.


Proposicin

de vectores es linealmente dependiente si no es linealmente

son linealmente dependientes

Demostracin
Linealmente dependientes

tomando .

Si tanto linealmente dependientes.

donde

y por

Base de un espacio vectorial


Las bases revelan la estructura de los espacios vectoriales de una manera concisa. Una base es el menor conjunto (finito o infinito) B = {vi}i I de vectores que generan todo el espacio. Esto significa que cualquier vector v puede ser expresado como una suma (llamada combinacin lineal) de elementos de la base
a1vi1 + a2vi2 + ... + anvin,

donde los ak son escalares y vik (k = 1, ..., n) elementos de la base B. La minimalidad, por otro lado, se hace formal por el concepto de independencia lineal. Un conjunto de vectores se dice que es linealmente independiente si ninguno de sus elementos puede ser expresado como una combinacin lineal de los restantes. Equivalentemente, una ecuacin
a1vi1 + ai2v2 + ... + anvin = 0

slo se consigue si todos los escalares a1, ..., an son iguales a cero. Por definicin de la base cada vector puede ser expresado como una suma finita de los elementos de la base. Debido a la independencia lineal este tipo de representacin es nica. Los espacios vectoriales a veces se introducen desde este punto de vista.

Base formalmente

v1 y v2 son base de un plano, si hubiese dependencia lineal(alineados) la cuadrcula no podra generarse

Dado un sistema de generadores, diremos que es una base si son linealmente independientes.
Proposicin

Dado un espacio vectorial .


Proposicin

es una base

Dado un espacio vectorial

linealmente independientes y es linealmente independiente.

Teorema

Todo sistema de generadores tiene una base.


Teorema Steinitz

Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores linealmente independientes.
Corolario

Si un espacio vectorial

tiene una base de

vectores

cualquier otra base posee

vectores.

Observacin
Todo espacio vectorial tiene una base. Este hecho se basa en el lema de Zorn, una formulacin equivalente del axioma de eleccin. Habida cuenta de los otros axiomas de la teora de conjuntos de Zermelo-Fraenkel, la existencia de bases es equivalente al axioma de eleccin. El ultrafilter

lemma, que es ms dbil que el axioma de eleccin, implica que todas las bases de un espacio vectorial tienen el mismo "tamao", es decir, cardinalidad. Si el espacio es generado por un nmero finito de vectores, todo lo anterior puede demostrarse sin necesidad de acudir a la teora de conjuntos.

Dimensin
Dado un espacio vectorial sobre

Si tiene base finita, diremos dimensin al nmero de elementos de dicha base. Si tiene base no finita, diremos que es de dimensin infinita.

Notacin

Dado un espacio vectorial


y un subespacio
lo indicaremos como como subespacio de

, tenemos que:
. lo indicaremos como .

Si Si

tiene dimensin tiene dimensin

Anda mungkin juga menyukai