2015

Resumen lgebra II 2do parcial

Espacios vectoriales
o

Definicin espacio vectorial: Sea un conjunto no vaco, un campo ( ) y sean + y

dos operaciones. Se dice que es un espacio vectorial (. . ) sobre el campo si y slo si
se cumplen los siguientes axiomas:
1. +: es decir , , + (ley de composicin interna)
2. , , + = + (conmutativa)
3. , , , + ( + ) = ( + ) + (asociativa)
4. : , + = + = (elemento neutro respecto de la suma en )
5. , : + = + = 0 (elemento opuesto de , se lo denota )
6. es decir , , (ley de composicin externa)
7. , , : ( + ) = +
8. , , : ( + ) = +
9. , , : () = () = ()
10. : 1. =
Observaciones:
Un espacio vectorial es un objeto compuesto que consta de un conjunto , un
campo y dos operaciones con ciertas propiedades especiales
Para indicar un espacio vectorial sobre se usar la notacin (, +, ,) para
poner de manifiesto el conjunto , la operacin suma definida en y la
operacin producto definida en
Los elementos de se llaman vectores y los de escalares
Definicin: Sea (, +, ,) un espacio vectorial:
Si = el espacio vectorial se dice real
Si = el espacio vectorial se dice complejo
Proposicin (c/demo)
El elemento neutro es nico
Dado , el elemento opuesto es nico
Consecuencias de los axiomas (c/demo)
1. , 0 =
2. , =
3. , : = = 0 =
4. , : () = () = ()
5. , = (1)
6. , , , ( ) =
Combinacin lineal
Definicin: sea (, +, ,) un espacio vectorial y sean 1 , 2 , , : es
combinacin lineal de 1 , 2 , , si y slo si 1 , 2 , , : =
=1 .

Tomas Kancyper

Pgina 1

2015

Resumen lgebra II 2do parcial

o

Subespacio
Definicin: sea (, +, ,) un espacio vectorial y un subconjunto no vaco de .
es subespacio de si y slo si (, +, ,) es espacio vectorial. Es decir,
, es un subespacio de si y slo si cumple con las operaciones de
suma y producto por escalar definidas en es l mismo un espacio vectorial sobre
el campo
Teorema condicin necesaria y suficiente para subespacio (c/demo)
Sea (, +, ,) espacio vectorial y sea , . es subespacio de
si y slo si se verifican:
o +:
o
Generador
Definicin: sea (, +, ,) un espacio vectorial y sea = {1 , , }
es generador de si y slo si , 1 , , : = =1
Teorema (c/demo): sea (, +, ,) un espacio vectorial y sea = {1 , , }
un generador de . Si para algn 0 , con 1 0 , 0 es combinacin lineal de
los dems, entonces = {0 } es tambin un generador de

Corolario: sea (, +, ,) un espacio vectorial y sea = {1 , , } . Si es un

generador de , entonces siempre tal que es un subconjunto l.i. que
genera el mismo espacio
Dependencia e independencia lineal:
Sea (, +, ,) espacio vectorial y sea = {1 , , }
Definicin:
es linealmente dependiente (l.d.) si y slo si 1 , , no todos
nulos, tal que =1 =
es linealmente independiente (l.i.) si y slo si 1 , , con
1 = 2 = = = 0 como nica solucin, tal que =1 =
Consecuencias de las definiciones (c/demo): Sea (, +, ,) espacio vectorial,
,
finito
1. Todo subconjunto de que contenga un subconjunto l.d. es l.d.
2. Todo subconjunto no vaco de un conjunto l.i. es l.i.
3. Todo conjunto que contenga al vector nulo es l.d.
4. Todo conjunto unitario distinto de {} es l.i.
5. Si {1 , , } es l.i. y {1 , , , } es l.d. entonces es
combinacin lineal de {1 , , }
6. es l.d. si y slo si algn vector de es combinacin lineal de los
dems
Teorema determinante: sea = {1 , 2 , , }
() 0 si y slo si = {1 , 2 , , } es l.i. en 1
Base:
Definicin: sea (, +, ,) un espacio vectorial y sea = {1 , , }

Tomas Kancyper

Pgina 2

2015

Resumen lgebra II 2do parcial

es base de si y slo si es linealmente dependiente y es un generador de

Teorema condicin necesaria y suficiente para base (c/demo):
Sea (, +, ,) un espacio vectorial y sea = {1 , , }
es una base de si y slo si , ! 1 , , : = =1 .
Definicin dimensin finita: sea (, +, ,) un espacio vectorial. Se dice que es un
espacio vectorial de dimensin finita si tiene una base finita, es decir; si puede ser
generado a partir de un nmero finito de vectores l.i.
Teorema l.i. sobre cantidad de elementos(c/demo):
Sea (, +, ,) un espacio vectorial de dimensin finita
Todo conjunto l.i. de vectores de es finito y no tiene ms de elementos
Dimensin
Teorema base (c/demo): todas las bases de un espacio vectorial de dimensin finita
tienen la misma cantidad de elementos
Observaciones: sea (, +, ,) un espacio vectorial y sea = {1 , , }
Si es generador y es l.d. est probado que se puede extraer de l un
subconjunto l.i. y como es generador, luego ese conjunto es base de
Si es base de y se le agrega cualquier vector : = {}
entonces este conjunto sigue siendo generador pero ya no es l.i. por lo
tanto ya no es base
Una base es maximal respecto a la condicin l.i. y mnima respecto a la
condicin generador, pues si se le quita un elemento se obtiene que el
nuevo conjunto sigue siendo l.i. pero ya no es generador
Definicin: sea (, +, ,) un espacio vectorial de dimensin finita. Se define la
dimensin de al nmero de elementos de cualquier base de
dim = =nro de elementos de cada base
Coordenadas
Definicin: sea (, +, ,) un espacio vectorial y sea = {1 , , } una base de .
1
Se sabe que , ! = ( ) 1 : = =1 .

Se define las coordenadas de respecto de la base a la n-upla

1
= ( ) 1 y su notacin es = []

Observaciones:
1. Se puede definir las coordenadas de un vector respecto de una base, pues
dado quedan unvocamente determinados los escalares 1 , , y
recprocamente si se tienen escalares 1 , , , queda
unvocamente determinado el vector tal que = =1 .
2. Dado (, +, ,) un espacio vectorial de dimensin finita, cualquier base de
determina en el espacio vectorial un sistema de coordenadas. Los ejes
coordenados son los espacios de dimensin 1 generados por cada
elemento (vector) de la base

Tomas Kancyper

Pgina 3

2015

Resumen lgebra II 2do parcial

3. Las coordenadas de un vector dependen de la base y del orden de
sus vectores

Transformaciones lineales
o

o
o

Definicin: sean (, +, ,) y (, +, ,) dos espacios vectoriales sobre un mismo campo ,

una transformacin lineal de en es una funcin : tal que:
1. , , ( + ) = () + ()
2. , , () = ()
Sea (, +, ,) un espacio vectorial, se llama operador lineal a toda transformacin lineal
: . Se llama funcional lineal a toda transformacin lineal :
Consecuencias de la definicin de transformacin lineal (c/demo): sean (, +, ,) y
(, +, ,) espacios vectoriales y : transformacin lineal
1. ( ) =
2. , () = ()
3. 1 , , , 1 , , : (=1 . ) = =1 . ( )
Las transformaciones lineales preservan las combinaciones lineales
Operaciones con transformaciones lineales (c/demo): sean (, +, ,) y (, +, ,)
espacios vectoriales
1. La suma de dos transformaciones lineales de en es una transformacin lineal
de en . Si 1 : y 2 : son transformaciones lineales, entonces
1 + 2 : tambin es transformacin lineal
2. El producto de un escalar del campo por una transformacin lineal de en es
una transformacin lineal de en . Si y : es una transformacin
lineal, entonces : tambin es una transformacin lineal
3. La composicin de dos transformaciones 1 : y 2 : , es una
transformacin lineal. Si 1 : y 2 : son transformaciones lineales,
2 1 : definida por: , 2 1 () = 2 (1 ()) tambin es
transformacin lineal
Teorema fundamental de las transformaciones lineales: sean (, +, ,) y (, +, ,)
espacios vectoriales. Sea de dimensin finita y {1 , , } base de . Sea {1 , , }
contenido en cualquiera. Entonces ! : transformacin lineal:
, 1 , ( ) =
Ncleo de una transformacin lineal: sean (, +, ,) y (, +, ,) espacios vectoriales y
: transformacin lineal, llamamos ncleo de (()) al conjunto de todos los
, tales que () = , en smbolos: () = { : () = }
Imagen de una transformacin lineal: sean (, +, ,) y (, +, ,) espacios vectoriales y
: transformacin lineal, llamamos imagen de (()) al conjunto:
() = { : : () = }
Teorema (c/demo): sean (, +, ,) y (, +, ,) espacios vectoriales y :
transformacin lineal:
() es un subespacio vectorial de

Tomas Kancyper

Pgina 4

2015

Resumen lgebra II 2do parcial

() es un subespacio vectorial de
Teorema: sean (, +, ,) y (, +, ,) espacios vectoriales, dim = ; dim = .
Si : es una transformacin lineal, entonces: dim = dim () + dim ()

Matriz asociada a una transformacin lineal

Definicin: sean (, +, ,) y (, +, ,) espacios vectoriales y :
transformacin lineal, = {, , } base de y = {1 , , } base de .
Llamaremos matriz de la transformacin lineal respecto de las bases y , a la

matriz = ( ) que denotamos []

= ([(1 ] , , [( ] )

Propiedad (c/demo): sean (, +, ,) y (, +, ,) espacios vectoriales y :

transformacin lineal, = {, , } base de y = {1 , , } base de .
Entonces [()] = . []

Observaciones:
1. Dadas : transformacin lineal, base de , base de ,

siempre existe y es nica = []

2. Dada siempre existe

: 1 1 transformacin lineal tal que = []

Siendo y bases cannicas de 1 y 1 respectivamente
3. Si : es un operador lineal y es una base de , denotaremos
[] = []
Relacin entre matrices de un operador lineal:
Definicin: sean , . Las matrices y se dicen semejantes si existe
inversible tal que = 1 . .

Valores y vectores propios

o

Definicin valor y vector propio de un operador: sean (, +, ,) espacio vectorial y

: operador lineal. es valor propio de si y slo si , : () = .
El vector propio se denomina vector propio de asociado al valor propio
Definicin espacio propio: sean (, +, ,) espacio vectorial y : operador lineal,
valor propio del conjunto de vectores tales que () = se denomina
espacio propio asociado al valor propio y se denota :
= { : () = }
Observaciones:
= en consecuencia:
= { } {}
Los valores propios tambin se llaman autovalores, o valores caractersticos o
valores espectrales, al igual que los vectores

Tomas Kancyper

Pgina 5

2015

Resumen lgebra II 2do parcial

o

o
o

o
o

Teorema espacio propio es subespacio (c/demo): sean (, +, ,) espacio vectorial y

: operador lineal, valor propio de . Entonces el espacio propio , asociado
al valor propio es subespacio de
Teorema (c/demo): sean (, +, ,) espacio vectorial, dim = , y : operador
lineal. Si 1 , 2 son valores propios distintos de , entonces los vectores 1 , 2
asociados a 1 , 2 respectivamente son linealmente independientes
Corolario: sean (, +, ,) espacio vectorial, dim = , y : operador lineal
si 1 , 2 , , de , entonces los vectores propios 1 , 2 , , asociados a los
valores propios 1 , 2 , , respectivamente, son linealmente independientes
Observaciones:
1. El teorema asegura que : operador lineal tiene a los sumo
valores propios distintos, siendo = dim
2. Si 1 y 2 son valores propios distintos de entonces 1 2 = {}

Definicin valor de una matriz: sea , es valor propio de si y slo si es

valor propio de : 1 1

Por equivalencia de la definicin | | = 0
Definicin vector propio: 1 , se denomina vector propio de asociado al
valor propio si y slo si =
Definicin espacio propio: Si es valor propio de , se llama espacio propio
asociado al valor propio , que denotamos , al siguiente conjunto:
= { 1 : = }
Polinomio caracterstico:
Definicin: se llama polinomio caracterstico de que denotamos , al
determinante de la matriz . Es un polinomio de grado
() = | |
Teorema (c/demo): es valor propio de si y slo si y es cero del
polinomio caracterstico
Teorema (c/demo): sean , si y son semejantes entonces =
Definicin polinomio caracterstico de un ordenador: sean (, +, ,) espacio vectorial,
dim = , y : operador lineal. Se llama polinomio caracterstico de al polinomio
caracterstico de su matriz respecto de cualquier base del espacio vectorial
() = | [] | Cualquiera sea base de
Relacin entre valores y vectores propios de un operador lineal y los de su matriz: sean
(, +, ,) espacio vectorial, dim = , : operador lineal, base
es valor propio de si y solamente si es valor propio de [] , cualquiera sea
base de
Si es vector propio de asociado al valor propio , entonces [] 1 es
vector propio de [] asociado al valor propio , cualquiera sea base de
Teorema (c/demo):
1. Si es inversible, cualquier valor propio de es no nulo
2. Sea , si es valor propio de entonces 1 es valor propio de 1

Tomas Kancyper

Pgina 6

2015

Resumen lgebra II 2do parcial

3. Sea , si es valor propio de entonces 2 es valor propio de 2

Tomas Kancyper

Pgina 7