ESPACIOS VECTORIALES

Un poco de historia
El matemtico alemn Grassmann es reconocido como el primero que introdujo la
idea de un espacio vectorial (aunque no lo llam de esta manera, sino sistema de
nmeroshipercomplejos)ydeindependencialinealen1844.Desafortunadamentesu
trabajoeramuydifcildeleerynorecibilaatencinquemereca.
Peano en su libro Calcolo geometrico (1898) acalar el trabajo de Grassmann y
establecilosaxiomasdeespaciovectorialcomolosconocemosenlaactualidad.En
estemismolibrointrodujolasoperacionesdeconjuntos.Susnotaciones , y son
lasquetodavautilizamos,aunquenofueronaceptadasdeinmediato.Ladefinicin
axiomtica de Peano de un espacio vectorial tambin tuvo muy poca influencia
durante muchos aos. Su aceptacin se produjo en 1918, despus de que Hermann
Weyl la repitiera en su libro Space, time, matter, una introduccin a la teora de la
relatividadgeneraldeEinstein.
TambinpodemosmencionaraWilliamR.Hamilton,quedurantelosveinteltimos
aos de su vida, dedic la mayor parte de su creacin matemtica a desarrollar la
teora de un tipo especial de nmeros, los cuaterniones. Con estos trabajos se dio
inicioalanocinmodernadevector.TodavahoyseutilizalanotacindeHamilton
paralosvectoresdelabasecannicaenelespaciotridimensional.

ESTRUCTURA DE ESPACIO VECTORIAL REAL

Sean(conjuntonmerosreales)yunconjuntonovaco,enel

cual definiremos dos operaciones . Una de composicin interna

llamada suma y otra de composicin externa llamada producto
porunescalar.

(1)

(2)

operacin interna en

operacin externa en

ESTRUCTURA DE ESPACIO VECTORIAL

1.- Para ( + ) (operacin interna) se cumple:
Asociativ
a
Elemento neutro
Elemento inverso
Conmutativa
2.- Para ( ) (operacin externa ) se cumple:

Elemento neutro

Distribuci
n
Asociativ
a

Los

elementos de un espacio vectorial reciben el nombre

genricodevectoresyengeneralseutilizalanotacinvectorial
() para denotarlos. Esto no es obstculo para que en algunos
casos particulares (polinomios, matrices, funciones,...) se utilice
lanotacinpropiaencadacaso.
A continuacin presentamos varios ejemplos de espacios
vectoriales. Para comprobar que tienen estructura de espacio
vectorial deberamos ver que se satisfacen los 8 axiomas de la
definicin con las operaciones suma y producto por un escalar
definidas.Estetrabajoesmuysencilloysebasaexclusivamente
enpropiedadesdelosnmerosreales.Dadoquetambinesuna
labormuytediosaomitiremoslascomprobaciones,perohayque
insistir en que es absolutamente necesario comprobar los 8
axiomas.

EJEMPLOS

1. Cmo se suman dos vectores libres?

Cmo se multiplica un vector por un nmero real?

Cul es el vector nulo?

2. Cmo se suman dos vectores?

Cmo se multiplica un vector por un nmero real?

Cul es el vector nulo?

3.- Conjunto de los polinomios de grado menor o igual que n.

Cmo se suman dos polinomios?

(coeficiente
(coeficiente a
a coeficiente)
coeficiente)

Cmo se multiplica un polinomio por un nmero real?

(se
(se multiplica
multiplica cada
cada coeficiente
coeficiente por
por el
el nmero
nmero real)
real)

Cul es el polinomio nulo?

4.- Conjunto de las matrices reales de m filas y n columnas.

Cmo se suman dos matrices?

elemento
elemento a
a elemento
elemento

Cmo se multiplica una matriz por un nmero real?

se
se multiplica
multiplica cada
cada elemento
elemento de
de la
la matriz
matriz por
por
el
el nmero
nmero real
real

5.- Conjunto de las funciones reales de variable real con dominio

Cmo se suman dos funciones?

Cmo se multiplica una funcin por un nmero real?

Cul es la funcin nula?

11

EJEMPLOS
EJEMPLOS DE
DE ESPACIOS
ESPACIOS VECTORIALES
VECTORIALES
sum
sum
a:
producto
por
a:
producto
por un
un
escalar:
escalar:
Vector
vector
Vector
vector
inverso
nulo:
inverso
nulo:
sum
sum
a:
producto
por
a:
producto
por un
un
escalar:
escalar:
vector
vector
nulo:
nulo:
vector
vector opuesto:
opuesto:
sum
sum
a:
a:

vector
vector
nulo:
nulo:

sum
sum
a:
producto
por
a:
producto
por un
un
escalar:
escalar:
vector
vector
nulo:
nulo:

vector
vector
opuesto:
opuesto:

vector
vector
opuesto:
opuesto:

producto
producto por
por un
un
escalar:
escalar:

Propiedades.-

Sea un espacio vectorial

1.-

2.3.4.-

Al
Al multiplicar
multiplicar cualquier
cualquier escalar
escalar por
por el
el
vector
nulo
obtenemos
el
vector
nulo.
vector nulo obtenemos el vector nulo.
Al
Al multiplicar
multiplicar cualquier
cualquier vector
vector por
por el
el escalar
escalar
0
obtenemos
el
vector
nulo.
0 obtenemos el vector nulo.

5.6.7.-

8.-

Esta propiedad
no es tan obvia
como puede parecer.

COMBINACIONES LINEALES
Sea

V un espacio vectorial real. Diremos que es

combinacinlinealdesiexistenescalarestalesque:

Observacin.Dadoslosvectoresylosescalares,elvectordefinidopor:

sellamacombinacinlinealdelosvectores
Algunas combinaciones lineales de los vectores son, por

ejemplo:

El vector (2,1,1) de no es combinacin lineal de los vectores (1,0,0) y

(1,1,0).

El polinomio x2 + 1 de no es combinacin lineal de los

polinomios

x3 + x1

x+2 .

SUBESPACIOS VECTORIALES
Algunos subconjuntos de un espacio vectorial V son a su vez espacios
vectoriales con las operaciones definidas en V. Estos subconjuntos se
denominansubespaciosvectoriales.
SUBESPACIO VECTORIAL. es
es

un
un
vectorial
vectorial

subespacio
subespacio vectorial
vectorial de
de ,, si
si es
es espacio
espacio
con
con las
las operaciones
operaciones definidas
definidas en
en ..

Subespacios vectoriales impropios ,

Subespacios vectoriales propios: cualquier

subespacio
vectorial de
distinto de ,.
Antesdedarejemplosdesubespaciosvectoriales,esconvenientedardosresultados
que hacen relativamente sencillo determinar si un subconjunto S de V es
subespaciovectorialdeV.

Para demostrar que essubespacio vectorial de , NO ESNECESARIO

comprobarlos8axiomasdeladefinicindeespaciovectorial.
Un
Un subconjunto
subconjunto
cumple:
cumple:

no
no vaco
vaco de
de

es
es sub
sub e.v.
e.v. de
de

si
si y
y slo
slo si
si

Un
Un subconjunto
subconjunto S
S no
no vaco
vaco de
de V
V es
es s.v.
s.v. de
de V
V si
si y
y slo
slo si
si
cumple:
cumple:
Para demostrar que es subespacio vectorial de , basta con comprobar

que es un subconjunto no vaco (pues todo espacio vectorial ha de

conteneralmenoselvectornulo,luegoesconvenientecomprobarqueel
vectornuloesunvectorde)yqueescerradobajolasoperacionessuma
de vectores y producto por un escalar. El resto de las propiedades son
heredadaspor.Estoesloquesignificanlasdoscaracterizacionesde
subespaciovectorialqueacabamosdeenunciar.

En
En la
la prctica,
prctica, para
para demostrar
demostrar que
que
NO
NO es
es sub
sub e.v.
e.v. de
de

Basta
Basta con
con
comprobar
comprobar una
una
de
de estas
estas tres
tres
proposiciones
proposiciones
Presentaremos a continuacin algunos ejemplos de
conjuntos con dos operaciones (suma y producto por un
escalar) que no tienen estructura de espacio vectorial. Para
demostrar que un conjunto no es espacio vectorial es
suficiente comprobar que no satisface alguno de los ocho
axiomas de la definicin, pero basta con comprobar una
de las tres condiciones arriba mencionadas.

EJEMPLO 1.- El conjunto de los nmeros enteros no tiene estructura de

espacio vectorial con las operaciones habituales de suma y producto por un
escalar real.
Elconjuntodetodoslosnmerosenterosconlasoperacionesnormalesde
sumayproductoporunescalarnotieneestructuradeespaciovectorial,ya
queelproductonoesunaoperacincerrada.

(0.5)1=0.5
escal
ar

enter
o

no
entero

EJEMPLO 2.- El conjunto de los polinomios de grado exactamente 2 no

tiene estructura de espacio vectorial.
Elconjuntodelospolinomiosdegradoexactamente2notieneestructura
deespaciovectorial,yaquelasumanoesunaoperacincerrada.

p(x)=x2
q(x)=x2+x+1

son polinomios de grado 2, pero su

suma es un polinomio de primer grado

p(x)+q(x)=x+1

INTERSECCIN DE SUBESPACIOS VECTORIALES.Sean y sub espacios vectoriales de , un e.v. entonces:

1.

1.
2.

es sub espacio vectorial de .

es el mayor de todos los sub espacios
vectoriales de incluidos en y .

La
La unin
unin de
de subespacios
subespacios vectoriales
vectoriales de
de V
V
no
no es
es necesariamente
necesariamente un
un subespacio
subespacio vectorial
vectorial de
de V.
V.
En el siguiente apartado veremos una manera de

encontrar y construir sub espacios de un espacio

vectorial . Este mtodo nos ser de gran utilidad para
demostrar, sin emplear las caracterizaciones de sub
espacio vectorial del apartado anterior, que un
subconjunto no vaco de un espacio vectorial es un
sub espacio vectorial de .

SUB ESPACIO GENERADO

Seaunespaciovectorialrealyunconjunto(novaco)devectoresde

Denotaremoscomoelconjuntodetodoslosvectoresqueseobtienede

lacombinacinlinealdelosvectoresde

Ejemplos.-

En un mismo sub espacio vectorial es posible encontrar

distintos
distintos sistemas
sistemas de
de generadores
generadores

Cmo
Cmo encontrar
encontrar distintos
distintos sistemas
sistemas de
de generadores
generadores
de
de un
un sub
sub espacio
espacio vectorial?
vectorial?

Cmo
Cmo demostrar
demostrar que
que

es
es sub
sub e.v.
e.v. de
de ?
?

EJEMPLO- Demostrar que

DEPENDENCIA E INDEPENDENCIA LINEAL

En el estudio del lgebra Lineal, una de las ideas centrales es la
de dependencia o independencia lineal entre vectores.
Podemos

plantearnos la siguiente pregunta. Existe una

relacin especial entre los vectores y ?

, o escrito de otro modo: 2

Es
decir, el vector nulo se puede escribir como una
combinacin no trivial de y . En este caso se dice que los
vectores son linealmente dependientes. En general, se
tienen las siguientes definiciones:

Definiciones:

Sea un espacio vectorial real, un

conjunto de vectores de no nulos de es:
1.- es linealmente independientes (l.i.) si:
Si

Si ++

Caso contrario es linealmente dependientes

(l.d.) .

PROPIEDADES.

es linealmente dependiente combinacin

lineal de los restantes vectores de
es linealmente independiente y G entonces
es combinacin lineal de

es un sistema de generadores del espacio

vectorial G es linealmente independiente
entonces

Las propiedades siguientes son resultados

que se demuestran de forma inmediata a
partir de los conceptos de linealmente
independiente
y linealmente
dependiente.
1.Todos los vectores
de un conjunto
linealmente
independientesonnonulos.
2.Siunconjuntodevectorescontienealvectornulo,entonces
esunconjuntolinealmentedependiente
3.eslinealmenteindependientesi
4.eslinealmentedependientesi=

5. Si a un conjunto linealmente dependiente se le aaden

nuevos vectores, resulta otro conjunto linealmente
dependiente.
6. Todo subconjunto de un conjunto
independienteeslinealmenteindependiente.

linealmente

PRUEBAS
PRUEBAS PARA
PARA LA
LA DEPENDENCIA
DEPENDENCIA LINEAL
LINEAL

La consecuencia 3 nos permite decir cuando un

conjunto formado por un nico vector de un

espacio
vectorial
es
linealmente
independiente y
cuando es linealmente
dependiente
Del mismo modo, la consecuencia 4 es una
condicin necesaria y suficiente para que una
familia formada por dos vectores de un
espacio
vectorial
sea
linealmente
dependiente.
Cuando disponemos de una coleccin de ms
de dos vectores tendremos que recurrir
necesariamente, en principio, a la definicin
para demostrar que se trata de un conjunto
linealmente independiente o dependiente.

Para comprobar si una familia de vectores es linealmente

dependiente o linealmente independiente vamos a utilizar, en
muchos casos, el concepto de rango de una matriz.
Hablaremos de rango de una matriz en un tema posterior, pero
como es un concepto que muchos alumnos ya conocen,
conviene decir que, en general, resulta ms cmodo y ms
sencillo estudiar la dependencia o independencia lineal de
una familia de vectores utilizando el concepto de rango de una
matriz.
A partir del momento en el que definimos el concepto de
rango de una matriz resolveremos ejercicios de sistemas
libres y ligados utilizando la idea del rango de una matriz.

BASES Y DIMENSIN
Una base de un espacio vectorial es un conjunto generador
eficiente que no contiene vectores innecesarios. De hecho,
sepuedeconstruirunabaseapartirdeunconjuntogenerador
desechando algunos vectores innecesarios. Adems, conocer
unabasedeunespaciovectorialesmuytilparacomprender
elespacioysuspropiedades.
DEFINICIO
N:
es una base del e.v. real si:

es linealmente independiente

( es decir genera )

EJEMPLOS: Bases

cannicas
1.-

En
Siendo
en la i - esima componente (i = 1,2,n)

2.-

En

EXISTENCIA DE BASES.
Todoe.v.generadoporunsistemadegeneradoresfinitotienealmenosunabase.

Todaslasbasesdele.v.poseenelmismonmerodeelementos.Entonces:

DIMENSIN DE UN ESPACIO VECTORIAL. nmero de elementos que posee una base cualquiera de un e.v. , recibe el
El
nombrededimensindele.v.(dim).

Esta
Esta informacin
informacin resulta
resulta muy
muy t
t
como
como se
se ver
ver posteriormente
posteriormente

CONSECUENCIAS.Siesune.v.condim=n,entonces:
eslinealmenteindependiente

spacio
spacio vectorial
vectorial de
de dimensin
dimensin n
n no
no puede
puede haber
haber ms
ms de
de n
n vectores
vectores linealmente
linealmente independ
independ

ym>n
(*)

,FeslinealmenteindependienteFgenera
n
l.i.

n vectores
vectores
l.i. de
de un
un e.v.
e.v.

de
de dimensin
dimensin n
n constituyen
constituyen una
una base
base de
de

ma
ma de
de generadores
generadores de
de n
n vectores
vectores de
de un
un e.v.
e.v.

de
de dimensin
dimensin n
n constituye
constituye una
una b
b

Dosperspectivasdeunabase
Cuando se usa el teorema de la reduccin de un conjunto
generador, la eliminacin de vectores de un conjunto
generador debe terminar cuando el conjunto generador
resulta linealmente independiente. Si se elimina otrovector,
nosercombinacinlinealdelosvectoresrestantesyporlo
tantoelconjuntoresultanteyanogenerarelmismoespacio
vectorialV.
Unabasetambinesunconjuntolinealmenteindependiente

queeslomsgrandeposible.SiBesunabasedeVysiB
seagrandaconunvector,digamos,deV,entonceselnuevo
conjuntoyanopuedeserlinealmenteindependiente,porque
BgeneraVyesporlotantounacombinacinlinealdelos
vectoresdeB.

EjemploLossiguientestresconjuntosdemuestrancmoun

conjuntolinealmenteindependientededosvectoresde
puede agrandarse para formar una base de y cmo un
agrandamiento adicional destruye la independencia lineal
delconjunto.Estemismoejemplolopodemosverdesdeotra
perspectiva: Un conjunto generador de formado por 4
vectores puede encogerse para dar una base, pero una
contraccin adicional destruye la propiedad de ser
generador.