Documente Academic
Documente Profesional
Documente Cultură
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.
100
yn
an1 an2 . . . anm
xm
onde
yi =
n
(
ai j x j ,
i = 1, . . . m.
j=1
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.
(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|
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.
(4.2)
|y|=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
t[0,1]
s[0,1]
t[0,1]
s[0,1]
Como 1 = |T x0 | *T * |x0 | = *T *, logo tambm *T * 1. Das duas desigualdades conclumos que *T * = 1 e T limitado.
t[0,1]
pelo que passando ao supremo em ambos os lados sobre todos x C([0, 1])
com |x| = 1 obtemos
*T * 1.
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
T : Rm Rn , x & T x = Ax,
ento T limitado e *T * M, onde
2
M :=
n (
m
(
a2i j .
i=1 j=1
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
|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
61
0
106
logo
|T x| = max |(T x)(t)| max
t[0,1]
t[0,1]
1
0
t[0,1]
1
0
|K(t, s)|ds.
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
n
(
i=1
n
(
i=1
|xi |.
1
|xi |
C
))
))
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 :=
|x x0 |
|T x T x0 | < .
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 ).
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
logo as sucesses (T xn )
n=1 e (T zn )n=1 tm o mesmo limite. Isto mostra que T est
bem definido.
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
8 z 9
n
n=1
Calcule *T 1 * e *T 2 *.
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)
> 0,
n > N ,
sup
xD( f )\{0}
113
t[0,1]
t[0,1]
Espao %2 (C) Seja w %2 (C) uma sucesso fixa. Definimos um funcional f sobre
%2 (C) por
2
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
(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
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
(
zi
,
f2 (z) :=
2i
i=1
(
zi
.
f3 (z) :=
i
i=1
Calcule a norma dos funcionais lineares limitados.
118
119