Está en la página 1de 30

Espacio vectorial

ESPACIO VECTORIAL

1.- Introduccin
2.- Espacio Vectorial
3.- Subespacios vectoriales
4.- Generacin de Subespacios vectoriales
5.- Dependencia e independencia lineal
6.- Espacios vectoriales de tipo finito
7.- Cambio de base en un espacio vectorial
8.- Interseccin y suma de subespacios vectoriales

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

ESPACIO VECTORIAL
1. Introduccin
En general, el lgebra trata de nmeros, matrices, vectores, aplicaciones y de
operaciones entre los elementos de dichos conjuntos.
Las matemticas segn una concepcin primitiva, son la ciencia del nmero y de la
cantidad. El punto de vista clsico distingua las distintas ramas de las matemticas segn
la naturaleza de los objetos que estudiaban: la aritmtica es la ciencia de los nmeros; la
geometra estudiaba los objetos en el espacio; el anlisis estudiaba las funciones, etc. Sin
embargo, cada vez con mayor frecuencia, tcnicas y resultados de una parte de las
matemticas se mostraban tiles en otra rama.
Un conjunto es una coleccin de entidades; los nmeros forman un conjunto que
pertenece a una categora bien definida el cuerpo de los nmeros reales y en el reino
animal un caballo es un elemento del conjunto de animales mamferos. Ahora bien, un
conjunto de ladrillos no constituye una casa; es necesario dotar a estos conjuntos de una
estructura definida mediante diferentes reglas o axiomas; as obtenemos las estructuras de
grupo, cuerpo, espacio vectorial. Estas categoras se encuentran en todas las ramas de la
matemtica, en la fsica y en otras ciencias.
No son decisivos los objetos con los que se opera sino las relaciones entre ellos. As
surgen las primeras estructuras algebraicas (grupos, anillos, cuerpos, etc.), que permiten
agrupar a conjuntos de elementos de naturaleza muy distinta, pero que tienen relaciones y
propiedades comunes.
Aqu vemos la estructura de espacio vectorial que es la propia de los vectores y es
aplicable a las matrices, a los polinomios y a las funciones y que permite identificar
matrices como vectores y resolver mltiples problemas geomtricos. Constituye una base
slida para el desarrollo de los temas de geometra. Tanto es as que se describe el lgebra
como la geometra que se escribe y a la geometra como el lgebra que se dibuja.
2. Espacio Vectorial
Definicin:
Sea V un conjunto donde hemos definido una ley u operacin interna, que

designaremos por + V V . Sea K un cuerpo (conmutativo) y sea, por ltimo, una

operacin externa que designaremos por K V


V .

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Diremos que (V,+, ) tiene estructura de espacio vectorial sobre el cuerpo K, o


simplemente que (V,+, ) es un K-espacio vectorial cuando se verifiquen las condiciones
siguientes:


[A1] Asociativa: a b c a b c para cualesquiera a , b, c V .

[A2] Existencia de elemento neutro: Existe un elemento que designaremos 0 V


que verifica que a 0 0 a a para cualquier a V.

[A3] Existencia de elemento simtrico: Para cualquier a V existe un nico

elemento de V, que designaremos por - a tal que a (a ) (a ) a 0 .




[A4] Conmutativa: a b b a para cualesquiera a , b V .

Observemos que (V,+) debe ser, por tanto, un grupo conmutativo.


[A5] (a b) a b para cualquier K y cualesquiera a , b V .

[A6] ( )a a a para cualesquiera , K y cualquier a V .

[A7] a ( )a para cualesquiera , K y cualquier a V .


[A8] El elemento unidad del cuerpo K, que designaremos por 1, verifica 1 a a

para cualquier a V .

Usualmente a los elementos del espacio vectorial V los denominaremos vectores,


aunque no lo sean en el sentido fsico, y a los elementos del cuerpo K escalares.
Algunos ejemplos de espacios vectoriales
En el tema de Sistemas, matrices y determinantes hemos estudiado que M mn (K ),,

es un K-espacio vectorial, siendo + y la suma y producto por escalares usuales


entre matrices.
Rn, n N , es un espacio vectorial, siendo + y la suma y producto por escalares
usuales entre n-uplas. (En particular, el cuerpo R, el plano R2, el espacio R3 son
espacios vectoriales).
El conjunto de los polinomios de grado menor o igual que n en una variable
indeterminada x es un espacio vectorial.
Es fcil comprobar, y lo proponemos como ejercicio, que si en el conjunto de las
funciones reales de variable real que designaremos por F(R), definimos las
operaciones:
Suma de funciones: f+g es la funcin que verifica (f+g)(x)=f(x)+g(x) x R.
Producto por un nmero real : f es la funcin que verifica (f)(x)= f(x) x R.
Entonces (F(R),+,) es un R-espacio vectorial

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Propiedades de los espacios vectoriales:


1. 0a 0 para cualquier a V .
Demostracin

Podemos escribir 0a (0 0)a 0a 0a 0a 0 .



2. 0 0 para cualquier K.
Demostracin

Podemos escribir 0 (0 0) 0 0 0 0 .



3. a 0 0, o bien, a 0 .
Demostracin

Supongamos, en primer lugar, que 0, entonces existe su inverso


la expresin dada por dicho inverso se obtiene


1 1
a = 0 a 0

1
, multiplicando


Supongamos ahora que a 0 . Por reduccin al absurdo, si tambin fuera 0,
1
entonces, igual que antes, existe y multiplicando la expresin dada por dicho inverso

1 1
se obtiene a = 0 a 0 contra la hiptesis de partida!

4.

a a

para cualquier K y para cualquier a V .

Demostracin

0 0a ( ())a a ()a ()a a

5. a a para cualquier K y para cualquier a V .

Demostracin

0 0 (a (a )) a (a ) (a ) a


6. a b a b para cualquier K y para cualesquiera a , b V .

Demostracin

a b a ( b ) a ( b) a b

7.

a a a

para cualesquiera , K y para cualquier a V .

Demostracin
a ( (a )) a (a ) a a

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

8. Si a a , siendo a 0 .

Demostracin

Sea a a , sumando el opuesto de a , que es a , a ambos miembros se obtiene



a a 0 a 0 , luego aplicando la propiedad 3 podemos afirmar que si

a 0 , entonces ha de ser (-)=0

9. Si a b , siendo 0 a b .

Demostracin

Sea a b , sumando el opuesto de b , que es b , a ambos miembros se obtiene



a b 0 (a b) 0 , luego aplicando la propiedad 3 podemos afirmar que si



0 , entonces ha de ser (a b) 0 a b
3. Subespacios vectoriales
Definicin:
Sea(V,+,.) un K-espacio vectorial y F una parte no vaca de V, diremos que F es un
subespacio vectorial de V si y solo si (F,+,.) en un K-espacio vectorial
Teorema: Caracterizacin de los subespacios vectoriales
Sea F una parte no vaca del K-espacio vectorial V. F es un subespacio vectorial de
V, con las operaciones + y inducidas por V, si y solo si se verifican las dos condiciones
siguientes:


i) Para cualesquiera a, b F su suma a b F . Es decir, la operacin interna en V

es una operacin interna en F.

ii) Para cualesquiera K , a F el producto a F . Es decir, la operacin


externa en V es una operacin interna en F.
Demostracin
Si (F,+,) es K-espacio vectorial se cumplen por definicin de K-espacio vectorial
las dos condiciones.
Recprocamente suponiendo que se verifican las dos condiciones hemos de
comprobar que se verifican los ocho axiomas de espacio vectorial. Ahora bien la operacin
interna + en F es:
[A1]: Asociativa por ser + asociativa en V.

[A2]: El elemento neutro 0 F, basta tomar 0 en la condicin ii).

[A3]: El elemento opuesto de cualquier vector x F es el vector - x F pues basta tomar

1 en la condicin ii).
[A4]: Conmutativa por ser + conmutativa en V.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Luego (F,+,) es un grupo conmutativo. Los otros 4 axiomas se verifican de manera


inmediata por ser F una parte de V, y V un K-espacio vectorial.
Observacin
Las 2 condiciones anteriores equivalen a la siguiente:
Sea F una parte no vaca del K-espacio vectorial V. F es un subespacio vectorial de V con
las operaciones + y inducidas por V si y solo si se verifica:


a b F para cualesquiera escalares , K y cualesquiera vectores a,b F .

Los conjuntos 0 y V cumplen siempre las condiciones de subespacio vectorial del K-

espacio vectorial V y les denominaremos subespacios impropios de V.

Algunos ejemplos de subespacios vectoriales

El conjunto de n-uplas de R que constituye la solucin del sistema homogneo


definido por toda ecuacin matricial de la forma AX=O , donde A M mn (R), es
n

un subespacio del R-espacio vectorial R .


La comprobacin es inmediata si consideramos dos soluciones S1.y S2 del sistema
homogneo AX=0, es decir, AS1=AS2=0. Entonces
A (S1 S 2 ) A (S1 ) A (S 2 ) AS1 AS 2 (AS1 ) (AS2 ) 0 0 0

El subconjunto

x, y, 0 siendo x, y R

R es un subespacio vectorial del R-

espacio vectorial R . La comprobacin se propone como ejercicio.

Sin embargo, R x , y siendo x, y R no es un subespacio vectorial del espacio


2

vectorial R , puesto que R no es un subconjunto de R .


Es H= x ,3 siendo x R un subespacio vectorial del espacio vectorial R ?

No puesto que no contiene al elemento neutro de la suma, vector nulo 0 (0,0) H .


2

4. Generacin de Subespacios vectoriales:


A partir de ahora cuando escribamos V nos estaremos refiriendo al K-espacio
vectorial V.
Nos planteamos el problema de poder construir subespacios vectoriales de un
espacio vectorial dado V a partir de un vector o varios vectores estableciendo las
condiciones necesarias y las relaciones existentes entre dichos vectores.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Definicin:

Sean a 1 ,..., a n vectores de V. Llamaremos combinacin lineal de los vectores

a 1 ,..., a n V a todo vector v V de la forma v 1a 1 ... n a n , siendo 1 ,..., n K .


Proposicin

Sean a 1 ,..., a n vectores de V. El conjunto formado por todas las combinaciones

lineales posibles de los elementos a 1 ,..., a n constituye un subespacio vectorial del espacio
vectorial V.
En efecto: si observamos la caracterizacin de los subespacios vectoriales obliga a
que cualquier combinacin lineal de elementos del subespacio sea del subespacio y en este

conjunto los elementos son combinaciones lineales de los vectores a 1 ,..., a n .


A dicho subespacio se le denota:

C a 1 ,..., a n La 1 ,..., a n a 1 ,..., a n

v V / v 1a 1 ... n a n , i K , i 1,..., n

En cuyo caso diremos que a 1 ,..., a n es un sistema generador del subespacio

vectorial a 1 ,..., a n . Es interesante observar como, por ejemplo, los tres colores
primarios (rojo, amarillo y azul) permiten, mediante combinacin de ellos, obtener los
restantes colores.

Ejemplos:

El vector (2,7,5) R3 verifica (2,7,5)=2(1,2,1)+3(0,1,1).


Luego es combinacin lineal de los vectores (1,2,1),(0,1,1) R3

Puede expresarse el vector (1,4,-2)R3 como combinacin lineal de los vectores


(1,1,1) y (1,0,2) R3?
Se nos pide estudiar si existe solucin para la ecuacin vectorial:
1
4 1
3

(1,1,1)+(1,0,2)=(1,4,-2) 4
.
4
4
2 2
2 2
4 2(3) 2

Vemos que, en este caso, el sistema tiene solucin nica =4 y =-3, luego
podemos expresar: (1,4,-2) 4(1,1,1) - 3(1,0,2)

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Puede expresarse el vector (5,4)R2 como combinacin lineal de los vectores


(2,1), (1,0) y (1,2) R2?
Se nos pide estudiar si existe solucin para la ecuacin vectorial:
(2,1)+
2 5
5 2
5 24 2

(1,0)+(1,2)=(5,4)
2 4
4 2
4 2
3 3

.
4 2
Vemos que, en esta ocasin, el sistema tambin tiene solucin pero no es nica. En
efecto:
3
Si tomamos 2
, luego podemos expresar:
0
(5,4) 0(2,1) 3 (1,0) 2(1,2)
6
Pero si tomamos 3
, luego tambin podemos expresar:
2
(5,4) -2(2,1) 6(1,0) 3(1,2)
Tenemos, por tanto, tantas combinaciones lineales de los vectores dados que
proporcionan (5,4) como nmeros reales (R).

Puede expresarse el vector (1,0,3)R3 como combinacin lineal de los vectores


(1,1,0) y (1,0,1) R3?
Se nos pide estudiar si existe solucin para la ecuacin vectorial:
1 0 3 1 3 1 ! !

(1,1,0)+(1,0,1)=(1,0,3) 0
.
0
0
3
3
3

Vemos que, en este caso, el sistema no tiene solucin, luego el vector (1,0,3) no es
combinacin lineal de los vectores (1,1,0) y (1,0,1).
Se considera el espacio vectorial P(x) de los polinomios de una variable de grado
menor o igual a n, con coeficientes reales. Se puede expresar el polinomio 5x2-7x
como combinacin lineal de los polinomios 1+x2, 1-x, 2+x?

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Planteamos la ecuacin vectorial 5x 2 7 x (1 x 2 ) (1 x) ( 2 x) y resulta


5x 2 7 x x 2 ( ) x 2 igualando coeficientes:
5
5

7 3 . Existe solucin, la respuesta es s, se puede expresar como


4
0 2
combinacin lineal.

Expresar v (1, 1, x) como perteneciente al subespacio vectorial

a (1, 0, 2) y b (1,1,3) .


L a, b

siendo


Expresamos v (1,1, x) como combinacin lineal de los vectores a y b

v a b (1,0,2) (1,1,3)


Por tanto, v 2a b .

1
2

1 1
x 2 3
x 1

5. Dependencia e independencia lineal.


Definicin:

Sean a 1 ,..., a n vectores de V. Diremos que los vectores a 1 ,..., a n V son


linealmente dependientes, cuando existan los elementos 1 ,..., n K no todos nulos,

tales que 0 1a 1 ... n a n . Tambin se dice que constituyen un sistema ligado.

Ejemplo:

El sistema de vectores (2, 4), (3, 6) es ligado

Puesto que 0 1 (2,4) 2 ( 3,6) admite otras soluciones adems de la trivial,

en particular 0 (0,0) 3(2,4) 2( 3,6) .

Definicin:

Sean a 1 ,..., a n vectores de V. Diremos que los vectores a 1 ,..., a n V son


linealmente independientes, cuando no sean linealmente dependientes, es decir, cuando si

0 1a 1 ... n a n .se deduce obligatoriamente que i 0, i 1,..., n . Tambin se dice

que constituyen un sistema libre.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

Espacio vectorial

Ejemplo:

El sistema de vectores (1, 0), (1, 1) es libre.

Puesto que 0 1 (1,0) 2 (1,1) en solo admite la solucin trivial 1 2 0 .

Proposicin:

Los vectores a 1 ,..., a n son linealmente dependientes si y solo si uno de ellos es


combinacin lineal de los restantes.

Demostracin:
Consideremos que existe un vector que es combinacin lineal de los restantes.
Puede ser el primero sin perder generalidad,

a 1 tal que a 1 2 a 2 ... n a n , siendo 2 ,..., n K

0 a 1 2 a 2 ... n a n
obteniendo una combinacin lineal de los vectores igualada al vector nulo con al menos un

escalar, el primero -1, distinto de cero y por tanto los vectores a 1 ,..., a n son linealmente
dependientes.
Ahora supongamos que los vectores son linealmente dependientes luego, existe al

menos un escalar distinto de cero tal que 0 1a 1 ... n a n ,


supongamos que es 1 0 se puede multiplicar por el inverso de 1 la ecuacin vectorial

0 1a 1 ... n a n
resultando

0 11 1a 1 11 2 a 2 ... 11 n a n

y despejando

a 1 11 2 a 2 ... 11 n a n

se cumple que el vector a 1 es combinacin lineal de los restantes a 2 ,..., a n

El vector nulo que clase de sistema es?

Si consideramos un sistema formado por un vector a es evidente que forma un


sistema libre, pero el sistema 0 es tal que, 0 0 se cumple para cualquier valor de

, 10
. 0 luego es ligado. Todo subespacio vectorial es lgicamente un sistema ligado.


Ahora, si consideramos un sistema formado por dos vectores a , b es fcil observar

si son linealmente dependientes o independientes, puesto que si uno debe ser combinacin

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

10

Espacio vectorial

lineal del otro (en caso de ser el sistema ligado) necesariamente deben ser proporcionales;
geomtricamente significa que los vectores son de la misma direccin.

Ejemplo:
El sistema de vectores (2, 4), (3, 6) es ligado,

2
puesto que (2,4) ( 3,6)
3

Ejemplo:

El sistema de vectores (1, 0), (1, 1) es libre,


puesto que (1,0) (1,1),

Proposicin:

Sea H a 1 ,..., a n un sistema libre entonces todo subconjunto de H es libre.

Demostracin:
Por ser libre H no hay ningn vector que sea combinacin lineal de los restantes y
cualquier subconjunto de H cumple la misma condicin.
Proposicin:

Sea H a 1 ,..., a n un sistema ligado entonces todo conjunto que contenga a H es

ligado.

Demostracin:
Por ser ligado H existe, al menos; un vector combinacin lineal de los restantes y
cualquier conjunto que contenga a H, mantiene la combinacin lineal, en efecto,

si H es tal que a 1 2 a 2 ... n a n con a 1 ,..., a n , b 1 ,..., b m H

se tiene que a 1 2 a 2 ... n a n 0b 1 ...0b m .


Proposicin:
Cualquier sistema de vectores que contenga al vector nulo es ligado.
Demostracin:
Por la proposicin anterior y teniendo en cuenta que el vector nulo constituye un
sistema ligado.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

11

Espacio vectorial

Ejemplos:
Estudiar la dependencia lineal de los siguientes vectores de espacio vectorial R3

v1 (1, 0,1); v 2 (0, 2, 2); v3 (3, 7,1) .

Vamos a ver si la ecuacin vectorial tiene soluciones distintas de la trivial:

0 1 v 1 2 v 2 3 v 3 (0,0,0) 1 (1,0,1) 2 (0,2,2) 3 (3,7,1) la ecuacin es


1 3 3 0
1

equivalente al sistema homogneo 2 2 7 3 0 0

1 2 2 3 0
1
compatible determinado puesto que el rango de la matriz de
sistema slo admite la solucin trivial y los vectores

0 3 1 0

2 7 2 0 que es

2 1 3 0
los coeficientes es tres, el

v 1 , v 2 , v 3 son linealmente

independientes.
Estudiar la dependencia lineal de los siguientes vectores de espacio vectorial R3

u1 (2,3,1); u 2 (1, 0,1); u 3 (0,3, 1) .

Vamos a ver si la ecuacin vectorial tiene soluciones distintas de la trivial:

0 1 u 1 2 u 2 3 u 3 (0,0,0) 1 (2,3,1) 2 (1,0,1) 3 (0,3,1) la ecuacin es


equivalente al sistema homogneo
2 1 2 0

3 1 3 3 0
1 2 3 0

2 1 0 1 0

3 0 3 2 0

1 1 1 3 0

que es compatible indeterminado puesto que el rango de la matriz de los coeficientes es


dos menor que el nmero de incgnitas, el sistema admite soluciones distintas de la trivial;
existen dos vectores linealmente independientes y el otro es combinacin lineal de ellos

( u 1 2 u 2 u 3 ). Por tanto, el sistema es ligado.

Definicin:
El rango de un sistema de vectores es igual al nmero mximo de vectores
linealmente independientes que contiene.
Ejemplos:

En los ejemplos anteriores el rango de { v 1 , v 2 , v 3 } es tres y son los tres vectores

linealmente independientes y el rango de { u 1 , u 2 , u 3 } es dos, siendo dos el mayor nmero
de vectores linealmente independientes.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

12

Espacio vectorial

6. Espacios vectoriales de tipo finito


Definicin:

Sea H a 1 ,..., a n un subconjunto de V. Diremos que H es un sistema generador

de V si para todo vector v V existen 1 ,..., n K tal que v 1a 1 ... n a n .

Ejemplo:

El sistema H (1, 0), (1,1), (0,1) es generador del espacio vectorial R2.

En
efecto:
cualquier
vector
de
R2
se
puede
escribir

x ( x 1 , x 2 ) 1 (1,0) 2 (11
, ) 3 (0,1) puesto que una solucin puede ser
1 x1 x 2 ; 2 x 2 ; 3 0 .

Definicin:
Una base de un espacio vectorial V es un subconjunto de V que sea sistema
generador y libre.
Ejemplos:

El sistema B (1,0),(11
, ) es una base del espacio vectorial R2.

En efecto: B es libre pues son dos vectores linealmente independientes, al no ser


proporcionales y cualquier vector de R2 es combinacin lineal de los vectores de B,

x ( x 1 , x 2 ) (1,0) (11
, ) puesto que x 1 x 2 ; x 2 .
1 1
Tambin se puede comprobar usando el rango: r
2 luego B es libre y
0 1

1 1 x1

r
2 significa que el vector x ( x 1 , x 2 ) es combinacin lineal de los vectores
0 1 x2
de B.

Los

v1 (1, 0,1); v 2 (0, 2, 2); v3 (3, 7,1); v 4 (0,1, 0)

vectores

de

espacio

vectorial R3 son linealmente dependientes, luego no puede formar una base de R3.
Los vectores

v1 (1,0,1); v 2 (0,2,2)

de espacio vectorial R3 son linealmente

independientes, pero cualquier vector de R3 es combinacin lineal de los vectores de B si

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

13

Espacio vectorial

se

x ( x 1 , x 2 , x 3 ) (1,0,1) (0,2,2)

cumple

x 1 ; / 2 x 2 resulta la condicin x 3 x 1 x 2

x1

x 2 2
puesto que
x 2
3
que imposibilita a B como sistema

generador de R3 luego no puede formar una base de R3.

Ejemplo:

Estudiar si B= 1,1,1 , 1, 2,3 , 1, 0, 1 es base de R .


3

1 1 1 1
1 1 1 1 1

Estudiamos r 1 2 3 =r 0 1
2 =r 0 1 2 =2<n de vectores de B,
1 0 1 0 1 2 0 0 0

3
luego B no es libre y, por tanto no puede ser base de R .

Proposicin:
La expresin de cualquier vector de V respecto a una base de V es nica.
Demostracin:

Sea B e1 ,..., e n una base del espacio vectorial V. Por ser B base es libre y

sistema generador, por tanto, v V existen 1 ,..., n K tales que v 1 e1 ... n e n .

Ahora si los escalares 1 ,..., n , no son nicos existirn otros 1 ,..., n K tales que

v 1 e1 ... n e n
restando las dos expresiones del vector
v
queda

v v 1 e1 ... n e n 1 e1 ... n e n 0 ( 1 1 ) e1 ... ( n n ) e n . Utilizando que


los vectores de B son linealmente independientes resulta: 0 1 1 ... n n
1 1 ;...; n n .

Definicin:

Los escalares ( 1 ,..., n ) tales que v 1 e1 ... n e n son las coordenadas del

vector v respecto de la base B e1 ,..., e n del espacio vectorial V.


En consecuencia, fijada una base cualquiera B= u 1 , u 2 , , u n de V podemos establecer

la siguiente aplicacin:
V
K n

x 1 , 2 , , n tal que x 1 u 1 2 u 2 n u n

Esta aplicacin es obviamente biyectiva y adems verifica:

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

14

Espacio vectorial

0
(0,0, ,0)

x y 1 1 , 2 2 , , n n 1 , 2 , , n 1 , 2 , , n

x 1 , 2 , , n 1 , 2 , , n

siendo 1 , 2 , , n y 1 , 2 , , n las coordenadas respectivas de x e y respecto

de B. Diremos que los K-espacios vectoriales V y Kn son isomorfos.

Ejemplo:
Sabiendo que B= 1,1,1 , 0,1,1 , 0, 0,1 es una base de R3, hallar las coordenadas del
vector (3,1,0) respecto de B.
Buscamos los tres escalares que son la solucin nica de la ecuacin vectorial:
(3,1,0)=x(1,1,1)+y(0,1,1)+z(0,0,1)
3 x
x 3

.
La anterior ecuacin define el sistema 1 x y
y 1 x 1 3 2
0 x y z
z x y 3 2 1

Luego (3,-2,-1) son las coordenadas del vector (3,1,0)respecto de B, es decir:


(3,1,0)=3(1,1,1)-2(0,1,1)-1(0,0,1)

Observacin: Para identificar al vector v podemos utilizar la expresin analtica

v 1 e1 ... n e n , o sus coordenadas ( 1 ,..., n ) respecto de la base B, pudiendo escribir


1
.
dichas coordenadas mediante la matriz columna . Por ejemplo: si escribimos (1,0,0)
.
n

respecto de la base B e1 , e 2 , e 3 del espacio vectorial R3 estamos indicando al vector

e1 , puesto que: e1 1e1 0e 2 0e 3 1,0,0 , siendo los restantes vectores:

e 2 0e1 1e 2 0e 3 0,1,0 y e 3 0e1 0e 2 1e 3 0,0,1 . En general (1,0,...,0) indica


al primer vector de la base; (0,1,0,...,0) indica al segundo vector de la base y as
sucesivamente hasta el ltimo vector (0,...,0,1) del espacio vectorial V.

Definicin:
Llamaremos base cannica, Bc, a la base:

B c e 1 (1,0,...,0), e 2 (0,1,0,...,0),..., e n ( 0,0,...,0,1), del espacio vectorial V.

Definicin:

Los vectores 1 e1 ,...., n e n tales que v 1 e1 ... n e n son las componentes del

vector v respecto de la base B e1 ,..., e n del espacio vectorial V.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

15

Espacio vectorial

Proposicin:

Todo espacio vectorial V distinto del 0 tiene al menos una base.

Demostracin:
Por ser V un espacio vectorial de tipo finito, admite un sistema finito de

generadores G a1 ,..., a n .

Si G es libre, ya es base de V. Si a 1 ,..., a n no es libre, existe algn vector a i que

es combinacin lineal de los restantes, supongamos que es a n ,

El sistema a 1 ,..., a n 1 sigue siendo generador de V. si tambin es libre, ya es base. En

caso contrario, reiteramos el proceso, que si no es libre resulta ligado y uno de los vectores,

por ejemplo, a n 1 es combinacin lineal de los restantes; el proceso es finito por ser G
finito hasta obtener un sistema y generador libre y por consiguiente base o nicamente

queda a 1 0 y necesariamente base de V (V distinto del 0 ).

Corolario
Todo sistema generador contiene una base.
Proposicin:
Si V es un espacio vectorial generado por n vectores, entonces cualquier sistema
libre de V tiene como mucho n vectores.
Demostracin:

Sea a 1 ,..., a n un sistema generador del espacio vectorial V. Si b 1 ,..., b s es un


sistema libre de V. El conjunto de vectores a 1 ,..., a n , b 1 es ligado (ya que b 1 V y

a 1 ,..., a n es sistema generador de V) y la combinacin lineal 1a 1 ... n a n 1 b1 0

da lugar a la existencia de algn i 0 (no puede ser 1 b 1 0 con 1 0 ), por


consiguiente, podemos quitar un vector a i (por ejemplo a1 ) y queda a 2 ,..., a n , b 1 como


sistema generador del espacio vectorial V. Repitiendo el proceso resulta a 2 ,..., a n , b 1 , b 2


que es ligado, obtenindose el sistema generador a 3 ,..., a n , b 1 , b 2 .

As sucesivamente, llegaramos a:

Si n<s b 1 ,..., b n , b n 1 ,..., b s libre y b 1 ,..., b n

sera un sistema generador lo cual

es absurdo.
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

16

Espacio vectorial

Si n=s b 1 ,..., b n es libre y sistema generador, por tanto base de V.


Si s<n b 1 ,..., b s , a s1 ,..., a n sistema generador del espacio vectorial V.

Solamente es posible que s n , es decir todo sistema libre tiene como mucho n
vectores linealmente independientes.

Teorema de la base
Todas las bases de un espacio vectorial tienen el mismo nmero de vectores.
Demostracin:

Sean B u 1 ,..., u n y B' v 1 ,..., v m dos base de un mismo espacio vectorial V.

Por ser B y B bases son sistemas libres y sistemas generadores de V, aplicando la


proposicin anterior:
B es sistema generador y B es sistema libre m n .
B es sistema generador y B es sistema libre n m .
Como m n y n m n = m .

Definicin:
El nmero de elementos de cualquier base de un espacio vectorial se denomina
dimensin del espacio vectorial. Escribiremos dim(V).
Si B es una base de V, se tiene que dim(V) = cardinal de B.

Ejemplos:
En los espacios vectoriales R, R2, R3,...,Rn, Pn(x) y Mmxn las dimensiones son: 1, 2,
3,..., n, n+1, m.n respectivamente.

La dimensin del subespacio impropio 0 , por convenio, es cero y es el nico

espacio vectorial que no tiene base. Si F es un subespacio vectorial del espacio vectorial V,
entonces se cumple que:
dim( F) dim( V) .

Proposicin:
Sea H un sistema de vectores del espacio vectorial V, se cumple que r(H)=dim<H>.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

17

Espacio vectorial

Teorema
Si V un espacio vectorial de dimensin n y B conjunto de n vectores de V,
entonces, las afirmaciones siguientes son equivalentes:
1. B es una base de V.
2. B es un sistema generador de V.
3. B es un sistema libre.
Demostracin:
Por definicin de base si B es una base de V es un sistema generador de V.
Cuando B es sistema generador de V: r(B)=dim<B>=dim(V)=n y por tanto B es
libre.

Sea B= a 1 ,..., a n un sistema libre de n vectores del espacio vectorial V, falta


demostrar que H es un sistema generador de V.

Sea x V entonces

a 1 ,..., a n , x

es ligado por ser n el nmero mximo de


vectores linealmente independientes y por tanto 1a 1 ... n a n x 0 con algn i 0 ;
no puede ser 0 puesto que sino B no sera libre y por tanto 0 con lo cual

1 1a 1 ... 1 n a n x siendo B un sistema generador de V y al ser un sistema libre


resulta una base de V.

Teorema de la base incompleta

Sea V un espacio vectorial de dimensin n y sea a 1 ,..., a s con s <n un sistema

libre. Siempre pueden encontrarse n-s vectores de V, a s1 ,..., a n tales que el conjunto

a 1 ,..., a s , a s1 ,..., a n sea una base de V.

Demostracin:

Sea a 1 ,..., a s un sistema libre de V, luego existir al menos un elemento a s1 de


V tal que a 1 ,..., a s , a s1 es un sistema libre (si no fuera as sera s=n).

a s 2


Si a 1 ,..., a s , a s1 es un sistema libre de V, luego existir al menos un elemento


de V tal que a 1 ,..., a s , a s1 , a s 2 es un sistema libre (si no fuera as a 1 ,..., a s , a s1 es

una base y s+1=n).


Es evidente que el proceso anterior se acaba despus de n-s veces, siendo

a 1 ,..., a s , a s1 ,..., a n una base de V.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

18

Espacio vectorial

Corolario (prolongacin de la base)


Sea V un espacio vectorial de dimensin n y sea F un subespacio vectorial de V

siendo a 1 ,..., a s una base de F, se puede encontrar una base de V que contiene a los

vectores a 1 ,..., a s .
Proposicin:
El conjunto de todas las soluciones de un sistema de ecuaciones lineales
homogneas de m ecuaciones y n incgnitas es un subespacio vectorial del espacio
vectorial Kn, siendo la dimensin n menos el rango de la matriz de los coeficientes.
Demostracin:
a 11

..
Sea el sistema homogneo
..

a m1

.. .. a 1n x 1 0

.. .. .. .. ..

AX 0 . Si r(A)=r
.. .. .. .. ..

.. .. a mn x n 0

a 11 x 1 ... a 1r x r a 1r 1 x r 1 ...a 1n x n
....................................................
queda
quedando r ecuaciones y r incgnitas
....................................................
a r 1 x 1 ... a rr x r a rr 1 x r 1 ...a rn x n
linealmente independientes y por tanto n-r parmetros que indican la dimensin del
subespacio vectorial.

Ecuaciones de un subespacio vectorial


Un subespacio vectorial F de un espacio vectorial V queda identificado conocida
una base de F o unas ecuaciones paramtricas o por sus ecuaciones cartesianas. Siendo
posible pasar de unas ecuaciones a otras, obtener una base y determinar su dimensin.
Ejercicio:
Sea el subespacio vectorial F generado por los siguientes vectores de espacio vectorial

R3: u1 (2,3,1); u 2 (1, 0,1); u 3 (0,3, 1) . Se pide:

a) Dimensin y una base F.


b) Unas ecuaciones paramtricas de F.
c) Ecuaciones cartesianas o implcitas de F.
d) A partir de las ecuaciones cartesianas otras ecuaciones paramtricas distintas del
apartado anterior.
e) El vector (1,0,0) pertenece o no a F?
f) Una base del espacio vectorial R3 que contenga a los vectores de una base de F

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

19

Espacio vectorial

Solucin:



Se tiene que H u 1 ; u 2 ; u 3 es ligado y por tanto F H u 2 ; u 3 . Tenemos

que { u 2 ; u 3 } es una base del espacio vectorial F y su dimensin es 2, el cardinal de

a)

cualquier base.

b)

Veamos, unas ecuaciones paramtricas de V. Como x F V se tiene que

x1

x u 2 u 3 x 1 , x 2 , x 3 1,0,1 0,3,1 x 2 3 ,
x 3

bien,

0
x1
1



x 2 0 3 Ecuaciones paramtricas del subespacio vectorial F, pues dando



1
x3
1
valores a los parmetros , se obtiene las coordenadas de los vectores de F, siendo la
dimensin de F el nmero de parmetros linealmente independientes que tienen sus
ecuaciones paramtricas.

c)

Eliminando los parmetros obtenemos las ecuaciones cartesianas o implcitas de F.


x1
1 0

r ( H ) r 0 3 2 y por el teorema de Rouche-Frbenius r x 2

x3
1 1

x1
luego x 2
x3

3 2

1 1
1
0

1 0
0 3 0 3x 1 x 2 3x 3 0 es la ecuacin cartesiana o implcita que
1 1

identifica a F; las coordenadas de cualquier vector de F cumplen la ecuacin anterior.


Podemos observar que la dim F=dim V- nmero de ecuaciones linealmente
independientes. Cuando F=V no hay ecuaciones cartesianas.

d)
Se puede pasar de las ecuaciones cartesianas a las ecuaciones paramtricas,
simplemente resolviendo el sistema de ecuaciones. En nuestro caso, con una sola ecuacin
3x 1 x 2 3x 3 0 se despeja una incgnita x 2 3x 1 3x 3 quedando en funcin de las
x1

otras dos x 2 3 3 otras ecuaciones paramtricas de F.


x
3

e)
Las ecuaciones permiten saber que vectores son del subespacio vectorial F.
Sustituyendo las coordenadas en las ecuaciones -3.1+0+3.0=0, evidentemente no se
cumple, por tanto la respuesta es que 1,0,0 F .

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

20

Espacio vectorial


f) Ampliamos la base de F del apartado a) { u 2 ; u 3 } con el vector del apartado e) puesto

que no es de F y conseguimos { u 2 ; u 3 ;(1,0,0)} una base del espacio vectorial R3.

7. Cambio de base en un espacio vectorial


Sea V un K-e.v. de dim n y B= u1 , u 2 , , u n , B'= u'1 , u' 2 , , u' n dos bases de V tales

u 1 a 11 u '1 a 12 u ' 2 a 1n u ' n


u a u ' a u ' a u '

21 1
22 2
2n
n
Por ser u1 , u 2 , , u n V, pueden expresarse en
que: 2

u n a n1 u '1 a n 2 u ' 2 a nn u ' n


funcin de los vectores de la base B' y conocidas a i1 , a i 2 , , a in las coordenadas

de u i , i = 1, , n , respecto de B'.

Todo vector v V se puede expresar en funcin, tanto de los vectores de B como

de B'. Designemos por x 1 , x 2 , , x n y x '1 , x '2 , , x 'n las coordenadas del vector v

respecto de las bases B y B' respectivamente, entonces:



v x 1 u 1 x 2 u 2 x n u n = x '1 u '1 x ' 2 u ' 2 x ' n u ' n
Se trata de estudiar la relacin que existe entre las coordenadas x 1 , x 2 , , x n y

x'1 , x'2 , , x'n

para ello se sustituyen en la ecuacin anterior las expresiones analticas de

los vectores de la base B y obtenemos:

x 1 a 11 u'1 a 12 u' 2 a 1n u' n x 2 a 21 u'1 a 22 u' 2 a 2 n u' n


x n a n1 u'1 a n 2 u' 2 a nn u' n x '1 u '1 x ' 2 u ' 2 x ' n u ' n Operando en el primer
miembro resulta:

a11 x 1 a 21 x 2 a n1 x n u '1 a12 x 1 a 22 x 2 a n2 x n u ' 2

a1n x1 a 2 n x 2 a nn x n u ' n = x '1 u '1 x ' 2 u ' 2 x ' n u ' n

Identificando los coeficientes

de los vectores u' i , para cada i=1, , n , y puesto que la expresin de un vector respecto de
una misma base es nica, por consiguiente:
x '1 a 11 x 1 a 21 x 2 a n1 x n
x ' a x a x a x
2
12 1
22 2
n2 n

x ' n a 1n x 1 a 2 n x 2 a nn x n
Este sistema de ecuaciones se denomina ecuaciones del cambio de la base B a la
base B'.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

21

Espacio vectorial

Escrito en forma matricial


x '1 a 11

x ' 2 a 12


x ' n a 1n

a 21
a 22

a 2n

a n1 x 1

a n2 x 2


a nn x n

a 11 a 21 a n1
x '1
x1

a 12 a 22 a n2
x '2 x 2

, X
, P=
Si llamamos X '
, abreviadamente la




a
a
a

x
'
x

1
n
2
n
nn
n
n

ecuacin matricial anterior se escribe X ' PX , donde P es la matriz que define el cambio
de la base B a la base B'. Diremos que P es la matriz de paso de B a B.

Observaciones:
1. P tiene por columnas las coordenadas de los vectores de la base B respecto de la base B'
2. rango(P)=n, pues sus columnas son las coordenadas de los vectores de la base B, luego
P es una matriz regular (inversible) y por tanto P 0 .
3. Si P es la matriz de paso de B a B, entonces P 1 es la matriz de paso de B a B.
Ejemplo:
Sea B= 1,1,1 , 1,1, 0 , 1, 0, 0 una base de R3, hallar las ecuaciones de cambio de la
base B a la base cannica BC= 1, 0, 0 , 0,1, 0 , 0, 0,1 y viceversa.

a) Designemos por (x,y,z) y (xc,yc,zc) las coordenadas, respectivas, de un vector


cualquiera de R3 respecto de B y BC. Como las coordenadas de los vectores de la base
B vienen en funcin de los vectores de la base cannica BC, escribiremos directamente
la ecuacin matricial del cambio de la base B a la base cannica BC:
x c 1 1 1 x



y c 1 1 0 y ; X C =PX


z c 1 0 0 z
1 1 1

La matriz P= 1 1 0 tiene por columnas las coordenadas de los vectores de la base B

1 0 0
respecto de la base cannica BC.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

22

Espacio vectorial

b) La ecuacin matricial del cambio de la base BC a la base cannica B se obtiene


x 1 1 1

despejando en la ecuacin anterior: y 1 1 0


z 1 0 0
x 0 0 1 x c


y 0 1 1 y c


z 1 1 0 z c

xc

yc

zc

X=P -1 X C

0 0 1

La matriz P = 0 1 1 tiene por columnas las coordenadas de los vectores de la

1 1 0
-1

base BC respecto de la base B.

Ejemplo:


Sean B= u1 , u 2 , u 3 y B= u '1 , u '2 , u '3 dos bases de R3, siendo:

u1 2,1, 0 , u 2 1, 0,1 , u 3 0,1, 2 ; u '1 0,1,1 , u '2 1, 0, 0 , u '3 2, 0,1

Se piden las ecuaciones de cambio de la base B a la base B y viceversa.


Realizaremos el ejercicio por dos procedimientos diferentes:

1er Procedimiento
Dado que los vectores de las bases B y B estn en funcin de la base cannica BC,
podemos escribir directamente las ecuaciones matriciales de cambio de la base B a la base
BC, y de la base B a la base BC.
Designemos por (x,y,z) , (x,y,z) y (xc,yc,zc) las coordenadas, respectivas, de un vector
cualquiera de R3 respecto de B, B y BC . As tenemos:
x c 2 1 0 x


y c 1 0 1 y Ecuacin matricial del cambio de B en BC


z c 0 1 2 z
x c 0 1 2 x '


y c 1 0 0 y ' Ecuacin matricial del cambio de B en BC


z c 1 0 1 z '
2 1 0 x 0 1 2 x '



Igualando ambas expresiones: 1 0 1 y = 1 0 0 y ' .



0 1 2 z 1 0 1 z '
Despejando sucesivamente se obtienen las ecuaciones pedidas:

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

23

Espacio vectorial

a) Ecuacin matricial del cambio de B en B


x' 0 1 2


y' = 1 0 0


z' 1 0 1

2 1 0 x
x' 1 0 1 x




1 0 1 y y' 4 3 6 y




0 1 2 z
z' 1 1 3 z

b) La ecuacin matricial del cambio de B en B


x 2 1 0


y = 1 0 1


z 0 1 2

x
0 1 2 x'


1 0 0 y' y


z
1 0 1 z'

3 1

43 41

2
2
1
1

4
4

4 x'
1
y'
2
3 z'

4

2 Procedimiento
a) Para hallar la ecuacin matricial del cambio de base de B en B obtenemos,
previamente, las coordenadas de los vectores de la base B en funcin de los
vectores de la base B.
2 2
2 2 4

2,1,0 0,1,1 1,0,0 2,0,1 1


1

0
1

u 1 1,4,1B'
1 2
1 2 3

1,0,1 0,1,1 1,0,0 2,0,1 0


0

1
1

u 2 0,3,1B'
0 2
2 6

0,1,2 0,1,1 1,0,0 2,0,1 1


1

2
2 3

u 3 1,6,3 B'

x' 1 0 1 x


Luego y' 4 3 6 y


z' 1 1 3 z
b) La ecuacin matricial del cambio de B en B se obtiene despejando en la anterior:
3
3 1

1
4 x'
0
1 x'
x 4 4
x 1



3
1
1
y = 4 3 6 y' y 2 2 2 y'



z 1
z 1 1 3 z'
1
3 z'

4
4
4

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

24

Espacio vectorial

8. Interseccin y suma de subespacios vectoriales


Teorema
Sean E1 y E2 dos subespacios vectoriales del espacio vectorial V, entonces E 1 E 2
es un subespacio vectorial del espacio vectorial V.
Demostracin:

E 1 E 2 x V / x E 1 y x E 2 . Sabiendo que E1 y E2 son subespacios

vectoriales y se cumplen la caracterizacin de subespacios. Primeramente E 1 E 2 V y


luego:

a , b E

b
E1
1
E1subesp .

, K, a , b E 1 E 2
y
y

a , b E

a b E 2
2

E 2 subesp .

a b E 1 E 2 .

Por tanto, la interseccin de subespacios es otro subespacio, sin embargo la unin

E 1 E 2 x V / x E 1 o x E 2 no es un subespacio vectorial del espacio vectorial V.

Contraejemplo:




Sean E 1 x y E 2 y entonces x y E 1 E 2 ya que x y E 1 y x y E 2 .
Obsrvese que los subespacios son proporcionales a un vector y la suma no es
proporcionar a ninguno de los dos. La unin no es un subespacio vectorial, pero todo
sistema de vectores genera un subespacio vectorial que contiene a todas las combinaciones
lineales posibles de vectores del sistema.

Definicin:
Sean E1 y E2 dos subespacios vectoriales del espacio vectorial V. Llamaremos
suma de E1 y E2 al subespacio vectorial generado por E 1 E 2 .

E 1 E 2 E 1 E 2
Proposicin:

Se cumple que E 1 E 2 E 1 E 2 x V / x x 1 x 2 , x 1 E 1 y x 2 E 2 .

Demostracin:
En efecto:


Si E 1 a 1 ,..., a r y E 2 b 1 ,..., b s entonces E 1 E 2 a 1 ,..., a r , b 1 ,..., b s .

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

25

Espacio vectorial


x E 1 E 2 x 1a 1 ... r a r 1 b 1 ... s b s x1 x 2 con x 1 E 1 y x 2 E 2

x1

x2

luego
E1 E 2 x V / x x 1 x 2 , x 1 E 1 y x 2 E 2
y
obviamente

E1 E 2 x V / x x 1 x 2 , x 1 E 1 y x 2 E 2 cumplindose la igualdad.

Definicin:
Sean E1 y E2 dos subespacios vectoriales del espacio vectorial V. Llamaremos

suma directa de E1 y E2 a la suma cuando E 1 E 2 0 y se escribe E 1 E 2 .

Proposicin:
La suma de dos subespacios E1 E 2 es suma directa si y slo si existen dos nicos

vectores x 1 E 1 y x 2 E 2 tales que x x 1 x 2 .


Demostracin:

Sabemos que E 1 E 2 E 1 E 2 x V / x x 1 x 2 , x 1 E 1 y x 2 E 2 ,

luego x x 1 x 2 , x 1 E 1 y x 2 E 2 .


Si adems existieran y 1 E 1 , y 2 E 2 tales que x y 1 y 2 ,

entonces x x 1 x 2 y1 y 2 x 1 x 2 y1 y 2 0 x 1 y1 x 2 y 2
E1

se tiene que x 1 y 1 x 2 y 2 E 1 E 2

E 2

x1 y1 0 x1 y1

y como E 1 E 2 0 resulta

x 2 y 2 0 x 2 y 2

Recprocamente, veremos que E 1 E 2 0 , si x E1 E 2 x E1 y x E 2




siendo x x 0 0 x dos formas de descomposicin del vector, salvo que x 0 .

Definicin:
Sean E1 y E2 dos subespacios vectoriales del espacio vectorial V. Si se cumple
E 1 E 2 V , diremos que E1 y E2 son subespacios suplementarios, en cuyo caso se

verifican las dos condiciones siguientes: E 1 E 2 V y E 1 E 2 0 .

Cuando E1 y E2 son subespacios suplementarios y es x x 1 x 2 se dice que x 1 es

la proyeccin de x sobre E1 y x 2 es la proyeccin de x sobre E2

Ejemplo:
El plano vectorial R2 puede escribirse como suma directa de dos rectas vectoriales
(subespacios de dimensin uno) no coincidentes.
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

26

Espacio vectorial

Ejemplo:
El espacio vectorial R3 puede escribirse como suma directa de una recta vectoriales
(subespacio vectorial de dimensin uno) y un plano vectorial (subespacio vectorial de
dimensin 2) cuyo nico vector comn sea el vector nulo.
Teorema
Sean B1 y B2 dos bases de los subespacios vectoriales E1 y E2, respectivamente, del
espacio vectorial V. La suma E 1 E 2 es directa si y solo si se verifican las dos
condiciones siguientes:
i) B1 B 2 .
ii) B1 B 2 es un sistema libre de V.
Siendo B1 B 2 una base de E 1 E 2 .

Demostracin

Supongamos que E 1 E 2 , es decir, E 1 E 2 0 . Veamos que i) B1 B2 .

x B1 E 1


Si x B1 B 2
x E 1 E 2 0 x 0 absurdo, ya que el vector
x B 2 E 2
nulo no puede pertenecer a ninguna base.

Ahora, la segunda condicin ii) B1 B2 es un sistema libre de V.

B1 a 1 ,..., a r
y
B 2 b 1 ,..., b s
la
ecuacin
vectorial
Sean

1a 1 ... r a r 1 b 1 ... s b s 0 1a 1 ... r a r 1 b 1 ... s b s y como antes

E1

E 2

E1

1a 1 ... r a r 0 1 ... r 0
B1libre

E1 E 2 0

b ... b 0 ... 0
s s
1
s
1 1
B2 libre

B1 B 2 a 1 ,..., a r , b 1 ,..., b s es libre.

E 2

Si se cumplen las dos condiciones i) y ii) entonces x E 1 E 2

x E 1 x 1a 1 ... r a r

x x 1a 1 ... r a r 1 b 1 ... s b s 0

x E 2 x 1 b 1 ... s b s


1 ... r 1 ... s 0 x 0 . Luego E 1 E 2 0 , es decir E 1 E 2 es suma
ii )

directa.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

27

Espacio vectorial

Proposicin:
Sean E1 y E2 dos subespacios vectoriales del espacio vectorial V. Se cumple que:
dim( E 1 ) dim( E 2 ) dim( E 1 E 2 ) dim( E 1 E 2 )
Demostracin:

Sea B e1 ,..., e k una base de E 1 E 2 ; completamos la base hasta obtener una


base B1 e1 ,..., e k , a k 1 ,..., a r de E1, y otra B 2 e1 ,..., e k , b k 1 ,..., b s de E2. Ahora



B1 B 2 e1 ,..., e k , a k 1 ,..., a r , b k 1 ,..., b s
es
tal
que

1 e1 ... k e k k 1a k 1 ... r a r k 1 b k 1 ... s b s 0

1 e1 ... k e k k 1a k 1 ... r a r k 1 b k 1 ... s b s , resulta k 1 b k 1 ... s b s un

E1

vector de E 1 E 2

E 2

cuya base es B e1 ,..., e k , por tanto k 1 ... s 0 quedando

1 e1 ... k e k k 1a k 1 ... r a r 0 siendo B1 e1 ,..., e k , a k 1 ,..., a r base de E1, y


Queda
demostrado
que
consiguiente,
1 ... k k 1 ... r 0 .

B1 B 2 e1 ,..., e k , a k 1 ,..., a r , b k 1 ,..., b s es una base de E1+E2 con la siguiente

por

dimensin.
dim(E1+E2) = r+s-k = dim( E 1 ) dim( E 2 ) dim( E 1 E 2 )
dim( E 1 ) dim( E 2 ) dim( E 1 E 2 ) dim( E 1 E 2 )

Corolario:

Si E 1 E 2 0 dim( E 1 E 2 ) dim( E 1 ) dim( E 2 )

Teorema
Todo subespacio vectorial F de un espacio vectorial V de dimensin n admite, al
menos un subespacio suplementario F de V. Adems si dim(F)=p, entonces dim(F)=n-p.
Definicin:
Se dice que un subespacio vectorial H del espacio vectorial V es un hiperplano si y
solo si dim(H)=dim(V)-1.
En consecuencia, todo subespacio vectorial suplementario de un hiperplano tiene
dimensin uno.

Ejemplo:
El plano vectorial R2 el hiperplano ser cualquier recta vectorial.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

28

Espacio vectorial

Ejemplo:
El espacio vectorial R3 el hiperplano ser cualquier plano vectorial.
Ejemplo:
Sean
los
subespacios
vectorial
F=<(1,0,1),(1,0,-1),(2,0,0)>
y
3
G=<(2,3,1),(1,0,1),(0,3,-1),(3,6,1)> del espacio vectorial R . Se pide: bases, ecuaciones
paramtricas y ecuaciones cartesianas de los subespacios F+G y F G .

Solucin:
1 1 2

Determinemos los subespacios F y G: el r 0 0 0 2 y una base

1 1 0
2
1
x1



B F (1,0,1),(2,0,0) dando lugar a las ecuaciones paramtricas x 2 0 0 y



0
1
x3
x1
eliminando los parmetros x 2
x3

1 2
0 0 0 x2 0 .
1 0

2 1 0 3

El r 3 0 3 6 2 y una base B G (1,0,1),(0,3,1) dando lugar a las

1 1 1 1
ecuaciones
x1
x2
x3

paramtricas

0
1
x1



x 2 0 3



1
1
x3

eliminando

los

parmetros

1 0
0 3 0 3x 1 x 2 3x 3 0 .
1 1

Para obtener el subespacio interseccin F G slo necesitamos juntar las


ecuaciones
cartesianas
de
ambos
subespacios

x1
x2 0

x2 0

x 2 0 con una posible base B FG (1,0,1) y

3x 1 x 2 3x 3 0 x 1 x 3
x
3

dim( F G )=1.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

29

Espacio vectorial

En el caso del subespacio suma F+G juntamos los vectores de las bases y quitamos
los vectores que sean linealmente dependientes: B F B G (1,0,1),(2,0,0),(0,3,1) y el
1 2 0

rango r 0 0 3 3 resultando dim(F+G)=3 y, por tanto, F+G=R3 con las ecuaciones

1 0 1
paramtricas

0
2
1
x1




x 2 0 0 3




1
0
1
x3

o ms sencillamente

x1 1

x 2 2 , pero,
x
3
3

evidentemente no tiene ecuaciones cartesianas, ya que es el espacio vectorial R3.

U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa

30

También podría gustarte