Professional Documents
Culture Documents
APONTAMENTOS DE
LGEBRA LINEAR E GEOMETRIA ANALTICA
ndice
4. Espaos vectoriais..........................................................................................................1
4.1 Definio e exemplos ......................................................................................................1
4.2 Subespaos......................................................................................................................4
4.3 Conjuntos geradores ........................................................................................................7
4.4 Dependncia e independncia linear ..............................................................................11
4.5 Base e dimenso ............................................................................................................18
Definio1: Seja E um conjunto arbitrrio no vazio onde esto definidas duas operaes, a adio
e a multiplicao por escalares. Se os seguintes axiomas se verificam para todos os elementos u, v e
w de E e todos os escalares e , ento E um espao vectorial e os seus elementos so
chamados vectores.
I. Adio uma regra que associa a cada par de elementos u e v de E um nico elemento u + v de
E, de maneira a que se verifiquem os seguintes axiomas:
I.1 Comutatividade da adio: u + v = v + u ;
I.2 Associatividade da adio: u + (v + w ) = (u + v ) + w ;
I.3 Elemento neutro: 0 E , chamado vector nulo de E : u E , u + 0 = 0 + u = u ;
I.4 Elemento simtrico: u E , ( u) E , chamado simtrico de u: u + (u) = (u) + u = 0 .
II. Multiplicao por escalares uma regra que associa a cada escalar e cada elemento u de E
um nico elemento u de E, chamado escalar mltiplo de u , que verifica os seguinte axiomas:
II.1 Distributividade em relao adio em E: (u + v ) = u + v ;
II.2 Distributividade em relao adio de escalares: ( + )u = u + u ;
II.3 Associatividade da multiplicao por escalares: ( u) = ( )u ;
II.4 Elemento identidade: 1u = u , u E , sendo 1 o elemento unidade dos escalares.
Repare-se que:
I. Significa que, se u e v pertencem a E, ento u + v pertence a E (fechado para a adio);
II. Significa que, se um escalar arbitrrio e u um qualquer elemento de E , ento u
pertence a E (fechado para a multiplicao por escalares).
1/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
Obs.1:
Deve ter-se em conta que a definio de espao vectorial no especifica quer a natureza dos
elementos (vectores) que formam o conjunto E quer as operaes entre estes vectores. Qualquer
tipo de objecto pode ser um vector, e as operaes de adio e multiplicao por escalares
n
podem no ter qualquer relao ou semelhana com as operaes standard dos vectores em .
O que exigido que os axiomas do espao vectorial sejam satisfeitos (os axiomas no se
provam, eles so simplesmente as regras do jogo). Alguns autores utilizam a notao e
para adio de vectores e multiplicao por escalares para se distinguir estas operaes da
adio e multiplicao de nmeros reais; no se utilizar esta conveno.
De um modo geral, dependendo da aplicao, os escalares podem ser tomados de qualquer
sistema numrico no qual, falando informalmente, se possa somar, subtrair, multiplicar e dividir
de acordo com as leis habituais da aritmtica. Em lgebra abstracta, um sistema desses
conhecido como um corpo.
Portanto, existem uma infinidade de espaos vectoriais. Apenas estudaremos os espaos
vectoriais sobre os nmeros reais, ou seja, quando os escalares so nmeros reais. Assim,
omitimos a palavra real, quando nos referimos a espaos vectoriais, assumiremos que estamos a
trabalhar com o sistema dos nmeros reais.
Exemplo1 (espaos vectoriais): Em cada caso, devemos especificar um conjunto no vazio E , bem
como as operaes de adio e multiplicao por escalares, e devem verificar-se os respectivos
axiomas. S assim E, com as operaes especificadas, pode ser chamado um espao vectorial.
i) O conjunto E = n
representa o espao de todos os n-uplos ordenados de nmeros reais,
n
= {( x1 , x2 ,..., xn ) : xi , i = 1, 2,..., n} .
Onde, representa o conjunto dos nmeros reais e n , o conjunto dos nmeros naturais.
x + y = ( x1 + y1 , x2 + y2 ,..., xn + yn ) n
e multiplicao escalar x = ( x1 , x2 ,..., xn ) n
, com
x = ( x1 , x2 ,..., xn ), y = ( y1 , y2 ,..., yn ) n
e , um espao vectorial real com n dimenses.
n
De um modo geral, os elementos ( x1 ,..., xn ) de , tm duas interpretaes geomtricas. Podem
ser interpretados como pontos, neste caso, x1 ,..., xn so as coordenadas do ponto, ou podem ser
interpretados como vectores, neste caso, x1 ,..., xn so as componentes escalares do vector. Esta
2/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
distino pouco importante em termos matemticos, chamaremos aos elementos de n pontos ou
3
vectores dependendo da situao. Por exemplo, em :
Na bibliografia, por se tratar de uma conveno comum, os pontos aparecem representados por
letras minsculas a negrito ou por letras maisculas, enquanto os vectores, tambm, por letras
n
minsculas a negrito ou com uma seta por cima. Neste texto, para , representam-se os pontos
por letra maiscula, a origem por O = 0 = (0, 0,..., 0) , e os vectores com uma seta por cima.
adio de vectores definida como sendo a adio de matrizes e a multiplicao escalar de vectores
definida como sendo a multiplicao de matrizes por escalares.
mn
o espao vectorial de todas as matrizes reais ( m n ), portanto, a matriz A( mn ) pode ser
mn
considerada um vector de ;
3/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
1n
o espao vectorial de todas as matrizes reais ( 1 n ) (as matrizes linha), portanto, a
1n
matriz A(1n ) = [a11 a12 ... a1n ] pode ser considerada um vector de ;
m1
o espao vectorial de todas as matrizes reais ( m 1 ) (as matrizes colunas) portanto,
m1
a matriz A( m1) = [a11 a21 ... am1 ]T pode ser considerada um vector de .
(adio standard de 2
) e ku = (ku1 , 0) , k (no a multiplicao escalar standard de 2
).
Assim, h valores de u para os quais no se verifica o axioma II4 da definio de espao vectorial.
Por exemplo, seja u = (u1 , u2 ) tal que u2 0 , ento 1u = 1(u1 , u2 ) = (1 u1 , 0) = (u1 , 0) 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 .
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.
22 22
Exemplo3: Mostre que o conjunto S = { A : a12 = a21 } , forma um subespao de .
a b
ii) Para , vem A = S , porque a12 = b = a21 .
b c
Figura3 - W 2
no subespao de 2
Os subespaos de 2
so: Os subespaos de 3
so:
i) {0} (subespao trivial); i) {0} (subespao trivial);
ii) as rectas que passam na origem; ii) as rectas que passam na origem;
2
iii) . iii) os planos que passam na origem;
3
iv) .
2 3 2 3
Obs.4: O conjunto no um subespao de , pois no um subconjunto de
5/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
nn
Alguns subespaos de , so:
i) O conjunto das matrizes ( n n ) simtricas, E = { A M nn : AT = A} ;
hiperplano de n
. Para n = 3 os hiperplanos so planos, e para n = 2 os hiperplanos so rectas.
6/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
Obs.5: O conjunto soluo (espao soluo) de um sistema linear homogneo com m equaes e n
n
incgnitas pode ser visto como a interseco de m subespaos de , que so hiperplanos que
passam pela origem.
Como cada um destes sistemas homogneo tem trs incgnitas, pelo teorema anterior os conjuntos
3
soluo formam subespaos de . Geometricamente, isto significa que cada espao soluo
3
dever ser, a origem, uma recta que passa na origem, um plano que passa na origem, ou todo o
Resoluo:
a) As solues deste sistema so, x = 2 s 3t , y = s e z = t , donde x = 2 y 3 z x 2 y 3 z = 0 .
Esta a equao de um plano que passa na origem, tendo como vector normal n = (1, 2, 3) .
Nesta seco, vamos mostrar que um conjunto de vectores V = {v1 , v2 ,..., vn } 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.
vector u que se possa exprimir na forma u = 1v1 + 2 v2 + ... + n vn com i (no todos nulos)
Obs5: Caso n = 1 , a equao anterior reduz-se a u = 1v1 , ou seja, u uma combinao linear de
Resoluo: Os vectores de n
so do tipo u = (u1 ,..., un ) , para serem combinao linear dos
Definio5: Seja V = {v1 , v2 ,..., vn } um conjunto de vectores do espao vectorial E, ento o conjunto
W de todas as combinaes lineares dos vectores de V chamado conjunto gerado por v1 , v2 ,..., vn
vectores v1 , v2 e v3 , isto , u = 1v1 + 2 v2 + 3v3 . Escrevendo esta equao em termos das suas
componentes vem
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 u1 , u2 e u3 , isto acontece se, e s se,
podem escrever-se como combinao linear de v1 , v2 ,..., vn e outros no. O seguinte teorema mostra
que um conjunto W = ger(V ) forma um subespao de E.
8/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
Obs.6: Este teorema diz que, como o subespao W = ger(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 V = {v1 , v2 ,..., vn } um
subconjunto no vazio de um espao vectorial E, o conjunto W = ger(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 v1 , v2 ,..., vn geram E ou constituem um sistema de geradores do espao).
vectorial E, ento ger(V ) = ger(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.
1 1 0 2
Exemplo9: Considere o sistema linear homogneo AX = 0 , onde A = 2 2 1 5 .
1 1 1 3
9/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
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
1 + 3 = a 1 = a +2b c
1v1 + 2 v2 + 3v3 = (a, b, c ) 1 (1,1, 0) + 2 (0,1,1) + 3 (1, 0,1) = (a, b, c) 1 + 2 = b 2 = a +2b + c
2 + 3 = c 3 = a 2b+ c
3
conclui-se que V gera . Por exemplo, se
1 = 1+21 2 = 1
(a, b, c) = (1,1, 2) 2 = 1+12+ 2 = 2 ,
3 = 121+ 2 = 0
10/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
donde
1v1 + 2 v2 + 3 v3 = (a, b, c) 1 (1,1, 0) + 2 (0,1,1) + 0 (1, 0,1) = (1,1, 2) .
3
Concluso: Verificmos que dois conjuntos finitos de vectores geram o espao vectorial , ou
seja, 3
finitamente gerado. Em particular, vimos que os conjuntos V = {v1 , v2 , v3 , v4 } e
Teorema6: Se os vectores v1 , v2 ,..., vn geram o espao vectorial E e se um desses vectores pode ser
escrito como uma combinao linear dos outros n 1 vectores, ento esses n 1 vectores geram E.
algum vector de V = {v1 , v2 , v3 , v4 } se pode escrever como combinao linear dos restantes vectores.
Na seco anterior, vimos que um conjunto de vectores V = {v1 , v2 ,..., vn } 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.
11/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
n
existe pelo menos um i 0 tal que i vi = 0 , o conjunto diz-se linearmente dependente (L.D.).
i =1
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,
AX = 0 X = 0 . Este estudo pode ser feito atravs da condensao da matriz A do sistema. Prova-
se que r ( A) = 2 < n = 3 (exerccio!) logo o sistema possvel e indeterminado. Portanto, existem
escalares i 0 tais que 1v1 + 2 v2 + 3v3 = 0 (combinao linear), o conjunto V = {v1 , v2 , v3 }
linearmente dependente.
Obs.8: Caso a matriz A seja ( n n ) o teorema anterior diz que o conjunto V = {v1 , v2 ,..., vn } de n
n
Como vimos, para verificar se um conjunto de vectores ou no L.I. em , precisamos resolver
2
um sistema homogneo de n equaes lineares. Assim, um conjunto de com mais do que dois
3 n
vectores, um conjunto de como mais do que trs vectores, e um conjunto de 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.
12/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
n
O prximo teorema mostra que um conjunto L.I. em contm quanto muito n vectores.
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.
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.
v2 = (1, 2,5, 1) e v3 = (7, 1,5,8) se podem escrever como combinao linear uns dos outros.
v2 = (1, 2,5, 1) e v3 = (7, 1,5,8) linearmente dependente. Assim, tendo em conta este ltimo
teorema pelo menos um destes vectores pode exprimir-se como combinao linear dos restantes
dois. Para alm disso, dados n vectores v1 , v2 ,..., vn , possvel escrever um dos vectores como
combinao linear dos outros n 1 vectores se, e s se, existirem 1 , 2 ,..., n , nem todos nulos, tais
que 1v1 + 2 v2 + ... + n vn = 0 (se o conjunto dos vectores v1 , v2 ,..., vn for L.D).
2 1 7 1 2 1 21 + 2 + 73 = 0
1 + 22 3 = 0 1 = 33
1 2 1 0 5 5 1 + 22 3 = 0
, donde 52 + 53 = 0 2 = 3 .
0 5 5 0 0 0 52 + 53 = 0
0=0 3
3 -1 8 0 0 0 31 2 + 83 = 0
3v1 + v2 v3 = 0 . Aqui, cada um dos trs vectores pode exprimir-se como combinao linear dos
1 1 0 1 1 0
Exemplo13: Verifique se o conjunto das matrizes M 1 = , M2 = e M3 =
1 0 1 1 0 1
22
linearmente independente no espao das matrizes .
0 0
Resoluo: A equao matricial 1 M 1 + 2 M 2 + 3 M 3 = equivalente ao sistema de
0 0
1 + 3 = 0
1 = 0
1 + 2 = 0
equaes lineares 2 = 0 , como este sistema tem apenas soluo trivial, M 1 , M 2 e
1 + 2 = 0
3 = 0
2 + 3 = 0
M 3 so linearmente independentes.
Os conceitos de dependncia e independncia linear do-nos a chave para entender a estrutura dos
espaos vectoriais. Vejamos o seguinte exemplo.
1 0 1
A matriz do sistema A = 1 1 0 , como | A |= 2 0 , o sistema possvel e determinado,
0 1 1
admitindo como soluo nica a soluo trivial, 1 = 2 = 3 = 0 , logo V = {v1 , v2 , v3 } L.I.. Como
3
vimos no exemplo10 este conjunto gera , sendo L.I. diz-se um conjunto gerador mnimo. O
conjunto V = {v1 , v2 } no gera 3
mas L.I. (exerccio!).
Teorema10: Sejam u1 , u2 ,..., um vectores que geram um espao vectorial E e V = {v1 , v2 ,..., vn } 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 V = {v1 , v2 ,..., vn } 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.
2 3
Interpretao geomtrica de dependncia linear em e .
2
u= v , se 2 0 , v = 1 u . Ou seja, se {u , v} L.D., ento um dos vectores escalar
1 2
mltiplo do outro. Reciprocamente, se um vector escalar mltiplo do outro, digamos u = v ,
ento u v = 0 e assim eles so L.D.. Portanto, podemos dizer que um conjunto de dois vectores
2
L.D. em 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.
15/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
2 2
Figura4 Dois vectores L.D. em Figura5 Dois vectores L.I. em
Por outro lado, um conjunto formado por trs vectores no nulos {v1 , v2 , v3 } L.D. em 3
se, e s
2
dos escalares 1 , 2 ou 3 , diferente de zero. Se 1 0 , temos v1 = v2 3 v3 , ou seja, o
1 1
vector v1 combinao linear de v2 e v3 . De forma semelhante, se 2 0 , o vector v2
conjunto {v1 , v2 , v3 } 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 {v1 , v2 , v3 } L.D.. Portanto, podemos dizer que {v1 , v2 , v3 }
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.
3
Consequentemente, em se um conjunto de trs vectores no nulos {v1 , v2 , v3 } 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).
16/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
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).
Exemplo16: Estude a dependncia linear do conjunto constitudo pelos vectores v1 = (1, 2,5) ,
v2 = (3,6, 3) e v3 = (1, 1, 1) de 3
.
3
Resoluo: Como o conjunto V de tem trs vectores, pode ser L.D. ou L.I.. Desenvolvendo a
equao vectorial obtemos o sistema linear
1 + 32 + 3 = 0
1v1 + 2 v2 + 3 v3 = (0, 0, 0) 1 (1, 2,5) + 2 (3, 6, 3) + 3 (1, 1, 1) = (0, 0, 0) 21 + 62 3 = 0
51 32 3 = 0
1 3 1 1 3 1
A = 2 6 1 0 18 6 ,
5 3 1 0 0 3
17/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
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 V = {v1 , v2 , v3 } , com v1 = (1,1, 0) , v2 = (0,1,1) e v3 = (1, 0,1)
3 3
um conjunto gerador mnimo de . Uma vez que, V gera e linearmente independente.
i) V gera o espao E;
ii) V linearmente independente.
22
Exemplo17: Verifique que o conjunto { A11 , A12 , A21 , A22 } forma uma base para , onde
1 0 0 1 0 0 0 0
A11 = , A12 = , A21 = e A22 = .
0 0 0 0 1 0 0 1
22
Resoluo: Devemos provar que { A11 , A12 , A21 , A22 } L.I. e gera o espao .
22
i) O conjunto { A11 , A12 , A21 , A22 } de linearmente independentes, pois
1 2 0 0
1 A11 + 2 A12 + 3 A21 + 4 A22 = 0 = 1 = 2 = ... = n = 0 ;
3 4 0 0
22
a11 a12
ii) Se A , como A = vem A = a11 A11 + a12 A12 + a21 A21 + a22 A22 , ou seja, toda a
a21 a22
matriz A(22) pode escrever-se como combinao linear destas matrizes, logo { A11 , A12 , A21 , A22 } ,
22
gera .
22
Por i) e ii), A11 , A12 , A21 , A22 formam uma base para , a base cannica.
18/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
Exemplo18: Verifique que os vectores e1 = (1,...,0), e2 = (0,1,..., 0) , ..., en = (0,...,1) , constituem
n
uma base para o espao vectorial .
Resoluo:
n
i) Qualquer vector de , pode ser escrito como combinao linear de e1 , e2 ,..., en
u = (u1 ,..., un ) = u1 (1,..., 0) + ... + un (0,...,1) = u1e1 + ... + un en . Portanto, e1 , e2 ,..., en geram o espao.
Teorema11: Seja E um espao vectorial, e V = {v1 , v2 ,..., vn } uma base para E. Ento qualquer
De facto, qualquer vector de um espao vectorial finitamente gerado pode ser representado como
uma combinao nica dos elementos de uma base V = {v1 , v2 ,..., vn } 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 V = {v1 , v2 ,..., vn } uma
base de um espao vectorial E, cada u E , pode ser escrito como combinao linear de
v1 , v2 ,..., vn , ou seja, u = 1v1 + 2 v2 + ... + n vn (exprime u em termos da base V), ento os escalares
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 e1 = (1, 0) e e2 = (0,1) . Note-se que,
u = (1, 3) = e1 3e2 , uma vez que u = e1 3e2 = (1,0) 3(0,1) = (1,0) + (0, 3) = (1, 3) . Aos
Mudana de base: Uma base de um espao vectorial, E , chamada cannica por ser a mais
natural para se representar vectores de E . Embora essas bases cannicas paream ser as mais
simples e naturais para se usar, em muitas aplicaes, elas no so as bases mais apropriadas. De
facto, a chave na resoluo de muitos problemas aplicados mudar da base cannica para uma base
que de alguma forma, mais natural para a aplicao em questo. Uma vez resolvido o problema na
nova base, fcil voltar a representar a soluo e, termos da base cannica.
cannica {e1 , e2 } = {(1, 0), (0,1)} . Por outro lado, v = 1u1 + 2 u2 , onde os escalares 1 e 2 so as
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
{e1 , e2 } para 2
, queramos usar uma base diferente, por exemplo, {u1 , u2 } com u1 = (3, 2) e
Comecemos por resolver o problema i), para mudar a base {u1 , u2 } para a base {e1 , e2 } , precisamos
Para resolver o problema ii), precisamos encontrar a matriz mudana de base de {e1 , e2 } para
{u1 , u2 } . A matriz U admite inversa, uma vez que as suas colunas so constitudas por vectores
1 2 1 1 2 7 1
a inversa de U = (u1 , u2 ) = , ou seja, = U 1v = = , donde o vector
4 1 7 4 1 7 3
pedido w = u + 3v .
2
Figura6 Soma de vectores em
21/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
O vector w = (7, 7) pode ser escrito como combinao linear w = u + 3v . Assim, o vector de
componentes de w em relao a {u , v } (1,3) . Geometricamente, esse vector diz-nos como sair da
origem e chegar a w = (7, 7) movendo-nos primeiro na direco de u e depois na direco de v .
Resulta deste ltimo teorema que, se V = {v1 , v2 ,..., vn } 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 V1 = {u1 ,..., um } e V2 = {v1 ,..., vn } so duas bases de um espao vectorial E,
Para se ver como este teorema esta relacionado com o conceito de dimenso, recorde-se que a base
n n
cannica de tem n vectores. Ento o teorema13 implica que as infinitas bases de tm n
3 2
vectores. Em particular, todas as bases de tm trs vectores, todas as bases de tm dois
3 2
vectores, e todas as bases de tm um vector. Intuitivamente, tridimensional, (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.
22/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
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, E = {0} , definida como sendo dim( E ) = 0 .
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 dim( 3
) = 3.
n(n + 1)
5) A dimenso do espao das matrizes ( n n ) triangulares superiores (exerccio!).
2
independente e que gera E. Contudo, se soubemos que dim( E ) = n (ou seja, {v1 , v2 ,..., vn } 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.
23/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais
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 .
Resoluo:
(a) Pelo teorema14, uma base de um espao vectorial de dimenso n qualquer subconjunto de n
vectores L.I. desse espao. Como, qualquer um dos vectores no escalar mltiplo do outro, os dois
2 2
vectores formam um subconjunto L.I. do espao bidimensional , ou seja, uma base para ;
(b) Os vectores v1 e v2 formam um conjunto L.I. no plano XOZ (porqu?). O vector v3 no
pertence ao plano XOZ , portanto, o conjunto {v1 , v2 , v3 } L.I.. Uma vez que dim( 3
) = 3, o
3
teorema14 garante que o conjunto {v1 , v2 , v3 } forma um base de .
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 .
i) O conjunto V = {v1 , v2 , v3 , v4 } de 3
, apesar de gerar 3
no L.I. (no 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
3
ilustra esta ideia em .
3
Figura7 Dimenso dos subespaos de
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.
v1 , v2 e v3 no geram 3
, dim( S ) 3 .
Vamos agora estudar dependncia linear do conjunto V = {v1 , v2 , v3 } . Como a matriz A do sistema
fazendo, 3 = 1 , vem v3 = 3v1 + 2v2 . Ou seja, v3 pertence ao espao gerado por v1 e v2 , donde, o
3
subespao S de gerado por v1 , v2 e v3 pode ser representado pelos vectores v1 e v2 . Como,
1v1 + 2 v2 + 3v3 = 1v1 + 2 v2 + 3 (3v1 + 2v2 ) = (1 + 33 )v1 + (2 + 23 )v2 , o espao gerado por
Por outro lado, como v3 = 3v1 + 2v2 3v1 + 2v2 v3 = 0 , e sendo os trs coeficientes diferentes de
zero, podemos exprimir cada um dos vectores em funo dos outros dois v1 = 23 v2 + 13 v3 e
v2 = 32 v1 + 12 v3 . Temos ento que, S = ger {v1 , v2 } , S = ger {v1 , v3 } ou S = ger {v2 , v3 } , ou seja, o
subespao S pode ser gerado por quaisquer dois dos vectores dados.
Prova-se que os conjuntos {v1 , v2 } , {v2 , v3 } e {v1 , v3 } so L.I., ou seja, formam uma base para S.
26/ 26
APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA