Captulo 5: Espaos Vetoriais

Um espao vetorial uma estrutura algbrica bastante interessante. Um primeiro

exemplo de tal estrutura o conjunto de vetores do plano, na viso da Geometria
Analtica. Por a iniciaremos nossas discusses.
Toda a lgebra de matrizes discutida nos captulos 1,2 e 3 necessria para
descrever um espao vetorial. Isto mostra que este assunto acessvel para quem tem
uma boa intimidade com esses contedos.
A fim de apresentar uma motivao geomtrica e algbrica, consideraremos casos
especiais de conceitos a serem discutidos com maior generalidade posteriormente. Ns
supomos que o leitor est familiarizado com os nmeros reais, e exceto no 6
chamaremos de nmeros os nmeros reais (neste captulo).

1. As noes da Geometria Analtica:

de Vetores.
O plano considerado o produto cartesiano
R } ; onde

(a+ c , b+ d)

como um Espao
= RR

= { x,y) / x,y

o corpo dos nmeros reais.

R2 definida por:

A adio em

R2

2
(a,b), (c,d) R +: (a,b) + (c,d)

R2

4.1.1. Observao: A adio definida acima satisfaz as seguintes propriedades,

x , y , z R2 :
A1:

x+ ( y+ z ) =( x+ y ) + z

A2:

x+ y= y + x

2
A3: 0=( 0,0 ) R tal que x +0=0+ x=x

A4: Sendo

x=( a , b ) ,x=(a ,b ) R2 tal que x + (x ) =x + x=0

Demonstrao: Estas so conseqncias das propriedades dos nmeros.

Esta adio est de acordo com a definio de adio de vetores do ponto de vista da
Fsica. Observemos o grfico: u e v so vetores (localizados) do plano e u + v o
vetor soma (resultante) que tem como coordenadas, a soma das coordenadas
correspondentes em u e v.
2
Para todo R e todo x=( a , b ) R podemos definir uma multiplicao (por)
escalar: :

x= ( a , b )=( a , b)

R2

4.1.2 Observao: A multiplicao de nmeros reais por vetores do plano satisfaz as

2
seguintes propriedades: , k R e x , y R ,

 ( x+ y )=x + y

P1:

P2: ( + k ) x= x+ kx
P3: 0 x=0 , 1 x=x e (1 ) x =x
P4: ( k ) x=( kx)
Demonstrao: Estas tambm so conseqncias das propriedades dos nmeros.
O comprimento e sentido do vetor produto de um escalar
R

por um vetor x de

Tem os seguintes aspectos:

<1 ,x> x e
1. Se

x e x tm sentidos opostos.

2. Se

1< <0 ,x<x e

x e x

tm sentidos opostos.

3. Se

0< <1, x<x

x e x

tm o mesmo sentido.

4. Se

>1 ,x>x e

x e x

5. Claro que se

tm o mesmo sentido.

=1, temos x= x . No caso de

=1 estes vetores tm

sentidos opostos.
4.1.3 Observao: Combinando as operaes de adio e multiplicao escalar
2
possvel, a partir de 2 vetores descrever o plano R
Demonstrao: De fato: Para qualquer vetor u = (x,y) de

R2 , podemos escrever

u = (x,y) = (x,0) + (0,y) = x(1,0) + y(0,1). Da, vemos que e1 = (1,0) e e2 = (0,1), podem
2
determinar qualquer vetor de R .
4.1.4 Exemplo: fcil ver que os vetores x = (-1,3) e y = (-2,6) quando combinados
no podem determinar o vetor s = (3,4). suficiente provar que no existem escalares
a e b tais que se verifique a igualdade s = ax + by. Porm, existem escalares a e b
satisfazendo a igualdade l = az + w; sendo que l = (-2,5), z = (-1,1) e w = (2,0).
Observemos a diferena de posio dos pares de vetores do exemplo acima: No
primeiro caso, x e y tm a mesma direo. Enquanto que z e w no so colineares.
Algebricamente, temos y = 2x. Dizemos ento que y um mltiplo escalar de x.
Isto nos leva seguinte:
4.1.5 Definio: Dados dois pontos x e y de

R2 temos que:

i) x e y so linearmente dependentes (LD) se, e somente se, 0 R tal que

y=x , equivalentemente, 0 R tal que x= y .
ii) Caso contrrio, dizemos que x e y so linearmente independentes (LI).

 fcil ver que todo subconjunto

de R

contendo dois vetores LI, descreve o

plano.

2. Definio de pontos no espao

Um nmero pode ser usado para representar um ponto numa reta, uma vez
escolhida uma unidade de comprimento.
Um par de nmeros (i.e. uma dupla de nmeros) (x, y) pode ser usado para
representar um ponto no plano.
Observemos agora que uma tripla de nmeros (x, y, z) pode ser usada para
representar um ponto no espao, ou seja, no espao a trs dimenses, ou 3-espao. Ns
simplesmente introduzimos mais um eixo.
Em vez de usar x, y, z tambm poderamos usar (x1, x2 , x3). A reta poderia ser
chamada de 1-espao, e o plano de 2-espao.
Desta forma, podemos dizer que um nmero representa um ponto no 1espao.Uma dupla representa um ponto no 2-espao. Uma tripla representa um ponto no
3-espao.
Apesar de no podermos traar uma figura para ir mais adiante, nada nos impede
de considerar uma qudrupla de nmeros
(x1, x2, x3, x4)
E convir que isto um ponto no 4-espao. Uma quntupla seria um ponto no 5-espao,
depois viriam uma sxtupla, septupla, octupla
Continuando desta forma, definimos que um ponto no n-espao uma n-upla de
nmeros
(x1, x2,, xn)
Sendo n um inteiro positivo. Representaremos uma tal n-upla por uma letra maiscula
X, e trataremos de conservar letras minsculas para nmeros e letras maisculas para
pontos. Chamaremos os nmeros x1,, xn de coordenadas do ponto X.
Daremos agora a definio da adio de pontos. Se A e B so dois pontos,
digamos
A=( a1 , , an ) B=(b 1 , , b n)
Ento definimos

A + B como sendo o ponto cujas coordenadas so

( a1 +b 1 , , an +b n ) .
Por exemplo, no plano, se

A= (1,2 ) e B=(3,5 ) ento A + B=(2,7) . No 3-espao, se

A= (1, , 3 ) e B= ( 2 , 7,2 )

Ento
A + B=( 21, +7,1)

Ademais, se c um nmero qualquer, definimos cA como sendo o ponto cujas

coordenadas so
(c a1 , ,c an ) .
Se

A= (2,1,5 ) e c=7, ento cA=(14,7,35)

Observamos que as propriedades seguintes so verificadas:

( 1 )( A+ B ) +C= A+ ( B+C )
( 2 ) A+ B=B+ A

( 3 ) c ( A+ B ) =cA+ cB
( 4 ) Se c 1 , c2 so nmeros, ento

( c 1 +c 2 ) A=c 1 A +c 2 A e ( c 1 c 2 ) A=c 1( c 2 A)
( 5 ) Seja 0=(0,0, ,0)
0+ A=A +0=A

o ponto cujas coordenadas so todas nulas, ento

para qualquer

( 6 ) 1 A= A , e representamos por
[ Em vez de escrever

A .
A

a n-upla (1 ) A , ento

A +(B) escreveremos com freqncia

A + (A )=0 .
AB .]

Todas estas propriedades so fceis de demonstrar, e sugerimos que o leitor as verifique

em alguns exemplos.
Vamos apresentar a prova detalhada da propriedade (3).

Sejam

A=( a1 , , an ) e B=(b1 , , bn )
A + B=( a1 +b1 , , an +bn )

.Ento
.

a1+ b1

c ( n+b n )
c
c ( A+ B )=
( c a1 +cb1 , , can +cb n )
cA +cB

sendo este ltimo passo decorrncia da definio da adio de n-uplas.

Deixamos as demais demonstraes a ttulo de exerccios.
Observao. No confundir o nmero 0 e a n-upla (0, , 0) . Geralmente esta
n-upla designada por 0, e denominada zero, pois na prtica no surge nenhuma
dificuldade.
Agora interpretaremos geometricamente a adio e a multiplicao por nmeros,
A (2,3) e B (1,1). Ento A B (1, 4)
no plano. Consideremos um exemplo, sejam
.
A figura tem aspecto de um paralelogramo.
A (3,1) e B (1, 2). Ento A B (4,3)
Tomemos outro exemplo. Sejam
.
Verificamos novamente que a representao geomtrica da nossa adio se assemelha a
um paralelogramo.
A (1, 2)
Qual a representao da multiplicao por um nmero? Sejam
e
c 3. Ento cA (3, 6)
.
1
A
2
A multiplicao por 3 equivale a aumentar A trs vezes.Analogamente,
1
2
equivale a modificar A de ,i.e. diminuir A at a metade do seu tamanho.De forma
t0
geral, se t um nmero,
, interpretamos tA como sendo um ponto, na mesma
direo de A a partir da origem, mas a uma distncia multiplicada por t.
A multiplicao por um nmero negativo inverte o sentido.

3. Vetores Localizados
uuur
AB

Ns definimos um vetor localizado como sendo um par de pontos e escrevemos

.( No se trata de um produto).Visualizamos isto como sendo uma flecha ligando A

e B. O ponto A chamado ponto inicial e o ponto B ponto final do vetor localizado.
Como se obtm as coordenadas de B a partir das coordenadas de A? Observamos
no plano que,
b1 a1 (b1 a1 )
b2 a2 (b2 a2 )
e
isto significa que

B A ( B A)

Sejam
B A DC

uuu
r uuuur
B e CD

dois vetoresuulocalizados.
Diremos que so equivalentes se
ur
AB
. Todo vetor localizado
uuuuuuuuur equivalente a um vetor de ponto inicial na
uuur
O( B A)
AB
origem, pois
equivalente a
. Obviamente,
este o nico vetor localizado
uuur
AB
de ponto inicial na origem e equivalente a
.Se o leitor visualizar a lei do
paralelogramo no plano, ento perceber claramente que a equivalncia de dois vetores
localizados pode ser interpretada geometricamente em termos de igualdade de
comprimento dos segmentos de reta determinados pelos pares de pontos, e da
coincidncia das direes em que
uuureles apontam.
OC
Dado um vetor localizado
de ponto inicial
diremos que ele
uuu
r na
uuuorigem,
ur
AB e PQ
localizado na origem. Dado um vetor localizado
qualquer, diremos que e ele
localizado em A.
Um vetor localizado na origem est totalmente determinado por seu ponto
final.Em vista disto, chamaremos uma n-upla seja de ponto, seja de vetor, dependendo
da interpretao que temos em mente.
uuu
r uuuur
AB e PQ
Diz-se que dois vetores localizados
so paralelos se existir um
B A c(Q P )
c0
nmero
tal que
.Eles tem o mesmo sentido se existir um nmero
B

c
(
Q

P
)
c0
c0
tal que
, e tm sentidos opostos se existir um nmero
tal
B A c(Q P )
que
.De maneira semelhante, qualquer definio que trate de n-uplas
pode ser transladada para vetores localizados.Por exemplo, no pargrafo seguinte,
daremos a definio
do
uuu
r uuuu
r perpendicularismo de n-uplas.Assim, dizemos que dois vetores
QP
AB e PQ
B A
localizados
so perpendiculares se
for perpendicular a
.

4. Produto escalar
implcito que do comeo ao fim de uma discusso, trabalhamos com vetores
pertecentes sempre ao mesmo espao n-dimensional.
A (a1 ,..., an ) e B (b1 ,..., bn ).
Sejam dois vetores
Definimos seu produto
escalar A .B como sendo

a1b1 ... anbn

Este produto um nmero.Por exemplo, se

A (1,3, 2) e B ( 1, 4, 3)
A B 1 12 6 17.

Ento:

Por enquanto, no fornecemos uma interpretao geomtrica deste produto escalar.

Faremos isto mais tarde. Primeiro, deduzimos algumas propriedades importantes.
As propriedades bsicas so:
PE 1. Vale: A B B A
PE 2. Se A, B, C so trs vetores, ento
A ( B C ) A B A C (B C) A
PE 3. Se x um nmero, ento
( xA) B x( A B) e A (xB) x( A B)
PE 4. Se A 0 o vetor nulo, ento A A 0, e nos demais casos A A 0.
Vamos agora demonstrao destas propriedades.
Quanto primeira, temos

a1b1 ... anbn b1a1 ... bn an

,
Porque para dois nmeros a e b quaisquer, temos ab = ba. Isto prova a primeira
propriedade.
C (c1 ,..., cn ).
Para PE 2, seja
Ento

B C (b1 c1 ,..., bn cn )
A ( B C ) a1 (b1 c1 ) ...an (bn cn )
a1b1 a1c1 ... anbn an cn
e
Reordenando os termos, obtemos

a1b1 ... anbn a1c1 ... an cn

A B A C
Que seno
, o que queramos demonstrar.
Deixamos PE 3 a ttulo de exerccio.

ai
Finalmente, para PE 4, observemos que se A tiver uma coordenada
ai 2 0
ai 2 0
de 0, ento existe um termo
,e
no produto escalar.

diferente

A A a12 ... an2

Sendo que cada termo

, segue que a soma > 0, como era para demonstrar.

Em grande parte do que segue a respeito de vetores, empregaremos apenas as

propriedades usuais de adio, multiplicao por nmeros, e as quatro propriedades do
produto escalar. Posteriormente faremos a discusso formal destas propriedades. Por
enquanto, basta notar que existem outros objetos conhecidos que podem ser
adicionados, subtrados e multiplicados por nmeros, por exemplo as funes contnuas
num intervalo [a, b].
A A
Em vez de escrever
para designar o produto escalar de um vetor por si
A2
prprio, ser conveniente escrever tambm . (Este o nico caso em que ns nos
A3
permitimos tal notao.Assim, no tem significado escrever
). Como exerccios
verificar as identidades seguintes:
( A B) 2 A2 2 A B B 2
( A B) 2 A2 2 A B B 2
Por definio, diremos que dois vetores A e B so perpendiculares (ou diremos
A B 0
tambm ortogonais) se
.Por enquanto, no muito claro que no plano esta
definio coincide com a nossa intuio geomtrica de perpendicularismo.Isto ser
posto em evidncia no pargrafo seguinte.

5. A norma de um vetor
A seguinte desigualdade denominada desigualdade de Schwarz, e
fundamental na teoria de vetores.
( A B ) 2 ( A A)( B B)
Teorema 1. Sejam A e B dois vetores. Ento,
Demonstrao. Sejam x B B e y A B. Ento pela PE 4, temos
0 ( xA yB) ( xA yB).
Desenvolvendo o membro direito desta desigualdade, obtemos
0 x 2 ( A A) 2 xy ( A B) y 2 ( B B)
.
Substituindo x e y por seus valores,
0 ( B B) 2 ( A A) 2( B B)( A B) 2 ( A
B)2 ( B B)
.
Se B = 0, ento a desigualdade do teorema bvia, sendo cada membro igual a zero.
B0
B B 0
B B
Se
, ento
e podemos dividir esta ltima expresso por
.Obtemos
assim
0 ( A A)( B B) ( A B) 2
.

( A B ) 2
Transpondo o termo
demonstrao.

para o outro lado da desigualdade, est concluida a

A

Definimos a norma, ou comprimento, de um vetor A, e o indicamos por

como sendo o nmero
A A A
.

A 0

A A 0

Sendo
, podemos extrair a raiz quadrada. Alm disso, observamos que
A0
se
.
Em termos de coordenadas, vemos que

A a12 ... an2

,
E portanto, quando n = 2 ou n = 3, isto coincide com nosso conceito intuitivo
(decorrente do teorema de Pitgoras) de comprimento.
Pela nossa definio, podemos re-escrever a desigualdade do Teorema 1 sob a
forma
( A B) A B
,
Onde foi extrada a raiz quadrada de ambos os membros. Ns vamos us-las sob esta
forma para demonstrar o seguinte teorema.
Teorema 2. Sejam A e B dois vetores. Ento
A B A B
Demonstrao. Ambos os membros desta desigualdade so positivos ou nulos.
Logo basta mostrar que seus quadrados satisfazem desigualdade desejada, em outras
palavras,
( A B) ( A B ) ( A B ) 2
.
Para tanto, consideremos
( A B) ( A B) A A 2 A B B B
.
Em virtude do nosso resultado anterior, isto satisfaz desigualdade
2
2
A 2 A B B
,
E o membro direito no seno
( A B )2 .
Est demonstrado o Teorema.
O Teorema 2 denominado a desigualdade triangular.
Teorema 3. Se x um nmero, ento

xA x A

(Valor absoluto de x vezes comprimento de A).

Demonstrao. Por definio, temos
2
xA ( xA) ( xA)
Que igual a

x 2 ( A A)
Pelas propriedades do produto escalar. Extraindo agora a raiz quadrada ns obtemos o
que desejamos.
U 1
U
Diremos que um vetor
um vetor unitrio se
.Dado um vetor A
a A . Se a 0
qualquer, seja
, ento
1
A
a
um vetor unitrio, pois
1
1
A a 1
a
a
.
Diremos que dois vetores A e B (ambos no nulos) tm mesmo sentido se existir
c0
cA B
um nmero
tal que
. Conforme esta definio, vemos que o vetor

1
A
A

A0
um vetor unitrio, no sentido de A (contanto que
).
Diga-se de passagem que dois vetores A e B (ambos no nulos) tm sentidos
c0
cA B
opostos se existir um nmero
tal que
.
Sejam duas n-uplas A e B. Definimos a distncia que os separa como sendo
A B ( A B) ( A B )
. Esta definio coincide com nossa intuio geomtrica
quando A e B so pontos do plano.
Podemos tambm justificar nossa definio de perpendicularismo. Dados A e B
no plano, a condio de que
A B A B

Coincide com a propriedade geomtrica de que A e B sejam perpendiculares.Esta

condio equivalente a

( A B) ( A B) ( A B) ( A B )

(ambos membros foram elevados ao quadrado) e expandindo, esta igualdade

equivalente a
A A 2 A B B B A
A 2A B B B
.
Aps cancelamentos, obtemos a condio equivalente
4 A B 0

A B 0

Ou

B0
Sejam dois vetores A e B, com
.Suponhamos que possvel achar um
A cB
nmero c tal que
seja perpendicular a B, ou em outras palavras,
( A cB ) B 0
.
Obtemos ento

A B cB B

E portanto

A B
B B

Desta forma o nmero c determinado de modo nico pela nossa condio de

perpendicularismo. Reciprocamente, para este nmero c, temos evidentemente

( A cB) B 0
Definimos cB como sendo a projeo de A sobre B. Se B for um vetor unitrio,
ento temos simplesmente:

c A B
A nossa construo tem uma interpretao imediata no plano, o que nos permite dar
A0
uma interpretao geomtrica do produto escalar. A saber, suponhamos
e
observemos o ngulo

entre A e B. Ento da geometria plana, vemos que

cos

c B
A

,
ou substituindo c pelo valor obtido anteriormente,
A B A B cos

Por virtude do Teorema 1, sabemos que n-espao, o nmero

A B
A B
Tem valor absoluto

. Conseqentemente,

A B
1
A B
,

E existe um nico ngulo

tal que

cos

e tal que

A B
A B

Definimos este ngulo como sendo o ngulo entre A e B.

5. Retas e planos
Definimos a equao paramtrica de uma reta passando por um ponto P, na
A0
direo de um vetor
, como sendo

X P tA

onde t percorre o conjunto dos nmeros reais.

Suponhamos que estamos trabalhando no plano, e representemos as coordenadas
P ( p, q ) e A ( a , b )
de um ponto X por (x, y). Sejam
.Ento, em termos das
coordenadas, podemos escrever

x p ta

y p tb

,
.
Podemos eliminar t e obter a equao habitual que relaciona x e y.
P (2,1) e A (1,5)
Por exemplo, sejam
.Ento a equao paramtrica da reta
passando por P e na direo de A nos fornece

x 2 t,

y 1 5t.

Multiplicando a primeira equao por 5 e somando, obtemos

5 x y 11
O que nos familiar.

Num espao de dimenso superior, no possvel eliminar t deste modo, e

portanto a equao paramtrica a nica disponvel para descrever uma reta.
No entanto, podemos descrever planos por uma nica equao, anloga que
descreve uma reta no plano.Procedemos da maneira seguinte:
0
Sejam P um ponto e N um vetor
.Definimos o hiperplano passando por P,
X P
perpendicular a N como sendo o conjunto de todos os pontos X tais que

perpendicular a N ; assim sendo:

( X P ) N 0
,
o que tambm pode ser escrito sob a forma

X N P N

.
Em vez de dizer que N perpendicular ao plano, tambm podemos dizer que N
normal ao plano.
0
Seja t um nmero
. Ento o conjunto dos pontos X tais que

( X P ) N 0
Coincide com o conjunto dos pontos X tais que

( X P ) tN 0
.
Logo, podemos dizer que nosso plano o plano passando por P e perpendicular reta
na direo de N. Para achar a equao do plano, podemos empregar qualquer vetor tN
t0
(com
) em vez de N.
P (2,1, 1)
No 3-espao, obtemos um plano comum. Por exemplo, sejam
e
N (1,1,3)
.Ento a equao do plano passando por P e perpendicular a N

x y 3 z 2 1 3
x y 3 z 4
ou
Observemos que no 2-espao, com X = (x, y), o resultado obtido a equao da
(4, 3)
reta no sentido usual. Por exemplo, a equao da reta passando por
e
(5, 2)
perpendicular a

5 x 2 y 20 6 26
(5, 2)
Estamos agora capacitados a interpretar os coeficientes
de x e y nesta
equao.Eles representam um vetor perpendicular reta. Numa equao qualquer,
ax by c
( a, b )
O vetor

perpendicular reta determinada pela equao. De modo anlogo, no 3(a, b, c)

espao o vetor
perpendicular ao plano determinado pela equao

ax by cz d
c0
Diz-se que dois vetores A e B so paralelos se existir um nmero
tal que
P1 e Q1
cA B
. Duas retas so ditas paralelas se, dados dois pontos distintos
da
P2 e Q2
primeira reta e
da segunda, os vetores

P1 +P1

P2 Q2

forem paralelos.
Diz-se que dois planos so paralelos( no 3-espao) se seus vetores normais
forem paralelos.Eles so perpendiculares se seus vetores normais forem
perpendiculares. Defini-se o ngulo de dois planos como sendo o ngulo entre seus
vetores normais.
Exemplo. Calcular o cosseno do ngulo entre os planos
2x y z 0
x 2y z 1

(2, 1,1) e (1, 2, 1)

Este cosseno o cosseno do ngulo entre
1
a 6

, e , portanto, igual

2. Espaos e subespaos vetoriais

O pargrafo anterior motiva as discusses que faremos sobre a estrutura de um dado
espao vetorial. Em geral, as problemticas aqui sempre recaem na resoluo de um
sistema ou de uma equao linear. Este quarto captulo pode ser um divisor no estudo da
lgebra Linear. Se algum quer prosseguir estudos nesta direo, deve dedicar-se ao
mximo para compreender as proposies e conceitos que envolvem essa estrutura.
4.2.1 Definio: Seja V um conjunto no-vazio. Suponha que em V est definida uma
u, v V , u v V .

adio +, i. e.,

u (v w) (u v ) w

A1:
A2:
A3:

Alm disto,

u , v, w V

, valem:

uv vu
0 V com 0 u u 0 u

v V com v v v ( v) 0

A4

Suponha que V absorva uma multiplicao (por) escalar , i. e., k K e

, k K e u, v V ,
u

V, ku
V. Alm disto,
valem:
(u v) u v
M1:
k )u .u k .u
M2: (
.k )u ( k .u )
M3: (
M4: 1u = u; onde 1 o elemento neutro da multiplicao definida em K.
Nestas condies dizemos que V um espao Vetorial sobre o corpo K e
anotamos V(K) para indicar isto.
4.2.2 Exemplos: So exemplos de espaos vetoriais:
2 ,
i) O plano
munido das operaes descritas no pargrafo 1 deste captulo.
3
,
ii) O espao
munido das operaes de adio e multiplicao por escalar usuais.

,
iii) Pn(t) = {antn +a(n-1)tn-1+
+ a1t + a0 / ai
i = 0,1,2,...,n }, o conjunto dos
n,
polinmios reais de graus
juntamente com o polinmio nulo, um espao vetorial

sobre o corpo
usadas?

. Que operaes de adio e multiplicao por escalar podem ser

f : / f uma funo

4.2.3 Observao: Considere o conjunto F =

f , g F K
e
,
f g :
x ( f g )( x ) f ( x ) g ( x)

. Defina que

f :
x (f )( x) . f ( x)

e
. Ento F,
munido destas operaes um espao vetorial sobre o corpo R.
. f
f , g, h F ,
Demonstrao: Temos que f + g e
so funes reais. Alm disto,
vale que:
A1:

x [ f ( g h)]( x) f ( x) ( g h)( x) f ( x ) ( g ( x) h( x))

(a adio em

f ( x ) g ( x )) h( x) ( f g )( x) h( x) [( f g ) h]( x ).

associativa) = (
temos a igualdade f + ( g + h ) = ( f + g ) + h.

Portanto,

x ( f g )( x) f ( x) g ( x ) g ( x) f ( x) ( g f )( x).

A2:
,
A3: A funo

o:
x o( x ) 0

Da, f + g = g + f.

o( x ) f ( x ) 0 f ( x )

tal que (o + f )(x) =

f ( x ) o( x )

(f +o)(x);
. Ento:
A4: A funo
f :
x ( f )( x) f ( x )

f f

tal que (

f ( x) f ( x)

f(x) =

o f f o f.

)(x) =

f ( x) ( f ( x)) f ( x) ( f )( x)

=0=

( f )( x ) f ( x )

(f + (

))(x);

x .

As propriedades A1, A2, A3 e A4 mostradas acima nos dizem que, aditivamente, F

satisfaz as condies necessrias para ser um espao vetorial.
f , g F e , k

Com relao multiplicao por escalar:

, valem:
[ ( f g )]( x) (( f g )( x)) ( f ( x) g ( x)) f ( x) g ( x )
M1:
(f )( x) (g )( x)
=

(f g )( x) x .

( f g ) f g .

Isto mostra que:

[( k ) f ]( x) ( k ) f ( x) f ( x) kf ( x)

:
M2

f kf )(x) x
;
. Isto mostra

( k ) f f kf .

que
Depois de demonstrar as propriedades M3 e M4 referentes s funes e escalares,
conforme a definio em 4.2.1, o leitor deve se convencer de nossa afirmao.
4.2.4 Exemplos: So tambm exemplos de espaos vetoriais:
,

i)

sobre o corpo Q dos nmeros racionais;

mn (),
;
ii)
sobre o corpo Q ou sobre o corpo
Dentro de um espao vetorial podemos encontrar subconjuntos prprios que tm a
estrutura de espao vetorial, se consideradas as operaes j definidas neste espao.
4.2.5 Definio: Seja W um subconjunto no-vazio de um espao vetorial V(K). Se W
um espao vetorial com respeito s operaes que definem a estrutura V(K); ento W
dito um subespao vetorial de V(K).
Isto significa que: Sendo W no vazio,

a)

w, w1 W e K

w w1 W ;

, valem:

w W
b)
e mais, valem as propriedades A1, A2, ... e M4 exigidas em 4.2.1, com
respeito aos vetores de W e aos escalares em K.

4.2.6 Exemplos: So exemplos de subespaos vetoriais:

n () :

i) Dn( ), o conjunto das matrizes diagonais de ordens n, subespao de

A
soma de duas matrizes diagonais e o produto de um escalar por uma matriz diagonal,
n ()

so matrizes diagonais. Alm disto, O, a matriz nula de

est em Dn( ) e, se

temos D
Dn( ), vale que (-1)D = -D
Dn( ). Nada mais precisa ser
argumentado, a no ser o fato de que as propriedades A1, A2, M1, M2,..., M4 so herdadas
por Dn(

)!

f F / f (0)

f (3)

ii) W =
um subespao vetorial de F, F o espao vetorial descrito
em 4.2.2. De fato: A soma de duas funes em W e o produto de um escalar por uma
funo em W, so funes em W. Alm disto, a funo o est em W, se f W, (-1)f =
-f est em W e as demais propriedades que caracterizam um espao vetorial, so
herdadas por W.
Vale a seguinte caracterizao de um subespao vetorial:

4.2.7 Observao: Seja V(K) um espao vetorial sobre um corpo K. Seja W um

subconjunto de V(K). Ento, so equivalentes:
a) W um subespao vetorial de V(K)
b) Vale que:
i) 0 W ;

ii) w1 w2 W ; w1 , w2 W ;
iii) w W ; K e w W .

c) Vale que:
i) W ;
ii)

w1 w2 W ; K e w1 , w2 W .
b) c) a).

Demonstrao: Pensar no sentido: a)

Sempre levar em conta que as
propriedades A1, A2, M1,..., M4 so sempre herdadas pelo subconjunto W.
No sentido de a) para b) a concluso imediata. De b) para c), usando o fato em i),
vemos que W e por ii) juntamente com iii), vemos que

w1 w2 W ; K e w1 , w2 W .

O leitor pode agora experimentar o sentido de

c) para a)!
W V (K )

Notao: Anotaremos
para indicar que W um subespao de V(K).
4.2.8 Observao: Sejam V1(K) e V2(K) espaos vetoriais sobre um corpo K. Ento vale
que: V1(K) V2(K) ={(v1,v2) / v1 V1(K) e v2 V2(K)} um espao vetorial,
considerando as operaes de adio e multiplicao escalar definidas como abaixo:
(u1,u2), (v1,v2) em V1(K) V2(K) e K,
+: (u1,u2) + (v1,v2) = (u1 + v1,u2 + v2)
: (u ,u ) = (u , u )
1

Demonstrao: O par ordenado 0 = (0,0) o elemento neutro da adio e - (u1,u2) = (u1,-u2) o inverso aditivo de (u1,u2). Alm disto, valem as propriedades A1, A2, M1, M2,
M3 e M4, exigidas em 4.2.1: Elas valem em V1(K) e V2(K).
O leitor deve atentar para o fato de que este teorema pode ser mais geral. No
necessrio que os espaos V1(K) e V2(K) sejam construidos sobre o mesmo corpo. Pense
num exemplo!
4.2.9 Observao: Seja V(K) um espao vetorial sobre um corpo K. Sejam W e L
subespaos de V(K). Ento vale que:
a) W L um subespao de V(K);
b) W + L = {w + l / w W e l L} um subespao de V(K);
c) W L = {(w, l) / w W e l L} um espao vetorial e dentro dele existe uma cpia
de W e uma cpia de L.
Demonstrao:

4.2.10 Conseqncia: Seja V(K) um espao vetorial sobre um corpo K e 3 n N.

n

W1 ,W2 ,...,Wn V ( K ); ento vale que Wi I V ( K ).

i 1

i) Se
n

W1 , W2 ,..., Wn V ( K );
ii) Se
ento
Demonstrao: imediata!

i 1

W1 W2 Wn S V ( K )

No caso em que I = {0} e S = V(K), dizemos que V(K) uma soma direta dos
n

W V ( K ).
i 1

subespaos W1, W2,..., Wn. Denotamos isto por

4.2.11

Exemplo:

Considere

J Y 2 () / aij 0, se i j

S A 2 () / a11 a 22 0
vale que

em

.Temos que:

S J 2 ().

2 ()

S J 0

os

subespaos

S J 2 ().

Portanto,

4.2.3 Observao: Seja V(K) um espao vetorial sobre um corpo K. Se W e L sodois

de seus subespaos, vale que W L um subespao de V(K) se , e somente se W
L ou L W.
Demonstrao:

Exerccios:

H A M 2 R / tr A 0

M 2 R

01. Mostre que

um subespao de
.
02. Considere espao das matrizes quadradas de ordem 2, com entradas no corpo dos
nmeros reais,

M 2 R .

a) So subespaos de
i)
ii)
iii)
iv)

Mostre que:

M 2 R

H A M 2 R / tr A 0;

W rA sB / r , s R e A, B M 2 ();

V X M 2 R / X t .L 0 ;

E X M 2 R / LX 0;

onde L uma matriz fixa em

onde L uma matriz fixa em

M 2 R .
M 2 R .

det L 0

V E 0

c) Se
; ento
.
03. Seja W um subespao de um espao vetorial V(K) sobre um corpo K. Mostre que:
a) Se v um vetor em
b)

VK \W

V K ,

w e w + v so vetores em W; ento

no um subespao vetorial de

04. Mostre que se

VK

VK

v W

um espao vetorial sobre um corpo K e temos

VK

ento vale que 0, o elemento neutro da adio em

em W.
1 0
1 2
0 1
F

0 1 2x2 0 1 2x2 1 0
05. Verifique se

, o elemento neutro da adio

0 1

0 1

,
2x2

W VK

2x2

06. Verifique quais dos subconjuntos abaixo um subespao de F (o espao vetorial das
funes reais).
a)
b)

J f F / cos f 0 0.senf 0

G f F / f 0 f 1

.
W X R 3 / X 1,3,5 t 2,6,10 e t R

07. Mostre que

Represente W geometricamente.
09. Seja

VK

a)
b)

VK

L J W

um espao vetorial sobre um corpo K. Sejam L, J e W subespaos de

. Mostre que:

L J W

um subespao de

R3

um subespao de

VK

VK

um subespao de
;
3
VK R
c) Se
d exemplo de dois de seus subespaos e construa os subespaos soma
e interseo.
F f : R R / f uma funo
10. Considere o espao vetorial das funes reais,
.
f :R R

x f x ax b; com a, b R e a 0

Mostre que o conjunto

das funes
(afins) reais de primeiro grau um subespao vetorial de F.
P3 t
11. Verifique quais dos subconjuntos abaixo um subespao de
, o conjunto dos
polinmios de graus menores ou iguais a 3, juntamente com o polinmio nulo.

W1 p t P3 t / p 0 p 3 7
)
a

W2 p t P3 t / p t mnico

b)

M 2 x3 R

12. Considere o espao vetorial das matrizes de ordens 2 por 3 sobre R:

.
U X M 2 x 3 R / xij 0 se i j
M 2x3 R
a) Mostre que
um subespao de
.
V X M 2 x 3 R / xij 0 se i j
M 2x3 R
b) Mostre que
um subespao de
.
M 2x3 R U V
c) Mostre que
.

VK

13. Seja
Mostre que:
a)

um espao vetorial sobre um corpo K. sejam L e J subespaos de

VK

VK

LJ

um subespao de
;
3
R
b) Escreva como soma direta de dois de seus subespaos.
14. Seja

VK

um espao vetorial sobre um corpo K e seja

a) Se v um vetor em
b)

V K W

VK

, w um vetor em W e

um subespao vetorial de

15. Considere o espao vetorial

entradas em R, sobre o corpo R.
a) Verifique se

M 2 R

16. Considere o sistema linear

Mostre que S R 4
a)
.
S H

17. Seja

VK

; onde

v w W

; ento

. Mostre que:
v W

das matrizes quadradas de ordem 2 por 2, com

W A M 2 R / A inversvel

b) Exiba subespaos L e J de

b) Determine

M 2 R

VK

W VK

subespao de

M 2 R L J

tais que
x yz 0
:
yw0
2x y z 0

H x,0,0, x / x R

M 2 R

um espao vetorial sobre um corpo K. sejam G e H subespaos de

G H VK e GH
VK
H G
tais que:
. Prove ento que
.

18. Justifique: Nenhum dos conjuntos abaixo tem estrutura de um espao vetorial.
S x, y R 2 / x R e y Q
a)
com a adio e a multiplicao escalar usual, sobre
o corpo R.

b) O conjunto

M 2 R

com a multiplicao usual e a adio definida por:

a12
b
a
b
A 11
; B 11 12
M 2 R,

a21 a22 2 x2
b21 b22 2 x2
a12 b12
a b
A B 11 11

a21 b21 a22 b22

, sobre o corpo R
2 x2

Q2 t a2t 2 a1t a0 / ai Q, i 0,1, 2

c)
, com a adio e a multiplicao por escalar
usuais, sobre o corpo R.
R3
com a adio usual e a multiplicao por escalar definida por:
d)
R e u a, b, c R 3 , u a, b, c
; sobre o corpo R.

3. Bases e Dimenso de um Espao Vetorial

Dado V(K) um espao Vetorial, geralmente um conjunto infinito, podemos pensar
em subconjuntos de V(K) que o descreva, no sentido de que cada vetor de V(K) pode
ser obtido a partir de seus elementos. Um primeiro exemplo que podemos mencionar o
de um subconjunto:

u1 , u 2 2 ; u1 e u 2

4.3.1 Exemplo: Conforme vimos no pargrafo 1, se

e
no so
vetores colineares (i.e., no esto na mesma direo), combinando-os via adio e
multiplicao escalar (usuais), alcanamos todo vetor
Nesta direo temos a

u de 2 .

4.3.2 Definio: Seja V(K) um espao vetorial sobre um corpo K. O vetor:

v 1v1 2 v 2 ... n v n ;

i K e vi V ( K ), i 1,2,..., n e 1 n ,
onde

denominado uma combinao

v1 , v 2 ,..., v n .
linear dos vetores

2 ( x, y ) / x, y

4.3.3 Exemplo: O plano

um espao vetorial sobre
e se
2
conjunto W v / ,
0 v ,
o
de todas as possveis combinaes lineares
de v, a reta do plano que contm o vetor v.

Notemos que W um subespao de

disto,

2 : 0V 0 W

K e w1 , w2 W , 1 , 2 K

e assim temos

com

w1 1v , w2 2v e w1 w2 1v 2v ( 1 2 )v W ;

j que

. Alm

1 2 K .

4.3.4 Observao: Seja V(K) um espao Vetorial sobre um corpo K. Fixados n vetores
v1 , v 2 ,..., v n ,
1 n N,
em V(K),
com
vale que :
W 1v1 2 v 2 ... n v n / i K , i 1,2,.., n
a)
um subespao Vetorial de V(K),
v1 , v 2 ,..., v n
W v1 , v 2 ,..., v n
chamado de subespao gerado por
e denotado por
[
].
v1 , v 2 ,..., v n
Neste caso, dizemos que {
} um conjunto gerador de W.
v1 , v 2 ,..., v n
b) Dentre os subespaos de V(K), o menor subespao que contm {
} W: Se
v1 , v2 ,..., vn
outro subespao de V(K) contm
; ento W est contido dele.
Demonstrao:
i 0, i 1,2,.., n
0v1 0v 2 ... 0v n 0 W e assim, temos W .
a) Se
, vale que
w1 1v1 2 v 2 ... n v n
w2 1v1 2 v 2 ... n v n
Alm disto, se
e
so
quaisquer elementos em W e um qualquer elemento em K, a combinao linear
1v1 2 v 2 ... n v n
1v1 2 v 2 ... n v n
w1 +w2 = (
)+(
( 1 1 )v1 ( 2 2 )v 2 ... ( n n )v n
W V (K ).

um elemento de W. Portanto, conclumos que

v1 , v 2 ,..., v n S ;
b) Suponhamos que S tambm um subespao de V(K) e que {
}
ento,
combinando esses elementos de S, produzimos objetos em S. Mas W formado
W v1 , v 2 ,..., v n S
exatamente por todas essas combinaes. Isto mostra que
[
]
.
O resultado em 4.3.4 sugere a seguinte
4.3.5 Definio: Seja V(K) um espao vetorial sobre um corpo K. Seja S um
subconjunto de V(K). Ento, definimos [S] como sendo o menor subespao de V(K) que
contm S.
Dada a definio acima, podemos voltar observao 4.3.4 e incluir o caso n = 0.
Vale o seguinte resultado

4.3.6 Observao: Se V(K) um espao vetorial sobre um corpo K, o subespao nulo

de V(K) gerado por : Temos [] = {0} V(K).
Demonstrao: Considere a seguinte famlia de V(K):
G = { W V(K) / W subespao de V(K)}.
Por 0.2.2, vale que W; WG. Particularmente, temos {0}

W;

WG; i. e., {0} o menor subespao de V(K) que contm . Portanto, vale que [] =
{0}.
O fato mencionado acima pode ser intrigante. Porm, esta incluso do conjunto
vazio em qualquer conjunto, no importando a natureza do mesmo, precisa ser
considerada.

v1 , v 2 ,..., v n
4.3.7 Observao: Suponhamos que {
} gera W. Ento, qualquer outro vetor
w em W suprfluo, no sentido de que juntos no geram nada alm de W; i.e., se w
v1 , v 2 ,..., v n
v1 , v 2 ,..., v n
W; ento
[
,w] = [
] = W.
1 , 2 ,..., n
Demonstrao: Como w um vetor em W, existem escalares
tais que vale
w 1v1 2 v 2 ... n v n
a1 , a 2 ,..., a n , a
a igualdade
. Agora, para quaisquer escalares
,
a1v1 a 2 v 2 ... a n v n aw a1v1 a2v2 ... an vn a (
a
combinao
1v1 2 v 2 ... n v n
(a1 a 1 )v1 ( a 2 a 2 )v 2 ... (a n a n )v n
) =
ainda um
vetor de W.

v1 , v 2 ,..., v n V (K )
4.3.8 Definio: Dados
dizemos que:
a) Estes vetores so linearmente independentes (LI) se, e somente se, na equao:
1v1 2 v 2 ... n v n 0, com i K , i 1,2,..., n,

ocorrer que i 0, para todo i {1,2,..., n}.

Caso contrrio,

i 1,2,..., n

b) Se para algum
dependentes (LD).

i 0,
temos

dizemos que estes vetores so linearmente

Esta definio geral tem fundamentao no espao vetorial concreto dos vetores de

. Reveja o pargrafo 1, definio 4.1.5:

u, v 2 ,
, e 0,
Se
tal que para
temos

u v 0 1 (u v) 1 .0 1u v 0 v 1u
e vemos que os vetores so dependentes, no sentido de que um pode ser obtido a
partir do outro; j que um mltiplo escalar do outro. Neste caso, esses vetores esto
2

sobre uma mesma reta do plano

. Isto sugere dizer que so linearmente dependentes.
Porm, se na equao acima, os vetores u e v no so colineares, naturalmente temos
que:
u v 0 0
e isto sugere dizer que estes vetores so linearmente independentes.

(1,2), (2,0)

4.3.9 Exemplo: O conjunto

LI. Podemos verificar este fato
resolvendo um simples sistema linear ou olhando as posies dos vetores no plano.

1 , 2 ,..., n K ,

v1 , v 2 ,..., v n V (K )

4.3.10 Observao: Se
so vetores LI e
o vetor
1v1 2 v 2 ... n v n
v=
, combinao linear desses n vetores, nico.
v 1v1 2 v 2 ... n v n ,
i K ;
i 1,2,..., n,
Demonstrao: Se tambm
com
para
v 1v1 2 v 2 ... n 1v1 2 v 2 ... n v n .
vemos que
Equivalentemente temos
( 1 1 )v1 ( 2 2 )v 2 ... ( n n )v n 0.
a igualdade
Pela independncia dos
( i i1 ) 0 i i ; para i 1,2,..., n.
vetores envolvidos, resta que
Acabou!
Dentre os conjuntos geradores de um determinado espao vetorial podemos destacar
os que so linearmente independentes.
Vale a seguinte

v1 , v 2 ,..., v n

n N.

4.3.11 Definio: Seja

Dizemos que um subconjunto
espao vetorial V(K) uma base deste espao se, e somente se,
v1 , v2 ,..., vn V ( K );

a) gera V(K), i.e.,

b) um conjunto LI.

de um

4.3.12 Exemplos:
a)

b)

(1,0), (0,1)
1 0

0 0

2 ;

uma base de
0 1
0 0
,
,

0 0 2 x 2 1 0
2x2

0 0

0 1

,
2x2

2x2

uma base de

2 ().

 v1 , v 2 ,..., v n
4.3.13 Observao: Dada uma base

de um espao vetorial V(K), cada

vetor v de V(K) se escreve de modo nico como combinao linear dos vetores de .

Demonstrao: Basta ver que LI e que vale a observao em 4.3.10.

Os resultados que apresentaremos a seguir mostram que, se um espao vetorial tem
duas ou mais bases distintas, elas coincidem no nmero de elementos.

{v1 , v 2 ,..., v n }
4.3.14 Observao: Se
gera um espao vetorial V(K) no nulo; ento:
v1 , v 2 ,..., v n
a)
contm uma base de V(K).
V (K )
# m n;

b) Se
e
ento
um conjunto LD.

Demonstrao: a) Se
LI, no h nada a ser provado. Caso
seja LD, um dos
1v1 2 v 2 ... n v n 0, com i K , i 1,2,..., n
coeficientes da equao
no
2
n
v1 ( v2 ) ... ( )vn
1
1
1 0.
nulo. Digamos
Ento, temos que
j pode tambm
v 2 , v3 ,..., v n
ser obtido dos n 1 vetores
. Isto mostra que estes n 1 vetores geram V(K).
Se eles so LI, terminamos a prova. Caso estes vetores sejam LD, procedemos com os
mesmos argumentos e encontraremos n 2 vetores geradores de V(K) que podem ser ou
no LI. O certo que em r passos com 0 r < n encontraremos um subconjunto =
vt1 , vt2 ,..., vtr

} de

que alm de ser LI, gera V(K).

w1 , w2 ,..., wm
#
b) Suponhamos que
um subconjunto de V(K) e
= m > n. Sejam
1 , 2 ,..., m
( ) 1 w1 2 w2 ... m wm 0
escalares. Coloquemos
. Usando que

gera V(K), podemos escrever cada vetor de

como combinao linear dos vetores

v t1 , v t 2 ,..., v t r .

vt1

Digamos, os aij so escalares para i = 1, 2,..., m, j = 1, 2,..., r e w1 = a11

vt 2

+ a12

vt r

vt1

vt2

+...+ a1r

; w2 = a21 + a22
Substituindo em ( ) , vem que
vt1

1(a11

vt 2

+ a12

vtr

+...+ a1r

vt r ; ...;

+...+ a2r
vt1

) + 2(a21

vtr

vt1

wm = am1

vt 2

+ a22

+ am2

vtr

+...+ a2r

vtr

+...+ amr

vt1

)+...+m(am1

vt1

) = (1a11 + 2a21 +...+ mam1)

vt2

= 0.

vt 2

+ am2

+...+ amr

vt2

+ (1a12 + 2a22 +...+ mam2)

+...+ (1a1r + 2a2r +...+

vt

mamr)

= 0 e sendo um conjunto LI, podemos montar um sistema linear homogneo,

i
onde os
so as variveis:

():

a11 1 +a21 2 + +a m 1 m=0

a 12 1 + a22 2+ +am 2 m=0

a1 r 1 +a 2r 2 ++a mr m =0

Como esse sistema tem o nmero r de equaes menor do que o nmero m

n>r
) de

variveis vemos por 3.3.5, item a), que ele admite solues no triviais, ou seja, os
i
no so todos nulos. Isto prova que um conjunto LD.
4.3.15 Conseqncia: Duas bases quaisquer de um espao Vetorial V(K) tm sempre o
mesmo nmero de elementos.
Demonstrao: Isto uma aplicao do resultado em 4.3.11, item b): Se as bases no
coincidem no nmero de elementos, uma delas seria um conjunto LD. Uma contradio.
4.3.16 Definio: O nmero de elementos de uma base de um espao vetorial V(K)
denominado de dimenso de V(K). Denotaremos este nmero por dimV(K). Se
dimV(K) = n diremos que V(K) um espao n dimensional.
4.3.17 Exemplos:
2 dim 21 () dim 12 () 2.
a) dim
dim P3 (t ) dim 22 () dim 4 4.

b)
4.3.18 Observao: Seja = {v1, v2 ,..., vr} um subconjunto LI de um espao vetorial
V(K) de dimenso finita igual a n N . Ento, se r <n , vale que:
a) um vetor v de V(K) fora de [v1, v2 ,..., vr];
b) O conjunto = {v , v ,..., v } {v} LI.
1

Demonstrao:
a) evidente.
b) Como v no pertence ao subespao gerado por , ele no pode ser obtido como
combinao linear dos vetores v1, v2 ,..., vr. Isto significa que = {v1, v2 ,..., vr} {v}
LI.
Esta pequena observao muito til na demonstrao de um importante resultado.
Vale a seguinte

4.3.19 Observao: Se V(K) um espao vetorial sobre um Corpo K e dimV(K) = n

N,

qualquer subconjunto LI de V(K) parte de uma base de V(K).

Demonstrao: Suponhamos que = {v1, v2 ,..., vr} um subconjunto LI de V(K) e que
dimV(K) = n . Por 4.3.14, item b), temos que ter r n , seno seria LD.
Se tivermos

r=n , ento gera todo o espao V(K), sendo LI, uma base desse

espao e a demonstrao termina.

Se r <n . Por 4.3.18, item a), existe um vetor v

fora do subespao gerado por .

Juntando este vetor a temos um conjunto LI com r +1 vetores. Se este novo
(r + 1)

conjunto no ainda uma base de V(K), aplicamos o mesmo raciocnio para obter um
conjunto LI com r +2 que, se ainda no for gerador de V(K), nos permitir construir
um conjunto LI maior. O certo que, em um nmero finito de passos, construiremos
uma base de V(K).
4.3.20 Conseqncia: Se dimV(K) = n; ento todo subconjunto LI de V(K) contendo n
vetores uma base de V(K).
Demonstrao: Por 4.3.19, um conjunto LI contendo n = dimV(K) vetores pode ser
completado com 0 vetores para formar uma base de V(K).
4.3.21 Observao: Seja V(K) um espao vetorial de dimenso finita n sobre um corpo
K. Ento, se U e W so subespaos de V(K), valem:
dim U dim V ( K ) n

dim W dim V ( K ) n.

a)

b) dim( U W ) dim U dim W dim( U W ).

Demonstrao:
1
2
a) Se
e
so, respectivamente, bases de U e W , por 4.3.8, item b), por causa
da independncia dos vetores em
#

, devemos ter

= dimU

= dimW n.

b) Claro que U W est contido em U e em W. Suponha que = {v1, v2 ,..., vr} uma
base do subespao interseo UW. Se m e l so, respectivamente, as dimenses de U e
W, por 4.3.19, podemos, a partir de , obter bases para U e W, completando este
conjunto: Sejam
1=
2
{v1, v2,..., vr, u1, u2,..., u(m r)} uma base de U e
={v1, v2,..., vr,w1, w2,...,
w(m r)} uma base de W. Juntando esses vetores, temos o conjunto
= {v , v ,..., v , u , u ,..., u
, w , w ..., w
1

(m r)

(n r)

com r + (m - r) + (n - r) = m + n - r vetores. Nossa demonstrao termina se provarmos

que LI e gera U + W. Que gera U + W claro: Todo vetor em U pode ser escrito na
forma
u = a1 v1 + a2v2 +...+ arvr + b1u1 + b2u2 +... + b(m- r)u(m r) + 0w1 + 0w2 +...+ 0w(n r),
onde os ais e bjs so escalares, i = 1, 2, ..., r, j = 1, 2, ..., m-r e todo vetor em W pode
ser escrito na forma

w = c1 v1 + c2v2 +...+ crvr + 0u1 + 0u2 +... + 0u(m r) + d1w1 + d2w2 +...+ d(n-r)w(n r),
onde os cks e dts tambm so escalares, k = 1, 2, ..., r e t = 1, 2, ..., (n r).
Agora, verifiquemos a independncia dos vetores de . Pondo
(): x1 v1 + x2v2 +...+ xrvr + y1u1 + y2u2 +... + y(m- r)u(m r) + z1w1 + z2w2 +...+ z(n-r)w(n r) =
0,
vemos que
v = x1 v1 + x2v2 +...+ xrvr + y1u1 + y2u2 +... + y(m- r)u(m r) = - z1w1 - z2w2 -...- z(n-r)w(n r)
um vetor de U W. Sendo uma base desse subespao, existem escalares 1, 2, ..., r
tais que podemos escrever
v = - z1w1 - z2w2 -...- z(n-r)w(n r) = 1 v1 + 2v2 +...+ rvr.
Equivalentemente, temos
1 v1 + 2v2 +...+ rvr + z1w1 + z2w2 +...+ z(n-r)w(n r) = 0.
2
Mas ento, temos z1 = z2 = ... = z(n r) = 0, j que
LI. Olhando na equao (), as
parcelas que dependem de w1, w2 e w(n r) apagam e vemos, pela independncia dos
1
vetores de
, que os escalares x1, x2, ..., xr, y1, y2, ..., y(m- r) so tambm nulos. Isto
prova que

LI.

4. Coberturas de um Espao Vetorial

Exerccios:

v xv1 yv 2 zv 3

01. Determine nmeros reais x, y e z de modo que

v 0,2,0 , v1 1,2,0 , v 2 3,2,0 e v3 0,0,1
.

u 1,0,4

02. Verifique se
est no subespao de
v1 1,0,0 , v 2 0,2,1 e v3 0,0,1
.

R3

; onde

, gerado pelos vetores

1,0,3 , 2,0,0 , 1,1,1 , 0,2,3

R3

03. Considere o subconjunto

de .

a) Mostre que um conjunto L.D.

# 3 e
b) Encontre um subconjunto
de com
sendo um conjunto L.I.
0 1

0 0
1 0

,
,

1 0 2 x 2 0 1 2 x 2 0 0 2 x 2
D2 R
04. Mostre que
gera o conjunto
, das
matrizes diagonais de ordem iguais a 2. Este conjunto L.I.? Justifique!
05.Verifique quais dos subconjuntos abaixo so L.I.:
a)

b)

2,3 , 1,0 , 1,1

0 2

1 0

;
1 0
,
0 1
2 x2

1 1

0 1

,
2 x2

2 x2

c)

2, t , t t 2

1,2,3 , 0,0,1 , 1,2,0 , 1,0,0

d)
.
06. O que base e o que dimenso de um espao vetorial? D exemplo de 4 espaos
vetoriais de dimenso 2 e 8 espaos vetoriais de dimenso 4.
0 1

0 0
1 0

,
,

1 0 2 x 2 0 1 2 x 2 0 0 2 x 2
07. Mostre que
gera o conjunto, das matrizes
diagonais de ordem iguais a 2. Este conjunto base de
08. Verifique se os conjuntos abaixo so L.I.:
1 0
1 1
0 0
0 2

,
,
,

0 0 2 x2 0 1 2 x2 0 1 2 x2 1 0 2 x2
a)
;
b)

D2 R

? Justifique!

1,2 , 0,3 , 1,4

.
0 1
1 0

09. Mostre que

3 0

0 0

,
2x 2

0 0

0 2

,
2x 2

2x 2

gera o conjunto

matrizes diagonais de ordem iguais a 2. Este conjunto uma base de

10. Seja

VK

D2 R

um espao vetorial sobre um corpo K. Prove que se

VK

D2 R

, das

? Justifique!

u, v, w

u v, u w, v w

um

conjunto L.I. de
, ento
tambm L.I..
E v1 , v 2 , v3
11. Seja
um conjunto de vetores 2 a 2 ortogonais. Prove que S um
R4
conjunto L.I. Em seguida d exemplo de um tal conjunto dentro de
.
3
R
12. Identifique quais dos conjuntos abaixo uma base de . Justifique!
a)

b)
c)
d)

1 1,0,0 , 0,1,1

1
2 1,0, , 0,2,0 , 1,2,1 , 1,0,0
2

3 0,2,0 , 0,0, 2 , 1,1,0

4 0,1,1 , 2,1,0 , 2,0,1

13. Exiba uma base de

determine:

S A M 2 R / aij 0, se i j 3 M 2 R

. Em seguida,

)
a

P M 2 R

tal que

b) Uma base de
P.
14. Seja

VK

M 2 R

b) Se

, unio de vetores de uma base de S com vetores de uma base de

um espao vetorial de dimenso finita n, sobre um corpo K. Sejam U e

W subespaos de
a) Se

M 2 R S P

VK

V K U W e dim V K

impar, o que se pode dizer de

dim V K 5 e U W 0

, o que se pode dizer de

L x, y,0 / x, y R e J 0, z,0 / z R

15. Para

a) L e J so subespao de

e verifique

17. Seja
Mostre que:
a)

LJ

dim L J dim L dim J dim L J

18. Seja
a) Se

VK

que contm o vetor

um espao vetorial sobre um corpo K. sejam L e J subespaos de

um subespao de

b) Escreva

. Mostre que:

16. Mostre que LD todo subconjunto de um espao vetorial

nulo.

VK

L J,L J

b) Determine

dim U

dim U e dim W

M 2 R

VK

U VK

VK

VK

como soma direta de dois de seus subespaos.

um espao vetorial sobre um corpo K. suponha que

dim U

dim V K 7

o que se pode dizer de

?
v1 , v 2 ,..., vl
VK
b) Se
uma base de
, qual o valor de l?

l 12
c) Se
, no item (ii), ento
que tipo de conjunto?
# 3

l 3
d) Se
, isto ,
, no item (ii), o que podemos fazer para de
obtermos uma
base de
e) Se

VK

V R, # 7 e

L.I., o que se pode dizer de

19. Seja

VK

um espao vetorial de dimenso finita n, sobre um corpo K. Sejam U e

W subespaos vetoriais de
a) Se
b) Se

V K U W

dim V K 7

c) Se
dim U

U W 0
e

dim W

e
e

VK

dim V K

.
par, o que se pode dizer de

U W 0

dim U

, o que se pode dizer de

par e

dim V K 7

dim U

dim U W

dim W

, quais os possveis valores para

Referncias Bibliogrficas
[1]. Boldrini, Jos Luis e Costa, Sueli e outros; lgebra Linear; Editora HARBRA
Harper & Row do Brasil; So Paulo (1980).
[2]. Gonalves, Adilson e Souza, Rita M. L.; Introduo lgebra Linear; Editora
Edgard Blcher Ltda; So Paulo (1977).
[3]. Hoffman, Kenneth e Kunze, Ray; lgebra Linear, Livros Tcnicos e Cientficos
Editora S. A.; Rio de Janeiro (1979).
[4]. Lang, Serg; lgebra Linear, Editora Edgard Blcher Ltda; So Paulo (1971).
[5]. Ramos, J. I. S.; Subgrupos Prteservadores de Propriedades em Grupos; Tese de
Doutorado; Braslia (2003).

Captulo 5: Espaos Vetoriais

Um espao vetorial uma estrutura algbrica bastante interessante. Um primeiro
exemplo de tal estrutura o conjunto de vetores do plano, na viso da Geometria
Analtica. Por a iniciaremos nossas discusses.
Toda a lgebra de matrizes discutida nos captulos 1,2 e 3 necessria para
descrever um espao vetorial. Isto mostra que este assunto acessvel para quem tem
uma boa intimidade com esses contedos.
A fim de apresentar uma motivao geomtrica e algbrica, consideraremos casos
especiais de conceitos a serem discutidos com maior generalidade posteriormente. Ns

supomos que o leitor est familiarizado com os nmeros reais, e exceto no 6

chamaremos de nmeros os nmeros reais (neste captulo).

1. As noes da Geometria Analtica:

de Vetores.
O plano considerado o produto cartesiano
R } ; onde

(a+ c , b+ d)

como um Espao
= RR

= { x,y) / x,y

o corpo dos nmeros reais.

R2 definida por:

A adio em

R2

2
(a,b), (c,d) R +: (a,b) + (c,d)

R2

4.1.1. Observao: A adio definida acima satisfaz as seguintes propriedades,

x , y , z R2 :
A1:

x+ ( y+ z ) =( x+ y ) + z

A2:

x+ y= y + x

2
A3: 0=( 0,0 ) R tal que x +0=0+ x=x

A4: Sendo

x=( a , b ) ,x=(a ,b ) R2 tal que x + (x ) =x + x=0

Demonstrao: Estas so conseqncias das propriedades dos nmeros.

Esta adio est de acordo com a definio de adio de vetores do ponto de vista da
Fsica. Observemos o grfico: u e v so vetores (localizados) do plano e u + v o
vetor soma (resultante) que tem como coordenadas, a soma das coordenadas
correspondentes em u e v.
2
Para todo R e todo x=( a , b ) R podemos definir uma multiplicao (por)
escalar: :

x= ( a , b )=( a , b)

R2

4.1.2 Observao: A multiplicao de nmeros reais por vetores do plano satisfaz as

2
seguintes propriedades: , k R e x , y R ,
P1:

( x+ y )=x + y

P2: ( + k ) x= x+ kx
P3: 0 x=0 , 1 x=x e (1 ) x =x
P4: ( k ) x=( kx)
Demonstrao: Estas tambm so conseqncias das propriedades dos nmeros.

O comprimento e sentido do vetor produto de um escalar

por um vetor x de

R2
Tem os seguintes aspectos:
<1 ,x> x e
1. Se

x e x tm sentidos opostos.

2. Se

1< <0 ,x<x e

x e x

tm sentidos opostos.

3. Se

0< <1, x<x

x e x

tm o mesmo sentido.

4. Se

>1 ,x>x e

x e x

5. Claro que se

tm o mesmo sentido.

=1, temos x= x . No caso de

=1 estes vetores tm

sentidos opostos.
4.1.3 Observao: Combinando as operaes de adio e multiplicao escalar
2
possvel, a partir de 2 vetores descrever o plano R
Demonstrao: De fato: Para qualquer vetor u = (x,y) de

R2 , podemos escrever

u = (x,y) = (x,0) + (0,y) = x(1,0) + y(0,1). Da, vemos que e1 = (1,0) e e2 = (0,1), podem
2
determinar qualquer vetor de R .
4.1.4 Exemplo: fcil ver que os vetores x = (-1,3) e y = (-2,6) quando combinados
no podem determinar o vetor s = (3,4). suficiente provar que no existem escalares
a e b tais que se verifique a igualdade s = ax + by. Porm, existem escalares a e b
satisfazendo a igualdade l = az + w; sendo que l = (-2,5), z = (-1,1) e w = (2,0).
Observemos a diferena de posio dos pares de vetores do exemplo acima: No
primeiro caso, x e y tm a mesma direo. Enquanto que z e w no so colineares.
Algebricamente, temos y = 2x. Dizemos ento que y um mltiplo escalar de x.
Isto nos leva seguinte:
4.1.5 Definio: Dados dois pontos x e y de

R2 temos que:

i) x e y so linearmente dependentes (LD) se, e somente se, 0 R tal que

y=x , equivalentemente, 0 R tal que x= y .
ii) Caso contrrio, dizemos que x e y so linearmente independentes (LI).
fcil ver que todo subconjunto

de R 2 contendo dois vetores LI, descreve o

plano.

2. Definio de pontos no espao

Um nmero pode ser usado para representar um ponto numa reta, uma vez
escolhida uma unidade de comprimento.

Um par de nmeros (i.e. uma dupla de nmeros) (x, y) pode ser usado para
representar um ponto no plano.
Observemos agora que uma tripla de nmeros (x, y, z) pode ser usada para
representar um ponto no espao, ou seja, no espao a trs dimenses, ou 3-espao. Ns
simplesmente introduzimos mais um eixo.
Em vez de usar x, y, z tambm poderamos usar (x1, x2 , x3). A reta poderia ser
chamada de 1-espao, e o plano de 2-espao.
Desta forma, podemos dizer que um nmero representa um ponto no 1espao.Uma dupla representa um ponto no 2-espao. Uma tripla representa um ponto no
3-espao.
Apesar de no podermos traar uma figura para ir mais adiante, nada nos impede
de considerar uma qudrupla de nmeros
(x1, x2, x3, x4)
E convir que isto um ponto no 4-espao. Uma quntupla seria um ponto no 5-espao,
depois viriam uma sxtupla, septupla, octupla
Continuando desta forma, definimos que um ponto no n-espao uma n-upla de
nmeros
(x1, x2,, xn)
Sendo n um inteiro positivo. Representaremos uma tal n-upla por uma letra maiscula
X, e trataremos de conservar letras minsculas para nmeros e letras maisculas para
pontos. Chamaremos os nmeros x1,, xn de coordenadas do ponto X.
Daremos agora a definio da adio de pontos. Se A e B so dois pontos,
digamos
A=( a1 , , an ) B=(b 1 , , b n)
Ento definimos

A + B como sendo o ponto cujas coordenadas so

( a1 +b 1 , , an +b n ) .
Por exemplo, no plano, se

A= (1,2 ) e B=(3,5 ) ento A + B=(2,7) . No 3-espao, se

A= (1, , 3 ) e B= ( 2 , 7,2 )

Ento
A + B=( 21, +7,1)
Ademais, se c um nmero qualquer, definimos cA como sendo o ponto cujas
coordenadas so
(c a1 , ,c an ) .
Se

A= (2,1,5 ) e c=7, ento cA=(14,7,35)

Observamos que as propriedades seguintes so verificadas:

( 1 )( A+ B ) +C= A+ ( B+C )

( 2 ) A+ B=B+ A
( 3 ) c ( A+ B ) =cA+ cB
( 4 ) Se c 1 , c2 so nmeros, ento

( c 1 +c 2 ) A=c 1 A +c 2 A e ( c 1 c 2 ) A=c 1( c 2 A)
( 5 ) Seja 0=(0,0, ,0)
0+ A=A +0=A

o ponto cujas coordenadas so todas nulas, ento

para qualquer

A .

( 6 ) 1 A= A , e representamos por A a n-upla (1 ) A , ento A + (A )=0 .

[ Em vez de escrever

A +(B) escreveremos com freqncia

AB .]

Todas estas propriedades so fceis de demonstrar, e sugerimos que o leitor as verifique

em alguns exemplos.
Vamos apresentar a prova detalhada da propriedade (3).

Sejam

A=( a1 , , an ) e B=(b1 , , bn )
A + B=( a1 +b1 , , an +bn )

.Ento
.

a1 + b1

c ( n+b n )
c
c ( A+ B )=
( c a1 +cb1 , , can +cb n )
cA +cB

sendo este ltimo passo decorrncia da definio da adio de n-uplas.

Deixamos as demais demonstraes a ttulo de exerccios.
Observao. No confundir o nmero 0 e a n-upla (0 , , 0) . Geralmente esta
n-upla designada por 0, e denominada zero, pois na prtica no surge nenhuma
dificuldade.

Agora interpretaremos geometricamente a adio e a multiplicao por nmeros,

A (2,3) e B (1,1). Ento A B (1, 4)
no plano. Consideremos um exemplo, sejam
.
A figura tem aspecto de um paralelogramo.
A (3,1) e B (1, 2). Ento A B (4,3)
Tomemos outro exemplo. Sejam
.
Verificamos novamente que a representao geomtrica da nossa adio se assemelha a
um paralelogramo.
A (1, 2)
Qual a representao da multiplicao por um nmero? Sejam
e
c 3. Ento cA (3, 6)
.
1
A
2
A multiplicao por 3 equivale a aumentar A trs vezes.Analogamente,
1
2
equivale a modificar A de ,i.e. diminuir A at a metade do seu tamanho.De forma
t0
geral, se t um nmero,
, interpretamos tA como sendo um ponto, na mesma
direo de A a partir da origem, mas a uma distncia multiplicada por t.
A multiplicao por um nmero negativo inverte o sentido.

3. Vetores Localizados
uuur
AB

Ns definimos um vetor localizado como sendo um par de pontos e escrevemos

.( No se trata de um produto).Visualizamos isto como sendo uma flecha ligando A

e B. O ponto A chamado ponto inicial e o ponto B ponto final do vetor localizado.
Como se obtm as coordenadas de B a partir das coordenadas de A? Observamos
no plano que,
b1 a1 (b1 a1 )
b2 a2 (b2 a2 )
e
isto significa que

Sejam
B A DC

B A ( B A)

uuu
r uuuur
B e CD

dois vetoresuulocalizados.
Diremos que so equivalentes se
ur
AB
. Todo vetor localizado
uuuuuuuuur equivalente a um vetor de ponto inicial na
uuur
O( B A)
AB
origem, pois
equivalente a
. Obviamente,
este o nico vetor localizado
uuur
AB
de ponto inicial na origem e equivalente a
.Se o leitor visualizar a lei do

paralelogramo no plano, ento perceber claramente que a equivalncia de dois vetores

localizados pode ser interpretada geometricamente em termos de igualdade de
comprimento dos segmentos de reta determinados pelos pares de pontos, e da
coincidncia das direes em que
uuureles apontam.
OC
Dado um vetor localizado
de ponto inicial
diremos que ele
uuu
r na
uuuorigem,
ur
AB e PQ
localizado na origem. Dado um vetor localizado
qualquer, diremos que e ele
localizado em A.
Um vetor localizado na origem est totalmente determinado por seu ponto
final.Em vista disto, chamaremos uma n-upla seja de ponto, seja de vetor, dependendo
da interpretao que temos em mente.
uuu
r uuuur
AB e PQ
Diz-se que dois vetores localizados
so paralelos se existir um
B A c(Q P )
c0
nmero
tal que
.Eles tem o mesmo sentido se existir um nmero
B

c
(
Q

P
)
c0
c0
tal que
, e tm sentidos opostos se existir um nmero
tal
B A c(Q P )
que
.De maneira semelhante, qualquer definio que trate de n-uplas
pode ser transladada para vetores localizados.Por exemplo, no pargrafo seguinte,
daremos a definio
do
uuu
r uuuu
r perpendicularismo de n-uplas.Assim, dizemos que dois vetores
QP
AB e PQ
B A
localizados
so perpendiculares se
for perpendicular a
.

4. Produto escalar
implcito que do comeo ao fim de uma discusso, trabalhamos com vetores
pertecentes sempre ao mesmo espao n-dimensional.
A (a1 ,..., an ) e B (b1 ,..., bn ).
Sejam dois vetores
Definimos seu produto
escalar A .B como sendo

a1b1 ... anbn

Este produto um nmero.Por exemplo, se
A (1,3, 2) e B ( 1, 4, 3)

Ento:

A B 1 12 6 17.

Por enquanto, no fornecemos uma interpretao geomtrica deste produto escalar.

Faremos isto mais tarde. Primeiro, deduzimos algumas propriedades importantes.
As propriedades bsicas so:

PE 1. Vale: A B B A
PE 2. Se A, B, C so trs vetores, ento
A ( B C ) A B A C (B C) A
PE 3. Se x um nmero, ento
( xA) B x( A B) e A (xB) x( A B)
PE 4. Se A 0 o vetor nulo, ento A A 0, e nos demais casos A A 0.
Vamos agora demonstrao destas propriedades.
Quanto primeira, temos

a1b1 ... anbn b1a1 ... bn an

,
Porque para dois nmeros a e b quaisquer, temos ab = ba. Isto prova a primeira
propriedade.
C (c1 ,..., cn ).
Para PE 2, seja
Ento

B C (b1 c1 ,..., bn cn )
A ( B C ) a1 (b1 c1 ) ...an (bn cn )
a1b1 a1c1 ... anbn an cn
e
Reordenando os termos, obtemos

a1b1 ... anbn a1c1 ... an cn

A B A C

Que seno
, o que queramos demonstrar.
Deixamos PE 3 a ttulo de exerccio.

ai
Finalmente, para PE 4, observemos que se A tiver uma coordenada
ai 2 0
ai 2 0
de 0, ento existe um termo
,e
no produto escalar.

diferente

A A a12 ... an2

0
Sendo que cada termo
, segue que a soma > 0, como era para demonstrar.
Em grande parte do que segue a respeito de vetores, empregaremos apenas as
propriedades usuais de adio, multiplicao por nmeros, e as quatro propriedades do
produto escalar. Posteriormente faremos a discusso formal destas propriedades. Por
enquanto, basta notar que existem outros objetos conhecidos que podem ser
adicionados, subtrados e multiplicados por nmeros, por exemplo as funes contnuas
num intervalo [a, b].

Em vez de escrever

A A

para designar o produto escalar de um vetor por si

A2
prprio, ser conveniente escrever tambm . (Este o nico caso em que ns nos
A3
permitimos tal notao.Assim, no tem significado escrever
). Como exerccios
verificar as identidades seguintes:
( A B) 2 A2 2 A B B 2
( A B) 2 A2 2 A B B 2
Por definio, diremos que dois vetores A e B so perpendiculares (ou diremos
A B 0
tambm ortogonais) se
.Por enquanto, no muito claro que no plano esta
definio coincide com a nossa intuio geomtrica de perpendicularismo.Isto ser
posto em evidncia no pargrafo seguinte.

5. A norma de um vetor
A seguinte desigualdade denominada desigualdade de Schwarz, e
fundamental na teoria de vetores.
( A B ) 2 ( A A)( B B)
Teorema 1. Sejam A e B dois vetores. Ento,
Demonstrao. Sejam x B B e y A B. Ento pela PE 4, temos
0 ( xA yB) ( xA yB).
Desenvolvendo o membro direito desta desigualdade, obtemos
0 x 2 ( A A) 2 xy ( A B) y 2 ( B B)
.
Substituindo x e y por seus valores,
0 ( B B) 2 ( A A) 2( B B)( A B) 2 ( A
B)2 ( B B)
.
Se B = 0, ento a desigualdade do teorema bvia, sendo cada membro igual a zero.
B0
B B 0
B B
Se
, ento
e podemos dividir esta ltima expresso por
.Obtemos
assim
0 ( A A)( B B) ( A B) 2
.
2
( A B )
Transpondo o termo
para o outro lado da desigualdade, est concluida a
demonstrao.
A
Definimos a norma, ou comprimento, de um vetor A, e o indicamos por
,
como sendo o nmero

A A A
.
A 0

A A 0

Sendo
, podemos extrair a raiz quadrada. Alm disso, observamos que
A0
se
.
Em termos de coordenadas, vemos que

A a12 ... an2

,
E portanto, quando n = 2 ou n = 3, isto coincide com nosso conceito intuitivo
(decorrente do teorema de Pitgoras) de comprimento.
Pela nossa definio, podemos re-escrever a desigualdade do Teorema 1 sob a
forma
( A B) A B
,
Onde foi extrada a raiz quadrada de ambos os membros. Ns vamos us-las sob esta
forma para demonstrar o seguinte teorema.
Teorema 2. Sejam A e B dois vetores. Ento
A B A B
Demonstrao. Ambos os membros desta desigualdade so positivos ou nulos.
Logo basta mostrar que seus quadrados satisfazem desigualdade desejada, em outras
palavras,
( A B) ( A B ) ( A B ) 2
.
Para tanto, consideremos
( A B) ( A B) A A 2 A B B B
.
Em virtude do nosso resultado anterior, isto satisfaz desigualdade
2
2
A 2 A B B
,
E o membro direito no seno
( A B )2 .
Est demonstrado o Teorema.
O Teorema 2 denominado a desigualdade triangular.
Teorema 3. Se x um nmero, ento
xA x A
(Valor absoluto de x vezes comprimento de A).
Demonstrao. Por definio, temos
2
xA ( xA) ( xA)
Que igual a

x 2 ( A A)
Pelas propriedades do produto escalar. Extraindo agora a raiz quadrada ns obtemos o
que desejamos.
U 1
U
Diremos que um vetor
um vetor unitrio se
.Dado um vetor A
a A . Se a 0
qualquer, seja
, ento
1
A
a
um vetor unitrio, pois
1
1
A a 1
a
a

.
Diremos que dois vetores A e B (ambos no nulos) tm mesmo sentido se existir
c0
cA B
um nmero
tal que
. Conforme esta definio, vemos que o vetor

1
A
A

A0

um vetor unitrio, no sentido de A (contanto que

).
Diga-se de passagem que dois vetores A e B (ambos no nulos) tm sentidos
c0
cA B
opostos se existir um nmero
tal que
.
Sejam duas n-uplas A e B. Definimos a distncia que os separa como sendo
A B ( A B ) ( A B )
. Esta definio coincide com nossa intuio geomtrica
quando A e B so pontos do plano.
Podemos tambm justificar nossa definio de perpendicularismo. Dados A e B
no plano, a condio de que
A B A B

Coincide com a propriedade geomtrica de que A e B sejam perpendiculares.Esta

condio equivalente a

( A B) ( A B) ( A B) ( A B )
(ambos membros foram elevados ao quadrado) e expandindo, esta igualdade
equivalente a
A A 2 A B B B A
A 2A B B B
.
Aps cancelamentos, obtemos a condio equivalente
4 A B 0

A B 0

Ou

B0
Sejam dois vetores A e B, com
.Suponhamos que possvel achar um
A cB
nmero c tal que
seja perpendicular a B, ou em outras palavras,
( A cB ) B 0
.
Obtemos ento

A B cB B

E portanto

A B
B B

Desta forma o nmero c determinado de modo nico pela nossa condio de

perpendicularismo. Reciprocamente, para este nmero c, temos evidentemente

( A cB) B 0
Definimos cB como sendo a projeo de A sobre B. Se B for um vetor unitrio,
ento temos simplesmente:

c A B
A nossa construo tem uma interpretao imediata no plano, o que nos permite dar
A0
uma interpretao geomtrica do produto escalar. A saber, suponhamos
e
observemos o ngulo

entre A e B. Ento da geometria plana, vemos que

cos

c B
A

,
ou substituindo c pelo valor obtido anteriormente,
A B A B cos

Por virtude do Teorema 1, sabemos que n-espao, o nmero

A B
A B
Tem valor absoluto

. Conseqentemente,

A B
1
A B
,

E existe um nico ngulo

tal que

cos

e tal que

A B
A B

Definimos este ngulo como sendo o ngulo entre A e B.

5. Retas e planos
Definimos a equao paramtrica de uma reta passando por um ponto P, na
A0
direo de um vetor
, como sendo

X P tA

onde t percorre o conjunto dos nmeros reais.

Suponhamos que estamos trabalhando no plano, e representemos as coordenadas
P ( p, q ) e A ( a , b )
de um ponto X por (x, y). Sejam
.Ento, em termos das
coordenadas, podemos escrever

x p ta

y p tb

,
.
Podemos eliminar t e obter a equao habitual que relaciona x e y.
P (2,1) e A (1,5)
Por exemplo, sejam
.Ento a equao paramtrica da reta
passando por P e na direo de A nos fornece

x 2 t,

y 1 5t.

Multiplicando a primeira equao por 5 e somando, obtemos

5 x y 11
O que nos familiar.
Num espao de dimenso superior, no possvel eliminar t deste modo, e
portanto a equao paramtrica a nica disponvel para descrever uma reta.
No entanto, podemos descrever planos por uma nica equao, anloga que
descreve uma reta no plano.Procedemos da maneira seguinte:

Sejam P um ponto e N um vetor

.Definimos o hiperplano passando por P,

X P
perpendicular a N como sendo o conjunto de todos os pontos X tais que

perpendicular a N ; assim sendo:

( X P ) N 0
,
o que tambm pode ser escrito sob a forma

X N P N

.
Em vez de dizer que N perpendicular ao plano, tambm podemos dizer que N
normal ao plano.
0
Seja t um nmero
. Ento o conjunto dos pontos X tais que

( X P ) N 0
Coincide com o conjunto dos pontos X tais que

( X P ) tN 0
.
Logo, podemos dizer que nosso plano o plano passando por P e perpendicular reta
na direo de N. Para achar a equao do plano, podemos empregar qualquer vetor tN
t0
(com
) em vez de N.
P (2,1, 1)
No 3-espao, obtemos um plano comum. Por exemplo, sejam
e
N (1,1,3)
.Ento a equao do plano passando por P e perpendicular a N

x y 3 z 2 1 3
x y 3 z 4
ou
Observemos que no 2-espao, com X = (x, y), o resultado obtido a equao da
(4, 3)
reta no sentido usual. Por exemplo, a equao da reta passando por
e
(5, 2)
perpendicular a

5 x 2 y 20 6 26
(5, 2)
Estamos agora capacitados a interpretar os coeficientes
de x e y nesta
equao.Eles representam um vetor perpendicular reta. Numa equao qualquer,

ax by c
( a, b )
O vetor

perpendicular reta determinada pela equao. De modo anlogo, no 3(a, b, c)

espao o vetor
perpendicular ao plano determinado pela equao

ax by cz d
c0

Diz-se que dois vetores A e B so paralelos se existir um nmero

tal que
P
e
Q
cA B
1
1
. Duas retas so ditas paralelas se, dados dois pontos distintos
da
P2 e Q2
primeira reta e
da segunda, os vetores

P1 +P1

P2 Q2

forem paralelos.
Diz-se que dois planos so paralelos( no 3-espao) se seus vetores normais
forem paralelos.Eles so perpendiculares se seus vetores normais forem
perpendiculares. Defini-se o ngulo de dois planos como sendo o ngulo entre seus
vetores normais.
Exemplo. Calcular o cosseno do ngulo entre os planos
2x y z 0
x 2y z 1

(2, 1,1) e (1, 2, 1)

Este cosseno o cosseno do ngulo entre
1
a 6

, e , portanto, igual