Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
(A ) em relao adio:
(propriedade comutativa)
(propriedade associativa)
(propriedade comutativa)
(propriedade associativa)
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
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
existe seu elemento oposto, que x ; conclui-se, assim, que verdadeiro esse axioma;
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
multiplicao.
multiplicao.
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
multiplicao.
De modo anlogo ao que se descreveu no item (a) deste exemplo, o axioma (M5 ) no
~ 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
(A ) em relao adio:
(propriedade comutativa)
(propriedade associativa)
( u ) = ( ) u
(u + v ) = u + v
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.
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
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
(a) (Pn ( ),+ ,) : conjunto de todos os polinmios com coeficientes reais de grau menor ou igual
(b) (Mmxn ( ),+ ,) : conjunto de todas as matrizes de dimenso m n , com elementos reais,
(c) (F ,+ ,) : conjunto de todas as funes reais de uma varivel real, com as operaes de
a) Existe um nico vetor nulo em V, denotado por 0 (que o elemento neutro da adio).
cancelamento).
h) v = 0 implica = 0 ou v = 0 .
i) Se v = 0 e 0 , ento v = 0 .
tem-se:
(x1 , x 2 , L , x n ) = (x1 , x 2 , L , x n ) ,
Exemplos:
2 = {(x1 , x 2 ) / x1 , x 2 },
2 = {(x , y ) / x , y } .
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 )) .
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 .
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 ) ;
4 Subespao Vetorial
Exemplos:
(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
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 }.
(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.
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 )) ,
w = (x , (mx )) = (x , m(x ))
e, portanto, w W , o que mostra que W fechado em relao operao de multiplicao
por escalar.
{
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.
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
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 ( ) .
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
A S At = A ; B S B t = B .
(A + B )t = At + B t ;
ento, vem:
(A + B )t = A t + B t = A + B ( A + B )t = A + B
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
{ ( )
S = f : / f x 2 = [f (x )]2 , x . }
Verificar se S um subespao vetorial de (F ,+ ,) .
( )
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 ,
( ) ( )
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 .
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.
Demonstrao:
W1 + W2 = {u = w1 + w2 / w1 W1 e w2 W2 } .
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 ) .
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 .
W1 W2 = {u / u W1 e u W2 } .
0 W1 W2 .
Portanto, u + v W1 W2 .
u W1 e u W 2 . Logo, u W1 W2 .
W1 W2 = {u / u W1 ou u W2 } .
{ } {
W1 = (x , y ) 2 / y = 0 = (x ,0) 2 / x }
e
{ } { }
W2 = (x , y ) 2 / x = 0 = (0 , y ) 2 / y .
(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
(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
operao de adio. Para isso, considerem-se os pares ordenados (1,0) e (0,1) , os quais so
(i) V = W1 + W2
(ii) W1 W2 = {0}
Exemplos:
{ } {
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
(x , y ) = (x ,0) + (0 , y ) ,
ou seja, todo elemento do 2 uma soma de um elemento de W1 com um elemento de W2
(ii) fcil ver que o nico par ordenado que pertence simultaneamente a W1 e a W2 (0,0) ,
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
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 ) ,
(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} .
Exerccios Propostos:
Adio: v1 v 2 = v1 v 2 , v1 , v 2 V
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 ( ) .
{
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 .