Você está na página 1de 18

INTRODUO AO ESTUDO DA LGEBRA LINERAR

Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru

CAPTULO 2

ESPAOS VETORIAIS

1 Histrico

Sabe-se que, at pelo menos o final do sculo XIX, no havia nenhuma teoria ou conjunto de
regras bem definidas a que se pudesse dar o nome de lgebra Linear. Havia apenas certa
intuio por parte de alguns matemticos, especialmente nos sculos XVII e XVIII, que
perceberam que deveria existir alguma forma de conexo da lgebra com a Geometria.

O surgimento da lgebra Linear, como conhecida atualmente, teve grande contribuio dos
matemticos Carl Friedrich Gauss (1777-1855), William Rowan Hamilton (1805-1865) e Arthur
Cayley (1821-1895), que perceberam que as operaes de adio (indicada por +) e de
multiplicao (indicada por .), ditas usuais, quando aplicadas a determinados conjuntos
numricos, no satisfaziam determinadas propriedades. Foi o consequente estudo dessas
operaes aplicadas aos vetores que culminou em uma srie de regras, que formaram as
bases da Anlise Vetorial, que, por sua vez, a base do que atualmente se conhece como
lgebra Linear.

2 Corpo

Definio: Um conjunto no vazio K, munido das operaes de adio (indicada por +) e de


multiplicao (indicada por .) um corpo em relao a estas operaes, se satisfaz os
seguintes axiomas:

(A ) em relao adio:

(A 1 ) quaisquer que sejam x e y em K, tem-se: x + y K

(isto significa que o conjunto K fechado em relao operao de adio)

(A 2 ) quaisquer que sejam x e y em K, tem-se: x + y = y + x

(propriedade comutativa)

(A 3 ) quaisquer que sejam x, y e z em K, tem-se: x + (y + z ) = (x + y ) + z

(propriedade associativa)

(A 4 ) para todo x em K, existe em K um elemento x* tal que: x + x* = x* + x = x

(existncia do elemento neutro)


INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
(A 5 ) para todo elemento x em K, existe em K um elemento x tal que x + x = x + x = x *
(existncia do elemento oposto ou simtrico)

(M) em relao multiplicao:

(M1 ) quaisquer que sejam x e y em K, tem-se: x y K

(isto significa que o conjunto K fechado em relao operao de multiplicao)

(M2 ) quaisquer que sejam x e y em K, tem-se: x y = y x

(propriedade comutativa)

(M3 ) quaisquer que sejam x, y e z em K, tem-se: x (y z ) = (x y ) z

(propriedade associativa)

(M4 ) para todo x em K, existe em K um elemento x tal que: x x = x x = x

(existncia do elemento neutro)

(M5 ) para todo elemento no nulo x em K, existe em K um elemento


~
x tal que
~ ~
x x = x x = x
(existncia do elemento inverso)

(D) propriedades distributivas da multiplicao em relao adio: para quaisquer x, y e z

em K, tem-se: x (y + z ) = x y + x z e (y + z ) x = y x + z x .

Observaes:

1) Para indicar o corpo K com as operaes nele definidas, usa-se a notao: (K ,+ ,) . Por abuso

de linguagem, comum falar-se apenas em corpo K.

2) possvel dar-se uma definio mais geral de corpo, sem exigir que a multiplicao seja
necessariamente comutativa. Nesse caso, a definio anterior d o conceito de corpo
comutativo.

Exemplos:

1) So corpos:

(a) ( ,+ ,) : conjunto dos nmeros reais, com as operaes usuais de adio e multiplicao.

Para demonstrar essa afirmao, preciso mostrar que se verificam os axiomas da definio
de corpo. Tem-se:
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
(A ) em relao adio:
(A 1 ) para quaisquer nmeros reais x e y que se considere, a soma x + y ainda um nmero

real. Logo, satisfeito o axioma do fechamento em relao operao de adio, isto :


quaisquer que sejam x e y em , tem-se que x + y ;

(A 2 ) dados dois nmeros reais quaisquer x e y, tem-se que x + y = y + x e, portanto,

satisfeito o axioma da comutatividade da operao de adio de nmeros reais;


(A 3 ) tomando-se nmeros reais x, y e z quaisquer, tem-se que x + (y + z ) = (x + y ) + z e,

portanto, a operao de adio associativa;


(A 4 ) preciso mostrar que, considerando-se qualquer nmero real x, existe um nmero real

x* tal que x + x* = x* + x = x . No caso da adio de nmeros reais, esse nmero x* o


nmero real 0 , pois: x + 0 = 0 + x = x . Assim, existe o elemento neutro para a operao de
adio de nmeros reais e esse elemento neutro o nmero real 0 ;
(A 5 ) para demonstrar que esse axioma verdadeiro, deve-se encontrar, para todo nmero

real x que se considere, um nmero real x tal que x + x = x + x = 0 (isto , somando-se x


com x , o resultado deve ser igual a 0 , que o elemento neutro da adio).
Dado um nmero real x, tem-se que: x + ( x ) = ( x ) + x = 0 , ou seja, para cada elemento x,

existe seu elemento oposto, que x ; conclui-se, assim, que verdadeiro esse axioma;

(M) em relao multiplicao:


(M1 ) para quaisquer nmeros reais x e y que se considere, o produto x y ainda um nmero

real. Logo, satisfeito o axioma do fechamento em relao operao de multiplicao, isto :


quaisquer que sejam x e y em , tem-se que x y ;

(M2 ) dados dois nmeros reais quaisquer x e y, tem-se que x y = y x e, portanto,

satisfeito o axioma da comutatividade da operao de multiplicao de nmeros reais;


(M3 ) tomando-se nmeros reais x, y e z quaisquer, tem-se que x (y z ) = (x y ) z ; assim, a

operao de adio associativa;


(M4 ) preciso mostrar que, considerando-se qualquer nmero real x, existe um nmero real

x tal que x x = x x = x .
No caso da multiplicao de nmeros reais, esse nmero x o nmero real 1 , pois:
x 1 = 1 x = x . Assim, existe o elemento neutro para a operao de multiplicao de nmeros
reais e esse elemento neutro o nmero real 1 ;
~
(M5 ) considerando-se um nmero real no nulo x, deve-se encontrar um nmero real x tal
~ ~ ~
que x x = x x = 1 (isto , multiplicando-se x por x , o resultado deve ser igual a 1 , que o
elemento neutro da multiplicao).
1 1
Dado um nmero real x 0 , tem-se que: x = x = 1 , ou seja, para cada elemento no
x x
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
1
nulo x, existe seu elemento inverso, que ; conclui-se, assim, que verdadeiro esse
x

axioma. Esse elemento tambm pode ser indicado por x 1 ;

(D) considerando-se nmeros reais quaisquer x, y e z, tem-se:


x (y + z ) = x y + x z e (y + z ) x = y x + z x .

Assim, valem as propriedades distributivas da multiplicao em relao adio de nmeros


reais. Logo, o conjunto dos nmeros reais, com as operaes usuais de adio e multiplicao,
um corpo.

(b) (C ,+ ,) : conjunto dos nmeros complexos, com as operaes usuais de adio e

multiplicao.

(c) (Q ,+ ,) : conjunto dos nmeros racionais, com as operaes usuais de adio e

multiplicao.

Observao: com procedimento anlogo ao do item (a), possvel mostrar que (C ,+ ,) e (Q ,+ ,)

so corpos.

2) No so corpos:

(a) ( ,+ ,) : conjunto dos nmeros inteiros, com as operaes usuais de adio e multiplicao.

De fato, sabe-se que o elemento neutro da multiplicao para o conjunto 1, pois, para
todo nmero inteiro z, tem-se: z 1 = 1 z = z . Observe-se que, neste conjunto, no
satisfeito o axioma (M5 ) , pois, qualquer que seja o nmero inteiro z, com z 0 e z 1 , no
~ ~ ~
existe em um elemento z tal que z z = z z = 1 , ou seja, no existe o elemento inverso

~ 1
de z ( evidente que, para que este axioma fosse verdadeiro, se deveria ter z = , pois:
z
1 1 1
z = z = 1 ; entretanto, qualquer que seja z 0 e z 1 , no pertence a ).
z z z

(b) ( ,+ ,) : conjunto dos nmeros naturais, com as operaes usuais de adio e

multiplicao.

De modo anlogo ao que se descreveu no item (a) deste exemplo, o axioma (M5 ) no

satisfeito, pois, para todo nmero natural n, sendo n 0 e n 1 , no existe em um


~ ~ ~
elemento n tal que n n = n n = 1 , ou seja, no existe o elemento inverso de n (dever-se-ia

~ 1
ter n = , que no pertence ao conjunto ). Da mesma forma, no verdadeiro, para a
n
operao de adio, o axioma (A 5 ) , pois, qualquer que seja o nmero natural no nulo n que
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
se considere, no existe em um elemento n tal que n + n = n + n = 0 , onde 0 o
elemento neutro da operao de adio de nmeros naturais. Isto significa que no existe o
elemento oposto (ou simtrico) de n (observe-se que, para que se some n com n e se
encontre como resultado o elemento neutro 0, deve-se ter n = n , que no pertence ao
conjunto dos nmeros naturais).

3 Espao Vetorial

Definio: Um conjunto no vazio V, munido das operaes de adio (indicada por +) e de


multiplicao por escalar (indicada por ) um espao vetorial sobre um corpo K, se so
satisfeitos os seguintes axiomas:

(A ) em relao adio:

(A 1 ) quaisquer que sejam u e v em V, tem-se: u + v = v + u

(propriedade comutativa)

(A 2 ) quaisquer que sejam u, v e w em V, tem-se: u + (v + w ) = (u + v ) + w

(propriedade associativa)

(A 3 ) para todo u em V, existe em V um elemento u* tal que: u + u* = u* + u = u

(existncia do elemento neutro)

(A 4 ) para todo elemento u em V, existe em V um elemento u tal que u + u = u + u = u*

(existncia do elemento oposto ou simtrico)

(M) em relao multiplicao por escalar:

(M1 ) quaisquer que sejam e em K e qualquer que seja u em V, tem-se:

( u ) = ( ) u

(M2 ) quaisquer que sejam u e v em V e qualquer que seja em K, tem-se:

(u + v ) = u + v

(M3 ) para todo u em V e para quaisquer e em K, tem-se: ( + ) u = u + u

(M4 ) para todo elemento u em V, tem-se: 1 u = u

Observaes:

1) Dizer que o conjunto V um espao vetorial sobre um corpo K significa que os escalares
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
so tomados em K.

2) Para indicar o espao vetorial V sobre o corpo K, com as operaes definidas, usa-se a
notao: (V ,+ ,) .

3) Quando o corpo K sobre o qual se define o espao vetorial o conjunto dos nmeros
reais, o espao chamado espao vetorial real; quando o corpo considerado o conjunto C
dos nmeros complexos, o espao chama espao vetorial complexo. Salvo referncia
expressa em contrrio, sero considerados, nesse texto, espaos vetoriais reais.

4) Os elementos do espao vetorial V so chamados vetores, independentemente de sua


natureza. Pode parecer estranho o fato de se chamar de vetores os nmeros, quando V for
um conjunto numrico, as matrizes, quando V for um conjunto de matrizes, os polinmios,
quando V for um conjunto de polinmios e assim por diante. A justificativa est no fato de que
se efetuam as operaes de adio e multiplicao por escalar com esses elementos de

natureza to distinta de forma anloga que se opera com vetores do 2 (conjunto dos
pares ordenados de nmeros reais, cuja representao geomtrica o plano de coordenadas

cartesianas ortogonais) ou do 3 (conjunto das ternas ordenadas de nmeros reais, cuja


representao geomtrica o espao tridimensional de coordenadas cartesianas ortogonais).

preciso lembrar que, a todo ponto do 2 , associa-se um vetor, chamado vetor-posio, com
origem no ponto (0,0) e extremidade no ponto considerado, cujas coordenadas so as mesmas

do prprio ponto. Analogamente, a todo ponto 3 , associa-se um vetor, chamado vetor-


posio, com origem no ponto (0 ,0 ,0) e extremidade no ponto considerado, cujas coordenadas

so as mesmas do prprio ponto.

Exemplo: so espaos vetoriais:

(a) (Pn ( ),+ ,) : conjunto de todos os polinmios com coeficientes reais de grau menor ou igual

a n (incluindo o polinmio nulo), com as operaes usuais de adio de polinmio e


multiplicao por escalar.

(b) (Mmxn ( ),+ ,) : conjunto de todas as matrizes de dimenso m n , com elementos reais,

com as operaes usuais de adio de matrizes e multiplicao por escalar. Se m = n ,


escreve-se: (Mn ( ),+ ,) .

(c) (F ,+ ,) : conjunto de todas as funes reais de uma varivel real, com as operaes de

adio e multiplicao por escalar assim definidas:

(f + g )(x ) = f (x ) + g (x ) , quaisquer que sejam as funes f e g em F (e para todo x em ).


INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
(f )(x ) = f (x ) , quaisquer que sejam f em F e em (e para todo x em ).

3.1 Propriedades dos espaos vetoriais

Seja V um espao vetorial sobre um corpo K. possvel demonstrar as afirmaes que se


seguem.

a) Existe um nico vetor nulo em V, denotado por 0 (que o elemento neutro da adio).

b) Cada vetor v V admite apenas um simtrico ( v ) V .

c) Qualquer que seja v V , tem-se: 0 v = 0 .


Naturalmente, o primeiro zero que aparece nessa expresso o nmero real zero e o segundo,
o vetor nulo 0 V .

d) Qualquer que seja K , tem-se: 0 = 0 .


Neste caso, o zero do primeiro membro desta equao o mesmo do segundo membro e o
vetor nulo de V.

e) Para quaisquer u , v , w V , se u + w = v + w , ento u = v (esta a chamada lei do

cancelamento).

f) Qualquer que seja v V , tem-se: ( v ) = v , isto , o oposto de v v.

g) Qualquer que seja v V , tem-se: ( 1) v = v .

h) v = 0 implica = 0 ou v = 0 .

i) Se v = 0 e 0 , ento v = 0 .

j) Quaisquer que sejam v V e , tem-se: ( ) v = ( v ) = ( v ) .

k) Quaisquer que sejam u , v V , existe um, e somente um, x V tal que: u + x = v .

Esse vetor x ser representado por: x = v u .

3.2 O Espao Vetorial n

O conjunto de todas as n-uplas de nmeros reais, isto , o conjunto

n = {(x1 , x 2 , L , x n ) / x1 , x 2 , L , x n } , munido das operaes de adio vetorial e

multiplicao por escalar, definidas por:

adio vetorial: para quaisquer elementos (x1 , x2 ,L , xn ) e (y1 , y 2 , L , y n ) em n , tem-se:


INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
(x1 , x2 , L , x n ) + (y1 , y 2 , L , y n ) = (x1 + y1 , x 2 + y 2 , L , x n + y n )
multiplicao por escalar: para qualquer (x1 , x2 ,L , xn ) em n e qualquer nmero real ,

tem-se:
(x1 , x 2 , L , x n ) = (x1 , x 2 , L , x n ) ,

um espao vetorial sobre o corpo dos nmeros reais.

usual identificar uma n-upla de n com um vetor n-dimensional e escrever:


u = (x1 , x 2 , L , x n ) .

Exemplos:

1) No espao vetorial n considerado acima, seja n = 2 , isto , considere-se o conjunto dos


pares ordenados de nmeros reais:

2 = {(x1 , x 2 ) / x1 , x 2 },

que, comumente, escrito na forma

2 = {(x , y ) / x , y } .

Mostrar-se- que este espao, com as operaes:


adio vetorial, ou seja, adio usual de pares ordenados de nmeros reais, definida por:
(x1 , y1 ) + (x 2 , y 2 ) = (x1 + x 2 , y1 + y 2 ) ;

multiplicao por escalar, definida por: (x , y ) = ( x , y ) , onde ,

um espao vetorial sobre o corpo dos nmeros reais.


preciso mostrar que so vlidos os axiomas da definio de espao vetorial sobre um corpo
K. Neste exemplo, tem-se que K = .
(A ) Em relao adio:
r r
(A 1 )
tomando-se dois vetores quaisquer u1 = (x1 , y1 ) e u2 = (x 2 , y 2 ) em 2 , tem-se:
r r
u1 + u2 = (x1 , y1 ) + (x 2 , y 2 ) = (x1 + x 2 , y1 + y 2 ) ;

uma vez que os elementos dos pares ordenados so nmeros reais e a adio de nmeros
reais comutativa, segue-se que:
r r
(x1 + x 2 , y1 + y 2 ) = (x 2 + x1 , y 2 + y1 ) = (x 2 , y 2 ) + (x1 , y1 ) = u2 + u1 .
r r r r
Portanto, u1 + u2 = u2 + u1 e conclui-se que a operao de adio satisfaz a propriedade

comutativa;
r r r
(A 2 )sejam u1 = (x1 , y1 ) , u2 = (x 2 , y 2 ) e u3 = (x 3 , y 3 ) em 2 ; tem-se:
r r r
u1 + (u2 + u3 ) = (x1 , y1 ) + [(x 2 , y 2 ) + (x 3 , y 3 )] = (x1 , y1 ) + (x 2 + x 3 , y 2 + y 3 ) =

= (x1 + (x 2 + x 3 ), y1 + (y 2 + y 3 )) .

Sendo a adio de nmeros reais associativa, pode-se escrever:


(x1 + (x 2 + x 3 ), y1 + (y 2 + y 3 )) = ((x1 + x 2 ) + x 3 , (y1 + y 2 ) + y 3 ) =
r r r
= (x1 + x 2 , y1 + y 2 ) + (x 3 , y 3 ) = [(x1 , y1 ) + (x 2 , y 2 )] + (x 3 , y 3 ) = (u1 + u2 ) + u3
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
r r r r r r
Portanto, u1 + (u2 + u3 ) = (u1 + u2 ) + u3 ; logo, a adio vetorial associativa;
r
(A 3 ) seja u = (x , y ) um elemento qualquer de 2 . preciso mostrar existe um elemento
r
( ) r r r r r
u = x , y em 2 tal que u + u = u + u = u , ou seja, preciso mostrar que existe em 2

um elemento neutro para a operao de adio de vetores.


Uma vez que o nmero real 0 o elemento neutro da adio de nmeros reais, natural que
r
o vetor 0 = (0 ,0) seja o elemento neutro da adio vetorial. De fato, tem-se:
r r r
u + 0 = (x , y ) + (0 ,0) = (x + 0 , y + 0) = (x , y ) = u

e
r r r
0 + u = (0 ,0) + (x , y ) = (0 + x ,0 + y ) = (x , y ) = u .

Logo,
r r r r r
u+0 =0+u =u
r
e, portanto, o vetor nulo 0 = (0 ,0) o elemento neutro da adio vetorial;
r r
(A 4 )
seja u = (x , y ) um elemento de 2 . preciso mostrar existe um elemento u = (x , y )
r r r r r r
em 2 tal que u + u = u + u = 0 , onde 0 = (0 ,0) o elemento neutro da adio de vetores.

Uma vez que os elementos x e y do par ordenado so nmeros reais, existem seus elementos
r
opostos x e y . Assim, pode-se considerar o vetor ( x ,y ) , que ser indicado por u .

Tem-se, ento:
r r
u + ( u ) = (x , y ) + ( x ,y ) = (x + ( x ), y + ( y )) = (0 ,0) = 0 ;
r r
analogamente, mostra-se que ( u ) + u = 0 .

Portanto, todo elemento do 2 admite um elemento oposto ou simtrico.


(M) Em relao multiplicao por escalar:
r
(M1 ) considerem-se dois nmeros reais e e um elemento u = (x , y ) em 2 . Tem-se:
r
( u ) = [ (x , y )] = ( x , y ) = ( ( x ), ( y )) =
r
= (( ) x , ( ) y ) = ( ) (x , y ) = ( ) u
r r
(M2 ) sejam u1 = (x1 , y1 ) e u2 = (x 2 , y 2 ) em 2 e um nmero real ; tem-se:
r r
(u1 + u2 ) = [(x1 , y1 ) + (x 2 , y 2 )] = (x1 + x 2 , y 2 + y 2 ) =
= ( (x1 + x 2 ), (y1 + y 2 )) = ( x1 + x 2 , y1 + y 2 ) =
r r
= ( x1 , y1 ) + ( x 2 , y 2 ) = (x1 , y1 ) + (x 2 , y 2 ) = u1 + u2
r r r r
Portanto, (u1 + u2 ) = u1 + u2 ;
r
(M3 ) sejam u = (x , y ) um elemento de 2 e dois nmeros reais e . Tem-se:
r
( + ) u = ( + ) (x , y ) = (( + ) x , ( + ) y ) = ( x + x, y + y ) =
r r
= ( x , y ) + ( x , y ) = (x , y ) + (x , y ) = u + u
r r r
Portanto, ( + ) u = u + u ;
r
(M4 ) considere-se um elemento u = (x , y ) do 2 . O nmero real 1 o elemento neutro da
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
multiplicao de nmeros reais e, portanto, tem-se:
r r
1 u = 1 (x , y ) = (1 x ,1 y ) = (x , y ) = u .
v r
Logo, 1 u = u .

2) Considere-se novamente o conjunto dos pares ordenados de nmeros reais:

2 = {(x , y ) / x , y } . Considerando-se as operaes e , definidas por:


r r r r v v
u1 u2 = u1 u2 ; ou seja, se u1 = (x1 , y1 ) e u2 = (x 2 , y 2 ) , ento:
r r
u1 u2 = (x1 , y1 ) (x 2 , y 2 ) = (x1 , y1 ) (x 2 , y 2 ) = (x1 x 2 , y1 y 2 ) ;
r r v
u = u ; ou seja, se u = (x , y ) e , ento:
r r
u = u = (x , y ) = ( x ,y ) .

Mostrar-se- que este conjunto, com as operaes definidas acima, no um espao vetorial
sobre . Para isso, deve-se mostrar que pelo menos um dos axiomas da definio de espao
vetorial sobre um corpo K no satisfeito.
Por exemplo, o axioma (A 1 ) no satisfeito, isto , a operao no comutativa, pois,
v v
tomando-se dois elementos quaisquer u1 = (x1 , y1 ) e u2 = (x 2 , y 2 ) em 2 , tem-se:
r r
u1 u2 = (x1 , y1 ) (x 2 , y 2 ) = (x1 , y1 ) (x 2 , y 2 ) = (x1 x 2 , y1 y 2 ) ;

por outro lado, tem-se:


r r
u2 u1 = (x 2 , y 2 ) (x1 , y1 ) = (x 2 , y 2 ) (x1 , y1 ) = (x 2 x1 , y 2 y1 ) .
r r r r
( )
V-se, assim que u1 u2 u2 u1 . Portanto 2 , , no um espao vetorial sobre o

corpo dos nmeros reais.

Observao: os exemplos anteriores evidenciam que, para afirmar que um determinado


conjunto V um espao vetorial sobre um corpo K, preciso que estejam bem definidas em V
as operaes de adio e multiplicao por escalar.

4 Subespao Vetorial

Definio: Seja V um espao vetorial sobre um corpo K, com as operaes de adio e


multiplicao por escalar. Um subconjunto W V um subespao vetorial de V se:

(a) 0 W , ou seja, o elemento nulo do espao V pertence a W;

(b) para quaisquer elementos w1 e w2 em W, tem-se que w1 + w2 W , ou seja, W fechado

em relao operao de adio;

(c) para qualquer w em W e para qualquer escalar em K, tem-se que w W , ou seja, W


fechado em relao operao de multiplicao por escalar.
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
claro que, se W um subespao vetorial de V, o qual, por sua vez, um espao vetorial
sobre o corpo K (com as operaes de adio e multiplicao por escalar), ento o prprio W,
por si s, tambm um espao vetorial sobre o corpo K (com as mesmas operaes definidas
em V).

Exemplos:

1) Seja V um espao vetorial sobre um corpo K. So considerados subespaos vetoriais triviais


de V:

(a) W = V , isto , o espao vetorial V um subespao vetorial de si prprio.

(b) W = {0} , ou seja, o espao nulo, que contm como nico elemento o vetor nulo, um

subespao vetorial de V.

2) Mostrar que o conjunto dos pontos do 2 que pertencem a uma reta que passa pelo ponto

(0,0) um subespao vetorial do 2 , o qual um espao vetorial sobre o corpo dos

nmeros reais.

Seja W o conjunto dos pares ordenados que pertencem a uma reta que passa pelo ponto (0,0) ,

ou seja:

{
W = (x , y ) 2 / y = mx , com m 0 . }
Ento, todo vetor de W se escreve na forma (x , mx ) . Assim, pode-se escrever:

W = {(x , mx ) , x , com m 0 }.

Verificar-se- se os axiomas da definio de espao vetorial so satisfeitos para o conjunto W.

(a) O elemento nulo do espao vetorial 2 o par ordenado (0,0) . claro que este tambm

um elemento de W, pois este o conjunto dos pontos de uma reta que passa pela origem.
Portanto, (0 ,0) W e o primeiro axioma est satisfeito.

(b) Considerem-se dois elementos w1 e w2 em W; ento, tem-se:

w1 = (x1 , mx1 ) e w 2 = (x 2 , mx 2 )

ento:
w1 + w 2 = (x1 + x 2 , mx1 + mx 2 ) = (x1 + x 2 , m(x1 + x 2 )) ,

de onde se segue que w1 + w2 W , isto , W fechado em relao operao de adio.

(c) Sejam: w = (x , mx ) um elemento de W e um nmero real. Ento:

w = (x , (mx )) = (x , m(x ))
e, portanto, w W , o que mostra que W fechado em relao operao de multiplicao
por escalar.

Conclui-se, assim, que W um subespao vetorial do 2 .


INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
3) Mostrar que o conjunto das ternas ordenadas de nmeros reais que pertencem a um plano

que contm o ponto (0,0,0) um subespao vetorial do 3 .

Sabe-se que a equao geral do plano dada por: ax + by + cz + d = 0 , onde os coeficientes

a, b e c no se anulam ao mesmo tempo. Se o ponto (0,0,0) pertence ao plano, tem-se:

a 0 + b 0 + c 0 + d = 0 e, portanto, d = 0 . Assim, a equao fica ax + by + cz = 0 . Seja W o

conjunto das ternas ordenadas do 3 que pertencem a este plano, ou seja:

{
W = (x , y , z ) 3 / ax + by + cz = 0 . }
Supondo-se, por exemplo, que o coeficiente a no nulo e escrevendo-se a coordenada x em
funo das outras duas, tem-se:
by + cz
x = ;
a

by + cz
ento, todo vetor de W pode ser escrito na forma: ,y, z .
a
Verificar-se- se os axiomas da definio de espao vetorial so satisfeitos para o conjunto W.

(a) O elemento nulo do espao vetorial 3 a terna ordenada (0,0,0) , que tambm um

elemento de W, j que este o conjunto dos pontos do plano que passa pela origem. Portanto,
(0 ,0 ,0) W e o primeiro axioma est satisfeito.

(b) Sejam w1 e w 2 dois elementos de W; ento, tem-se:

by1 cz1 by 2 cz 2
w 2 = , y1 , z1 e w 2 = , y 2 , z 2
a a
e vem:
by1 cz1 by 2 cz 2
w1 + w 2 = + , y1 + y 2 , z1 + z 2 =
a a

b(y1 + y 2 ) c (z1 + z 2 )
= , y1 + y 2 , z1 + z 2 ,
a
de onde se segue que w1 + w2 W , isto , W fechado em relao operao de adio.

by + cz
(c) Sejam: w = , y , z um elemento de W e um nmero real. Ento:
a

by + cz b(y ) + c (z )
w = , y , z = , y , z
a a

e, portanto, w W , o que mostra que W fechado em relao operao de multiplicao


por escalar.

Conclui-se, assim, que W um subespao vetorial do 2 .

4) Seja (M n (),+ ,) o espao vetorial real das matrizes quadradas de ordem n, com as

operaes usuais de adio de matrizes e multiplicao por escalar. Mostrar que o subconjunto
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
{
S = A M n ( ) / A t = A }
um subespao vetorial de Mn ( ) .

Mostrar-se- que os axiomas da definio de espao vetorial so satisfeitos para o conjunto S.


(a) O elemento nulo do espao vetorial real (M n ( ),+ ,) a matriz nula de ordem n:

0 0 0 L 0

0 0 0 L 0
0 = 0 0 0 L 0 .

M M M L M

0 0 0 L 0 nxn

Uma vez que 0 t = 0 , conclui-se que 0 S e o primeiro axioma est satisfeito.


(b) Deve-se mostrar que S fechado em relao operao de adio. De fato, considerando-
se dois elementos A e B de S, tem-se:

A S At = A ; B S B t = B .

Por propriedade de matriz transposta, tem-se:

(A + B )t = At + B t ;

ento, vem:

(A + B )t = A t + B t = A + B ( A + B )t = A + B

e conclui-se que A + B S . Logo, S fechado em relao operao de adio.


(c) preciso mostrar, agora, que S fechado em relao operao de multiplicao por
escalar, ou seja, preciso mostrar que, se A S e , ento A S . De fato, se A S ,

ento At = A . Assim, usando novamente uma das propriedades da matriz transposta, vem:

( A)t = (A ) = A ,
t

ou seja, A S .
Conclui-se, assim, que S um subespao vetorial do espao vetorial (M n ( ),+ ,) .

5) Seja (F ,+ ,) o conjunto de todas as funes reais de uma varivel real, com as operaes de

adio e multiplicao por escalar assim definidas:


(f + g )(x ) = f (x ) + g (x ) , quaisquer que sejam as funes f e g em F (e para todo x em ).

(f )(x ) = f (x ) , quaisquer que sejam f em F e em (e para todo x em ).


(F ,+ ,) um espao vetorial sobre o corpo dos nmeros reais.

Seja S o subconjunto de F, dado por:

{ ( )
S = f : / f x 2 = [f (x )]2 , x . }
Verificar se S um subespao vetorial de (F ,+ ,) .

Deve-se verificar se os axiomas da definio so satisfeitos.


(a) O elemento neutro de F a funo nula: 0 , ou seja, 0(x ) = 0 , x . Tem-se:

( )
0 x 2 = 0 e [0(x )] = 02 = 0 .
2
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
Logo,

( )
0 x 2 = [0(x )]2 , x ,

e, portanto, o elemento neutro 0 S .


(b) Sejam dois elementos f1 e f2 de S. Ento, para todo x , tem-se:

( ) ( )
f1 x 2 = [f1 (x )]2 e f2 x 2 = [f2 (x )]2 .

Ento:

(f1 ( ) ( ) ( )
+ f2 ) x 2 = f1 x 2 + f2 x 2 = [f1 (x )]2 + [f 2 (x )]2 .

Por outro lado, tem-se:

[f1 (x ) + f2 (x )]2 = [f1 (x )]2 + 2 f1 (x ) f2 (x ) + [f 2 (x )]2 .

Logo,

(f1 ( )
+ f 2 ) x 2 [f1 (x ) + f2 (x )]2 ,

ou seja, (f1 + f2 ) S .

Uma vez que este axioma no satisfeito, conclui-se que S no um subespao vetorial de F.

Proposio: Se W1 e W2 so subespaos de um espao vetorial V sobre um corpo K, ento:

(i) W1 + W2 subespao vetorial de V.

(ii) W1 W2 subespao vetorial de V.

(iii) W1 W2 no subespao vetorial de V.

Demonstrao:

(i) O conjunto W1 + W2 dado por:

W1 + W2 = {u = w1 + w2 / w1 W1 e w2 W2 } .

Para mostrar que W1 + W2 um subespao vetorial de V, preciso mostrar que satisfaz os

axiomas da definio. Tem-se:


(a) 0 W1 + W2 , pois, como W1 subespao vetorial de V, ento 0 W1 ; da mesma forma,

sendo W2 subespao vetorial de V, ento 0 W2 . Portanto, o elemento 0 = 0 + 0 um

elemento de W1 + W2 , ou seja, o elemento nulo de V pertence a W1 + W2 .

(b) Considerem-se dois elementos u e v de W1 + W2 ; ento:

u = w1 + w2 e v = w1 + w2 , onde w1 , w1 W1 e w2 , w2 W2 .

Ento:
u + v = (w1 + w2 ) + (w1 + w2 ) = (w1 + w1 ) + (w2 + w 2 ) .

Uma vez que W1 e W2 so subespaos vetoriais de V, segue-se que w1 + w1 W1 e

w2 + w2 W2 , de onde se conclui que u + v W1 + W2 , isto , W1 + W2 fechado em relao

operao de adio.
(c) Sejam u = w1 + w2 um elemento de W1 + W2 e . Ento:
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
u = (w1 + w 2 ) = w1 + w 2 .

Como W1 e W2 so subespaos vetoriais de V, tem-se que w1 W1 e w 2 W2 e, portanto,

u um elemento de W1 + W2 , de onde se segue que W1 + W2 fechado em relao

operao de multiplicao por escalar.


De (a), (b) e (c), conclui-se que W1 + W2 um subespao vetorial de V.

(ii) O conjunto W1 W2 dado por:

W1 W2 = {u / u W1 e u W2 } .

Mostrar-se- que so satisfeitos os axiomas da definio de subespao vetorial.


(a) Como W1 e W2 so subespaos vetoriais de V, ento 0 W1 e 0 W2 . Portanto,

0 W1 W2 .

(b) Sejam u e v dois elementos de W1 W2 . Ento, u W1 e u W2 , assim como v W1 e

v W2 . Sendo W1 e W2 subespaos vetoriais de V, segue-se que u + v W1 e u + v W2 .

Portanto, u + v W1 W2 .

(c) Sejam u um elemento de W1 W2 e . Ento, u W1 e u W2 e, portanto,

u W1 e u W 2 . Logo, u W1 W2 .

De (a), (b) e (c), conclui-se que W1 W2 um subespao vetorial de V.

(iii) O conjunto W1 W2 dado por:

W1 W2 = {u / u W1 ou u W2 } .

Mostrar-se- que W1 W2 no subespao vetorial de V exibindo-se um contra-exemplo.

Considere-se o espao vetorial 2 e dois subconjuntos deste espao:

{ } {
W1 = (x , y ) 2 / y = 0 = (x ,0) 2 / x }
e

{ } { }
W2 = (x , y ) 2 / x = 0 = (0 , y ) 2 / y .

A representao grfica de W1 o eixo Ox do plano cartesiano e de W2 , o eixo Oy. Assim,

W1 W2 o conjunto dos pares ordenados do 2 que pertencem ao eixo Ox ou ao eixo Oy.

Observe-se que W1 subespao vetorial de 2 , pois:

(a) o elemento nulo (0,0) 2 pertence a W1 , pois tem a segunda coordenada igual a zero.

(b) considerando-se dois elementos (x1 ,0) e (x 2 ,0) de W1 , sua soma tambm um elemento

de W1 , pois: (x1 ,0) + (x 2 ,0) = (x1 + x 2 ,0) .

(c) considerando-se um elemento (x ,0) de W1 e um nmero real ,tem-se:

(x ,0) = (x ,0) ,
que um elemento de W1 .
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
De modo anlogo, mostra-se que W2 um subespao vetorial de 2 . Entretanto, como se

ver a seguir, W1 W2 no um subespao vetorial de 2 , pois no fechado em relao

operao de adio. Para isso, considerem-se os pares ordenados (1,0) e (0,1) , os quais so

elementos de W1 W2 , pois (1,0) W1 e (0 ,1) W2 . Entretanto, tem-se:

(1,0) + (0,1) = (1,1) ,


que no um elemento de W1 , nem de W2 e, portanto, no pertence a W1 W2 . Conclui-se,

assim, que W1 W2 no um subespao vetorial do 2 .

Definio: Sejam W1 e W2 subespaos vetoriais de um espao vetorial V. Diz-se que o

espao V soma direta dos subespaos W1 e W2 , e denota-se por V = W1 W2 , se:

(i) V = W1 + W2

(ii) W1 W2 = {0}

Exemplos:

1) Mostrar que o espao vetorial 2 soma direta dos subespaos vetoriais

{ } {
W1 = (x , y ) 2 / y = 0 com W2 = (x , y ) 2 / x = 0 . }
Conforme se viu no item (iii) da proposio anterior, W1 e W2 so subespaos vetoriais de

2 , sendo sua representao grfica os eixos Ox e Oy do plano cartesiano, respectivamente.

(i) Mostrar-se- que 2 = W1 + W2 .

De fato, tomando-se um elemento qualquer (x , y ) 2 , pode-se escrever:

(x , y ) = (x ,0) + (0 , y ) ,
ou seja, todo elemento do 2 uma soma de um elemento de W1 com um elemento de W2

e, portanto, tem-se que 2 = W1 + W2 .

(ii) fcil ver que o nico par ordenado que pertence simultaneamente a W1 e a W2 (0,0) ,

que o elemento neutro de 2 . Assim, tem-se que W1 W2 = {(0 ,0)} .

De (i) e (ii), segue-se que 2 = W1 W2 .

2) Mostrar que toda funo real de uma varivel real soma direta de uma funo par com
uma funo mpar.
Considerem-se os conjuntos: F, das funes reais de uma varivel real; F1 , das funes reais

de uma varivel real que so pares; F2 , das funes reais de uma varivel real que so

mpares. Quer-se mostrar que F = F1 F2 .

Sabe-se que uma funo f dita par se satisfaz a relao f (x ) = f ( x ) , para todo ponto x de
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
seu domnio. Se for satisfeita a relao f (x ) = f ( x ) , para todo x do domnio de f, diz-se que f

mpar. claro que, para que seja possvel determinar se f par ou mpar, deve-se ter x
pertencente ao domnio da funo, para todo x de seu domnio.
(i) Mostrar-se- que F = F1 + F2 .

De fato, seja f um elemento de F; pode-se, a partir dela, obterem-se duas outras funes f1 e

f2 , escrevendo-se:

f (x ) + f ( x ) f (x ) f ( x )
f1 (x ) = e f2 (x ) = ,
2 2
para todo x do domnio de f tal que x tambm pertena ao domnio de f.
Observe-se que f1 par, pois:

f ( x ) + f ( ( x )) f ( x ) + f (x )
f1 ( x ) = = = f1 (x ) ;
2 2
analogamente, tem-se que f2 mpar:

f ( x ) f ( ( x )) f ( x ) f (x ) f (x ) f ( x )
f2 ( x ) = = = = f2 (x ) .
2 2 2
Portanto, f1 F1 e f2 F2 . Por outro lado, tem-se:

f (x ) + f ( x ) f (x ) f ( x )
f (x ) = + ,
2 2
ou seja,
f (x ) = f1 (x ) + f2 (x ) ,

de onde se conclui que F = F1 + F2 .

(ii) Por outro lado, a nica funo que , ao mesmo tempo, par e mpar, a funo nula 0,
que, a cada x real, associa o nmero real 0. Portanto, F1 F2 = {0} .

De (i) e (ii), segue-se que F = F1 F2 .

Exerccios Propostos:

1) Seja V = {v / v > 0} , com as operaes:

Adio: v1 v 2 = v1 v 2 , v1 , v 2 V

Multiplicao por escalar: v = v , v V e .

Mostrar que V, munido dessas operaes, um espao vetorial sobre o corpo dos nmeros
reais.

a b
2) Mostrar que o conjunto W = M2 ( ) / a + 2b = c d = 0 um subespao vetorial
c d

de M2 ( ) .
INTRODUO AO ESTUDO DA LGEBRA LINERAR
Luiz Francisco da Cruz Departamento de Matemtica Unesp/Bauru
{
3) Mostrar que o conjunto U = p(t ) = ao + a1t + a2 t 2 P2 ( ) / ao 2a1 = 0 } um subespao

vetorial de P2 ( ) .

4) Verificar quais dos conjuntos so subespaos vetoriais do espao vetorial n .

{
a) W = (x1 , x 2 , L , x n ) n / x1 = x n2 } R: no

{
b) U = (x1 , x 2 , L , x n ) n / x n = x1 + x 2 } R: sim

{
c) X = (x1 , x 2 , L , x n ) n / x1 0 } R: no

5) Sejam: {
W1 = (x , y ) 2 / y x = 0 } e { }
W2 = (x , y ) 2 / y + x = 0 . Mostrar que

2 = W1 W2 .