a

Aula

2011.10.12

AL

LEGM ; M EC

Apontamentos

(R ic a r d o .C o u tin h o @ m a th .ist.u tl.p t)

5.1

Espaos vectoriais

Um conjunto V no vazio diz-se um espao vectorial (ou espao linear) sobre K = R ou

C, se estiver munido de duas operaes, uma entre elementos de V a que chamaremos soma
e outra entre elementos de K e elementos de V a que chamaremos produto por escalares1 ,
+ : u, v V u + v,

. : K, v V .v,

verificando as seguintes propriedades axiomticas:

1. Fecho da adio: u, v V,

u+v V .

2. Associatividade da soma: u, v, w V,
3. Comutatividade da soma: u, v V,

(u + v) + w = u + (v + w) .
u+v =v+u .

4. Existncia de elemento neutro ou zero: 0 V

5. Existncia de elemento simtrico : u V

u V,

u V,

6. Fecho da multiplicao por um escalar: u V , K,

0+u=u .

u + u = 0 .
u V .

7. Distributividade do produto por escalares em relao soma em V :

u, v E, K,

(u + v) = u + v .

8. Distributividade do produto por escalar em relao adio em K:

, K, u V,

( + ) u = u + u .

9. Associatividade entre o produto por escalar e a multiplicao em K:

, K, u V,

(u) = () u., K .

10. A unidade de K como elemento neutro do produto por escalares: u V, 1.u = u .

Muitas outras propriedades decorrem destas. Em particular a propriedade 3 (da comutatividade) pode ser usada em conjuno com as propriedades 4 e 5 para obter as relaes
u + 0 = u e u + (u) = 0. Nas seguintes proposies indicaremos algumas que so teis de
reter.
Proposio 5.1 Dado um espao vectorial V e u, v V tais que v + u = v, ento u o
elemento neutro 0 indicado na propriedade 5 acima. Em particular o elemento neutro da
adio num espao vectorial V nico.
1

Na multiplicao de v V por um escalar K a colocao de um ponto opcional, isto v .v .

5 a AULA 2011.10.12

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

Demonstrao. Se v + u = v, somando a esta igualdade o simtrico v de v (que existe

pela propriedade 5 ) temos, pelas propriedades 2, 5 e 4,
v + (v + u) = v + v (v + v) + u = 0 0 + u = 0 u = 0 .

Proposio 5.2 Se V um espao vectorial sobre K e 0 o elemento neutro da adio em

K, ento para qualquer v V temos
0.v = 0 ,
onde 0 o elemento neutro da adio em V .
Demonstrao. Pelos axiomas 10 e 8 temos
0.v + v = 0.v+1.v = (0+1) .v = 1.v = v .
Ento pela Proposio 5.1 vem 0.v = 0 .
Proposio 5.3 Num espao vectorial o simtrico de cada elemento nico
Demonstrao. Se v e u so elementos simtricos de v V , ento pelo axioma 5, 2, 3 e
4,
u + v = v + v u + v+ (v) = v + v+ (v) u + 0 = (v) + 0 u = v .

Proposio 5.4 Se V um espao vectorial sobre K e 1 o simtrico do elemento neutro

da multiplicao em K, ento para qualquer v V temos
(1) .v = v ,
onde v o simtrico de v.
Demonstrao. Pelos axiomas 10 e 8 e pela Proposio 5.2
(1) .v + v = (1) .v+1.v = (1+1) .v = 0.v = 0.
Ento como o simtrico de cada elemento nico conclumos (1) .v = v .
Um espao vectorial sobre R diz-se um espao vectorial real, e um espao vectorial sobre C
diz-se um espao vectorial complexo. Os elementos de um espao vectorial so genericamente
designados por vectores.
Daremos a seguir vrios exemplos de espaos vectoriais. A verificao de que as somas e
produtos por escalares indicados satisfazem as propriedades acima imediata e fica como
exerccio.
Os primeiros dois exemplos so bem nossos conhecidos do ensino secundrio. Tm uma
interpretao geomtrica conhecida. So os vectores (ou pontos) do plano e do espao tridimensional respectivamente.

5 a AULA 2011.10.12

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

Exemplo 5.1 R2 = {(x1 , x2 ) : x1 , x2 R} um espao vectorial sobre R quando munido da

soma vectorial (lei do paralelogramo) (x1 , x2 )+(y1 , y2 ) = (x1 + y1 , x2 + y2 ) e da multiplicao
por escalares: (x1 , x2 ) = (x1 , x2 ).
Exemplo 5.2 R3 = {(x1 , x2 , x3 ) : x1 , x2 , x3 R} um espao vectorial sobre R quando munido da soma vectorial (lei do paralelogramo)
(x1 , x2 , x3 ) + (y1 , y2 , y3 ) = (x1 + y1 , x2 + y2 , x3 + y3 ) e da multiplicao por escalares:
(x1 , x2 , x3 ) = (x1 , x2 , x3 ).
Exemplo 5.3 R4 = {(x1 , x2 , x3 , x4 ) : x1 , x2 , x3 , x4 R}
um espao vectorial sobre R quando munido da soma vectorial
(x1 , x2 , x3 , x4 ) + (y1 , y2 , y3 , y4 ) = (x1 + y1 , x2 + y2 , x3 + y3 , x4 + y4 ), e da multiplicao por
escalares: (x1 , x2 , x3 , x4 ) = (x1 , x2 , x3 , x4 ).
Neste ltimo exemplo perde-se a visualizao geomtrica. Contudo conceitos geomtricos
como o de recta so facilmente generalizveis. Por exemplo o conjunto {(t, 3t) : t R} representa uma recta de R2 com a direco do vector (1, 3) tal como o conjunto {(t, 3t, 6t) : t R}
representa uma recta de R3 com a direco do vector (1, 3, 6); do mesmo modo diremos
que o conjunto {(t, 3t, 6t, 2t) : t R} representa uma recta de R4 com a direco do vector
(1, 3, 6, 2).
Estes ltimos exemplos podem ser includos no seguinte exemplo geral.
Exemplo 5.4 Rn = {(x1 , x2 , . . . , xn ) : x1 , x2 , . . . , xn R} um espao vectorial sobre R
quando munido da soma vectorial
(x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 + y1 , x2 + y2 , . . . , xn + yn ) ,
e da multiplicao por escalares:
(x1 , x2 , . . . , xn ) = (x1 , x2 , . . . , xn ) .
Exemplo 5.5 Cn = {(z1 , ..., zn ) : z1 , ..., zn C} munido de soma e de produto por escalar
anlogos aos definidos para Rn , constitui um espao vectorial sobre R.
Mas do mesmo modo Cn tambm constitui um espao vectorial sobre C se tomarmos os
nmeros complexos para o corpo do escalares. Portanto ao trabalharmos em Cn devemos
referir com qual corpo de escalares que estamos a considerar.
Exemplo 5.6 O conjuntos das sucesses reais RN um espao vectorial real quando munido
das regras habituais de soma e multiplicao de sucesses:
{un }nN + {vn }nN = {un + vn }nN e {un }nN = {un }nN .

1 
Por exemplo se u = 1+n
e v = {n2 }nN , ento
nN
u+v =

n3 + n2 + 1
1+n

e 2u =
nN

2
1+n

nN

5 a AULA 2011.10.12

AL

LEGM; MEC

APONTAMENTOS

(RICARDO.COUTINHO@MATH.IST.UTL.PT)

Exemplo 5.7 Seja F (R) o conjunto de todas as funes reais tendo como domnio R. Consideremos a soma de duas funes f1 e f2 como sendo a funo f1 + f2 dada por
(f1 + f2 ) (t) = f1 (t) + f2 (t) ,

t R,

e o produto de um escalar real por uma funo f como sendo a funo f tal que
(f) (t) = f (t) ,

t R.

Munido destas operaes F (R) constitui um espao vectorial sobre R. O vector nulo de F (R)
a funo constante igual a zero.
Exemplo 5.8 Tambm o conjunto de todos os polinmios de coeficientes reais, independentemente do seu grau,
P (R) = {a0 + a1 t + ... + an tn : n N, a0 , a1 , ..., an R} ,
constitui um subespao vectorial sobre R quando munido das operaes de F (R) .
Exemplo 5.9 O conjunto dos polinmios de coeficientes reais com grau n no um espao
vectorial porque a soma de dois polinmios de grau n no tem de ser um polinmio de grau
n. Por exemplo a soma dos seguintes polinmios de grau 2 no um polinmio de grau 2;
 

2
t 2t + 1 + t2 + 3t + 2 = t + 3.

Exemplo 5.10 O conjunto dos polinmios de coeficientes reais com grau no superior a n,
Pn (R) = {a0 + a1 t + ... + an tn : a0 , a1 , ..., an R}
munido das operaes de F (R) constitui um espao vectorial sobre R.

Exemplo 5.11 Designemos por Mmn (R) o conjunto de todas as matrizes mn de entradas
reais. Munido da soma de matrizes e do produto de um escalar real por uma matriz, obtemos
um espao vectorial sobre R.
Exemplo 5.12 Mmn (C) , conjunto das matrizes m n de entradas complexas, munido
das mesmas operaes de soma de matrizes e de produto de um escalar complexo por uma
matriz, forma um espao vectorial sobre C.
Exemplo 5.13 R um espao vectorial real. Neste caso vectores e escalares confundem-se,
mas as propriedades para a soma e produto de nmeros reais mostram que a propriedades
de definio de espao vectorial so satisfeitas. Este espao um caso particular do espao
Rn com n = 1.
Exemplo 5.14 Um conjunto com um s elemento {0} um espao vectorial (que pode ser
real ou complexo conforme a escolha dos escalares) desde que se defina que o produto por
um escalar sempre 0 (isto 0 = 0) e que vlida a relao 0 + 0 = 0 . Note-se que
a natureza do elemento 0 deste conjunto irrelevante, a sua representao por 0 advm do
facto de ser obviamente o elemento neutro do espao vectorial {0}. Por exemplo {(0, 0)}
e {(0, 0, 0, 0)} so exemplos de espaos vectoriais com um s elemento chamados espaos
vectoriais triviais.
Exemplo 5.15 Por definio o conjunto vazio no um espao vectorial. Note-se que
falha por exemplo a existncia de um elemento neutro (em no existem elementos).