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
(1,1) = 2 (1,2) + (1) (3,5)

combinao

linear

dos

vetores

(1,2) e

(3,5) ,

pois:

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

Matriz ampliada 1 2
0 1

y e matriz escalonada
z

1 1

0 1
0 0

y x .
z y + x
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

x
1 4
1 4 x
3x y .
Matriz ampliada
e matriz escalonada
0 1

3 2 y
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
2
3
1
1 2 1 x

Matriz ampliada 1
0
1 y
2
1
3 z

x
1 2 1
y x
e matriz escalonada 0 1
1
.
2

x 5y + 2z

0 0

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
.
0 1 0
3 2 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
2
3
1

1
0 12

0 0

Como o sistema possvel e indeterminado, o conjunto LD.

2 1 3 0

Matriz ampliada 0 2 2 0 e matriz escalonada

5 3 8 0

3
0
2
1 0 .
0 0

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
{1}
{(1,0),(0,1)}
{(1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1)}

Dimenso
1
2
4

Mat2 2 ( R )

1 0 0 0 0 1 0 0
,

,
,

0 0 1 0 0 0 0 1

Polinmios com coeficientes reais de

grau menor ou igual a 2

{1, x , x 2 }

R
R2
R4

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
1 0 0
0 0
3
1 13

1 9 0
2 1 3 0
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)

Assim,

1
0

0
0
1
0

k 1 + k 3 = x
k = y
1

k 2 + k 4 = z
k 3 = t
1 0 x

0 0 y

0 1 z

1 0 t

0
0

0 1
1 0
0 1
0 0

0
x

1
z

0
yx

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

k
Notao: v A = ( k1 , 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

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
a12 a
a
Podendo ser rescrito como, [v ] B = 11
.
a 21 a 22 b
a12
a
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

b)

c)

d)

e)

f)

g)

( x, y ) + ( z , t ) = ( x + z , y + t )
k ( x , y ) = (kx,0)
( x, y ) + ( z , t ) = ( x + z , y + t )
k ( x , y ) = (2kx ,2ky )
( x , y ) + ( z, t ) = (0,0)
k ( x, y ) = (kx , ky )
( x , y ) + ( z, t ) = ( xz , yt )
k ( x, y ) = (kx , ky )
( x , y ) + ( z , t ) = ( x + z + 1, y + t + 1)
k ( x, y ) = (kx , ky )
( x, y ) + ( z , t ) = ( x + z , y + t )
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)?
7) Escreva p ( x ) = x 2 + x 1 como combinao linear de q( x ) = x 2 2 x e r( x ) = 2 x 2

4
.
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
vetor v =
Mat 22 ( R) em
0 3
1 2 0 1 0 0 0 3
B =
,
,
,
.
2 1 1 0 1 2 0 0

24) Encontre

as

coordenadas

do

relao

base

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
1) Nenhum espao vetorial.

3) a)b)d) No
c)e)f) Sim

4) No
5) (1, 2) = 1 (1,2) + ( 43 ) (0,3)
6) Sim, k1 = 2 e k 2 = 5
7) p ( x ) = ( 12 ) q( x ) + 34 r( x)

9) 4 x + 2 y z = 0

10) a)d)e) LI
b)c) LD

12)F,V,V,F,F,V,F

18) a) S 1 S 2 = {(3 y , y ,5 y ), y R}
S1 + S 2 = R 3
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}
base : {(7,0,2)} e dim = 1
S1 + S 2 = R 3
base : {(1,0,0), (0,1,0), (0,0,1)} e dim = 3
5

20) [v ] A = 0
2

21) (v ) A = (3, 1,2)
22) v = (2, 2, 5)
7
4
23) a) [v ] = b) [v ] B =
1
1
1

1
24) [v ] B =
1

1
3
1
2
1
6
2

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

1
1
13
2
18

1
26)a) [ I ] BA = 16
119
3
1 1
5
3
9
3

b) [v ] B =

2
3
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)}
dim = 2
16) F,V,V,F,V,F,F,V,F,V,V,F,V,F,F,F

3
29) [v ] B =
1
1
1
1
0
1
1

1
A
B
1
1
30) [ I ] B = 0 1 1 e [ I ] A = 4 2
4
1
1 1 1
3 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
Contradio!
Logo, s existe um elemento neutro para a operao de adio em V .
'
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
por EV5.
k v =
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 + ...
+ v.
4
43
4
k parcelas

Vale a igualdade para k + 1 ?

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

por EV6.
por EV8.
por hiptese de induo.
por EV1.

k parcelas

55

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

Assim, (k + 1) v = v1+42
v + ...
+v.
4
43
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,

1
1
1
1
( k i )
v i = (k1 v1 ) + ... + (k i 1 vi 1 ) + (k i +1 v i +1 ) + ... +

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

(k r v r )

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
independente tem no mximo r elementos.

linearmente

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
{v1 , v 2 ,..., v r } B , B LI e [ B ] = V .
Assim, B uma base do espao vetorial V.

tal que

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