Notacin

Dado un espacio vectorial Los elementos de como: sobre un cuerpo , se distinguen.

se llaman vectores. Caligrafias de otras obras Si el texto es de fsica suelen representarse bajo una flecha:

Los elementos de

como: se llaman escalares.

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 para las cuales ser cerrado:

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 asociativa:

6) tenga elemento neutro 1:

7) tenga la propiedad distributiva del producto respecto la suma de vectores:

8) tenga la propiedad distributiva del producto respecto la suma de escalares:

Vase tambin: Espacio eucldeo Vase tambin: Vector Vase tambin: Representacin grfica de vectores

Observaciones

La denominacin de las dos operaciones no condiciona la definicin de espacio vectorial por lo que es habitual encontrar traducciones de obras en las que se utiliza multiplicacin para el producto y sustraccin para la suma, usando las distinciones propias de la aritmtica. Para demostrar que un conjunto

es un espacio vectorial:

Si supisemos que es un grupo conmutativo o abeliano respecto la suma ya tendramos probados los apartados 1, 2, 3 y 4. Si supisemos que el producto es una accin por la izquierda de los apartados 5 y 6. Si no se dice lo contrario: tendramos probados

. 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 opuestos de , entonces, como el neutro es nico: y dos vectores

Unicidad del elemento en el cuerpo

:
y dos unidades, entonces:

supongamos que 1 no es nico, es decir, sean

Unicidad del elemento inverso en el cuerpo

:
y dos opuestos

supongamos que el inverso de a, no es nico, es decir, sean de , entonces, como el neutro es nico:

Producto de un escalar por el vector neutro:

Producto del escalar 0 por un vector:

Si

Si Si

es cierto. entonces:

Notacin
.

Observacin

Si Si

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 ser:

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 si: un espacio vectorial sobre y no vaco, es un subespacio vectorial de

i) ii) 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.

Resultados internos
Para detallar el comportamiento interno de todos los espacios vectoriales de modo general es necesario exponer una serie de herramientas cronolgicamente vinculadas entre ellas, con las cuales es posible construir resultados vlidos en cualquier estructura que sea espacio vectorial.
Combinacin lineal

Veremos que cada vector u es combinacin lineal de forma nica

Dado un espacio vectorial vectores de

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

Notaremos como los vectores de

Proposicin 1

el conjunto resultante de todas las combinaciones lineales de .

Dado un espacio vectorial y vectorial ms pequeo contenido en

Demostracin Nota. En este caso diremos que Independencia lineal

, el conjunto y que contiene a

es el subespacio .

es un sistema de generadores que genera a

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 2

de vectores es linealmente dependiente si no es linealmente

son linealmente dependientes