MAT 520142:
ALGEBRA y ALGEBRA LINEAL
Segundo Semestre 2002, Universidad de Concepcin
CAPITULO 10: Espacios Vectoriales
DEPARTAMENTO DE INGENIERIA MATEMATICA
Facultad de Ciencias Fsicas y Matemticas
1
Espacios Vectoriales
"
"
tal que:
!
para
, ,
existe un simtrico
d)
Existe un elemento neutro
c)
,
operaciones
es un cuerpo si:
es conmutativa:
es asociativa:
b)
a)
Sea un conjunto y sean
binarias internas. Se dice que
Denicin de Cuerpo
Espacios Vectoriales
tal que:
para :
existe un inverso
.
es distributiva con respecto a
y
h)
g)
, ,
Existe un elemento neutro
f)
e)
es asociativa:
Denicin de Cuerpo (...cont)
es un cuerpo conmutativo si adems se satisface:
Se dice que
Observacin
"
"
"
"
"
Los nmeros racionales ( ), reales ( ) y complejos ( ) son cuerpos
conmutativos con la suma y producto que se indican:
Espacios Vectoriales
Ejemplos
Espacios Vectoriales
Denicin de Espacio Vectorial
, o bien
(vector nulo) para
Existe un elemento neutro
.
"
y para todo
Para todo ,
4)
tal que:
existe un simtrico
"
3)
2)
es asociativa y conmutativa.
1)
Se dice que
es un espacio vectorial sobre
un -espacio vectorial, si:
Producto por escalar (externa)
Suma (interna)
un cuerpo, y consideremos dos operaciones
Sean
un conjunto,
binarias:
Espacios Vectoriales
Para todo
7)
y para todo
Para todo ,
6)
y para todo ,
Para todo
5)
Denicin de Espacio Vectorial (... cont)
( es la unidad de
se llaman vectores.
).
es no vaco
es el espacio vectorial trivial.
si
complejo
si
real
se dice un espacio vectorial
Todo espacio vectorial
Los elementos de
Observaciones
.
6
"
"
, se dene la diferencia:
Dados
Notacin.
Espacios Vectoriales
.
. Entonces
tales que
Sean
LEMA (Ley de Cancelacin).
.
"
"
"
y para todo
para todo
para todo
existe un nico simtrico (inverso aditivo)
para todo
para la suma es nico.
para cada
. Entonces:
el elemento neutro
un espacio vectorial sobre un cuerpo
Sea
TEOREMA.
.
7
Entonces
es un espacio vectorial sobre
tal que
es solucin de
EJEMPLO 1 (Soluciones de un Sistema Homogneo).
Sean un cuerpo,
,
y denamos
Espacios Vectoriales
Espacios Vectoriales
. Casos particulares:
es un espacio vectorial sobre
son espacios vectoriales sobre ;
es un espacio vectorial sobre
es espacio vectorial sobre ;
.
es espacio vectorial sobre s mismo. Casos particulares:
EJEMPLO 2 (ejemplos simples).
Sea un cuerpo. Entonces
es espacio vectorial real;
es espacio vectorial complejo.
tambin es espacio vectorial sobre . Notar las diferencias
en las deniciones de y .
Entonces
es un espacio vectorial sobre
tal que
EJEMPLO 3 (Espacios de Polinomios).
Sean un cuerpo,
y denamos
Espacios Vectoriales
.
10
Espacios Vectoriales
es un espacio vectorial sobre
Entonces
EJEMPLO 4 (Espacios de Matrices).
Sean
, un cuerpo, y denamos
11
Espacios Vectoriales
Subespacios Vectoriales
se dicen subespacios triviales de
Sea un -espacio vectorial y
. Diremos que es un Subespacio
es un espacio vectorial sobre
con las mismas
vectorial de V, si
operaciones binarias denidas en .
Observacin
. Entonces
es un subespacio de
(ii)
(i)
Sea un -espacio vectorial y
s y slo s:
Caracterizacin de Subespacios
( es cerrado c/r a la multiplicacin por escalar)
(iii)
( es cerrado c/r a la suma)
12
Espacios Vectoriales
Ejemplos de Subespacios Vectoriales
1. El conjunto de soluciones de un sistema homogneo (de
incgnitas con coecientes en ) es un -subespacio vectorial de
.
tres nmeros reales. Entonces
2. Sean
.
es un
-subespacio
. Entonces,
es un subespacio de
6. Sea
vectorial de
"
5.
"
es un subespacio de
4.
es un subespacio de
3.
son subespacios de
.
13
Espacios Vectoriales
Subespacios Vectoriales Notables
.
dos subespacios de
son subespacios vectoriales de
, con las mismas operaciones binarias.
(S2)
(S1)
Sea
un -espacio vectorial y
Entonces los siguientes subconjuntos
Suma directa (interna)
dos subespacios de .
, y se escribe
Sea un -espacio vectorial y
es suma directa si
Se dice que
14
Espacios Vectoriales
Observacin
no es subespacio vectorial de
. Entonces,
dos subespacios de
Sea un -espacio vectorial y
en general:
. Entonces
y sean
Contra ejemplo
Considerar las rectas que pasan por el origen:
subespacio vectorial de
Proposicin
15
"
!
!
Notar que
Si
Espacios Vectoriales
Ejemplos
son como en el contra ejemplo, entonces
Sean
Entonces
16
Si
diag(A)=
si
, e. d.
"
Descomposicin de
Descomposicin de
Espacios Vectoriales
Ejemplos ... (cont)
Sean
Entonces:
Sean
Entonces:
?
17
Espacios Vectoriales
Sistema de generadores
. El vector
si existen
un -espacio vectorial y
es combinacin lineal (c.l.) de los vectores de
tales que:
escalares
Sean
Observacin
de cualquier conjunto de
El vector nulo es combinacin lineal (c.l.)
vectores de .
18
Espacios Vectoriales
s y slo si
es c.l. de los vectores
y sean
. Entonces
s y slo si pertenece al plano:
(b) Sea
es c.l de
. Entonces
(a) Sea
y sean
pertenece a la recta:
Ejemplos
Si
NOTA:
, entonces se reduce a la situacion del caso (a).
19
"
Observar que esta c.l es nica.
"
"
"
"
(c) Sean
(d) Sean
Entonces:
Espacios Vectoriales
Ejemplos ... (cont)
y
.
Entonces:
20
Espacios Vectoriales
y los vectores
!
"
"
(e) Sean
Ejemplos ... (cont)
se puede expresar como c.l. de
"
Entonces
de innitas maneras.
21
Espacios Vectoriales
Subespacio generado
es un subespacio vectorial de
. El conjunto de
vectores de :
Sean un -espacio vectorial y
todas las combinaciones lineales de estos
Otras notaciones:
es el subespacio generado por
es un sistema de generadores de
Observaciones
22
Espacios Vectoriales
"
"
"
y
es un plano que pasa
y los vectores
. Entonces,
1. Sean
Ejemplos
!
"
y los vectores (monomios)
"
3. Sea
Entonces:
Entonces
y los vectores (matrices)
2. Sea
por el origen.
23
Espacios Vectoriales
Dependencia e independencia lineal de vectores
Sean un -espacio vectorial y
. Se dice que
es un conjunto linealmente dependiente (l.d.) si existen escalares no
tales que:
todos nulos
Si
no es l.d., se dice que es linealmente independiente (l.i).
Observacin
La dependencia lineal de no implica que cada sea c.l. de los
dems. Contraejemplo:
Consideremos
y
,
y
.
Es inmediato que
es l.d., y sin embargo
. Observar que s existe al menos un vector de que
es c.l. de los otros.
24
Espacios Vectoriales
Observacin ...(cont)
entonces
es l.i.
con
Si
es l.d. en
entonces
Si
, entonces todo subconjunto nito es l.i.
es un conjunto l.i. en
Si
es l.i. en
El conjunto vaco
"
"
son l.i.
es l.d en
"
y los siguiente subconjuntos de
Sean
Ejemplos
25
Espacios Vectoriales
"
"
"
son l.i. en
es l.d.
"
"
y los siguientes conjuntos de
Sean
Ejemplos ...(cont)
es l.d. en
"
El conjunto
.
26
Espacios Vectoriales
Bases Vectoriales
Lema de Dependencia Lineal
es linealmente
tal que
(b)
(a)
Sea
un
espacio vectorial. Si
, entonces existe
dependiente en y
27
Espacios Vectoriales
nita. Las siguientes
Sea
un -espacio vectorial y
proposiciones son equivalentes:
Teorema
(a)
es l.i.
, cuyo resultado sea el vector nulo, es
(b) Toda c.l. de los vectores de
la trivial.
es c.l. de los dems.
(c) Ningn vector de
Anlogamente, son equivalentes:
es l.d.
con escalares no todos nulos,
(b) Existe una c.l. de los vectores de
cuyo resultado es el vector nulo.
()
( ) Algn vector de
c
es c.l. de los restantes.
28
Espacios Vectoriales
Denicin
Se dice que un - espacio vectorial es nito dimensional si posee un
sistema de generadores de cardinalidad nita.
Teorema
En un espacio nito dimensional, la cardinalidad de todo conjunto
linealmente independiente (l.i.) es menor o igual a la cardinalidad de
cualquier sistema de generadores.
Proposicin
Todo subespacio de un espacio nito dimensional es nito dimensional.
29
Espacios Vectoriales
-espacio vectorial. El subconjunto ordenado de
es una Base de si:
es l.i.
dado por
un
Sea
Denicin
es una base de este puede ser escrito de
donde
Una familia
de vectores de
espacio vectorial s y slo s cada vector
manera nica como la c.l.:
.
Proposicin
Proposicin
Dos bases cualesquiera de un mismo espacio vectorial tienen la misma
cardinalidad.
30
Espacios Vectoriales
Teorema
Todo sistema de generadores de un -espacio vectorial
puede reducirse a una base de dicho espacio.
Corolario
Todo espacio nito dimensional posee una base.
Teorema de Steinitz
, nito dimensional,
Todo conjunto l.i. en un -espacio vectorial
puede extenderse a una base de
31
Espacios Vectoriales
espacio vectorial
a la cardinalidad de una
Se llama dimensin de un
base de
Dimensin de un espacio vectorial
Proposicin
En un -espacio vectorial de dimensin , todo subconjunto l.i. de
cardinalidad es una base de .
un
-espacio vectorial de dimensin :
, entonces
es l.d.
es subespacio de
, entonces
es subespacio de
3. Si
2. Si
1. Todo subconjunto de cardinalidad mayor que
Sea
Observacin
.
32
Espacios Vectoriales
Teorema de Grassmann
"
Sea
un -espacio vectorial de dimensin nita, y sean
subespacios de . Entonces:
Proposicin (Suma directa de varios Subespacios)
subespacios de
-espacio vectorial, y sean
en la suma
es nica
La escritura de
Sea
un
Entonces
33
Espacios Vectoriales
Proposicin
Entonces
Sea
un -espacio vectorial de dimensin nita, y sean
subespacios de tal que:
Proposicin
un subespacio
Sea un -espacio vectorial de dimensin nita, y sea
de . Entonces existe un subespacio
de tal que
34
Espacios Vectoriales
de un -espacio vectorial , la escritura
como c.l. de los vectores de , esto es
Dada una base
nica de cada
Coordenadas
en la base .
es el vector coordenada de
En tal caso, se dice que
establece la identicacin, va la base :
35
