Escolar Documentos
Profissional Documentos
Cultura Documentos
Este artculo est orientado a proporcionar un el espacio tridimensional. Alrededor de 1636, los mate-
tratamiento riguroso y abstracto del concepto de mticos franceses Descartes y Fermat fundaron las bases
espacio vectorial. Para una introduccin ms de la geometra analtica mediante la vinculacin de las
accesible al concepto, vase Vector soluciones de una ecuacin con dos variables a la determi-
nacin de una curva plana.[nota 1] Para lograr una solucin
geomtrica sin usar coordenadas, Bernhard Bolzano in-
trodujo 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 baricntri-
cas de August Ferdinand Mbius de 1827.[nota 3]
La primera formulacin moderna y axiomtica se debe a
Giuseppe Peano, a nales del siglo XIX. Los siguientes
avances en la teora de espacios vectoriales provienen del
anlisis funcional, principalmente de espacios de funcio-
nes. Los problemas de Anlisis funcional requeran resol-
ver problemas sobre la convergencia. Esto se hizo dotan-
do 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 denicin de los vectores es la de-
nicin de Giusto Bellavitis de bipoint, que es un seg-
mento 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 lti-
Representacin artstica de un espacio vectorial. mo (Hamilton fue adems el que invent el nombre de
vector).[nota 4] Son elementos de R2 y R4 ; el tratamiento
En lgebra abstracta, un espacio vectorial es una mediante combinaciones lineales se remonta a Laguerre
estructura algebraica creada a partir de un conjunto no va- en 1867, quien tambin deni los sistemas de ecuaciones
co, una operacin interna (llamada suma, denida para lineales.
los elementos del conjunto) y una operacin externa (lla- En 1857, Cayley introdujo la notacin matricial, que
mada producto por un escalar, denida entre dicho con- permite una armonizacin y simplicacin de las
junto y otro conjunto, con estructura de cuerpo ), con 8 aplicaciones lineales. Casi al mismo tiempo, Grassmann
propiedades fundamentales. estudi el clculo baricntrico iniciado por Mbius.
A los elementos de un espacio vectorial se les llama Previ conjuntos [nota 5]
de objetos abstractos dotados de
vectores y a los elementos del cuerpo, escalares. operaciones. En su trabajo, los conceptos de
independencia lineal y dimensin, as como de producto
escalar estn presentes. En realidad el trabajo de Grass-
mann de 1844 supera el marco de los espacios vectoriales,
1 Historia ya que teniendo en cuenta la multiplicacin, tambin, lo
llev a lo que hoy en da se llaman lgebras. El matem-
Histricamente, las primeras ideas que condujeron a los tico italiano Peano dio la primera denicin moderna de
espacios vectoriales modernos se remontan al siglo XVII: espacios vectoriales y aplicaciones lineales en 1888.[nota 6]
geometra analtica, matrices y sistemas de ecuaciones li-
Un desarrollo importante de los espacios vectoriales se
neales.
debe a la construccin de los espacios de funciones por
Los espacios vectoriales se derivan de la geometra afn, Henri Lebesgue. Esto ms tarde fue formalizado por
a travs de la introduccin de coordenadas en el plano o
1
2 3 DEFINICIN DE ESPACIO VECTORIAL
Banach en su tesis doctoral de 1920[nota 7] y por Hilbert. 2) tenga la propiedad asociativa, es decir
En este momento, el lgebra y el nuevo campo del anlisis
funcional empezaron a interactuar, en particular con con- u+(v+w) = (u+v)+w, u, v, w
ceptos clave tales como los espacios de funciones p- V
integrables y los espacios de Hilbert. Tambin en este
tiempo, los primeros estudios sobre espacios vectoriales
3) tenga elemento neutro e , (ejemplo 0 en los
de innitas dimensiones se realizaron.
reales) es decir
Los espacios vectoriales tienen aplicaciones en otras ra-
mas de la matemtica, la ciencia y la ingeniera. Se utili- e V : u + e = u, u V
zan en mtodos como las series de Fourier, que se utiliza
en las rutinas modernas de compresin de imgenes y so- 4) tenga elemento opuesto, es decir
nido, o proporcionan el marco para resolver ecuaciones
u V, u V : u+(u) =
en derivadas parciales. Adems, los espacios vectoriales
e
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 y la operacin producto por un escalar:
locales de variedades mediante tcnicas de linealizacin.
Producto : K V V
(a, u) 7 au
2 Notacin
operacin externa tal que:
Dado un espacio vectorial V sobre un cuerpo K , se
distinguen. 5) tenga la propiedad asociativa:
Los elementos de V como:
a (b u) = (a b) u, a, b K,
u V
u, v, w, . . . V se llaman vectores.
6) 1 K sea elemento neutro del producto:
Caligrafas de otras obras
1 u = u, u V
u, v, w, . . . V
7) tenga la propiedad distributiva del producto
Si el texto es de fsica suelen representarse bajo respecto la suma de vectores:
una echa:
a (u + v) = a u + a v, a K,
... V
u, v , w, u, v V
av = va
u = (ux , uy )
donde:
! a1 K : a1 a = 1 u = 1u =
(a1 a)u = a1 (au) = a1 0 = 0 u = 0.
wx = ux + vx
Notacin wy = uy + vy
au = (a)u = a(u)
u + v = v + u, u, v V
Si au+a(u) = a(uu) = a0 = 0 u+v=v+u
a(u) = au
(ux , uy ) + (vx , vy ) = v + u
Si au+(a)u = (aa)u = 0u = 0
(a)u = au (ux + vx , uy + vy ) = v + u
(vx + ux , vy + uy ) = v + u
3.3 Primer ejemplo con demostracin (vx , vy ) + (ux , uy ) = v + u
v+u=v+u
Se quiere probar que R2 es un espacio vectorial sobre R
2) La propiedad asociativa:
Si R2 juega el papel de V y R el de K :
Los elementos:
(u + v) + w = u + (v + w)
( ) ( )
u V = R2 = R R (ux , uy )+(vx , vy ) +(wx , wy ) = (ux , uy )+ (vx , vy )+(wx , wy )
son, de forma genrica: (ux +vx , uy +vy )+(wx , wy ) = (ux , uy )+(vx +wx , vy +wy )
4 4 EJEMPLOS DE ESPACIOS VECTORIALES
(ux +vx +wx , uy +vy +wy ) = (ux +vx +wx , uy +vy +wy ) 1 (ux , uy ) = u
3) tiene elemento neutro 0 : (1 ux , 1 uy ) = u
(ux , uy ) = u
u = (ux , uy )
a (u + v) = a u + a v
u+(u) = (ux , uy )+(ux , uy ) = (ux ux , uy uy ) = (0, 0) = 0
a ((ux , uy ) + (vx , vy )) = a (ux , uy ) + a (vx , vy )
La operacin producto por un escalar:
a (ux + vx , uy + vy ) = (a ux , a uy ) + (a vx , a vy )
a (ux + vx , uy + vy ) = (a ux + a vx , a uy + a vy )
: K V V
(a, u) 7 v=au (a(ux +vx ), a(uy +vy )) = (a(ux +vx ), a(uy +vy ))
(a + b) u = a u + b u, a, b R, u V
a u = a (ux , uy ) = (a ux , a uy ) = (vx , vy ) = v
Que en este caso tenemos:
donde:
vx = a ux (a + b) u = a u + b u
vy = a u y (a + b) (ux , uy ) = a (ux , uy ) + b (ux , uy )
esto implica que la multiplicacin de vector por escalar (a + b) (ux , uy ) = (a ux , a uy ) + (b ux , b uy )
es externa y aun as est bien denida.
(a + b) (ux , uy ) = (a ux + b ux , a uy + b uy )
5) tenga la propiedad asociativa:
((a + b) ux , (a + b) uy ) = ((a + b) ux , (a + b) uy )
Queda demostrado que es espacio vectorial.
a (b u) = (a b) u, a, b K, u V
a(u1 , u2 , ..., un, ...)=(au1 , au2 , ..., aun, ...). Suma de f(x)=x+x2 y g(x)=-x2 .
cos(ix)) =
cg,i (af + Tambin que las ecuaciones en s, las de la matriz
n
ag ) i=1 ((bf,i + bg,i )sen(ix) + A notadas como una matriz 1 n , es decir, Ei =
(cf,i + cg,i ) cos(ix)) L2 , (ai,1 , . . . , ai,n ) , son un espacio vectorial, como se pue-
de ver en sus dos operaciones:
(af )(x) n := af (x)
= a(af i=1 (bf,i sen(ix) + Si Ei x = 0, Ej x = 0 Ei x + Ej x = 0
cf,i cos(ix)))
n = (Ei + Ej )x = 0
aaf i=1 (abf,i sen(ix) +
acf,i cos(ix)) L2 . Si Ei x = 0, a K a(Ei x) = 0
(aEi )x = 0 .
4.4 Los sistemas de ecuaciones lineales ho-
mogneas 5 Denicin de subespacio vecto-
rial
Sea V un espacio vectorial sobre K , y U V no vaco,
U es un subespacio vectorial de V si:
i) u, v U, u + v U
ii) u U, k K, ku U
5.1 Consecuencias
U hereda las operaciones de V como aplicaciones bien
denidas, es decir que no escapan de U , y como conse-
cuencia tenemos que U es un espacio vectorial sobre K
.
Con cualquier subconjunto de elementos seleccionados
en los espacios vectoriales anteriores, no vaco, se pue-
den generar subespacios vectoriales, para ello seria til
introducir nuevos conceptos que facilitarn el trabajo so-
bre estos nuevos espacios vectoriales.
Sistema de 2 ecuaciones y 3 variables
.. .. ..
. . . o equivalen-
6.1.1 Proposicin 1
6.4 Base formalmente
Dado E un espacio vectorial y S E un conjunto de
vectores, el conjunto F = S E es el subespacio vectorial
ms pequeo contenido en E y que contiene a S .
Diremos que un conjunto S de vectores es linealmente Dado un sistema de generadores, diremos que es una base
dependiente si no es linealmente independiente. si son linealmente independientes.
donde los ak son escalares y vik (k = 1, ..., n) elemen- Toda base de un espacio vectorial puede ser cambiada
tos de la base B. La minimalidad, por otro lado, se hace parcialmente por vectores linealmente independientes.
8 6 RESULTADOS INTERNOS
7 Construcciones bsicas
8.3 Espacios vectoriales topolgicos
Adems de lo expuesto en los ejemplos anteriores, hay
Dada una topologa sobre un espacio vectorial X don-
una serie de construcciones que nos proporcionan espa-
de los puntos sean cerrados y las dos operaciones del es-
cios vectoriales a partir de otros. Adems de las deni-
pacio vectorial sean continuas respecto dichas topologa,
ciones concretas que guran a continuacin, tambin se
diremos que:
caracterizan por propiedades universales, que determina
un objeto X especicando las aplicaciones lineales de X
a cualquier otro espacio vectorial. es una topologa vectorial sobre X ,
Desde el punto de vista del lgebra lineal, los espacios Un espacio prehilbertiano es un par (E , |) , donde
vectoriales se comprenden completamente en la medida E es un espacio vectorial y | es un producto a escalar.
en que cualquier espacio vectorial se caracteriza, salvo
isomorsmos, por su dimensin. Sin embargo, los espa-
cios vectoriales ad hoc no ofrecen un marco para hacer
8.6 Espacios de Hilbert
frente a la cuestin fundamental para el anlisis de si una
Un espacio de Hilbert es un espacio prehilbertiano com-
sucesin de funciones converge a otra funcin. Asimis-
pleto por la norma denida por el producto escalar.
mo, el lgebra lineal no est adaptada per se para hacer
frente a series innitas, ya que la suma solo permite un
nmero nito de trminos para sumar. Las necesidades
del anlisis funcional requieren considerar nuevas estruc- 9 Morsmos entre espacios vecto-
turas. riales
8.1 Espacios normados Son aplicaciones entre espacios vectoriales que mantie-
nen la estructura de los espacios vectoriales, es decir, con-
Un espacio vectorial es normado si est dotado de una servan las dos operaciones y las propiedades de stas de
norma. uno a otro de dichos espacios.
10 12 ENLACES EXTERNOS
13.2 Imgenes
Archivo:BaseGeneradora.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c9/BaseGeneradora.gif Licencia: Public do-
main Colaboradores: Trabajo propio Artista original: Marianov
Archivo:FuncionesComoEV.GIF Fuente: https://upload.wikimedia.org/wikipedia/commons/0/07/FuncionesComoEV.GIF Licencia:
Public domain Colaboradores: Trabajo propio Artista original: Marianov
Archivo:InterseccinEspacioVectorial.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c4/Intersecci%C3%
B3nEspacioVectorial.gif Licencia: Public domain Colaboradores: Trabajo propio Artista original: Marianov
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:VectorGenerado.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/9/95/VectorGenerado.gif Licencia: Public do-
main Colaboradores: Trabajo propio Artista original: Marianov
Archivo:Vector_space_illust.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c8/Vector_space_illust.svg Licencia: Pu-
blic domain Colaboradores: Trabajo propio Artista original: Oleg Alexandrov
Archivo:Wikibooks-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licencia: CC BY-SA
3.0 Colaboradores: Trabajo propio Artista original: User:Bastique, User:Ramac et al.