Вы находитесь на странице: 1из 28

UNIVERSIDADE DO ALGARVE ESCOLA SUPERIOR DE TECNOLOGIA

REA DEPARTAMENTAL DE ENGENHARIA CIVIL

















APONTAMENTOS DE
LGEBRA LINEAR E GEOMETRIA ANALTICA

(IV. Espaos vectoriais)
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

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

REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
1/ 26
4. Espao vectoriais
4.1 Definio e exemplos

As operaes de soma e multiplicao por um escalar so usadas em diversos contextos na
matemtica, independentemente destes, essas operaes obedecem, em geral, ao mesmo conjunto
de regras aritmticas. Assim, uma teoria geral de sistemas matemticos envolvendo estas duas
operaes vai ter aplicao em diversas reas da matemtica. Sistemas matemticos deste tipo so
chamados espaos vectoriais ou espaos lineares. Neste captulo, vamos definir espaos vectoriais e
desenvolver parte da sua teoria geral.

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: E 0 , chamado vector nulo de E : E u , + = + = 0 0 u u u ;
I.4 Elemento simtrico: E u , ( ) E u , chamado simtrico de u: ( ) ( ) + = + = 0 u u u u .

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: 1 = u u , E u , 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).




REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
2/ 26

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
podem no ter qualquer relao ou semelhana com as operaes standard dos vectores em
n
.
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
n
E = representa o espao de todos os n-uplos ordenados de nmeros reais,

{ }
1 2
( , ,..., ) : , 1, 2,...,
n
n i
x x x x i n = = .

Onde, representa o conjunto dos nmeros reais e n, o conjunto dos nmeros naturais.

Para cada 1, 2,... n = , o conjunto
n
E = , munido das operaes usuais de adio
1 1 2 2
( , ,..., )
n
n n
x y x y x y + = + + + x y e multiplicao escalar
1 2
( , ,..., )
n
n
x x x = x , com
1 2 1 2
( , ,..., ), ( , ,..., )
n
n n
x x x y y y = = x y e , um espao vectorial real com n dimenses.

De um modo geral, os elementos
1
( ,..., )
n
x x de
n
, tm duas interpretaes geomtricas. Podem
ser interpretados como pontos, neste caso,
1
,...,
n
x x so as coordenadas do ponto, ou podem ser
interpretados como vectores, neste caso,
1
,...,
n
x x so as componentes escalares do vector. Esta
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
3/ 26
distino pouco importante em termos matemticos, chamaremos aos elementos de
n
pontos ou
vectores dependendo da situao. Por exemplo, em
3
:


Figura1 Coordenadas
0 0 0
( , , ) x y z Figura2 Componentes
0 0 0
( , , ) x y z

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
minsculas a negrito ou com uma seta por cima. Neste texto, para
n
, representam-se os pontos
por letra maiscula, a origem por (0, 0,..., 0) O = = 0 , e os vectores com uma seta por cima.

ii) O conjunto E de todas matrizes reais ( m n ) um espao vectorial (
m n
ou
( )
( )
m n
M

) se a
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.

Seja
11 12 1
21 22 2
1 2
( )
........
........
........
n
n
m m nn
n n
a a a
a a a
A
a a a

(
(
(
=
(
(


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

= pode ser considerada um vector de


1 n
;

1 m
o espao vectorial de todas as matrizes reais ( 1 m ) (as matrizes colunas) portanto,
a matriz
( 1) 11 21 1
[ ... ]
T
m m
A a a a

= pode ser considerada um vector de


1 m
.

Exemplo2 (um conjunto que no um espao vectorial): Seja
2
E = , para
1 2
( , ) u u u =

e
1 2
( , ) v v v =

, define-se a adio e multiplicao escalar do seguinte modo:


1 1 2 2
( , ) u v u v u v + = + +


(adio standard de
2
) e
1
( , 0) ku ku =

, 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
1 2
( , ) u u u =

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 =

no est (pertence ao terceiro quadrante).



Figura3 -
2
W no subespao de
2


Obs.3: Se E um espao vectorial, ento E um subespao dele mesmo. O conjunto formado
apenas pelo vector nulo tambm um subespao de E. Assim, qualquer espao vectorial no nulo E
tem pelo menos dois subespaos. O prprio E e o conjunto {0} constitudo apenas pelo vector nulo
em E chamado o subespao nulo (os chamados subespaos triviais).

Obs.4: O conjunto
2
no um subespao de
3
, pois
2
no um subconjunto de
3

Os subespaos de
3
so:
i) {0} (subespao trivial);
ii) as rectas que passam na origem;
iii) os planos que passam na origem;
iv)
3
.
Os subespaos de
2
so:
i) {0} (subespao trivial);
ii) as rectas que passam na origem;
iii)
2
.
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
6/ 26

Alguns subespaos de
n n
, so:
i) O conjunto das matrizes ( n n ) simtricas, { : }
n n T
E A M A A

= = ;
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

que se possa exprimir na forma


1 1 2 2
...
n n
u v v v = + + +

com
i
(no todos nulos)
diz-se uma combinao linear dos vectores
1 2
, ,...,
n
v v v

.

Obs5: Caso 1 n = , a equao anterior reduz-se a
1 1
u v =

, ou seja, u

uma combinao linear de


um nico vector
1
v se for um escalar mltiplo de
1
v .
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
8/ 26

Exemplo7: Mostre que qualquer vector de
n
pode ser escrito como combinao linear dos
vectores na forma
1 2
(1,..., 0), (0,1,..., 0) e e = =

, ..., (0,...,1)
n
e =

.
Resoluo: Os vectores de
n
so do tipo
1
( ,..., )
n
u u u =

, para serem combinao linear dos


vectores
1 2
, ,...,
n
e e e

devem ser escrito na forma.

1 1 2 2 3 3 1 2 1
(1,..., 0) (0,1,..., 0) ... (0,...,1) ( ,..., )
n n
u u e u e u e u u u u u = + + = + + + =

,

o que
1
( ,..., )
n
u u uma combinao linear dos vectores
1 2
, ,...,
n
e e e

.

Definio5: Seja
1 2
{ , ,..., }
n
V v v v =

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
1 2
, ,...,
n
v v v


ou por V , diz-se que os vectores
1 2
, ,...,
n
v v v

geram W ou que V o conjunto de geradores de W.
Para indicar que W o conjunto gerado pelos vectores de V escrevemos ger( ) W V = ou W V =< >.

Exemplo8: Verifique se os vectores
1
(1,1, 2) v =

,
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

diferente de zero, por outro,


1 2 1 3
1 1 2 2 3 3 1 2 3 1 2 2 2
2 3 3 2
( , , ) (1,1, 0) (0,1,1) (1, 0,1) ( , , )
a b c
a b c
a b c
a
v v v a b c a b c b
c



+
+ +
+
= + =

+ + = + + = + = =


+ = =


conclui-se que V gera
3
. Por exemplo, se
1 1 2
1 2
1 1 2
2 2
1 1 2
3 2
1
( , , ) ( 1,1, 2) 2
0
a b c

+
+ +
+
= =

= = =

= =

,
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
=
=

, o conjunto diz-se linearmente dependente (L.D.).



Exemplo11: Estude a dependncia linear 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 =


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 =

se podem escrever como combinao linear uns dos outros.


Resoluo: Como vimos no exemplo11, o 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 =

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
1 2
, ,...,
n
v v v

, possvel escrever um dos vectores como
combinao linear dos outros 1 n vectores se, e s se, existirem
1 2
, ,...,
n
, nem todos nulos, tais
que
1 1 2 2
... 0
n n
v v v + + + =

(se o conjunto dos vectores
1 2
, ,...,
n
v v v

for L.D).

Condensando a matriz do sistema homogneo indicado no exemplo11, vem

2 1 7 1 2 1
1 2 1 0 5 5
0 5 5 0 0 0
3 -1 8 0 0 0
( (
( (

( (

( (
( (

, 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


+ =
=

+ =

=

+ =

=

+ =

, como este sistema tem apenas soluo trivial,


1 2
, M M e
3
M 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.

Exemplo14: Estude a dependncia linear do conjunto
1 2 3 4
{ , , , } V v v v v =

de
3
, com
1
(1,1, 0) v =

,
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

no pertencem mesma recta que contm a origem no espao tridimensional. Como


a origem e esses dois vectores no so colineares, determinam um plano. Se outro vector w


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

no pertence a esse plano, o conjunto L.I..



Por outro lado, um conjunto formado por trs vectores no nulos
1 2 3
{ , , } v v v

L.D. em
3
se, e s
se, a equao
1 1 2 2 3 3
0 v v v + + =


,
1 2 3
, , , possui soluo no trivial. Se isso acontece um
dos escalares
1 2
, ou
3
, diferente de zero. Se
1
0 , temos
3 2
1 2 3
1 1
v v v


=

, ou seja, o
vector
1
v

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

, pode ser escrito como combinao linear de


1 2
, ,...,
n
v v v

, ou seja,
1 1 2 2
...
n n
u v v v = + + +

(exprime u

em termos da base V), ento os escalares


1 2
, ,...,
n
chamam-se componentes ou coordenadas de v

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 =

em relao base cannica de


n
so
1
,...,
n
v v .
REA DEPARTAMENTAL DE ENGENHARIA CIVIL
Espaos vectoriais

APONTAMENTOS DE LGEBRA LINEAR E GEOMETRIA ANALTICA
20/ 26

Obs.12: Note-se que as componentes de um vector, relativamente a uma base de um espao
vectorial, dependem no s da base mas tambm da ordem como os vectores da base so escritos;
uma mudana na ordem dos vectores da base resulta numa mudana correspondente na ordem das
entradas das componentes do vector. Para no sobrecarregar a exposio, no estaremos sempre a
repetir isso, e falaremos de uma base simplesmente como um conjunto.

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.

Por exemplo: Pelo teorema11, qualquer vector
1 2
( , ) 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 =

. Isto equivale a querer obter as componentes de um vector de


2
em relao aos dois
sistemas de coordenadas, para isso, vamos considerar os dois problemas seguintes:
i) Encontrar componentes do vector
1 1 2 2
u u +

em relao base
1 2
{ , } e e

.
ii) Encontrar as componentes do vector
1 1 2 2
v v e v e = +

em relao base
1 2
{ , } u u

;

Comecemos por resolver o problema i), para mudar a base
1 2
{ , } u u

para a base
1 2
{ , } e e

, precisamos
exprimir os elementos da base antiga
1
u

e
2
u

, em termos dos elementos da nova base,


1
e

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
( , ) = =

temos que, para qualquer vector de


componentes

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 =

. A matriz U chamada matriz


mudana de base de
1 2
{ , } u u

para
1 2
{ , } e e

.

Para resolver o problema ii), precisamos encontrar a matriz mudana de base de
1 2
{ , } e e

para
1 2
{ , } u u

. A matriz U admite inversa, uma vez que as suas colunas so constitudas por vectores
L.I.. Temos ento
1 1 1
v U U v U U U v

= = =


. Assim, dado um vector
1 2 1 1 2 2
( , ) v v v v e v e = = +

, basta multiplic-lo por
1
U

para se encontrar o seu vector de componentes


relativamente a
1 2
{ , } u u

. A matriz
1
U

a matriz mudana de base de


1 2
{ , } e e

para
1 2
{ , } u u

.

Exemplo20: Considerando os vectores (1, 4) 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 =

formam um conjunto linearmente independente,


assim, { , } u v

uma base de
2
. Pelo que foi dito, a matriz mudana de base de
1 2
{ , } e e

para { , } u v


a inversa de
1 2
1 2
( , )
4 1
U u u
(
= =
(


, ou seja,
1
1 2 7 1
1
4 1 7 3 7
U 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 =

pode ser escrito como combinao linear 3 w u v = +



. 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 (7, 7) w =

movendo-nos primeiro na direco de u

e depois na direco de v

.

O vector de componentes de w

em relao base ordenada { , } v u



(3,1) . Geometricamente, esse
vector diz-nos como sair da origem e chegar a (7, 7) w =

movendo-nos primeiro na direco de v

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

no colineares formam um conjunto L.I. e no h trs vectores


nestas condies, logo OA

, OB

formam uma base e


2
dim( ) 2 = .
4) Mais geralmente, tem-se
( )
dim( ( ))
m n
M m n

= .
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 =

forma uma base de


2
;
(b) os vectores
1 2
(2, 0, 1), (4, 0, 7) v v = =

e
3
( 1,1, 4) v =

forma uma base de


3
.
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
vectores formam um subconjunto L.I. do espao bidimensional
2
, ou seja, uma base para
2
;
(b) Os vectores
1
v

e
2
v

formam um conjunto L.I. no plano XOZ (porqu?). O vector


3
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

pertence ao espao gerado por


1
v

e
2
v

, donde, o
subespao S de
3
gerado por
1 2
, v v

e
3
v

pode ser representado pelos vectores


1
v

e
2
v

. Como,
qualquer combinao linear de
1 2
, v v

e
3
v

pode ser reduzida a uma combinao linear de


1
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.

Вам также может понравиться