Espao Dual, Transposta e Adjunta (nota da lgebra linear 2)

Sadao Massago Outubro de 2009

1 Espao Dual

Dado um espao vetorial transformao linear de Considere a base

V sobre o corpo F , o espao dual V o espao V em F denominado de funcional linear.

de todas transformaes lineares de

em

F.

Pela lgebra linear 1, sabemos que o funcional linear denido unicamente pelos valores sobre elementos da base.

B = {1 , , n } de V . Para cada vetor i da base, associamos o funcional linear fi determinado por 1 ,i = j fi (j ) = ij onde ij = . No caso da dimenso nita, o conjunto B = {f1 , , fn } uma base de V como 0 ,i = j demonstra o teorema a seguir. Neste caso, B denominado de base dual de B .

Teorema 1.1. Se V for espao vetorial de dimenso nita, B = {f1 , , fn } forma uma base de V .
Demonstrao. Veremos que B L.I. De fato, se f = c1 f1 + + cn fn = 0, teremos f (i ) = o(i ) = 0, o que implica que 0 = c1 f1 (i ) + + cn fn (i ) = ci para cada i = 1 n, o que implica que B L.I. Agora, veremos que B gera V . Inicialmente, observe que fi ((x1 , , xn )B ) = xi , na qual a demonstrao deixado
como exerccio (esta uma das propriedade bastante usadas quando trabalha com a base dual). Seja

um funcional linear. Lembrando que uma transformao linear unicamente determinados pelos valores sobre

vetores da base, considere escrever o funcional

para cada i, devido a denio de

ci = f (i ). Armamos que f = c1 f1 + + cn fn . De fato, f (i ) = c1 f1 (i ) + + xn fn (i ) = ci fi . Como coincide em cada elemento da base, o funcional a mesma e assim, conseguimos linear f como combinao dos elementos de B .

Corolrio 1.2. Se V espao vetorial de dimenso nita, V isomorfo a V .

Demonstrao.
Basta lembrar que espao vetorial de mesma dimenso, quando dimenso nita, so isomorfos.

Quando no h ambiguidade da notao e contexto, podemos usar a notao

i = fi

para enfatizar que

fi

dual de

i . No caso de ter o vetor = c1 1 + + cn n . = c1 1 + + cn n

e no tenha dvida quanto a base a ser dualizada, podemo usar a notao

No caso de dimenso nita, dado uma base de

V,

a associao

de

em

um isomorsmo. No entanto,

este isomorsmo depende da base escolhida para dualizar. No caso do espao de dimenso innita, dual de uma base nem sempre uma base como veremos no exemplo mais adiante. (dual da base no espao de dimenso innita). Considere V = R[x] = {polinmios com coecientes em R}. B = {1, t, t2 , t3 . . .} uma base de V e B = {f0 , f1 , f2 , . . .} o seu dual. Ento fi (a0 + a1 t + + an tn ) = ai . Mostremos que B no gera o V . Considere o funcional linear f (p) = p(1) que uma evaluao do polinmio p no ponto t = 1. Armamos que f no gerado pelos elementos de . n+1 Suponha por absurdo que f = c1 f1 + + cn fn (na lgebra, s permitido a combinao nita). Ento f t = n+1 n+1 n+1 n+1 = 0, o que absurdo, pois f t =1 = 1. Assim, f no gerado pelo B . c1 f1 t + + xn t Ento fcil de provar que

Exemplo 1

L.I., seguindo o caso da dimenso nita. Assim, teremos

Proposio 1.3. Existe aplicao linear injetiva V Exerccios.

1. Para base dual Tambm que,

V .
e

B de B = {1 , , n }, mostre que i (x1 1 + + xn n ) = xi ((x1 , , xn )B ) = ((x1 , , xn )B ).

(c1 1 + + cn n ) (i ) = ci .

2. Mostre que, se

for espao de dimenso nita, ento

f () = 0

para todo

f V ,

implica que

= 0.

Note que, a

demonstrao do caso da dimenso innita similar.

Teorema de Representao.

No caso de espao vetorial de dimenso nita com produto interno, o funcional linear dado em termos de produto interno.

Teorema 2.1
que

(Representao). Se V um espao vetorial de dimenso nita com produto interno, ento para todo funcional linear f V , existe um nico vetor f V tal que f ( ) = , f .

Demonstrao.

Considere uma aplicao

um funcional linear. Como

: V V denido como () = : V F , onde ( ) = , . bvio , 2 , podemos mostrar que (1 + 2 ) = (1 )+ (2 ) , 1 + 2 = , +

O linear conjugado tem a

(exerccio), o que denominado de linear conjugado, devido a conjugao nos parmetros.

V e V tem mesma dimenso (provado pela base dual), basta mostrar que injetiva. Se () = 0, ento ( ) = , = 0 para 2 todo vetor . em particular, () = , = |||| = 0, o que implica que = 0. Como ker = {0}, ele injetora e
propriedade similar a linear. Por exemplo, se for injetiva no espao de mesma dimenso, ele bijetiva. Como consequentemente bijetora.

Observao
uma base

2.2 (isomorsmo de repreentao)

Note que a funo acima no depende da base.

Neste caso, ele dito

isomorsmo conjugado natural. No caso real, a aplicao acima um isomorsmo. No caso complexo, poder construir o isomorsmo para teorema de representao, mas ele no ser unicamente determinado (no natural). Para tanto, escolha

de

e usando a conjugao complexa relativa a esta base, dena

(c1 1 + + cn n ) = c1 1 , + +

cn n ,

. Ento

um isomorsmo que permite representar o funcional linear como produto interno (mas depender

da base). Note que, em maioria dos casos, o que interessa e ter vetor que represente o funcional linear. Trabalhando com um pouco de cuidado, podemos partir da expresso envolvendo o produto interno (sem ter a base especca) e chegar na expresso com o produto interno (sem ter base especca), usando uma base ortonormal.

Observao

2.3

No caso de dimenso innita, a aplicao de representao acima apenas injetiva. Assim, nem todo

funcional linear pode ser representado pelo vetor (nem todo funcional linear dado como produto interno).

Exerccios.
1. Se

B = {1 , . . . , n }

uma base ortonormal e

B = {1 , . . . , n }

e sua base dual. Mostre que a dualizao relativa a

esta base o isomorsmo

da Observao 2.2.

2. No exerccio acima, obtenha quem o isomorsmo conjugado e o isomorsmo linear do teorema de representao, em termos da base dual.

Espao Dual do Dual

Como

um espao vetorial, podemos analisar o dual de

V .

O espao dual do dual

V = (V )

interessante por

ter transformao linear injetiva natural

L:V V

mesmo sem ter o produto interno.

Lema 2.4. Se V um espao vetorial, ento L : V

injetiva. Demonstrao.
funcional linear Mostrar que

V denido como L() = L onde L (f ) = f () para todo f V L() = L = 0 ento L (f ) = f () = 0 para todo f V , f () = 0 = = 0 para o caso de dimenso

linear deixado como exerccio. Se

f V

e consequentemente,

= 0.

O fato de

nita o Exerccio 2 da Seo 1.

Teorema 2.5
Demonstrao.

(dual do dual)

. Se V um espao vetorial de dimenso nita, ento L : V

V

V isomorsmo natural. dim V = dim V como L no depender da base

Segue da injetividade, pois

um espao vetorial de dimenso nita (Mostre que

exerccio, para completar o argumento). O fato de ser natural devido ao fato da denio de especca (ou resultados que dependam da base especca).

Observao
V
com

2.6 via

O isomorsmo

escrevemos

L natural. Isto signica que ele no V = V quando a dimenso nita.

depende da base. Assim, comumente identicamos No caso de

ter isomorsmo (ou isomorsmo conjugado) natural. Assim, s podemos identicar tem o produto interno.

V , precisar de produto interno para V com V de forma precisa quando

Observao
innita com

2.7

A aplicao

bijetiva se, e somente se, for de dimenso nita. Na lgebra, no deve ter combinao

linear innita, mas na anlise, pode permitir uma combinao linear innita, o que permite ter espaos de dimenso

bijetiva.

Exerccios.
1. Mostre que, se ,

W <V = L(W ) ).

for espao de dimenso nita,

W = W

a menos de identicao por

do Teorema 2.5, isto

Anulador
Seja

Denio 3.1.
isto , W
00

S V.

O conjunto

S 0 = {f V : s S, f (s) = 0}

denominado de anulador de

S.

Teorema 3.2. Se W
= L(W ).
Se

< V com V de dimenso nita, ento W 00 = W a menos de identicao por L do Teorema 2.5,

W ento L (f ) = f () = 0 para todo f W 0 . Logo, W W 00 via identicao por L. Agora, veremos que se / W , ento L / W 00 . Seja B = {1 , . . . , r , 1 , . . . nr }, a base de V obtido pela extenso da base A = {1 , . . . , r } de W . Ento podemos dualizar o vetor relativamente a esta base. Se / W , ento ele escrita como 0 combinao nita = a1 1 + + ar r + b1 1 + + bnr nr com algum bj no nulo. Temos que f = j W (prove) e f () = bj = 0. Como de dimenso nita, todo elemento de X imagem do isomorsmo L, o que conclui a
demonstrao.

Demonstrao.

Observao
concluir que

3.3

L(V ) W 00 = L(W ).

A demonstrao do teorema acima poder ser adaptado ao caso de dimenso innita, mas s poder Como

apenas injetiva, poder existir elementos de

W 00

fora de

L(V ).

Teorema 3.4. Se W Exerccios.

1. Mostre que se 2. Mostre que se

< V onde V espao de dimenso nita, temos que dim V = dim W + dim W 0 .

SV SV ,

ento e

S0 < V . S,
ento

o subespao gerado pelos elementos de

S0 = W 0. W 0 = (W ).
A menos de

3. No caso de espao vetorial de dimenso nita com produto interno, mostre que identicao por de temos que

W =W

. Explique porque no dizemos a menos de identicao por

,

apesar

W 0 = (W )

tambm.

4. Demonstre o Teorema 3.4. 5. Considerando os subespaos (a) Se (b)

W1

W2

de

V,

mostre que

W1 < W2

ento

0 0 W2 < W1 .

0 0 (W1 + W2 )0 = W1 W2 .

(c) No caso de dimenso nita,

V = W1 W2

implica que

0 0 W1 W2 = {0}

Transposta
Dado uma transformao linear

Denio 4.1.
V F

para cada

f W

denominado de

T : V W, transposta de T .

a aplicao

Tt : W V

denido como

T t (f ) = f T :

Teorema 4.2. Dado T

1. ker T t = (ImT )0 .

: V W , temos

2. Se V e W forem de dimenso nita, vale tambm (a) (T ) = (T t ) onde (T ) = dim ImT e (T t ) = dim ImT t so postos de T e T t respectivamente. (b) ImT t = (ker T )0 Demonstrao.
2. (a) Como os espaos so de dimenso nita, temos

f ker T t T t (f ) = f T = 0 W, f (T ) = 0 ImT, f ( ) = 0 f (ImT )0 .

1.

mas isto equivalente a

dim ImT + dim(ImT )0 = dim W . Pelo item 1, Temos que dim ImT +dim ker T = dim W . Mas dim ImT +dim ker T t = dim W e consequentemente, dim ImT = dim ImT t .
t t
Ento

(b) Como

(dim ker T )0 = dim ImT = dim T t (porqu?), basta mostrar queImT t (ker T )0 . Considere f ImT t . f = T t (g ) = g T para algum g W e logo, para todo ker T , f () = g (T ) = g (0) = 0. Logo, ImT t (ker T )0 .

Teorema 4.3. Se Exerccios.

T : V W , transformao linear no espaos de dimenso nita e A e B so bases de V e W respectivamente, ento [T t ]A ,B = [T ]A,B .

1. Demonstre o Teorema 4.3. 2. Mostre que podemos

L(ker T ) = ImL (ImT t )0 onde L o isomorsmo t 0 escrever ker T = (ImT ) no caso de dimenso nita.

do Teorema 2.5. A menos de identicao por

L,

Adjunta
Uma transformao linear (operador adjunto) .

Denio 5.1. Denio 5.2 Lema 5.3

T :V V

(no mesmo espao) denominado de

operador linear.
,

Dado um operador linear

T,

dizemos que

um operador adjunta se

V, T , = , S

(unicidade do adjunto) Se

. Adjunto, quando existe, nico.

T , ento S1 = T , = , S2 S1 = S2 . Como genrico, S1 = S2 . T . T existe. Ento T =
e consequentemente, para toda

Demonstrao.

S1

S2

so operadores adjuntos de

Logo,

, (S1 S2 ) = 0

para todo

e consequentemente,

O operador adjunto de

T,

quando existe, denotado por

Proposio 5.4. Seja T , um operador linear no espao vetorial com produto interno tal que

T , conde o isomorsmo conjugado do Teorema 2.1(Teorema de Representao).

t
Assim,

Demonstrao. , T = T , = T = T t ( ).
(T ) = (T ).
t
Como

injetivo,

T = T ( )

para

(T ) = (T t ) para genrico. Assim, T = 1 T t

todo

Teorema 5.5 (operador adjunto). Para cada operador linear T denido no espao vetorial de dimenso nita com produto
interno, existe um nico operador adjunto de T . Demonstrao.
Como j sabemos que existe no mximo um adjunto, basta mostrar que existe. Para cada , f () = T . um funcional linear em (justique) e pelo teorema da representao, existe um nico vetor T V tal que f () = , T . Assim, est denido um nico T para cada . O que precisamos mostrar que T linear. Sejam 1 , 2 V e c F . Para todo V , temos , T (1 + c2 ) = T , 1 + c2 = T , 1 + c T , 2 = , T 1 + c , T 2 = , T 1 + cT 2 . Assim, T (1 + c2 ) = T 1 + cT 2 .

Teorema 5.6
Demonstrao.
[bij ]i,j =1..n .

(matriz do adjunto) Seja

. Na base ortonormal, matriz de T transposta conjugado da matriz de T .

uma base ortonormal. Denotemos

B = { 1 , . . . , n }
n

[T ]B = A = [aij ]i,j =1..n j ,

[T ]B = B =

Assim,

T j =
i=1 n

aij j
n

T k =
=1

b k = bjk .

. Efetuando produto interno com o vetor

temos

j , T k = j ,
=1

b k

=
n =1

j ,

Por outro lado, usando a denio de adjunto, temos

j , T k = T j , k =
i=1

aij j , k = akj .

Alguns operadores importantes 1.

A = A

denominado de auto adjunto. Para diferenciar o caso real do complexo, tambm pode ser chamado de

simtrico (caso real) e hermitiano (caso complexo), mas chamaremos simplesmente de auto adjunto em muitos casos, s ser mencionado como auto adjunto. Alguns casos especiais de auto adjuntos importantes so 2.

A A

A + A.
Caso no

A = A1 .

Devido a diferena signicativa sobre algumas propriedades do caso real e do complexo, usaremos nome

especial para caso real (denominado de ortogonal) e para o caso complexo (denominado de unitrio). a mudana de base, da base ortonormal para base ortonormal.

precise distinguir, escreveremos a propriedade em vez de citar pelo nome. O caso bastante importante deste tipo

3.

A A = AA ento A denominado de operador normal. 1 ou A = A (auto adjunta, ortogonal e unitrio so

operadores.

A condio bem mais fraca que nos casos de auto adjunta normais) mas tambm parte importante do estudo dos

4.

P2 = P

denominado de projeo. Apesar de curso inicial sobre lgebra linear concentrar em projees ortogo-

nais, existem muitos tipos de projees interessantes. Portanto, importante estudar as propriedades comuns das projees genricas. 5. Se tiver o produto interno, o operador auto adjunto que satisfaz a condio

V : A, > 0

denominado de

operador positivo. Note que ele tem a ver com o adjunto e o produto interno.

Exerccios.
1. Mostre que

(A + cB ) = A + c B , (AB ) = B A At = A

e se

for inversvel,

A1

= A1

2. Operador com a propriedade

denominado de anti simtrica. Reescreva a nota de aula, para mostrar que

no caso real, qualquer operador soma de forma nica, de operador simtrica e antissimtrica. Agora, pense em fazer o mesmo no caso complexo. 3. Explique a importncia de usar a base ortonormal quanto trabalha com a matriz transposta, mesmo sem estar usando o espao dual. 4. Mostre que se 5. Mostre que se (a)

A P

for auto adjunto,

A, R. V,
ento

for projeo no espao vetorial ento

P ker P

ker P . V = ker P ImP .

(b) Mostre que

ker P ImP = {0}.

(c) Conclua que no caso de dimenso nita, tem-se