Este artículo está orientado a proporcionar un tratamiento riguroso y abstracto del

concepto de espacio vectorial. Para una introducción más accesible al concepto,

véase Vector

Representación artística de un espacio vectorial.

En álgebra abstracta, un espacio vectorial es una estructura algebraica creada a

partir de un conjunto no vacío, una operación interna (llamada suma, definida para los
elementos del conjunto) y una operación 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

 1Historia
 2Notación
 3Definición de espacio vectorial
o 3.1Observaciones
o 3.2Propiedades
o 3.3Primer ejemplo con demostración
 4Ejemplos de espacios vectoriales
o 4.1Los cuerpos
o 4.3Espacios de aplicaciones sobre un cuerpo
 4.3.1Los polinomios
 4.3.2Funciones trigonométricas
o 4.4Los sistemas de ecuaciones lineales homogéneas
 5Definición de subespacio vectorial
o 5.1Consecuencias
 6Resultados internos
o 6.1Combinación lineal
 6.1.1Proposición 1
o 6.2Independencia lineal
 6.2.1Proposición 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.5Observación
o 6.6Dimensión
 6.6.1Notación
o 6.7Intersección de subespacios vectoriales
o 6.8Suma de subespacios vectoriales
o 6.9Teorema Fórmula de Grassmann
o 6.10Suma directa de subespacios vectoriales
o 6.11Cociente de espacios vectoriales
 7Construcciones básicas
o 7.1Suma directa de espacios vectoriales
 8Espacios vectoriales con estructura adicional
o 8.1Espacios normados
o 8.2Espacios vectoriales topológicos
o 8.3Espacios de Banach
o 8.4Espacios prehilbertianos
o 8.5Espacios de Hilbert
 9Morfismos entre espacios vectoriales
o 9.1Aplicaciones lineales
 10Véase también
 11Referencias
o 11.1Notas
o 11.2Referencias históricas
o 11.3Bibliografía
 12Enlaces externos

Historia[editar]
Históricamente, las primeras ideas que condujeron a los espacios vectoriales
modernos se remontan al siglo XVII: geometría analítica, matrices y sistemas de
ecuaciones lineales.
Los espacios vectoriales se derivan de la geometría afín a través de la introducción
de coordenadas en el plano o el espacio tridimensional. Alrededor de 1636, los
matemáticos franceses Descartes y Fermat fundaron las bases de la geometría
analítica mediante la vinculación de las soluciones de una ecuación con dos variables
a la determinación de una curva plana.nota 1 Para lograr una solución geométrica sin
usar coordenadas, Bernhard Bolzano introdujo en 1804 ciertas operaciones sobre
puntos, líneas y planos, que son predecesores de los vectores.nota 2 Este trabajo hizo
uso del concepto de coordenadas baricéntricas de August Ferdinand Möbius de
1827.nota 3
La primera formulación moderna y axiomática se debe a Giuseppe Peano, a finales del
siglo XIX. Los siguientes avances en la teoría de espacios vectoriales provienen
del análisis funcional, principalmente de espacios de funciones. Los problemas de
Análisis funcional requerían resolver problemas sobre la convergencia. Esto se hizo
dotando a los espacios vectoriales de una adecuada topología, permitiendo tener en
cuenta cuestiones de proximidad y continuidad. Estos espacios vectoriales
topológicos, en particular los espacios de Banach y los espacios de Hilbert tienen una
teoría más rica y elaborada.
El origen de la definición de los vectores es la definición 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 presentación de los números
complejos de Argand y Hamilton y la creación de los cuaterniones por este último
(Hamilton fue además 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 también definió los sistemas de ecuaciones lineales.
En 1857, Cayley introdujo la notación matricial que permite una armonización y
simplificación de las aplicaciones lineales. Casi al mismo tiempo, Grassmann estudió
el cálculo baricéntrico iniciado por Möbius. Previó conjuntos de objetos abstractos
dotados de operaciones.nota 5 En su trabajo, los conceptos de independencia
lineal y dimensión, así como de producto escalar están presentes. En realidad el
trabajo de Grassmann de 1844 supera el marco de los espacios vectoriales, ya que
teniendo en cuenta la multiplicación, también, lo llevó a lo que hoy en día se
llaman álgebras. El matemático italiano Peano dio la primera definición moderna de
espacios vectoriales y aplicaciones lineales en 1888. nota 6
Un desarrollo importante de los espacios vectoriales se debe a la construcción de
los espacios de funciones por Henri Lebesgue. Esto más 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 análisis funcional empezaron a interactuar, en
particular con conceptos clave tales como los espacios de funciones p-integrables y
los espacios de Hilbert. También en este tiempo, los primeros estudios sobre espacios
vectoriales de infinitas dimensiones se realizaron.
Los espacios vectoriales tienen aplicaciones en otras ramas de la matemática,
la ciencia y la ingeniería. Se utilizan en métodos como las series de Fourier, que se
utiliza en las rutinas modernas de compresión de imágenes y sonido, o proporcionan el
marco para resolver ecuaciones en derivadas parciales. Además, los espacios
vectoriales proporcionan una forma abstracta libre de coordenadas de tratar con
objetos geométricos y físicos, tales como tensores, que a su vez permiten estudiar las
propiedades locales de variedades mediante técnicas de linealización.

Notación[editar]
Dado un espacio vectorial  sobre un cuerpo , se distinguen.
Los elementos de  como:
 se llaman vectores.
Caligrafías de otras obras
Si el texto es de física suelen representarse bajo una flecha:
Los elementos de  como:
 se llaman escalares.

Definición de espacio vectorial[editar]

Un espacio vectorial sobre un cuerpo  (como el cuerpo de
los números reales o los números complejos) es un conjunto  no
vacío, dotado de dos operaciones para las cuales será cerrado:
operación interna tal que:
1) tenga la propiedad conmutativa:
2) tenga la propiedad asociativa:
3) exista el elemento neutro:
  
4) exista el elemento opuesto:
 
y tenga la operación producto por un escalar:
 operación externa tal que:
5) tenga la propiedad asociativa:
  
6) exista el elemento neutro:
  
7) tenga la propiedad distributiva respecto de la suma vectorial:
  
8) tenga la propiedad distributiva respecto de la suma escalar:
  
Véase
también: Espacio
euclídeo
Véase también: Vector
Véase
también: Representac
ión gráfica de
vectores

Observacione
s[editar]
La denominación de
las dos operaciones
no condiciona la
definición de espacio
vectorial por lo que
es habitual encontrar
traducciones de
obras en las que se
utiliza multiplicación 
para
el producto y adición 
para la suma,
usando las
distinciones propias
de la aritmética.
Para demostrar que
un conjunto  es un
espacio vectorial:
 Lo es si sus dos
operaciones, por
ejemplo 
 y  admiten una
redefinición del
tipo 
 y  cumpliendo
las 8
condiciones
exigidas.
 Si supiésemos
que  es un grupo
conmutativo o
abeliano
 respecto la
suma ya
tendríamos
probados los
apartados 1, 2,
3 y 4.
 Si supiésemos
que el producto
es
una acción por
la izquierda
de  tendríamos
probados los
apartados 5 y 6.

 Si no se dice lo
contrario:
.
Propiedade
s[editar]

mostrarUnicidad del vector neutr

mostrarUnicidad del vector opue

mostrarUnicidad del elemento  en

mostrarUnicidad del elemento inv

mostrarProducto de un escalar p

mostrarProducto del escalar 0 po

Si  
 Si  es cierto.
 Si 
 entonces:
       
Notación
.
Observ
ación
 Si  
 Si  
P
r
i
m
e
r

e
j
e
m
p
l
o

c
o
n

d
e
m
o
s
t
r
a
c
i
ó
n
[
e
d
i
t
a
r
]
S
e

q
u
i
e
r
e

p
r
o
b
a
r

q
u
e
 
 
e
s

u
n

e
s
p
a
c
i
o

v
e
c
t
o
r
i
a
l
s
o
b
r
e
 

S
i 
 
j
u
e
g
a

e
l
p
a
p
e
l
d
e
 
 
y
 
 
e
l
d
e
 

:
L
o
s

e
l
e
m
e
n
t
o
s
:
son
, de
for
ma
gen
éric
a:
es
decir,
pares
de
número
s
reales.
Por
claridad
se
conserv
a la
denomi
nación
del
vector,
en este
caso u,
en sus
coorde
nadas,
añadien
do el
subíndi
ce x o y 
para
denomi
nar su
compon
ente en
el
eje x o 
y respe
ctivame
nte
En  se
define
la
operaci
ón
suma:
donde:
y la suma
de u y v sería:
donde:
esto implica que la
vectores es interna
definida.
La operación intern
las propiedades:
1) La propiedad co
decir:
2) La propiedad as
3) tiene elemento n
4) tenga elemento
La operación produ
El producto de a y 
donde:
esto implica que la
5) tenga la propied
Esto es:
6)  sea elemento n
Que resulta:
Que tiene la propie
7) distributiva por la
En este caso tenem