Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Espacios Vectoriales
Espacios Vectoriales
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
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
Espacio vectorial
[A5] (a b) a b para cualquier K y cualesquiera a , b V .
[A8] El elemento unidad del cuerpo K, que designaremos por 1, verifica 1 a a
para cualquier a V .
Espacio vectorial
1. 0a 0 para cualquier a V .
Demostracin
Podemos escribir 0 (0 0) 0 0 0 0 .
3. a 0 0, o bien, a 0 .
Demostracin
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
Demostracin
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
Demostracin
a ( (a )) a (a ) a a
Espacio vectorial
8. Si a a , siendo a 0 .
Demostracin
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
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
1 en la condicin ii).
[A4]: Conmutativa por ser + conmutativa en V.
Espacio vectorial
a b F para cualesquiera escalares , K y cualesquiera vectores a,b F .
El subconjunto
x, y, 0 siendo x, y R
Espacio vectorial
Definicin:
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
v V / v 1a 1 ... n a n , i K , i 1,..., n
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:
(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)
Espacio vectorial
(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).
(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?
Espacio 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
Ejemplo:
Definicin:
Espacio vectorial
Ejemplo:
Proposicin:
Demostracin:
Consideremos que existe un vector que es combinacin lineal de los restantes.
Puede ser el primero sin perder generalidad,
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
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
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
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:
Proposicin:
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:
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,
11
Espacio vectorial
Ejemplos:
Estudiar la dependencia lineal de los siguientes vectores de espacio vectorial R3
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
3 1 3 3 0
1 2 3 0
2 1 0 1 0
3 0 3 2 0
1 1 1 3 0
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.
12
Espacio vectorial
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.
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
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)
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
Ejemplo:
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
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
Definicin:
Los escalares ( 1 ,..., n ) tales que v 1 e1 ... n e n son las coordenadas del
la siguiente aplicacin:
V
K n
x 1 , 2 , , n tal que x 1 u 1 2 u 2 n u n
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
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
Definicin:
Llamaremos base cannica, Bc, a la base:
Definicin:
Los vectores 1 e1 ,...., n e n tales que v 1 e1 ... n e n son las componentes del
15
Espacio vectorial
Proposicin:
Demostracin:
Por ser V un espacio vectorial de tipo finito, admite un sistema finito de
generadores G a1 ,..., a n .
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
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:
sistema libre de V. El conjunto de vectores a 1 ,..., a n , b 1 es ligado (ya que b 1 V y
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:
es absurdo.
U. D. de Matemticas. ETSI en Topografa, Geodesia y Cartografa
16
Espacio vectorial
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:
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.
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>.
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 x V entonces
a 1 ,..., a n , x
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
libre. Siempre pueden encontrarse n-s vectores de V, a s1 ,..., a n tales que el conjunto
Demostracin:
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
18
Espacio vectorial
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.
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)
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)
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
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
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 .
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.
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
21 1
22 2
2n
n
Por ser u1 , u 2 , , u n V, pueden expresarse en
que: 2
de u i , i = 1, , n , respecto de B'.
de B'. Designemos por x 1 , x 2 , , x n y x '1 , x '2 , , x 'n las coordenadas del vector v
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 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:
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'.
21
Espacio vectorial
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.
y c 1 1 0 y ; X C =PX
z c 1 0 0 z
1 1 1
1 0 0
respecto de la base cannica BC.
22
Espacio vectorial
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
1 1 0
-1
Ejemplo:
Sean B= u1 , u 2 , u 3 y B= u '1 , u '2 , u '3 dos bases de R3, siendo:
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:
23
Espacio vectorial
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
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
0
1
u 1 1,4,1B'
1 2
1 2 3
1
1
u 2 0,3,1B'
0 2
2 6
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
24
Espacio vectorial
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 .
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 .
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
Proposicin:
La suma de dos subespacios E1 E 2 es suma directa si y slo si existen dos nicos
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
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
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
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.
B1 a 1 ,..., a r
y
B 2 b 1 ,..., b s
la
ecuacin
vectorial
Sean
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
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.
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:
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
E1
vector de E 1 E 2
E 2
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:
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.
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
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
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
x1
x2 0
x2 0
3x 1 x 2 3x 3 0 x 1 x 3
x
3
dim( F G )=1.
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
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
30