Professional Documents
Culture Documents
1 Historia
2 Notacin
3.1 Observaciones
3.2 Propiedades
6 Resultados internos
6.1 Combinacin lineal
6.1.1 Proposicin 1
6.2 Independencia lineal
6.2.1 Proposicin 2
6.5 Observacin
6.6 Dimensin
6.6.1 Notacin
7 Construcciones bsicas
o
10 Vase tambin
11 Referencias
o
11.1 Notas
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.
Notacin[editar]
Dado un espacio vectorial
Los elementos de
sobre un cuerpo
, se distinguen.
como:
se llaman vectores.
Los elementos de
como:
se llaman escalares.
, es decir
6)
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:
admiten una
redefinicin del
tipo
y
cumpl
Si supisemos que
es
apartados 5 y 6.
Si no se dice lo contrario:
Propiedades[editar]
[Expandir]Unicidad del vector neutro de la propiedad
en el cuerpo
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:
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:
5) tenga la propied
Esto es:
6)
sea ele
Que resulta:
7) distributiva por la
8) distributiva por la
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).
El espacio de las m
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
Funciones trigono
Expresin general:
Los sistemas d
Artculos principales: E
Sistema de 2 ecuacio
Un sistema de ecu
operaciones:
Si
Si
Definicin d
Sea
un espacio
Si
unto de vista.
es una
base
linealmente
independiente y
son linealmente
independiente.
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 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.
Se nota por
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.
,
.