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 eV tal que para todo vV , e + v = v + e = v .
Notao: e = 0 V
EV4. (Elemento Simtrico) Para todo vV , 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 vV , k1 (k 2 v) = (k 1k 2 ) v .
EV6. Para quaisquer k1 , k 2 R e para todo vV , (k1 + k 2 ) v = (k 1 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 vV , 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 ) + ( y 1 , 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 )
um espao vetorial.

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 + ... + (a 1 + b1 ) x + (a 0 + b0 )
k p( x ) = ka n x n + ... + ka1 x + ka 0
onde p ( x ) = a n x n + ... + a 1 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 .
39
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.
Verificando as propriedades:
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 .
Ento u + v = (0, y + t, z + r ) S , com y + t z + r .
Logo, S fechado sob a operao de adio de vetores.
3. Se u S e k R ento k u S ?

40
 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 w = k 1 v1 + k 2 v 2 + ... + k n v n onde k1 , k 2 ,..., k n R .

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:
k1 (1,0,0) + k 2 (0,0,1) = (1,2,3) (*)
(k1 ,0,0) + (0,0, k 2 ) = (1,2,3)
(k1 ,0, k 2 ) = (1,2,3)
k 1 = 1

Assim, 0 = 2
k = 3
2
O sistema impossvel.
Logo no existem valores reais para k1 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) .
k1 (1,0,0) + k 2 (0,0,1) = ( x, y , z )
(k1 ,0,0) + (0,0, k 2 ) = ( x , y , z )
( k 1 ,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.

41
 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 ,2 k ) = ( 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} .
k1 (1,1,0) + k 2 (1,2,1) = ( x, y , z )
( k 1 , k 1 ,0 ) + ( k 2 ,2 k 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 )
(k1 + 4 k 2 ,3k1 + 2k 2 ) = ( x , y )
k + 4k 2 = x
Assim, 1
3k 1 + 2k 2 = y
1 4 x 1 4 x
Matriz ampliada e matriz escalonada 3x y .
3 2 y 0 1
10
Como o sistema possvel e determinado, nenhuma condio deve ser satisfeita.
Logo, [(1,3), (4,2)] = R 2 .

42
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 2k 2 k 3 = x

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

1 2 1 x
1 2 1 x
y x
Matriz ampliada 1 0 1 y e matriz escalonada 0 1 1 .
2 2
1 3 z x 5y + 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 v 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 = 0 V 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 + 2 k 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 + 2k2 = 0
Assim, 1
3k 1 + 6k 2 = 0
1 2 0 1 2 0
Matriz ampliada e matriz escalonada .
3 6 0 0 0 0

43
 O sistema possvel e indeterminado, com k1 = 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 = 3 x}, isto , [(1,3), (2,6)] = {( x , y ) R 2 | y = 3 x}.

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)

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

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

1 3
2 1 3 0 1 0
0 12 2
Matriz ampliada 0 2 2 0 e matriz escalonada 1 0 .
0 0
5 3 8 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: dimV

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.

Do mesmo modo, tem-se:

44
 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
Mat2 2 ( 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 S 1 S 2 ?
0V S1 , pois S 1 V .
0V S 2 , pois S 2 V .
Assim, 0V S 1 S 2 .
(Sub2) Se v S 1 S 2 e u S 1 S 2 ento v + u S1 S 2 ?
v S 1 S 2 v S1 e v S 2
u S 1 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 S 1 S 2 e k R ento k v S1 S 2 ?
v S1 S2 v S1 e v S2
Ento, k v S1 e k v S 2 .
Logo, k v S1 S 2 .

Exemplos:
1) Sejam S 1 = {( x ,0,0), com x R} e S 2 = {( x, y , z ) R 3 | y = x + z} .
S 1 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 S 1 = {( x, y , z ) R 3 | y = 3x} e S 2 = {( x, y , z ) R 3 | 2 x y + 3z = 0} .
S 1 S 2 = {( x , y , z ) R 3 | y = 3 x e 2 x y + 3z = 0} .

45
 3x + y = 0
Assim,
2 x y + 3 z = 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 S 1 = {( x ,0,0), x R } e S 2 = {( x, y , z ) R 3 | y = x + z} .
S 1 + 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) S 1 e ( x , x + z, z ) S 2 , para quaisquer x, z R .
Mas, x (1,0,0) S 1 e x (1,1,0) + z (0,1,1) S 2 , para quaisquer x, z R .
Assim, {(1,0,0)} base do subespao S 1 e {(1,1,0),(0,1,1)} uma base do subespao S 2 .
Ento, ( x, y , z ) S1 + S 2 quando ( x, y, z ) = k 1 (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 S 1 + S 2 = R 3 .

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

S 1 + S 2 = {( x, y , z, t ) R 4 | ( x, y , z, t ) = s1 + s 2 , com s1 S 1 e s 2 S 2 } .
Tem-se que, ( y + t, y, z, t ) S1 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 ) S 1 + S 2 quando ( x , y , z , t ) = k 1 (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, S 1 + S 2 = {( x, y , z, t ) R 4 | t + y x = 0} .

46
Seja V um espao vetorial n-dimensional. Se S 1 e S 2 so subespaos de V ento:
dim( S 1 + S 2 ) = dim S1 + dim S 2 dim( S 1 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 S 1 S 2 = {0 V } .
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 vV pode ser expresso de maneira nica
como combinao linear dos vetores da base A,

v = k 1 v 1 + 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

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

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

47
 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 , w 2 } 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 w 2
(2)
u 2 = a12 w1 + a 22 w 2
Substituindo (2) em (1):
v = a (a11 w1 + a 21 w 2 ) + b (a 12 w1 + a 22 w 2 )
v = (a a11 + b a12 ) w1 + (a a 21 + b a 22 ) w 2

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

a a 11 + 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 ] AB sendo denominada a matriz de transio da base A
a 21 a 22
para a base B.
As colunas da matriz [ I ] AB 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 .

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

48
 ( 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 2y 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

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

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

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}
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) Complete com V(erdadeiro) ou F(also).
( ) [(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 n1 , v} base de V qualquer que seja o vetor vV .
( ) Se dimV = 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.

50
17) Mostre que a soma de subespaos tambm um subespao.

18) Determine o subespao interseo e o subespao soma para os casos abaixo, indicando quando a
soma direta.
a) S 1 = {( x , y , z ) R 3 | x 2 y + z = 0} e S 2 = {( x , y , z ) R 3 | x + 3 y = 0}
b) S 1 = {( 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 ] AB .
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

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)}.

51
 1
29) Sabendo que A = {u1 , u 2 } e B = {w1 , w 2 } so bases do R2 tais que: [v ] A = , w1 = u1 u 2 e
0
w 2 = 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
18) a) S 1 S 2 = {(3 y , y ,5 y ), y R}
S1 + S 2 = R 3
1) Nenhum espao vetorial.
b) S 1 S 2 = {( y, y, 2 y ), y R}
S1 + S 2 = R 3
Nenhum soma direta.
19) S 1 S 2 = {( 72 z ,0, z), z R}
3) a)b)d) No base : {(7,0,2)} e dim = 1
c)e)f) Sim
S1 + S 2 = R 3
base : {(1,0,0), (0,1,0), (0,0,1)} e dim = 3
5
4) No
20) [v ] A = 0
2

5) (1, 2) = 1 (1,2) + ( 43 ) (0,3) 21) (v ) A = (3, 1,2)
6) Sim, k1 = 2 e k 2 = 5 22) v = (2, 2, 5)
7 4
7) p ( x ) = ( 12 ) q( x ) + 34 r( x) 23) a) [v ] = b) [v ] B =
1 1
1

1
9) 4 x + 2 y z = 0 24) [v ] B =
1

1
3
1 1
2 6
10) a)d)e) LI 2

25)a) [ I ] B = 0 2 0 b) [v ] B = 1
A 1
b)c) LD 1
0 0 1

13 1
18
1
2

26)a) [ I ] BA = 16 1
3 119
1 1 5
12)F,V,V,F,F,V,F 3 3 9

2

3

b) [v ] B = 5
2
1
2

13) k = 1 ou k = 23 27) A = {(1,2), ( 8,4 )}

14) a) base : {(2,1,1)} e dim = 1

b) base : {(2,1,0), (1,0,1)} e dim = 2 28) A = {(1,1), ( 23 ,1)}
52
 c) base : {(1,0,1} e dim = 1
15) base : {( 2,1,0,0), ( 15 ,0, 53 ,1)} 3
29) [v ] B =
dim = 2 1
1 1 1 1 1 0
16) F,V,V,F,V,F,F,V,F,V,V,F,V,F,F,F 1
30) [ I ] B = 0 1 1 e [ I ] A = 4 2
A B 1
4
1

1 3 1 1 1 1
4 2 4

53
 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 0 V' ambos elementos
neutros.
0V + 0V' = 0 V por EV3, 0V' elemento neutro direita.
0V + 0V' = 0 V' por EV3, 0V elemento neutro esquerda.
Ento, 0V = 0 '
V
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 + 0 V = v .
Assim, v + u = v + 0V .
Pela Lei do Corte, u = 0V .

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

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

dem.: Considere o vetor v + 0 v V .
v + 0 v = 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 = 0 V .

dem.: Considere o vetor k 0V + k 0V V .
k 0V + k 0 V = por EV6.
k (0 V + 0 V ) = por EV3.
k 0V = por EV3.
54
 k 0V + 0V
Assim, k 0V + k 0 V = 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
k v = 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 vV e para todo k R , se k v = 0V ento k = 0 ou v = 0 V .

Teo9. Para todo vV , (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 = 0 V .
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

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

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 vV . 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.: ( ) [v 1 , 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 ( k1 v1 + ... + k r v r ) = por EV7.
= l1 v1 + ... + l r v r + (l r +1 (k 1 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+ 1k 1 ) v1 + ... + l r v r + (l r +1 k r ) v r = por EV6
= (l1 + l r +1 k1 ) 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 ] .
( ) [v 1 , 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 0 V , {v} linearmente independente.

Teo16. Seja {v1 , v 2 ,..., v r } V . Se v i = 0 V , para algum i = 1,..., r ento {v1 , v 2 ,..., v r } linearmente
dependente.
dem.: k1 v1 + ... + k i 0 V + ... + k r v r = 0V
Para qualquer k i R, k i 0 V = 0 V .
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.: () Se {v1 , v 2 ,..., v r } linearmente dependente ento pelo menos um destes vetores
combinao linear dos demais ?

56
k1 v1 + k 2 v 2 + ... + k i v i + ... + k r v r = 0 V
Ento existe um k i R , k i 0 , com i [1, r] .
Pelo EV4 e o Teo7,
( k i ) vi = k1 v1 + ... + k i 1 vi 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 = (k1 v1 ) + ... + (k i 1 vi 1 ) + (k i +1 v i +1 ) + ... + (k r v r )
ki ki ki ki ki
Por EV5,
1 1 1 1
1 vi = (k 1 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 vi 1 + mi +1 v i +1 + ... + mr v r
Logo, v i , com i [1, r] , combinao linear dos demais vetores.

() Se pelo menos um destes vetores combinao linear dos demais ento {v1 , v 2 ,..., v r }
linearmente dependente ?
Seja v i este vetor, com i [1, r] .
Assim, v i = k 1 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) vi + k i +1 v i +1 + ... + k r v r = 0 V .
Ento, k i = ( 1) 0 .
Logo, {v1 , v 2 ,..., v r } linearmente dependente.

Corolrio17. Sejam {v1 , v 2 ,..., v r } V e vV . 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 S i {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 } .

57
 Ento, v S j {v1 ,..., v r } que combinao linear destes vetores.
Logo, {v1 , v 2 ,..., v r } LD.

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

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 {v 1 , 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 , vi +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 {v 1 , 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.

58
 Se [v1 , v 2 ,..., v r ] V ,
Ento, seja vV 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 = {v 1 , v 2 ,..., v r , v} uma base de V.
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 dimV = 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 0 V S .
U V 0 V 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 dimV .

Teo31. Se V a soma direta dos subespaos vetoriais S e U ento todo vetor vV 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 ' .
s + u = s' + u ' por EV4.
(s + u) + ( u ) + ( s' ) = ( s'+ u' ) + ( u ) + ( s' ) por EV1 e EV2.
(s + ( s ' ))+ (u + ( u )) = ( s'+ ( s ' )) + (u '+ ( u)) por EV4.
(s + ( s ' )) + 0 V = 0 V + (u '+ ( u)) por EV3.
s + ( s' ) = u' +( u )
Como S V , s + ( s ' ) S .
Como, U V , u'+ ( u) U .
Assim, s + ( s ' ) S U e u'+ ( u ) S U .
Mas, por hiptese, S U = {0V } .
Ento, s + ( s' ) = 0 V e u'+ ( u) = 0V .
Assim, s = s' e u ' = u .
Contradio!
59
 Logo, vale a unicidade.

Teo32. (Teorema da Dimenso)

Se S e U so subespaos vetoriais de V ento dim( S + U ) = dim S + dimU 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 ,..., ut } 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 ,..., w s , u1 ,..., u t ] .
Seja k1 v1 + ... + k r vr + l1 w1 + ... + l s w s + 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 + ... + pr v r , para certos p1 , p 2 ,..., p r R .
Como {v1 , v 2 ,..., v r , u1 , u 2 ,..., ut } 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 + dimU = (r + s) + (r + t) = r + ( r + s + t ) = dim( S U ) + dim( S + U ) .
Logo, dim( S + U ) = dim S + dimU dim( S U ) .

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

60