Sunteți pe pagina 1din 21

Captulo 4

Operadores lineares
Neste captulo vamos introduzir os primeiros conceitos sobre operadores em espaos normados. De interesse especial so os operadores que preservam as duas
operaes algbricas dos espaos vectoriais. No caso do espao de chegada ser
R ou C ento o operador chamado um funcional. Os operadores limitados ou
funcionais limitados formam uma classe muito importante visto que estes podem
tirar partido da estrutura vectorial. O resultado mais importante aquele que estabelece que um operador limitado se e s se contnuo. Tambm de importncia
bsica o espao formado pelos operadores limitados o qual forma um espao
normado B(X, Y). Em particular o conjunto dos funcionais lineares contnuos sobre um espao normado X denotado por X ! forma um espao de Banach.

4.1 Definies e exemplos


Definio 4.1 (Operador linear) Sejam X, Y dois espaos vectoriais sobre o mesmo
corpo K. Uma aplicao T : D(T ) X Y diz-se um operador linear se
1. D(T ) um espao vectorial e a imagem R(T ) Y,
2. para quaisquer x, y D(T ) e escalares , K temos
T (x + y) = T x + T y.
Vamos usar a seguinte notao:
D(T ) denota o domnio de T ,
99

R(T ) denota o conjunto das imagens de T e


N(T ) denota o ncleo de T , isto , N(T ) = {x D(T )| T x = 0}.
Note que a propriedade 2. na definio de operador linear diz que T preserva
as duas operaes do espao vectorial.
Exemplo 4.2 Sejam X e Y dois espaos vectoriais dados.
Operador identidade O operador IX : X X definido por I X x := x para
qualquer x X chama-se operador identidade. Temos D(I X ) = X e claro
que IX linear.
Operador nulo O operador 0 : X Y, x & 0x := 0 para qualquer x X
chamado operador nulo o qual linear.
Operador diferenciao Seja X = P([0, 1]) o espao vectorial dos polinmios
definidos em [0, 1] e o operador T : X X,
T : X X, p & (T p)(t) := p! (t),
onde p! (t) designa a derivada do polinmio p. O operador T linear e,
atendendo a que a derivada de um polinmio ainda um polinmio, ento
R(T ) X.
Operador integrao Seja X = C([0, 1]) o espao vectorial das funes reais
contnuas definidas em [0, 1]. Definimos
! t
T : C([0, 1]) C([0, 1]), x & (T x)(t) :=
x(s)ds.
0

Como o integral uma operao linear, ento o operador T tambm linear.


Operador multiplicao Seja ainda X = C([0, 1]) e consideremos o operador
T : C([0, 1]) C([0, 1]), x & (T x)(t) := tx(t).
Este operador usado na fsica quntica como sendo o operador posio.

100

Operador matriz Consideremos uma matriz real n m A = (ai j ) i=1,...,n . Ento


j=1,...,m
podemos definir um operador T como
T : Rm Rn , x & T x := Ax.
claro que T linear porque a multiplicao por uma matriz uma operao linear. Se T x = y = (y1 , . . . , yn ) e x = (x1 , . . . , xm ), ento temos

y1 a11 a12 . . . a1m x1


y2 a21 a22 . . . a2m x2


.. = ..
..
. .
. .
. . . . .. ..

yn
an1 an2 . . . anm
xm
onde

yi =

n
(

ai j x j ,

i = 1, . . . m.

j=1

Operador integral No espao C([0, 1]) consideremos o operador


! 1
(T x)(t) :=
K(t, s)x(s)ds,
0

onde K uma funo contnua definida em [0, 1]2 e chamada o ncleo do


operador integral T . claro que T um operador linear.
Teorema 4.3 (Imagem e ncleo) Seja T : X Y um operador linear dado.
Ento
1. o ncleo de T , N(T ), um espao vectorial,
2. a imagem de T , R(T ), um espao vectorial,
3. se dim D(T ) = n < , ento dim R(T ) n.
Em particular na prova do ponto 3. do teorema anterior importante notar que
os operadores lineares preservam a dependncia linear.

101

Exerccios
Exerccio 4.1 Mostre o Teorema 4.3.
Exerccio 4.2 Considere os operadores T i : R2 R2 , i = 1, 2, 3 definidos por
T 1 (x, y) := (x, 0)
T 2 (x, y) := (y, x)
T 2 (x, y) := (x, y),

R.

1. Mostre que estes operadores so lineares.


2. Calcule D(T i ) e N(Ti ), i = 1, 2, 3.
3. Escreva os operadores T i , i = 1, 2, 3 usando matrizes 2 2.

4.2 Operadores lineares limitados e contnuos


Vamos agora analisar uma classe muito importante de operadores lineares, os operadores lineares limitados.
Definio 4.4 (Operador limitado) Sejam X, Y espaos normados e T : D(T )
X Y um operador linear. Ento T diz-se limitado se existe uma constante M
tal que para todos x D(T ) temos
|T x| M|x|.

(4.1)

Note que, a presente definio de operador limitado difere da de funo limitada da anlise, pois, uma funo limitada aquela cujo conjunto imagem
limitado no caso dos operadores lineares s o operador nulo tem o conjunto imagem limitado.
Qual ser a menor constante M tal que (4.1) seja verdadeira para qualquer
x D(T )\{0}? Podemos deixar x = 0 D(T ) de forma, pois, T 0 = 0. Temos
|T x|
M
|x|

tomando o supremo em ambos os lados obtemos


|T x|
M
xD(T )\{0} |x|
sup

102

assim, este supremo a constante mais pequena tal que (4.1) se verifica. Esta
constante denotada por *T * e chamada norma de T , isto ,
*T * =

|T x|
xD(T )\{0} |x|
sup

Por definio se D(T ) = {0} pomos *T * = 0. Note que com M = *T * a desigualdade (4.1) d lugar
|T x| *T * |x|
a qual ser aplicada frequentemente no que se segue.

Lema 4.5 (Norma) Seja T um operador linear limitado.


1. Ento a norma de T dada por
*T * = sup{|T x| x D(T ), |x| = 1}.

(4.2)

2. A aplicao ** verifica as propriedades (N1)-(N3) de norma.


x
|x|

tal que |y| = 1. Como T linear temos


)) * +))
)
|T x|
x ))
*T * = sup
= sup ))T
) = sup |T y|
|x| ) yD(T )
xD(T )\{0} |x|
xD(T )\{0} )

Prova. 1. Seja x D(T )\{0} e y :=

|y|=1

pelo que (4.2) est mostrado.

2. (N1) Condio necessria. Suponhamos que *T * = 0 com vista a mostrar que


T = 0. Assim, de *T * = 0 resulta que T x = 0 para qualquer x D(T ), logo T = 0.
Condio suficiente. Se T = 0, ento *T * = 0, pois *T * = supxD(T )\{0} |T|x|x| = 0.
(N2) Para qualquer K temos
*T * =
=
=
=

sup{|T x| x D(T ), |x| = 1}


sup{|||T x| x D(T ), |x| = 1}
|| sup{|T x| x D(T ), |x| = 1}
|| *T * .

(N3) Sejam T , U dois operadores limitados. Ento temos


*T + U* =

sup{|(T + U)x| x D(T ) D(U), |x| = 1}


sup{|T x| + |U x| x D(T ) D(U), |x| = 1}
sup{|T x| x D(T ), |x| = 1} + sup{|U x| x D(U), |x| = 1}
*T * + *U* .
103

A interpretao geomtrica do nmero *T * a seguinte: *T * o supremo da


deformao dos vectores x D(T ) tais que |x| = 1 pela aco de T .
Exemplo 4.6 Sejam X, Y espaos normados.
Operador identidade O operador IX limitado e *I X * = 1, pois,
*IX * = sup{|IX x| x X, |x| = 1} = 1.
Operador nulo Por definio o operador nulo 0 limitado e *0* = 0.
Operador diferenciao O operador de diferenciao
T : X X, x & (T x)(t) := x! (t)
no limitado. X = P([0, 1]) o conjunto dos polinmios definidos em
[0, 1]. Com efeito, consideremos a sucesso de polinmios x n (t) := tn ,
n N0 . Temos
|xn | := max{|xn (t)|, t [0, 1]} = 1,

n N0

e ento

|(T xn )(t)|
= n max{|tn1 | t [0, 1]} = n.
|xn |
Assim, no existe M tal que para todos n N tenhamos
|(T xn )(t)|
M
|xn |
logo T no limitado.
Operador integrao Consideremos o operador
T : C([0, 1]) C([0, 1]), x & (T x)(t) :=

104

x(s)ds
0

limitado e *T * = 1. De facto, por um lado temos


))! t
))
))
)
|T x| = max |(T x)(t)| = max )
x(s)ds))
)
t[0,1]
t[0,1] ) 0
! t
! t
|x(s)|ds max
max |x(s)|ds
max
t[0,1] 0
t[0,1] 0 s[0,1]
! t
= max |x(s)| max
ds = max |x(s)| max t
s[0,1]

t[0,1]

= max |x(s)| = |x|.

s[0,1]

t[0,1]

s[0,1]

Assim, |T x| |x| pelo que tomado o supremo em ambos os lados nesta


desigualdade sobre todos os x C([0, 1]) com norma 1 obtemos

*T * = sup{|T x|, x C([0, 1]), |x| = 1} sup{|x|, x C([0, 1]), |x| = 1} = 1

pelo que *T * 1. Por outro lado, a aplicao x0 : [0, 1] R, t & x0 (t) :=


1 tal que x0 C([0, 1]), |x0 | = 1 e
))! t ))
)
)
|T x0 | = max |(T x0 )(t)| = max )) ds)) = 1.
)
t[0,1]
t[0,1] )
0

Como 1 = |T x0 | *T * |x0 | = *T *, logo tambm *T * 1. Das duas desigualdades conclumos que *T * = 1 e T limitado.

Operador multiplicao Consideremos o operador de multiplicao


T : C([0, 1]) C([0, 1]), x & (T x)(t) = tx(t).

Ento T limitado e *T * = 1. Temos

|T x| = |tx| = max |tx(t)| max |x(t)| = |x|


t[0,1]

t[0,1]

pelo que passando ao supremo em ambos os lados sobre todos x C([0, 1])
com |x| = 1 obtemos
*T * 1.

Mas para x0 (t) = 1 temos |x0 | = 1, x0 C([0, 1]) e

Como

|T x0 |
= max |(T x0 )(t)| = max |t| = 1.
t[0,1]
t[0,1]
|x0 |
*T *

ento resulta *T * = 1.

|T x0 |
= 1,
|x0 |

105

Operador matriz Dada uma matriz real A = (ai j ) i=1,...,n e o operador


j=1,...,m

T : Rm Rn , x & T x = Ax,
ento T limitado e *T * M, onde
2

M :=

n (
m
(

a2i j .

i=1 j=1

De facto, denotando T x = y = (y1 , . . . , yn ) temos


yi =

m
(

ai j x j

j=1

logo
|y|2 =

n
(
i=1

m
2
n (
(

ai j x j .
|yi |2 =

i=1

j=1

Aplicando a desigualdade de Cauchy-Schwarz obtemos


2

|y|

m
n (
(

a2i j

i=1 j=1

m
(

x2j

j=1

m
n (
(
i=1 j=1

2345

a2i j |x|2

|x|2

e, assim
2

|T x| M |x| ,

M =

m
n (
(

a2i j ,

i=1 j=1

logo |T x| M|x| de onde resulta *T * M.

Operador integral Dada a funo contnua K : [0, 1] [0, 1] R definimos o operador


! 1
T : C([0, 1]) C([0, 1]), x & (T x)(t) =
K(t, s)x(s)ds.
0

Ento T limitado e *T * = maxt[0,1]

61
0

|K(t, s)|ds. De facto, temos

|x(t)| max |x(t)| = |x|,


t[0,1]

106

logo
|T x| = max |(T x)(t)| max
t[0,1]

t[0,1]

1
0

|K(t, s)x(s)|ds |x| max

t[0,1]

1
0

|K(t, s)|ds.

Passando ao supremo na desigualdade anterior sobre todos x C([0, 1])


com |x| = 1 obtemos
! 1
|K(t, s)|ds,
*T * = sup{|T x|, x C([0, 1]), |x| = 1} max
t[0,1]

logo T limitado. Note que, como K contnua nas duas variveis,


ento |K(t, s)| k. possvel mostrar que
! 1
|K(t, s)|ds.
*T * = max
t[0,1]

Teorema 4.7 Seja X um espao normado de dimenso finita. Ento todo o operador linear em X limitado.
Prova. Seja {e1 , . . . , en } uma base em X de tal forma que se x X temos
x=

n
(

xi ei .

i=1

Como T um operador linear definido em X, ento


|T x| =

n
(
i=1

|xi ||T ei | max |T ei |


1in

n
(
i=1

|xi |.

Aplicando o Lema 2.20 obtemos


n
(
i=1

1
|xi |
C

de tal forma que

))
))
n
))(
) 1
))
xi ei ))) = |x|
) i=1
) C

1
max |T ei |.
C 1in
Daqui resulta que *T * M, logo T limitado.
|T x| M|x|,

M :=

Vamos de seguida investigar a relao entre operadores lineares limitados e


operadores lineares contnuos.
107

Definio 4.8 (Operador contnuo) Sejam X, Y espaos normados e T : D(T )


X Y um operador linear dado. Ento T contnuo em x 0 D(T ) se para
qualquer > 0 existe > 0 tal que
x D(T )

|x x0 |

|T x T x0 | < .

T diz-se contnuo se for contnuo em todos os pontos x D(T ).


Teorema 4.9 Seja T : D(T ) X Y um operador linear entre espaos normados. Ento
1. T contnuo se e s se T limitado.
2. Se T contnuo num ponto, ento contnuo .
Prova. O caso T = 0 no tem interesse. Assim, supomos que T ! 0 pelo que
*T * ! 0.
1. Condio suficiente. Suponhamos que T limitado com vista a mostrar que
T contnuo. Seja > 0 dado e x0 D(T ) um elemento arbitrrio. Escolhendo
= *T * e para qualquer x D(T ) tal que
|x x0 |
temos
|T x T x0 | = |T (x x0 )| *T * |x x0 | < *T * = .

Logo T contnuo em x0 ; da arbitrariedade de x0 D(T ) resulta que T contnuo.


Condio necessria. Suponhamos agora que T contnuo com vista a mostrar
que T limitado. Assim, para qualquer x0 D(T ) e qualquer > 0 existe > 0 e
para todo os x D(T ) com |x x0 | < temos
|T x T x0 | < .
Para y ! 0 em D(T ) definimos
x := x0 +
Logo

y
|y|

x x0 =

y
|y|

= |x x0 | = .

)) * +))
)
))
y = |T y| <
|T x T x0 | = |T (x x0 )| = ))T
) |y| )) |y|
108

ou ainda

|T y|
< .
|y|

Passando ao supremo em ambos os lados sobre todos os y D(T ) tal que |y| = 1
obtemos *T * < , isto , T limitado.
2. Se T contnuo num ponto, ento pela segunda parte da prova de 1. T
limitado, logo por 1. T contnuo.
Corolrio 4.10 Seja T : D(T ) X Y um operador linear limitado.
1. Se (xn )
n=1 D(T ) uma sucesso tal que xn x, n e x D(T ),
ento T xn T x.
2. O ncleo de T N(T ) um espao fechado.
Prova. 1. Como T linear limitado, temos
|T xn T x| = |T (xn x)| *T * |xn x| 0, n .
2. Seja x N(T ) dado com vista a mostrar que x N(T ). Assim, existe uma
sucesso (xn )
n=1 N(T ) tal que xn x, n . Pela alnea anterior temos
T xn T x. Como para cada n N temos T xn = 0, ento T x = 0, logo x N(T ).

Definio 4.11 (Igualdade, restrio, extenso)


1. Dois operadores T 1 e T 2
dizem-se iguais, denotado T 1 = T 2 , se tm o mesmo domnio D(T 1 ) = D(T 2 )
e se T 1 x = T 2 x para qualquer x D(T 1 ) = D(T 2 ).
2. A restrio do operador T : D(T ) X Y a um subconjunto B D(T ),
denotada por T | B , o operador T |B : B Y tal que T |B x = T x para
qualquer x B.
3. A extenso do operador T : D(T ) X Y a um conjunto M D(T ),
denotada por T , o operador T : M Y tal que T |D(T ) = T , isto ,
T x = T x para qualquer x D(T ). Assim, T a restrio de T a D(T ).

109

Teorema 4.12 (Extenso linear limitada) Seja T : D(T ) X Y um operador linear limitado, sendo X um espao normado e Y um espao de Banach.
Ento T admite uma extenso T : D(T ) Y, onde T linear limitado com
77 77
7T 7 = *T * .
Prova. 1. Definio de T . Seja x D(T ) dado, ento existe uma sucesso
(xn )
n=1 D(T ) tal que xn x, n . Temos
|T xn T xm | = |T (xn xm )| *T * |xn xm |
o que mostra o facto de (T xn )
n=1 ser uma sucesso de Cauchy em Y. Como Y
completo, ento existe y Y tal que T xn y. Definimos T x := y.
claro que a definio de T no depende da escolha da sucesso (xn )
n=1 . De

facto, se (zn )n=1 outra sucesso em D(T ) tal que zn x, n , ento


|T xn T zn | *T * |xn zn | *T * (|xn x| + |zn x|) 0, n ,

logo as sucesses (T xn )
n=1 e (T zn )n=1 tm o mesmo limite. Isto mostra que T est
bem definido.

2. claro que T uma extenso de T , pois, T x = T x para qualquer x D(T ).


3. Norma de T . Temos
|T xn | *T * |xn |

pelo que passando ao limite n , usando a continuidade da norma, obtemos


|T x| *T * |x|.

7 7
Passando ao supremo sobre todos os x D(T ) tais que |x| = 1 obtemos 77T 77 *T *.
Por outro lado, claro que
77 77
7T 7 = sup{|T x|, x D(T ), |x| = 1} sup{|T x|, x D(T ), |x| = 1} = *T * .
7 7
Assim, temos 77T 77 = *T *.

110

Exerccios
Exerccio 4.3 (Operador multiplicao por uma funo) Considere o espao normado das funes contnuas C([0, 1]) e a C([0, 1]) um elemento dado. Definimos T por
T : C([0, 1]) C([0, 1]), x & (T x)(t) := a(t)x(t).
1. Mostre que T linear.
2. Prove que T limitado.
3. Calcule a norma de T .
Exerccio 4.4 Mostre que o operador T definido por

T : % (C) % (C), z & T z :=


linear e limitado. Calcule a norma de T .

8 z 9
n

n=1

Exerccio 4.5 Seja X = C([0, 1]) o espao das funes contnuas e T i , i = 1, 2


definidos em X por
! 1
(T 1 x)(t) :=
ets x(s)ds
0
! 1
tn sm x(s)ds,
n, m N.
(T 2 x)(t) :=
0

Calcule *T 1 * e *T 2 *.

4.3 Espao de operadores lineares


Nesta seco vamos investigar o conjunto formado pelos operadores lineares limitados entre dois espaos normados B(X, Y) com o objectivo de mostrar que
B(X, Y) ele mesmo tambm um espao normado. Para tal precisamos introduzir
uma estrutura de espao vectorial em B(X, Y). Sejam T, U B(X, Y) e , K
dados. Definimos
T + U : D(T ) D(U) Y, x & (T + U)x := T x + U x.
111

T : D(T ) Y, x & (T )x := T x.
Com estas duas operaes o conjunto B(X, Y) torna-se num espao vectorial. O
elemento neutro para a adio o operador nulo 0 do Exemplo 4.2. Por outro lado,
vimos no Lema 4.5 que a aplicao ** possui as propriedades de uma norma, pelo
que o espao vectorial B(X, Y) com esta norma ** torna-se num espao normado.
Mais interessante saber quando que B(X, Y) um espao de Banach, isto
, um espao normado completo. Surpreendentemente, a condio para que tal
possa acontecer no envolve X!
Teorema 4.13 (B(X, Y)-espao de Banach) Se Y um espao de Banach, ento
B(X, Y) um espao de Banach sendo que X pelo menos um espao normado.
Prova. Consideremos uma sucesso de Cauchy arbitrria (T n )
n=1 em B(X, Y) com
vista a mostrar que (T n )
converge
para
um
operador
T

B(X,
Y). Para qualquer
n=1
> 0 existe N tal que se n, m > N temos
*T n T m * < .
Para qualquer x X e n, m > N obtemos
|T n x T m x| *T n T m * |x| < |x|

(4.3)

de tal forma que se x X um elemento fixo, ento escolhendo = |x| resulta


pelo que (T n x)
|T n x T m x| < ,
n=1 uma sucesso de Cauchy em Y. Como Y
completo, ento existe y Y tal que
T n x y = T x, n .
Definimos T como
T : X Y, x & T x := y = lim T n x.
n

Vamos mostrar que T B(X, Y). claro que T linear, pois


T (x + y) = lim (T n (x) + T n (x) = T x + T y.
n

Por outro lado, fazendo m in (4.3) obtemos


|T n x T x| |x|
112

de onde resulta *T n T * , ou seja, T n T limitado. Finalmente, notamos que


T a soma de dois operadores limitados, T = T n (T n T ) de onde resulta que T
limitado porque B(X, Y) um espao vectorial. Temos ainda que
*T n T * ,

> 0,

n > N ,

o que mostra a convergncia T n T .

4.4 Funcionais lineares e espao dual


Um funcional um operador cujo conjunto imagem est no corpo K. Assim, se X
um espao normado complexo, ento um funcional sobre X uma aplicao
f : X C, x & f (x).
Os funcionais sero denotados por f, g, h e a imagem de x por intermdio de f
por f (x). Como K um espao normado completo, ento um funcional tambm
um operador. Entre todos os funcionais definidos sobre um espao normado X os
lineares limitados sero considerados mais frequentemente.
Definio 4.14 (Funcional linear) Seja X um espao normado sobre K e f :
D( f ) X K um operador dado.
1. Ento f diz-se um funcional linear se D( f ) um espao vectorial e a aplicao f linear.
2. Um funcional linear f diz-se limitado se existe M > 0 tal que para todos
x D( f ) temos
| f (x)| M|x|.
3. A norma do funcional linear limitado f dada por
* f * :=

sup
xD( f )\{0}

| f (x)| = sup{| f (x)| x D( f ) |x| = 1}.

Exemplo 4.15 No que se segue X denota um espao normado sobre K.

113

Norma Consideremos a aplicao


| | : X R, x & |x|.
Ento | | um funcional no linear, pois em geral temos
|x + y| ! |x| + |y|.
Integral definido Seja X = C([0, 1]) o espao normado das funes contnuas.
Definimos
! 1
f : C([0, 1]) R, x & f (x) :=
x(t)dt.
0

Ento f um funcional linear limitado com norma * f * = 1. Que f linear


claro e pela monotonia do integral temos
! 1
! 1
| f (x)|
|x(t)|dt max |x(t)|
dt = max |x(t)| = |x|.
0

t[0,1]

t[0,1]

Tomando o supremo na desigualdade anterior sobre todos x C([0, 1]) com


|x| = 1, obtemos
* f * 1.

Escolhendo x0 (t) = 1, t [0, 1] temos |x0 | = 1 e f (x0 ) = 1


| f (x0 )| * f * |x0 | 1 * f * .
Das duas desigualdades resulta que * f * = 1.

Espao C([0,1]) Seja t0 [0, 1] fixo e f a aplicao definida por


f : C([0, 1]) R, x & f (x) := x(t0 ).
Ento f um funcional linear limitado. Na verdade, que f linear resulta
da definio, pois
f (x + y) = (x + y)(t0 ) = x(t0 ) + y(t0 ) = f (x) + f (y).
Por outro lado
| f (x)| = |x(t0 )| max |x(t0 )| = |x|,
t[0,1]

logo * f * 1. Para x0 (t) = 1, t [0, 1] temos |x0 | = 1 e f (x0 ) = 1, logo


| f (x0 )| * f * |x0 | 1 * f * .
Portanto, * f * = 1
114

Espao %2 (C) Seja w %2 (C) uma sucesso fixa. Definimos um funcional f sobre
%2 (C) por
2

f : % (C) C, z & f (z) := (z, w)%2 (C) =

zi w i ,

i=1

sendo a srie absolutamente convergente. Ento f define um funcional linear limitado e * f * = |w|%2 (C) . A linearidade resulta do produto interno ser
linear na primeira varivel. Pela desigualdade triangular generalizada e de
Cauchy-Schwarz temos
:
:
;
;

(
(
(
| f (z)|
|zi ||wi |
|zi |2
|wi |2 = |z|%2 (C) |w|%2 (C) < ,
i=1

i=1

i=1

logo a srie absolutamente convergente. Aplicando o supremo em ambos


os lado resulta
* f * |w|%2 (C) .
Quando z = w, temos
| f (w)| * f * |w|%2 (C) |w|2%2 (C) * f * |w|%2 (C) |w|%2 (C) * f *
pelo que * f * = |w|%2 (C) . Vamos ver que a situao deste exemplo tpica
para espaos de Hilbert.
O conjunto dos funcionais lineares sobre um espao normado X forma um espao vectorial denotado por X e chamado dual algbrico de X. As operaes de
adio e multiplicao por um escalar so definidas da mesma forma como definimos estas operaes para os operadores em B(X, Y), cf. Seco 4.3. Podemos
pensar outra vez no dual algbrico de X denotado por (X ) = X como o conjuntos dos funcionais lineares sobre X e chamado o segundo dual algbrico de X.
Os elementos de X sero denotados por F, G, H, . . . Este espao s tem interesse
porque existe uma relao entre X e X . De facto, para cada x X podemos
associar um elemento G x X da seguinte forma
G x : X K, f & G x ( f ) := f (x).
claro que G x linear, pois
G x ( f + g) = ( f + g)(x) = f (x) + g(x) = G x ( f ) + G x (g)
115

pelo que G x X . A aplicao C que a cada x X associa G x X linear e


chama-se injeco cannica. Mais precisamente,
C : X X , x & C(x) : X K, C(x)( f ) := G x ( f ) := f (x)
linear, pois
C(x + y)( f ) = Gx+y ( f ) = f (x + y) = f (x) + f (y)
= G x ( f ) + Gy ( f ) = C(x)( f ) + C(x)( f )
= (C(x) + C(y))( f ).
Se C for sobrejectiva, e assim bijectiva, ento X diz-se reflexivo algbrico. No
caso de dim X < , ento X reflexivo algbrico.
Mais importante na prtica o espao dos funcionais lineares limitados.
Definio 4.16 (Espao dual X ! ) Seja X um espao normado. Ento o conjunto
dos funcionais lineares limitados sobre X, denotado por X ! , um espao normado
com norma ** o qual chamado o dual de X.
claro que o espao dual de um espao normado X um espao de Banach,
cf. Teorema 4.13. O estudo mais detalhado dos espao X ! ser feito na cadeira de
Anlise Funcional II. Por agora, vamos nos concentrar no caso em que X = H
um espao de Hilbert. Antes de mais, notamos que o produto interno define um
funcional linear limitado sobre H. De facto para u H fixo o funcional
f : H K, x & f (x) := (x, u)
linear e limitado com * f * = |u|. A linearidade evidente e, pela desigualdade de
Cauchy-Schwarz, temos
| f (x)| |x||u|

de onde resulta que * f * |u|. Para x = u vem

| f (u)| * f * |u| |u|2 * f * |u| |u| * f * .


Portanto * f * = |u|.
Teorema 4.17 (Representao de Riesz) Seja f um funcional linear limitado sobre o espao de Hilbert H. Ento existe um nico elemento u H tal que
f : H K, x & f (x) = (x, u)
e * f * = |u|.
116

(4.4)

Prova. J vimos que * f * = |u| pelo que s falta determinar u de forma que (4.4)
seja verdadeiro. Se f = 0, ento u = 0 e j est. Suponhamos que f ! 0 e por
conseguinte u ! 0. Por outro lado, para x N( f ) temos f (x) =(x, u) = 0 e ento
u N( f ). Como N( f ) um subespao fechado em H, cf. Corolrio 4.10, ento
pelo Teorema 3.17 H pode ser representado como
H = N( f ) N( f ) .
Como f ! 0, ento N( f ) ! H, pelo que a igualdade anterior implica N( f ) ! {0}.
Portanto existe x0 ! 0 em N( f ) . Para qualquer x H definimos
z := f (x)x0 f (x0 )x
de tal forma que f (z) = 0, ou seja z N( f ). Ento temos
0 = (z, x0 ) = f (x)|x0 |2 f (x0 )(x, x0 ).
Resolvendo em ordem a f (x) obtemos
f (x) =

f (x0 )
(x, x0 ) = (x, u),
|x0 |2

u :=

f (x0 )
x0
|x0 |2

e, assim, a representao (4.4) esta mostrada.


Finalmente vamos mostrar que u nico. Se existir um outro u ! H tal que
f (x) = (x, u) = (x, u! ) (x, u u! ) = 0,
em particular para x = u u! obtemos
|u u! |2 = 0 u = u!
e, assim, u nico.

117

x H,

Exerccios
Exerccio 4.6 Diga quais dos seguintes funcionais em C([0, 1]) so lineares limitados. No caso de ser linear limitado calcule a sua norma.
! 1
t1/2 x(t)dt,
f1 (x) :=
0
* +
1
,
f2 (x) := x
2
! 1
f3 (x) :=
x(t) sin(t)dt,
0
! 1
f4 (x) :=
x(t2 )dt,
0

f5 (x) := max x(t).


t[0,1]

Exerccio 4.7 Considere o espao de Hilbert L2 ([0, 1]) e os funcionais


! 1
t1/3 x(t)dt,
f1 (x) :=
0
! 1
f2 (x) :=
t1/2 x(t2 )dt,
0
! 1
f3 (x) :=
x(t) sin(t)dt.
0

Mostre se so lineares limitados ou no e calcule a sua norma.


Exerccio 4.8 Seja X = % (C) e considere os funcionais em X
f1 (z) := z1 ,

(
zi
,
f2 (z) :=
2i
i=1

(
zi
.
f3 (z) :=
i
i=1
Calcule a norma dos funcionais lineares limitados.

118

Exerccio 4.9 Mostre que o dual H ! de um espao de Hilbert H um espao de


Hilbert com produto interno definido por
( fz , fw)H ! := (w, z),
onde fz : H K, x & fz (x) = (x, z).

119

S-ar putea să vă placă și