Espacio vectorial

De Wikipedia, la enciclopedia libre

Un espacio vectorial es una estructura matemtica creada a partir de un conjunto no vaco

con una operacin suma interna al conjunto y una operacin producto externa entre dicho
conjunto y un cuerpo, cumpliendo una serie de propiedades o requisitos iniciales. A los
elementos de un espacio vectorial se les llamar vectores y a los elementos del cuerpo se les
llamar escalares.
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.

Definicin de espacio vectorial

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:

Los elementos:

se llaman vectores.

Los elementos:

se llaman escalares.

Con la operacin interna tal que:

1) tenga la propiedad conmutativa, es decir
2) tenga la propiedad asociativa, es decir
3) tenga elemento neutro 0, es decir
4) tenga elemento opuesto, es decir

y la operacin producto por un escalar:

Operacin externa tal que:

5) tenga la propiedad:
6) tenga elemento neutro 1:
Que tenga la propiedad distributiva:
7) distributiva por la izquierda:
8) distributiva por la derecha:

Observacin
Para demostrar que un conjunto

es un espacio vectorial:

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.

tendramos

Si no se dice lo contrario,

Notaciones

Un

-espacio vectorial es un espacio vectorial sobre un cuerpo

tambin

se distingue del escalar cero por el contexto.

Propiedades
Unicidad del vector neutro de la propiedad 3:
Supongamos que el neutro no es nico, es decir, sean

dos vectores neutros, entonces:

Unicidad del vector opuesto de la propiedad 4:

Supongamos que el opuesto no es nico, es decir, sean
, entonces, como el neutro es nico:

dos vectores opuestos de

Unicidad del elemento en el cuerpo

Supongamos que 1 no es nico, es decir, sean

dos unidades, entonces:

Unicidad del elemento inverso en el cuerpo

Supongamos que el inverso
de a, no es nico, es decir, sean
, entonces, como el neutro es nico:

Producto de un escalar por el vector neutro:

dos opuestos de

Producto del escalar 0 por un vector:

Si

Si

a=0

es

cierto.

Si
u = 0.

Signos equivalentes:

Notacin

Primer ejemplo con demostracin al detalle

Queremos ver que

es un espacio vectorial sobre

Veamos pues que

juega el papel de y el de :
Los elementos
son, de forma genrica, u=(x,y), es decir, pares
de nmeros reales.
En defino la operacin u+v = (x1,y1) + (x2,y2) := (x1+x2,y1+y2) = (x3,y3) que pertenece a
, esto implica que la suma de vectores es interna y bien definida.
1)u+v = (x1,y1) + (x2,y2) = (x1+x2,y1+y2) = (x2+x1,y2+y1) = (x2,y2) + (x1,y1) = v+u, es decir
u+v=v+u.
2)u+(v+w) = u + ((x2,y2) + (x3,y3)) = u + (x2+x3,y2+y3) = (x1,y1) + ( (x2+x3) , (y2+y3) ) = (x1+
(x2+x3),y1+(y2+y3)) = (x1+x2+x3,y1+y2+y3), ahora vase que (u+v)+w es lo mismo, es decir
u+(v+w)=(u+v)+w.
3)u+(0,0) = (x,y)+(0,0) = (x+0,y+0) = (x,y) = u, es decir (0,0)=0 cero de V.
4)u = (x,y), u+(-x,-y) = (x,y)+(-x,-y) = (x-x,y-y) = (0,0) = 0, es decir -u:=(-x,-y) en general.
defino la operacin au = a(x,y) := (ax,ay) = (x2,y2) que pertenece a , esto implica que la
multiplicacin de vector por escalar es externa y an as est bien definida.
a) a(bu) = a(b(x,y)) = a(bx,by) = (a(bx),a(by)) = ((ab)x,(ab)y) = (ab)(x,y) = (ab)u, es
decir a(bu)=(ab)u.
b) 1u = 1(x,y) = (1x,1y) = (x,y) = u, es decir 1u=u.

c) a(u+v) = a((x1,y1)+(x2,y2)) = a(x1+x2,y1+y2) = (a(x1+x2),a(y1+y2)) =

(ax1+ax2,ay1+ay2) = (ax1,ay1)+(ax2,ay2) = au+av, es decir a(u+v)=au+av.
d) (a+b)u = (a+b)(x,y) = ((a+b)x,(a+b)y) = (ax+bx,ay+by) = (ax,ay)+(bx,by) =
au+bu, es decir (a+b)u=au+bu.
Queda demostrado que es espacio vectorial.

Representacin de espacios vectoriales

Aunque hay quien no recomienda el uso de grficos para evitar la confusin de conceptos y
la induccin al error, sin investigacin que lo corrobore, tambin es cierto que la memoria
se estimula con mejores resultados. Para ello veamos las notas:

Llamaremos vector a la representacin visual con el smbolo de flecha( un segmento

y un tringulo en un extremos).

La rectitud visual de una flecha o curvatura de la misma, no la hace diferente en

smbolo si los dos extremos permanecen en el mismo lugar y orden.

El que una flecha cierre en s misma, indica la ausencia de efectos algebraicos.

Para visualizar la suma de vectores se har encadenndolos, es decir, uniendo el

extremo que tiene un tringulo(final) del primer vector con el extremo que no lo
tiene(origen) del segundo vector manteniendo la direccin y distancia, propias al
espacio, de sus dos extremos, ya que estas dos cualidades los distingue visualmente
de otros vectores.

Examinemos cada uno de los casos que aparecen en la definicin:

La definicin suma de vectores en el orden u+v produce otro vector, es como encadenar,
siempre visualmente, un vector u y luego uno v. Diremos que u+v se simplifica como un
vector w o que w descompone como suma de vectores u y v.

1) Decir que u+v=v+u, es exigir que las dos sumas simplifiquen en el mismo vector, en
negro. Vase que en fsica los vectores en rojo simulan la descomposicin de fuerzas
ejercidas por el vector negro en su origen, y se representa con un paralelogramo.

2) Decir que u+(v+w)=(u+v)+w, es exigir que las simplificaciones de sumas de vectores

puedan ser optativas en cualquier cadena de sumas.

3) Decir que existe un vector 0 tal que u+0=u, equivale a exigir que exista un vector
incapaz de efectuar, mediante la suma, modificacin alguna a todos los vectores.

4) Decir que u+(-u)=0, es exigir la existencia de un elemento, -u, que sumado a u

simplifique en un vector cero.

La definicin producto por escalar

produce otro vector; es como modificar el extremo
final del vector u, siempre visualmente.

Los escalares se representarn con una lnea de trazos a modo, exclusivamente, de

distincin ya que no siempre pertenecen al espacio de vectores.

Por un lado la representacin del producto en el caso

modifica, visualmente, la
longitud de la imagen del vector, quedando ambos siempre superpuestos; por otro lado las
representaciones en el caso
adems de modificar la longitud, tambin agrega
rotaciones, para facilitarlas visualmente considrense centradas en el origen del vector,
siendo estas modificaciones un poco ms expresivas, visualmente, pero no ms fciles que
en el caso real:

a)Decir que a(bu)=(ab)u, es exigir que los productos encadenados a(b(u)) pueden
simplificarse como uno, c=ab, luego (ab)u queda como cu.

b) Decir que existe el escalar 1 tal que 1u=u, equivale a decir exista un escalar incapaz de
efectuar, mediante producto, modificacin alguna a todos los vectores.

c) Decir que a(u+v)=au+av, es exigir la propiedad distributiva respecto la suma vectorial.

d) Decir que (a+b)u=au+bu, es exigir la propiedad distributiva respecto la suma escalar.

Para el caso real se han de eliminar las rotaciones de los ejemplos anteriores.

Ejemplos de espacios vectoriales

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

es un espacio vectorial sobre

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

es un espacio vectorial sobre

es un espacio vectorial sobre

Sucesiones sobre un cuerpo

El espacio vectorial ms conocido notado como
elementos n-tuplas, es decir, sucesiones finitas de

, donde n>0 es un entero, tiene como

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

El conjunto de las aplicaciones
, K un cuerpo y
un conjunto, tambin
forman espacios vectoriales mediante la suma y la multiplicacin habitual:
(f + g)(w): = f(w) + g(w),
(af)(w): = a(f)(w).
Los polinomios

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

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

Expresin
general:
coeficientes

,donde
, considrese

,
y

los

donde

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

Expresin general:

Los sistemas de ecuaciones lineales homogneas

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,
forman un espacio vectorial, veamos sus dos operaciones:

es

) posee soluciones que

Si
Si

Veamos que las ecuaciones en s, filas de la matriz

decir,
operaciones:

notadas como una matriz

, es

, son tambin un espacio vectorial, veamos sus dos

Si
Si

Definicin de subespacio vectorial

Sea
si:

un espacio vectorial sobre

no vaco,

es un subespacio vectorial de

i)
ii)

Consecuencias
hereda las operaciones de como aplicaciones bien definidas, es decir que no escapan de
, 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
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

Veremos que cada vector u es combinacin lineal de forma nica

Dado un espacio vectorial
vectores de

Notaremos como
los vectores de

Proposicin

, diremos que un vector u es combinacin lineal de los

si existen escalares
tales que

el conjunto resultante de todas las combinaciones lineales de

.

Dado un espacio vectorial y

vectorial ms pequeo contenido en

, el conjunto
y que contiene a .

es el subespacio

Demostracin
Supongamos

lo

contrario,

que

existe

uno

ms

pequeo

contradiccin, ya que u est generado por elementos de

a causa de la buena definicin de las dos operaciones, por tanto
.
Nota
En este caso diremos que es un sistema de generadores que genera a

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

de vectores es linealmente dependiente si no es linealmente

Proposicin

son linealmente dependientes

Demostracin
Linealmente

dependientes
tomando

.
Si
por tanto linealmente dependientes.

Base de un espacio vectorial

donde

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

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
Dado

un

espacio

vectorial

es
.

Proposicin

una

base

Dado un espacio vectorial

linealmente independientes y
es linealmente independiente.

Teorema
Todo sistema de generadores tiene una base.
Teorema Steinitz
Toda base de un espacio vectorial puede ser cambiada parcialmente por vectores
linealmente independientes.

Corolario
Si un espacio vectorial
vectores.

tiene una base de

vectores

cualquier otra base posee

Observacin
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 la
teora 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
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
Dado un espacio vectorial

Si

y un subespacio

tiene dimensin lo indicaremos como

, tenemos que:
.

Si

tiene

dimensin

como

subespacio

de

lo

indicaremos

como

Interseccin de subespacios vectoriales

Dado dos subespacios vectoriales
contenido en estos y lo notaremos como:

, la interseccin es subespacio vectorial

.
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

Dado dos subespacios vectoriales
contiene a estos y la notaremos como:

, la suma es un subespacio vectorial que

.
Observacin
Para la suma sucesiva de espacios vectoriales se procede, inductivamente, de dos en dos.

Teorema Frmula de Grassmann

Dado dos subespacios vectoriales
siguiente:

de dimensin finita, tenemos el resultado

Suma directa de subespacios vectoriales

Dado dos subespacios vectoriales
y lo notaremos como:
.

Cociente de espacios vectoriales

, diremos que

es una suma directa si

Dado un subespacio vectorial

de equivalencias tales que
notaremos como:

, diremos espacio cociente al conjunto de las clases

estn relacionados mdulo si
y lo

.
Es un espacio vectorial con las operaciones siguientes:
Expresin general:

Construcciones bsicas
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

Dado dos espacios vectoriales

sobre un mismo cuerpo

, llamaremos suma directa

al espacio vectorial
estn bien definidas las dos operaciones:

, veamos que

,
.

Espacios vectoriales con estructura adicional

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
Un espacio vectorial es normado si est dotado de una norma.

Artculos principales: Espacio vectorial normado y Norma (matemticas)

Espacio mtrico
Un espacio mtrico es un espacio vectorial dotado de una aplicacin distancia.
Proposicin
Un espacio normado es un espacio mtrico, donde la distancia viene dada por:
d(x,y) = | | x y | |
Toda distancia inducida por la norma es una distancia.

Espacios vectoriales topolgicos

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
Todo espacio vectorial topolgico dotado de una mtrica es espacio normado.
Proposicin
Todo espacio normado es un espacio vectorial topolgico.

Espacios de Banach
Un espacio de Banach es un espacio normado y completo.

Espacios prehilbertianos
Un espacio prehilbertiano es un par
es un producto a escalar.

, donde

es un espacio vectorial y

Espacios de Hilbert
Un espacio de Hilbert es un espacio prehilbertiano completo por la norma definida por el
producto escalar.

Morfismos entre espacios vectoriales

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
Dado dos espacios vectoriales
es lineal si:

, sobre un mismo cuerpo, diremos que una aplicacin