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.

ndice
[ocultar]

1Historia
2Notacin
3Definicin de espacio vectorial
o 3.1Observaciones
o 3.2Propiedades
o 3.3Primer ejemplo con demostracin
4Ejemplos de espacios vectoriales
o 4.1Los cuerpos

o 4.2Sucesiones sobre un cuerpo

o 4.3Espacios de aplicaciones sobre un cuerpo
 4.3.1Los polinomios
4.3.2Funciones trigonomtricas
o 4.4Los sistemas de ecuaciones lineales homogneas
5Definicin de subespacio vectorial
o 5.1Consecuencias
6Resultados internos
o 6.1Combinacin lineal
6.1.1Proposicin 1
o 6.2Independencia lineal
6.2.1Proposicin 2
o 6.3Base de un espacio vectorial
o 6.4Base formalmente
6.4.1Teorema de la base de generadores
6.4.2Teorema Steinitz
o 6.5Observacin
o 6.6Dimensin
6.6.1Notacin
o 6.7Interseccin de subespacios vectoriales
o 6.8Suma de subespacios vectoriales
o 6.9Teorema Frmula de Grassmann
o 6.10Suma directa de subespacios vectoriales
o 6.11Cociente de espacios vectoriales
7Construcciones bsicas
o 7.1Suma directa de espacios vectoriales
8Espacios vectoriales con estructura adicional
o 8.1Espacios normados
o 8.2Espacio mtrico
o 8.3Espacios vectoriales topolgicos
o 8.4Espacios de Banach
o 8.5Espacios prehilbertianos
o 8.6Espacios de Hilbert
9Morfismos entre espacios vectoriales
o 9.1Aplicaciones lineales
10Vase tambin
11Referencias
o 11.1Notas
o 11.2Referencias histricas
o 11.3Bibliografa
12Enlaces externos

Historia[editar]
Histricamente, las primeras ideas que condujeron a los espacios vectoriales modernos se
remontan al siglo XVII: geometra analtica, matrices y sistemas de ecuaciones lineales.
Los espacios vectoriales se derivan de la geometra afn, a travs de la introduccin
de coordenadas en el plano o el espacio tridimensional. Alrededor de 1636, los
matemticos franceses Descartes y Fermat fundaron las bases de la geometra
analtica mediante la vinculacin de las soluciones de una ecuacin con dos variables a la
determinacin de una curva plana.nota 1 Para lograr una solucin geomtrica sin usar
coordenadas, Bernhard Bolzano introdujo en 1804 ciertas operaciones sobre puntos,
lneas y planos, que son predecesores de los vectores.nota 2 Este trabajo hizo uso del
concepto de coordenadas baricntricas de August Ferdinand Mbius de 1827.nota 3
La primera formulacin moderna y axiomtica se debe a Giuseppe Peano, a finales del
siglo XIX. Los siguientes avances en la teora de espacios vectoriales provienen
del anlisis funcional, principalmente de espacios de funciones. Los problemas de Anlisis
funcional requeran resolver problemas sobre la convergencia. Esto se hizo dotando a los
espacios vectoriales de una adecuada topologa, permitiendo tener en cuenta cuestiones
de proximidad y continuidad. Estos espacios vectoriales topolgicos, en particular
los espacios de Banach y los espacios de Hilbert tienen una teora ms rica y elaborada.
El origen de la definicin de los vectores es la definicin de Giusto Bellavitis de bipoint,
que es un segmento orientado, uno de cuyos extremos es el origen y el otro un objetivo.
Los vectores se reconsideraron con la presentacin de los nmeros
complejos de Argand y Hamilton y la creacin de los cuaterniones por este ltimo
(Hamilton fue adems el que invent el nombre de vector).nota 4 Son elementos de R2 y R4;
el tratamiento mediante combinaciones lineales se remonta a Laguerre en 1867, quien
tambin defini los sistemas de ecuaciones lineales.
En 1857, Cayley introdujo la notacin matricial, que permite una armonizacin y
simplificacin de las aplicaciones lineales. Casi al mismo tiempo, Grassmann estudi el
clculo baricntrico iniciado por Mbius. Previ conjuntos de objetos abstractos dotados
de operaciones.nota 5 En su trabajo, los conceptos de independencia lineal y dimensin, as
como de producto escalar estn presentes. En realidad el trabajo de Grassmann de 1844
supera el marco de los espacios vectoriales, ya que teniendo en cuenta la multiplicacin,
tambin, lo llev a lo que hoy en da se llaman lgebras. El matemtico italiano Peano dio
la primera definicin moderna de espacios vectoriales y aplicaciones lineales en 1888.nota 6
Un desarrollo importante de los espacios vectoriales se debe a la construccin de
los espacios de funciones por Henri Lebesgue. Esto ms tarde fue formalizado
por Banach en su tesis doctoral de 1920nota 7 y por Hilbert. En este momento, el lgebra y
el nuevo campo del anlisis funcional empezaron a interactuar, en particular con
conceptos clave tales como los espacios de funciones p-integrables y los espacios de
Hilbert. Tambin en este tiempo, los primeros estudios sobre espacios vectoriales de
infinitas dimensiones se realizaron.
Los espacios vectoriales tienen aplicaciones en otras ramas de la matemtica, la ciencia y
la ingeniera. Se utilizan en mtodos como las series de Fourier, que se utiliza en las
rutinas modernas de compresin de imgenes y sonido, o proporcionan el marco para
resolver ecuaciones en derivadas parciales. Adems, los espacios vectoriales
proporcionan una forma abstracta libre de coordenadas de tratar con objetos geomtricos
y fsicos, tales como tensores, que a su vez permiten estudiar las propiedades locales
de variedades mediante tcnicas de linealizacin.

Notacin[editar]
Dado un espacio vectorial sobre un cuerpo , se distinguen.

Los elementos de como:

se llaman vectores.
Caligrafas 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[editar]

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 , (ejemplo 0 en los reales) 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) Existencia del elemento neutro multiplicativo (ejemplo 1 en los reales) del

cuerpo K, es s mismo.
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[edita
r]
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 adicin para
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 y ad
miten una redefinicin
del

tipo y cumpli
endo 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[edit
ar]

[mostrar]Unicidad del vector neutro de la

[mostrar]Unicidad del vector opuesto de

[mostrar]Unicidad del elemento en e

[mostrar]Unicidad del elemento inverso e

[mostrar]Producto de un escalar por el ve

[mostrar]Producto del escalar 0 por un ve

Si

Si es cierto.

Si entonces:
 Notacin

.
Observacin

Si

Si
Prim
er
ejem
plo
con
demo
straci
n[edi
tar]
Se
quiere
probar
que

es
un
espacio
vectoria
l
sobre

Si
juega
el papel

de

y
el
de
:
Los
element
os:

son
, de
for
ma
gen
ric
a:

e
s
d
e
c
i
r
,
p
a
r
e
s
d
e
n

m
e
r
o
s
r
e
a
l
e
s
.
P
o
r
c
l
a
r
i
d
a
d
s
e
c
o
n
s
e
r
v
a
l
a
d
e
n
o
m
i
n
a
c
i

n
d
e
l
v
e
c
t
o
r
,
e
n
e
s
t
e
c
a
s
o

u
,
e
n
s
u
s
c
o
o
r
d
e
n
a
d
a
s
,
a

a
d
i
e
n
d
o
e
l
s
u
b

n
d
i
c
e

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

y
r
e
s
p
e
c
t
i
v
a
m
e
n
t
e
E
n

s
e
d
e
f
i
n
e
l
a
o
p
e
r
a
c
i

n
s
u
m
a
:

d
o
n
d
e
:

y
l
a
s
u
m
a
d
e

v
s
e
r

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: ,donde los coeficientes , considrese .

, donde y ,

.
Expresin general:

.
Si

Si .
Si

Si .
 Nota. En este caso se dice que es un sistema de generadores que genera

a .

Si .

ase
a1vi1 + a2vi2 + ... + anvin,
e los restantes. Equivalentemente, una ecuacin
a1vi1 + ai2v2 + ... + anvin = 0
de este punto de vista.
 Proposicin 3. Dado un espacio vectorial es una base .

Proposicin 4. Dado un espacio vectorial linealmente independiente

y son linealmente independiente.

Corolario. Si un espacio vectorial tiene una base

de vectores cualquier otra base posee vectores.

er lemma, que es ms dbil que el axioma de eleccin, implica que todas las bases de un espacio vectorial tienen
 .
Observaciones. Para la interseccin sucesiva de espacios vectoriales se procede,
inductivamente, de dos en dos.

Observacin. Para la suma sucesiva de espacios vectoriales se procede,

inductivamente, de dos en dos.

Se nota por a la clase de mdulo .

 Se nota por a dicho espacio cociente.

universales, que determina un objeto X especificando las aplicaciones lineales de X a cualquier otro espacio

hoc no ofrecen un marco para hacer frente a la cuestin fundamental para el anlisis de si una sucesin de
onsiderar nuevas estructuras.

Proposicin 5. Un espacio normado es un espacio mtrico, donde la distancia viene

dada por:
Proposicin 6.. Todo espacio vectorial topolgico dotado de una mtrica es espacio
normado.
Proposicin 7.. Todo espacio normado es un espacio vectorial topolgico.