Академический Документы
Профессиональный Документы
Культура Документы
(
(
(
=
(
(
uma matriz ( n n ) de elementos de , as vrias linhas de A
podem considerar-se vectores de
n
, da forma
1
i ij j
j
a a e
=
=
, sendo os vectores,
j
e
, representados
pelas linhas da matriz identidade.
m n
o espao vectorial de todas as matrizes reais ( m n ), portanto, a matriz
( ) m n
A
pode ser
considerada um vector de
m n
;
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
4/ 26
1 n
o espao vectorial de todas as matrizes reais (1 n ) (as matrizes linha), portanto, a
matriz
(1 ) 11 12 1
[ ... ]
n n
A a a a
e
1 2
( , ) v v v =
tal que
2
0 u , ento
1 2 1 1
1 1( , ) (1 , 0) ( , 0) u u u u u u = = =
. Assim,
E no um espao vectorial com as operaes definidas.
4.2 Subespaos
Dado um espao vectorial E , muitas vezes possvel formar um outro espao vectorial usando um
subconjunto S de E e as operaes de E . Como E um espao vectorial, as operaes de soma e
multiplicao por um escalar produzem sempre um outro vector em E . Para um novo sistema,
usando um subconjunto S de E , ser um espao vectorial, o conjunto S tem que ser fechado em
relao s operaes de soma e multiplicao por um escalar. Por outras palavras, a soma de dois
elementos de S tem que ser sempre um elemento de S e a multiplicao de um elemento de S por
um escalar tem que pertencer sempre a S .
Definio2: Um subconjunto no vazio S de um espao vectorial E, um subespao vectorial de E
se ele prprio formar um espao vectorial relativamente s duas operaes adio e multiplicao
escalar definidas para os elementos de E.
Desta definio resulta que, operando elementos de S com operaes de E obtemos elementos de S.
Assim, um subespao de E, um subconjunto S que fechado em relao s operaes de E.
Donde, para verificarmos se um subconjunto de um espao vectorial subespao no necessrio a
verificao dos oito axiomas, alm dos dois que definem a soma e a multiplicao por escalares.
Teorema1: Seja E um espao vectorial. Um subconjunto S , de E um subespao vectorial de
E se, e s se, satisfaz as seguintes condies:
(a) Se u, S v ( ) S + u v (fechado para a adio);
(b) Se um escalar arbitrrio e S u , ento S u (fechado para a multiplicao escalar);
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
5/ 26
Obs.2:
Como os axiomas do espao vectorial so vlidos para o novo sistema matemtico formado pelo
subespao vectorial, todo o subespao de um espao vectorial ele mesmo um espao vectorial.
Se S um subespao de um espao vectorial E, ento S contm o vector nulo de E.
Exemplo3: Mostre que o conjunto
2 2
12 21
{ : } S A a a
= = , forma um subespao de
2 2
.
Resoluo: O conjunto S e
2 2
S
(S um subconjunto no vazio de
2 2
) . Sejam as
matrizes , A B S , ento
a b
A
b c
(
=
(
e
d e
B
e f
(
=
(
.
i)
( )
a d b e a d b e
A B S
b e c f b e c f
+ + + + ( (
+ = =
( (
+ + +
;
ii) Para , vem
a b
A S
b c
(
=
(
, porque
12 21
a b a = = .
Exemplo4: Verifique se o conjunto
2
{( , ) : 0 0} W x y x y = um subespao de
2
.
Resoluo: Os pontos de W esto no primeiro quadrante,
logo, W um subconjunto de
2
. O conjunto W no um
subespao de
2
, uma vez, que no fechado relativamente
multiplicao escalar. Por exemplo, (1,1) u =
est em W,
( 1) ( 1, 1) u =
= = ;
ii) O conjunto das matrizes ( n n ) anti-simtricas, { : }
n n T
E A M A A
= = ;
iii) O conjunto das matrizes ( n n ) triangulares (superiores, inferiores e diagonais).
Uma vez que estes conjuntos so fechados relativamente soma e multiplicao escalar.
Teorema2: Seja E um espao vectorial.
(i) A interseco de dois (ou mais) subespaos de E ainda um subespao de E;
(ii) A reunio de dois subespaos de E s um subespao de E, se um deles contiver o outro.
Exemplo5: Prove que conjunto definido por
1 2 1 1 2 2
{( , ,..., ) : ... 0}
n
n n n
S x x x a x a x a x = + + + = ,
onde
1 2
( , ,..., )
n
n
a a a um subespao de
n
.
Resoluo: Vamos provar que S fechado para a adio e para a multiplicao por escalares.
i) Se
1 2
( , ,..., )
n
X x x x = e
1 2
( , ,..., )
n
Y y y y = pertencem a S, ento
1 1 2 2
... 0
n n
a x a x a x + + + = e
1 1 2 2
... 0
n n
a y a y a y + + + = , donde
1 1 2 2
( , ,..., )
n n
X Y x y x y x y + = + + + tambm pertence a S, pois
1 1 1 2 2 2 1 1 2 2 1 1 2 2
( ) ( ) ... ( ) ( ... ) ( ... ) 0 0 0.
n n n n n n n
a x y a x y a x y a x a x a x a y a y a y + + + + + + = + + + + + + + = + =
ii) Se
1 2
( , ,..., )
n
X x x x S = e , ento
1 2
( , ,..., )
n
X x x x S = , pois
1 1 2 2 1 1 2 2
( ) ( ) ... ( ) ( ... ) 0 0
n n n n
a x a x a x a x a x a x + + = + + + = = .
Por i) e ii) prova-se que S um subespao de
n
.
Por outro lado, suponha que o conjunto
1 2 1 1 2 2
{( , ,..., ) : ... }
n
n n n
S x x x a x a x a x c = + + + = , um
subespao de
n
, onde c um nmero real fixo.
Se S um subespao e X S , ento 0X O = tambm pertence a S, ou seja, o subespao tem que
conter a origem. Substituindo (0, 0,..., 0) O = na equao que define o conjunto, obtemos
1 2
0 0 ... 0 0
n
a a a c c + + + = = . Se
1 2
( , ,..., ) (0, 0,..., 0)
n
a a a ento S chamado um
hiperplano de
n
. Para 3 n = os hiperplanos so planos, e para 2 n = os hiperplanos so rectas.
Definio3: Se AX B = um sistema de equaes lineares, ento o vector X que satisfaz esta
equao chamado um vector soluo do sistema.
Teorema3: Seja 0 AX = um sistema linear homogneo com m equaes e n incgnitas, ento o
conjunto dos vectores soluo de 0 AX = forma um espao vectorial, chamado o espao soluo do
sistema homogneo, que um subespao de
n
.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
7/ 26
Obs.5: O conjunto soluo (espao soluo) de um sistema linear homogneo com m equaes e n
incgnitas pode ser visto como a interseco de m subespaos de
n
, que so hiperplanos que
passam pela origem.
Exemplo6: Considere os seguintes sistemas lineares
a)
1 2 3 0
2 4 6 0
3 6 9 0
x
y
z
( ( (
( ( (
=
( ( (
( ( (
b)
1 2 3 0
3 7 8 0
2 4 6 0
x
y
z
( ( (
( ( (
=
( ( (
( ( (
c)
1 2 3 0
3 7 8 0
4 1 2 0
x
y
z
( ( (
( ( (
=
( ( (
( ( (
d)
0 0 0 0
0 0 0 0
0 0 0 0
x
y
z
( ( (
( ( (
=
( ( (
( ( (
Como cada um destes sistemas homogneo tem trs incgnitas, pelo teorema anterior os conjuntos
soluo formam subespaos de
3
. Geometricamente, isto significa que cada espao soluo
dever ser, a origem, uma recta que passa na origem, um plano que passa na origem, ou todo o
3
Resoluo:
a) As solues deste sistema so, 2 3 x s t = , y s = e z t = , donde 2 3 2 3 0 x y z x y z = = .
Esta a equao de um plano que passa na origem, tendo como vector normal (1, 2, 3) n =
.
b) As solues so, 5 x t = , y t = e z t = , as equaes paramtricas de uma recta que passa na
origem, paralela ao vector ( 5, 1,1) v =
.
c) A soluo 0 x y z = = = , portanto, o espao soluo a origem, ou seja, { } O .
d) As solues so, x r = , y s = e z t = , onde r, s e t tomam valores arbitrrios, portanto o espao
soluo todo o
3
.
4.3 Conjunto geradores
Nesta seco, vamos mostrar que um conjunto de vectores
1 2
{ , ,..., }
n
V v v v =
gera um determinado
espao vectorial E se cada vector de E pode ser expresso como uma combinao linear dos vectores
de V. De um modo geral, pode existir mais de uma maneira de escrever um vector de E como
combinao linear dos vectores do conjunto gerador.
Definio4: Seja
1 2
{ , ,..., }
n
V v v v =
um conjunto de n vectores de um espao vectorial E, todo o
vector u
.
Resoluo: Os vectores de
n
so do tipo
1
( ,..., )
n
u u u =
,
2
(1, 0,1) v =
e
3
(2,1, 3) v =
geram
3
.
Resoluo: Queremos verificar ger( ) W V = , com
1 2 3
{ , , } V v v v =
, ou seja, devemos determinar se
um vector arbitrrio
1 2 3
( , , ) u u u u =
de
3
pode ser expresso como uma combinao linear dos
vectores
1 2
, v v
e
3
v
, isto ,
1 1 2 2 3 3
u v v v = + +
. Escrevendo esta equao em termos das suas
componentes vem
1 2 3 1 2 3 1 2 3 1 2 3 1 3 1 2 3
1 2 3 1
1 3 2
1 2 3 3
( , , ) (1,1, 2) (1, 0,1) (2,1, 3) ( , , ) ( 2 , , 2 3 )
2
2 3
u u u u u u
u
u
u
= + + = + + + + +
+ + =
+ =
+ + =
Como o sistema tem trs equaes para trs incgnitas, o problema reduz-se ento a determinar se
este sistema possvel e determinado para todos os valores de
1 2
, u u e
3
u , isto acontece se, e s se,
o determinante da matriz A, dos coeficientes do sistema, for diferente de zero. Como | | 0 A = , os
vectores
1 2
, v v
e
3
v
no geram
3
.
Exerccio1: Resolva o sistema do exemplo anterior.
Se
1 2
{ , ,..., }
n
V v v v =
um conjunto de vectores do espao vectorial E, ento alguns vectores de E
podem escrever-se como combinao linear de
1 2
, ,...,
n
v v v
e outros no. O seguinte teorema mostra
que um conjunto ger( ) W V = forma um subespao de E.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
9/ 26
Teorema4: Se
1 2
, ,...,
n
v v v
so vectores de um espao vectorial E, e W o conjunto de todas as
combinaes lineares de
1 2
, ,...,
n
v v v
, ou seja,
1 2
ger{ , ,..., }
n
W v v v =
, ento:
(a) W um subespao de E;
(b) W o menor subespao de E que contm
1 2
, ,...,
n
v v v
no sentido de qualquer outro subespao de
E que contenha
1 2
, ,...,
n
v v v
deve conter W.
Obs.6: Este teorema diz que, como o subespao ger( ) W V = o menor subespao de E que contm
V, se G for um subespao de E que contm V, ento necessariamente ger( ) V G .
Tendo em conta o teorema4 e a definio5, podemos dizer que sendo
1 2
{ , ,..., }
n
V v v v =
um
subconjunto no vazio de um espao vectorial E, o conjunto ger( ) W V = um subespao de E
chamado espao gerado por V. Quando W E = diz-se que V o conjunto de geradores de E (os
vectores
1 2
, ,...,
n
v v v
geram E ou constituem um sistema de geradores do espao).
Obs.7: Se o conjunto de geradores de um espao vectorial E tem um nmero finito de elementos
dizemos que o espao vectorial finitamente gerado. O conceito de subespao gerado por um
conjunto pode apresentar-se para conjuntos no necessariamente finitos.
Teorema5: Se
1 2
{ , ,..., }
n
V v v v =
e
1 2
{ , ,..., }
k
W w w w =
so dois conjuntos de vectores de um espao
vectorial E, ento ger( ) ger( ) V W = se, e s se, cada vector de V for uma combinao linear dos
vectores de W e se cada vector de W for uma combinao linear dos vectores de V.
Exemplo9: Considere o sistema linear homogneo 0 AX = , onde
1 1 0 2
2 2 1 5
1 1 1 3
A
(
(
=
(
(
.
Encontre um conjunto de vectores que gere o subespao soluo do sistema homogneo.
Resoluo: A matriz do sistema equivalente
1 1 0 2 1 1 0 2
2 2 1 5 0 0 1 1
1 1 1 3 0 0 0 0
( (
( (
( (
( (
, donde
1 2 3
2
3
4 3
2
0
x x x
x
AX
x
x x
=
,
ou seja, o conjunto soluo de 0 AX =
1 2 3 4 2 3 2 3 3 2 3
{( , , , } ( 2 , , , ) : , } S x x x x x x x x x x x = = .
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
10/ 26
Qualquer elemento de S pode ser escrito como uma soma de vectores, sendo um vector para cada
parmetro e cada vector depende apenas de um parmetro, obtendo-se
2 3 2 3 3 2 2 3 3 3 2 3
( 2 , , , ) ( , , 0, 0) ( 2 , 0, , ) ( 1,1, 0, 0) ( 2, 0,1,1) x x x x x x x x x x x x = + = + .
Portanto,
1
( 1,1, 0, 0) X = e
2
( 2, 0,1,1) X = geram S, isto ,
1 2
ger( , ) S X X = .
Exemplo10: Encontre um conjunto constitudo pelos vectores
1
(1,1, 0) v =
,
2
(0,1,1) v =
,
3
(1, 0,1) v =
ou
4
(1, 2,1) v =
que gere
3
.
Resoluo: Comecemos por verificar se
3
ger( ) V = com
1 2 3 4
{ , , , } V v v v v =
. Para isso, devemos
mostrar que
3
o conjunto de todas as combinaes lineares de
1 2 3
, , v v v
e
4
v
. Os elementos de
3
so do tipo ( , , ) a b c , queremos verificar se estes se podem escrever como combinao linear dos
vectores de V, ou seja, temos que resolver o sistema
1 3 4
1 2 3 4 1 2 4
2 3 4
(1,1, 0) (0,1,1) (1, 0,1) (1, 2,1) ( , , ) 2
a
a b c b
c
+ + =
+ + + = + + =
+ + =
.
A matriz ampliada do sistema
2
2
2
1 0 1 1 1 0 0 1
1 1 0 2 0 1 0 1
0 1 1 1 0 0 1 0
a b c
a b c
a b c
a
b
c
+
+ +
+
( (
( (
( (
( (
, donde
1 4
1 3 4
2 4
1 2 4
2 3 4
3
4
2
2 2
2
a b c
a
a b c
b
a b c
c
+
=
+ + =
+ +
=
+ + =
+
+ + =
,
portanto,
1 2 3
, , v v v
e
4
v
geram
3
, ou seja, qualquer vector de
3
pode ser escrito como
combinao linear destes vectores. Repare-se que o sistema possvel e indeterminado (porqu?).
Vamos agora verificar se o conjunto
1 2 3
{ , , } V v v v =
gera
3
. Por um lado, verifica-se que o
determinante cujas colunas so
1 2
, v v
e
3
v
+
+ +
+
= =
= = =
= =
,
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
11/ 26
donde
1 1 2 2 3 3
( , , ) 1 (1,1, 0) 2 (0,1,1) 0 (1, 0,1) ( 1,1, 2) v v v a b c + + = + + =
.
Prova-se que o conjunto
1 2
{ , } V v v =
no gera
3
. O mesmo acontecendo com qualquer conjunto
formado por dois destes vectores (exerccio!).
Concluso: Verificmos que dois conjuntos finitos de vectores geram o espao vectorial
3
, ou
seja,
3
finitamente gerado. Em particular, vimos que os conjuntos
1 2 3 4
{ , , , } V v v v v =
e
1 2 3
{ , , } V v v v =
geram
3
, mas que o conjunto
1 2
{ , } V v v =
no gera
3
.
Teorema6: Se os vectores
1 2
, ,...,
n
v v v
geram o espao vectorial E e se um desses vectores pode ser
escrito como uma combinao linear dos outros 1 n vectores, ento esses 1 n vectores geram E.
Exerccio2: No exemplo10, vimos que
1 2 3 4
{ , , , } V v v v v =
e
1 2 3
{ , , } V v v v =
geram
3
. Verifique se
algum vector de
1 2 3 4
{ , , , } V v v v v =
se pode escrever como combinao linear dos restantes vectores.
De facto, dado um espao vectorial E, desejvel encontrar um conjunto gerador de E com to
poucos elementos quanto possvel, a que chamamos conjunto gerador mnimo. Por mnimo,
queremos dizer um conjunto gerador sem elementos desnecessrios, isto , todos os elementos no
conjunto so necessrios para se gerar o espao vectorial. Para se ver como encontrar um conjunto
gerador mnimo, preciso considerar como os vectores no conjunto dependem uns dos outros.
Vamos ento introduzir os conceitos de dependncia e independncia linear. Esses conceitos
simples vo dar-nos a chave para entender a estrutura dos espaos vectoriais.
4.4 Dependncia e independncia linear
Na seco anterior, vimos que um conjunto de vectores
1 2
{ , ,..., }
n
V v v v =
gera um determinado
espao vectorial E se todos os vectores de E se podem exprimir como combinao linear dos
vectores de V. De um modo geral, podem existir vrias maneiras de exprimir um vector de E como
combinao dos vectores do espao gerador. Nesta seco, olhamos mais de perto a estrutura de um
espao vectorial, estudamos condies sob as quais cada vector de E pode ser expresso como
combinao linear dos vectores do espao gerador de uma nica maneira. Conjuntos geradores com
esta propriedade desempenham um papel fundamental no estudo dos espaos vectoriais.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
12/ 26
Definio6: Um conjunto
1 2
{ , ,..., }
n
V v v v =
no vazio de um espao vectorial E, diz-se linearmente
independente (L.I.) se
1 2
1
0 ... 0
n
i i n
i
v
=
= = = = =
(
i
). Caso contrrio, ou seja, se
existe pelo menos um 0
i
tal que
1
0
n
i i
i
v
=
=
,
2
(1, 2, 5, 1) v =
e
3
(7, 1, 5,8) v =
Resoluo: Tendo em conta a definio anterior,
1 2 3
1 2 3
1 1 2 2 3 3 1 2 3
2 3
1 2 3
2 7 0
2 0
0 (2, 1, 0, 3) (1, 2, 5, 1) (7, 1, 5, 8) (0, 0, 0)
5 5 0
3 8 0
v v v
+ + =
+ =
+ + = + + =
+ =
+ =
.
Temos que resolver um sistema homogneo, da definio resulta que conjunto V L.I. se o sistema
homogneo associado for possvel e determinado, ou seja, tiver apenas a soluo trivial,
0 0 AX X = = . Este estudo pode ser feito atravs da condensao da matriz A do sistema. Prova-
se que ( ) 2 3 r A n = < = (exerccio!) logo o sistema possvel e indeterminado. Portanto, existem
escalares 0
i
tais que
1 1 2 2 3 3
0 v v v + + =
(combinao linear), o conjunto
1 2 3
{ , , } V v v v =
linearmente dependente.
Teorema7: Um conjunto de vectores
1 2
{ , ,..., }
m
V v v v =
de
n
linearmente independente se, e s
se, o sistema de equaes lineares representado por 0 AX = , onde A a matriz ( n m ) cujas
colunas so os vectores
1 2
, ,...,
m
v v v
, tem unicamente a soluo 0 X = .
Obs.8: Caso a matriz A seja ( n n ) o teorema anterior diz que o conjunto
1 2
{ , ,..., }
n
V v v v =
de
n
linearmente independente se, e s se, | | 0 A .
Como vimos, para verificar se um conjunto de vectores ou no L.I. em
n
, precisamos resolver
um sistema homogneo de n equaes lineares. Assim, um conjunto de
2
com mais do que dois
vectores, um conjunto de
3
como mais do que trs vectores, e um conjunto de
n
com mais de n
vectores, so sempre L.D.. Pois, nestes casos, o problema de verificar se eles so ou no L.I. leva a
um sistema homogneo com mais incgnitas do que equaes, que tem sempre soluo no trivial.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
13/ 26
O prximo teorema mostra que um conjunto L.I. em
n
contm quanto muito n vectores.
Teorema8: Seja
1 2
{ , ,..., }
r
V v v v =
um conjunto de vectores de
n
. Se r n > , ento V L.D..
Do exemplo11, verificamos que o termo linearmente dependente sugere que os vectores dependem
uns dos outros de alguma maneira. O teorema seguinte mostra que esse de facto o caso.
Teorema9: Um conjunto
1 2
{ , ,..., }
n
V v v v =
, ( 2 n ), pertencente a um espao vectorial E, diz-se:
(i) Linearmente independente se, e s se, qualquer vector de V no se puder exprimir como
combinao linear dos restantes 1 n vectores de V. O vector
1
v
L.I. se
1
0 v
;
(ii) Linearmente dependente se, e s se, pelo menos um dos vectores de V puder ser expresso como
combinao linear dos restantes 1 n vectores.
Obs.9: Tambm se diz que no primeiro caso os vectores formam um sistema livre ou independente
e no segundo um sistema ligado ou dependente.
Exemplo12: Verifique se os vectores do conjunto
1 2 3
{ , , } V v v v =
com
1
(2, 1, 0, 3) v =
,
2
(1, 2, 5, 1) v =
e
3
(7, 1, 5,8) v =
,
2
(1, 2, 5, 1) v =
e
3
(7, 1, 5,8) v =
( (
( (
, donde
1 2 3
1 2 3 1 3
1 2 3
2 3 2 3
2 3
3
1 2 3
2 7 0
2 0 3
2 0
5 5 0
5 5 0
0 0
3 8 0
+ + =
+ = =
+ =
+ = =
+ =
=
+ =
.
Assim,
1 1 2 2 3 3 3 1 3 2 3 3 3 1 2 3
0 3 0 ( 3 ) 0 v v v v v v v v v + + = + = + =
e, se
3
1 = obtemos
1 2 3
3 0 v v v + =
. Aqui, cada um dos trs vectores pode exprimir-se como combinao linear dos
restantes dois, pois, de
1 2 3
3 0 v v v + =
vem,
1 1
1 2 3 3 3
v v v = +
,
2 1 3
3 v v v = +
e
3 1 2
3 v v v = +
.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
14/ 26
Obs.10:
1) A dependncia linear uma propriedade do conjunto e no de cada vector individualmente.
Contudo, por um abuso de linguagem, usual dizer-se que os vectores so L.D. ou L.I;
2) Subconjuntos de conjuntos L.I. so L.I., e, portanto, um conjunto que contenha um
subconjunto L.D. tambm L.D;
3) Um subconjunto V no vazio de um espao vectorial L.I. se, e s se, qualquer subconjunto
de V finito L.I.;
4) Qualquer conjunto finito de vectores que contenha o vector nulo L.D.;
5) Um conjunto com exactamente dois vectores L.I. se, e s se, qualquer um dos vectores no
for um escalar mltiplo do outro.
Exemplo13: Verifique se o conjunto das matrizes
1
1 1
1 0
M
(
=
(
,
2
0 1
1 1
M
(
=
(
e
3
1 0
0 1
M
(
=
(
linearmente independente no espao das matrizes
2 2
.
Resoluo: A equao matricial
1 1 2 2 3 3
0 0
0 0
M M M
(
+ + =
(
equivalente ao sistema de
equaes lineares
1 3
1
1 2
2
1 2
3
2 3
0
0
0
0
0
0
0
+ =
=
+ =
=
+ =
=
+ =
,
2
(0,1,1) v =
,
3
(1, 0,1) v =
e
4
(1, 2,1) v =
.
Resoluo: Para estudar a dependncia linear do conjunto
1 2 3 4
{ , , , } V v v v v =
de
3
, basta ter em
ateno o teorema8; seja
1 2 3 4
{ , , , } V v v v v =
um conjunto de vectores de
3
, como 4 3 r n = > = ,
ento V L.D.. Vimos, no exemplo10, que este conjunto gera
3
.
Se resolvesse-mos a equao
1 1 2 2 3 3 4 4
(0, 0, 0, 0) v v v v + + + =
, bastava verificar que a matriz
associada ao sistema homogneo (3 4) , logo o sistema possvel e indeterminado ( ( ) 3 r A = ) e
assim, o conjunto
1 2 3 4
{ , , , } V v v v v =
linearmente dependente.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
15/ 26
Estudemos, agora, a dependncia linear do conjunto
1 2 3
{ , , } V v v v =
de
3
. Aqui no podemos
utilizar o teorema8 (porqu?) ,
1 3
1 1 2 2 3 3 1 2 3 1 2
2 3
0
(0, 0, 0) (1,1, 0) (0,1,1) (1, 0,1) (0, 0, 0) 0
0
v v v
+ =
+ + = + + = + =
+ =
.
A matriz do sistema
1 0 1
1 1 0
0 1 1
A
(
(
=
(
(
, como | | 2 0 A = , o sistema possvel e determinado,
admitindo como soluo nica a soluo trivial,
1 2 3
0 = = = , logo
1 2 3
{ , , } V v v v =
L.I.. Como
vimos no exemplo10 este conjunto gera
3
, sendo L.I. diz-se um conjunto gerador mnimo. O
conjunto
1 2
{ , } V v v =
no gera
3
mas L.I. (exerccio!).
Teorema10: Sejam
1 2
, ,...,
m
u u u
vectores que geram um espao vectorial E e
1 2
{ , ,..., }
n
V v v v =
um
conjunto L.I. Ento tem-se, necessariamente, m n . Por outras palavras, num espao vectorial, um
conjunto gerador nunca pode ter menos elementos do que um conjunto L.I..
Obs.11: Pelo que foi dito, se
1 2
{ , ,..., }
n
V v v v =
um conjunto gerador mnimo, ento, V L.I.. Em
contrapartida, se V L.I. e gera E, ento V um conjunto gerador mnimo para E. Com veremos
na prxima seco, um conjunto gerador mnimo diz-se uma base do espao vectorial.
Interpretao geomtrica de dependncia linear em
2
e
3
.
Um conjunto formado por dois vectores { , } u v
, com
1 2
( , ) u u u =
e
1 2
( , ) v v v =
, L.D. em
2
se,
e s se, a equao
1 2 1 1 2 2 1 2
0 ( , ) ( , ) (0, 0) u v u u v v + = + =
possui soluo no trivial. Se isto
acontece, ento os escalares
1 2
, no so ambos nulos. Se, por exemplo,
1
0 , temos
2
1
u v
=
, se
2
0 ,
1
2
v u
=
. Ou seja, se { , } u v
L.D., ento um dos vectores escalar
mltiplo do outro. Reciprocamente, se um vector escalar mltiplo do outro, digamos u v =
,
ento 0 u v =
e assim eles so L.D.. Portanto, podemos dizer que um conjunto de dois vectores
L.D. em
2
se, e s se, um dos vectores escalar mltiplo do outro. Logo, se os dois vectores
forem colocados na origem vo estar contidos sobre a mesma recta.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
16/ 26
Figura4 Dois vectores L.D. em
2
Figura5 Dois vectores L.I. em
2
Analogamente, o conjunto { , } u v
, com
1 2 3
( , , ) u u u u =
e
1 2 3
( , , ) v v v v =
, L.I em
3
se, e s se, os
vectores u
e v
pertence a esse plano, ento pode ser escrito como combinao linear de u
e v
e, portanto, o
conjunto de vectores { , , } u v w
L.D.. Se w
combinao linear de
2
v
e
3
v
. De forma semelhante, se
2
0 , o vector
2
v
combinao linear de
1
v
e
3
v
, e se
3
0 o vector
3
v
combinao linear de
1
v
e
2
v
. Assim, se o
conjunto
1 2 3
{ , , } v v v
L.D., ento um dos vectores combinao linear dos outros dois, ou seja, um
deles uma soma de escalares mltiplos dos outros dois. Reciprocamente, se um vector
combinao linear dos outros dois ento
1 2 3
{ , , } v v v
L.D.. Portanto, podemos dizer que
1 2 3
{ , , } v v v
L.D. se, e s se, um deles se pode escrever como combinao linear dos outros dois.
Logo se os trs vectores forem colocados na origem vo estar contidos no mesmo plano.
Consequentemente, em
3
se um conjunto de trs vectores no nulos
1 2 3
{ , , } v v v
L.D., ento, ou
os trs vectores so paralelos, ou dois deles so paralelos, ou os trs so complanares (so paralelos
a um mesmo plano).
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
17/ 26
Resumindo:
Em
2
ou
3
, um conjunto de dois vectores L.I. se, e s se, os vectores no pertencem a
uma mesma recta contendo a origem (nenhum dos vectores escalar mltiplo do outro);
Em
3
, um conjunto de trs vectores L.I. se, e s se, os vectores no pertencerem ao mesmo
plano que contm a origem (nenhum dos vectores combinao linear dos outros dois).
Exemplo15: Estude a dependncia linear do conjunto { , } V u v =
, em que (1, 0,1) u =
e (0,1,1) v =
.
Resoluo: O conjunto { , } V u v =
L.I., pois um vector no escalar mltiplo do outro.
Exemplo16: Estude a dependncia linear do conjunto constitudo pelos vectores
1
(1, 2, 5) v =
,
2
(3, 6, 3) v =
e
3
(1, 1, 1) v =
de
3
.
Resoluo: Como o conjunto V de
3
tem trs vectores, pode ser L.D. ou L.I.. Desenvolvendo a
equao vectorial obtemos o sistema linear
1 2 3
1 1 2 2 3 3 1 2 3 1 2 3
1 2 3
3 0
(0, 0, 0) (1, 2, 5) (3, 6, 3) (1, 1, 1) (0, 0, 0) 2 6 0
5 3 0
v v v
+ + =
+ + = + + = + =
O conjunto V linearmente independente se o sistema homogneo tiver soluo trivial, caso
contrrio linearmente dependente. A matriz do sistema
1 3 1 1 3 1
2 6 1 0 18 6
5 3 1 0 0 3
A
( (
( (
=
( (
( (
,
assim, o sistema possvel e determinado, tm soluo trivial, o conjunto dos vectores
1 2 3
{ , , } V v v v =
L.I. Obviamente, | | 0 A (porqu?). Significa que, nenhum dos vectores se pode
escrever como combinao linear dos outros dois.
Geometricamente, como o conjunto
1 2 3
{ , , } V v v v =
L.I., um dos vectores no pertence ao mesmo
plano formado pelos outros dois, ou, os trs vectores quando posicionados com os seus pontos
iniciais na origem no pertencem ao mesmo plano.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
18/ 26
4.5 Base e dimenso
Usualmente pensamos numa recta como tendo uma dimenso, num plano como sendo bi-
dimensional e no espao, que nos envolve, como sendo tri-dimensional. Vamos, tentar nesta seco,
tornar esta noo intuitiva de dimenso mais precisa.
Vimos que, num espao vectorial E, um conjunto de geradores pode ser L.I. ou L.D.. Se o conjunto
de geradores for L.D., ento existe um vector no conjunto que se pode escrever como combinao
linear de outros elementos do conjunto. Assim, esse elemento no necessrio para gerar o espao
E. Portanto, um conjunto de geradores L.D. contm vectores que no so necessrios para gerar E.
Por outro lado, mostrmos que um conjunto gerador para um espao vectorial mnimo se for L.I..
Os elementos de um conjunto gerador mnimo formam peas bsicas para a construo de todo o
espao vectorial e, por causa disso dizemos que formam uma base para o espao vectorial.
Vimos, no exemplo14, que o conjunto
1 2 3
{ , , } V v v v =
, com
1
(1,1, 0) v =
,
2
(0,1,1) v =
e
3
(1, 0,1) v =
um conjunto gerador mnimo de
3
. Uma vez que, V gera
3
e linearmente independente.
Definio7: Um conjunto de vectores
1 2
{ , ,..., }
n
V v v v =
de um espao vectorial E , uma base
1 2
{ , ,..., }
n
v v v
de E sse:
i) V gera o espao E;
ii) V linearmente independente.
Exemplo17: Verifique que o conjunto
11 12 21 22
{ , , , } A A A A forma uma base para
2 2
, onde
11
1 0
0 0
A
(
=
(
,
12
0 1
0 0
A
(
=
(
,
21
0 0
1 0
A
(
=
(
e
22
0 0
0 1
A
(
=
(
.
Resoluo: Devemos provar que
11 12 21 22
{ , , , } A A A A L.I. e gera o espao
2 2
.
i) O conjunto
11 12 21 22
{ , , , } A A A A de
2 2
linearmente independentes, pois
1 2
1 11 2 12 3 21 4 22 1 2
3 4
0 0
0 ... 0
0 0
n
A A A A
( (
+ + + = = = = = =
( (
;
ii) Se
2 2
A
, como
11 12
21 22
a a
A
a a
(
=
(
vem
11 11 12 12 21 21 22 22
A a A a A a A a A = + + + , ou seja, toda a
matriz
(2 2)
A
pode escrever-se como combinao linear destas matrizes, logo
11 12 21 22
{ , , , } A A A A ,
gera
2 2
.
Por i) e ii),
11 12 21 22
, , , A A A A formam uma base para
2 2
, a base cannica.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
19/ 26
Exemplo18: Verifique que os vectores
1 2
(1,..., 0), (0,1,..., 0) e e = =
, ..., (0,...,1)
n
e =
, constituem
uma base para o espao vectorial
n
.
Resoluo:
i) Qualquer vector de
n
, pode ser escrito como combinao linear de
1 2
, ,...,
n
e e e
1 1 1 1
( ,..., ) (1,..., 0) ... (0,...,1) ...
n n n n
u u u u u u e u e = = + + = + +
. Portanto,
1 2
, ,...,
n
e e e
geram o espao.
ii) O conjunto dos vectores
1 2
(1,..., 0), (0,1,..., 0) e e = =
, ..., (0,...,1)
n
e =
L.I..
Por i) e ii),
1 2
{ , ,..., }
n
V e e e =
constitui um base para
n
, designada por base cannica de
n
.
O conceito de base de um espao vectorial de extrema importncia. Os vectores de uma base
constituem um espao vectorial que generaliza o conceito de sistema de coordenadas em
2
e
3
.
O teorema seguinte ajuda-nos a perceber porqu.
Teorema11: Seja E um espao vectorial, e
1 2
{ , ,..., }
n
V v v v =
uma base para E. Ento qualquer
vector de E pode exprimir-se de um s modo como combinao linear dos vectores
i
v
s de V.
De facto, qualquer vector de um espao vectorial finitamente gerado pode ser representado como
uma combinao nica dos elementos de uma base
1 2
{ , ,..., }
n
V v v v =
do espao (a combinao linear
no nica sse V for L.D.). Por outras palavras, as bases so bons sistemas de coordenadas para
representar vectores de um espao vectorial.
Componentes de um vector relativamente a uma determinada base: Seja
1 2
{ , ,..., }
n
V v v v =
uma
base de um espao vectorial E, cada u E
relativamente base
1 2
{ , ,..., }
n
v v v
.
Dado um espao vectorial E, se conhecermos uma base de E, qualquer vector de E fica conhecido
se conhecermos as suas componentes relativamente a essa base.
Exemplo19: Em
2
os vectores da base cannica so
1
(1, 0) e =
e
2
(0,1) e =
. Note-se que,
1 2
(1, 3) 3 u e e = =
, uma vez que
1 2
3 (1, 0) 3(0,1) (1, 0) (0, 3) (1, 3) u e e = = = + =
. Aos
nmeros
1
u e
2
u d-se o nome de componentes do vector em relao base cannica
1 2
{ , } e e
.
Generalizando, as componentes de
1
( ,..., )
n
v v v =
de
2
pode ser representado de
maneira nica como uma combinao linear dos vectores de qualquer base de
2
. Por um lado,
1 2 1 1 2 2
( , ) v v v v e v e = = +
, onde os escalares
1
v e
2
v so as componentes de v
em relao base
cannica
1 2
{ , } {(1, 0), (0,1)} e e =
. Por outro lado,
1 1 2 2
v u u = +
, onde os escalares
1
e
2
so as
componentes de v
em relao base
1 2
{ , } u u
(ordenamos os elementos da base de modo que
1
u
seja o primeiro vector da base e
2
u
seja o segundo).
Uma vez decididos a trabalhar com uma nova base temos o problema de encontrar as coordenadas
em relao a essa nova base. Suponhamos, por exemplo, que, em vez, de usarmos a base cannica
1 2
{ , } e e
para
2
, queramos usar uma base diferente, por exemplo,
1 2
{ , } u u
com
1
(3, 2) u =
e
2
(1,1) u =
e
2
u
e
2
e
. De
1 1 2
3 2 u e e = +
e
2 1 2
u e e = +
, vem
1 1 2 2 1 1 1 2 2 1 2 2 1 2 1 1 2 2
3 2 (3 ) (2 ) u u e e e e e e + = + + + = + + +
,
o vector de componentes
1 1 2 2
u u +
em relao a
1 2
{ , } e e
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
21/ 26
1 2 1 2 1 2
(3 , 2 ) (3, 2) (1,1) v = + + = +
,
que em notao matricial pode ser escrita na forma
1 2 1
1 2 2
3 3 1
2 2 1
v
+ ( ( (
= =
( ( (
+
.
Definindo
1 2
3 1
( , )
2 1
U u u
(
= =
(
e [ ]
1 2 1 2
( , ) = =
em relao a
1 2
{ , } u u
, para encontrar o vector de componentes correspondentes v
em relao a
1 2
{ , } e e
, basta multiplicar U por
, ou seja, v U =
, (2,1) v =
e (7, 7) w =
encontre as coordenadas de
w
relativamente base { , } u v
.
Resoluo: Os vectores (1, 4) u =
e (2,1) v =
, donde o vector
pedido 3 w u v = +
.
Figura6 Soma de vectores em
2
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
22/ 26
O vector (7, 7) w =
em relao a { , } u v
(1, 3) . Geometricamente, esse vector diz-nos como sair da
origem e chegar a (7, 7) w =
e depois na direco de v
.
O vector de componentes de w
e
depois na direco de u
.
A definio de dimenso de um espao vectorial est relacionada com o nmero de vectores de
uma base do espao. Como um espao vectorial pode ter mais do que uma base preciso
estabelecer que bases diferentes de um mesmo espao vectorial contm o mesmo nmero de
vectores. O prximo teorema providencia a chave para o conceito de dimenso.
Teorema12: Seja E um espao vectorial e
1 2
{ , ,..., }
n
V v v v =
qualquer base para E:
(i) Qualquer subconjunto de E com mais do que n vectores linearmente dependente;
(ii) Qualquer subconjunto de E com menos do que n vectores no pode gerar E.
Resulta deste ltimo teorema que, se
1 2
{ , ,..., }
n
V v v v =
for uma base para um espao vectorial E,
ento todos os subconjuntos de E que simultaneamente geram E e so L.I. devero ter precisamente
n vectores. Assim, todas as bases de E devero ter o mesmo nmero de vectores que a base
arbitrria V . Isto motiva o seguinte resultado, um dos mais importantes em lgebra linear.
Teorema13: Se um espao vectorial E tem uma base com n vectores, ento todas as bases para E
tem exactamente n vectores.
Obs.13. Resulta que, se
1 1
{ ,..., }
m
V u u =
e
2 1
{ ,..., }
n
V v v =
so duas bases de um espao vectorial E,
ento m n = . Todas as bases de um espao vectorial tm o mesmo nmero de vectores.
Para se ver como este teorema esta relacionado com o conceito de dimenso, recorde-se que a base
cannica de
n
tem n vectores. Ento o teorema13 implica que as infinitas bases de
n
tm n
vectores. Em particular, todas as bases de
3
tm trs vectores, todas as bases de
2
tm dois
vectores, e todas as bases de tm um vector. Intuitivamente,
3
tridimensional,
2
(um plano)
bidimensional, e (uma linha) unidimensional. Assim, para espaos vectoriais usuais, o
nmero de vectores que constituem uma base coincide com a dimenso do espao vectorial. O que
sugere a seguinte definio.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
23/ 26
Definio8: Um espao vectorial E chamado de dimenso finita se tem uma base que contm um
nmero finito de vectores. A dimenso de E, representada por dim( ) E , o nmero de vectores de
uma base de E. A dimenso do espao vectorial nulo, {0} E = , definida como sendodim( ) 0 E = .
Um espao vectorial que no tem uma base finita chamado de dimenso infinita.
Obs.14: Se uma base de E tiver n elementos, dizemos que E tem dimenso n, e escrevemos
dim( ) E n = (quando E contm um conjunto com n vectores L.I. nos quais se possa expressar
linearmente qualquer outro vector de E).
Obs.15: Como conveno, considera-se o conjunto vazio como sendo uma base do espao vectorial
nulo. Esta conveno consistente com a definio anterior, uma vez que o conjunto vazio no tem
vectores e o espao vectorial nulo tem dimenso zero.
Exemplo21:
1) Se uma base de E constituda por infinitos vectores, diz-se que E tem dimenso infinita. Por
exemplo, dim( )
= .
2) dim( )
n
n = (porqu?). Em particular, um espao vectorial de dimenso 1 e
3
dim( ) 3 = .
3) No plano, os vectores OA
e OB
, OB
= .
5) A dimenso do espao das matrizes ( n n ) triangulares superiores
( 1)
2
n n +
(exerccio!).
A dimenso de um espao vectorial o seu nmero mgico. Conhecer a dimenso de um espao
vectorial E d muita informao sobre E e pode simplificar enormemente o trabalho necessrio em
certos tipos de clculo. De um modo geral, para se provar que um conjunto de vectores
1 2
{ , ,..., }
n
V v v v =
uma base de um espao vectorial E, devemos mostrar que V linearmente
independente e que gera E. Contudo, se soubemos que dim( ) E n = (ou seja,
1 2
{ , ,..., }
n
v v v
contm o
nmero certo de vectores para uma base), ento suficiente provar que V L.I. ou que gera o
espao a outra condio verificar-se- automaticamente. Isto motiva o seguinte teorema.
Teorema14: Seja E um espao vectorial com dimenso finita, dim( ) E n = , e S um subconjunto de
E com exactamente n vectores, ento S uma base de E se S gerar E ou for linearmente
independente.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
24/ 26
Obs.16: Pelo que foi dito, seja E um espao vectorial com dimenso finita, dim( ) E n = . Ento:
(i) Qualquer subconjunto L.I. de E contm no mximo n vectores.
(ii) Todo o subconjunto L.I. de E , com exactamente n vectores, gera E, logo, uma base para E .
(iii) Todo conjunto gerador de E contm no mnimo n vectores (nenhum conjunto com menos de n
vectores pode gerar E);
(iv) Qualquer conjunto gerador de E , com exactamente n vectores, L.I., logo, uma base para E .
Exemplo22: Mostre que:
(a) os vectores
1
( 3, 7) v =
e
2
(5, 5) v =
e
2
v
no
pertence ao plano XOZ , portanto, o conjunto
1 2 3
{ , , } v v v
L.I.. Uma vez que
3
dim( ) 3 = , o
teorema14 garante que o conjunto
1 2 3
{ , , } v v v
forma um base de
3
.
O teorema seguinte mostra que para um espao vectorial E de dimenso finita, qualquer conjunto
que gera E contm uma base de E , e que qualquer conjunto linearmente independente de E faz
parte de alguma base de E .
Teorema15: Seja V um subconjunto finito de vectores de um espao vectorial E de dimenso finita.
i) Se V gera E mas no for uma base (por conter mais de n vectores) de E, ento V pode ser reduzido
a uma base de E removendo-se apropriadamente vectores de V;
iii) Se V for um conjunto linearmente independente que no seja uma base de E, ento V pode ser
transformado numa base de E incluindo apropriadamente vectores em V.
Exemplo23: Para explorarmos a informao do teorema anterior, vamos considerar o exemplo14
onde se considerou os vectores
1
(1,1, 0) v =
,
2
(0,1,1) v =
,
3
(1, 0,1) v =
e
4
(1, 2,1) v =
. Vimos que:
i) O conjunto
1 2 3 4
{ , , , } V v v v v =
de
3
, apesar de gerar
3
no L.I. (no uma base para
3
);
ii) O conjunto
1 2 3
{ , , } V v v v =
gera
3
e L.I. ( uma base para
3
);
iii) O conjunto
1 2
{ , } V v v =
apesar de L.I. no gera
3
(no uma base para
3
).
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
25/ 26
Tendo em conta os pontos i) ii) e iii), conclumos que: Por exemplo, de
1 2 3 4
{ , , , } V v v v v =
retira-se
o vector
4
v
, obtendo-se
1 2 3
{ , , } V v v v =
uma base para
3
(de todo o conjunto de geradores de
3
pode ser extrada uma base de
3
); Por exemplo, de
1 2
{ , } V v v =
inserindo o vector
3
v
, obtm-se
1 2 3
{ , , } V v v v =
uma base para
3
.
De facto, sendo E um espao vectorial de dimenso finita, dim( ) E n = , o teorema15, garante que:
i) Podemos retirar vectores apropriados de qualquer conjunto gerador contendo mais de n vectores
(que no seja uma base para E ) de modo a se obter uma base para E (qualquer conjunto gerador de
E pode ser reduzido a uma base para E ).
ii) Qualquer subconjunto V de E L.I. com menos de n elementos (que no seja uma base para E )
pode ser estendido para formar uma base para E , inserindo vectores apropriados em V.
Prova-se que qualquer subespao de um espao vectorial de dimenso finita tem dimenso finita.
Conclui-se esta seco com um teorema que mostra que a dimenso de um subespao de um espao
vectorial de dimenso finita E no pode exceder a dimenso de E e que a nica maneira desse
subespao ter a mesma dimenso de E no caso em que o subespao coincide com E. A figura7
ilustra esta ideia em
3
.
Figura7 Dimenso dos subespaos de
3
A figura anterior, ilustra que quanto maior for o subespao, maior a sua dimenso, ou seja:
A origem 0-dimensional;
A recta que passa pela origem, r, unidimensional;
O plano que passa pela origem, , bidimensional;
3
tridimensional.
Teorema16: Seja W um subespao de um espao vectorial de dimenso finita E , ento
dim( ) dim( ) W E (W tem dimenso finita); para alm disso se dim( ) dim( ) W E = , ento W E = .
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
26/ 26
Exemplo24: Determine a dimenso do subespao S de
3
gerado pelos vectores
1
(1, 1, 2) v =
,
2
( 2, 3,1) v =
e
3
( 1, 3, 8) v =
.
Resoluo: Os subespaos de
3
so; a origem, uma recta que passa pela origem, um plano que
passa pela origem e
3
.
Como
1 1 2 2 3 3
( , , ) v v v a b c + + =
um sistema impossvel (porqu?), conclumos que os vectores
1 2
, v v
e
3
v
no geram
3
, dim( ) 3 S .
Vamos agora estudar dependncia linear do conjunto { }
1 2 3
, , V v v v =
. Como a matriz A do sistema
1 1 2 2 3 3
(0, 0, 0) v v v + + =
(3 3) , basta estudar o valor de | | A . Sendo | | 0 A = , o sistema
possvel e indeterminado, donde o conjunto V linearmente dependente. Por este motivo, existem
vectores de V que se podem escrever como combinao linear dos restantes,
1 2 3 1 3
1 1 2 2 3 3 1 2 3 2 3
1 2 3 3
2 0 3
(0, 0, 0) 3 3 0 2
2 8 0
v v v
= =
+ + = + + = =
+ + =
.
Assim,
1 1 2 2 3 3 3 1 3 2 3 3 3 1 2 3
(0, 0, 0) 3 2 ( 3 2 ) (0, 0, 0) v v v v v v v v v + + = + = + =
,
fazendo,
3
1 = , vem
3 1 2
3 2 v v v = +
. Ou seja,
3
v
e
2
v
, donde, o
subespao S de
3
gerado por
1 2
, v v
e
3
v
e
2
v
. Como,
qualquer combinao linear de
1 2
, v v
e
3
v
e
2
v
,
1 1 2 2 3 3 1 1 2 2 3 1 2 1 3 1 2 3 2
(3 2 ) ( 3 ) ( 2 ) v v v v v v v v v + + = + + + = + + +
, o espao gerado por
1 2 3
{ , , } V v v v =
{ }
1 2
( ) , S ger V v v = =
.
Por outro lado, como
3 1 2 1 2 3
3 2 3 2 0 v v v v v v = + + =
, e sendo os trs coeficientes diferentes de
zero, podemos exprimir cada um dos vectores em funo dos outros dois
2 1
1 2 3 3 3
v v v = +
e
3 1
2 1 3 2 2
v v v = +
. Temos ento que, { } { }
1 2 1 3
ger , , ger , S v v S v v = =
ou { }
2 3
ger , S v v =
, ou seja, o
subespao S pode ser gerado por quaisquer dois dos vectores dados.
Prova-se que os conjuntos { }
1 2
, v v
, { }
2 3
, v v
e { }
1 3
, v v
so L.I., ou seja, formam uma base para S.
Conclu-se que,
3
dim( ) 2 dim( ) S = < .
Os vectores destes conjuntos definem planos que passam pela origem.