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, vaseVector

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.

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 delanlisis
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 losespacios
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 lossistemas 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
Los elementos de

sobre un cuerpo

como:
se llaman vectores.

Caligrafas de otras obras

, se distinguen.

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

, 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 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[editar]
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 utilizamultiplicacin 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

redefinicin del tipo

admiten una
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

probados los apartados 5 y 6.

Si no se dice lo contrario:
.

Propiedades[editar]
[Expandir]Unicidad del vector neutro de la propiedad 3

[Expandir]Unicidad del vector opuesto de la propiedad 4

[Expandir]Unicidad del elemento

en el cuerpo

tendramos

[Expandir]Producto de un escalar por el vector neutr

[Expandir]Producto del escalar 0 por un vector

Si

Si

es cierto.

Si

entonces:

Notacin
.
Observacin

Si

Si

Primer ejemplo con demostracin al detalle[editar]

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

Esto es:

6)

sea elemento neutro en el producto:

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.

Ejemplos de espacios vectoriales[editar]

Los cuerpos[editar]
Todo cuerpo es un espacio vectorial sobre l mismo, usando como producto por escalar el
producto del cuerpo.

es un espacio vectorial de dimensin uno sobre

Todo cuerpo es un espacio vectorial sobre su subcuerpo, usando como producto por escalar el
producto del cuerpo.

es un espacio vectorial de dimensin 2 sobre

es un espacio vectorial de dimensin infinita sobre

Sucesiones sobre un cuerpo

.
.

[editar]

El espacio vectorial ms conocido notado como

, donde n>0 es un entero, tiene como

elementos n-tuplas, es decir, sucesiones finitas de

de longitud n con las operaciones:

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

son espacios vectoriales con las operaciones:

(u1, u2, ..., un, ...)+(v1, v2, ..., vn, ...)=(u1+v1, u2+v2, ..., un+vn, ...).
a(u1, u2, ..., un, ...)=(au1, au2, ..., aun, ...).
El espacio de las matrices

, sobre

, con las operaciones:

Tambin son espacios vectoriales cualquier agrupacin de elementos de

en las cuales se

defina las operaciones suma y producto entre estas agrupaciones, elemento a elemento,
similar al de matrices

, as por ejemplo tenemos las cajas

sobre

que

aparecen en el desarrollo de Taylor de orden 3 de una funcin genrica.

Espacios de aplicaciones sobre un cuerpo[editar]

El conjunto

de las aplicaciones

un cuerpo y

un conjunto, tambin

forman espacios vectoriales mediante la suma y la multiplicacin habitual:

Los polinomios[editar]

Suma de f(x)=x+x2 y g(x)=-x2.

El espacio vectorial K[x] formado por funciones polinmicas, vemoslo:

Expresin general:
los coeficientes

,donde
, considrese

,
donde

.
Las series de potencias son similares, salvo que se permiten infinitos trminos distintos de
cero.
Funciones trigonomtricas[editar]
Las funciones trigonomtricas forman espacios vectoriales, con las siguientes operaciones:

Expresin general:

Los sistemas de ecuaciones lineales homogneas[editar]

Artculos principales: Ecuacin lineal, Ecuacin diferencial lineal y Sistemas de ecuaciones

lineales.

Sistema de 2 ecuaciones y 3 variables

equivalentemente

simplificado

como
Un sistema de ecuaciones lineales homogneas( ecuaciones lineales en las que
siempre una solucin, es decir,

es

) posee soluciones que

forman un espacio vectorial, se puede ver en sus dos operaciones:

Si
Si

Tambin que las ecuaciones en s, filas de la matriz

decir,

notadas como una matriz

, es

, son un espacio vectorial, como se puede ver en sus dos

operaciones:
Si
Si

Definicin de subespacio vectorial[editar]

Sea

un espacio vectorial sobre

vectorial de

,y

no vaco,

es un subespacio

si:

Consecuencias[editar]
hereda las operaciones de
de

como aplicaciones bien definidas, es decir que no escapan

, 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[editar]

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[editar]

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

Notaremos como
vectores de

tales que

el conjunto resultante de todas las combinaciones lineales de los

.

Proposicin 1[editar]
Dado

un espacio vectorial y

un conjunto de vectores, el conjunto

el subespacio vectorial ms pequeo contenido en

Nota. En este caso se dice que

y que contiene a

es

es un sistema de generadores que genera a

Independencia lineal[editar]
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[editar]

.
de vectores es linealmente dependiente si no es linealmente

son linealmente dependientes

Base de un espacio vectorial[editar]

Artculos principales: Base y Dimensin.

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[editar]

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 3. Dado un espacio vectorial

es una base

.
Proposicin 4. Dado un espacio vectorial

linealmente

independiente y

son linealmente

independiente.
Teorema de la base de generadores[editar]
Todo sistema de generadores tiene una base.
Teorema Steinitz[editar]
Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores linealmente
independientes.
Corolario. Si un espacio vectorial
posee

tiene una base de

vectores

cualquier otra base

vectores.

Observacin[editar]
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
lateora 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[editar]
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[editar]
Dado un espacio vectorial

Si

tiene dimensin

Si

tiene dimensin

como

y un subespacio

, tenemos que:

lo indicaremos como
como subespacio de

.
lo indicaremos

Interseccin de subespacios vectoriales[editar]

Dado dos subespacios vectoriales

, la interseccin es subespacio vectorial

contenido en estos y lo notaremos como:

.
Observaciones. Para la interseccin sucesiva de espacios vectoriales se procede,
inductivamente, de dos en dos.
La unin de subespacios vectoriales no es en general un subespacio vectorial.

Suma de subespacios vectoriales[editar]

Dado dos subespacios vectoriales

, la suma es un subespacio vectorial que

contiene a estos y la notaremos como:

.
Si F y G son subespacios vectoriales de E, su suma F+G es el subespacio vectorial de E ms
pequeo que contiene a F y a G.
Observacin. Para la suma sucesiva de espacios vectoriales se procede, inductivamente, de
dos en dos.

Teorema Frmula de Grassmann[editar]

Dado dos subespacios vectoriales

de dimensin finita, tenemos el resultado

siguiente:
.

Suma directa de subespacios vectoriales[editar]

Dados dos subespacios vectoriales
directa si

, diremos que

es una suma

y lo notaremos como:

.
Cuando

estn en suma directa, cada vector de

como suma de un vector de

y otro vector de

se expresa de forma nica

Cociente de espacios vectoriales[editar]

Dado un espacio vectorial
Dados

y un subespacio vectorial

diremos que estn relacionados modulo

.
si

La relacin anterior es una relacin de equivalencia.

Se nota por
clase de

modulo

a la
.

Llamaremos conjunto cociente o espacio cociente al conjunto de las clases de equivalencia

anterior:
Se nota por
El espacio

a dicho espacio cociente.

es un espacio vectorial con las operaciones siguientes:

Construcciones bsicas[editar]
Adems de lo expuesto en los ejemplos anteriores, hay una serie de construcciones que nos
proporcionan espacios vectoriales a partir de otros. Adems de las definiciones concretas que
figuran a continuacin, tambin se caracterizan por propiedades universales, que determina
un objeto X especificando las aplicaciones lineales de X a cualquier otro espacio vectorial.

Suma directa de espacios vectoriales[editar]

Dado dos espacios vectoriales

sobre un mismo cuerpo

, llamaremos suma directa al

espacio vectorial

, veamos que estn

bien definidas las dos operaciones:

,
.

Espacios vectoriales con estructura adicional[editar]

Desde el punto de vista del lgebra lineal, los espacios vectoriales se comprenden
completamente en la medida en que cualquier espacio vectorial se caracteriza, salvo
isomorfismos, por su dimensin. Sin embargo, los espacios vectoriales ad hoc no ofrecen un
marco para hacer frente a la cuestin fundamental para el anlisis de si una sucesin de
funciones converge a otra funcin. Asimismo, el lgebra lineal no est adaptada per se para
hacer frente a series infinitas, ya que la suma solo permite un nmero finito de trminos para
sumar. Las necesidades del anlisis funcional requieren considerar nuevas estructuras.

Espacios normados[editar]
Artculos principales: Espacio vectorial normado y Norma (matemticas).

Un espacio vectorial es normado si est dotado de una norma.

Espacio mtrico[editar]
Un espacio mtrico es un espacio vectorial dotado de una aplicacin distancia.

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

por:

Toda distancia inducida por la norma es una distancia.

Espacios vectoriales topolgicos[editar]

Artculo principal: Espacio vectorial topolgico

Dada una topologa

sobre un espacio vectorial

donde los puntos sean cerrados y las dos

operaciones del espacio vectorial sean continuas respecto dichas topologa, diremos que:

es una topologa vectorial sobre

es un espacio vectorial topolgico.

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

Espacios de Banach[editar]
Artculo principal: Espacio de Banach

Un espacio de Banach es un espacio normado y completo.

Espacios prehilbertianos[editar]
Artculo principal: Espacio prehilbertiano

Un espacio prehilbertiano es un par

, donde

es un espacio vectorial y

es

un producto a escalar.

Espacios de Hilbert[editar]
Artculo principal: Espacio de Hilbert

Un espacio de Hilbert es un espacio prehilbertiano completo por la norma definida por el

producto escalar.

Morfismos entre espacios vectoriales[editar]

Son aplicaciones entre espacios vectoriales que mantienen la estructura de los espacios
vectoriales, es decir, conservan las dos operaciones y las propiedades de stas de uno a otro
de dichos espacios.

Aplicaciones lineales[editar]
Artculo principal: Aplicacin lineal

Dado dos espacios vectoriales

aplicacin

es lineal si:
,
.

, sobre un mismo cuerpo, diremos que una