Algebra Lineal

ESPACIOS VECTORIALES ING.
CARLOS GARCIA CORTEGANO

1

INTRODUCCION
A LOS
ESPACIOS
VECTORIALES

ING. CARLOS GARCIA CORTEGANO

ESPACIOS VECTORIALES ING. CARLOS GARCIA CORTEGANO
2

PROLOGO
Espacios Vectoriales es una parte importante del curso de lgebra lineal que es uno de los ms
tiles que toman los estudiantes en muchas disciplinas. Es el primer curso en el que los
conceptos tienen al menos tanta importancia como los clculos, y en el que las aplicaciones
motivan y entrenan la mente.

Las aplicaciones de lgebra lineal en la ciencia y en la vida real son numerosas. Las soluciones
de muchos problemas de fsica, ingeniera biologa, qumica, grficas computarizadas,
procesamiento de imgenes, economa y sociologa requieren de mtodos de lgebra lineal.
Tambin requieren las principales ramas de las matemticas modernas.

En el presente trabajo se estudia temas referentes a espacios vectoriales, subespacios
vectoriales, combinaciones lineales, independencia y dependencia lineal, generadores, base de
un espacio vectorial, dimensin de un espacio vectorial, dimensin de suma, dimensin de suma
directa, rango , nulidad, espacio de los renglones y espacio de las columnas de una matriz ,
cambio de base y problemas resueltos.

La lectura del presente trabajo requiere de los conocimientos bsicos de un curso de Geometra
analtica, anlisis matricial y vectorial as como clculo infinitesimal. Los temas expuestos en
esta obra es con la mayor claridad posible.

3

INDICE

PROLOGO
CONTENIDO PAGINA
1. Espacios vectoriales.
1.1. Axiomas del espacio vectorial.
1.2. Ejemplos..
1.3. Interpretacin geomtrica.
1.4. Propiedad de los espacios vectoriales..
1.5. Espacios vectoriales de funciones..
1.6. Espacios vectoriales de Matrices.
2. Subespacio Vectorial..
2.1. Operaciones con subespacios..
2.2. Problemas resueltos
3. Combinacin Lineal..
3.1. Problemas Resueltos
4. Generador
4.1. Problemas Resueltos..
5. Dependencia e independencia lineal..
5.1. Interpretacin geomtrica..
6. Bases de un espacio vectorial..
7. Dimensin de un espacio vectorial.
7.1. Problemas Resueltos
8. Dimensin de una suma..
9. Dimensin de una suma directa..
9.1. Problemas Resueltos.
10. Rango, Nulidad, Espacio de los renglones y espacio
de las columnas de una matriz
11. Vectores de Coordenadas y cambio de base
12. Cuestiones Tericas
13. Solucin de problemas de espacios
Vectoriales utilizando el software Derive..
4

1. ESPACIOS VECTORIALES

DEFINICION
Un espacio vectorial real V es un conjunto de objetos, llamados vectores, junto con dos
operaciones llamadas suma (denotada por y x + ) y multiplicacin por un escalar (denotada por
x ) que satisfacen los siguientes axiomas:

1.1 AXIOMAS DEL ESPACIO VECTORIAL
i. Si V x y V y , entonces V y x + (cerradura bajo la suma).
ii. Para toda x, y y z en z) (y x z y) (x V, + + = + + (ley asociativa de la suma de vectores).
iii. Existe un vector V 0 tal que para toda x x 0 0 x V, x = + = +
(0 es el idntico aditivo).
iv. Si V x , existe un vector x en V tal que 0 (-x) x = +
(-x se llama el inverso aditivo de x).
v. Si x y y estn en V , entonces x y y x + = + (ley conmutativa de la suma de
vectores).
vi. Si V x y es un escalar, entonces V x . (cerradura bajo la multiplicacin por un
escalar).
vii. Si x y y estn en V y es un escalar, entonces y x y) (x + = + . (primera ley
distributiva).
viii. Si V x y y son escalares, entonces ( ) x x x + = + . (segunda ley
distributiva).
ix. Si V x y y son escalares, entonces ( ) x x = . (ley asociativa de la
multiplicacin por un escalar).
x. Para todo vector x 1x V, x vector todo Para = . (el escalar 1 se llama idntico
multiplicativo).
1.2 EJEMPLOS
El espacio ( ) R x : x ,..., x , x { R
i n 2 1
n
= para n}. 1,2,..., i =
El espacio { P
n
= polinomios de grado menor que o igual a n}.
El espacio [ ] { b a, C = funciones reales continuas en el intervalo [ ]}. b a,
El espacio { M
mn
= matrices de m x n con coeficientes reales }.
El espacio ( ) C c : c ,..., c , c { C
i n 2 1
n
= para n} 1,2,..., i = . C denota el conjunto de los
nmeros complejos.
5
1.3 INTERPRETACION GEOMETRICA
1). En el espacio vectorial V = R
2
.
Dos vectores v
1
y v
2
son espacios vectoriales si y solo si son paralelos.
Ejemplos: v
1
=(1,-2) y v
2
= (2, -4) son linealmente independientes porque: v
2
=2 v
1
o lo que es equivalente : v
2
2v
1
=(0,0).
2). En R
3
.
Tres vectores en R
3
son espacios vectoriales si y solo si son coplanares (estn en el mismo
plano).
Ejemplos 1
Los vectores v
1
= (1,1,1) , v
2
= (0,1,-1) y v
3
= (2,-1,5) son coplanares por lo tanto son espacios
vectoriales.
OBSERVACION
1. Los elementos de V se llaman vectores y los elementos de K se llaman escalares.
2. Como V esta definido sobre los elementos de K , se dice que V es un K espacio
vectorial.
3. Si K = R , V se llama espacio vectorial real.
4. Si K =C , V se llama espacio vectorial complejo.
1.4 PROPIEDADES DE LOS ESPACIOS VECTORIALES
Sea (V,+,R, .) un espacio vectorial, entonces se tiene:
1). El elemento del axioma (iii) es nico.
Demostracin.
Supongamos V v u, , u u ' que tal V ' = == = + ++ +
Por propiedad A3 tenemos que: V u , u u = +
Se cumple que:
)
`
= +
= +
'
' '
pues V ' , son elementos neutros de V.
Y por la propiedad conmutativa se cumple: ' ' ' ' = = + = + =
Por lo tanto " " es nico.
2).El producto del escalar 0 por cualquier vector es el vector nulo, es decir:
0.u tiene se V u =
Demostracin.
. 0.u donde de 0.u : tanto lo por , u) ( u u)) ( (u 0.u
: tenemos asociativa propiedad la por , u) ( u u) ( u) (0.u
: tenemos miembro cada a u) sumando( ; u 1.u 1)u (0 1.u 0.u u 0.u
= = + + = + +
+ = + +
= = + = + = +

6
3.)
0 x o 0, x Si : decir es nulo es vector el o "0" es escalar
el entonces nulo vector un es vector un por escalar un de producto el Si
= = =

Demostracin
I caso
0 x
que puesto 0 entonces in contradicc una es cual lo
x 1.x x )
1
(

1
x) (
1
0 x Si
k 1
1
0 si efecto En
0 0 x y x que Suponiendo
=
= = =
=
=

= =

II caso
x 0 1.x 0 x ) .
1
(
1
) x (
1
1
0 si efecto en
0 x x y 0 que Suponiendo
= = =

= =

4. El opuesto de cualquier escalar por un vector es igual al opuesto de su producto es decir
si ) x = ( )x ( V, x , k .
Demostracin.
Teniendo en cuenta los axiomas iv y x Se obtiene.
x) x tanto lo por
)x ( x) ( x x ) x x) (
x ) ( 0.x x x) (
=
= + = +
+ = = = +
( ) (
(

1.5 ESPACIO VECTORIAL DE FUNCIONES
Al conjunto de todas las funciones f con dominio un conjunto X y rango un cuerpo K ,
denotaremos por K
X
, es decir : { } K X : f / f K
X
= un elemento que pertenece a K
X

es una funcin K X : f ahora en K
X
definimos la suma de funciones y el producto de
un escalar por funciones .
X x , f(x) (x) f) ( : que tal es K X : f entonces , K f y K Si ii)
X x g(x), f(x) (x) g) (f que estal K X : g f entonces K g f, Si i)
X
X
=
+ = + +

Luego el conjunto (K
X
, +, K , .) , provista de dos operaciones suma (+ ) y producto (. ) es un
espacio vectorial sobre K .

7
CASOS PARTICULARES { } K X : f / f K
X
=
{ {{ { } }} }
[ [[ [ ] ]] ] [ [[ [ ] ]] ] { {{ { } }} }
{ {{ { } }} }
R. sobre vectorial espacio
continua es R R : f / f K entonces continua, es f , R K , R X iii)
R sobre vectorial
espacio R b a, : f / f K R K y b a, X Si ii)
R sobre vectorial espacio R R : f / f K R K y R X Si i)
X
X
X
= == = = == = = == =
= == = = == = = == =
= == = = == = = == =

1.6 ESPACIO VECTORIAL DE MATRICES m x n
a) Definicin. Sean m ,n enteros positivos fijos { } n j 1 , m i 1 / ) j i, ( X = donde i ,j
son enteros y sea K = R ,
{ {{ { } }} } K X : f / f K
X
= == =

Si K X : f K f
X

R sobre mxn orden de matriz una es f ; f ) j , i f( ) j i (
j i
=
Casos Particulares: m = 3 , n = 2 entonces
{ }
{ } ) 3,2 ( , ) 3,1 ( , ) 2,2 ( , ) 2,1 ( , ) 1,2 ( , ) 1,1 ( X
enteros j , i 2 j 1 , 3 i 1 / ) j , i ( X
=
=

32
31
22
1 2
12
1 1
X
f ) (3,2 f 3,2) (
f ) 3,1 ( f ) 3,1 (
f ) (2,2 f ) 2,2 (
f ) 2,1 ( f ) 2,1 (
f ) 1,2 ( f ) 1,2 (
f 1,1) f( ) 1,1 (
K X : f K f Si
=
=
=
=
=
=

Luego se tiene:
3x2
33 32 31
23 22 21
13 12 11
f f f
f f f
f f f
f
=
Ahora para:
=
mn m2 m1
2n 22 21
1n 12 11
f ... f f
. . . .
. . . .
. . . .
f ... f f
f ... f f
f : tiene se n j 1 y m i 1

b) Igualdad de Matrices. Sea f, g
X
K , entonces:
8

=
mn m2 m1
2n 22 21
1n 12 11
mn m2 m1
2n 22 21
1n 12 11
g ... g g
. ... . .
. ... . .
. ... . .
g ... g g
g ... g g
g ,
f ... f f
. ... . .
. ... . .
. ... . .
f ... f f
f ... f f
f

mn mn 12 12 11 11
ij ij
g f ..., , g f , g f : decir es
n j 1 , m i 1 , g f g f
= = =
= =

c) Suma de Matrices:

+ + +
+ + +
+ + +
= +
mn mn m2 m2 m1 m1
2n 2n 22 22 21 21
1n 1n 12 12 11 11
g f ... g f g f
. . .
. . .
. . .
g f ... g f g f
g f ... g f g f
g f

d) Multiplicacin de un Escalar por una Matriz.
entonces R K y K f Sean
X
=

=
mn m2 m1
2n 22 21
1n 12 11
f ... f f
. . .
. . .
. . .
f ... f f
f ... f f
f
Luego el conjunto de todas las matrices de orden m x n sobre K =R denotado por
K
X
= R
mxn
est provisto de operaciones de suma (+ ) y producto (. ) .

2. SUBESPACIO VECTORIAL

DEFINICION
Sea H un subconjunto no vaco de un espacio vectorial V y suponga que H es en si un espacio
vectorial bajo las operaciones de suma y multiplicacin por un escalar definidas en V.
Entonces se dice que H es un subespacio de V.

TEOREMA 1. Un subespacio no vaco H de un espacio vectorial V es un subespacio de V
si se cumplen las dos reglas de cerradura:
9

Regla de Cerradura para ver si un subconjunto no vaco es un subespacio
i) Si H x y H y , entonces H. y x +
ii) Si H x , entonces H x para cada escalar .

Un subespacio propio de un espacio vectorial V es un subespacio de V
diferente de {0} y de V.
Este teorema demuestra que para probar si H es o no es un subespacio de V , es suficiente
verificar que :
X + Y y X estn en H cuando X y Y estn en H y es un escalar

Nota: Todo subespacio de un espacio vectorial V contiene al 0
Este hecho con frecuencia facilitara ver si un subconjunto de V en particular no es un
subespacio de V. Es decir, si un subconjunto no contiene al 0 , entonces no es un subespacio.
Note que el vector cero en H, un subespacio de V, es el mismo que el vector cero en V.
EJEMPLO 1. El subespacio trivial. Para cualquier espacio vectorial V , el subconjunto { } 0
que consiste en el vector cero nada ms es un subespacio ya que 0+0= 0 y 0 = 0 para todo
nmero real . Esto se llama subespacio trivial.
EJEMPLO 2. Un espacio vectorial es un subespacio en s mismo Para cada espacio
vectorial V , V es un subespacio de s mismo.
Subespacios Propios . Los primeros dos ejemplos muestran que todo espacio vectorial V
contienen dos Subespacios , { } 0 y V ( que coinciden si V = { } 0 ). Es ms interesante encontrar
otros Subespacios . Los Subespacios distintos a { } 0 y V se llaman Subespacios propios.
EJEMPLO 3. Un subespacio propio de R
2
. Sea { } mx y : ) y x, ( H = = si H es un
subespacio de R
2
, se ver que si es cualquier subespacio propio de R
2
, entonces H consiste
en el conjunto de puntos que estn sobre la una recta que pasa por el origen ; es decir, un
conjunto de puntos que est sobre una recta que pasa por el origen es el nico tipo de
subespacio propio de R
2
.
EJEMPLO 4. Otro subespacio propio de R
3
. Sean
{ } reales t c, b, a, ; t c z , t b y , t a x : ) z y, x, ( H = = = = . Entonces H consiste en los
vectores en R
3
que estn sobre una recta que pasan por el origen . Para ver si H es un
subespacio de R
3
, sea : H ) t c , t b , t a ( y y H ) t c , t b , t a ( x
2 2 2 1 1 1
= = .
Entonces:
10
[ ]
[ ] H ) t ( c , ) t ( b , ) t ( a x
H ) t t ( c , ) t t b( , ) t t a( y x
3 2 1
2 1 2 1 2 1
=
+ + + = +
:
As H es un subespacio de R
3

2.1 OPERACIONES CON SUBESPACIOS VECTORIALES
Si H
1
y H
2
son subespacios vectoriales de V, entonces:
1. H
1
U H
2
en general no es un subespacio vectorial.
2. H
1
H
2
y H
1
+ H
2
son subespacios vectoriales de V.
3. Si H = H
1
+ H
2
con H
1
H
2
= { 0 }, entonces se dice que H es suma directa de H
1
y H
2
y
se denota por H =
2 1
H H .
Obviamente, H =
2 1
H H . Es un subespacio vectorial de V.
EJEMPLOS 1.
Dado los subespacios vectoriales de R
3
.
( (( ( ) )) ) { {{ { } }} }
( (( ( ) )) ) { {{ { } }} } 0 z y / z , y , x W
0 y x / z , y , x W
3
2
3
1
= == = = == =
= == = + ++ + = == =

Se pide:
a) Calcular
2 1 2 1 2 1
W W y W W , W W + ++ +
b) Determinar cuales de los tres subconjuntos anteriores son subespacios
vectoriales de
3
.
c) Comprobar si se verifica que
3
2 1
W W = == = .
Solucin.
a) Dado que
( (( ( ) )) ) { {{ { } }} }
( (( ( ) )) ) { {{ { } }} } 0 z y / z , y , x W
0 y x / z , y , x W
3
2
3
1
= == = = == =
= == = + ++ + = == =

se tiene por definicin de unin e interseccin de conjuntos

( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) { {{ { } }} }
( (( ( ) )) ) { {{ { } }} }
( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) { {{ { } }} }
( (( ( ) )) ) { {{ { } }} } 0 z y , 0 y x / z , y , x
W z , y , x y W z , y , x / z , y , x W W
0 z y o 0 y x / z , y , x
W z , y , x o W z , y , x / z , y , x W W
3
2 1
3
2 1
3
2 1
3
2 1
= == = = == = + ++ + = == =
= == = = == =
= == = = == = + ++ + = == =
= == = = == =

De acuerdo a la definicin, se tiene que:
{ {{ { } }} }
2
2
w y , 1 1 2 1
2
2 1
W W w con w w u / u W W + ++ + = == = = == = + ++ +
11
Siendo en este caso
3
2 1
W W = == = + ++ +
En efecto, es claro que
3
2 1
W W + ++ +
y, por otra parte,
2 1
3
W W + ++ + pues para cualquier ( (( ( ) )) )
3
z , y , x existen
vectores ( (( ( ) )) ) ( (( ( ) )) )
2 2 2 2 2 1 1 1 1 1
W z , y , x w y W z , y , x w = == = = == = tales que
( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) )
2 2 2 1 1 1
z , y , x z , y , x z , y , x + ++ + = == =
En concreto basta considerar
( (( ( ) )) ) ( (( ( ) )) )
( (( ( ) )) ) ( (( ( ) )) )
2 2 2 2
1 1 1 1
W x y , x y , 0 z , y , x
W y x z , x , x z , y , x
+ ++ + + ++ + = == =
= == =

b) El conjunto
2 1
W W no es un subespacio vectorial de
3
ya que, por
ejemplo, los vectores ( (( ( ) )) ) ( (( ( ) )) )
2 1
W W 1 , 1 , 0 , 0 , 1 , 1 y, sin embargo, su suma
( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) 1 , 0 , 1 1 , 1 , 0 0 , 1 , 1 = == = + ++ +
no es un elemento de
2 1
W W , pues ni sus primeras componentes suman
cero, ni su segunda y tercera componentes coinciden.
En el caso de
2 1
W W ,para cualesquiera ( (( ( ) )) ) ( (( ( ) )) )
2 2 2 1 1 1
z , y , x v , z , y , x u = == = = == =
pertenecientes a
2 1
W W y , , se tiene que
( (( ( ) )) )
2 1 2 1 2 1 2 1
W W z z , y y , x x v u + ++ + + ++ + + ++ + = == = + ++ +
pues como
2 1
W W v , u , entonces
0 z y 0 y x
0 z y 0 y x
2 2 2 2
1 1 1 1
= == = = == = + ++ +
= == = = == = + ++ +

y, por tanto,

( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) )
( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) 0 z y z y z z y y
0 y x y x y y x x
2 2 1 1 2 1 2 1
2 2 1 1 2 1 2 1
= == = + ++ + + ++ + + ++ + = == = + ++ + + ++ +
= == = + ++ + + ++ + + ++ + = == = + ++ + + ++ + + ++ +

As pues,
2 1
W W es un subespacio vectorial de
3
.
Finalmente, es obvio que
2 1
W W + ++ + es tambin subespacio vectorial de
3
,
ya que es el propio espacio vectorial
3
.

12

3. COMBINACION LINEAL

DEFINICION
Una combinacin lineal de los vectores
n 2 1
v ,..., v , v en un espacio vectorial V es una suma de
la forma :
n n 2 2 1 1
v ... v v + + + ,
Donde:
n
,...,
2
,
1
son escalares.

EJEMPLO 1. Una combinacin Lineal en R
3
en R
3
,
7
7
7
es una combinacin lineal de
4
2
1
y

= == =

1
3
5
4
2
1
2
7
7
7
que ya
1
3
5

EJEMPLO 2. Una combinacin lineal en M23.
En M23: ,
6 3 2
2 1 0
2
5 1 1
4 0 1
3
3 9 1
8 2 3

+ ++ +

= == =

lo que muestra que

6 3 2
2 1 0
y
5 1 1
4 0 1
de lineal n combinaci una es
3 9 1
8 2 3

4. GENERADOR

DEFINICION.
Sea V un espacio vectorial, y v
1
, , v
k
los vectores en V. El conjunto de todas las
combinaciones lineales de v
1
,, v
k
se llama generador de v
1
,, v
k ,
y se representa con
Gen { }
K 1
v ,...., v se dice que v
1
,, v
k
genera a V y que { }
K 1
v ,...., v es un conjunto
generador de V.

En otras palabras:
Se dice que los vectores
n 2 1
v ,..., v , v en un espacio vectorial V generan a V si todo vector
en V se puede expresar como una combinacin lineal de
n 2 1
v ,..., v , v .
13
El conjunto generado por un conjunto de vectores
k 2 1
v ,..., v , v en un espacio vectorial V
es el conjunto de combinaciones lineales de
k 2 1
v ,..., v , v .
{ {{ { } }} }
k 2 1
v ,..., v , v gen es un subespacio de V.
EJEMPLO.1
Demuestre que los vectores siguientes estn en Gen { }
2 1
v , v .
0 , v
1
, v
2
, v
1
+v
2
, -2v
1

SOLUCION.
Cada uno de esos vectores es una combinacin lineal de v
1
y v
2
, porque se puede escribir.
0= 0v
1
+0v
2
v
1
= 1v
1
+0v
2
v
2
= 0v
1
+1v
2

v
1
+v
2
= 1v
1
+ 1v
2
-2v
1
= -2v
1
+0v
2

EJEMPLO 2.
Esta -1+ x
2
en el generador de p = 1+ x + x
3
y q = -x- x
2
-x
3
en P
3
?
SOLUCIN.
Sean a y b escalares tales que -1 + x
2
= a(1+ x + x
3
) +b( -x -x
2
-x
3
). Entonces
-1 +x
2
= a + ( a-b)x bx
2
+ ( a-b)x
3

Igualando los coeficientes de las mismas potencias de x se obtiene el sistema
a-b = 0 , -b = 1 , a-b = 0 , a = -1
Cuya solucin es:
a = b = -1 , por consiguiente , -1+ x
2
= -p - q. Como -1+ x
2
es una combinacin lineal de p y q
, esta en en Gen { } q p , .
EJEMPLO 3.
Demuestre que { } 1) , 1 , 1 ( 2), , 1 , 1 ( 1) , 2 , 1 ( genera a R
3.
Como: A =

1 2 1
1 1 2
1 1 1
~
1 0 0
1 3 0
1 1 1

A tiene tres pivotes. Por consiguiente, los vectores generan a R
3
.
EJEMPLO 4.
Determine el generador de { {{ { } }} } B , A , en M
2 2
, donde:
A =

0 0
0 1
B =

1 0
0 1

SOLUCIN.
Cualquier combinacin de A y B es una matriz diagonal:
aA + bB = a

0 0
0 1
+ b

1 0
0 1
=

+ ++ +
b 0
0 b a

14
Por el contrario, cualquier matriz diagonal puede expresarse como una combinacin lineal de A
y B, porque:

b 0
0 a
= ( a + b)

0 0
0 1
- b

1 0
0 1

Por tanto, Gen{ {{ { } }} } B , A = D
2
es el conjunto de todas las matrices diagonales 2x2.

5. DEPENDENCIA E INDEPENDENCIA LINEAL.

DEFINICION.
Se dice que los vectores
n 2 1
v ,..., v , v en un espacio vectorial V son linealmente dependientes si
existen escalares
n 2 1
c ,..., c , c no todos cero tales que:
0 v c ... v c v c
n n 2 2 1 1
= + + +
Si los vectores no son linealmente dependientes, se dice que son linealmente Independientes.

Dos vectores en un espacio vectorial V son linealmente dependientes si y slo si uno es un
mltiplo escalar del otro.
Cualquier conjunto de n vectores linealmente independiente en
n
R genera a
n
R .
Un conjunto de n vectores en
m
R es linealmente dependiente si n > m.
EJEMPLO 1.
El conjunto { {{ { } }} } C . B , A , es linealmente dependiente en M
2 2
porque A = B + C.
A =

0 2
1 1
B =

2 0
0 1
C =

2 2
1 0

EJEMPLO 2..
Demuestre que el conjunto { }
22 21 12 11
E , E , E , E es linealmente independiente en M
22
Solucin.
C
1

0 0
0 1
+ C
2

0 0
1 0

+ C
3

0 1
0 0
+ C
4

1 0
0 0
=
0 0
0 0

4 3
2 1
C C
C C
=

0 0
0 0

Por consiguiente C
1
= C
2
= C
3
= C
4
= 0.
EJEMPLO 3. Los conjuntos { } { } 2x sen , x cos x sen y x cos , 2x cos , 1
2
son
linealmente dependientes en F (R ) , porque:
R x x cos x sen 2 2x sen y 2x cos
2
1
.1
2
1
x cos
2
= + =
15
EJEMPLO 4. Determinacin de la dependencia o independencia lineal de tres vectores en
3
R .
Determine si los vectores
7
1
0
y
0
2
2
,
3
2
1
son linealmente dependientes o
independientes.
SOLUCION
Supongamos que:
0
0
0
7
1
0
c
0
2
2
c
3
2
1
c
3 2 1

Entonces multiplicando y sumando se obtiene:

+
+
+
0
0
0
c 7 3c
c 2c 2c
c 2 c
3 1
3 2 1
2 1
o tambin:

0 c 7 c 3
0 c c 2 c 2
0 c 2 c
3 1
3 2 1
2 1
= +
= +
= +
, As los vectores sern linealmente dependientes si slo si
el sistema tiene soluciones no triviales. Se escribe ste sistema usando una matriz aumentada
y despus se reduce por renglones de.

0 ' 1 0 0
0 ' 0 1 0
0 ' 0 0 1
es
0 ' 7 0 3
0 ' 1 2 2
0 ' 0 2 1
de ste ltimo sistema de
ecuaciones se deduce que: 0 c , 0 c , 0 c
3 2 1
= = = Por lo tanto no tiene
soluciones no triviales y los vectores dados son linealmente independientes.

EJEMPLO 5. Determinacin de la dependencia o independencia lineal de tres vectores en
R
3
.
Determine si los vectores
12
6
11
y
4
0
3
,
0
3
1
son linealmente dependientes o
independientes.
Solucin.
La ecuacin
0
0
0
12
6
11
c
4
0
3
c
0
3
1
c
3 2 1
conduce al sistema homogneo:
16

= +
=
= + +
0 12c 4c
0 6c 3c
0 11c c 3 c
3 2
3 1
3 2 1

Escribiendo este sistema en forma de matriz aumentada y reduciendo por renglones se obtiene.

0 ' 0 0 0
0 ' 3 1 0
0 ' 2 0 1
0 ' 12 4 0
0 ' 3 1 0
0 ' 11 3 1
0 ' 12 4 0
0 ' 27 9 0
0 ' 11 3 1
0 ' 12 4 0
0 ' 6 0 3
0 ' 11 3 1

Quiere decir que el sistema resuelto tiene un nmero infinito de soluciones.
Por ejemplo la ltima matriz aumentada se lee:
= +
= +
0 3c c
0 2c c
3 2
3 1

Si se hace c
3
= 1 , se tiene que c
2
= -3 y c
1
= -2, de manera que, como puede
Verificar:

0
0
0
12
6
11
4
0
3
3
0
3
1
2
y los vectores son linealmente dependientes.
5.1 INTERPRETACION GEMETRICA DE LA DEPENDENCIA LINEAL EN
3
R
Tres vectores en
3
R son linealmente dependientes si y slo si son coplanares.

Esta figura ilustra este hecho usando los vectores en el ejemplo 4 y 5.

(0, 1, 7) (11, -6, 12)
(1, -3, 0)
(3, 0, 4)
(1, -2, 3)
(2, -2, 0)
0
0
x x
y
z
b)
Estos tres
vectores
son
dependiente
s y
a)
Estos tres
vectores
son
independien
tes y no
y
z
17

6. BASE DE UN ESPACIO VECTORIAL

DEFINICION
Un conjunto de vectores S ={
n 2 1
v ,..., v , v } es una base para un espacio vectorial V si
i. { }
n 2 1
v ,..., v , v es linealmente independiente.
i i. { }
n 2 1
v ,..., v , v genera a V. Esto es V = L { S }

En otras palabras.
Una base es un sistema libre de generadores:
B ={ } ) Z , Z , Z ( , ) Y , Y , Y ( , ) X , X , X (
3 2 1 3 2 1 3 2 1

Un vector tiene de coordenadas con respecto a la base:
U
1
= a
1
. X
1
+ a
2
. Y
1
+ a
3
. Z
1

U
2
= a
1
. X
2
+ a
2
. Y
2
+ a
3
. Z
2

U
3
= a
1
. X
3
+ a
2
. Y
3
+ a
3
. Z
3

EJEMPLO 1.
Todo conjunto de n vectores linealmente independiente en
n
R es una base en
n
R .
La Base cannica en
n
R consiste en n vectores

|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
|
.
|
\
|
=
1
0
0
0
e , . . . ,
0
1
0
0
e ,
0
0
1
0
e ,
0
0
0
1
e
.
.
.
n
.
.
.
3
.
.
.
2
.
.
.
1

EJEMPLO 2
Dado: W = ( ) { } y x w z / R w z, y, x,
4
+ = + , hallar una base de W.
Solucin.
1) . En primer lugar , de la ecuacin z + w = x + y , despejar una de las variables , por ejemplo
w : w = x + y-z.
2). En segundo lugar , reemplazar w en el vector (x ,y ,z ,w) :
(x, y, z, w) = (x, y, z, x + y-z)
3). Descomponer:= x(1,0,0,1)+y(0,1,0,1)+ z(0,0,1,-1)
4). Luego el conjunto de vectores ={ (1,0,0,1),(0,1,0,1),(0,0,1,-1) } es una base de W.

18
TEOREMA 1.
Si { }
n 2 1
v ,..., v , v es una base de V y vV, entonces existe un conjunto nico de escalares
n 2 1
,..., , tales que:
n n 2 2 1 1
v .... v v v + + + =
Dicho de otra forma: si { }
n 2 1
v ,..., v , v es una base de V, entonces todo vector vV, se puede
expresar de una nica forma como combinacin lineal de
n 2 1
v ,..., v , v .

PRUEBA
La unidad de los escalares
i
se prueban suponiendo que existen otros escalares
i

Y probar que
i i i
, = == =
Veamos:
1). Por hiptesis se tiene que { {{ { } }} }
n 2 1
v ,..., v , v es una base de V por tanto { }
n 2 1
v v v ,..., ,
genera V .
Luego , si
n n 2 2 1 1 i
v .... v v v / K V v + + + =

2). Supongamos que existen otros escalares
i
, tal que:

n n 2 2 1 1
v .... v v v + ++ + + ++ + + ++ + = == =
3). Restar (1)-(2) :
n n n 1 1 1
)v ( .... )v ( v v + ++ + + ++ + = == =

n n n 1 1 1
)v ( .... )v ( 0 + ++ + + ++ + = == =

4). Pero los v
i
son linealmente independientes entonces :
0 ..... , 0 , 0
n n 2 2 1 1
= == = = == = = == =

n n 2 2 1 1
,...., , = == = = == = = == =

TEOREMA 2.
Si { {{ { } }} }
n 2 1
v ,..., v , v y { {{ { } }} }
m 2 1
u ,...., u , u son bases del espacio vectorial V , entonces n= m.
Este teorema nos dice que dos bases cualesquiera de un espacio vectorial V contienen el mismo
numero de vectores .
Demostracin
La demostracin es por reduccin al absurdo.
S
1
= { {{ { } }} }
n 2 1
v ,..., v , v y
{ {{ { } }} }
4 3 4 2 1
4 4 4 3 4 4 4 2 1
TESIS
HIPOTESIS
n ,..., 3 2 , 1 2
m n V DE BASES DOS SON u u , u u S = == = = == =
19
Considerando:
P
1
: S
1
es una base de V
P
2
: S
2
es una base de V
q: n =m
El teorema es : P
1
P
2
q
El mtodo del absurdo es: ~q P
2
~P
1

Ahora, las hiptesis son:
~q : n m n>m m> n.
P
2
: S
2
={ }
m 2 1
u ,...., u , u es una base de V.

Como P
1

r
1
r
2

)
`
nte independie e linealment es S : r

V a genera S : r
2
1 1

Debo provar que ~q P
2
implica P
1.
Veamos
Si n>m S
2
={ {{ { } }} }
m 2 1
u ,...., u , u es una base de V , entonces S
1
= { {{ { } }} }
n 2 1
v ,..., v , v es un
conjunto de vectores linealmente dependientes.
Si se prueba que S
1
= { {{ { } }} }
n 2 1
v ,..., v , v es un conjunto de vectores linealmente dependientes, el
teorema queda demostrado.
Empecemos:
5) Cada vector de
i
V de
1
S es combinacin lineal de S
2
={ {{ { } }} }
m 2 1
u ,...., u , u , as:
m 1m 2 12 1 11 1
u a .......... .......... .......... .......... u a u a V + ++ + + ++ + + ++ + = == =

m nm 2 n2 1 n1 n
m 2m 2 22 1 21 2
u a .......... .......... .......... .......... u a u a V
.
.
.
u a .......... .......... .......... .......... u a u a V
+ ++ + + ++ + + ++ + = == =
+ ++ + + ++ + + ++ + = == =

2). Para afirmar que S
1
= { {{ { } }} }
n 2 1
v ,..., v , v es l.d. debo hallar escalares
n 2 1
c ......, , c , c
no todos cero, tal que:
( (( ( ) )) ) = == = + ++ + + ++ + + ++ + 2 ..... .......... v c ....... .......... v c v c
n n 2 2 1 1

3). Sustituir 1) en 2):
20
( ) ( ) ( ) u a ..... u a c ... u a ..... u a c u a ..... u a c
m nm 1 n1 n m 2m 1 21 2 m 1m 1 11 1
= + + + + + + + + +
( ) ( ) ( ) u c a ..... c a ... u c a ..... c a u c a ..... c a c a
m n mn 1 1n 2 n n2 2 12 1 1 ni 2 21 1 11
= + + + + + + + + + +
Como { }
m 2 1
u ,...., u , u son i l. , entonces:

( )
= + + +
= + + +
= + + +
c a ..... c a c a
.
.
c a ...... c a c a
c a ..... c a c a
4
n mn 2 2n 1 1n
1 n n2 2 22 2 12
1 ni 2 21 1 11

Las incgnitas son:
n 2 1
c ......, , c , c .
El sistema (4) es un sistema de ecuaciones homogneas de m ecuaciones con n
incgnitas
n 2 1
c ......, , c , c .

5) como m n , ,, , (el nmero de incgnitas es mayor que el nmero de ecuaciones), el
sistema (4) tendr infinitas soluciones siempre que el sistema sea compatible.
Por tanto, existen escalares
n 2 1
c ......, , c , c no todos cero que satisface ( (( ( ) )) ) 2 .
l.q.q.d

TEOREMA 3. Existencia de la base.
Todo espacio vectorial tiene al menos una base.

7. DIMENSIN DE UN ESPACIO VECTORIAL
DEFINICION
Si un espacio vectorial V tiene una base finita, entonces la dimensin de V es el nmero de
vectores en cada base y V se llama un espacio vectorial de dimensin finita.
De otra manera V se llama espacio vectorial de dimensin infinita.
Si V= { 0 } , entonces se dice que V tiene dimensin cero.
La dimensin de V se expresa :.
dim ( V ) = n

Si H es un subespacio del espacio de dimensin finita V, entonces
dim H dim V.
21
COROLARIO. Sea H un subespacio de un espacio vectorial V sobre K entonces se verifica
que: H dim V dim H V = =
EJEMPLOS.
1) dim R
2
= 2
2) dim R
3
=3
3) dim R
n
= n
4) dim M
mn
= mn , M
mn
, es el espacio vectorial de las matrices de m filas por n
columnas .
5) Sea V = P
n
el espacio vectorial de los polinomios de grado n con coeficientes
reales.
Una base de P
n
es { }
n 2
x ......, , x , x , 1 , por lo tanto dim P
n
= n +1
6) dim
Q
R = , cuando R es un espacio vectorial sobre Q .
7) Halle una base en R
3
para el conjunto de vectores que estn en el mismo plano 2x y
z = 0.
Solucin.
Segn el problema tenemos el subespacio.
W = {(x,y,z) R
3
/ 2x-y-z = 0} , hallemos una base de W :
1. Despejar Z de 2x-y-z =0 : z = 2x y
2. Sustituir z= 2x y en (x,y,z) :
( x, y , z ) = (x, y, 2x y)
= x (1, 0 ,2) + y (0, 1, -1)
3. Una base de W es: (1, 0, 2), (0, 1, -1)
4. Como la base tiene 2 vectores, entonces afirmamos que :
dim W = 2.
Los nicos subespacios propios de
3
R son los conjuntos de vectores que estn en una recta
o en un plano que pasa por el origen.
EJEMPLO 8. Una base para el espacio de solucin de un sistema homogneo.
Encuentre una base y la dimensin para el espacio de solucin S del sistema homogneo.
x + 2y - z = 0
2x - y + 3z = 0
Solucin.
Aqu .
3 1 2
1 2 1
A

= Como A es una matriz de 2x3 , S es un subespacio de R

3
.
Reduciendo por renglones, se encuentra, sucesivamente.
22
0 ' 1 1 0
0 ' 1 0 1
0 ' 1 1 0
0 ' 1 2 1
0 ' 5 5 0
0 ' 1 2 1
0 ' 3 1 2
0 ' 1 2 1

Entonces y = z , x = -z de manera que todas las soluciones son de la forma :
1
1
1
as ,
z
z
z
es una base para S y dim S = 1 .
Observe que S es el conjunto de vectores que estn en la recta x = -t , y = t , z = t.
EJEMPLO 9. Una base para el espacio de solucin de un sistema homogneo.
Encuentre una base para el espacio de solucin S del sistema.
2x y +3z = 0
4x -2y +6z = 0
-6x +3y -9z = 0
Solucin.
Reduciendo renglones se tiene:
0 ' 0 0 0
0 ' 0 0 0
0 ' 3 1 2
0 ' 9 3 6
0 ' 6 2 4
0 ' 3 1 2

Slo queda la ecuacin: 2x y +3z = 0. Entonces S es un plano y la base es:
1
3
0
y
0
2
1
, y dim S = 2.
EJEMPLO 10. Sea
2
R V = == = un espacio vectorial sobre R K = == = .
Sea ( (( ( ) )) ) ( (( ( ) )) ) d , c y b , a u = == = = == = vectores de v, tal que ad - bc 0.
Probar que u y v constituyen una base de v.
Demostracin.
Debo probar 2 cosas:
1) Que los vectores u y v son i . l
Debo probar que ( (( ( ) )) ) 0 , 0 u = == = + ++ + implica 0 , 0 = == = = == =
Veamos:
Supongamos que ( (( ( ) )) ) ( (( ( ) )) ) ( (( ( ) )) ) 0 , 0 d , c b , a = == = + ++ +
( (( ( ) )) ) ( (( ( ) )) ) 0 , 0 d b , c a = == = + ++ + + ++ +

( (( ( ) )) )
( (( ( ) )) )

= == = + ++ +
= == = + ++ +
2 .. .......... 0 d b
1 .. .......... 0 c a

23

= == = + ++ +
= == =

= == = + ++ +
= == = + ++ +
0 d c c b
0 d c d a
0 d b
0 c a

= == = + ++ +
= == =

= == = + ++ +
= == = + ++ +
0 d a b a
0 c b b a
0 d b
0 c a

( (( ( ) )) ) 0 c b d a
0 c b d a
= == =
= == =

( (( ( ) )) ) 0 d a c b
0 d a c b
= == =
= == =

pero ad - bc O segn hiptesis, por -1: ( (( ( ) )) ) 0 c b d a = == =
entonces como: ad - bc 0

como 0 = == = , 0 = == = implica que u y v son i . l
2. Ahora debo probar que los vectores u y v generan a R
2

Veamos :
Sea (x,y) un vector cualquiera de V= R
2
, debo probar que el vector (x,y) sea una combinacin
lineal de u y v.

Es decir : ( x , y ) = mu + nv , m R , n R.
= m( a, b ) + n ( c, d)
donde los escalares m y n son nicos y deben estar expresados en funcin de x e y.
( x , y ) = (ma + nc , mb + nd )

= == = + ++ +
= == = + ++ +
y nd mb
x nc ma

Resolviendo el sistema :

n =
bc ad
bx ay

m =
bc ad
cy dx

0 = == =
24

8. DIMENSION DE LA SUMA
TEOREMA.
Sean U y W dos subespacios de ( V,+, K, .) y la dimensin de V es finita , entonces se verifica
que :

) W U ( dim W dim U dim ) W U ( dim + ++ + = == = + ++ +

AFIRMACION. El conjunto { {{ { } }} }
r q 1 r p 1 r 2 1
w , ... , w , u , ... , u , v , ... , v , v

es una
base para U + W.

EJEMPLO.
Determinar la dimensin de la suma de los siguientes subespacios de ) . , , R (
3
+ ,
{ } { } 0 z x / R ) z y, x, ( W y 0 z y x / R ) z y, x, ( U
3 3
= = = + =
SOLUCION.
Como: ) W U ( dim W dim U dim ) W U ( dim + = +
Calculando una base para U , si (x,y,z) U entonces x + y-z =0 z = x + y
Luego (x,y,z) = (x,y,x+y ) = ( x,0,x ) + ( 0,y,y ) = x ( 1,0,1 )+ y( 0,1,1 )

Como {( 1,0,1 ), ( 0,1,1 )} es linealmente independiente entonces
{( 1,0,1 ), ( 0,1,1 )} es una base de U de donde dim U = 2.

Calculando una base para W ,si (x,y,z) W entonces x z = 0 z = x
Luego (x,y,z) = (x,y,x ) = x ( 1,0,1 )+ y( 0,1,0 )

Como {( 1,0,1 ), ( 0,1,0 )} es linealmente independiente entonces
{( 1,0,1 ), ( 0,1,0 )} es una base de W de donde dim W = 2.

CALCULANDO UNA BASE PARA W U
Si
=
=
=
= +

x z
0 y
0 z x
0 z y x
W U ) z y, x, (

{ } 1 W U dim W U de base una es (1,0,1) Luego
(1,0,1) x x) (x,0, z) y, (x, W U ) z y, x, ( Si
=
= =

Por lo tanto se tiene: 3 1 2 2 W) dim(U dimW dimU W) (U Dim = + = + = +

dim (U+W) = 3.

9. DIMENSION DE LA SUMA DIRECTA

Si U y W son dos subespacios del espacio vectorial ( V,+, k , . ).
Si { } W U = (conjuntos disjuntos) entonces:

W. dim U dim ) W U ( dim + =
25

Es decir que la dimensin de la suma directa es igual a la suma de las dimensiones de U y W.
En este caso { } W U = entonces 0 ) W U ( dim =

TEOREMA.
Sea V un espacio vectorial sobre k de dimensin finita, si W
es el subespacio propio de V , entonces :
dim dim dim = |
.
|
\
|
V
W
V
W

EJEMPLO 1. Sea
3
R V = == = y sea W el subespacio generado por ( (( ( ) )) ) 0 , 0 , 1 y sea U
el subespacio generado por ( (( ( ) )) ) 0 , 1 , 1 y ( (( ( ) )) ) 1 , 1 , 0 .
Demostrar que V es la suma directa de W y U.
Prueba.
Se tiene que { L W = ( (( ( ) )) ) 0 , 0 , 1 } y { {{ { L U = == = ( (( ( ) )) ) 0 , 1 , 1 , ( (( ( ) )) ) 1 , 1 , 0 }
Debo probar que . U U V = == =
Para ello bastara que ( (( ( ) )) ) } }} } { {{ { 0 , 0 , 0 U W = == =
Veamos:
1) ( (( ( ) )) ) U W U W sea
2) ( (( ( ) )) ) 0 , 0 , 1 W si = == =
( (( ( ) )) ) ( (( ( ) )) ) 1 , 1 , 0 0 , 1 , 1 U si
2 1
+ ++ + = == =
debe cumplirse que = == = = == = = == =
2
,

De (2) obtenemos = == =
( (( ( ) )) ) 0 , 0 , 1 = ( (( ( ) )) ) ( (( ( ) )) ) 1 , 1 , 0 0 , 1 , 1
2 1
+ ++ +
( (( ( ) )) ) 0 , 0 , = ( (( ( ) )) )
2 2 1 1
+ ++ + + ++ + + ++ +

=
= +
=

2
2 1
1

Al resolver, obtenemos
=
=
=

1
2

26
Luego ( (( ( ) )) ) , , 1 = == =
( (( ( ) )) ) , , = == =
Lo cual implica que ( (( ( ) )) ) { {{ { } }} } 0 , 0 , 0 U W = == =
Por tanto : { {{ { L = == = ( (( ( ) )) ) 0 , 0 , 1 , ( (( ( ) )) ) 0 , 1 , 1 , ( (( ( ) )) ) 1 , 1 , 0 }
Y . U dim W dim 3 dim + ++ + = == = = == =

10. RANGO, NULIDAD, ESPACIO DE LOS RENGLONES Y
ESPACIO DE LAS COLUMNAS DE UNA MATRIZ
Sea A una matriz de m x n y sea:
El espacio nulo de una matriz A de n x n es el subespacio de
n
R dado por
{ } 0 Ax : R x N
n
A
= =

DEFINICION 1. Espacio nulo y nulidad de una matriz.
N
A
se llama espacio nulo de A y v(A) = dim N
A
se llama nulidad de A .
Si N
A
contiene slo al vector cero , entonces v(A) = 0.

Nota. El espacio nulo de una matriz tambin se conoce como KERNEL.

EJEMPLO 1. Espacio nulo y nulidad de una matriz de 2x3 .
Sea .
3 1 2
1 2 1
A

= == = Entonces , como se vio en un ejemplo anterior (8)
N
A
est generado por

1
1
1
, y v(A) = 1
EJEMPLO 2. Espacio nulo y nulidad de una matriz de 3x3 .
Sea

= == =
9 3 6
6 2 4
3 1 2
A . Entonces por el ejemplo 9 (anterior)

) )) )

` `` `

1
3
0
,
0
2
1

Es una base para N
A
y v(A) = 2 .

TEOREMA. Sea A una matriz de n x n. Entonces A es invertible si y slo
si v(A) =0.
Demostracin. La demostracin queda como misin para el alumno.
27

DEFINICION 2. IMAGEN DE UNA MATRIZ.
Sea A una matriz m x n . Entonces la imagen de A , denotada por imagen A, esta dada por :
Imagen A ={ {{ { } }} }
n m
R x alguna para y Ax : R y = == =

DEFINICION 3. RANGO DE UNA MATRIZ.
Sea A una matriz m x n . Entonces el rango de A , denotado por ) ( A , est dado por :
A imagen A dim ) ( =

DEFINICION 4. ESPACIO DE LOS RENGLONES Y ESPACIO DE LAS COLUMNAS
DE UNA MATRIZ.
Si A es una matriz de m x n, sean { }
m 2 1
r ..., , r , r los renglones (Filas) de A y
{ }
n 2 , 1
c , ... , c c las columnas de A . Entonces se define:
{ }
{ }
n 2 1 A
m 2 1 A
c , ... , c , c gen A de columnas las de espacio C
r , ... , r , r gen A de renglones los de espacio R
= =
= =

TEOREMA 3. Para cualquier matriz A , C
A
=imagen A. Es decir , la imagen de una matriz
es igual al espacio de sus columnas.

TEOREMA 4. Si A es una matriz m x n , entonces:
) A ( A imagen dim C dim R dim
A A
= = =

TEOREMA 5. Si A es equivalente por renglones a B , entonces
) B ( v ) A ( v y , ) B ( ) A ( , R R
B A
= = =

TEOREMA 6. El rango de una matriz es igual al nmero de pivotes en su forma escalonada
por renglones.

TEOREMA 7. Sea A una matriz m x n. Entonces:
n ) A ( v ) A ( = +
Es decir, el rango de A ms la nulidad de A es igual al nmero de columnas de A.

TEOREMA 8. Sea A una matriz de n x n. Entonces A es invertible si y slo si n ) A ( =
28
DEMOSTRACION.
Por teorema 1 , A es invertible si y slo si v(A) = 0 . Pero por el teorema 7 ,
) A ( v - n ) A ( = . As , A es invertible si y slo si n 0 n ) A ( = =

TEOREMA 9. El sistema A x = b tiene al menos una solucin si y slo si
A
C b
Esto ocurrir si y slo si A y la matriz aumentada ( A , b ) tiene el mismo rango.
11. VECTORES DE COORDENADAS Y CAMBIO DE BASE

DEFINICION.
Sea V un espacio vectorial de dimensiones finitas con base { }
n 2 1
v , ... , v , v B = .
Para cada V v , existen escalares nicos
n 1
c , ... , c tales que :

n n 1 1
v c ... v c v + + =
El vector cuyos componentes son los coeficientes de v , expresado como [ ]
B
v , se llama
(Vector de coordenadas o vector coordenado) de v con respecto a B.
[ ]
B
v =
n
1
c
.
.
.
c

[ ]
B
v se modifica cuando cambia la base B . Tambin [ ]
B
v depende del orden de los
elementos de B . Mantendremos fijo este orden usando siempre una base ordenada.

OBSERVACION. Si ) a , ... , a ( a
n 1
= es un vector n y { }
n 1
e , ... , e B = es una base
estndar de
n
R , entonces:
[ ] a
a
.
.
.
a
a
n
1
B
=
=
Porque a =
n n 1 1
e a ... e a + + .

EJEMPLO 1. S e tiene la base { }
3
R de ) 1,1,1 ( , ) 1,1,0 ( , ) 1 1,0, ( B = y el vector
v = (2, -3, 4).
a) Determine [ ]
B
v
29
b) Calcule el vector w si [ ]
=
2
3
6
w
B
.
SOLUCION.
a) [ ]
B
v tiene como componentes a los escalares
3 2 1
c , c , c tal que :
) 1,1,1 ( c ) 1,1,0 ( c ) 1 1,0, ( c ) 3,4 2, (
3 2 1
+ ++ + + ++ + = == =
Lo cual implica que . 1 c , 4 c , 3 c
3 2 1
= == = = == = = == = De aqu,
[ [[ [ ] ]] ]
B
v =

1
4
3

b) Debido a que los componentes de [ [[ [ ] ]] ]
B
w son : 6 , -3 , 2 , w se expresa como
w = 6 (1,0,-1 ) - 3 (-1,1,0 ) + 2 (1,1,1 ) = ( 11, -1, -4 )

EJEMPLO 2. Determine el vector coordenado de v = ( a, b, c ) en
3
R con respecto a
{ {{ { } }} }
3 2 1
v , v , v B = == = , donde:
2 3 1 2 3 1
e v , e v , e v = == = = == = = == =
SOLUCION.
Los componentes de [ [[ [ ] ]] ]
B
v , son escalares
3 2 1
c , c , c tales que
) c , c , c ( e c e c e c v c v c v c ) c b, a, (
1 3 2 2 3 1 2 3 1 3 3 2 2 1 1
= == = + ++ + + ++ + = == = + ++ + + ++ + = == =
por consiguiente , c c , a c , c c
3 2 1
= == = = == = = == = .
Entonces: [ [[ [ ] ]] ]

= == =
b
a
c
v
B

TEOREMA 1.
Sea { }
n 1
v , ... , v B = una base de un espacio vectorial V de dimensin finita. Sean
m 1
u , .... , u , u vectores en V. Entonces u es una combinacin lineal de
m 1
u , .... , u en V, si y
slo si [ ]
B
u es una combinacin lineal de [ ] [ ]
n
B m B 1
R en u , ... , u .
Adems, para los escalares
m 1
c , ... , c
30

m m 1 1
u c ... u c u + + =
si y slo si : [ ] [ ] [ ]
B m m B 1 1 B
u c ... u c u + + =

TEOREMA 2.
Sea B una base de un espacio vectorial n dimensional V. Entonces { }
m 1
u , .... , u es
linealmente independiente en V si y slo si {[ ] [ ] }
B m B 1
u , ... , u es linealmente
independiente en
n
R

TEOREMA 3. CAMBIO DE BASE.
Sean { }
n 1
v , ... , v B = y { } n
'
1
' '
v , ... , v B = dos bases de un espacio vectorial de
dimensin finita . Sea P la matriz n x n cuyas columnas son [ ] [ ] ' '
B n B 1
v , ... , v .
P = [ [ ] [ ] ' '
B n B 1
v , ... , v ]
Entonces P es invertible y sta es la nica matriz en la que para todo V v
[ ] [ ]
B
B
v P v
'
=

DEFINICION. MATRIZ TRANSICION
La matriz P del teorema 3 se denomina matriz transicin ( o matriz de cambio de base )
de B a B

EJEMPLO. Sea B la base estndar de
2
R , y
'
B la base { } ) 1,1 ( , ) 1,1 ( B
'
= .
a) Calcular la matriz de transicin P de
'
B a B .
b) Determine la matriz de transicin de B B
'
.
c) Compruebe la relacin [ ] [ ]
'
v P
'
v
B B
= para v = ( 4,-2 ).

SOLUCION.
a) P es la matriz cuyas columnas son [ ] [ ]
B 2 B 1
e e , . Para [ ]
B 1
e se necesitan escalares C
1
, C
2

tales que

=
1
1
c
1
1
c
0
1
e
2 1 1

31
La solucin del sistema que resulta es [ ]
= = =
2
1
2
1
e aqui, De .
2
1
c ,
2
1
c
B 1 2 1

De igual manera, para [ [[ [ ] ]] ]
B 2
e necesitamos los escalares C
1
, C
2
tales que

+ ++ +

= == =

= == =
1
1
c
1
1
c
1
0
e
2 1 2

Al resolver el sistema resultante se obtiene
[ [[ [ ] ]] ]

= == = = == = = == =
2
1
2
1
e te, consiguien Por .
2
1
c ,
2
1
c
B 2 2 1

En vista de lo anterior, la matriz de transicin es

= == =
2
1
2
1
2
1
2
1
P

(b) la matriz de transicin de B a B es P
-1
, segn el corolario 21. Entonces,

= == =

= == =

1 1
1 1
2
1
2
1
2
1
2
1
P
1
1

(c) El vector coordenado [V]
B
se puede determinar en dos formas distintas; usando P,

[ [[ [ ] ]] ]

= == =

= == =
3
1
2
4
2
1
2
1
2
1
2
1
V P
B

o directamente a partir de B , calculando C
1
, C
2
tales que

+ ++ +

= == =

1
1
c
1
1
c
2
4
2 1

al resolver el sistema se obtiene C
1
= 1, C
2
= - 3. Por tanto, [ [[ [ ] ]] ]

= == =
3
1
V
B'
en cada caso.

32
12. CUESTIONES TERICAS.
CUESTIN 1
Un conjunto de vectores que contenga dos vectores iguales es L. D.? Razona la respuesta.

CUESTIN 2
Un conjunto de vectores L. I ., puede contener dos vectores proporcionales?
Razona la respuesta.

CUESTIN 3
Sean cuatro vectores cualesquiera no nulos y distintos entre s.
Si entonces se verifica que rango(M)=3.
(a) Verdadero, ya que rango(M)=mximo nmero de vectores linealmente independientes de M
= dim R
3
=3.
(b) Falso, en general slo puede afirmarse que .
(c) Falso, ya que si consideramos los
vectores se tiene que rango(M)=2.
(d) Falso, pues podra suceder que rango(M)=4.
CUESTION 4.
Sea W un subespacio vectorial de R
n
y una base de W. Entonces se verifica que el
vector pertenece al subespacio W y sus coordenadas respecto de la base B son (1,-1).
(a) Falso, ya que aunque al ser W un subespacio vectorial, no podemos determinar sus
coordenadas pues desconocemos las componentes de los vectores
(b) Falso, ya que si consideramos el subespacio vectorial y la
base de W se tiene que
(c) Verdadero, pues el vector ya que W es un subespacio vectorial y adems por
definicin las coordenadas de en la base B son los escalares que
satisfacen

33
CUESTIN 5
Sea un sistema de vectores linealmente dependientes de R
3
.
Si (el subespacio vectorial generado por los tres primeros vectores)
entonces es una base de R
3
.
(a) Falso. El enunciado sera cierto si S fuera adems un sistema generador de R
3
.
(b) Falso, los tres primeros vectores pueden seguir siendo linealmente dependientes.
(c) Verdadero. El procedimiento para construir una base es eliminar el vector que sea
combinacin lineal de los dems.

CUESTIN 6.
Sea W el subespacio vectorial de R
3
generado por el siguiente conjunto de vectores:
G = {(1,2,1),(0,1,0),(1,0,-1),(1,1,-1)}. Entonces W = R
3
.
(a) Verdadero, pues B={(0,1,0),(1,0,-1),(1,1,-1)} es una base de W y por tanto, como W es un
subespacio de R
3
y dimW = 3, entonces se verifica que W = R
3
.
(b) Falso, pues G genera un subespacio vectorial de dimensin 4 y dim R
3
=3.
(c) Verdadero, pues B={(1,2,1),(0,1,0),(1,0,-1)} es una base de W y por tanto, dim W = 3. Y
como W es un subespacio de R
3
, entonces se verifica que W = R
3

CUESTION 7
Sea W un subespacio vectorial cualquiera de R
n
, y un vector no nulo. Entonces el
vector verifica que donde es el producto escalar.
(a) Falso, ya que y en un subespacio vectorial no est definida la operacin de
dividir un nmero por un vector.
(b) Verdadero, pues y, por tanto, .
(c) Falso, ya que podra ser nulo y, en consecuencia, no estara definido el vector

CUESTION 8
Consideremos el conjunto de vectores linealmente independiente de R
2
formado por .
Sea y Entonces se puede asegurar que:
(a) forman una base de R
2
.
34
(b) forman una base de R
2

(c) no forman una base de R
2
, ya que no sabemos si son un sistema de generadores de
este espacio.
(d) forman una base de R
2
.

CUESTION 9
Sea un sistema generador de un subespacio vectorial W tal que dim W = 2.
Entonces se verifica que se puede escribir como combinacin lineal de los vectores y
(a) Verdadero, pues M es un conjunto linealmente dependiente, lo que significa que cada vector
se puede expresar como combinacin lineal de los restantes.
(b) Falso, ya que si consideramos los vectores y se tiene que M
es un sistema generador de W =R
3
y, sin embargo, no puede expresarse como combinacin
lineal de y
(c) En general es falso, aunque sera cierto si los vectores y no son proporcionales (es
decir, para todo ).
CUESTION 10.
Sean tres vectores . Entonces si , se puede asegurar que
forman una base de R
2
.
(a) Verdadero pues todo vector de R
2
se puede escribir como combinacin lineal de dos vectores
de R
2
.
(b) Verdadero, ya que en R
2
tres vectores son siempre linealmente dependientes, y por tanto dos
vectores de dicho espacio siempre son linealmente independientes.
(c) Falso, pues no podemos garantizar que R
2
est generado por y
(d) Falso, pues de la ecuacin se deduce que y por tanto
depende linealmente de luego B no puede ser l. i.
CUESTION 11.
Sean cuatro vectores tales que . Consideremos .
Entonces podemos asegurar que

35
(a) Los vectores forman un sistema de generadores de W.
(b) La dimensin del subespacio vectorial W es 2.
(c) Si son linealmente independientes, entonces forman una base de W.
(d) Si son linealmente independientes, entonces forman una base de W.
CUESTION 12.
Sean dos subespacios vectoriales de R
3
. Si son un
conjunto de vectores L. I . Entonces:
(a) es una base del subespacio
(b) es una base del subespacio
(c)
(d) No podemos asegurar que la dimensin del subespacio sea 3, pues puede suceder
que sea un vector proporcional a
CUESTION 13
Dado W un subespacio vectorial de R
n
, y sea el subconjunto . Entonces, se
verifica que W
2
es un subespacio vectorial de R
n
.
(a) Falso, el conjunto W
2
no es un subespacio vectorial pues para cualquier se tiene
que
(b) Verdadero, W
2
es un subespacio vectorial pues si y
para , se tiene que para cualesquiera

por lo que, al ser W subespacio vectorial se tiene que y, en
Consecuencia .
(c) Verdadero, dado que al ser W subespacio vectorial, se tiene que para
cada y, en consecuencia W = W
2
.
CUESTION 14.
36
Sean tres vectores cualesquiera tales que , Entonces, se verifica
que es una base de R
3
.
(a) Falso, pues las hiptesis del enunciado no garantizan que el conjunto sea
linealmente independiente. Por tanto, B no puede ser un base de R
3
.
(b) Verdadero, ya que es un sistema generador de R
3
y, como dimR
3
=3, todo conjunto
formado por tres vectores que sea sistema de generadores de R
3
es tambin un conjunto
linealmente independiente. Y en consecuencia, B es una base del mismo.
(c) Falso, el conjunto puede no ser un sistema de generadores de R
3
.

CUESTION 15
Sea el subespacio vectorial W = L {(1,0,3),(1,1,0),(-1,1,-2)}. Entonces podemos afirmar que:

(a) {(1,3,0),(1,1,1),(-1,1,-2),(1,5,-1)} es un sistema de generadores de W.
(b) La dimensin de W es 3.
(c) {(1,3,0),(1,1,0)} es una base de W.
(d) El rango de W es 2 y por tanto la dimensin de W es 2.

SOLUCIONARIO

Solucin a la cuestin 1 . SI, pues considerando la ecuacin
a u + b u = 0 resulta que existen valores para a y b no nulos que satisfacen la ecuacin.
Solucin a la cuestin 2. NO, pues en ese caso seran L. D .
Solucin a la cuestin 3. B ,C
Solucin a la cuestin 4. C
Solucin a la cuestin 5. A y B
Solucin a la cuestin 6. C Solucin a la cuestin I-7B
Solucin a la cuestin 9. B y C
Solucin a la cuestin 10. C
Solucin a la cuestin 11. A ,C y D
Solucin a la cuestin 12. A y C
Solucin a la cuestin 13. B y C
Solucin a la cuestin 14. A y C
Solucin a la cuestin 15. A y B

13. SOLUCION DE PROBLEMAS DE ESPACIOS VECTORIALES
UTILIZANDO SOFWARE DERIVE

PROBLEMA 1.
Una compaa constructora almacena tres mezclas bsicas A, B y C. Las cantidades se miden en
gramos y cada "unidad" de mezcla pesa 60 gramos. Pueden formularse mezclas especiales de
argamasa efectuando combinaciones de las tres mezclas bsicas. Por ello, las mezclas especiales
posibles pertenecen al espacio generado por los tres vectores que representan las tres mezclas
bsicas. La composicin de stas es:
37

A B C
Cemento 20 18 12
Agua 10 10 10
Arena 20 25 15
Grava 10 5 15
Tobas 0 2 8
a. Es posible hacer una mezcla que consiste en 1.000 g. de cemento, 200 g. de agua,
1.000 g. de arena, 5000 g. de grava y 300 g. de tobas? Por qu se puede o por qu no?.
Si se puede, cuntas unidades de cada mezcla bsica A, B y C se necesitan para
formular la mezcla especial?
b. Supngase que se desean hacer 5.400 g. de argamasa de manera que contenga 1.350 g.
de cemento, 1.675 g. de arena y 1.025 g. de grava. Si la razn de agua a cemento es de 2
a 3, qu cantidad de tobas debe utilizarse para obtener los 5.400 g. de argamasa? Se
puede formular esta masa como una mezcla especial? Si es as, cuntas unidades de la
mezcla A, B y C se necesitan para formular la mezcla especial?

SOLUCION AL PROBLEMA 1

"Las tres mezclas bsicas son"

"la de tipo A que podemos representar por el vector"

mezcla_ a:=[20,10,20,10,0]

"la de tipo B que podemos representar por el vector"

mezcla_b:= [18,10,25,5,2]

"y la mezcla de tipo C que podemos representar por el vector"

mezcla_ c:=[12,10,15,15,8]

"(a)"

"En el enunciado del problema, se afirma que las"

"mezclas especiales posibles pertenecen al espacio"

"generado por los tres vectores que representan"

"las tres mezclas bsicas. Por tanto en este"

"apartado tenemos que intentar ver si el vector"

"de la nueva mezcla, llammosle n"
38

n:=[1000,200,1000,500,300]

"es combinacin lineal de los vectores iniciales"

"mezcla_ a, mezcla_b y mezcla_ c, es decir"

"hay que intentar ver si existen valores a,b,c"

"tales que"

n=a*mezcla_ a+b*mezcla_b+c*mezcla_c

"simplificando la expresin anterior resulta"

;Simp(#23)
[1000=20*a+18*b+12*c,200=10*a+10*b+10*c,1000=20*a+25*b+15*c,500=10*a+5*b+15*c,
~
300=2*b+8*c]

"si intentamos resolver este sistema con SOLVE"

"obtenemos el mensaje NO SOLUTION FOUND"

"lo cual quiere decir que no es posible obtener la mezcla"

"pedida a partir de las tres mezclas bsicas."

"b)"

"Ahora lo que se desea obtener es:"

"CEMENTO: 1350 g."

"AGUA. no nos da la cantidad pero indican que la razn"

" de agua cemento es de 2 / 3, es decir"

x/1350=2/3

"resolviendo"

;Solve(#35)
x=900

"Por tanto AGUA: 900 g."

"ARENA 1675 g."

"GRAVA: 1025 g."

"TOBAS: no nos da la cantidad pero como el total de"

" argamasa es de 5.400 entonces restando"

39
" las cantidades anteriores tenemos"

;User=Simp(User)
5400-(1350+900+1675+1025)=450

"por tanto TOBAS: 450 g."

"A la pregunta de si esta mezcla se puede obtener"

"debemos plantear la nueva mezcla, llammosla m"

m:=[1350,900,1675,1025,450]

"veamos nuevamente si este vector se puede escribir"

"como combinacin lineal de las tres mezclas"

m=a*mezcla_a+b*mezcla_b+c*mezcla_c

"simplificando"

;Simp(#51)
[1350=20*a+18*b+12*c,900=10*a+10*b+10*c,1675=20*a+25*b+15*c,1025=10*a+5*b+15*c
~
,450=2*b+8*c]

"resolviendo"

;Solve(#53)
[a=15,b=25,c=50]

"luego necesitaremos"

"15 unidades de la mezcla A"

"25 unidades de la mezcla B"

"50 unidades de la mezcla C"

PROBLEMA 2.
Sea P
<4
el espacio vectorial real de los polinomios de grado menor estrictamente que 4.
Demostrar que el conjunto de polinomios {1+ t, t + t
2
, t
2
+ t
3
,t
3
} es una base de dicho espacio
vectorial.
Extender este conjunto hasta formar una base del espacio vectorial P
4
de los polinomios reales
de grado menor o igual que 4.

40
SOLUCION PROBLEMA 2
"Los polinomios de grado estrictamente menor que 4 son de la forma"

"p(t)= a0 + a1 t + a2 t^2 + a3 t^3 donde"

"a0, a1, a2, a3 son nmeros reales."

"(a)"

"Para demostrar que los polinomios"

"{1+t, t+t^2, t^2+t^3, t^3} Forman una base"

"debemos demostrar dos cosas:"

"1) que son conjunto L.I. de vectores"

"Llamemos a estos vectores:"

p1:=1+t

p2:=t+t^2

p3:=t^2+t^3

p4:=t^3

"Para ver que son l.i., planteamos la ecuacin vectorial"

a*p1+b*p2+c*p3+d*p4=0

"obsrvese que 0 es el elemento neutro de los polinomios"

"simplificando la expresin anterior"

;Simp(#18)
a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3=0

"Expandimos la expresin"

;Expd(#21)
a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3=0

"esta igualdad se verifica si"

[a=0,a+b=0,b+c=0,c+d=0]

"pues dos polinomios son iguales si son iguales los"

"coeficientes de sus monomios"

"ahora resolviendo el sistema"

;Solve(#25)
[a=0,b=0,c=0,d=0]
41

"luego son l.i."

"2) Veamos que son un sistema de generadores"

"del conjunto de polinomios de grado menor estricto que 3"

"definimos un polinomio cualquiera de grado menor estricto"

"que 3"

p:=a0+a1*t+a2*t^2+a3*t^3

"veamos si se puede escribir como combinacin lineal"

"de los vectores p1,p2,p3,p4"

p=a*p1+b*p2+c*p3+d*p4

"simplifico"

;Simp(#38)
a0+a1*t+a2*t^2+a3*t^3=a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3

"expandiendo EXPAND"

;Expd(#40)
a0+a1*t+a2*t^2+a3*t^3=a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3

[a0=a,a1=a+b,a2=b+c,a3=c+d]

"luego si resuelvo respecto de a,b,c,d"

;Solve(#43)
[a=a0,b=a1-a0,c=a0-a1+a2,d=-a0+a1-a2+a3]

"que ser n los valores que debe tomar la combinacin lineal"

"Por ejemplo"

"sea el polinomio de grado menor que 4"

pol:=3+4*t-5*t^2

"Se podr generar con p1,p2,p3,p4"

pol=a*p1+b*p2+c*p3+d*p4

;Simp(#51)
-5*t^2+4*t+3=a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3

;Expd(#52)
-5*t^2+4*t+3=a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3

[3=a,4=a+b,-5=b+c,0=c+d]
42

;Solve(#54)
[a=3,b=1,c=-6,d=6]

"efectivamente si efectuaos"

;User=Simp(User)
3*p1+p2-6*p3+6*p4=-5*t^2+4*t+3

"el polinomio que desebamos generar"

"========="

"El segundo apartado pide ampliar hasta formar una base de P4"

"Bastar aadir el vector"

p5:=t^4

"Ahora si tomamos {p1,p2,p3,p4,p5}"

"estos vectores son una base de los polinomios de grado"

"menor o igual que 4"

"A) son l.i."

a*p1+b*p2+c*p3+d*p4+e*p5=0

;Simp(#67)
a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3+e*t^4=0

"expandimos"

;Expd(#68)
a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3+e*t^4=0

"el sistema de ecuaciones a resolver es"

[a=0,a+b=0,b+c=0,c+d=0,e=0]

;Solve(#72)
[a=0,b=0,c=0,d=0,e=0]

"luego son l.i."

"B) Generan cualquier polinomio de grado menor o igual"

"que 4"

"Sea un polinomio grado menor o igual que 4 genrico"

q:=a0+a1*t+a2*t^2+a3*t^3+a4*t^4

"Se puede expresar como combinacin lineal de la base?"
43

q=a*p1+b*p2+c*p3+d*p4+e*p5

"simplifico"

;Simp(#80)
a0+a1*t+a2*t^2+a3*t^3+a4*t^4=a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3+e*t^4

"expando"

;Expd(#82)
a0+a1*t+a2*t^2+a3*t^3+a4*t^4=a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3+e*t^4

"Primer miembro"

a0+a1*t+a2*t^2+a3*t^3+a4*t^4

"Segundo miembro"

a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3+e*t^4

"Luego la ecuacin que ha de verificarse es"

[a0=a,a1=a+b,a2=b+c,a3=c+d,a4=e]

"resolviendo respecto de a,b,c,d,e resulta"

;Solve(#90)
[a=a0,b=a1-a0,c=a0-a1+a2,d=-a0+a1-a2+a3,e=a4]

"luego existen valores, que generar n cualquier vector"

"Por ejemplo"

"El polinomio de grado 4"

pol4:=6*t-5*t^4

"qu combinacin lineal requiere?"

pol4=a*p1+b*p2+c*p3+d*p4+e*p4

"simplifico"

;Simp(#98)
6*t-5*t^4=a*(t+1)+b*(t^2+t)+c*(t^3+t^2)+d*t^3+e*t^3

"expando"

;Expd(#100)
6*t-5*t^4=a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3+e*t^3

"Primer miembro"

6*t-5*t^4
44

"segundo miembro"

a*t+a+b*t^2+b*t+c*t^3+c*t^2+d*t^3+e*t^3

"Ecuaciones"

[a=0,a+b=6,b+c=0,c+d=0,e=-5]

"resolvemos"

;Solve(#108)
[a=0,b=6,c=-6,d=6,e=-5]

"luego la combinacin lineal ser "

;User=Simp(User)
0*p1+6*p2-6*p3+6*p4-5*p5=t*(6-5*t^3)

t*(6-5*t^3)

"expando"

;Expd(#113)
6*t-5*t^4

"vector inicial"

PROBLEMA 3.
Sea V
0
un subespacio de R
n
. Definir a V
0
como el conjunto de todos los vectores de R
n
que son
ortogonales a TODOS los vectores del subespacio V
0
.
a. Comprobar que V
0
es un subespacio vectorial de R
n
.
b. Si en particular V
0
el subespacio vectorial de R
3
cuya base viene dada por los vectores
{(2,1,-3),(-1,0,-2)}. Encontrar una base para V
0
.
"Primera parte"

"Supongamos que nos fijamos en R^3 por ejemplo"

"Si el subespacio V0={(x,y,z) pert. R^3 /ax+by+cz=0}"

"Se trata de un subespacio de dimensin 2,"

"y ademas se trata de un plano, por consiguiente"

"el subespacio ortogonal V0+ estar generado por"

"una recta que es perpendicular a V0"

45
"qu vector genera esa recta? seria el vector"

"(a,b,c), puesto que si (x,y,z) es de V0"

"(a,b,c).(x,y,z) = 0 (por la ecuacin de V0"

"Si el subespacio V0={(x,y,z)/ ax+by+cz=0,a'x+b'y+c'z=0}"

"entonces el subespacio ser una recta en cuyo"

"caso el subespacio vectorial ser un plano perpendicular"

"para obtenerlo, bastara buscar vectores que sean"

"perpendiculares (ortogonales) a los vectores de la base"

"es decir planteando ecuaciones de la forma"

" (vector1 de la base).(x,y,z)=0"

" (vector2 de la base).(x,y,z)=0"

"Obsrvese que las ecuaciones que se obtienen"

"son siempre lineales igualadas a cero"

"------- GENERALIZANDO"

"Si tenemos un subespacio vectorial V0,"

"Para obtener el subespacio ortogonal V0+ debemos"

"primero calcular una base de V0"

"Si la base de V0 es {u1,u2,...,un}"

"el subespacio ortogonal tiene por ecuaciones"

"cartesianas las siguientes"

"(si las componentes de un vector cualquiera de"

" V0+ vienen dadas por u)"

"entonces las ecuaciones cartesianas de V0+ son"

"u1.u=0"

"u2.u=0"

"...."

"un.u=0"

"Que evidente son ecuaciones de un subespacio vectorial"
46

"---------"

"(b)"

"V0 = L{(2,1,-3),(-1,0,-2)}"

"Base del subespacio?"

"BV0={u1,u2} donde"

u1:=[2,1,-3]

u2:=[-1,0,-2]

"Sea u un vector del subespacio V0+"

u:=[x,y,z]

"entonces sus ecuaciones cartesianas son"

[u1 . u=0,u2 . u=0]

;Simp(#49)
[2*x+y-3*z=0,-x-2*z=0]

"Ecuaciones paramtricas?"

"se obtienen resolviendo"

[2*x+y-3*z=0,-x-2*z=0,0]

"hemos aadido un cero porque el nmero ecuaciones era"

"menor al de incgnitas"

;Solve(#53)
[x=@1,y=-7*@1/2,z=-@1/2]

"Por tanto una base de V0+ viene dada por"

v:=[1,-7/2,-1/2]

"o el vector proporcional a el sin denominadores"

w:=[2,-7,-1]

"todos los vectores de V0 son ortogonales a los"

"vectores de V0+?"

"Vamos a comprobarlo"

"Los vectores de V0+ son proporcionales a W"

47
h:=a*w

;Simp(#65)
[2*a,-7*a,-a]

"los vectores ce V0 son combinacin lineal de"

"los vectores u1 y u2, luego son de la forma"

v0:=b*u1+c*u2

;Simp(#69)
[2*b-c,b,-3*b-2*c]

"el producto escalar de h y v0 es cero?"

;User=Simp(User)
h . v0=0

"Luego efectivamente ese es el procedimiento"

PROBLEMA 4.
Sea H={(x
1
,x
2
,x
3
,x
4
,x
5
,x
6
) R
6
/x
1
+2x
2
-x
3
=0,x
2
+2x
3
-x
4
=0,x
3
-x
4
+x
5
=0}. Se pide:
a. Obtener una base B de H.
b. Calcular las coordenadas del vector (1,2,3,-8,-11) en dicha base.


"(a)"

"Las ecuaciones cartesianas de H son"

[x1+2*x2-x3=0,x2+2*x3-x4=0,x3-x4+x5=0]

"H es un subespacio de R^5 por tanto tenemos 6 incgnitas"

"en la anterior expresin, por tanto rescribiremos aadiendo"
48

"la variable x6 con la identidad x6=x6"

[x1+2*x2-x3=0,x2+2*x3-x4=0,x3-x4+x5=0,x6=x6]

"aadimos ademas dos ceros pues hay cuatro ecuaciones"

[x1+2*x2-x3=0,x2+2*x3-x4=0,x3-x4+x5=0,x6=x6,0,0]

"resolviendo con SOLVE"

;Solve(#12)
[x1=@1,x2=@2,x3=@1+2*@2,x4=2*@1+5*@2,x5=@1+3*@2,x6=@3]

"Obtenemos las ecuaciones paramtricas del subespacio H."

"Por tanto un sistema de generadores de H viene dado por los vectores"

u1:=[1,0,1,2,1,0]

u2:=[0,1,2,5,3,0]

u3:=[0,0,0,0,0,1]

"forman una base?"

"Veamos que son l.i."

a*u1+b*u2+c*u3=[0,0,0,0,0,0]

;Simp(#22)
[a=0,b=0,a+2*b=0,2*a+5*b=0,a+3*b=0,c=0]

;Solve(#23)
[a=0,b=0,c=0]

"Por tanto"

"BASE DEL SUBESPACIO H"

" B={(1,0,1,2,1,0),(0,1,2,5,3,0),(0,0,0,0,0,1)}"

"------"

"b)"

"Consideremos el vector dado"

"(en el enunciado del problema haba una errata pues"

"el vector tena solo 5 componentes y deba tener 6)"

"el vector seria"

v:=[1,2,3,-8,-1,1]
49

"las coordenadas de v en esta base B seran"

v=x*u1+y*u2+z*u3

;Simp(#36)
[1=x,2=y,3=x+2*y,-8=2*x+5*y,-1=x+3*y,1=z]

"obtenemos que no hay soluciones, lo cual quiere decir"

"que el vector v no pertenece al subespacio H"

"esto es fcil de comprobar pues no satisface las"

"ecuaciones cartesianas:"

;User=Simp(User)
v SUB 1+2*v SUB 2-v SUB 3=2

"distinta de 0"

"Y por otro lado"

;User=Simp(User)
v SUB 2+2*v SUB 3-v SUB 4=16

;User=Simp(User)
v SUB 3-v SUB 4+v SUB 5=10

"No cumple ninguna de las ecuaciones cartesianas."

PROBLEMA 5.
Calcular
a. L
1
L
2
, siendo L
1
={(x,y,z,t) R
4
/x=y=z=t} y L
2
={(x,y,z,t) R
4
/x=z, y=t}
b. L
2
L
3
, siendo L
3
={(x,y,z,t) R
4
/y=2t,t=2z}.
c. Indicar si la suma es directa en cada uno de los siguientes casos: L
1
+L
2
, L
1
+L
3
, L
2
+L
3
y
calcularla.

"(a)"

"El subespacio interseccin se obtiene"

"planteando TODAS las ecuaciones cartesianas de L1 y L2"

"L1 interseccin L2 esta determinado por las ecuaciones"

[x=y,y=z,z=t,x=z,y=t]
50

"resuelvo"

;Solve(#8)
[x=@3,y=@3,z=@3,t=@3]

"Luego un sistema de generadores de la interseccin"

"es el vector U1, que por ser no nulo es base de L1 int. L2"

u1:=[1,1,1,1]

"-----"

"(b)"

"Estudiemos L2 int. L3"

"Sus ecuaciones cartesianas vienen dadas por"

[x=z,y=t,y=2*t,t=2*z]

"si resolvemos"

;Solve(#18)
[x=0,y=0,z=0,t=0]

"En este caso L2 int. L3 = {(0,0,0,0)}"

"-----"

"(c)"

"L1 + L2 es directa?"

"NO pues L1 int. L2 no es el vector nulo"

"Calculemos L1 + L2"

"Una base de L1 ?"

[x=y,y=z,z=t,0]

;Solve(#28)
[x=@4,y=@4,z=@4,t=@4]

"viene dada por el vector"

u1:=[1,1,1,1]

"Una base de L2?"

[x=z,y=t,0,0]

;Solve(#33)
51
[x=@5,y=@6,z=@5,t=@6]

"Luego L2 esta generado por los vectores"

v1:=[1,0,1,0]

v2:=[0,1,0,1]

"que al no ser proporcionales forman una base del mismo"

"Luego L1 + L2 esta generado por los vectores"

"u1, v1, v2"

"es decir que sus ecuaciones paramtricas son"

[x,y,z,t]=a*u1+b*v1+c*v2

;Simp(#42)
[x=a+b,y=a+c,z=a+b,t=a+c]

"eliminemos par metros a, b y c para obtener sus"

"ecuaciones cartesianas"

"eliminemos par metro a"

x=a+b

;Solve(#47)
a=x-b

;Sub(#43)
[x=(x-b)+b,y=(x-b)+c,z=(x-b)+b,t=(x-b)+c]

;Simp(#49)
[x=x,y=x-b+c,z=x,t=x-b+c]

"eliminemos b"

y=x-b+c

;Solve(#52)
b=x-y+c

;Sub(#50)
[x=x,y=x-(x-y+c)+c,z=x,t=x-(x-y+c)+c]

;Simp(#54)
[x=x,y=y,z=x,t=y]

"luego L1+L2={(x,y,z,t)/ z=x, t=y}"

"es decir L1+L2=L2 pues L1 esta contenido en L2"

52
"obsrvese que el vector U1 es suma de v1+v2"

"----"

"L1+L3 es suma directa?"

"calculemos su interseccin L1 int. L3"

"resolvamos ecuaciones cartesianas"

[x=y,y=z,z=t,y=2*t,t=2*z]

;Solve(#63)
[x=0,y=0,z=0,t=0]

"luego L1 int. L3 ={(0,0,0,0)} en consecuencia"

l1+l3*es*suma*directa . calculemos*el*subespacio

"Ya tenamos una base de L1 BL1={u1}, donde"

;User=Simp(User)
u1=[1,1,1,1]

"Calculemos una base de L3"

[y=2*t,t=2*z,x=x,0]

"aadimos x=x porque la x no esta en las ecuaciones"

"para que al resolverse el sistema nos da un par metro a x"

;Solve(#70)
[x=@8,y=@9,z=@9/4,t=@9/2]

"Luego una base de L3 es BL3={w1,w2} donde"

w1:=[1,0,0,0]

w2:=[0,1,1/4,1/2]

"En consecuencia un sistema de generadores de L1+L3 es"

"el formado por los vectores {u1,w1,w2}"

"sus ecuaciones paramtricas son"

[x,y,z,t]=a*u1+b*w1+c*w2

;Simp(#80)
[x=a+b,y=a+c,z=a+c/4,t=a+c/2]

"eliminemos par metros para obtener las cartesianas"

"eliminamos "*a*""
53

x=a+b

;Solve(#84)
a=x-b

;Sub(#81)
[x=(x-b)+b,y=(x-b)+c,z=(x-b)+c/4,t=(x-b)+c/2]

;Simp(#86)
[x=x,y=x-b+c,z=x-b+c/4,t=x-b+c/2]

"eliminamos b"

y=x-b+c

;Solve(#89)
b=x-y+c

;Sub(#87)
[x=x,y=x-(x-y+c)+c,z=x-(x-y+c)+c/4,t=x-(x-y+c)+c/2]

;Simp(#91)
[x=x,y=y,z=(4*y-3*c)/4,t=(2*y-c)/2]

"eliminamos c"

z=(4*y-3*c)/4

;Solve(#94)
c=4*(y-z)/3

;Sub(#92)
[x=x,y=y,z=(4*y-3*(4*(y-z)/3))/4,t=(2*y-4*(y-z)/3)/2]

;Simp(#96)
[x=x,y=y,z=z,t=(y+2*z)/3]

"Luego L1+L3 = {(x,y,z,t)/3t=y+2z}"

"Y una base de L1+L3 es la formada por B(l1+L3)={u1,w1,w2}"

"------"

" L2+L3 es suma directa?"

"Vimos en el apartado (a) que L2 int. Le = {(0,0,0,0)}"

"por tanto L2+L3 s es suma directa."

"Vamos a calcularla"

"L2 tiene como base {v1,v2}"

"L3 tiene como base {w1,w2}"
54

"Por tanto un sistema de generador de L2 +L3 es"

"{v1,v2, w1,w2}"

"en consecuencia sus ecuaciones paramtrica son"

[x,y,z,t]=a*v1+b*v2+c*w1+d*w2

;Simp(#110)
[x=a+c,y=b+d,z=a+d/4,t=b+d/2]

"eliminemos par metros para obtener las cartesianas"

"eliminamos a"

x=a+c

;Solve(#114)
a=x-c

;Sub(#111)
[x=(x-c)+c,y=b+d,z=(x-c)+d/4,t=b+d/2]

;Simp(#116)
[x=x,y=b+d,z=x-c+d/4,t=b+d/2]

"eliminamos b"

y=b+d

;Solve(#119)
b=y-d

;Sub(#117)
[x=x,y=(y-d)+d,z=x-c+d/4,t=(y-d)+d/2]

;Simp(#121)
[x=x,y=y,z=x-c+d/4,t=y-d/2]

"eliminamos c"

z=x-c+d/4

;Solve(#124)
c=(4*x-4*z+d)/4

;Sub(#122)
[x=x,y=y,z=x-(4*x-4*z+d)/4+d/4,t=y-d/2]

;Simp(#126)
[x=x,y=y,z=z,t=y-d/2]

"eliminamos d"

55
t=y-d/2

;Solve(#129)
d=2*(y-t)

;Sub(#127)
[x=x,y=y,z=z,t=y-2*(y-t)/2]

;Simp(#131)
[x=x,y=y,z=z,t=t]

"esto quiere decir que L2+L3 = R^4"

PROBLEMA 6.
Una empresa constructora tiene un pedido de ocho tipos de casas: 5 casas de tipo 1, 20 casas de
tipo 2, 12 casas de tipo 3, 21 casas de tipo 4 y 87 casas de tipo 5. Supongamos que cada casa del
tipo 1 necesita 13 unidades de madera, cada casa del tipo 2 necesita 16 unidades, las del tipo 3
necesita 45 unidades, las del tipo 4 necesitan 21 unidades y las del tipo 5 necesita 87 unidades
de madera.
a. Expresar de forma vectorial la solucin del problema y calcular la cantidad de madera
que se necesita en total.
b. Si por motivos extraordinarios resulta que el suministrador de madera nos ha limitado la
cantidad de madera total para la construccin de los cinco tipos de vivienda a 6.238
unidades de madera, suponiendo que ya habamos construido los cuatro primeros tipos
de vivienda, ser necesario modificar el modelo de vivienda tipo 5? de qu forma?

"(a)"

"vector de nmero de casas de cada tipo"

num_ casas:=[5,20,12,21,87]

"vector de cantidad de madera necesaria para cada casa"

madera:=[13,16,45,21,87]

"madera total necesaria"

;User=Simp(User)
num_casas . madera=8935

"RESPUESTA: 8935 UNIDADES DE MADERA"

"---"

"(b)"

"num casas de los construido"

56
casas_construidas:=[5,20,12,21]

"madera utilizada"

madera_us:=[13,16,45,21]

;User=Simp(User)
casas_construidas . madera_us=1366

"Luego tenemos"

;User=Simp(User)
6238-1366=4872

"4872 unidades de madera para construir las casas de tipo 5"

"por tanto o bien se reduce el nmero de casas"

"con las mismas cantidades de madera construida"

;User=Simp(User)
4872/87=56

"en cuyo caso slo se construirn 56 de las 87 planeadas"

"o bien se reducen las calidades de la misma"

"de tal forma que en vez de usar 87 unidades de madera"

"por casa usemos 56, construyendo un total de 87"

PROBLEMA 7.
Dados los subespacios vectoriales de R
4
:
A=L{(1,2,1,1),(-1,0,1,0),(2,2,0,1)} y B={(x,y,z,t) R
4
/2x-2y+2z-t=}
Se pide:
a. Obtener una base de cada uno de ellos.
b. Una base de A B.
c. Las ecuaciones cartesianas de A+B.
d. Si consideramos el conjunto suplementario de A al conjunto A
c
tal que A A
c
=R
4
.
Obtener A
c
.

"a) Calculemos una base de A"

"Definimos los vectores que forman el sistema de"

"generadores de A"
57

u1:=[1,2,1,1]

u2:=[-1,0,1,0]

u3:=[2,2,0,1]

"Veamos si son linealmente independientes"

"para ello planteamos la ecuacin vectorial"

a*u1+b*u2+c*u3=[0,0,0,0]

"simplifico"

;Simp(#12)
[a-b+2*c=0,2*a+2*c=0,a+b=0,a+c=0]

"resuelvo"

;Solve(#14)
[a=@1,b=-@1,c=-@1]

"infinitas soluciones luego son l.d."

"segn esta relacin se puede ver que"

"u1 - u2 - u3 = 0"

"luego u1 = u2+u3, comprobmoslos"

;User=Simp(User)
u2+u3=[1,2,1,1]

;User=Simp(User)
u1=[1,2,1,1]

"por tanto eliminemos por ejemplo el vector u1"

"u2 y u3 son l.i. porque no son proporcionales, pero"

"por tanto"

"BASE DE A {(-1,0,1,0),(2,2,0,1)}"

"Tambin podramos haber elegido u1, u2 o u1, u3."

"----"

"Base de B"

"Obtengamos un sistema de generadores de B, para lo cual"

"Vamos a obtener las ecuaciones paramtricas de B"

58
"a partir de sus ecuaciones cartesianas"

[2*x-2*y+2*z-t=0,0,0,0]

"hemos aadido tres ceros pues tenemos una ecuacin y"

"cuatro incgnitas. Si resolvemos ahora obtenemos"

;Solve(#33)
[x=@2,y=@3,z=@4,t=2*(@2-@3+@4)]

"Luego un sistema de generadores seria el"

"formado por los vectores"

v1:=[1,0,0,2]

v2:=[0,1,0,-2]

v3:=[0,0,1,2]

"Veamos si son l.i."

a*v1+b*v2+c*v3=[0,0,0,0]

"simplifico"

;Simp(#43)
[a=0,b=0,c=0,2*a-2*b+2*c=0]

"resuelvo"

;Solve(#45)
[a=0,b=0,c=0]

"luego son l.i., por tanto"

"Una BASE DE B ES {(1,0,0,2),(0,1,0,-2),(0,0,1,2)}"

"-----"

"B)"

"Para obtener una base de la interseccin tenemos que"

"obtener las ecuaciones cartesianas de A."

"Las ecuaciones paramtricas de A se pueden construir"

"a partir de los vectores de la base que hemos elegido"

"en nuestro caso u2 y u3 , por tanto"

[x,y,z,t]=a*u2+b*u3

59
"simplifico y obtengo las ecuaciones paramtricas"

;Simp(#57)
[x=2*b-a,y=2*b,z=a,t=b]

"elimino par metro a, a=z (tercera ecuacin)"

;Sub(#59)
[x=2*b-z,y=2*b,z=z,t=b]

"simplifico"

;Simp(#61)
[x=2*b-z,y=2*b,z=z,t=b]

"elimino ahora el par metro b, pues t=b"

;Sub(#63)
[x=2*t-z,y=2*t,z=z,t=t]

"por tanto ecuaciones cartesianas de A"

"A={(x,y,z,t) de R^4/ x=2t-z, y=2t}"

"Como las ecuaciones cartesianas de B son"

"B={(x,y,z,t) de R^4/ 2x-2y+2z-t=0}"

"Por tanto ecuaciones cartesianas de A interseccin B son"

[x=2*t-z,y=2*t,2*x-2*y+2*z-t=0]

"como tengo tres ecuaciones y cuatro incgnitas"

"aadimos un cero"

[x=2*t-z,y=2*t,2*x-2*y+2*z-t=0,0]

"resuelvo y obtengo"

;Solve(#74)
[x=@5,y=0,z=-@5,t=0]

"Luego un sistema de generadores de la interseccin viene dado"

"por el vector"

w1:=[1,0,-1,0]

"---"

"c)"

"Para obtener las ecuaciones cartesianas de A+B vamos"

60
"a obtener previamente una base de A+B"

"Como una base de A venia dada por los vectores u2,u3"

"Y una base de B venia dada por los vectores v1,v2,v3"

"Entonces un sistema de generadores de la suma A+B"

"vendr dado por los vectores {u2,u3,v1,v2,v3}"

"Vamos a obtener una base de este sistema de generadores"

"Cinco vectores de R^4 ser n l.i., pero veamos"

"que relaciones guardan"

a*u2+b*u3+c*v1+d*v2+e*v3=[0,0,0,0]

"simplifico"

;Simp(#91)
[-a+2*b+c=0,2*b+d=0,a+e=0,b+2*c-2*d+2*e=0]

"aado un cero"

[-a+2*b+c=0,2*b+d=0,a+e=0,b+2*c-2*d+2*e=0,0]

"resuelvo"

;Solve(#95)
[a=@7,b=0,c=@7,d=0,e=-@7]

"Luego los que son dependientes son"

"u2,v1 y v3, de tal forma que u2+v1-v3=0"

"comprobmoslo"

;User=Simp(User)
u2+v1-v3=[0,0,0,0]

"por tanto v3=u2+v1"

"comprobmoslo"

;User=Simp(User)
v3=[0,0,1,2]

;User=Simp(User)
u2+v1=[0,0,1,2]

"entonces eliminamos v3"

"Veamos si los que quedan son l.i. o l.d."

61
a*u2+b*u3+c*v1+d*v2=[0,0,0,0]

"simplifico"

;Simp(#108)
[-a+2*b+c=0,2*b+d=0,a=0,b+2*c-2*d=0]

"resuelvo"

;Solve(#110)
[a=0,b=0,c=0,d=0]

"Luego son l.i. en cuyo caso A+B = R^4"

"----"

"d)"

"Subespacio suplementario de A se obtiene"

"calculando una base de R^4, prolongada a partir"

"de la base de A"

"Como la base de A viene dada por los vectores u2,u3"

"y las ecuaciones cartesianas de A eran"

"A={(x,y,z,t) de R^4/ x=2t-z, y=2t}"

"por tanto para prolongar esta base consideremos"

"dos vectores que no esta n en A y que sean l.i."

"por ejemplo"

h1:=[1,0,0,0]

"claramente no cumple las ecuaciones pues x distinto 2t-z=0"

h2:=[0,0,0,1]

"tampoco pues y=0 es distinto a 2t=2"

"Por tanto una base prolongada de la de A para el"

"espacio R^4 seria la formada por"

"los dos vectores de la base de A u2,u3"

"y los dos nuevos vectores que no esta n en A"

"y son l.i., es decir"

"Base R^4 ={u2,u3, h1,h2}"
62

"Pues bien, el subespacio generado por h1 y h2"

"es justamente el subespacio suplementario o complementario a A"

"Puesto que A (+) Ac = R^4"

"Ya que A interseccin Ac = elemento nulo"

"Calculemos entonces las ecuaciones cartesianas de Ac"

"Planteemos primero sus ecuaciones paramtricas"

"como esta generado por los vectores h1 y h2, entonces"

[x,y,z,t]=a*h1+b*h2

"simplifico"

;Simp(#142)
[x=a,y=0,z=0,t=b]

"anulo los par metros a y b"

"fcilmente sustituyendo b por t y a por x"

;Sub(#144)
[x=x,y=0,z=0,t=t]

;Simp(#147)
[x=x,y=0,z=0,t=t]

"luego un subespacio seria"

"Ac={(x,y,z,t) de R^4 / y=z=0}"

PROBLEMA 8.
En el espacio vectorial real ordinario R
4
se consideran los subespacios vectoriales:
A=L{(1,1,1,0),(0,1,2,c),(c,1,-3,0)}
B={(x,y,z,t) R
4
/x-y+cz-t=0,x-y+cz+t=0, c R}
En funcin de los valores de c, hallar:
a. La dimensin de A y una de sus bases.
b. La dimensin de B y una de sus bases.
c. Una base de A B
d. Hallar los valores de c para los que A B.
SOLUCION AL PROBLEMA I10
"a)"
63

"Los vectores que general A son"

u1:=[1,1,1,0]

u2:=[0,1,2,c]

u3:=[c,1,-3,0]

"estudiemos su dependencia lineal"

a1*u1+a2*u2+a3*u3=[0,0,0,0]

"simplifico"

;Simp(#10)
[a1+a3*c=0,a1+a2+a3=0,a1+2*a2-3*a3=0,a2*c=0]

"intento resolver y me dice que no hay soluciones"

"aadamos tantos ceros como faltan para completar"

"el nmero de ecuaciones al de incgnitas"

[a1+a3*c=0,a1+a2+a3=0,a1+2*a2-3*a3=0,a2*c=0,0,0]

"ahora resolvamos respecto a1,a2,a3"

;Solve(#16)
[a1=0,a2=0,a3=0]

"luego esto quiere decir que independiente del valor de c"

"son vectores L.I."

"y por tanto forman una base de A"

"======> RESPUESTA"

" Base de A = {u1,u2,u3}"

" dim(A)=3"

"____________________________"

"b)"

"Las ecuaciones cartesianas de B son"

[x-y+c*z-t=0,x-y+c*z+t=0]

"Intentemos obtener ecuaciones paramtricas, para ello"

"aadimos dos ceros al sistema"

64
[x-y+c*z-t=0,x-y+c*z+t=0,0,0]

"resolvemos respecto x,y,z,t"

c:=

;Solve(#31)
[x=@11,y=@12,z=(@12-@11)/c,t=0]

"Por tanto ahora deberamos distinguir dos casos"

"si c=0 esta operacin no se puede realizar por lo"

"tanto debemos considerarla como caso aparte."

"Pero SI C es no nulo, un sistema de generadores viene dado"

"por"

v1:=[1,0,1/c,0]

v2:=[0,1,-1/c,0]

"que son claramente l.i. pues no son proporcionales"

"entonces si c distinto de 0, una base de B viene dada por"

"=====> Base de B si c no nulo {(1,0,1/c,0),(0,1,-1/c,0)}"

" dim(B)=2 si c no nulo"

"_________"

"----> qu sucede si c=0?"

"en ese caso las ecuaciones cartesianas de B son"

[x-y+c*z-t=0,x-y+c*z+t=0]

"para c=0, sustituimos c por ese valor y tenemos"

;Sub(#49)
[x-y+0*z-t=0,x-y+0*z+t=0]

;Simp(#51)
[x-y-t=0,x-y+t=0]

"aadimos dos ceros"

[x-y-t=0,x-y+t=0,0,0]

"resuelvo"

;Solve(#54)
[x=@13,y=@13,t=0]
65

"como no aparece z, pongamos en el sistema anterior z=z"

[x-y-t=0,x-y+t=0,0,z=z]

"resolvemos"

;Solve(#58)
[x=@14,y=@14,z=@15,t=0]

"luego si c=0 B esta generado por"

z1:=[1,1,0,0]

z2:=[0,0,1,0]

"en cuyo caso al ser dos vectores no proporcionales"

"se verifica que forman una base"

"tenemos por consiguiente"

"=====> si c=0 base de B = {(1,1,0,0),(0,0,1,0)}"

" y dim(B)=2"

"Por tanto como conclusin al apartado b"

"---------------> RESPUESTA"

"=====> si c=0 base de B = {(1,1,0,0),(0,0,1,0)}"

" y dim(B)=2"

"=====> Base de B si c no nulo {(1,0,1/c,0),(0,1,-1/c,0)}"

" dim(B)=2 si c no nulo"

"_____________________________________________"

"c)"

"Ahora deberemos considerar inicialmente estos dos casos"

"pues la interseccin depende de c (de la base de B)"

"CASO 1 C=0"

"En ese caso las base de A seria"

w1:=[1,1,1,0]

w2:=[0,1,2,0]

w3:=[0,1,-3,0]
66

"estudiemos sus ecuaciones cartesianas"

"Para obtener las ecuaciones cartesianas necesito"

"previamente las ecuaciones paramtricas de A, es decir"

[x,y,z,t]=a*w1+b*w2+c*w3

"simplifico"

;Simp(#87)
[x=a,y=a+b+c,z=a+2*b-3*c,t=0]

"eliminemos par metros a,b y c para obtener las cartesianas"

"elimino par metro a sustituyendo a por x"

;Sub(#89)
[x=x,y=x+b+c,z=x+2*b-3*c,t=0]

"elimino par metro b"

y=x+b+c

;Solve(#94)
b=-x+y-c

;Sub(#92)
[x=x,y=x+(-x+y-c)+c,z=x+2*(-x+y-c)-3*c,t=0]

;Simp(#96)
[x=x,y=y,z=-x+2*y-5*c,t=0]

"me falta eliminar par metro c"

z=-x+2*y-5*c

;Solve(#99)
c=-(x-2*y+z)/5

;Sub(#97)
[x=x,y=y,z=-x+2*y-5*(-(x-2*y+z)/5),t=0]

;Simp(#101)
[x=x,y=y,z=z,t=0]

"luego ecuaciones cartesianas de A son t=0"

"Las ecuaciones cartesianas de B para c=0 son"

[x-y-t=0,x-y+t=0]

"luego la interseccin tendr por ecuaciones cartesianas"

67
[x-y-t=0,x-y+t=0,t=0]

"aado la igualdad z=z, ya que z no est en el sistema"

[x-y-t=0,x-y+t=0,t=0,z=z]

"resuelvo"

;Solve(#109)
[x=@16,y=@16,z=@17,t=0]

"en cuyo caso tenemos que A int. B esta generado por los vectores"

k1:=[1,1,0,0]

k3:=[0,0,1,0]

"es decir, la base de B que obtuvimos en el apartado a"

"luego esto quiere decir que"

"=====> si c=0 A int. B = B"

" lo cual quiere decir que A esta en B"

"----"

"que sucede si c es no nulo?"

"Estudiemos ecuaciones paramtricas de A"

[x,y,z,t]=a1*u1+a2*u2+a3*u3

"simplifico"

;Simp(#122)
[x=a1+a3*c,y=a1+a2+a3,z=a1+2*a2-3*a3,t=a2*c]

"eliminemos los par metros a1, a2, y a3"

x=a1+a3*c

;Solve(#126)
a1=x-a3*c

;Sub(#124)
[x=(x-a3*c)+a3*c,y=(x-a3*c)+a2+a3,z=(x-a3*c)+2*a2-3*a3,t=a2*c]

;Simp(#128)
[x=x,y=x+a2+a3*(1-c),z=x+2*a2-a3*(c+3),t=a2*c]

"eliminemos par metro a2"

y=x+a2+a3*(1-c)

68
;Solve(#131)
a2=-x+y+a3*(c-1)

;Sub(#129)
[x=x,y=x+(-x+y+a3*(c-1))+a3*(1-c),z=x+2*(-x+y+a3*(c-1))-a3*(c+3),t=(-x+y+a3*(c~
-1))*c]

;Simp(#133)
[x=x,y=y,z=-x+2*y+a3*(c-5),t=-c*(x-y+a3*(1-c))]

"eliminemos ahora el par metro a3"

z=-x+2*y+a3*(c-5)

;Solve(#136)
a3=(x-2*y+z)/(c-5)

;Sub(#134)
[x=x,y=y,z=-x+2*y+(x-2*y+z)/(c-5)*(c-5),t=-c*(x-y+(x-2*y+z)/(c-5)*(1-c))]

;Simp(#138)
[x=x,y=y,z=z,t=c*(4*x-y*(c+3)+z*(c-1))/(c-5)]

"luego ecuaciones cartesianas sern"

t=c*(4*x-y*(c+3)+z*(c-1))/(c-5)

"pero cuidado si c=5? qu sucede."

"tendremos entonces que considerarle como caso aparte"

"entonces tenemos que si c es no nulo y distinto de 5"

"las ecuaciones cartesianas de A son"

t=c*(4*x-y*(c+3)+z*(c-1))/(c-5)

"y las ecuaciones de la interseccin"

[t=c*(4*x-y*(c+3)+z*(c-1))/(c-5),x-y+c*z-t=0,x-y+c*z+t=0]

"aadimos un cero"

[t=c*(4*x-y*(c+3)+z*(c-1))/(c-5),x-y+c*z-t=0,x-y+c*z+t=0,0]

"resolvemos"

;Solve(#150)
[x=@18,y=@18*(3*c+1)/(c^2+2*c+1),z=@18*(1-c)/(c^2+2*c+1),t=0]

"Luego en caso c no nulo y distinto de 5, tenemos"

"que un sistema de generadores de la interseccin seria"

"el formado por el vector"
69

[1,(3*c+1)/(c^2+2*c+1),(1-c)/(c^2+2*c+1),0]

"------"

"Si c = 5 veamos qu sucede"

"los vectores de la base para c=5 de A seran"

j1:=[1,1,1,0]

j2:=[0,1,2,5]

j3:=[5,1,-3,0]

"ecuaciones paramtricas"

[x,y,z,t]=a1*j1+a2*j2+a3*j3

"simplifico"

;Simp(#164)
[x=a1+5*a3,y=a1+a2+a3,z=a1+2*a2-3*a3,t=5*a2]

"ecuaciones paramtricas-> elimino par metros"

"elimino a1"

x=a1+5*a3

;Solve(#169)
a1=x-5*a3

;Sub(#166)
[x=(x-5*a3)+5*a3,y=(x-5*a3)+a2+a3,z=(x-5*a3)+2*a2-3*a3,t=5*a2]

;Simp(#171)
[x=x,y=x+a2-4*a3,z=x+2*a2-8*a3,t=5*a2]

"elimino a2"

y=x+a2-4*a3

;Solve(#174)
a2=-x +y +4*a3

;Sub(#172)
[x=x,y=x+(-x+y+4*a3)-4*a3,z=x+2*(-x+y+4*a3)-8*a3,t=5*(-x+y+4*a3)]

;Simp(#176)
[x=x,y=y,z=2*y-x,t=-5*(x-y-4*a3)]

"elimino a3"

t=-5*(x-y-4*a3)
70

;Solve(#179)
a3=(5*x-5*y+t)/20

;Sub(#177)
[x=x,y=y,z=2*y-x,t=-5*(x-y-4*((5*x-5*y+t)/20))]

;Simp(#181)
[x=x,y=y,z=2*y-x,t=t]

"luego ecuaciones cartesianas de A para c=5 son"

z=2*y-x
"En ese caso las ecuaciones cartesianas de A int. B son"

[z=2*y-x,x-y+5*z-t=0,x-y+5*z+t=0,0]

"resolviendo"

;Solve(#186)
[x=@19,y=4*@19/9,z=-@19/9,t=0]

"en cuyo caso la base de la interseccin seria el vector"

[1,4/9,-1/9,0]
"________________________________________________"
"d)"
"Hemos visto que los valores de para los que A incluido en B son"

"para c = 0."

71

BIBLIOGRAFIA.

BARBOLLA, R; SANZ PALOMA. lgebra lineal y teora de matrices.
ESPINOZA RAMOS E. lgebra Lineal.
LAZARO CARRION M. lgebra lineal.
SANZ P. lgebra lineal, Cuestiones, ejercicios y tratamiento en derive.
STANLEY I GROSSMAN. lgebra lineal.
NAKOS G; JOYNER D. lgebra lineal con aplicaciones.

Algebra Lineal

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra Lineal

Transféré par

Droits d'auteur :

Formats disponibles

ESPACIOS VECTORIALES ING.

CARLOS GARCIA CORTEGANO

nte independie e linealment es S : r

= Como A es una matriz de 2x3 , S es un subespacio de R

Vous aimerez peut-être aussi