You are on page 1of 73

Espacio vectorial

Este artculo est orientado a proporcionar un tratamiento riguroso y abstracto del concepto de espacio vectorial. Para una introduccin ms accesible al concepto, vase Vector

Representacin artstica de un espacio vectorial.

En lgebra abstracta, un espacio vectorial es una estructura algebraica creada a partir de un conjunto no vaco, una operacin interna (llamada suma, definida para los elementos del conjunto) y una operacin externa (llamada producto por un escalar, definida entre dicho conjunto y otro conjunto, con estructura de cuerpo ), con 8 propiedades fundamentales. A los elementos de un espacio vectorial se les llama vectores y a los elementos del cuerpo, escalares.

Definicin de espacio vectorial[editar editar fuente]


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)

sea elemento neutro del producto:

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

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

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

Observaciones[editar editar fuente]


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 adicinpara la suma, usando las distinciones propias de la aritmtica. Para demostrar que un conjunto es un espacio vectorial:

Lo es si sus dos operaciones, por ejemplo del y admiten una redefinicin

tipo y cumpliendo las 8 condiciones exigidas.

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 tendramos probados los apartados 5 y 6. Si no se dice lo contrario:

Propiedades[editar editar fuente]


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 supongamos que 1 no es nico, es decir, sean y

en el cuerpo

dos unidades, entonces:

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

, entonces, como el neutro es nico:

Producto de un escalar por el vector neutro:

Producto del escalar 0 por un vector:

Si

Si es cierto. Si ntonces: e

Notacin . Observ acin

Si Si

Primer ejemplo con demostracin al detalle[editar editar fuente]


Se quiere probar que Si juega el papel de es un espacio vectorial sobre y el de :

Los elementos:

son, de forma genrica:

es decir, pares de nmeros reales. Por claridad se conserva 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 yrespectivamente En se define la operacin suma:

donde:

y la suma de u y v sera:

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 element o opuesto:

L a o p e r a c i n p r o d u c t o p o r u n e s c a l a r :

E l

p r o d u c t o d e a y u s e r :

d o n d e :

e s t o i m p l i c

a q u e l a m u l t i p l i c a c i n d e v e c t o r p o r e s c a l a r

e s e x t e r n a y a u n a s e s t b i e n d e f i n i d a . 5 )

t e n g a l a p r o p i e d a d a s o c i a t i v a :

(u1, u2, ..., un)+(v1, v2, ..., vn)=(u1+v1, u2+v2, ..., un+vn). a(u1, u2, ..., un)=(au1, au2, ..., aun).

(u1, u2, ..., un, ...)+(v1, v2, ..., vn, ...)=(u1+v1, u2+v2, ..., un+vn, ...). a(u1, u2, ..., un, ...)=(au1, au2, ..., aun, ...).

Expresin general: los coeficientes , considrese .

,donde

, donde y ,

Expresin general:

Si Si .

Si Si .