Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ir a la navegaciónIr a la búsqueda
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
Índice
1Historia
2Notación
3Definición
o 3.1Observaciones
o 3.2Propiedades
o 3.3Primer ejemplo con demostración
4Ejemplos
o 4.1Los cuerpos
o 4.2Sucesiones sobre un cuerpo K
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
5Subespacio vectorial
o 5.1Definición
o 5.2Consecuencias
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 y
los de .
Los elementos de suelen denotarse por
y son llamados vectores.
Dependiendo las fuentes que se consulten, también es común denotarlos
por
y si el texto es de física entonces suelen denotarse por
Mientras que los elementos de se denotan como
y son llamados escalares.
Definición[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, digamos , dotado de dos operaciones para las cuales
será cerrado:
operación interna tal que:
Tenga la propiedad
distributiva respecto de la suma
vectorial:
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: Representación
gráfica de vectores
Observaciones[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:
.
Propiedades[editar]
Si
Si es cierto.
Si entonces:
Notación
.
Observación
Si
Si
Primer
ejemplo
con
demostr
ación[edi
tar]
Se quiere
probar
que es un
espacio
vectorial
sobre
Si juega
el papel
de y el
de :
Los
elementos
:
son,
de
forma
genéri
ca:
es
dec
ir,
par
es
de
nú
me
ros
rea
les.
Por
clar
ida
d
se
con
ser
va
la
de
no
min
aci
ón
del
vec
tor,
en
est
e
cas
o u
,
en
sus
coo
rde
na
das
,
añ
adi
en
do
el
sub
índi
ce
x o
y p
ara
de
no
min
ar
su
co
mp
on
ent
e
en
el
eje
x o
y r
esp
ecti
va
me
nte
En
se
defi
ne
la
op
era
ció
n
su
ma
:
d
o
n
d
e
:
y la suma
de u y v se
ría:
donde:
esto implica que
la suma de
vectores es
interna y bien
definida.
La operación
interna suma
tiene las
propiedades:
1) La propiedad
conmutativa, es
decir:
2) La propiedad
3) tiene elemento
4) tenga elemen
La operación pro
El producto de a
donde:
esto implica que
definida.
5) tenga la propi
Esto es:
6) sea elemento
Que resulta:
Que tiene la prop
7) distributiva po
En este caso ten
8) distributiva po
Que en este cas
Queda demostra
Ejemplos[ed
Los cuerpos
Todo cuerpo es
es un espaci
Todo cuerpo es
es un espaci
es un espaci
Sucesiones s
El espacio vecto
operaciones:
(u1, u2, ..., un)+(v1, v2, ..., vn)=(u1+v1, u2+v2, ..., un+vn).
a(u1, u2, ..., un)=(au1, au2, ..., aun).
Las sucesiones i
(u1, u2, ..., un, ...)+(v1, v2, ..., vn, ...)=(u1+v1, u2+v2, ..., un+vn, ...).
a(u1, u2, ..., un, ...)=(au1, au2, ..., aun, ...).
El espacio de las
También son esp
al de matrices , a
Espacios de
El conjunto de la
Los polinomios[e
Suma de f(x)=x+x2 y
El espacio vecto
Expresión general: ,donde , considérese .
, donde y ,
.
Las series de po
Funciones trigono
Las funciones tri
Expresión general:
,
.
Los sistemas
Artículos principales:
Sistema de 2 ecuacio
o equivalenteme
Un sistema de e
Si
Si .
También que las
Si
Si .
Si .
lineal) de elementos de la base
a1vi1 + a2vi2 + ... + anvin,
o una combinación lineal de los restantes. Equivalentemente, una ecuación
a1vi1 + ai2v2 + ... + anvin = 0
a veces se introducen desde este punto de vista.
ma de elección. El ultrafilter lemma, que es más débil que el axioma de elección, implica que todas
.
Observaciones. Para la intersección sucesiva de espacios vectoriales se
procede, inductivamente, de dos en dos.
,
.
cios vectoriales ad hoc no ofrecen un marco para hacer frente a la cuestión fundamental para el
Las necesidades del análisis funcional requieren considerar nuevas estructuras.
Asimismo, el interior de la esfera está formado por todos los puntos ubicados a una
distancia menor del centro que los puntos localizados en la superficie esférica.
Empieza gratis
Eje: Es la recta imaginaria sobre la cual gira la semicircunferencia que forma la esfera.
Centro: Es el punto equidistante a cualquier punto del contorno de la esfera, es decir, de la
superficie esférica.
Radio (Segmento AD): Es la distancia entre el centro y cualquier punto de la superficie
esférica.
Cuerda: Es el segmento que une dos puntos cualesquiera de la superficie esférica.
Diámetro (Segmento BC): Es aquella cuerda que tiene la particularidad de pasar por el
centro de la esfera. Su longitud es el doble del radio.
Eje: Es la recta imaginaria respecto a la cual gira la semicircunferencia que forma la esfera.
Meridianos: Son las circunferencias que se obtienen al cortar la esfera con planos que
albergan al eje.
Paralelos: Son las circunferencias resultantes de cortar la esfera con planos que sean
perpendiculares al eje (que corten el eje formando un ángulo de 90º).
Ecuador: Es la circunferencia que se obtiene al cortar la esfera con un plano perpendicular
al eje y que, a su vez, contiene el centro de la figura. Se puede también definir como el
paralelo con la mayor longitud.
Polos (Punto B y Punto C): Son los puntos del eje ubicados en la parte superior e inferior
de la superficie esférica.