You are on page 1of 19

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.
ndice
[ocultar]

1 Historia

2 Notacin

3 Definicin de espacio vectorial


o

3.1 Observaciones

3.2 Propiedades

3.3 Primer ejemplo con demostracin al detalle

4 Ejemplos de espacios vectoriales


o

4.1 Los cuerpos

4.2 Sucesiones sobre un cuerpo

4.3 Espacios de aplicaciones sobre un cuerpo

4.3.1 Los polinomios

4.3.2 Funciones trigonomtricas


4.4 Los sistemas de ecuaciones lineales homogneas

5 Definicin de subespacio vectorial


5.1 Consecuencias

6 Resultados internos
6.1 Combinacin lineal

6.1.1 Proposicin 1
6.2 Independencia lineal

6.2.1 Proposicin 2

6.3 Base de un espacio vectorial

6.4 Base formalmente

6.4.1 Teorema de la base de generadores

6.4.2 Teorema Steinitz

6.5 Observacin

6.6 Dimensin

6.6.1 Notacin

6.7 Interseccin de subespacios vectoriales

6.8 Suma de subespacios vectoriales

6.9 Teorema Frmula de Grassmann

6.10 Suma directa de subespacios vectoriales

6.11 Cociente de espacios vectoriales

7 Construcciones bsicas
o

7.1 Suma directa de espacios vectoriales


8 Espacios vectoriales con estructura adicional

8.1 Espacios normados

8.2 Espacio mtrico

8.3 Espacios vectoriales topolgicos

8.4 Espacios de Banach

8.5 Espacios prehilbertianos

8.6 Espacios de Hilbert

9 Morfismos entre espacios vectoriales


o

9.1 Aplicaciones lineales

10 Vase tambin

11 Referencias
o

11.1 Notas

11.2 Referencias histricas

11.3 Bibliografa
12 Enlaces 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
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

, se distinguen.

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

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

admiten una

redefinicin del
tipo
y

cumpl

iendo 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]
[Expandir]Unicidad del vector neutro de la propiedad

[Expandir]Unicidad del vector opuesto de la propiedad

[Expandir]Unicidad del elemento

en el cuerpo

[Expandir]Unicidad del elemento inverso en el cuerpo

[Expandir]Producto de un escalar por el vector neutro

[Expandir]Producto del escalar 0 por un vector

Si

Si

es cierto.

Si

entonces:

Notacin
.
Observacin

Si

Si

Primer
ejemplo con
demostraci
n al
detalle[editar]
Se quiere
probar que
es un espacio
vectorial
sobre
Si
juega el
papel de
y
el de
:
Los elementos:

son, de
forma
genrica:

es
decir,
pares
de
nmero
s
reales.
Por
claridad
se
conserv
a la
denomi
nacin
del
vector,

en este
caso u,
en sus
coorden
adas,
aadien
do el
subndi
ce x o y
para
denomi
nar su
compon
ente en
el
eje x o
y respe
ctivame
nte
En
s
e define
la
operaci
n
suma:

don
de:

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 as

3) tiene elemento n

4) tenga elemento

La operacin produ

El producto de a y

donde:

esto implica que la

5) tenga la propied

Esto es:

6)

sea ele

Que resulta:

Que tiene la propie

7) distributiva por la

En este caso tenem

8) distributiva por la

Que en este caso t

Queda demostrado

Ejemplos de

Los cuerpos[ed

Todo cuerpo es un

es un espac

Todo cuerpo es un

es un espac

es un espac

Sucesiones so

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

Las sucesiones inf


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

El espacio de las m

Tambin son espac


matrices
,

Espacios de ap
El conjunto

de la

Los polinomios[e

Suma de f(x)=x+x2 y

El espacio vectoria
Expresin general:

,donde

los coeficientes

, considrese

,
donde

Las series de poten

Funciones trigono

Las funciones trigo

Expresin general:

Los sistemas d

Artculos principales: E

Sistema de 2 ecuacio

Un sistema de ecu
operaciones:
Si
Si

Tambin que las ec


Si
Si

Definicin d
Sea

un espacio

Nota. En este caso se dice que

Si

a1vi1 + a2vi2 + ... + anvin,

tantes. Equivalentemente, una ecuacin


a1vi1 + ai2v2 + ... + anvin = 0

es un sistema de generadores que genera a

unto 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


base posee

tiene una base de

vectores

cualquier otra

vectores.

, que es ms dbil que el axioma de eleccin, implica que todas las bases de un espacio vectorial tienen el

Si tiene base finita, diremos dimensin al nmero de elementos de dicha base.


Si tiene base no finita, diremos que es de dimensin infinita.

Si

tiene dimensin

lo indicaremos como

Si

tiene dimensin

como subespacio de

lo indicaremos

.
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.

La relacin anterior es una relacin de equivalencia.


Se nota por
a la clase de

Se nota por

a dicho espacio cociente.

modulo

ales, que determina un objeto X especificando las aplicaciones lineales de X a cualquier otro espacio vectorial.

,
.

frecen un marco para hacer frente a la cuestin fundamental para el anlisis de si una sucesin de
r nuevas estructuras.

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


dada por:

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.

,
.

You might also like