Documente Academic
Documente Profesional
Documente Cultură
CAPITULO II
ESPACIOS VECTORIALES
Definicin:
Se llama o , a todo Espacio Vectorial Real Espacio Lineal sobre
conjunto no vaco , en el cual pueden definirse dos operaciones, a Z
saber y , las cuales satisfacen las Suma Multiplicacin por Escalar
siguientes condiciones.
Dados , , ; , , se cumple que: ? @ A Z - .
1. y est nicamente determinado ? @ Z
2. y est nicamente determinado -? Z
3. ? @ A ? @ A
% ? @ @ ?
5. Existe Neutro Aditivo en , el cual se denota por , tal que Z !
! ? ?
6. Para cada en existe Inverso Aditivo de , el cual se denota por ? Z ?
? ? ? ! tal que
7. - - - ? @ ? @
8. - . - . ? ? ?
9. -. - . ? ?
10. " ? ?
Observaciones:
1. Si es un Espacio Vectorial los elementos de se llaman . Z Z vectores
2. Se pueden definir tambin Espacios Vectoriales sobre , en lugar
de .
3. Se estudiarn los Espacios vectoriales sobre . (E.V.R.)
2
Ejemplos:
1. con la suma y multipliacin usual es un E.V.R.
2. con
8
= !
! ! !
+ + + + + +
" # 8 " # 8
+ + , , + , + , + ,
" 8 " 8 " " # # 8 8
+ + + + + + - - - -
" # 8 " # 8
es un E.V.R.
3. con la suma y multiplicacin por escalar usual es un Q
78
E.V.R.
4.
8
1< ! B :B :B 8 :B 8
con la suma y multiplicacin por escalar usual es un E.V.R.
5. es funcin E 0 E qqqqqp 0
Con la funcin nula y con la suma y multiplicacin por escalar !
f
usual es un E.V.R.
6. es continua G E 0 E qqqqqp 0
con la suma y multiplicacin por escalar usual es un E.V.R.
7. es derivable H E 0 E qqqqqp 0
con la suma y multiplicacin por escalar usual es un E.V.R.
8. es invertible Z E Q E
8
con la suma y multiplicacin por escalar usual no es un E.V.R., pues
.
! Z
3
Ejemplo:
Demuestre que:
P B C B C $ # !
#
con la suma y multiplicacin por escalar usual de es un E.V.R
#
Solucin:
Sean , . + , - . P -
Se cumple que:
1. y + , - . + - , .
$ # $+ #, $- #. + - , .
! !
!
Por tanto, . + , - . P
2. - - - + , + ,
$ # $ # - - - + , + ,
! -
!
3. Queda de ejercicio mostrar que el resto de las condiciones se
cumplen
Por tanto, es un E.V.R. P
Ejemplo:
P B C B C $ # "
#
con la suma y multiplicacin por escalar usual de , no es un E.V.R.
#
Solucin:
Sea . + , P
Se tiene que y # # # + , + ,
$# ## #$ # + , + ,
# " # "
Por tanto, luego, no es un E.V.R. # + , P P ,
4
Ejemplo:
Demuestre que
P B C D
$
B D
C
# " "
es un E.V.R.
Solucin:
Sean . B C D + , - P -
Como tal que # B C D P b B ! !
C !
D !
Como tal que # + , - P b + " "
, "
- "
Por otro lado,
1.
B + D -
C ,
# " " # " "
# #
! " ! " ! "
V ! " ! " ! "
Por tanto, B C D + , - P
2. = y - - - - B C D B C D
- - - ! -! -!
-
B D
C
# " " # " "
#
V -! -! -!
Por tanto, . - B C D P
3. Queda de ejercicio mostrar que el resto de las condiciones se
cumplen
Por tanto, es un E.V.R. P
5
Teorema:
Sea un E.V.R. Se cumple que: Z
1. es nico
!
2. El inverso aditivo es nico
3. a ? @ A Z ? @ ? A @ A
4. a ! ! - -
5. a ? Z ? ! !
6. a a ? Z ? ! ? ! - - - !
Definicin:
Sea un E.V.R. y , . Z [ Z [ g
Se dice que es un , si es un E.V.R [ Z [ subespacio vectorial de
con las mismas operaciones de . Z
Se anota: . [ Z
Observacin:
Si un E.V.R. y , y Z [ Z [ ! [ g
$
B
$
[ ] .
Solucin:
Sean ; :B ;B [ -
con :B +B ,B -B .
3 #
;B + B , B - B .
" " " "
3 #
7
Se tiene que:
1. + = :B ;B + + B , , B - - B . .
" " " "
3 #
en donde :
( # . . + + - -
" " "
( # ( # . + - . + -
" " "
! ! !
Por tanto, + :B ;B [
2. donde : - - - - - :B +B ,B -B .
3 #
- - - - . + - . + - ( # ( #
! ! -
Por tanto, -:B [
[ ] Por tanto, de (1) y (2) se tiene que . [ B
$
Ejemplo:
Pruebe que
[ ] [ +B ,B - B + , - =
3
" # "
$
$
[ ] B .
Solucin:
Sean ; :B ;B [ - ,con :
:B +B ,B - ;B + B , B - " "
3 3
" " "
Se tiene que:
1. + = :B ;B + + B , , B - - #
" " "
3
:B ;B + + B , , B - - + = y " "
" " "
3
# " + + , , B - -
" " "
8
# # " + , - + , -
" " "
" " " "
Por tanto, + :B ;B [
2. - - - - :B +B ,B - "
3
y - - - - :B +B ,B - " " "
3
# " " - - - + , -
# " - - - - + , -
# " - - + , -
" " " - -
Por tanto, -:B [
[ ] Por tanto, de (1) y (2) se tiene que . [ B
$
Ejemplo:
Determine si
[ ] [ ] [ +B ,B - B + , - B = .
#
# #
"
Solucin:
pues ! ! ! ! ! ! " B B [
#
Luego, . [ B no es subespacio vectorial de [ ]
#
Ejemplo:
Pruebe que
Y Q + , - Q
+ ,
- .
=
# !
# #
Solucin:
Sean E F Y
+ , + ,
- . - .
" "
" "
-
Se tiene que:
9
1. y E F
+ + , ,
- - . .
" "
" "
# + + , , - -
" " "
# # + , - + , -
" " "
! ! !
Por tanto, . E F Y
2. = = y - -
- -
- -
E
+ , + ,
- . - .
# - - - + , -
# ! ! - - + , -
Por tanto, . - E Y
luego, de (1) y (2) se tiene que . Y Q
#
Ejemplo:
Determine si , siendo Y Q
#
= Y E Q ./>E
!
#
Solucin:
Se tiene que , pero E F Y
" ! ! !
! ! ! "
E F Y
" !
! "
Por tanto, . Y Q no es subespacio vectorial de
#
Teorema:
Si , E.V.R. ; , [ Z Z 3 8
3
" #
8
entonces, [ Z
3
3 "
10
Observacin:
Si , E.V.R. ; , [ Z Z 3 8
3
" #
se tiene que
8
no necesariamente es un subespacio [ Z
3
3 "
vectorial de . Z
Ejemplo:
Sean tales que [ [
"
#
#
[ B B
"
!
#
[ C C
#
#
!
Solucin:
Si Y [ [
" #
Se tiene que pero " ! ! " Y
+ " ! ! " " " Y
no es subespacio de Por tanto, . Y
#
Definicin:
Sea un E.V.R.. Z
Se dice que es (c.l.) de los vectores @ @ Z combinacin lineal
, si existen tales que @ @ @ Z
" # 8 " # 8
- - -
= @ @ @ @ - - -
" " # # 8 8
@ @
!
3
8
"
-
3 3
Ejemplo:
es c.l. de pues # $ & " ! ! ! " ! ! ! "
$ $
"
"
! "
#
! #
$
#
De aqu que, luego, ! " #
" $
# #
$
es c.l. de y $ % " # " " B B B B B B B
$ # # $ #
$
#
$ % " # " $ " B B B B B B B
$ # # $ #
$ " $
# # #
Ejemplo:
En [ ]
$
B
Es c.l. de ? & $ " # " # B B B B B B B
$ # # $ #
Solucin:
Por ver si existen tales que ! " #
& $ " # " # B B B B B B B
$ # # $ #
! " #
& $ " # # B B B B B B
$ # $ #
" ! " # ! #
13
" "
! " #
# !
! #
& &
# " $
$ $
# " $ "
Por lo tanto,
no es c.l. de . & $ " # " # B B B B B B B
$ # # $ #
Ejemplo:
En Q
#
Es c.l. de ?
#& & " " # ! & "
* ' # $ " " # !
Solucin:
Por ver si existen tales que ! " #
#& & " " # ! & "
* ' # $ " " # !
! " #
+
#& & # &
* ' # # $
! " # ! #
! " # ! "
# & #&
&
# # *
$ '
! " #
! #
! " #
! "
Considerando la matriz ampliada
" # & #& " ! ! "
# " # * ! ! " %
" ! " & ! " ! $
$ " ! ' ! ! ! !
#
! "
! "
! "
# ! " #
! " ! " #
! " #
#
! "
! " #
!
" #
B
C
D
>
Considerando la matriz ampliada se tiene:
16
" # ! ! # !
" " " ! " "
" ! ! " ! !
! " " ! ! !
B B D
C C D
D D
> C D >
pero :
+B ,B -B . B B B B
$ # #
# " $ # ! " #
$
# $ # +B ,B -B . B B
$ # #
" ! " # ! #
$
#
$
#
"
!
" #
! #
+
,
-
.
Considerando la matriz ampliada, se tiene
#
.
17
El sistema tiene solucin si % $ % ' ! + , - .
Luego,
[ +B ,B -B . + , - . B % $ % ' !
$ #
$
Definicin:
Sean , E.V.R. Y [ Z Z
Se define el conjunto como Y [
Y [ B C B Y C [
Teorema:
Sean , E.V.R. Y [ Z Z
Se cumple que:
1. Y [ Z
2. Y [ Y [
Ejemplo:
Sean tales que Y [
3
Y B C D B C D
3
[ " " " " # "
Determine , . Y [ Y [
Solucin:
Para determinar + Y [
Y B C D B C D
3
C D C D C D
3
" " ! " ! " C D C D
luego, " " ! " ! "
Y [ " " ! " ! " " " " " # "
Sea B C D Y [
18
Existen tales que ! " # $
= " " ! " ! " " " " " # " B C D ! " # $
B
C
D
! " # $
! # $
" # $
#
Considerando la matriz ampliada se tiene
" ! ! % $ # $
! ! " #
! " ! " #
B C D
C B D
C B D
Como el sistema tiene solucin para todo se tiene que B C D
3
Y [
3
Para determinar Y [
Como [ " " " " # "
[ B C D B C D " " " " # " ! "
3
Considerando
" " " " # " B C D ! "
# B C D ! " ! " ! "
! "
! "
! "
B
C
D
19
" " " "
" # ! "
" " ! ! $ #
B B
C C B
D B C D
Con lo cual :
% ! %
& ! &
B C C B
B D D B
Por lo tanto
Y [ B C D C B D B % &
3
B B B B % &
3
" % &
Otra forma para determinar Y [
Y " " ! " ! "
[ " " " " # "
20
Sea B C D Y [
B C D Y B C D [
Se deben encontrar tales que ! " # $
= ! " # $ " " ! " ! " " " " " # "
# #
! " # $ ! " #
! # $ ! # $
" # $ " # $
!
!
!
Considerando la matriz ampliada
%
$
#
$
&
$
Es decir, ! $
" $
# $
%
$
&
$
#
$
Por lo tanto,
" " ! " ! " " " " " # "
% & #
$ $ $
$ $ $ $
" % & " % &
" "
$ $
$ $
Es decir , Y [ " % &
21
Ejemplo:
Sean tales que Y Z B
$
Y +B ,B -B . B + , - . # !
$ #
$
Z B B B B B $ " #
# # #
Determine , Y Z Y Z
Solucin:
Sea: + , - . + - . , # ! #
Con lo cual :
Y +B + - . B -B . # + - .
$ #
+ B B - B B . B " # + - .
$ # # #
# " B B B B B
$ # # #
luego:
Y Z B B B B B B # " $ "
$ # # # #
# B B B B
# #
Si :B :B :B Y Z Y Z
+B ,B -B . B B #B B B "
$ # $ # # #
! " #
+B ,B -B . $B " B B # B B
$ # # # #
- % .
es decir :
! " # - # " $ " B B B B B B
$ # # # #
# % . B B B B
# #
B B #B B B B ! " # - " $ "
$ # # # #
# ! % . B B B B
# #
B B ! ! " # - % .
$ #
# $
# ! " % . # - % B
#
!
! " # - % .
" % .
# - %
!
# $ !
!
!
22
luego
" ! ! ! ! !
" # " $ " "
! " ! ! " " ! ! " !
! ! " " # !
" ! ! ! ! !
! " ! ! " "
! ! ! "
( "
# #
$ "
# #
! !
" % .
# % .
- % .
( "
# #
$
# #
"
Con lo cual :
! # " B B B B B
$ # # # ( "
# #
% . % .
B B B B B $ " # !
$ "
# #
# # #
% . % .
B B B B B B %# #
# # # # ( ( * $
# # # #
.# ! B B B B B B
# # # # " " $ "
# # # #
Y Z B B B (
# # #
Ejemplo:
Sean tales que : Y [ Q
#
= Y + , -
+ + , -
, #+ - ,
[
" " " " ! "
" " " " ! !
Determine , Y Z Y Z
Solucin:
= Y + , -
+ + , -
, + - ,
#
23
= Y
" " ! " ! "
# ! " " ! "
E
[ F
" " " " ! "
" " " " ! !
luego : Y [ E F
" ! ! " " !
! " " # ! "
! " ! " " ! #
! " " " " !
+
, +
- +
.
" ! ! " " !
! ! " " " "
! " ! " " ! #
! ! " ! # ! #
+
, + -
- +
. - +
" ! ! " " !
! ! ! " " "
! " ! " " ! #
! ! " ! # ! #
+
. + ,
- +
. - +
Por lo tanto, el sistema siempre tiene solucin por lo que
Y [ Q
#
24
Teorema:
Sea un E.V.R. Z
Dados E F Z E F g
Se cumple que
1. Si entonces, . Y Z E Y E Y
2. Si , entonces, . E F E F
3. , si y slo si, .
E E E Z
4.
E F E F
Observacin:
Si es un E.V.R. y denota al neutro aditivo, se tiene que Z
!
= , luego .
! ! ! Z
Definicin:
Sea un E.V.R. y . Z @ @ @ Z
" # 8
1. El conjunto se dice que es
@ @ @
" # 8
linealmente
dependiente (l.d.), si y slo si, existen , - - -
" # 8
no todos nulos, tales que
!
3"
8
-
3 3
@
!
2. El conjunto se dice quees
@ @ @
" # 8
linealmente
independiente (l.i.), si y slo si, no es l.d.
Es decir, si y slo si,
!
3"
8
- -
3 3 3
@ 8
! " # = ! a 3
25
Teorema:
Sea un E.V.R. Z
Dados se cumple que: W W Z W W
" # " #
g
1. Si es l.d., entonces, es l.d. W W
" #
2. Si es l.i., entonces, es l.i. W W
# "
Ejemplo:
Si Z 8
8
y , ,...., / /
" #
" ! ! ! ! ! " ! ! !
/
8
! ! ! ! "
Se tiene que es l.i., pues:
/ / /
" # 8
!
3"
8
-
3 3
@ ! ! ! ! - - -
" # 8
" # -
3
= ! a 3
8
Ejemplo:
es l.d.? F
# " ! $ % "
% ! " & ( &
Solucin:
Sean tal que: ! " #
! " #
# " ! $ % " ! !
% ! " & ( & ! !
+ +
# % !
$ !
% ( !
& & !
! #
! " #
! " #
" #
# ! % ! " ! # !
" $ " ! ! $ $ !
% " ( ! ! " " !
! & & ! ! ! ! !
Por lo tanto, es l.d.
26
Ejercicios: En cada caso, determine si:
1. es l.d en E " " $ % " # ' ! #
$
2. es l.i en E " " ! % & $ " "
$
3. es l.i en E B B B B B B B # $ " "
# % $
%
4. es l.i en E B B B B B "
# $ %
%
5. E #B B B $ B B " B B
$ # $ #
es l.d en B &B "
#
3
B
6. E
" ! ! " ! ! ! !
! ! ! ! " ! ! "
es l.i. en Q
#
7. E
# " " " " "
" $ # " % $
es l.d. en Q
#
Teorema:
Sea un E.V.R. y Z E @ @ @ Z
" # 8
Son equivalentes las siguientes afirmaciones:
1. es l.d. E
2.
b @ E E @ E
3 3
3. es c.l. de los
b 3 4 @ E @ @
3 3 4
4. Algn elemento de , se puede expresar @ @ @ @
" # 8
de al menos dos formas distintas como c.l. de los
elementos de .
@ @ @
" # 8
27
Corolario:
Sea un E.V.R. y Z E @ @ @ Z
" # 8
Son equivalentes las siguientes afirmaciones:
1. es l.i. E
2.
a @ E E @ E
3 3
3. Todo elemento se puede expresar de @ @ @ @
" # 8
manera nica como c.l. de los elementos de .
@ @ @
" # 8
Corolario:
Sea un E.V.R. y Z E @ @ @ Z
" # 8
.
Entonces,
, si y slo si, .
E @ E @ E
Ejemplo:
" " " " " " # # #
Definicin:
Sea un E.V.R. y . Z E @ @ @ Z
" # 8
Se dice que:
genera a , si y slo si, E Z E Z
Ejemplo:
1. genera a " " ! "
2
2. genera a " ! ! "
2
3. genera a " " " # $ "
2
4. genera a " B B B B
# $
$
28
Ejemplo:
Sea definido por Z
$
Z B C D B C D B C # ! #
$
Adems, sean , , , tales que ! " # $
! " # $
" ! ! " ! ! ! ! ! !
! ! ! ! " ! ! " ! !
! !
! !
! "
# $
! ! " # $
luego, es l.i. F
" ! ! " ! ! ! !
! ! ! ! " ! ! "
Por tanto, es base de . F Q
#
A esta base se le llama . F Q base cannica de
#
Ejemplo:
Determine una base para
1. Y " " # $ " % # $ ' " " #
33
2. Y " # $ " " ! " $ ' ! " $
3. Y B B B B B B B B " $ " # &
# # # #
Ejemplo:
Sea Z B C D > B D > C D > "$ * $ # !
%
Demuestre que es base de . F Z % " " " & " " #
Solucin:
Sean sean , tales que ! "
+ ! " % " " " & " " # ! ! ! !
% & !
!
!
# !
! "
! "
! "
! "
% & ! " ! !
" " ! ! " !
" " ! ! ! !
" # ! ! ! !
4. es infinita, .37 E
si es funcin qqqqp E 0 E 0
36
5. Si es continua , Z 0 E 0 E
es infinita .37 Z
6. Si , [ E Q E E Q
# #
>
se tiene que y .37 Z $
esunabasede F [
" ! ! ! ! "
! ! ! " " !
7. Si Y \ Q \
" " !
# " !
#"
Se tiene que:
Y
! !
! !
Por tanto, .37 Y !
Ejemplo:
Sea y Z
%
. Z B C D > B D > C D > "$ * $ # !
%
Determine .37 Z
Solucin:
Como
B D > B D >
C D > C D >
"$ * ! "$ *
$ # ! $ #
Luego, si
B C D > Z
B C D > D > D > D > "$ * $ #
B C D > D > "$ $ " ! * # ! "
37
De aqu que:
Z "$ $ " ! * # ! "
y como es se tiene que F "$ $ " ! * # ! " l.i.
es base de . F Z
Por tanto, .37 Z #
Ejercicio:
Sean y E
" " " ! ! #
# " " # " !
$ " # ! ! "
Y \ Q E \ !
'"
Determine . .37 Y
Teorema: (Sustitucin)
Sea un E.V.R., con base de . Z F @ @ @ Z
" # 8
Sea tal que con entonces, , Z , !
!
3"
8
- -
3 3 "
@
es base de . F , @ @ Z
1
# 8
Ejemplo:
Dada la base F " " " " " ! " ! !
Determine el conjunto de vectores de que pueden sustituir a
$
cualquier vector de , de modo que el nuevo conjunto sea base de F
$
.
Solucin:
Sea @ + , -
$
Luego,
@ + , - " " " " " ! " ! ! ! " #
38
! " # !
! " "
! #
+ -
, , -
- + ,
Por tanto, para poder sustituir cualquiera de los vectores de , se debe F
cumplir que:
. ! " # ! ! !
Es decir,
. - , - + , !
Por tanto,
. W + , - - , - + , !
$
Por ejemplo, # " % W
Luego,
F
"
" " " " " ! # " %
F
#
# " % " " ! " ! !
F
$
" " " # " % " ! !
son bases de .
$
Teorema: (Extensin)
Sea un E.V.R. , Z .37Z 8
Sea l.i. con y . E @ @ @ < 8 E Z
" # <
Entonces:
Existen tales que es @ @ Z F @ @ @
< 8 8 " " #
base de Z
39
Ejemplo:
Sea E B B B B B " #
$ #
$
F
-
-
-
"
#
8
Ejemplo:
Sean F " " " " " # $ # "
F
"
" ! ! ! " ! ! ! "
bases de . F
#
! " ! ! ! " " ! !
3
Si , @ "! "& *
determine : , , . @ @ @
F F F
1
#
Solucin:
Para determinar consideremos el sistema @ :
F
" " $ "! " ! ! #
" " # "& ! " ! $
" # " * ! ! " &
42
luego,
@
F F
"! "& *
#
$
&
Para determinar consideremos el sistema @ :
F
1
" ! ! "!
! " ! "&
! ! " *
por lo tanto ,
@
F F
1
"! "& *
"!
"&
*
Para determinar consideremos el sistema @ :
F
#
! ! " "! " ! ! "&
" ! ! "& ! " ! *
! " ! * ! ! " "!
luego;
@
F F
#
"! "& *
"&
*
"!
Ejercicio:
Dadas las bases de
$
B
F B B B F B B B " "
# $ $ #
"
F B B B B B B B
#
$ # $ #
" # "
Si , : B B B B B ( ) (
$ #
$
determine : , , . : B : B : B
F F F
1 #
43
Ejemplo:
Sea
F
" ! # " " # $ "
! " " ! " " " "
base de . Q
#
a) Si , determine . E Q E
( %
# &
#
F
b) Determine , si . H Q H
%
"
#
"
#
F
Solucin:
a)
" # " $ ( " ! ! ! #
! " # " % ! " ! ! $
! " " " # ! ! " ! %
" ! " " & ! ! ! " "
luego,
E
F
F
( % $
# & %
#
"
b) H % " # "
" ! # " " # $ "
! " " ! " " " "
" %
! (
por lo tanto,
H
G
"
%
!
(
44
Definicin:
Sea un E.V.R. y Z
, bases de . F @ @ @ F A A A Z
" # 8 " " # 8
Se llama a la matriz , la cual cambia de matriz de cambio de base T
base a la base y se denota por: F F
"
T 3.
F
F
"
en donde la columna = para 4 A 4 8
4
F
"
Ejemplo:
Sean , F F # " " " " $ # "
"
bases de .
#
Determine . 3.
F
F
"
Solucin:
Expresando los sistemas simultaneos por medio de la siguiente matriz
ampliada se tiene :
luego;
# " " #
" " $ "
" !
! "
# "
$ $
( %
$ $
3.
F
F
"
# "
$ $
( %
$ $
Ejemplo:
Sean F # " " ! " " " ! "
bases de . F
"
$
" " " ! " " " " !
Determine : a) b) 3. 3.
F F
F F
"
"
Solucin:
a)
" ! ! ! !
! " ! " "
! ! " ! ! "
"
#
$
#
3.
F
F
"
! !
" "
! ! "
"
#
$
#
b)
" ! ! # ! !
! " ! $ " "
! ! " ! ! "
3.
F
F
"
# ! !
$ " "
! ! "
Teorema:
Sea un E.V.R. , y bases de . Z F F Z
"
1. es invertible 3.
F
F
"
2.
a @ Z 3. @ @
F
F
"
"
F F
3.
3. 3.
F F
F F
"
"
"
46
Ejemplo:
Sean
y F " " " ! " " " " "
bases de . G " ! ! ! " ! ! ! "
$
Determine:
a) 3. 3.
G F
F G
" ! "
" " "
" " "
Como
3. 3.
F G
G F
se tiene que ,
"
3.
F
G
"
" " !
!
" "
# #
" "
# #
b)
3 ! " ! #
" ! " $
" " " "
" " " #
" ! !
! ! "
(
#
"
#
luego
$ " # #
F
(
#
"
#
47
33 # $ "
" ! ! #
! " ! $ $
! ! " "
#
"
por lo tanto,
G
333
" ! " # " ! ! $
" " " $ ! " ! &
" " " " ! ! " "
luego,
# $ "
$
&
"
F
Ejercicio:
Dadas las bases de : y
$
$ #
" B G B B B
F B B B B B B B $ " #
# $ # $ #
Determine:
a) 3. 3.
G F
F G
b) # $ & B B
$ #
F
Ejercicio:
Dadas las bases de . Q
#
F
" " " ! ! # ! !
# " " " " " " !
y
G
" ! ! " ! ! ! !
! ! ! ! " ! ! "
Determine:
a) 3. 3.
G F
F G
b) , si
E E
F
$ "
# %
48
Teorema:
Sea un E.V.R. y bases de . Z F F F Z
" #
Se cumple que:
3. 3. 3.
F F F
F F F
# " #
"
Ejemplo:
Sea base de F " $ # " " ! # " "
$
y
3. F
F
F
1
# " "
$ " "
! # "
Determine
"
Solucin:
Como
3. 3.
F F
F F
"
"
! "
" "
& &
$ # "
"& "& $
' % "
"& "& $
en donde , si se tiene que : F
" " # $
, , ,
, , ,
"
F F F
!
"
&
$
"&
'
"&
# $
"
&
#
"&
%
"&
"
$
"
$
por lo tanto :
,
"
" $ ' # '
& "& "& & &
" $ # " " ! # " " !
,
#
" # % $ " #
& "& "& & & $
" $ # " " ! # " "
,
$
" " "
$ $ $
! " $ # " " ! # " " " !
es decir : F
"
! " !
# ' $ " # "
& & & & $ $
Definicin:
Sea un E.V.R. y . Z Y [ Z
Se dice que es de y , si y slo si, Z Y [ suma directa
a @ Z bx ? Y bx A [ @ ? A
49
Notacin:
Z Y [
Teorema:
Sea un E.V.R. y . Z Y [ Z
Se cumple que , si y slo si, se cumple que Z Y [
1. Y [ !
2. Z Y [
Ejemplo: Dado ( subespacio [ B C D B C C D #
$
vectorial de encuentre tal que
$ $ $
, Y Y [
Solucin:
Se tiene que :
( [ B C D B D C
$
C
#
C
C
# #
"
C C C " " C
" " " # #
"
#
con lo cual se tiene que .37[ "
pero por lo tanto debe ser tal que .37 Y .37Y #
$
$,
Sea ,se tiene que Y " ! ! ! ! "
,donde Y [ " ! ! ! ! " " # #
es l.i.,por lo tanto
" ! ! ! ! " " # #
Y [ Y [ !
$
luego
$
Y [
Ejemplo:
Sea ( y L B C D B C D $ # !
$
O " " "
Es suma directa de los subespacios y ?.
$
L O
Solucin:
L B C D $ # !
luego # $ D C B
# $ B C D B C C B
! $ ! # B B C C
,por lo tanto " ! $ ! " # B C
50
,con lo cual L " ! $ ! " #
L O " ! $ ! " # " " "
, pero " ! $ ! " # " " "
,es decir
" ! $
! " #
" " "
!
e n
" ! $ ! " # " " " s l.d. ,por lo tanto o es base.
Luego no es suma directa y por lo anterior se tiene que
L O " ! $ ! " #
Ejercicio:
Sean tales que Y [
$
y Y [ " " ! ! " " " ! !
Demuestre que
$
Y [
Teorema:
Si un E.V.R. y , entonces, existe Z Y Z [ Z
tal que . Z Y [
Teorema:
Sea un E.V.R. , y tales que Z .37Z 8 Y [ Z
, Z Y [
entonces,
. .37Z .37Y .37[ .37Y [
51
Ejemplo
Sean : Z B / B "
# B
Y B B / B B B / B / " # " "
B B B # #
subespacios vectoriales de es funcin 0 qqqq 0 p
Determine:
tal que [ Y Y Z [
Solucin
Por ver si
" " 63 B /
B
" B / " " B / B 63 [ ; es , se tiene queun posible
B B #
es de modo que [ " B / "
B
Y Z [
Ejercicio:
Sea tal que Y Y B C D B C D # !
$ $
Determine tal que . [ Y [
$ $
Ejercicio:
Sea tal que Y Q
#
Y Q + , - . + ,
+ ,
- .
# ! !
#
Determine tal que . [ Q Q Y [
# #
52
Ejercicio:
Sea tal que Y B
#
Y B B B B " # " # $
# #
Determine tal que . [ B B Y [
# #
Ejercicio:
Sean tales que: Z Y
4
Z B C D > B C > # # !
%
Y B C D > C > B ! !
%
con Y Z
Determine tal que . [ Z Z Y [
Ejercicio:
Sean tales que Z Y B
%
Z +B ,B -B .B / B / . - + # # !
% $ #
%
/
Y +B ,B -B .B / B / . -
. - +
,
%
# # !
!
!
$ #
%
con Y Z
Determine tal que . [ Z Z Y [
53
Gua de Ejercicios:
1.- , dado por : X
%
X " " " ! $ ! ! " ( # # $ & " " #
a) ? a b ! ! " " X
b) Determine una base para . X
c) Determine . H37 X
2.- Sea
Y Q + , ! , - + -
+ , -
a b
! " #
! " # "
#$
a) Demuestre que . Y Q
#$
a b
b) Determine una base para . Y
c) Determine . H37Y
3.- Sea dado por : Y B
$
Y + ,B -B .B B + , #- . + -
# $
$
a) Determine una base para . Y
b) Determine . H37Y
4.- Sea dado por : O B
$
O + ,B -B .B B + , -
. + !
. - #+
# $
$
#
Determinar:
a) Id c d
B
B
1
b) y si = @ B @ @ "
"
#
#
c d c d c d
B B
1
55
c) , si C base cannica de Id c d c d
B1
C
#
B
d) B base de , si Id
2
B
B
2
#
"
#
c d c d
B ! # #
" $ $
" & $
e) si c d c d :B B :B
B
"
#
9.- Sea T L ( ) , (X) tal que Q
2 3
T
+ ,
- .
+ #,B , . #+B - +B , - .
$ #
Determinar si , bases canonicas . T c d
C
C
1
1
G G
10.- Sean y bases de tal que y Id F G
" " !
% " "
! ! "
3
c d
F
G
= , , ; , , ; , , G # ! " " " " ! ! "
Determinar sabiendo c d c d
? ?
&
%
"
G F
11.- Sea Y Q + ,
+ , -
, -
+ -
a b
! " #
!
" #
"
#$
!
a) Demuestre que . Y Q
#$
a b
b) Determine una base para . Y
c) Determine . H37Y
56
12.- Sean base de y F Z
" # ! $ " !
" # " " " "
F
# " " " ! $
" ! ! " " "
"
a) Pruebe que es base de F Z
"
b) Determine Id c d
B
F
"
c) Determine tal que @ Z @ "
"
"
c d
F
"
d) Determine tal que E Q E Z
#
e) Si Determinar Id c d
B
2
F
"
#
F
" $ $
! # "
" & $
f) Sea , determinar E Z E c d
F
13.- Sean bases de con F ? ? ? F @ @ @ Z
" # $ " " # $
@ #? ? #?
" " # $
@ ? ? ?
# " # $
@ ? #?
$ " #
y sea con F A A A
# " # $
A @ @ @
" " # $
A #@ @
# " $
A @ @ @
$ " # $
a) Pruebe que es base de F Z
#
b) Determine Id c d
B
2
F
57
c) Si Determine A #A $A A A
" # $
c d
B
d) Si determine c d c d
@ @
"
"
!
B B
2
e) Determine Id c d
B
2
"
F
14.-Sea
[ " # % " # $ * " " ! ' & # & ( &
a) Determine base de F [
b) Determine .37[
c) Determinar tal que Y Y [
% %
58
Soluciones Gua de Ejercicios:
1.- a) / X + , - . + , $. ! , - ! a b
%
el punto , pues , . T! ! " " X ! " !
b) Base para . X " " " ! $ ! ! " a b a b
c) Dim . a b X #
2.- a) Si es subespacio Vectorial Real de . Q
#$
a b
b) Base para ; ; . Y
" " ! " ! " ! ! "
! ! ! " ! " ! " !
c) Dim . a b Y $
3.- a) Base para . Y " B B #B B B a b a b
$ # $
b) Dim . a b Y #
4.- a) Base para . Y " #B $B B a b
# $
b) Dim . a b Y "
5.- a) Base para . Y # ! ! ! " " ! ! " " ! " a b a b
b) Dim . a b Y #
6.- a) Base para . Z " " # ! ! " " " a b a b
b) Dim . a b Z #
7.- a) y Y [ " & ' " % $ & # $
la Base para
. Y [ " & ' " % $ & # $
b) Dim . a b Y [ !
59
8.- a) Id c d
B
B
1
# ! "
" $ &
" ! #
"
$
b) donde c d
@ ) @ " $B
%
&
B
1
"
$
c)
! " "
" ! "
# " !
d) Id c d
B
2
C
! " !
$ # "
# % !
por lo tanto B
2
$B #B " #B %B B
# #
e) sea :B + ,B -B :B #+ #, -
+ , -
+ #, -
#
"
c d
B
"
$
9.- T c d
c
c
1
" # ! !
# " ! "
" ! " !
! " " "
10.- = c d
?
"
#&
"
c
11.- a) Si es subespacio Vectorial Real de . Q
#$
a b
b) Base para ; ; . Y
" " ! " ! " ! ! "
! ! ! " ! " ! " !
c) Dim . a b Y $
60
12.- a) por lo tanto es base Id Id c d c d
B B
1 1
B B
! F
" " !
" " "
" ! !
"
de Z
b) Id c d
B
B
1
! ! "
" ! "
" " !
c) @
$ "
# #
d) Sea por lo tanto E
+ ,
- .
Z Q $, &+ (- #. !
+ ,
- .
#
e) Sea por lo tanto F [ [ [
# " # $
[ [ [
# # ) "! & (
# " ) ( ' #
" # $
f) c d
E #+ #-
$+ , $-
+ , $-
F
"
#
13.- a) adems por lo tanto es l.i y base F Z F # !
# #
b) Id c d
B
2
B
! $ #
! ! #
" % $
c) c d
A #
(
""
F
d) c d
@ %
(
$
F
#
"
'
61
e) Id c d
B
2
"
F
" " #
# ! #
" " #
"
#
14.- a) F " # % " # $ * "
b) .37[ #
c) .37 % Y ! ! " ! ! ! ! "
%
por lo tanto
ya que
" # % " # $ * " ! ! " ! ! ! ! " 63 es
%
Y [