ESPAO VETORIAL REAL DE DIMENSO FINITA

Definio
Sejam um conjunto no vazio V, o conjunto dos nmeros reais R e duas operaes binrias, adio e
multiplicao por escalar.
+ : V V V : R V V
( v, u ) a v + u ( k , v) a k v

V um Espao Vetorial sobre R, ou Espao Vetorial Real ou um R-espao vetorial, com estas
operaes se as propriedades abaixo, chamadas axiomas do espao vetorial, forem satisfeitas:

EV1. (Associativa) Para quaisquer v, u, w V , ( v + u ) + w = v + (u + w) .

EV2. (Comutativa) Para todo v, u V , v + u = u + v .
EV3. (Elemento Neutro) Existe e V tal que para todo v V , e + v = v + e = v .
Notao: e = 0V
EV4. (Elemento Simtrico) Para todo v V , existe v ' V tal que v + v ' = v '+ v = 0V .
Notao: v ' = v
Assim, v + ( u ) = v u
EV5. Para quaisquer k1 , k 2 R e para todo v V , k1 ( k 2 v ) = ( k 1 k 2 ) v .
EV6. Para quaisquer k1 , k 2 R e para todo v V , ( k1 + k 2 ) v = ( k1 v ) + ( k 2 v ) .
EV7. Para todo k R e para quaisquer v, u V , k ( v + u ) = ( k v ) + ( k u ) .
EV8. Para todo v V , 1 v = v .

Os elementos de um espao vetorial so denominados vetores e os nmeros reais de escalares.

Exemplos :
1) R2 com as operaes:
( x, y ) + ( z, t ) = ( x + z, y + t )
k ( x, y ) = ( kx, ky )
um espao vetorial pois os oito axiomas acima so verificados, cabe lembrar que o elemento
neutro da adio 0V o par ordenado (0,0) .

2) Rn com as operaes:
( x1 , x 2 ,..., x n ) + ( y1 , y 2 ,..., y n ) = ( x1 + y1 , x 2 + y 2 ,..., x n + y n )
k ( x1 , x 2 ,..., x n ) = ( kx1 , kx 2 ,..., kx n )

3) O conjunto das matrizes reais de ordem m n , com as operaes usuais um espao vetorial, tal
que o elemento neutro da adio a matriz nula.

4) O conjunto dos polinmios, com coeficientes reais, de grau menor ou igual a n, com as operaes
abaixo:
p( x ) + q( x ) = ( a n + bn ) x n + ... + ( a1 + b1 ) x + ( a 0 + b0 )
k p( x ) = ka n x n + ... + ka1 x + ka 0
onde p( x ) = a n x n + ... + a1 x + a 0 e q( x ) = bn x n + ... + b1 x + b0 .
um espao vetorial, onde o elemento neutro da adio 0V o polinmio 0 x n + ... + 0 x + 0 .

41
5) R2 com as operaes abaixo no um espao vetorial.
( x, y ) + ( z, t ) = ( x + z,0)
k ( x, y ) = ( kx, ky )
No possui elemento neutro, pois:
Seja 0V = ( e1 , e 2 ) tal que ( x, y ) + ( e1 , e 2 ) = ( x, y ) .
Mas, ( x, y ) + ( e1 , e 2 ) = ( x + e1 ,0) .
Assim, ( x, y ) = ( x + e1 ,0) .
Portanto, para todo y R , y = 0 .
Logo, no existe elemento neutro.

Subespao Vetorial
Um subespao vetorial de V um subconjunto no vazio S V com as seguintes propriedades:

Sub1. 0V S .
Sub2. Fechamento de S em relao operao de Adio.
Se u S e v S ento u + v S .
Sub3. Fechamento de S em relao operao de Multiplicao por Escalar
Se u S e k R ento k u S .

Notao: S V .

Exemplos:
1) S = {( x,0,0), x R} um subespao vetorial do R3 com as operaes de adio e multiplicao por
escalar usuais.
Um vetor u pertence ao subespao S quando possui a 2 e 3 coordenadas iguais a zero.
Verificando as propriedades de subespao.

1. 0V S ? Sim, (0,0,0) S .

2. Se u S e v S ento u + v S ?
Sejam u = ( x1 ,0,0) S e v = ( x 2 ,0,0) S .
Ento u + v = ( x1 + x 2 ,0,0) S .
Logo, S fechado sob a operao de adio de vetores.

3. Se u S e k R ento k u S ?
Seja u = ( x1 ,0,0) S .
Ento k u = ( kx1 ,0,0) S .
Logo, S fechado sob a operao de multiplicao por escalar.
O subespao S poderia ser descrito ainda por {( x, y , z ) R 3 | y = 0 e z = 0} .

2) O conjunto S = {( x, y, z ) R 3 | x = 0 e y z} no um subespao vetorial do R3 com as operaes

usuais.

1. 0V S ? Sim, (0,0,0) satisfaz as condies x = 0 e y z .

2. Se u S e v S ento u + v S ?
Sejam u = (0, y, z ) S e v = (0, t , r ) S , com y z e t r .
42
 Ento u + v = (0, y + t , z + r ) S , com y + t z + r .

3. Se u S e k R ento k u S ?
No. (Contra-exemplo)
Sejam (0,4,1) S e 2 R .
( 2) (0,4,1) = (0,8,2) S , pois 8 2 .

3) S = {( x, y, z ) R 3 | x = y + 1} no um subespao do R3, pois (0,0,0) S .

O fato do vetor 0V pertencer ao conjunto S no implica que este seja um subespao.

Todo espao vetorial V admite pelo menos dois subespaos: o prprio espao V e o conjunto {0V } ,
chamado subespao nulo. Estes dois subespaos so denominados subespaos triviais de V e os
demais subespaos prprios de V.

Combinao Linear
Sejam os vetores v1 , v 2 ,..., v n V . Um vetor w V est escrito como combinao linear dos vetores
v1 , v 2 ,..., v n quando existem k1 , k 2 ,..., k n R tais que w = k1 v1 + k 2 v 2 + ... + k n v n .

Exemplos:
1) O vetor ( 1,1) uma combinao linear dos vetores (1,2) e (3,5) , pois:
( 1,1) = 2 (1,2) + ( 1) (3,5)

2) O vetor (1,2,3) no pode ser escrito como combinao linear dos vetores (1,0,0) e (0,0,1) , pois:
k 1 (1,0,0) + k 2 (0,0,1) = (1,2,3) (*)
( k1 ,0,0) + (0,0, k 2 ) = (1,2,3)
( k 1 ,0, k 2 ) = (1,2,3)
k 1 = 1

Assim, 0 = 2
k = 3
2
O sistema impossvel.
Logo no existem valores reais para k 1 e k 2 que satisfaam a igualdade (*).

3) Determinando a lei que define (todos) os vetores que podem ser escritos como combinao linear
de (1,0,0) e (0,0,1) .
k 1 (1,0,0) + k 2 (0,0,1) = ( x, y , z )
( k1 ,0,0) + (0,0, k 2 ) = ( x, y , z )
( k1 ,0, k 2 ) = ( x, y , z )
k 1 = x

Assim, 0 = y
k = z
2
O sistema possvel quando y = 0 e para quaisquer x, z R .
Assim, {( x, y , z ) R 3 | y = 0} o conjunto de todos os vetores escritos como combinao linear de
(1,0,0) e (0,0,1) .
Geometricamente, trata-se do plano XZ.
43
Subespao Vetorial Gerado e Conjunto Gerador
Sejam os vetores v1 , v 2 ,..., v n V e [v1 , v 2 ,..., v n ] o conjunto de todas as combinaes lineares destes
vetores. O conjunto [v1 , v 2 ,..., v n ] um subespao vetorial de V, denominado subespao vetorial
gerado pelos vetores v1 , v 2 ,..., v n .
O conjunto {v1 , v 2 ,..., v n } o conjunto gerador do subespao [v1 , v 2 ,..., v n ] .

Exemplos:
1) O vetor (1,2) R 2 gera o conjunto [(1,2)] = {( x,2 x ), x R} .
k (1,2) = ( x, y )
( k ,2k ) = ( x, y )
k = x
Assim,
2 k = y y = 2 x
O conjunto de todas as combinaes lineares do vetor (1,2) o conjunto de todos os seus mltiplos
escalares.
Geometricamente, [(1,2)] uma reta definida pela equao y 2 x = 0 .

2) [(1,1,0), (1,2,1)] = {( x, y , z ) R 3 | x y + z = 0} .
k 1 (1,1,0) + k 2 (1,2,1) = ( x, y , z )
( k 1 , k 1 ,0) + ( k 2 ,2k 2 , k 2 ) = ( x, y , z )
( k 1 + k 2 , k 1 + 2k 2 , k 2 ) = ( x , y , z )
k 1 + k 2 = x

Assim, k 1 + 2k 2 = y
k = z
2
1 1 x 1 1 x

Matriz ampliada 1 2 y e matriz escalonada 0 1 y x .
0 1 z 0 0 z y + x

Para se determinar os vetores que so combinaes lineares de (1,1,0) e (1,2,1) necessrio que o
sistema seja possvel, isto , x y + z = 0 .
Logo, [(1,1,0), (1,2,1)] = {( x, y , z ) R 3 | x y + z = 0} = {( y z, y, z ), y , z R} .
Geometricamente, [(1,1,0), (1,2,1)] um plano no R 3 com equao x y + z = 0 .

3) [(1,3), ( 4,2)] = R 2 .
k1 (1,3) + k 2 ( 4,2) = ( x, y )
( k 1 + 4k 2 ,3k 1 + 2k 2 ) = ( x, y )
k + 4 k 2 = x
Assim, 1
3k1 + 2k 2 = y
1 4 x 1 4 x
Matriz ampliada 3x y .
e matriz escalonada
3 2 y 0 1
10
Como o sistema possvel e determinado, nenhuma condio deve ser satisfeita.
Logo, [(1,3), ( 4,2)] = R 2 .

44
4) Encontre a equao do espao gerado pelos vetores (1,1,2), ( 2,0,1) e ( 1,1,3) .
O espao gerado o conjunto de vetores v = ( x, y, z ) R 3 que possam ser escritos como
combinao linear dos vetores dados, isto , k1 (1,1,2) + k 2 ( 2,0,1) + k 3 ( 1,1,3) = ( x, y, z ) .
k 1 2 k 2 k 3 = x

Assim, k 1 + 0k 2 + k 3 = y
2k + 2k + 3k = z
1 2 3

1 2 1 x
1 2 1 x
yx
Matriz ampliada 1 0 1 y e matriz escalonada 0 1 1 .
2 2
1 3 z x 5 y + 2z
0 0 0
2

Para que o sistema seja possvel necessrio que x 5 y + 2 z = 0 .

Assim, com esta condio satisfeita, obtm-se vetores ( x, y, z ) R 3 que so combinao linear dos
vetores dados.
Portanto, o espao gerado {( x, y , z ) R 3 | x 5 y + 2 z = 0} , que geometricamente representa um
plano em R3.

Vetores Linearmente Independentes e Linearmente Dependentes

Um conjunto de vetores {v1 , v 2 ,..., v n } V linearmente independente (LI) quando
k1 v1 + k 2 v 2 + ... + k n v n = 0V se e somente se k1 = k 2 = ... = k n = 0 .
Se existir pelo menos um k i 0 , com i = 1,..., n , ento o conjunto linearmente dependente (LD).

Exemplos:
1) {(1,3), (4,2)} LI, pois:
k1 (1,3) + k 2 ( 4,2) = (0,0)
( k1 + 4k 2 ,3k 1 + 2k 2 ) = (0,0)
k + 4k 2 = 0
Assim, 1
3k 1 + 2k 2 = 0
1 4 0 1 4 0
Matriz ampliada e matriz escalonada .
3 2 0 0 1 0
O sistema possvel e determinado com k1 = k 2 = 0 .
Assim, o conjunto LI. Um dos vetores no mltiplo escalar do outro.
Foi visto que o espao gerado por {(1,3), (4,2)} R2, ou seja [(1,3), (4,2)] = R2.

2) {(1,3), ( 2,6)} LD, pois:

k1 (1,3) + k 2 ( 2,6) = (0,0)
( k1 + 2k 2 ,3k 1 + 6k 2 ) = (0,0)
k + 2k 2 = 0
Assim, 1
3k1 + 6k 2 = 0

45
 1 2 0 1 2 0
Matriz ampliada e matriz escalonada .
3 6 0 0 0 0
O sistema possvel e indeterminado, com k 1 = 2k 2 . Ento, o conjunto LD, pois ( 2,6) = 2 (1,3).
Os vetores (1,3) e (2,6) pertencem a uma mesma reta. O espao gerado pelo conjunto {(1,3), (2,6)}
{( x, y ) R 2 | y = 3x}, isto , [(1,3), ( 2,6)] = {( x, y ) R 2 | y = 3x}.

3) {(2,0,5),(1,2,3),(3,2,8)} LD, pois: k1 (2,0,5) + k2 (1,2,3) + k3 (3,2,8) = (0,0,0)

2k 1 + k 2 + 3k 3 = 0

Assim, 2k 2 + 2k 3 = 0
5k + 3k + 8k = 0
1 2 3

1 3
2 1 3 0 1 0

Matriz ampliada 0 2 2 0 e matriz escalonada 0 12 2
1 0 .

5 3 8 0 0 0 0 0

Como o sistema possvel e indeterminado, o conjunto LD.

Base e Dimenso de um Espao Vetorial

Seja um conjunto finito B V . Diz-se que B uma base do espao vetorial V quando B um conjunto
linearmente independente e gera V, isto , [ B ] = V .
O nmero de elementos (cardinalidade) de uma base B do espao vetorial V denominado dimenso
do espao vetorial V.
Se a dimenso de V igual a n, diz-se que V um espao vetorial finito n-dimensional. Em particular,
a dimenso do espao nulo {0V} zero. No h base para o espao nulo.

Notao: dim V

Exemplos:
1) Os conjuntos {(1,0), (0,1)} e {(1,3), (4,2)} so bases do R2.
O conjunto {(1,2), (3,5), (2,1)} no base do R2 , pois apesar de gerar R2 , no LI.
O conjunto {(1,2)} LI mas no gera o R2 , portanto tambm no uma base do R2.
Toda base de R2 tem dois vetores de R2 que geram R2 e que so LI.
Logo, dim R 2 = 2 .

2) {(-1,0,1),(2,3,0),(1,2,3)} uma base do R3.

O conjunto {(-1,0,1),(2,3,0)} LI, mas no gera o R3. Logo, no base do R3.
O conjunto {(-1,0,1),(2,3,0),(1,2,3),(0,2,4)} gera o R3, mas no LI. Tambm no uma base do
R3.
Toda base de R3 formada por trs vetores LI de R3 .
Logo, dim R 3 = 3 .

Um vetor qualquer ( x, y , z ) R 3 pode ser escrito como ( x, y, z ) = x (1,0,0) + y (0,1,0) + z (0,0,1)

Assim, {(1,0,0),(0,1,0),(0,0,1)} gera o R3, isto , [(1,0,0), (0,1,0), (0,0,1)] = R 3 .
Alm disso, este conjunto LI.
Logo, {(1,0,0),(0,1,0),(0,0,1)} uma base do R3, denominada a base cannica do R3.

46
 Espao Vetorial Base Cannica Dimenso
R {1} 1
R2 {(1,0),(0,1)} 2
R4 {(1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1)} 4
Mat 22 ( R ) 1 0 0 0 0 1 0 0 4
, , ,
0 0 1 0 0 0 0 1
Polinmios com coeficientes reais de {1, x, x 2 } 3
grau menor ou igual a 2

Operaes com Subespaos Vetoriais

1. Interseo
Sejam S 1 e S 2 subespaos do espao vetorial real V.
O conjunto interseo de S 1 e S 2 , S1 S 2 = {v V | v S 1 e v S 2 } , tambm um subespao
vetorial de V.

(Sub1) 0V S1 S 2 ?
0V S1 , pois S1 V .
0V S 2 , pois S 2 V .
Assim, 0V S1 S 2 .
(Sub2) Se v S1 S 2 e u S1 S 2 ento v + u S1 S 2 ?
v S1 S 2 v S1 e v S 2
u S1 S 2 u S1 e u S 2
Ento, v + u S1 e v + u S 2 .
Logo, v + u S1 S 2 .
(Sub3) Se v S1 S 2 e k R ento k v S1 S 2 ?
v S1 S 2 v S1 e v S 2
Ento, k v S1 e k v S 2 .
Logo, k v S1 S 2 .

Exemplos:
1) Sejam S1 = {( x,0,0), com x R} e S 2 = {( x, y, z ) R 3 | y = x + z} .
S1 S 2 = {( x, y , z ) R 3 | ( x, y , z ) S1 e ( x, y , z ) S 2 } .
y = 0

Assim, z = 0
y = x + z

Logo, S 1 S 2 = {(0,0,0)} .
Geometricamente, tem-se uma reta e um plano no R3 que se interceptam na origem.

2) Sejam S1 = {( x, y , z ) R 3 | y = 3x} e S 2 = {( x, y , z ) R 3 | 2 x y + 3z = 0} .
S1 S 2 = {( x, y , z ) R 3 | y = 3x e 2 x y + 3z = 0} .

47
 3x + y = 0
Assim,
2 x y + 3z = 0
3 1 0 0 1 13 0 0

2 1 3 0 0 1 9 0
Logo, S 1 S 2 = {(3z,9 z, z ), z R} , ou seja, S 1 S 2 = {z (3,9,1), z R} .
Geometricamente, a interseo representada por uma reta que passa pelos pontos (0,0,0) e
(3,9,1).

2. Soma
Sejam S 1 e S 2 subespaos do espao vetorial real V.
O conjunto soma de S 1 e S 2 , S1 + S 2 = {v V | v = s1 + s 2 , com s1 S1 e s 2 S 2 } , tambm um
subespao vetorial de V.

Exemplos:
1) Sejam S1 = {( x,0,0), x R} e S 2 = {( x, y, z ) R 3 | y = x + z} .
S1 + S 2 = {( x, y , z ) R 3 | ( x, y , z ) = s1 + s 2 , com s1 S1 e s 2 S 2 } .
Tem-se que, ( x,0,0) S1 e ( x, x + z, z ) S 2 , para quaisquer x, z R .
Mas, x (1,0,0) S1 e x (1,1,0) + z (0,1,1) S 2 , para quaisquer x, z R .
Assim, {(1,0,0)} base do subespao S1 e {(1,1,0),(0,1,1)} uma base do subespao S 2 .
Ento, ( x, y , z ) S1 + S 2 quando ( x, y , z ) = k1 (1,0,0) + k 2 (1,1,0) + k 3 (0,1,1) .
k 1 + k 2 = x

Assim, k 2 + k 3 = y
k = z
3
Sistema possvel, logo S1 + S 2 = R 3 .

2) Sejam S1 = {( x, y , z, t ) R 4 | x y t = 0} e S 2 = {(0,0, z,0), z R} .

S1 + S 2 = {( x, y , z, t ) R 4 | ( x, y , z, t ) = s1 + s 2 , com s1 S1 e s 2 S 2 } .
Tem-se que, ( y + t , y , z, t ) S 1 e (0,0, z,0) S 2 , para quaisquer y , z, t R .
Mas, y (1,1,0,0) + z (0,0,1,0) + t (1,0,0,1) S1 e z (0,0,1,0) S 2 , para quaisquer y , z, t R .
( x, y , z, t ) S1 + S 2 quando ( x, y , z, t ) = k1 (1,1,0,0) + k 2 (0,0,1,0) + k 3 (1,0,0,1) + k 4 (0,0,1,0)
k 1 + k 3 = x
k = y
1
Assim,
k 2 + k 4 = z
k 3 = t
1 0 1 0 x 1 0 1 0 x

1 0 0 0 y 0 1 0 1 z
0
1 0 1 z 0 0 1 0 yx

0 0 1 0 t 0 0 0 0 t + y x

Para que o sistema seja possvel necessrio que t + y x = 0 .

Ento, S1 + S 2 = {( x, y , z, t ) R 4 | t + y x = 0} .

48
Seja V um espao vetorial n-dimensional. Se S 1 e S 2 so subespaos de V ento:
dim( S1 + S 2 ) = dim S1 + dim S 2 dim( S1 S 2 ) .
Este resultado conhecido como Teorema da Dimenso.

3. Soma Direta
Sejam S 1 e S 2 subespaos do espao vetorial real V.
A soma de S 1 e S 2 denominada soma direta quando S1 S 2 = {0V } .
Notao: S 1 S 2

Coordenadas de um Vetor em relao a uma Base Ordenada

Seja V um espao vetorial n-dimensional, qualquer conjunto LI com n vetores uma base de V.
Ao se escolher uma base para o espao vetorial V, est-se adotando um sistema referencial no qual
pode-se expressar qualquer vetor de V.
Considere A = {v1 , v 2 ,..., v n } V uma base, qualquer vetor v V pode ser expresso de maneira nica
como combinao linear dos vetores da base A,

v = k 1 v1 + k 2 v 2 + ... + k n v n

onde k1 , k 2 ,..., k n R so as coordenadas do vetor v em relao a base ordenada A.

k1

k
Notao: v A = ( k 1 , k 2 ,..., k n ) e na forma matricial [v ] A = 2 .
...

kn

Toda vez que a expresso coordenadas em relao a uma base utilizada, uma base ordenada est
sendo considerada.

Exemplos: O vetor v = (1,2) pode ser escrito:

1) Considerando a base cannica do R2.
1
(1,2) = 1 (1,0) + 2 (0,1) ou seja [v ] = .
2

2) Considerando a base A = {(1,1), ( 1,0)} .

(1,2) = k 1 (1,1) + k 2 ( 1,0)
k k 2 = 1
Assim, 1
k 1 + 0k 2 = 2
Logo, k1 = 2 e k 2 = 1 .
2
Portanto, (1,2) = 2 (1,1) + 1 ( 1,0) e [v ] A = .
1

49
Matriz de Transio de uma Base para uma outra Base
Que relao existe entre as coordenadas de um vetor no antigo referencial e em um novo referencial?
Uma matriz permitir a relao entre estes referenciais, as bases do espao vetorial. Esta matriz
denominada matriz de transio ou matriz mudana de base.
O desenvolvimento a seguir considera duas bases do R2, no entanto o mesmo raciocnio pode ser
utilizado para qualquer espao vetorial V n-dimensional.
Sejam A = {u1 , u 2 } e B = {w1 , w2 } bases do R2.
Para qualquer v R 2 , tem-se:
v = a u1 + b u 2 (1)
a
isto , [v ] A = .
b
Como u1 e u 2 so vetores do R2, podem ser escritos como combinao linear dos vetores da base B.
u1 = a11 w1 + a 21 w2
(2)
u 2 = a12 w1 + a 22 w2
Substituindo (2) em (1):
v = a ( a11 w1 + a 21 w2 ) + b ( a12 w1 + a 22 w2 )
v = ( a a11 + b a12 ) w1 + ( a a 21 + b a 22 ) w2

Portanto, a a11 + b a12 e a a 21 + b a 22 so as coordenadas de v em relao base B.

a a11 + b a12
Assim, [v ] B = .
a a 21 + b a 22
a a12 a
Podendo ser rescrito como, [v ] B = 11 .
a 21 a 22 b
a a12
A matriz 11 acima denotada por [ I ] BA sendo denominada a matriz de transio da base A
a 21 a 22
para a base B.
As colunas da matriz [ I ] BA so as coordenadas dos vetores da base A em relao base B.
Obtm-se a equao matricial, [v ] B = [ I ] BA [v ] A .
Analogamente, [v ] A = [ I ] BA [v ] B para mudana da base B para a base A.
Observe que, [v ] B = [ I ] BA [v ] A .
Como, [v ] A = [ I ] BA [v ] B .
Tem-se que, [v ] B = [ I ] BA [ I ] BA [v ] B .
Como, [v ] B = I n [v ] B .
Ento, I n = [ I ] BA [ I ] BA .
Logo, [ I ] BA = ([ I ] BA ) 1 .

50
Exerccios
1) Verifique se R2 um espao vetorial, para as operaes definidas abaixo.
( x, y ) + ( z, t ) = ( x z, y t )
a)
k ( x, y ) = ( kx, ky )

( x, y ) + ( z, t ) = ( x + z, y + t )
b)
k ( x, y ) = ( kx,0)

( x, y ) + ( z, t ) = ( x + z, y + t )
c)
k ( x, y ) = ( 2kx,2ky )

( x, y ) + ( z, t ) = (0,0)
d)
k ( x, y ) = ( kx, ky )

( x, y ) + ( z, t ) = ( xz, yt )
e)
k ( x, y ) = ( kx, ky )

( x, y ) + ( z, t ) = ( x + z + 1, y + t + 1)
f)
k ( x, y ) = ( kx, ky )

( x, y ) + ( z, t ) = ( x + z, y + t )
g)
k ( x, y ) = ( kx, y )

2) Considere o conjunto Fun(R ) de todas as funes f : R R . Definem-se duas operaes

binrias + : Fun( R ) Fun( R ) Fun( R ) tal que ( f + g )( x ) = f ( x ) + g ( x ) e
: R Fun(R ) Fun(R ) tal que ( k f )( x ) = k f ( x ) .
Estas operaes definem um espao vetorial?

3) Verifique se os seguintes subconjuntos so subespaos de R3.

a) S = {( x, y, z ) R 3 | z = 3}
b) S = {( x, y, z ) R 3 | x 2 = y}
c) S = {( x, y, z ) R 3 | x = 2 y}
d) S = {( x, y, z ) R 3 | x > 0}
e) S = {( x, y, z ) R 3 | y = x + z}
f) S = {(0, y , y ), y R}

x y + z = 2

4) Verifique se o conjunto soluo do sistema 2 x + 4 y z = 0 um subespao vetorial de R3.
x 2 y z = 1

5) Escreva u = (1,2) como combinao linear de (1,2) e (0,3) .

6) O vetor v = (2,1,0) pode ser escrito como combinao linear dos vetores (1,2,0) e (0,1,0)?

4
7) Escreva p( x ) = x 2 + x 1 como combinao linear de q( x ) = x 2 2 x e r ( x ) = 2 x 2 .
3
51
8) O conjunto {(1,2), (0,1), (3,1)} gera o R2?

9) Determine a equao do plano gerado pelos vetores ( 1,2,0), (0,1,2) e ( 2,5,2) .

10) Verifique se os conjuntos abaixo so LI ou LD.

a) {(1,0,0), (1,3,5), (3,2,5)}
b) {(1,2,1), (0,0,1), (1,2,3), (3,0,1)}
c) {(1,2), (3,5), ( 2,1)}
d) {(1,0,2), (0,1,3), (0,0,2)}
e) {(1,0,0,0), (1,1,0,0), (1,1,1,0), (1,1,1,1)}

11) Mostre que se {u, v, w} V LI ento {u + v, u + w, v + w} tambm um conjunto LI.

12) Complete com V(erdadeiro) ou F(also).

( ) [(1,2,0),(2,4,0) ] um plano no R3 que passa pela origem.
( ) [(1,2,0),(2,3,0) ] um plano no R3 que passa pela origem.
( ) {v1 , v 2 ,..., v n } V LD quando pelo menos um destes vetores combinao linear dos demais.
( ) {( 1,2,3), (0,1,2), ( 1,1,1)} gera o R3.
( ) O conjunto {(1,2,3),(0,0,0),(2,3,5)} LI.
( ) Se {v1 , v 2 ,..., v n } V LI ento qualquer um dos seus subconjuntos tambm LI.
( ) Se todo subconjunto prprio de {v1 , v 2 ,..., v n } V LI ento {v1 , v 2 ,..., v n } LI.
( ) [(1,2)] possui somente duas bases {(1,2)} e {(2,4)}.
( ) {(1,0,4),(7,8,0)} base de [(1,0,4),(7,8,0)].
( ) Todo conjunto LI de vetores uma base de seu subespao gerado.
( ) {(3,5),(0,0)} base do R2.
( ){(2,3),(4,5),(7,9)} gera o R2 ento {(2,3),(4,5)}, {(2,3),(7,9)} e {(4,5),(7,9)} so bases do R2.
( ) Se [v1 , v 2 , v 3 , v 4 ] = R 3 ento quaisquer trs vetores deste conjunto formam uma base do R3.
( ) Um conjunto com trs vetores do R3 base do R3.
( ) Um conjunto com mais do que trs vetores do R3 no ser uma base do R3.
( ) {(1,2,3), ( 2,1,3)} base do R2.
( ) Qualquer base de um espao vetorial tem sempre o mesmo nmero de elementos.
( ) {(2,3), ( x, y )} base do R2 quando ( x, y ) [( 2,3)] .
( ) Sejam V um espao vetorial n-dimensional e o conjunto {v1 , v 2 ,..., v n 1 } V LI.
Ento {v1 , v 2 ,..., v n 1 , v} base de V qualquer que seja o vetor v V .
( ) Se dim V = n ento qualquer conjunto LI com n vetores uma base de V.
( ) {(0,1,2),(1,0,1)} gera R2 .
( ) Todo conjunto gerador de um espao vetorial V uma base para V.
( ) Se S = [(1,0,1), ( 2,1,3), (1,1,4)] ento dim S = 3.

13) Para que valores de k os vetores (1,2,0, k ), (0,1, k ,1), (0,2,1,0) e (1,0,2,3k ) geram um espao
tridimensional ?

14) Determine uma base e a dimenso dos seguintes subespaos de R3.

a) {( x, y , z ) R 3 | x = 2 y e z = y}
b) {( x, y , z ) R 3 | x + 2 y z = 0}
c) {( x, y , z ) R 3 | y = 0 e x + z = 0}

52
 x + 2 y 2z t = 0

15) Encontre uma base e a dimenso para o conjunto soluo do sistema 2 x + 4 y + z + t = 0 .
x + 2 y + 3 z + 2t = 0

16) Mostre que a soma de subespaos tambm um subespao.

17) Determine o subespao interseo e o subespao soma para os casos abaixo, indicando quando a
soma direta.
a) S1 = {( x, y , z ) R 3 | x 2 y + z = 0} e S 2 = {( x, y , z ) R 3 | x + 3 y = 0}
b) S1 = {( x, y , z ) R 3 | x = y} e S 2 = {( x, y , z ) R 3 | x + y + z = 0}

19) Sejam S1 = {( x, y, z ) R 3 | y = 0} e S 2 = [(1,2,0), (3,1,1)]. Determine S1 S 2 e S1 + S 2 , indicando

uma base e a dimenso em cada um dos casos.

20) Seja v = (1,2,3) e a base A = {(1,0,3), ( 1,7,5), ( 2,1,6)} . Indique [v] A .

21) Considere A = {(1,1,1), (0,2,3), (0,2,1)} uma base para o R3. Encontre as coordenadas de
v = (3,5,2) em relao a esta base.

22) Seja A = {( 1,1,1), (0,2,3), (0,0,1)} e ( v ) A = ( 2,0,3) . Determine v.

1
23) Sendo A = {( 3,1), ( 2,0)} uma base para o R2 e [v ] A = . Encontre:
5
a) As coordenadas de v na base cannica.
b) As coordenadas de v na base B = {(2,1), (1,5)} .

1 2
24) Encontre as coordenadas vetor v =
do Mat 22 ( R ) em relao base
0 3
1 2 0 1 0 0 0 3
B = , , , .
2 1 1 0 1 2 0 0

25) Dadas as bases do R3, A = {( 1,0,2), (0,1,0), (0,0,2)} e B = {(0,0,1), (0,2,1), (1,0,1)}.
a) Determine [ I ] BA .
1

b) Considere [v ] A = 2 . Calcule [v] B .
3

26) Considere as bases A = {( 3,0,3), ( 3,2,1), (1,6,1)} e B = {( 6,6,0), ( 2,6,4), ( 2,3,7)}.

a) Achar a matriz mudana de base de B para A.
b) Dado v = ( 5,8,5) , calcule [v] A .

1 2
27) Seja [ I ] BA = e B = {(1,2), ( 2,0)}. Determine a base A.
0 3

53
 1 2
28) Seja a matriz mudana de base de B para A. Determinar a base A, sabendo que
0 3
B = {(1,1), (0,1)}.

1
29) Sabendo que A = {u1 , u 2 } e B = {w1 , w2 } so bases do R2 tais que: [v ] A = , w1 = u1 u 2 e
0
w2 = 2 u1 3 u 2 , determine [v] B .

30) Considere A = {(1,1,1), (0,2,3), (0,2,1)} e B = {(1,1,0), (1,1,0), (0,0,1)} . Determine as matrizes
mudana de base.

Respostas
1) Nenhum espao vetorial. 5
3) a)b)d) No
20) [v ] A = 0
c)e)f) Sim 2
4) No
5) (1,2) = 1 (1,2) + ( 43 ) (0,3) 21) ( v ) A = (3,1,2)
6) Sim, k1 = 2 e k 2 = 5
7) p( x ) = ( 12 ) q( x ) + 43 r ( x ) 22) v = ( 2,2,5)
9) 4 x + 2 y z = 0 7 4
23) a) [v ] = b) [v ] B =
10) a)d)e) LI 1 1
b)c) LD
1
12) F,V,V,F,F,V,F,F,V,V,
1
F,V,F,F,V,F,V,V,F,V, 24) [v ] B =
F,F,F 1
1

3
13) k = 1 ou k = 23 1 1
2 6
2

14) a) base : {(2,1,1)} e dim = 1 25) a) [ I ] B = 0 2 0 b) [v ] B = 1
A 1

b) base : {( 2,1,0), (1,0,1)} e dim = 2 1 0 0 1

c) base : {(1,0,1} e dim = 1
15) base : {( 2,1,0,0), ( 15 ,0, 53 ,1)} 0 8
9
17
23
9

dim = 2 26) a) [ I ] BA = 32 12 54 b) [v] A = 52
3 5 1 1
2 6 12 2
18) a) S 1 S 2 = {( 3 y , y ,5 y ), y R} 27) A = {(1,2), ( 8,4)}
S1 + S 2 = R 3 28) A = {(1,1), ( 23 ,1)}
b) S 1 S 2 = {( y , y ,2 y ), y R} 3
29) [v ] B =
S1 + S 2 = R 3 1
Nenhum soma direta.
19) S1 S 2 = {( 72 z,0, z ), z R} 1 1 1 1 1 0

base : {(7,0,2)} e dim = 1 30) [ I ] BA = 0 1 1 e [ I ] BA = 14 12 1
4
S1 + S 2 = R 3 1 3 1 1 1 1
4 2 4
base : {(1,0,0), (0,1,0), (0,0,1)} e dim = 3

54
Apndice B Teoremas
Teo1. O elemento neutro nico.
Demonstrao por Reduo ao Absurdo (RAA)
Supondo que o elemento neutro no nico, isto , existem 0V ,0V' V , 0V 0V' ambos
elementos neutros.
0V + 0V' = 0V por EV3, 0V' elemento neutro direita.
0V + 0V' = 0V' por EV3, 0V elemento neutro esquerda.
Ento, 0V = 0V' . Contradio.
Logo, s existe um elemento neutro para a operao de adio em V .

Teo2. (Lei do Corte ou Lei do Cancelamento)

Para quaisquer v, u, w V , se v + u = v + w ento u = w .
dem.: Por hiptese, v + u = v + w .
Pelo axioma EV4, ( v ) + ( v + u ) = ( v ) + ( v + w) .
Por EV1, (( v ) + v ) + u = (( v ) + v ) + w .
Por EV4, 0V + u = 0V + w .
Por EV3, u = w .

Teo3. O elemento simtrico nico.

Teo4. Para quaisquer v, u V , se v + u = v ento u = 0V .

dem.: Por hiptese, v + u = v .
Pelo axioma EV3, v + 0V = v .
Assim, v + u = v + 0V .
Pela Lei do Corte, u = 0V .

Teo5. Para quaisquer v, u V , se v + u = 0V ento u = v .

Teo6. Para todo v V , 0 v = 0V .

dem.: Considere o vetor v + 0 v V .
v + 0v = por EV8.
1 v + 0 v = por EV6.
(1 + 0) v = 0 o elemento neutro da adio em R.
1 v = por EV8.
v= por EV3.
v + 0V
Assim, v + 0 v = v + 0V .
Pela Lei do Corte, 0 v = 0V .

Teo7. Para todo k R , k 0V = 0V .

dem.: Considere o vetor k 0V + k 0V V .
k 0V + k 0 V = por EV6.
k ( 0V + 0V ) = por EV3.
k 0V = por EV3.

55
 k 0V + 0V
Assim, k 0V + k 0V = k 0V + 0V .
Pela Lei do Corte, k 0V = 0V .

Teo8. Para todo v V , v 0V e para todo k R , k 0 , k v 0V .

dem.: (RAA) Supondo que v 0V , k 0 e k v = 0V
v= por EV8.
1 v = por hiptese e pela existncia de elemento inverso em R.
1
kv = por EV5.
k
1
(k v) = por hiptese.
k
1
0V = pela Teo5.
k
0V
Assim, v = 0V . Contradio.
Logo, k v 0V .

Corolrio8. Para todo v V e para todo k R , se k v = 0V ento k = 0 ou v = 0V .

Teo9. Para todo v V , ( 1) v = v .

dem.: Considere o vetor v + ( 1) v V .
v + ( 1) v = por EV8.
1 v + ( 1) v = por EV6.
(1 + ( 1)) v = 0 o elemento neutro da adio em R.
0v = por EV8.
0V
Assim, v + ( 1) v = 0V .
Ento, v + ( 1) v = v + ( v )
Pela Lei do Corte, ( 1) v = v .

Teo10. Para todo v V e para todo n N {0} , n v = v + v + ... + v (soma com n parcelas).
Demonstrao usando induo em n.
Base: Para k = 1 .
Por EV8, 1 v = v .
Passo: (Hiptese de Induo) Supor que vale a igualdade para k N, k > 1 , isto ,
k v = v1+42
v + ...
4 43 + v.
4
k parcelas

Vale a igualdade para k + 1 ?

( k + 1) v = por EV6.
k v + 1 v = por EV8.

k v + v = por hiptese de induo.

(1
v4+4v2+ ...
4+4 v) + v =
3 por EV1.
k parcelas

v1+42
v + ...
4 43 +v
4
( k +1) parcelas

56
 Assim, ( k + 1) v = v1+42
v + ...
4 43 +v.
4
( k +1) parcelas

Logo, vale a igualdade para todo n N {0}.

Teo11. Todo subespao vetorial um espao vetorial.

Teo12. Se {v1 , v 2 ,..., v r } V ento [v1 , v 2 ,..., v r ] um subespao vetorial de V.

Teo13. Sejam {v1 , v 2 ,..., v r } V e v V . Se v uma combinao linear dos vetores v1 , v 2 ,..., v r ento
[v1 , v 2 ,..., v r , v ] = [v1 , v 2 ,..., v r ] .
dem.: ( ) [v1 , v 2 ,..., v r , v ] [v1 , v 2 ,..., v r ] ?
v = k 1 v1 + ... + k r v r com k1 ,..., k r R . (1)
Seja u [v1 ,..., v r , v ] qualquer.
Ento u = l1 v1 + ... + l r v r + l r +1 v com l1 ,..., l r +1 R . (2)
Substituindo (1) em (2),
u = l1 v1 + ... + l r v r + l r +1 ( k 1 v1 + ... + k r v r ) = por EV7.
= l1 v1 + ... + l r v r + (l r +1 ( k1 v1 ) + ... + l r +1 ( k r v r )) = por EV5 e EV1
= l1 v1 + ... + l r v r + (l r +1 k 1 ) v1 + ... + (l r +1 k r ) v r = por EV2
= l1 v1 + (l r +1 k 1 ) v1 + ... + l r v r + (l r +1 k r ) v r = por EV6
= (l1 + l r +1 k 1 ) v1 + ... + (l r + l r +1 k r ) v r = pelo fechamento da multiplicao e
da adio em R.
= m1 v1 + ... + m r v r com m1 ,..., m r +1 R .
Assim, u = m1 v1 + ... + m r v r com m1 ,..., m r +1 R .
Logo, u [v1 ,..., v r ] .
( ) [v1 , v 2 ,..., v r ] [v1 , v 2 ,..., v r , v ] (exerccio)

Teo14. Sejam {v1 , v 2 ,..., v r } V e {u1 , u 2 ,..., u s } V . [v1 , v 2 ,..., v r ] = [u1 , u 2 ,..., u s ] se e somente se
cada um dos vetores do conjunto {v1 , v 2 ,..., v r } uma combinao linear dos vetores
u1 , u 2 ,..., u s e cada um dos vetores do conjunto {u1 , u2 ,..., us } uma combinao linear dos
vetores v1 , v 2 ,..., v r .

Teo15. Seja v V , v 0V , {v} linearmente independente.

Teo16. Seja {v1 , v 2 ,..., v r } V . Se v i = 0V , para algum i = 1,..., r ento {v1 , v 2 ,..., v r } linearmente
dependente.
dem.: k1 v1 + ... + k i 0V + ... + k r v r = 0V
Para qualquer k i R, k i 0V = 0V .
Logo, o conjunto {v1 , v 2 ,..., v r } LD.

Teo17. Seja {v1 , v 2 ,..., v r } V . O conjunto {v1 , v 2 ,..., v r } linearmente dependente se e somente se
pelo menos um destes vetores combinao linear dos demais.
dem.: () Considere {v1 , v 2 ,..., v r } linearmente dependente.
k1 v1 + k 2 v 2 + ... + k i v i + ... + k r v r = 0V
Ento existe um k i R , k i 0 , com i [1, r ] .
Pelo EV4 e o Teo7,

57
( k i ) v i = k1 v1 + ... + k i 1 v i 1 + k i +1 v i +1 + ... + k r v r
1
Multiplicando ambos os lados da igualdade por R ,
ki
1 1
(( k i ) v i ) = ( k 1 v1 + ... + k i 1 v i 1 + k i +1 v i +1 + ... + k r v r )
ki ki
Por EV5, EV7 e propriedades em R,
( k i ) 1 1 1 1
v i = ( k 1 v1 ) + ... + ( k i 1 v i 1 ) + ( k i +1 v i +1 ) + ... + ( k r v r )
ki ki ki ki ki
Por EV5,
1 1 1 1
1 v i = ( k1 v1 ) + ... + ( k i 1 v i 1 ) + ( k i +1 v i +1 ) + ... + ( k r v r )
ki ki ki ki
Por EV8 e propriedades em R,
k k k k
v i = 1 v1 + ... + i 1 v i 1 + i +1 v i +1 + ... + r v r
ki ki ki ki
Assim, v i = m1 v1 + ... + mi 1 v i 1 + mi +1 v i +1 + ... + m r v r
Logo, v i , com i [1, r ] , combinao linear dos demais vetores.

() Seja o vetor vi {v1 , v2 ,..., vr } tal que v i = k1 v1 + ... + k i 1 v i 1 + k i +1 v i +1 + ... + k r v r .

k1 v1 + ... + k i 1 v i 1 + ( 1) v i + k i +1 v i +1 + ... + k r v r = 0V .
Ento, k i = ( 1) 0 .
Logo, {v1 , v 2 ,..., v r } linearmente dependente.

Corolrio17. Sejam {v1 , v 2 ,..., v r } V e v V . Se {v1 , v 2 ,..., v r } linearmente independente e

{v1 , v 2 ,..., v r , v} linearmente dependente ento v uma combinao linear dos vetores
v1 , v 2 ,..., v r .
dem.: {v1 , v 2 ,..., v r , v} LD.
Pelo Teo17, pelo menos um destes vetores combinao linear dos demais.
Mas, {v1 , v 2 ,..., v r } LI.
Logo, este vetor o vetor v.

Teo18. Seja S {v1 , v 2 ,..., v r } V tal que S . Se S linearmente dependente ento {v1 , v 2 ,..., v r }
linearmente dependente.
dem.: Seja S {v1 , v 2 ,..., v r } qualquer.
S = {v S1 ,..., v S p } com v Si {v1 ,..., v r } para todo i = 1,..., p .
S LD.
Pela Teo17, existe v S j S que combinao linear dos demais vetores de S.
Mas, v S j S {v1 ,..., v r } .
Ento, v S j {v1 ,..., v r } que combinao linear destes vetores.
Logo, {v1 , v 2 ,..., v r } LD.

58
Teo19. Sejam {v1 , v 2 ,..., v r } V um conjunto linearmente independente e k1 ,..., k r , l1 ,..., l r R .
Se k1 v1 + ... + k r v r = l1 v1 + ... + l r v r ento k i = l i , para todo i = 1,..., r .

Corolrio19. Seja {v1 , v 2 ,..., v n } V . Se {v1 , v 2 ,..., v n } uma base de V ento todo vetor v V pode
ser escrito de forma nica como combinao linear dos vetores v1 , v 2 ,..., v n da base.

Teo20. Seja {v1 , v 2 ,..., v r } V . O conjunto {v1 , v 2 ,..., v r } linearmente independente se e somente se
nenhum destes vetores combinao linear dos demais.

Corolrio20a. Seja {v, u} V . O conjunto {v, u} linearmente independente se e somente se um vetor

no mltiplo escalar do outro.

Corolrio20b. Seja {v1 , v 2 ,..., v r } V um conjunto linearmente independente e v V .

Se v [v1 , v 2 ,..., v r ] ento {v1 , v 2 ,..., v r , v} um conjunto linearmente independente.

Teo21. Seja {v1 , v 2 ,..., v r } V . Se {v1 , v 2 ,..., v r } linearmente independente ento qualquer um de
seus subconjuntos linearmente independente.

Teo22. Seja {v1 , v 2 ,..., v r } V . Se [v1 , v 2 ,..., v r ] = V ento existe uma base A de V tal que
A {v1 , v 2 ,..., v r } .
dem.: Se {v1 , v 2 ,..., v r } LI ento A = {v1 , v 2 ,..., v r } uma base de V.
Se {v1 , v 2 ,..., v r } LD,
Ento, pelo Teo17, existe v i {v1 , v 2 ,..., v r } , com i [1, r ] , tal que: v i [v1 , v 2 ,..., v r ] .
Pelo Teo13, [v1 ,..., v i 1 , v i +1 ,...v r ] = [v1 , v 2 ,..., v r ] .
Como, por hiptese, [v1 , v 2 ,..., v r ] = V .
Assim, [v1 ,..., v i 1 , v i +1 ,...v r ] = V .
Se {v1 ,..., v i 1 , v i +1 ,...v r } LI ento A = {v1 ,..., v i 1 , v i +1 ,...v r } uma base de V.
Caso contrrio este processo continua at a obteno de um certo conjunto A {v1 , v 2 ,..., v r } LI
e tal que [ A] = V .
Assim, A uma base do espao vetorial V.

Corolrio22a. Seja {v1 , v 2 ,..., v r } V . Se {v1 , v 2 ,..., v r } gera o espao vetorial V ento qualquer
conjunto de vetores de V com mais do que r elementos linearmente dependente.

Corolrio22b. Seja {v1 , v 2 ,..., v r } V .

Se {v1 , v 2 ,..., v r } gera V ento qualquer conjunto de vetores de V linearmente
independente tem no mximo r elementos.

Teo23. Seja {v1 , v 2 ,..., v r } V . Se {v1 , v 2 ,..., v r } linearmente independente ento pode-se estender o
conjunto {v1 , v 2 ,..., v r } a um conjunto B base de V.
dem.: Se [v1 , v 2 ,..., v r ] = V ento B = {v1 , v 2 ,..., v r } uma base de V.
Se [v1 , v 2 ,..., v r ] V ,
Ento, seja v V tal que v [v1 , v 2 ,..., v r ] .
Pelo Corol20b, {v1 , v 2 ,..., v r , v} LI.
Se [v1 , v 2 ,..., v r , v ] = V ento B = {v1 , v 2 ,..., v r , v} uma base de V.

59
 Caso contrrio este processo continua at a obteno de um certo conjunto B tal que
{v1 , v 2 ,..., v r } B , B LI e [ B ] = V .
Assim, B uma base do espao vetorial V.

Teo24. Sejam dim V = n e {v1 , v2 ,..., vn } V . O conjunto {v1 , v2 ,..., vn } uma base de V se
linearmente independente ou se gera o espao vetorial V.

Teo25. Seja {v1 , v 2 ,..., v n } uma base do espao vetorial V e {u1 , u 2 ,..., u m } V .
i) Se m > n ento o conjunto {u1 , u 2 ,..., u m } linearmente dependente.
ii) Se m < n ento o conjunto {u1 , u 2 ,..., u m } no gera o espao vetorial V.

Teo26. Todas as bases de um espao vetorial possuem o mesmo nmero de vetores.

Teo27. Para quaisquer subespaos vetoriais S e U de V, S U e S + U .

dem.: S V 0V S .
U V 0V U .
Assim, 0V S U e 0V + 0V = 0V S + U .
Logo, S U e S + U .

Teo28. Para quaisquer subespaos vetoriais S e U de V, S U um subespaos vetorial de V.

Teo29. Para quaisquer subespaos vetoriais S e U de V, S + U um subespao vetorial de V.

Teo30. Seja S um subespao vetorial de V tal que S {0V } . Ento dim S dim V .

Teo31. Se V a soma direta dos subespaos vetoriais S e U ento todo vetor v V escrito de
maneira nica na forma v = s + u , com s S e u U .
dem.: (escrita)
Como V = S + U
Ento, para todo v V , v = s + u para algum s S e u U .
(unicidade) (RAA)
Supondo que existam s, s' S , s s' e u,u' U,u u' tais que v = s + u e v = s'+u ' .
Assim, s + u = s'+u ' .
Pelas propriedades do EV, s + ( s' ) = u'+ ( u ) .
Como S V , s + ( s' ) S , e, analogamente, como U V , u'+( u ) U .
Assim, s + ( s' ) S U e u'+ ( u ) S U .
Por hiptese, S U = {0V } .
Ento, s + ( s' ) = 0V e u'+ ( u ) = 0V .
Assim, s = s ' e u' = u . Contradio.
Logo, vale a unicidade.

60
Teo32. (Teorema da Dimenso)
Se S e U so subespaos vetoriais de V ento dim(S + U ) = dim S + dim U dim(S U ) .
dem.: Seja {v1 , v 2 ,..., v r } uma base do subespao interseo S U .
Pelo Teo23, {v1 , v 2 ,..., v r , w1 , w2 ,..., ws } uma base do subespao S.
Analogamente, {v1 , v 2 ,..., v r , u1 , u 2 ,..., u t } uma base do subespao U.
O subespao soma S + U gerado pelo conjunto {v1 ,..., v r , w1 ,..., ws , u1 ,..., u t } , isto ,
S + U = [v1 ,..., v r , w1 ,..., ws , u1 ,..., u t ] .
Seja k1 v1 + ... + k r v r + l1 w1 + ... + l s ws + m1 u1 + ... + mt u t = 0V (1)
Mas, (m1 u1 + ... + mt u t ) = k1 v1 + ... + k r v r + l1 w1 + ... + l s ws
Assim, m1 u1 + ... + mt u t S
Mas, m1 u1 + ... + mt u t U
Assim, m1 u1 + ... + mt u t = p1 v1 + ... + p r v r , para certos p1 , p 2 ,..., p r R .
Como {v1 , v 2 ,..., v r , u1 , u 2 ,..., u t } uma base.
Ento, m1 = m2 = ... = mt = 0 .
Substituindo em (1): k1 v1 + ... + k r v r + l1 w1 + ... + l s ws = 0V
Como {v1 , v 2 ,..., v r , w1 , w2 ,..., ws } uma base.
Tem-se, k1 = ... = k r = l1 = ... = l s = 0 .
Ento, {v1 ,..., v r , w1 ,..., ws , u1 ,..., u t } LI.
Logo, {v1 ,..., v r , w1 ,..., ws , u1 ,..., u t } uma base para o subespao soma S + U .
Assim, dim S + dim U = (r + s ) + (r + t ) = r + (r + s + t ) = dim(S U ) + dim(S + U ) .
Logo, dim(S + U ) = dim S + dim U dim(S U ) .

Corolrio32. Seja S um subespao vetorial de V. Se dim S = dim V ento S = V .

61