1/27

TEMA 12
(Oposiciones de Matemticas)
ESPACIOS VECTORIALES.
1. Espacios Vectoriales.
2. Subespacios Vectoriales.
2.1. Interseccin de Subespacios.
2.2. Unin de Subespacios.
2.3. Suma de Subespacios.
2.4. Suma Directa de Subespacios.
3. Aplicaciones Lineales. Espacio Cociente.
4. Teoremas de Isomorfa.
5. Bases de un Espacio Vectorial.
5.1. Combinaciones Lineales.
5.2. Dependencia e Independencia Lineal.
5.3. Bases y Dimensin.
5.4. Bases y Aplicaciones lineales.
5.5. Dimensin de Subespacios y Espacios Cociente.
6. Subespacios Vectoriales Complementarios.
2/27
TEMA 12
ESPACIOS VECTORIALES.
A lo largo de este tema 12 denotaremos mediante la letra K un cuerpo conmutativo,
(K, +, ).
1. ESPACIOS VECTORIALES.
DEF Llamamos K-espacio vectorial a la terna formada por un conjunto V, una ley de
composicin interna +, y una ley de composicin externa : KxE E, verificando las
propiedades:
1) (V, +) es un grupo conmutativo.
2) La ley de composicin externa satisface las propiedades
a) Pseudoasociativa: ( v
r
) = () v
r
b) Distributiva: ( w v
r r
+ ) = w v
r r
+
( + ) v
r
= v v
r r
+
c) Elemento Unidad: 1 u u
r r

, K y V w v
r r
,
Lo denotaremos por (V, +,
K
).
Los elementos de V reciben el nombre de vectores y se suelen denotar con las letras
w v u
r r r
, , . Los elementos de K reciben el nombre de escalares y se representan mediante
letras griegas. La operacin externa se llama producto por escalares.
Denotaremos el neutro de (V, +) por O
r
y el neutro de (K, +) por O.
PROP Si V es un K-espacio vectorial se satisfacen las siguientes propiedades; ,
K y V v u
r r
, .
1) O O u O
r r
r

2) ( ) ( ) u u u
r r r

3) ( ) v u v u
r r r r

4) ( ) u u u
r r r

5) O u O O u
r
r
r
r

Dem.
3/27
1) ( ) O u O u O u O u O O u O
r
r r r r r
+ +
( ) O O O O O O O
r
+ +
2) ( ) ( ) ( ) u u O u O u u u
r r
r
r r r r
+ +
( ) ( ) ( ) u u O O u u u u + +
r
r r
r r r r
3) ( ) ( ) ( ) ( ) v u v u v u v u
r r r r r r r r
+ +
4) ( ) ( ) ( ) ( ) u u u u u u
r r r r r r
+ +
5) Si K O y O u
1

r
r
por ser K un cuerpo
( ) ( ) O u O u O u O u

r
r
r
r
r
r
r
1
1 1 1

Ejemplos:
1) Sea el conjunto K
n
= Kx xK. Definimos una operacin interna y otra
externa con cuerpo de operadores K, como sigue:
+: K
n
x K
n
K
n
(u
1
, u
2
, , u
n
) + (v
1
, v
2
, , v
n
) = (u
1
+ v
1
, u
2
+ v
2
, ., u
n
+ v
n
)
: K x K
n
K
n
(u
1
, u
2
, u
n
) = (u
1
, u
2
, .u
n
)
Es inmediato comprobar que (K
n
, +, ) es un K-espacio vectorial.
2) Sea V un K-espacio vectorial y A un conjunto. Definimos
V
A
= {f: A E/f es aplicacin}
Si definimos la operacin interna
+: V
A
x V
A
V
A
(f + g) (x) = f(x) + g(x) xA
y la operacin externa
: K x V
A
V
A
(f) (x) = f(x) xA
entonces (V
A
, +, ) es un K-espacio vectorial.
3) (", +, ) puede ser un 3-espacio vectorial y tambin un Q-espacio vectorial, col
las operaciones suma y producto habituales.
PROP Sea V un K-espacio vectorial. Entonces verifica las leyes de simplificacin, que
son:
4/27
1) w v w u v u V w v u
r r r r r r r r r
+ + , ,
2) u u nulo no V u y K
r r r
,
3) v u v u K v u nulo no K
r r r r r r
,
Dem.
1) + + w u v u
r r r r
Como (V, +) es grupo Conmutativo ( ) V u
r
( ) ( ) ( ) ( ) ( ) ( ) + + + + + + + + w u u v u u w u u v u u
r r r r r r r r r r r r
w v w O v O
r r r
r
r
r
+ +
2) ( ) ( ) + + u u u u u u u u u u
r r r r r r r r r r

( ) O u
r
r
y como u
r
es un no nulo - = O =
3) v u
r r
como K es cuerpo y es no nulo K
1
tal que
( ) ( ) ( ) ( ) v u v u v u v u
r r r r r r r r


1 1
1 1 1 1

2. SUBESPACIOS VECTORIALES.
DEF Sea V un K-espacio vectorial y WCV subconjunto no vaco. Diremos que W es
un Subespacio Vectorial de V si satisface:
1) (W, +) es subgrupo de (V, +)
2) W u W u y K
r r

Es claro que (W, +, ) es un K-espacio vectorial con la suma de V y el producto
porescalares restringidos a W.
Todo K-espacio vectorial V admite dos subespacios que llamaremos triviales, el { O
r
y el propio V.
Ejemplo.
(3, +, ) es un subespacio vectorial de (", +, ), siendo el cuerpo de operadores, por
ejemplo, Q 3.
PROP Sea V un K-espacio vectorial, WV con W . Son equivalentes:
1) W es un subespacio vectorial de V.
2) W u y W v u K y W v u +
r r r r r
,
5/27
3) W v u K y W v u +
r r r r
, ,
Dem.
1) 2)
Como W es un subespacio, las operaciones de suma y producto por un escalar
son cerradas. Luego trivialmente se verifica 2).
2) 3)
, , , K y W v u
r r
por hiptesis W v y W u
r r
y de nuevo aplicando
2) W v u +
r r

3) 4)
Para ver que W es un subespacio.
(w, +) es subgrupo
W v u , si tomamos = 1 y = -1 W v u
r r
Para comprobar que la operacin externa es cerrada
W v u , tomamos = O K W u
r
2.1. Interseccin de Subespacios.
DEF Sea V un K-espacio vectorial y {W
i
i: 1,, n} una familia de subespacios de
V. Definimos la interseccin de subespacios como:
{ n W u v u W W
i i i
n
i
,...., 1 : /
1

r r
PROP Sea V un K-espacio vectorial y {W
i
i:1,., n} una familia de subespacios de
V. Entonces, la interseccin,
i
n
i
W W
1
, de subespacios es un subespacio vectorial V.
Dem.
W ya que
i i
W O
r
por ser un subespacio W O
r
.
Sea W v u K W v u W v u W v u
i i i i
+ +
r r r r r r r r
, , ,
W es un subespacio.
DEF Sea V un K-espacio vectorial y AV un subconjunto no vaco. Llamamos
Subespacio Engendrado por A al menor de los subespacios vectoriales que contienen a
A. Se denota por [A].
Es claro que el conjunto [A] es un subespacio de V que contiene al conjunto A, y si
existe otro subespacio W de V que tambin contiene a A, entonces [A]W.
PROP Sea V un K-espacio vectorial y A un subconjunto no vaco de V. Sean {W
i
/W
i
es
subespacio y AW
i

i
I. Entonces [A] =
i
I i
W

6/27
Dem.
Inmediata
DEF Sea W un subespacio vectorial de V, K-espacio vectorial, y AV tal que [A] =
W. Diremos que el conjunto A engendra W o es un Sistema de Generadores de W.
2.2. Unin de Subespacios.
DEF Sea V un K-espacio vectorial y {W
i
/iI} una familia de subespacios de V.
Definimos la unin de subespacios como:
{
i i
W u I i V u W
r r
, /
No podemos afirmar que la unin de subespacios sea un nuevo subespacio.
Ejemplo.
Sea V = 3
2
y U, W subespacios de V con U = 3x{o} y W = {o}x3.
Entonces (u, o) U y (o, w)W. En cambio (u, o) + (o, w) = (u, w) UW.
2.3. Suma de Subespacios.
DEF Sea V un K-espacio vectorial y {W
i
/i:1,., n} una familia de subespacios de V.
Definimos la suma de subespacios como:
{

n
i
i i i i i
n W u con u u V u W
1
,...., 1 : /
r r r
PROP Sea V un K-espacio vectorial y {W
i
/i:1,, n} una familia de subespacios de V.
Entonces la suma de subespacios

n
i
i
W W
1
es un subespacio de V.
Dem.
Vamos a realizar la demostracin por induccin en el nmero de subespacios, n.
Para n = 2 W = W
1
+ W
2
1) Como + W W O O O W O y W O
r r r r r
2 1

2) W
1
V y W
2
V W
1
+ W
2
V W V
3) Sea + +
2 2 2 1 1 1 2 1 2 1
, , , W v u y W v u con v v v y u u u W v u
r r r r r r r r r r
7/27
( ) ( )
( ) ( ) W v u W W v u v u
v v u u v u W v u y W v u
+ + + + +
+ + + + + +
2 1 2 2 1 1
2 1 2 1 2 2 2 1 1 1
4) Sea K y uW u = u
1
+ u
2
con u
1
W
1
y u
2
W
2

u
1
W
1
y u
2
W
2
u = (u
1
+ u
2
) = u
1
+ u
2
W
1
+ W
2

uW
Por tanto W es un subespacio.
Para n 1, por hiptesis de Induccin,

1
1
n
i
i
W W es subespacio vectorial
Para n

+
n
i
n
i
n i i
W W W W
1
1
1
Ambos sumandos son subespacios vectoriales, y como la suma de dos subespacios
es otro subespacio (caso n = 2) entonces W es subespacio vectorial de V.
PROP Sea V un K-espacio vectorial y U, W subespacios vectoriales de V. Se verifica
que U + W = [UW]
Dem.
Sea v
r
U + W w u v
r r r
+ con W w y U u
r r
[ ] [ ] W U v W U w u W U w y W U u +
r r r r r
Sea [ ] [ ] + W U w u v W w y U u W U v
r r r r r
/
W U v W U v u W v y U u + + +
r r r r r

2.4. Suma Directa de Subespacios.
DEF Sea V un K-espacio vectorial y W
1
, W
2
dos subespacios de V. Diremos que el
subespacio W es suma directa de W
1
y W
2
, y lo representaremos por W = W
1
W
2
, si
se verifica:
1) W = W
1
+ W
2
2) W
1
W
2
= {o
r
}
PROP Sea V un K-espacio vectorial y W, W
1
, W
2
subespacios de V.
W = W
1
W
2

2 1 2 2 1 1
/ w w w W w y W w W w
r r r r r r
+

Dem.
8/27
Como W = W
1
W
2
, entonces en particular W = W
1
+ W
2
.
Sea W w
r
W w y W w con w w w +
2 1 1 2 1
r r r r r
Para ver que esa expresin es nica, vamos a suponer que existe otra: Sea
2 2 1 1 2 1
W w y W w con w w w +
r r r r
Entonces
2 2 1 1 2 1 2 1
w w w w w w w w
r r r r r r r r
+ +
Como
2 2 2 1 1 1
W w w y W w w
r r r r
y ambos son iguales
2 1 1 1
W W w w
r r
y
2 1 2 2
W W w w
r r
Pero como la suma es directa se da que { o W W
r

2 1
0 0
2 2 1 1
w w y w w
r r r r

2 2 1 1
w w y w w
r r r r

Por tanto la expresin es nica.

1) Como
2 1 2 2 1 2 1
W W W W w y W w con w w w W w + +
r r r r r r
2) Sea

'

+
+

2 2
1 1
2 1
w o w W w Como
o w w W w Como
W W w r r r r
r r r r
r
Y al ser la expresin nica o w o w o w
r r r r r

2 1
, { o W W
r

2 1
Lo visto de suma directa de dos subespacios se puede generalizar fcilmente a un
conjunto de subespacios.
DEF Sea V un K-espacio vectorial y {W
i
/i:1,.,n} una familia de subespacios de V.
Diremos que el subespacio W es suma directa de los subespacios {W
i
/ i:1,..,n}, y se
representa por
i
n
i
W W
1
si se verifica
1)

n
i
i
W W
1
2) { o W W
n
i j
j
j i
r

,
`

.
|

1
PROP Sea V un K-espacio vectorial y W, {W
i
/i:1,., n} subespacios de V.
9/27

n
i
i i i i i
n
i
w w n W w W w W W
1
1
/ ,..., 1 :
r r r r
Dem.
Anloga a la anterior
COROLARIO Sea V un K-espacio vectorial y {W
i
/ i:1,., n}, W subespacios de
V.

n
i
i i i i i i i
n
i
o w implica W w con o w Si W W
1
1
r r r r r
Dem.
Solo hemos de tener en cuenta que o o o o
r r r r
+ + + ....... .
3. APLICACIONES LINEALES. ESPACIO COCIENTE.
DEF Sean V
1
y V
2
K-espacios vectoriales. Diremos que la aplicacin f: V
1
V
2
es
un homomorfismo de espacios vectoriales (o simplemente lineal) si:
1) ( ) ( ) ( )
1
, V v u v f u f v u f + +
r r r r r r
2) ( ) ( )
1
V u K u f u f
r r r

OBS La condicin 1) nos indica que f es un hormomorfismo de grupos entre (V
1
, +)
y (V
2
, +).
PROP Sean V
1
y V
2
K-espacios vectoriales y f: V
1
V
2
una aplicacin lineal. Si
{ n i v
i
,....., 1 : /
r
son vectores de V
1
y { n i ,....., 1 : /
1
escalares se verifica
( )



,
`

.
|
n
i
i i
n
i
i i
v f v f
1 1
r r

Dem.
Inmediata.
PROP Sean V
1
y V
2
K-espacios vectoriales y f: V
1
V
2
una aplicacin lineal. Se
satisfacen las siguientes propiedades.
1) ( ) o o f
r r

2) ( ) ( )
1
V v v f v f
r r r
3) ( ) ( ) ( )
1
, V w v w f v f w v f
r r r r r r
Dem.
10/27
1) ( ) ( ) ( ) ( ) ( ) o o f v f o f v o f v f V v
r r r r r r r r
+ +
1
2) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) 1
1
por o v f v f v f v f v v f o f V v
r r r r r r r r
+ + +
( ) ( ) v f v f
r r

3) ( ) ( ) ( ) ( ) ( ) ( ) ( ) w f v f w f v f w v f w v f V w v
r r r r r r r r r
+ +
1
, .
PROP Sean V
1
y V
2
K-espacios vectoriales.
F: V
1
V
2
es lineal ( ) ( ) ( ) w f v f w v f K y V w v
r r r r r r
+ + , ,
1
Dem.
( ) ( ) ( ) ( ) ( ) w f v f w f v f w v f
r r r r r r
+ + +

Si = = 1 ( ) ( ) ( ) ( ) ( ) w f v f w f v f w v f
r r r r r r
+ + + 1 1 1 1
Si = 0 ( ) ( ) ( ) ( ) v f w f o v f w o v f
r r r r r
+ +
Luego f es lineal.
PROP Sean V
1
y V
2
K-espacios vectoriales y f: V
1
V
2
una aplicacin lineal. Se
satisfacen:
1) Si W
1
es un subespacio vectorial de V
1
f(W
1
) es un subespacio vectorial de V
2
.
2) Si W
2
es un subespacio vectorial de V
2
f
-1
(W
2
) es un subespacio vectorial de
V
1
.
Dem.
1) Como f, en particular, es un homomorfismo de grupos, se verifica que f(W
1
) es
un subgrupo de V
2
.
Sea K y ( ) v f
r
f(W
1
) con
1
W v
r
Entonces ( ) ( ) ( )
1
W f v f v f
r r

Luego f(W
1
) es un subespacio vectorial de V
2
.
2) Igualmente, f
-2
(W
2
) es un subgrupo de V
1
.
Sea K y ( ) ( ) ( ) ( )

2 2
1
2
1
W W f f v f W f v
r r
( ) ( ) ( )
2
1
2
W f v W v f v f


r r r

11/27
DEF Si f: V
1
V
2
es una aplicacin lineal entre K-espacios vectoriales, definimos el
ncleo del f, y se denota por Kerf, al conjunto de los
1
V v
r
tales que ( ) o v f
r r
. Y la
Imagen de f, Imf, como el conjunto formado por las imgenes de f.
( ) { ( ) { ( )
1 1 2 1
/ Im / V f w v f con V v V w f o v f V v Kerf
r r r r r r
COROLARIO Sea f: V
1
V
2
una aplicacin lineal entre K-espacios vectoriales.
Los conjuntos Kerf e Imf son subespacios vectoriales.
Dem.
Kerf = f
-1
{ ( ) o
r
y { o
r
es un subespacio de V
2
Imf = f(V
1
) y V
1
es un subespacio de V
1
.
PROP Si V
1
, V
2
y V
3
son K-espacios vectoriales y f: V
1
V
2
, g: V
2
V
3
aplicaciones
lineales, la aplicacin compuesta f g o : V
1
V
3
es lineal.
Dem.
Inmediata.
PROP Si V
1
y V
2
son K-espacios vectoriales y f: V
1
V
2
es una aplicacin lineal
biyectiva, la aplicacin inversa f
-1
: V
2
V
1
es lineal.
Dem.
Sabemos que f
-1
: V
2
V
1
es un homomorfismo de grupos, luego solo hemos de
probar el producto por un escalar.
Si ( ) w v f V v V w
r r r r
/
1 2
Sea K ( ) ( ) ( ) ( ) ( ) ( ) w f v v f f v f f w f
r r r r r
1 1 1 1

DEF Sean V
1
y V
2
K-espacios vectoriales y f: V
1
V
2
aplicacin lineal.
1) f es monomorfismo si f es inyectiva.
2) F es epimorfismo si f es suprayectiva.
3) F es isomorfismo si f es biyectiva.
4) F es endomorfismo si V
1
= V
2
5) F es automorfismo si es simultneamente isomorfismo y endomorfismo.
PROP Sea V un K-espacio vectorial y NV un subespacio vectorial. Existe entonces
un K-espacio vectorial, W, y una aplicacin lineal : V W tal que Ker = N.
Dem.
12/27
Vamos a realizar la demostracin en dos pasos; primero construiremos W y despus
.
1) Construccin de W.
Por ser N subespacio vectorial de V (N, +) es un subgrupo de (N, +) y como es
conmutativa N es un divisor normal de V.
Vamos a considerar el conjunto cociente V/N, siendo sus elementos clases de
equivalencias de V respecto de la relacin R definida por
N v v v R v V v v ,
r r r r r r
La suma de clases estara definida por
[ ] [ ] [ ] v v v v
r r r r
+ +
siendo (V/N, +) grupo conmutativo
Definimos la operacin externa
[ ] [ ] v v K
r r

y esta bien definida ya que si [ ] [ ] ( ) N v v N v v v v
r r r r r r
al ser subespacio
[ ] [ ] v v N v v
r r r r
.
La operacin externa que acabamos de definir verifica las propiedades
Pseudoasociativas, distributivas (de la suma respecto del producto por escalares y
viceversa) y existencia de elemento unidad. Su demostracin es inmediata y no la
hacemos.
Por tanto, el conjunto (V/N, +,
K
) es un K-espacio vectorial. Tomaremos W = V/N.
2) Construccin de .
Definimos : V V/N como ( ) [ ] V v v v
r r r
. As definida, es una aplicacin
lineal:
( ) [ ] [ ] [ ] ( ) ( ) V v v v v v v v v v v + + + + ,
r r r r r r r r r r

( ) [ ] [ ] ( ) V v K v v v v
r r r r r

Es claro que Ker = N
( ) [ ] [ ] N v N o v o v o v Ker v
r r r r r r r

DEF El espacio vectorial V/N recibe el nombre de Espacio Vectorial Cociente de V
por N.
13/27
DEF La aplicacin :V V/N recibe el nombre de Proyeccin Natural del espacio
vectorial V sobre V/N.
OBS Si N = { o
r
es inyectiva y
{
V
o
V

r
4. TEOREMAS DE ISOMORFA.
Teorema: 1
er
Teorema de Isomorfa.
Sean V y W K-espacios vectoriales y f: V W aplicacin lineal. Entonces existe
un nico isomorfismo de espacios vectoriales ( ) f
Kerf
V
f Im :
~
tal que o f f
~
,
siendo :V V/Kerf la proyeccin natural de V en V/Kerf. Brevemente escribimos
( ) f
Kerf
V
Im .
Dem.
Construyamos la aplicacin f
~
y comprobemos que es isomorfismo y nica.
Definimos ( ) f
Kerf
V
f Im :
~
con [ ] ( ) ( ) [ ]
Kerf
V
v v f v f
r r ~
f
~
esta bien definida.
Si [ ] [ ] ( ) ( ) ( ) o v f v f o v v f Kerf v v v v
r r r r r r r r

( ) ( ) [ ] ( ) [ ] ( )
~ ~
v f v f v f v f
r r r r

f
~
es lineal.
Sean , K y [ ] [ ]
Kerf
V
v v
r r
,
[ ] [ ] ( ) [ ] ( ) ( ) ( ) ( ) [ ] ( ) [ ] ( )
~ ~

~

~
v f v f v f v f v v f v v f v v f
r r r r r r r r r r
+ + + + +
f
~
es suprayectiva.
Sea ( ) ( ) [ ]
Kerf
V
v v f w V v f w
r r r r r
/ Im tal que [ ] ( ) ( ) w v f v f
r r r

~
Luego ( ) f
Kerf
V
f Im :
~
es un isomorfismo, que adems hace conmutativo el
diagrama
o f f
~

14/27
( )( ) ( ) ( ) [ ] ( ) ( ) v f v f v f v f
r r r r
o
~ ~ ~

f
~
es nico.
Supongamos que o f f f
Kerf
V
f
~
/ Im :
~

Entonces ( )( ) [ ] ( ) ( ) [ ] ( ) ( )( ) v f v f v f v f v f
r
o
r r r r
o
~ ~

~ ~

Luego f f
~

OBS Sea V un K-espacio vectorial y U, W subespacios vectoriales de V con UW.

Podemos definir una aplicacin : V/U V/W de forma natural con
( ) V v W v U v + +
r r r
, .
La definicin es correcta pues si + + W v v U v v U u U v
r r r r r r
( ) ( ) U v U v W v W v + + + +
r r r r

Adems, es lineal y suprayectiva (epimorfismo) y su ncleo es W/U ya que
( ) { { { U W W v U v W o W v U v W o U v U v Kerf / / / / + + + + + + +
r r r r r r r r

COROLARIO 2 Teorema de Isomorfa.
Sea V un K-espacio vectorial y U, W subespacios de V con UW. Dada
W
V
U
V
: lineal, existe un nico isomorfismo
( )
( )
W
V
U
W
U
V
f :
~
tal que
o f
~
donde es la proyeccin natural de V/W en
( )
( )
V
W
U
V
Dem.
La demostracin es inmediata aplicando el 1
er
teorema de isomorfia y teniendo en
cuenta que Ker = W/U.
Teorema. 3
er
Teorema de Isomorfa.
Sea V un K-espacio vectorial y U, W subespacios de V. Entonces los espacios
U
V U +
y
W U
W

son isomorfos.
Dem.
Consideremos la proyeccin : V V/U con ( ) [ ] , v v
r r
es lineal.
Si lo restringimos a W obtenemos la aplicacin lineal
15/27
( ) [ ] W v v v w
U
V
W w
r r r
:
1) Comprobemos que ( )
U
W U
w
+
Im
Si [ ] ( ) [ ] ( ) [ ] U u w v W w con w w w v w v
r r r r r r r r
Im
[ ]
U
W U
v W U v W w y U u con w u v
+
+ +
r r r r r r r
2) Comprobemos que ( ) W U w Ker
Si ( )
( ) [ ] [ ] [ ]

'

'

U o v o v o v w
W v
w Ker v
r r r r r
r
r

( ) W U w Ker W U v
r
Si ( ) ( ) [ ] [ ] [ ] o v U v como y v v v w W U v
r r r r r r r

( ) ( ) w Ker W U w Ker v
r
Luego ( ) W U w Ker
Aplicando el 1
er
teorema de isomorfia a la aplicacin w obtenemos
( ) ( ) w w Ker
W
Im
que resulta ser:
U
W U
W U
W +

5. BASES. DIMENSIN.
5.1. Combinaciones lineales.
DEF Sea V un K-espacio vectorial y { n i v
i
,...., 1 : /
r
vectores de V. Diremos que V v
r
Es combinacin lineal de los vectores { n i v
i
,..., 1 : / si existen { n i
i
,..., 1 : / escalares
del cuerpo K, tales que

n
i
i i
v v
1
r r
. Los
i
reciben el nombre de coeficientes de la
combinacin Lineal.
PROP El vector nulo es Combinacin lineal de cualquier conjunto de vectores.
Dem.
Sea {
n
v v v ,..., ,
2 1
un conjunto del K-espacio vectorial V. Basta tomar los
coeficientes todos cero para que

n
i
i
v o o
1
r r
.
16/27
PROP 1) Un vector cualquiera es combinacin lineal de si mismo. 2) Un vector
pertenece a un conjunto es Combinacin lineal de dicho conjunto.
Dem.
1) v v v
r r r
1 es combinacin lineal de { v
r
2) Sea {
n
v v v
r r r
,..., ,
2 1
un conjunto.

+
+ +
1
1 1
,..., 1 : 1
i
j
n
i j
j i j i
n i v o v v o v
r r
Luego
i
v
r
es Combinacin lineal de {
n
v v
r r
,...,
1
PROP Si un vector w
r
es Combinacin Lineal del conjunto {
n
v v
r r
,...,
1
y cada uno de los
v
i
es combinacin lineal del conjunto {
m
u u
r r
,...,
1
, entonces w
r
es combinacin lineal de
{
m
u u
r r
....,
1
Dem.
Sabemos que

n
i
i i
v w
1
r r
y cada

m
j
i j ij i
n u v
1
,..., 1 :
r r

Entonces



,
`

.
|

,
`

.
|

n
i
n
i
n
i
m
j
m
j
j
n
i
ij i j ij i
m
j
i ij i i i
u u u v w
1 1 1 1 1 1 1
r r r r r

PROP Sea V un K-espacio vectorial y A un subconjunto no vaco de V. El subespacio
engendrado por A, [A], es el conjunto de todos los vectores V que se pueden escribir
como combinacin lineal de los vectores de A.
Dem.
Sea A = {
n
v v
r r
,.....,
1
Definimos ( )

'

'

n
i
i i n i i
v v con K V v S
1
,.., 1 :
/
r r r

Hemos de comprobar que S = [A], para lo cual hay que verificar tres condiciones.
S es un subespacio de V.
Sean



n
i
n
i
i i i i
v v y v u S v u
1 1
,
r r r r r r

17/27
( ) ( )


+ + + +
n
i
n
i
n
i
i i i i i i i i i i
K que ya S v v v v u
1 1 1

r r r
( )



n
i
n
i
i i i i i i
K que ya S v v u
1 1

r r
Entonces S es subespacio vectorial de V.
AS
Por una proposicin anterior, todo vector de un conjunto, se puede escribir como
combinacin lineal de dicho conjunto.
S es el ms pequeo que lo verifica.
Sea S un subespacio vectorial de V tal que AS.
Si
i i i i
S v K y A v
r r

Entonces

n
i
i i
S S S v
1

r

OBS El conjunto {
n
v v A
r r
,....,
1
es un sistema de generadores de S.
5.2. Dependencia e Independencia Lineal.
DEF Sea V un K-espacio vectorial. El conjunto {
n
u u
r r
,....,
1
de vectores de V diremos
que es Linealmente Independiente si la relacin

n
i
i i
o u
1
r r
se verifica solamente para
i i
o .
DEF El conjunto {
n
u u
r r
,....
1
es Linealmente Dependiente cuando no es Linealmente
Independiente.
OBS Es lo mismo decir que {
n
u u
r r
,....
1
es un conjunto Linealmente independiente y
que los vectores {
n
u u ,....,
1
r
son linealmente independientes.
OBS Si un conjunto de vectores es Linealmente independiente, el vector o
r
se expresa
de forma nica como combinacin lineal de los mismos. En caso de que el vector nulo
no se exprese de forma nica es cuando decimos que el conjunto es linealmente
dependiente.
PROP Sea V un K-espacio vectorial. Se verifica:
1) { o
r
es un conjunto linealmente dependiente.
18/27
2) { u
r
con o u
r r
es un conjunto linealmente independiente.
Dem.
1) o o
r r
1 es una combinacin lineal del o
r
con escalar no nulo { o
r
es
Linealmente Dependiente.
2) Una combinacin lineal de { u
r
es u
r
y o u
r
si = 0 ya que { u o u
r r
es
Linealmente Independiente.
PROP Sea V un K-espacio vectorial. Se verifica
1) Todo subconjunto de un conjunto Linealmente independiente es linealmente
independiente.
2) Un conjunto que contenga un subconjunto linealmente dependiente es
linealmente dependiente.
Dem.
Inmediata.
COROLARIO Sea V un K-espacio vectorial. Se verifica:
1) Todo vector de un conjunto linealmente independiente es no nulo.
2) Si un conjunto contiene al vector o
r
es linealmente dependiente.
Dem.
Inmediata.
PROP Sea V un K-espacio vectorial. El conjunto {
n
u u
r r
,...,
1
es linealmente dependiente
si y slo si al menos uno de ellos es combinacin lineal del resto.
Dem.
Si {
n
u u
r r
,...,
1
son L. D.
1
,,
n
K no todos nulos tal que

n
i
i i
o u
1
r r

Sea { K n j con o j
j

1
,..., 1
( ) ( ) ( )

+
n
j i
i
i i j
n
i
n
i
n
j i
i
j i i j j i i j j i i j
u u o u u o u o u
1
1
1 1 1
1 1 1 1
r r r r r r r

Supongamos que u
j
es combinacin lineal del resto.
19/27
Entonces ( )

n
j i
i
i i j i
u u K
1
/
r
Si tomamos j = -1 podemos escribir

n
i
i i
o u
1
r r
y no todos los escalares son nulos {
n
u u
r r
,...,
1
son L. D.
PROP Sea V un K-espacio vectorial. Si un vector es combinacin lineal de un conjunto
{
n
u u
r r
,...,
1
de vectores linealmente independientes entonces dicha combinacin lineal es
nica.
Dem.
Sea V u
r
un vector tal que

n
i
i i
u u
1
r r
con
i i
K .
Supongamos que K
n
,...,
1
tal que

n
i
i i
u u
1
r r

( )



n
i
n
i
n
i
i i i i i i i
u u u u u o
1 1 1
r r r r r

Como {
n
u u ,.....,
1
son L. I.
i
-
i
= o
i

i
=
i

i
Por tanto, la C. L. es nica.
PROP Si el conjunto {
n
u u ,....,
1
es linealmente dependiente y es un sistema generador
para el K-espacio vectorial V, entonces existe un vector u
j
{u
1
,.,u
n
} tal que el
conjunto {u
1
,, u
j-1
, u
j+1
,, u
n
} sigue siendo un sistema generador de V.
Dem.
Como {
n
u u ,.....,
1
es L. D. {

n
j i
i
i i j n j
u u u u u
1
1
/ ,....,
r

Vamos a comprobar que {

n j j
u u u u ,..., , ,....,
1 1 1 +
es Sist. Generador de V.

n
i
i i i
u u n i K V u
1
/ ,...., 1 :
r r r
ya que {
n
u u ,....,
1
es S. G de V.
( )

+ + +
n
i
n
j i
i
n
j i
j i
n
j i
i
n
j i
i
i i j i i i i i j j i i i i
u u j u u u u u
1 1 1 1
r r r r r r r

Entonces u V u
r r
es C. L. de {
n j j
u u u u ,...., , ,...,
1 1 1 +
luego es un sistema de
generadores de V.
20/27
PROP Sea V un K-espacio vectorial, {
n
u u L
r r
,....,
1
un conjunto linealmente
independiente y V v
r
tal que L v
r
siendo { v L
r
un conjunto linealmente
dependiente. Entonces [ ] L v
r
.
Dem.
Sea

+
n
i
o i i
o v u
1
r r r
una combinacin lineal del vector o
r
.
Como { v L
r
es L. D. K
j
con j: 0,., n no nulo.
Si
o
= 0 Es escalar no nulo tendra que ser
j
con j 1,., n pero eso entra en
contradiccin con que L es L. I.
Luego
o
0 K
o

1
y por tanto
( ) [ ]

n
i
i i o
L u v
1
1
r r

5.3. Bases y Dimensiones.
DEF Sea un conjunto {
n
u u B
r r
,.....,
1
de vectores del K-espacio vectorial V. Diremos
que B es una Base de V si B es un conjunto Linealmente Independiente y Sistema
Generador de V.
OBS Si {

n
i
n i i
u u con u v es V v
1
1
,....,
r r r r r
base de V, la expresin es nica y
i
recibe el nombre de componente i-sima del vector v
r
en la base {
n
u u ,....,
1
.
DEF Diremos que el K-espacio vectorial V es finitamente generado si existe
{
m
u u
r r
,.....,
1
un conjunto finito sistema generador de V.
PROP Sea V un K-espacio vectorial, S un conjunto finito sistema generador de V y
LS un subconjunto linealmente independiente. Entonces una base B tal que LBS.
Dem.
Vamos a considerar el conjunto de conjuntos ( ) { . . / I L es G y S G L G G C
Este conjunto es no vaco ya que, al menos, A pertenece a l.
Sea BC(G) un conjunto tal que Card (B) Card (G) GC(G)
B es L. I. ya que BC(G)
Si Card (B) = Card (S) B = S y B es S. G. de V.
21/27
Supongamos B S. Sea v
r
S B. { v B
r
es L. D. Por una proposicin
anterior [ ] B v
r
.

,
`

.
|
+ +
S u B u B S u B u B S u B u
j j i i i i i i i i i
i i i i j
u u u u u u V u
r r r r r
r r r r r r

[ ]

,
`

.
|
+

,
`

.
|
+
B u B u B u
i
B S u
j K i i
B S u
j i i i
i i i K i
B u u u
r r r r r
r r

Entonces B es S. G. de V.
Si B es L. I. y S. G. de V B es base de V.
COROLARIO Todo K-espacio vectorial V finitamente generado y no nulo (V { o
r
)
posee una base.
Dem.
Como V es finitamente generado, sea S un conjunto finito de generadores de V.
Como { o u V u o V
r r r r
/ . Sea { u L
r
que es L. I.
Aplicando la proposicin anterior, existe B base tal que LBS.
COROLARIO Sea V un K-espacio vectorial finitamente generado y N un
subconjunto finito linealmente independiente de V. Entonces existe un subconjunto
finito N de V tal que NN es base de E.
Dem.
Como V es finitamente generado, sea S un conjunto S. G. de V. Aplicando la
proposicin anterior tomando S = SN y L = N entonces B base tal que NBSN
Basta tomar N = B N para demostrar lo pretendido.
OBS Podemos deducir que este corolario que dado un conjunto de vectores
linealmente independientes de un K-espacio vectorial V finitamente generado, siempre
se puede extender ese conjunto a una base, aadiendole vectores adecuados.
Veamos ahora que relacin existe entre dos conjuntos que sean base de un mismo
K-espacio vectorial V.
22/27
TEOREMA Teorema de la Base.
Todas las bases de un mismo K-espacio vectorial finitamente generado tienen el
mismo nmero de elementos.
Dem.
Sean B y B dos bases de V. Si Card (B) = n y Card (B) = m hemos de
comprobar que n = m.
Sea { {
m n
v v B y u u B
r r r
,....., ,.....,
1 1

n
i
j ij j j
u v B v
1

r r r
por ser {
n
u u B
r r
,....,
1
base de V.
Sea el conjunto {
1
v B que es S. G. ya que B es S. G. y L. D. ya que
1
v
r
es
combinacin lineal de B.
Podemos extraer una base {
p
u u v B
r r r
,....., ,
1 1 1
con p < n y 1 + p n.
Repitiendo el proceso, el conjunto {
2 1
v B
r
es S. G. y L. I.
Podemos extraer una base {
s
u u v v B
r r r r
,...., , ,
1 2 1 2
s < p y 2 + s n.
Reiterando el proceso m veces encontramos una base
{
r m m
u u v v v B
r r r r r
,... , ,...., ,
1 2 1
con m m + r n m n.
Si realizamos el mismo razonamiento, pero invirtiendo los papeles de B y B
llegamos, despus de n pasos, a una base
{
t n n
v v u u B
r r r r
,..., , ,...,
1 1
con n n + t n m
Luego n = m.
DEF Llamamos dimensin de un K-espacio vectorial finitamente generado al nmero
de vectores de una cualquiera de sus bases. Se representa por dim V.
COROLARIO Si V es un K-espacio vectorial de dimensin n y B es un conjunto de
vectores linealmente independientes tal que Card (B) = n, entonces B es base de V.
Dem.
Por un corolario previo, existe B finito tal que BB es base de V.
Entonces Card (BB) = n
23/27
Y como Card (B) = n B y B es base de V.
COROLARIO Si V es un K-espacio vectorial de dimensin finita y K es un conjunto
de vectores linealmente independientes, entonces Card (L) dim V.
Dem.
Supongamos que Card (L) > dim V LL formado por dim V vectores y L. I.
Por el corolario anterior L es base.
Sea vL L v es C. L. de los vectores de L
L{v} es L. D. y como L{v} L es L. D.
lo que es una contradiccin con la hiptesis.
Luego la suposicin es falsa y Card (L) dim V.
5.4. Bases y Aplicaciones Lineales.
PROP Sean V
1
y V
2
K-espacios vectoriales de dimensin finita, {
n
u u B
r r
,....,
1 1
una
base de V
1
y {
n
v v B
r r
,...,
1 2
un conjunto de vectores que V
2
. Entonces existe una nica
aplicacin lineal f: V
1
V
2
tal que ( ) n i v u f
i i
,..., 1
r r
verificndose que f es un
isomorfismo si y solo si B
2
es base de V
2
.
Dem.
Existencia de f.
Sabemos que

n
i
i i i i
K con u u V u
1
1

r r r
Definimos ( )

n
i
i i
v u f
1
r r

- f es lineal
Sean



n
i
n
i
i i i i
u v y u u
1 1
r r r r
vectores de V
1
y K.
( ) ( ) ( ) ( ) ( )


+ + +
,
`

.
|
+ +
n
i
n
i
n
i
i i i i i i i
n
i
i i i
v f u f v v v u f v u f
1 1 1 1
r r r r r r

( ) ( ) ( )



,
`

.
|

n
i
n
i
i i i i
n
i
i i
u f v v u f u f
1 1 1
r r r r r

24/27
- Podemos afirmar que ( )
i i i
v u f
r r
Unicidad de f.
Sea g: V
1
V
2
lineal tal que ( )
i i i
v u g
r r
Dado

n
i
i i
u u
1
r r

( ) ( ) ( )



n
i
n
i
i i i i
u f v u g u g
1 1
r r r

Por tanto g = f.
Veamos ahora la segunda parte.
Es fcil comprobar que; * Si quieres comprubalo*
1) f inyectiva B
2
es L. I.
2) f suprayectiva B
2
es S. G.
Por tanto, se deduce que f es biyectiva B
2
es base de V
2
.
COROLARIO Sean V
1
y V
2
K-espacios vectoriales de dimensin finita.
2 1 2 1
dim dim V V V V
Dem.
Sea f: V
1
V
2
isomorfismo y {
n
u u B
r r
,....,
1 1
base de V
1
.
Por el teorema anterior ( ) ( ) {
n
u f u f B
r r
,...,
1 2
es base de V
2
.
Es claro que Card (B
1
) = Card (B
2
) dim V
1
= dim V
2
.
Sea {
n
u u B
r r
,....,
1 1
y {
n
v v B
r r
,....,
1 2
bases de V
1
y V
2
respectivamente. El
teorema anterior nos dice que la nica aplicacin lineal f: V
1
V
2
tal que
( ) n v u f
i i i
,...., 1 :
r
tiene que ser isomorfismo. Entonces V
1
y V
2
son isomorfos.
5.5. Dimensin de Subespacios y Espacios Cociente.
PROP Sea V un K-espacio vectorial, B base de V, W el subespacio vectorial
engendrado por un subconjunto B de B con B B. Entonces el conjunto B B es
base de V/W.
25/27
Dem.
Sea {
n
u u B
r r
,....,
1
y, por ejemplo, {
s
u u B
r r
,...,
1
con s < n.
Por hiptesis [ ] B W y {
n s
u u B B
r r
,....,
1 +

Comprobemos que B B es S. G. de V/W.
Sea [ ] v
r
V/W. Como B es base de V

n
i
i i
u v
1
r r

Por tanto [ ] [ ] [ ]

+

n
i
n
S i
i i i i
u u v
1 1
r r r

ya que [ ] [ ] S o u
i i
,..., 1 :
r r
porque S W u
i i
,..., 1 :
r
B B es L. I.
Sea [ ] [ ]

+ +

n
S i
n
S i
i i i i
W u o u
1 1
r r r

Como B es base de W

+ +

n
S i
S
i
S
i
n
S i
i i i i i i i i
o u u u u
1 1 1 1
r r r r r

Por ser B base de V, en particular son L. I.
i
= 0 i: 1,..,n
Entonces
i
= 0 i: S+1,.,n y B B son L. I.
Por tanto B B es base de V/W.
PROP Sea V un K-espacio vectorial de dimensin finita y W un subespacio vectorial
de V. Se verifica la relacin
dim V = dim W + dim V/W
Dem.
{
{
{ W V
W
V
y o
V
V
V W Si
V
W
V
W y V
o
V
o W Si
dim dim , 0 dim
dim dim , 0 dim


r
r
r
En caso contrario, sea {
s
u u
r r
,...,
1
base de W y se puede extender a {
n s
u u u
r r r
,..., ,...,
1
base de V.
Por la proposicin anterior {
n s
u u ,....,
1 +
es base de V/W y
26/27
dim V = n, dim W = S dim V/W = n S
verificndose la igualdad
dim V = dim W + dim V/W
COROLARIO Si U
1
y U
2
son subespacios de un K-espacio vectorial V, se satisface
la igualdad
dim (U
1
+ U
2
) + dim (U
1
U
2
) = dimU
1
+ dimU
2
Dem.
Por el 3
er
teorema de isomorfa:
2 1
2
1
2 1
U U
U
U
U U

+
y podemos afirmar que
2 1
2
1
2 1
dim dim
U U
U
U
U U

+
Aplicando la proposicin anterior obtenemos
( ) ( )
2 1 2 1 2 1
dim dim dim dim U U U U U U +
de lo cual se deduce la igualdad a comprobar.
OBS Si la suma es directa dim (U
1
U
2
) = dim U
1
+ dim U
2
6. ESPACIOS VECTORIALES COMPLEMENTARIOS.
DEF Sea V un K-espacio vectorial y W un subespacio vectorial de V. Diremos que U
es un subespacio vectorial complementario de W si V = WU.
PROP Sea V un K-espacio vectorial de dimensin finita. Todo subespacio W de V
admite complementario.
Dem.
Denotemos por U el complementario de W.
Si { V U o W
r
Si { o U V W
r

Supongamos que W es un subespacio no trivial.
Sea B una base de W (W es una dimensin finita al serlo V).
27/27
B subconjunto de
B B
V

es base de V.
Veamos que U = [B]



+ +

B v
v
B v
v
U W V v v u V u
r r
r r r r

( ) ( ) { o U W U W U W U W
r
+ + 0 dim dim dim dim