1

lgebra dos Espaos Lineares

Definio 1: Chama-se de espao linear a um conjunto L , no vazio, de elementos x, y, z ,que satisfaz as seguintes condies:

x, y L z | z L z = x + y x+y =y+x
x + (y + z ) = (x + y ) + z 0 L | x + 0 = x, x L a x L ax L

(2.1.1) (Comutatividade) (Associatividade) (Existncia do Zero) (2.1.2) (2.1.3) (2.1.4) (2.1.5) (2.1.6) (Elemento Neutro) (Distributiva) (2.1.7) (2.1.8) (2.1.9)

a (bx) = (ab) x

1x = x

( a + b ) x = ax + bx
a ( x + y ) = ax + ay

x L x | x L x + (x) = 0

(2.1.10)

Po e!em"lo, seja F o conjunto de todas as funes do ti"o f : # $ote que funes dos ti"os: f1 (x) = x 2 2x + 7 f 2 (x) = sen (x) "e tencem a F , "ois esto definidas "a a todos os x % "o out o lado, funes do ti"o 1 x g 2 (x) = tan (x) g1 (x) =

no "e tencem a F , "ois no esto definidas "a a todos os x #

&

Pode-se ve ifica que se tomando duas funes quaisque de F , "odese defini uma funo soma das " imei as, assim, f1 + f 2 = f1 (x) + f 2 (x) f1 , f 2 F '2#1#11(

)l*m disso, define-se a multi"licao de uma funo "o um escala qualque :

(c. f )( x) = c. f (x)

'2#1#12(

Com as o"e aes acima, F * um espao linear, "ois satisfaz a todos os a!iomas definidos na ,definio 1 ' elaes '2#1#1( a '2#1#1-((#

Isomorfismo de Espaos Lineares

Geral

Definio 1: /ois es"aos linea es ou veto iais L e L* so ditos isomorfos quando se "ode esta0elece ent e seus elementos uma co es"ond1ncia 0iun2voca com"at2vel com as o"e aes neles definidos# 3sto significa que se

(x x* ) (y y* ) x, y L x* , y* L*
ento....(x + y x * +y *) (ax ax *)

'2#2#1(

so as duas condies de isomorfismo, com a , um n4me o a 0it 5 io#

3sto significa que, se L e L* so isomo fos, ento o n4me o de elementos linea mente inde"endentes em cada es"ao * o mesmo, isto *, L e L* t1m a mesma dimenso# Teorema 1: 7uaisque dois es"aos linea es eais n-dimensionais so isomo fos# Corolrio 1: 8s"aos linea es de dimenso finita com dimenses distintas, no so isomorfos#

Teorema 2: :m es"ao linea com"le!o Cn de dimenso n "ode se ma"eado um-a-um "a a um es"ao linea eal R 2n , de dimenso 2n , tal que a condio:

( x + y ) = x* + y *
*

'2#2#2(

"e manece v5lida, e "a a fato es , a segunda condio

(x) = x*
*

'2#2#3(

tam0*m "e manece v5lida#

Subespaos. Dependncia Linear

Definio 1: <ejam y , x1 , x 2 ,, xn , elementos quaisque de um espao linear L # <e y "ude se esc ito como:

y = ax1 + bx 2 + + nxn

'2#2#&(

diz-se que y * uma combinao linear 'CL( de x1 , x 2 ,, xn , onde a, 0, c, d,###, n so escala es# Definio 2: :m conjunto de elementos x1 , x 2 ,, xn de um es"ao linea L qualque * dito se linearmente dependente, 'LD( quando e!isti em n4me os a , b , c , d ,###, n , no todos iguais a ze o, tal que:

ax1 + bx 2 + + nxn = 0
1 2

'2#2#+(
n

1-

Definio 3: :m conjunto de elementos x , x ,, x de um es"ao linea L qualque * dito se linearmente independente 'LI(, quando a equao a0ai!o fo ve dadei a:

ax1 + bx 2 + + nxn = 0
se e somente se a = b = c = = n = 0 #

'2#2#.(

Definio 4: :m conjunto infinito de elementos de um es"ao L se chama linearmente independente, quando todo su0conjunto finito seu * linea mente inde"endente# <e em um es"ao linea L se "ude encont a n elementos LI, e quaisque n + 1elementos deste es"ao fo em LD ento se diz que L * um espao de dimenso finita n# $o entanto, se em L , "ude mos indica um conjunto com"osto "o um n4me o finito qualque de elementos LI, diz-se que L * de dimenso infinita#

11

Definio 5: :m conjunto qualque de n elementos x , x ,, x de um es"ao linea L qualque , linea mente inde"endente 'LI(, * dito base de um espao de n-dimenses#
1 2 n

12

Teorema 1: <e L tem uma 0ase contendo n elementos, ento quaisque n + 1 ou mais elementos de L so linearmente dependentes# Corolrio 1: <e L tem uma 0ase contendo toda 0ase de L tem n elementos#
n

elementos, ento

Definio 6: :m su0conjunto no vazio X de um es"ao linea L * dito se subespao de L em elao =s o"e aes de adio e multi"licao "o escala definidas em L se:
X L x, y X ax + by X

13

'2#2#6(

quaisque que sejam os escala es a e b # 8m todo es"ao linea L , e!iste um su0es"ao fo mado somente "elo elemento ze o, o subespao nulo# :m su0es"ao de L , que contenha "elo menos um elemento no nulo * dito subespao prprio# Teorema 2: <e X * um su0es"ao de um es"ao linea L de n dimenses, ento a dimenso de X * meno ou igual a n #

Exemplos: 1# > conjunto de elementos {ax} x L e tomando todos os valo es num* icos, fo ma evidentemente um es"ao unidimensional% 2# 8m um es"ao n2-dimensional de mat izes quad adas n n , o conjunto de mat izes sim*t icas aik , tal que aik = aki , * um su0es"ao% 3# > conjunto de "olin?mios P [ a, b ] definidos so0 e o es"ao das funes cont2nuas C[ a, b ].

1&

&# > conjunto C1 [ a, b ] de todas as funes que "ossuem de ivada cont2nua em todo inte valo [ a, b ] % isto *, a chamada funo continuamente diferencivel em [ a, b ] # Como uma funo dife enci5vel * cont2nua, cada funo em C1 [ a, b ] tam0*m "e tence a C [a, b] # @ evidente que C [a, b] * fechado com elao = adio de funes e multi"licao "o escala , "o tanto su0es"ao de C [a, b] # 8m ge al, se Cn [ a, b ] denota o conjunto de todas as funes n vezes continuamente dife enci5veis em[ a, b ] , ento C [ a, b ] * um su0es"ao de C [ a, b ] , sem" e que m n #
1 1 1 1 1

1+

Clausura Linear

1.

Definio 7: <ejam x1 , x 2 ,, xn uma coleo de elementos de ce to es"ao linea L # /enomina-se ,clausura linearA dos elementos x1 , x 2 ,, xn = coleo de todas as com0inaes linea es destes elementos, isto *, o conjunto dos elementos:

x1 + x 2 + + x n
com x1 , x 2 ,, xn L e , ,, # :ma clausura linear dos elementos x , x ,, x * sim0olizada "o L (x1 , x 2 ,, xn )# )ssim toda clausu a linea L (x1 , x 2 ,, xn )de elementos x , x ,, x L * um su0es"ao de L e * o meno su0es"ao de L contendo os elementos x , x ,, x .
1 2 n 1 2 n 1 2 n

Exemplo: ) clausu a linea dos elementos 1, t, t 2 ,, t n do es"ao linea C [ a, b ] de todas as funes x = x (t ) definidas e cont2nuas no inte valo fechado a t b * um e!em"lo de clausu a linea #
1

16

<ejam L1 , L2 dois su0es"aos linea es a 0it 5 ios de um mesmo es"ao linea R , isto *, (L1 R ) (L2 R ) ento, Definio 8: ) coleo de todos os elementos x tal que (x L1 ) (x L2 ), fo mam um su0es"ao de R chamado de subespao interseo de L , L #
1 2

19

Definio 9: ) coleo de todos os elementos x + y onde (x L1 ) (y L2 ) fo ma um su0es"ao de R chamado subespao soma ou subespao unio de L , L #
1 2

Teorema 3: ) soma das dimenses dos su0es"aos linea es a 0it 5 ios L1 , L2 de um es"ao linea R de dimenso finita * igual =

soma da dimenso dos es"aos ,interseoA e ,unioA desses su0es"aos#

Subespaos Gerados

1;

:m su0es"ao de Cn [ a, b ] al*m de se su0es"ao de Cn [ a, b ] * tam0*m com"le!o# 3sto tam0*m vale "a a os eais# Definio 1: > conjunto de todos os elementos ou com0inaes linea es do conjunto de elementos G = {a1 , a 2 ,, aq } de C [ a, b ] * um
n

su0es"ao chamado de espao gerado por G ou span1 BGC:

) "alav a em ingl1s span significa es"ao, como su0stantivo, ou co0 i , a0a ca , como ve 0o# 8la e" esenta aqui o mesmo que ,espao gerado porA#

q n span {G } = span {a1 , a 2 ,, aq } = z C | z = i ai {ai }i=1,...,q C i =1

2-

<e os {a1 , a 2 ,, aq } so linea mente inde"endentes, cada elemento de s"an BGC admite uma 4nica e!" esso como com0inao linea de {a1 , a2 ,, aq } # > conjunto G * chamado de 0ase do su0es"ao ge ado e denotado "o s"an BGC#

:m su0es"ao muito im"o tante na an5lise num* ica * o <u0s"ao de D Elov# Definio 2: <ejam uma mat iz A nn no singula e um veto y 0 n # /izemos que um su0es"ao * subespao de Krylov de dimenso m 1, e denotado "o Km ( A, y ) , se ele fo ge ado "elo conjunto {y , Ay , A 2 y ,, A m1y } , isto *

21

Km = Km ( A, y ) = span {y , Ay , A 2 y ,, A m1y }
m '2#2#9( n i i n = z C | z = i A y {A y } C i =0,1,..., m i =0

Pode-se ve ifica que K1 K2 Km1 K m# demonst ao como e!e c2cio#

Faa

essa

Espaos Compactos

22

Definio 1: > conjunto de su0conjuntos de um conjunto X cuja unio * o " G" io X * denominado de cobertura do conjunto X # Definio 2: <e X * um es"ao linea na definio 1 acima, a co0e tu a * dita cobertura aberta se cada um dos elementos de * tam0*m um su0conjunto a0e to de X # Definio 3: :m conjunto de su0conjuntos de um conjunto X * dito te a propredade de interseo finita, se cada su0conjunto de ou um su0conjunto finito de tenha inte seo no vazia#

Definio 4: :m es"ao linea X * dito se um espao compacto se e somente se ele "ossui uma ou mais das seguintes " o" iedades: i# ii# Hoda co0e tu a a0e ta de X cont*m uma co0e tu a finita% <e um conjunto de su0coonjuntos fechados de X tem a " o" iedade de inte seo finita, e assim a inte seo dos su0conjuntos de no * vazia# Hoda fam2lia di eta de "ontos de X tem um "onto limite em X#

23

iii#

Definio 5: :m su0conjunto A de um es"ao linea X * dito se um subconjunto compacto se a somente se X fo com"acto# > su0conjunto A * dito se relativamente compacto em X se e somente se sua clausu a [ A ] fo com"acta#

Definio 6: :m es"ao linea X * dito se um um espao separado 'ou es"ao de Iausdo ff( se, "a a quaisque dois "ontos distintos x, y X , e!iste uma vizinhana de x e uma vizinhana de y que so disjuntas# Definio 7: :m es"ao linea X * dito se um um espao normal se, "a a quaisque dois conjuntos fechados distintos A, B X , e!isti vizinhanas que so disjuntas# Lema 1: <u0conjuntos de R n (Cn ) so com"actos se eles fo em limitados e fechados#

2&

Lema 2: <e X * um es"ao com"acto, Y um es"ao linea , e f uma funo cont2nua de X em Y , ento f ( X) * um su0conjunto com"acto de Y # <e, al*m disso, f fo injeto a e Y um es"ao se"a ado, ento f * um homeomofismo de X "a a f ( X)# Lema 3: no mal# 7ualque es"ao X com"acto e se"a ado * um es"ao

2+

Teorema: 'HEchonoff(# > " oduto 'no sentido to"olGgico( de qualque fam2lia de es"aos com"actos tem0*m * com"acto#

Definio 8: :m es"ao linea X * dito se um espao localmente compacto se e somente se cada "onto de X tive no m2nimo uma vizinhana cam"acta# )ssim, qualque es"ao com"acto tem0*m * localmente com"acto% qualque es"ao disc eto * localmente com"acto% qualque su0es"ao fechado de um es"ao localmente com"acto * localmente com"acto# Definio 9: :m es"ao linea X * dito se um um espao regular se, "a a cada "onto x X , a vizinhana fechada de x fo ma uma 0ase da vizinhana de x #

2.

Espaos Mtricos

26

Definio 1: :m conjunto M de elementos x, y , z, de natu eza a 0it 5 ia se denomina spao !"trico, se todo "a de elementos x, y M se co es"onde a um n4me o eal no negativo (x, y ) de modo que:
( x, y ) = 0 x = y ( x, y ) = ( y , x ) ( x, y ) + ( y , z ) ( x, z )
(axioma da identidade) (axioma da simetria) (axioma triangular) (2.3.1) (2.3.2) (2.3.3)

> n4me o (x, y ) leva o nome de dist#ncia ent e os elementos x e y ou m"trica e muitas vezes tam0*m * denotado "elo s2m0olo x, y #

Exemplos:
1#

29

8s"ao de "ontos ( x, y ) = 1 x y #

isolados

com

( x, y ) = 0 x = y

ou

2#

> conjunto dos n4me os eais com distJncia (x, y ) = x y fo mando o es"ao m*t ico R1 #

$.

> conjunto de g u"os o denados de n n4me os eais x = ( x1 , x2 ,, xn ) com distJncia definida "o
( x, y ) =

(y x )
k k

que se denomina espao aritm"tico

k =1

euclidiano de n-dimenses R n # K1-se que R n satisfaz os a!iomas '1( '2#3#1( e '2( '2#3#2( da definio 1 acima#

2;

Definio 2: > conjunto de g u"os o denados de n n4me os eais x = ( x1 , x2 ,, xn ) com distJncia definida "o :
(x, y ) = | xk yk |
k =1 n

'2#3#&(

n * conhecido "o R1 #

Definio 3: > conjunto de g u"os o denados de n n4me os eais x = ( x1 , x2 ,, xn ) com distJncia definida "o :
(x, y ) = max yk xk , (1 k n)
n * conhecido "o R 0 #

3-

8!em"lo: > conjunto C [ a, b ] de todas as funes cont2nuas so0 e o segmento [ a, b] e distJncia definida "o :

( f , g ) = max g (t ) f (t ) , (a t b)

'2#3#+(

Definio 4: /enomina-se es"ao L2 , o es"ao veto ial cujos "ontos so todas as seqL1ncias x = ( x1 , x2 ,, xn ,) de n4me os eais que satisfaam a condio

31

x
k =1

2 k

" ! e cuja distJncia * definida "o :

( x, y ) =

(y x )
k k

'2#3#.(

k =1

Definio 5: > conjunto de todas as funes cont2nuas no segmento [ a, b ] , definindo distJncia "o :

32

$b 2 % (x, y ) = ' # [ x(t ) y(t )] dt & & ' (a )

1/ 2

'2#3#6(

* o es"ao m*t ico conhecido "o C2 [ a, b ] e * chamado de espao das funes cont%nuas com m"trica &uadrada#

Definio 6: > conjunto de todos os g u"os o denados x = ( x1 , x2 ,, xn ,) de n n4me os eais com distJncia ou m*t ica igual a:
$ p ( x, y ) = ' ' yk xk ' ( k =1
n 1 p p

33

% & & & )

'2#3#9(

onde p * um n4me o fi!o a 0it 5 io 1, * o es"ao m*t ico denotado "o R n p# 8m '2#3#9( se p = 2 , a desigualdade de '(lder * igual = desigualdade de )auc*y - +unia,ovs,i 'j5 vista ante io mente(#

Definio 7: :ma semim"trica so0 e um conjunto M * uma funo d : M M R + que satisfaz as seguintes " o" iedades:

3&

d ( x, y ) 0 ii# d ( x, y ) = 0 x = y iii# d ( x, y ) = d ( y , x) ) dife ena ent e semim*t ica de uma m*t ica 'veja definio 1( * a de que as semim*t icas no " ecisam atende = desigualdade triangular 'veja e!" esso '2#3#3((#
i#

Definio 8: :m conjunto M de elementos x, y , z, de natu eza a 0it 5 ia se denomina spao -emim"trico, se todo "a de elementos x, y M se co es"onde a um n4me o eal no negativo d (x, y ) que atenda aos a!iomas da definio . acima#

Aplicaes Contnuas de Espaos Mtricos. Isomorfismo.

3+

<ejam X e Y dois es"aos m*t icos e f uma a"licao do es"ao X em Y : f : X Y 'leia-se f a"lica X em Y (# Po tanto, a cada elemento x X se "e em co es"ond1ncia um elemento y = f ( x) Y # <endo
f :X Y ,

y = f (x ) Y

diz-se que X * o dom%nio de f # > conjunto de todos os "a a x X * denominado de imagem de f , e * designado

"o L ( f ) .

Definio 1: ) a"licao como e!"osta acima * dita uma aplicao cont%nua no "onto x 0 X se "a a cada 0 e!isti um 0 tal que, "a a todos os x X que satisfize a desigualdade ( x, x0 ) " , se ve ifica a desigualdade 1 ( f ( x), f ( x0 )) " , onde e

3.

1 so as distJncias 'ou m*t icas( em X e Y es"ectivamente# -e a aplicao " cont%nua em todos os pontos de X / di0-se &ue ela " cont%nua em X .

Homomorfismo Definio 2: <endo f uma a"licao 0iun2voca de X em Y , e!iste a a"licao inve sa x = f 1 ( y ) de Y em X # <e tanto f como
f 1 fo em a"licaes cont2nuas, diz-se que f * uma aplicao *omomorfa, ou *omomorfismo, e X e Y so0 e os quais se "odem esta0elece uma a"licao homomo fa, so denominados espaos *omomorfos#

36

Isomorfismo Definio 3: /ois es"aos m*t icos so ditos espaos isomorfos, quando se "ode esta0elece ent e seus elementos uma a"licao f 0ijetiva, tal que

39

( x1 , x2 ) = 1 ( f ( x1 ), f ( x2 ))
)ssim f * dita uma a"licao isomo fa e os es"aos isom*t icos#

'2#&#1(
X

e Y so

Definio 4: /ada uma a"licao f : X Y , su"ondo que e!ista uma constante c M - 'chamada constante de 1ipsc*it0( tal que:

3;

( f ( x1 ), f ( x2 )) = c * ( x1 , x2 )
quaisque que sejam x1 , x 2 "e tencentes a uma aplicao 1ipsc*it0iana.
X

'2#&#2( , diz-se ento que

f

Definio 5: /ada uma a"licao f : X Y , designa-se "o N ( f ) ao conjunto de todos os elementos x X tais que f ( x) = 0 # > conjunto N ( f ) * um su0es"ao de X e * denominado de n2cleo da aplicao f #

Definio 6: /ada duas m*t icas 1 e 2 num conjunto A X , esc eve-se A1 = (A , 1 )e A2 = (A , 2 )# /iz-se que as m"tricas e so uniformemente e&uivalentes quando a a"licao A1 A2 fo um *omomorfismo uniforme# )ssim se 1 e 2 fo em m*t icas unifo memente equivalentes em A , ento todas as a"licaes definidas em A so as mesmas, que se use a m*t ica 1 ou a m*t ica
1 2

&-

2 #

Exemplos 1# Conside e o e!em"lo a0ai!o onde o es"ao dos veto es linha com duas colunas e o es"ao dos veto es coluna com duas linhas# 8sses dois es"aos so os mesmos, aos quais associamos os veto es que t1m os mesmos com"onentes, isto *#

&1

$1 & % ' & (1 2) ' ' (2& )

ento esta co es"ond1ncia " ese va as o"e aes de adio

$1& % $3& % $4& % ' ' ' 1 2 + 3 4 = 4 6 + = & ' & ( ) ( ) ( ) ' ' & ' (2& ) ' (4& ) ' (6& )

e a multi"licao "o escala

&2

$1 & % $4& % ' ' 4 * (1 2) = (4 8) 4 * ' & = ' & ' (2& ) ' (8 & )
2# >ut os dois es"aos: o es"ao P2 , dos "olin?mios quad 5ticos, e o 3 so os ,mesmosA# )qui a co es"ond1ncia natu al *:
$a0 % & ' & ' 2 ' a0 + a1 x + a2 x ' a1 & & & ' & ' & ' a ( )
2

) est utu a * " ese vada com a o"e ao de adio, assim:

a0 + a1 x + a2 x 2 b0 + b1 x + b2 x 2 ____________
$ a0 % $b0 & % $ a0 + b0 & % & ' ' ' & & ' & ' ' & & & ' ' (a0 + b0 ) + (a1 + b1 ) x + (a2 + b2 ) x 2 ' a + b = a + b & & ' ' ' 1& 1& 1 1& & ' ' ' & & & ' ' ' & & ' ( a2 ) ' (b2 ) ' (a2 + b2 & )

&3

e com a o"e ao de multi"licao "o escala :

$a0 % $ka0 & % & ' ' & & ' & ' & ' = k (a0 + a1 x + a2 x 2 ) = ka0 + ka1 x + ka2 x 2 k ' a1 & ka & ' ' 1 & & ' ' & & ' ' & ' ' (a ) (ka & )
2 2

Nuitas vezes se est5 inte essado em um ti"o de isomo fismo em "a ticula , no qual o es"ao * isomo fo a si mesmo, isto *, o automo fismo# Automorfismo Definio 7: > isomo fismo no qual o es"ao m*t ico * isomo fo a si mesmo * um ma"eamento chamado de automorfismo#

&&

Conside e o es"ao P5 de "olin?mios de g au meno ou igual a +, e um ma"eamento que envia um "olin?mio p ( x) "a a out o p ( x 1) # Po e!em"lo, so0 esse ma"eamento tem-se: 2 x 2 ( x 1) = x 2 2 x 1 x 3 + 2 x ( x 1) = x 3 3 x 2 + 5 x 3 3sto * um automorfismo# Oeomet icamente, a su0stituio de x "o x 1 em qualque funo, desloca seu g 5fico "a a a di eita "o uma unidade# )ssim um automo fismo f "a a P5 most a que esse es"ao tem ce ta homogeneidade ho izontal P o as"ecto do es"ao * o mesmo tanto " G!imo de x = 1 quanto de x = 0 #
3

&+

Definio 8: :m ma"a de dilatao d k : R 2 R 2 t ansfo ma todos os veto es em novos veto es iguais aos ante io es multi"licados "o um escala k 'Figu a 2#2( * um automorfismo de R 2 #

&.
d (v)

v u

d (u )

FIGURA 2.2 DILATAO VETORIAL

Definio 9: :m ma"a de rotao t : R 2 R 2 t ansfo ma os veto es "o uma otao, elativa a um Jngulo 'Figu a 2#3(# 3sso tam0*m * um automorfismo#

&6

t( u)

FIGURA 2.3 ROTAO VETORIAL

:m out o ti"o de automorfismo em 2 * o ma"eamento f1 : 2 2 que eflete todos os veto es so0 e uma linha l que "assa "ela o igem 'Figu a 2#&(#

&9

f( u)

FIGURA 2.4 REFLEXO VETORIAL

8!em"los:
$ x% & ' $ x% & ' & & ' y& ' & ++ & ' ' ' & ' y & ( ) ' & ' (z)

&;

1# > ma"a de " ojeo : R 3 R 2

um

*omomorfismo# 8le " ese va a adio $$ x1 % $ x2 %& % $ x1 + x2 % $ x1 % $ x2 % ' & & & & & ' ' ' ' ' $ x1 + x2 & % & & & & & '' & ' ' ' ' & & & & & ' ' ' ' ' ' ' & '' y1 & + ' y2 & = ' y1 + y2 & =' + ' y2 & & = ' y1 & & & & & & & & & ' ' ' ' ' ' ' & y y + & & & & & ( ) 1 2 ' & ' ' ' ' ' & & & & & ' ' ' ' ' & ' + z z z z z z ( 1 ( 1) ( 2) (( 1 ) ( 2 )) 2) e " ese va a multi"licao "o escala : $ $ x %% $ rx& % $ x% & ' & & ' ' ' $ % & rx & & & ' ' ' ' & & & & & ' ' ' ' & * = = = * ' r y ry r y & & & & ' ' ' ' ' & & & & & ' ' ' ' ' & ry & & & ( ) ' & ' ' ' & & & ' ' ' & ' ( rz ) ( z) ( ( z ))

$ote que este ma"eamento no * um isomorfismo# :ma vez que ele no * 0iun2voco ou 0ijeto , "ois tanto (0,0,0) e (0,0, z ) em 3 so ma"eados a"enas "a a (0,0) em 2 # 2# > ma"eamento f : 3 dado "o ( x, y, z ) 3 x + 2 y + 4 z * linea e * um *omomorfismo# 8m cont aste, o ma"eamento g : 3 dado "o ( x, y, z ) 3x + 2 y + 2 z + 1 no * linea # > que distingue os *omomorfismos * que as funes coo denadas so com0inaes linea es dos a gumentos#

+-

Lema 1: :m isomorfismo ma"eia o elemento ze o de um es"ao sem" e ao elemento ze o do out o es"ao ou do mesmo es"ao#
/emonst ao: 7uando f : X Y * um isomo fismo, qualque x X co es"onde a um elemento y Y e como um elemento fi!o 0 x X sof e, "ela definio 3, a seguinte t ansfo mao:

+1

(x) = (0x , x) = ( f (0x ), f (x)) = ( f (0x ), y ) = (y ) 0 x = f (0 x ) = 0 y

8m out as "alav as 0x0y#

) definio de isomo fismo eque que a soma de dois elementos se co es"ondam 0em como a multi"licao de um escala "o um elemento, logo, "ode-se estende o conceito de isomo fismo a todas as com0inaes linea es dos elementos de um es"ao veto ial#

+2

Lema 2: Pa a qualque ma"eamento f : X Y ent e elementos dos es"aos conside ados " ese vam suas est utu as: )ssim, se x1 , x 2 X e c ento: '1(: f ( x1 + x 2 ) = f ( x1 ) + f ( x 2 ) e f (cx) = c * f (x) '2(:
f

+3

" ese va a com0inao linea de dois elementos quaisque : f (c1x1 + c2 x 2 ) = f (c1x1 ) + f (c2 x 2 )

'3(: f " ese va a com0inao linea de qualque n4me o finito de elementos: f (c1x1 + + cn x n ) = f (c1x1 ) + + f (cn x n )

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

+&

Lema 3: dimenso#

<e es"aos so isomrficos, ento eles t1m a mesma

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Lema 4: )s condies necess5 ias e suficientes "a a que f : X Y sejam um homomo fismo so, "a a qualque c1 , c2 e x , x X :
1 2

++

f (c1x1 + c2 x 2 ) = c1 f (x1 ) + c2 f (x 2 ) 8 "a a quaisque c1 ,, cn e x1 ,, x n X , f (c1x1 + + cn x n ) = c1 f (x1 ) + + cn f (x n ) 8ste lema sim"lifica a ve ificao de que uma funo linea "ode " ese va a sua est utu a com elao = adio e a multi"licao "o escala #

8!em"lo > ma"eamento f : R 2 R 4 dado "o : $ x/2% & ' & ' & $ x& % f ' 0 & ' & ' ' ++ & & ' ' & ' x + y ' & ( y& ) & ' & ' & ' ( 3y ) satisfaz a seguinte ve ificao: $ r1 ( x1 / 2) + r2 ( x2 / 2) % $ x1 / 2 % $ x2 / 2 % & & & ' ' ' & & & ' ' ' & & ' ' ' 0 0 & 0 & & & ' ' ' & & & ' ' ' = r + r & & & 1 2 ' ' ' & & & r ( x + y ) + r ( x + y ) x + x x + y ' ' ' & & 1 1 1 2 2 2 & 1 2& 2 2& & ' ' ' & & & ' ' ' ' ' ' & & & ( r1 (3 y1 ) + r2 (3 y2 ) ) ( 3 y1 ) ( 3 y2 ) e * um homomo fismo#

+.

)lguns dos esultados que se tem visto "a a isomo fismos falham quando a"licados a *omomorfismos% em ge al um isomorfismo ent e es"aos esta0elece uma co es"ond1ncia ent e suas 0ases, mas um *omomorfismo no necessa iamente# ) dife ena ent e *omomorfismo e isomorfismo * que enquanto am0os os ma"eamentos " ese vam a est utu a, o homomo fismo no necessa iamente " ecisa se uma 0ijeo#

+6

Teorema 1: :m *omomorfismo * dete minado "o sua ao so0 e uma 0ase# 3sto *, se {BX } = {1 ,, n } * uma 0ase no es"ao X e y 1 ,, y n so 'no necessa iamente distintos( elementos do es"ao Y ento e!iste um homomo fismo de X "a a Y mandando 1 "a a y 1 ### , n "a a y n , e este *omomorfismo * 4nico#
/emonst ao: Keja no liv o )n5lise e N*todos $um* icos )"licados a 8ngnha ia, do auto #

+9

Definio 7: :m ma"eamento linea de um es"ao nele mesmo f : X X * uma transformao linear#

8!em"lo O mapeamento de derivadas a0 + a1 x + + an x n d : Pn Pn dx

+;

d a1 + 2a2 x + + nan x n1 dx

uma transformao linear, pois preserva sua estrutura com relao soma e a multiplicao por escalar.

Lema 5: Pa a es"aos X , Y o conjunto de todas as funes linea es de X Y * "o si mesmo um es"ao% um su0es"ao do es"ao de todas as funes de X Y e * denotado "o L (X , Y ) #
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

.-

Converg ncia. Con!untos Abertos e "ec#ados.

.1

Definio 1: :ma bola aberta, denotado "o B (x0 , r ), num es"ao m*t ico X * o conjunto de todos os "ontos x X que satisfaam = condio:
( x, x 0 ) " r

'2#+#1(

onde o "onto fi!o x 0 * o cent o e r o aio da 0ola#

Definio 2: es"ao m*t ico = condio:

:ma bola fec*ada, denotada "o B [ x 0 , r ], num * o conjunto de todos os "ontos x X que satisfaam
( x, x 0 ) r

.2

onde o "onto fi!o

x0

* o cent o e r o aio da 0ola#

x0

Definio 3: :ma 0ola a0e ta de aio e cent o em denomina 5 -vi0in*ana do "onto x e * denotado "o V (x 0 )#
0

se

Definio 4: > conjunto de "ontos de uma 0ola fechada B [ x 0 , r ] qualque , que satisfaa a igualdade (x, x 0 ) = r * denominado de esfera de cent o x e aio r , e * denotada "o Sr (x 0 )#
0

$onto de Ader ncia

.3

Definio 5: :m "onto x X * dito ponto de ader3ncia do conjunto A X se qualque vizinhana sua cont*m "elo menos um "onto de A # >u ainda ! * "onto de ade 1ncia de A se x fo o limite de uma seqL1ncia de "ontos x n X # )ssim todo "onto x X * de ade 1ncia, "ois 0asta toma uma seqL1ncia de "ontos xn = x # Nas "ode-se te um "onto a ade ente a X sem que ele "e tena a X , como "o e!em"lo, se X = (0, +!), ento 0 , X , 1 1 mas 0 * ade ente a X "ois * o limite da seqL1ncia com X n n "a a todo n + #

) totalidade dos "ontos de ade 1ncia ao conjunto [ A ]e * chamado de ader3ncia do conjunto A #

* denotada "o

.&

Teorema 1: ) o"e ao de ade 1ncia tem as seguintes " o" iedades: 1# A [ A ] 2# -/[ A ].0 = [ A ] 3# se A1 1 A 2 ento [ A1 ] 1 [ A 2 ] &# [ A1 1 A 2 ] = [ A1 ] 1 [ A 2 ] '2#+#2( '2#+#3( '2#+#&( '2#+#+(

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

.+

$onto de Acumula%o

..

Definio 6: :m "onto x X * dito ponto de acumulao do conjunto A X , quando em toda vizinhana sua e!iste um n4me o infinito de "ontos de A # > "onto de acumulao "ode "e tence ou no a A # Po e!em"lo, se A * o conjunto dos n4me os acionais do segmento Q-,1R, todo "onto dele * um "onto de acumulao de A # Definio 7: :m "onto x X * dito ponto isolado do conjunto A , quando uma vizinhana sua V (x) suficientemente "equena no cont*m out os "ontos de A , distintos de !#

Definio 8: <eja x1 , x 2 ,, xn , uma seqL1ncia de elementos de um es"ao m*t ico X # /iz-se que esta seqL1ncia converge "a a um elemento !, quando toda vizinhana V (x) do elemento x , cont*m xn , a "a ti de algum elemento, isto *, quando a cada n4me o 0 co es"onde um n4me o N tal que V (x) contenha todos os elementos xn "a a n N # )o elemento x , denomina-se de limite da se&43ncia {xn } .

.6

:ma out a manei a de se defini conve g1ncia *: lim (x, xn ) = 0 #

n!

/esta definio conclu2mos que: $enhuma seqL1ncia "ode te dois limites distintos% e

 <e a seqL1ncia conve ge ao elemento x , toda seqL1ncia "a cial contido nela, tam0*m conve ge "a a o mesmo elemento x # Teorema 2: Pa a que o elemento x X seja um "onto de ade 1ncia ao conjunto A * necess5 io e suficiente que e!ista uma seqL1ncia {xn } de elementos de A que convi ja "a a x # Definio 9: <ejam A e B dois conjuntos de um es"ao m*t ico X # > conjunto A * dito denso em B , quando [ A ] 2 B # 8m "a ticula , A * sempre denso, no es"ao m*t ico X , quando a ade 1ncia [ A ] coincide todo o es"ao X #

.9

8!em"lo: > conjunto dos n4me os acionais * sem" e denso na eta num* ica#

.;

Definio 10: :m conjunto A X ' X , es"ao m*t ico( * dito conjunto fec*ado quando coincide com a sua ade 1ncia: A = [ A ], isto *, se ele cont*m todos os seus "ontos de acumulao# 8!em"los: :ma 0ola fechada e" esenta um conjunto fechado# 8m "a ticula , o conjunto das funes f do es"ao C [ a, b ] que satisfaam a condio

6-

f (t ) k , * fechado%
8m qualque que seja o es"ao m*t ico o es"ao, X , so fechados#
X

o conjunto vazio, , e todo

Proposio 1: <ejam X , Y es"aos m*t icos# Pa a que uma a"licao f : X Y seja cont2nua, * necess5 io e suficiente que a sua imagem inve sa f 1 ( A ) de todo su0conjunto fechado A Y seja um su0conjunto fechado de X # Teorema 3: ) unio de um n4me o finito e a inte seo de um n4me o qualque 'finito ou infinito( de conjuntos fechados * fechada#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

61

Ponto Interior Definio 11: :m "onto x X * dito ponto interior do conjunto A , quando e!iste uma vizinhana V (x) deste "onto que "e tence integ almente a A # :m conjunto no qual todos os "ontos so inte io es se denomina conjunto aberto#

62

8!em"los: > es"ao intei o e o conjunto vazio so a0e tos% :ma 0ola a0e ta B (x , r ) em qualque es"ao m*t ico X * um conjunto a0e to# :m "onto x X * um conjunto a0e to em X se, e somente se, * um "onto isolado, "ois sG sendo o " G" io x uma 0ola * que "ode conte uma 0ola# :m es"ao m*t ico * disc eto se, e somente se, todos os seus su0conjuntos so a0e tos#
0

63

Teorema 4: Pa a que o conjunto A X seja um conjunto a0e to * necess5 io e suficiente que seu com"lemento X \ A ao es"ao X seja fechado#
/emonst ao: <e A * a0e to, ento em cada "onto de A e!iste uma vizinhana que "e tence integ almente a A , isto *, no tem nenhum "onto em comum com X \ A # Po conseguinte, nenhum "onto de A "ode se um "onto de ade 1ncia de X \ A , isto *, X \ A * fechado# )o cont 5 io, se X \ A * fechado, qualque "onto de ! de ) "ossui uma vizinhana V (x ) que "e tence integ almente a A , isto *, A * a0e to# 8st5 demonst ado o teo ema#

Teorema 5: ) unio de um n4me o qualque 'finito ou infinito( de conjuntos e a inte seo de um n4me o finito de conjuntos a0e tos so a0e tas# '/emonst a como e!e c2cio(# Proposio 2: <ejam X e Y es"aos m*t icos# Pa a que uma a"licao f : X Y seja cont2nua, * necess5 io e suficiente que a sua imagem inve sa f (A) de todo su0conjunto a0e to A Y seja um su0conjunto a0e to de X #
1

6&

>S<#: Fechado no * cont 5 io de a0e to# 7uando um conjunto no * a0e to, no se "ode conclui que ele seja fechado, ou vice ve sa# Po e!em"lo, o conjunto Q dos n4me os acionais no * nem fechado nem a0e to nos eais # I5 casos de conjuntos que so a0e tos e fechados ao mesmo tem"o, como o conjunto vazio e o es"ao intei o#

Definio 12: <eja uma seqL1ncia de elementos {x k } = {x1 , x 2 ,} de elementos de um es"ao euclidiano X # /izemos que {x k }converge para o elemento x X se, e somente se,
k !

6+

lim x k x = 0

>ut a manei a de defini conve g1ncia no es"ao euclidiano * semelhante = definio 5# )ssim, afi ma-se que {x k } conve ge "a a x se, e somente se, "a a cada n4me o eal 0 "ode-se encont a um intei o N () tal que:
x k x , k

N ( )

Lema 1:

<e lim {x k } = x e lim {x k } = y ento x = y #

k ! k !

6.

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Definio 13: /iz-se que uma seqL1ncia de funes f n : X converge ponto a ponto "a a uma funo f : X , quando "a a cada x X a seqL1ncia de n4me os:

{ f1 (x), f 2 (x),, f n (x),}

conve ge "a a o n4me o f n (x) # >u seja, x X fi!ado, tem-se
n!

lim f n (x) = f (x)

Definio 14: /iz-se que uma seqL1ncia de funes f n : X converge uniformemente "a a uma funo f : X , quando a asse tiva a0ai!o * ve dadei a:

66

0 dado, n0 | n

n0 f n (x) f (x) " , x X '2#+#.(

/iz-se que uma seqL1ncia de funes f n : X * normalmente { f (x ), f (x ),, f (x) ,} "e tencente a convergente quando e!iste uma seqL1ncia de constantes an 0 tais que an conve ge e f n (x) an "a a ( n ) ( x X ) # Definio 15:
1 2 n

Definio 16: 3ndica-se "o B (X , ) o conjunto de funes limitadas f : X # <e f , g B (X , ) e so a 0it 5 ias, ento:

69

( f , g ) = sup xX f ( x) g (x)

'2#+#6(

8sta m*t ica * chamada de m*t ica da converg3ncia uniforme#

Espaos Mtricos Completos

6;

:ma seqL1ncia {x } de "ontos de um es"ao m*t ico X se chama 5 seqL1ncia fundamental, quando ve ifica o crit"rio de )auc*y, isto *, quando "a a qualque 0 e!iste um n4me o N () tal que (x m , x n ) " "a a qualque n N () e m N ()# Hoda su0seqL1ncia de uma seqL1ncia de CauchE tam0*m * de CauchE#
k

Definio 1: :m es"ao m*t ico X * dito espao m"trico completo quando toda seqL1ncia fundamental de X conve ge, isto *, "a a cada 0 dado, e!iste N () tal que n N () im"lica que
(x n , x n+ p ) " qualque que seja p #

Definio 2: :ma seqL1ncia de funes f : X R chama-se uma se&43ncia de )auc*y 6ou fundamental7 quando 0 , dado a 0it a iamente, fo "oss2vel o0te n0 tal que m, n n0 f m (x) f n (x) " , x X #
n

9-

Critrio de Cauc#& para converg ncia uniforme

Teorema 1: ')rit"rio de )auc*y para converg3ncia uniforme(# :ma seqL1ncia de funes f n : X * dita unifo memente conve gente se, e somente se, * uma seqL1ncia de CauchE#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Corolrio: <e as funes conve ge unifo memente em unifo memente em [X ] #

f n : [X ] so cont2nuas e { f n } X , ento a seqL1ncia { f n } conve ge

91

) soma f = f n de uma s* ie * um caso "a ticula de um limite de uma seqL1ncia

f = lim sn sn = f1 + f 2 + + f n
n!

Po definio, a s* ie

conve ge unifo memente num conjunto

se, e somente se, a seqL1ncia de suas eduzidas sn tam0*m conve gi unifo memente "a a f em X # )ssim, dize que f n conve ge

unifo memente "a a f em resto Rn ( x) , definido "o :

, significa que

0,

e!iste

n0

tal que o

92

f (x) = f1 (x) + f 2 (x) + + f n (x) + Rn (x) cum" e a condio:

Rn (x) " ,( n

n0 ) ( x X )

Lema 1: Hoda a"licao unifo memente cont2nua t ansfo ma seqL1ncias de CauchE em seqL1ncias de CauchE#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Corolrio: <eja f : X um homomo fismo unifo me# :ma seqL1ncia de "ontos {x k } X * de CauchE se, e somente se, { f } fo de CauchE em #
n

93

8!em"lo: :ma a"licao a"enas cont2nua no "ode t ansfo ma seqL1ncia de CauchE em seqL1ncia de CauchE# Po e!em"lo: 1 a funo cont2nua f : (0,1] , f ( x) = que t ansfo ma a x $1% 1 & ' seqL1ncia de CauchE na seqL1ncia f ' & = {1, 2,3,} que no * & ' ( ) x n de CauchE% $1& % ' ou a funo f : (0,1) , f ( x) = cos ' & que t ansfo ma a seqL1ncia ' ( x& ) 1 de CauchE na seqL1ncia {1,1, 1,1,} que no * de CauchE# n

9&

Teorema 2: '8este de 9eierstrass(# <e f * no malmente conve gente, ento f n e f so unifo memente conve gentes#
n
n

9+

Teorema 3: <e uma seqL1ncia de funes integ 5veis f n : [ a, b ] conve ge unifo memente "a a f : [ a, b ] , ento f * integ 5vel e vale:
b b

#
a

f ( x) dx = lim # f n ( x) dx
n! a

'2#.#1(

Lema 2:

<e, "a a cada n , a s* ie

x
k

nk

fo conve gente e se,

9.

definido as funes f n : R "o

n

f n (k ) = xn1 + xn2 + + xnk , a s* ie

f conve ge unifo memente em , ento so conve gentes e iguais as somas e"etidas:

$ % $ % & & ' ' xnk & = ' xnk & ' & & ' ' ( ) ) n k k ( n
'2#.#2(

96

8!em"los: p 1 - > es"ao R n # <eja x( ) uma seqL1ncia fundamental de "ontos de

{ }

R n % isto significa que

0 e!iste

um n N () tal que:
n

(x
k =1

( p)
k

xk

(q)

2 , p , q
p 2 p n

)qui

{x( ) } = {x( ) , x( ) ,, x( ) } #
p p 1 p q

$este caso, "a a todo k = 1, 2,, n

p)

o0t*m-se a desigualdade co es"ondente = coo denada x(k

x(k ) x(k )
sem" e que p, q fundamental#
n % "o

conseguinte {x( )} * uma seqL1ncia

p

<ejam xk = lim x(k

p! p!

p)

{x} = {x1 , x 2 ,, x n } , ento * cla o que

99

lim x(k ) = x #
p

2 - > es"ao C [ a, b ]# <eja

{xn (t )} uma

seqL1ncia fundamental de
0

C [ a, b ]# 3sso significa que, "a a 0 dado, fo "oss2vel o0te n tal que: x n (t ) x m (t ) " ,( t [ a, b ]) ( m, n n0 ) Como a t a , se deduz que a seqL1ncia {x (t )} conve ge continuamente# Fazendo m ! na desigualdade acima, o0t*m-se: x n (t ) x (t ) " ,( t [ a, b ]) ( n n0 )
n

e isto significa, " ecisamente que {x da m*t ica do es"ao de C [a, b] #

(t )}

conve ge "a a x (t ) no sentido

3 - > es"ao l2 * o es"ao m*t ico cujos "ontos so todas as seqL1ncias de n4me os eais { x} = { x1 , x2 ,3, xn ,} que ve ificam a condio

9;

x
k =1

2 k

" ! e em que a distJncia * dada "o :

( x, y ) =

( y k x k )
k =1

Teorema 4: Pa a que um es"ao m*t ico X seja com"leto * necess5 io e suficiente que qualque seqL1ncia de 0olas fechadas deste es"ao encai!adas uma nas out as e cujos aios tendam a ze o, tenham uma inte seo no vazia#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

;-

Teorema 5: <eja a um "onto de acumulao de um es"ao m*t ico X # <e a seqL1ncia de funes f n : X R conve ge unifo memente "a a f : X R e, "a a cada n e!iste Fn = lim f n ( x ) , logo:
x a

;1

1 - 8!iste F = lim Fn
n!

2 - H1m-se F = lim f n (x)

n!

3sto *, l lim lim f n (x) = lim lim f n (x) , desde que e!istam os dois
n! x a x a n!

limites indicados dent o dos "a 1nteses, sendo o segundo deles unifo me#

Corolrio: <eja a um "onto de acumulao de um es"ao m*t ico X # <e a s* ie f n conve ge unifo memente "a a f em X e, "a a
n

;2

cada

n
n

e!iste

Fn = lim f n ( x ) ,
xa

ento

= lim f n ( x )# 3sto *:
n!

* uma s* ie conve gente e

n!

lim ( f n (x)) = lim f n (x)

n!
n

desde que f seja unifo memente conve gente#

n

Definio 3: <e diz que um conjunto M * nunca denso em R quando cada 0ola B R cont*m out a 0ola B* que no tem com M nenhum "onto em comum#

Teorema 6: '8eorema de +aire( :m es"ao m*t ico com"leto X no "ode se e" esentado como a unio de um n4me o nume 5vel de conjuntos nunca densos#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

;3

Lema 3: :m su0es"ao fechado de um es"ao m*t ico com"leto * com"leto# Teci" ocamente, um su0es"ao com"leto de qualque es"ao m*t ico * fechado#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Lema 4: > " oduto ca tesiano X Y * com"leto se, e somente se X e Y fo em com"letos# Corolrio: > " oduto X1 X2 Xn * com"leto se, e somente se X1 , X2 ,, Xn fo em com"letos# Teorema 7: Hodo su0conjunto infinito limitado X R "ossui um "onto de acumulao#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

;&

$rincpio das Aplicaes Contradas

;+

Definio 1: <eja um es"ao m*t ico X # ) a"licao f do es"ao X nele mesmo ' f : X X ( se chama aplicao contra%da quando e!iste um n4me o tal que, "a a qualque dois "ontos x1 , x 2 X , se ve ifica a desigualdade 'condio de contrao(:

( f (x1 ), f (x 2 )) (x1 , x 2 )
Hoda a"licao cont a2da * cont2nua#

'2#6#1(

Teorema 1: ':rinc%pio de aplicaes contra%das(# Hoda a"licao cont a2da definida em um es"ao m*t ico com"lete X , tem um "onto fi!o e sG um 'isto *, a equao f ( x ) = x tem uma 4nica soluo(# Conside e-se a a"licao A de um es"ao n-dimensional em si mesmo definido "elo sistema de equaes linea es: yi = aij x j + bi ; i = 1, 2,, n
j =1 n

;.

<e A * uma a"licao cont a2da, "odemos a"lica o m*todo das a" o!imaes sucessivas "a a esolve a equao y = Ax # <o0 que condio a a"licao A se 5 cont a2daU ) es"osta de"ende de como se escolha a m*t ica no es"ao# <ejam t 1s va iantes:

Exemplos: 1# > es"ao R n 0 , isto *, ( x, y ) = max xi yi ;

1in

;6

n (y 4, y 44) = max yi4 yi44 = max aij ( xi4 xi44 ) 1in 1in j =1 n n a# max aij * xi4 xi44 max aij * max xi4 xi44 = 1in 1in 1in j =1 j =1 n = max aij * (x4, x44) 1in j =1

da condio de cont ao '2#6#1( temos:

0#

aij " 1; i = 1, 2,, n

j =1
1in

'2#6#2(

;9

n 2# > es"ao R 1 , isto *, ( x, y ) =

xi yi % Fazendo o"e aes

semelhantes a que se fez no V!em"lo 1 acima, encont amos a seguinte condio de cont ao: a#

a
i =1

ij

" 1; j = 1, 2,, n
n

'2#6#3(

3# > es"ao R , isto *,

( xi yi ) # )"licando a desigualdade de
2 i =1

CauchE - SuniaWovsWi encont a-se a seguinte condio de cont ao:

a#

aij " 1;
j =1 i =1

'2#6#&(

;;

0# Po conseguinte, si se ve ifica "elo menos uma das condies '2#6#2(, '2#6#3( ou '2#6#&(, e!iste um "onto e somente um x = ( x1 , x2 ,, xn ) tal que: c# yi = aij x j + bi ; i = 1, 2,, n
j =1 n

'2#6#+(

d# al*m disso, as a" o!imaes sucessivas desta soluo t1m a fo ma:

( ) ( ) ( ) x( ) = x1 , x2 ,, xn
0 0 0 0 1

e#

( ) x( ) = ( x( ) , x( ) ,, x( ) )
1 1 1 2 1 n

1--

'2#6#.(

( ) ( ) ( ) x( ) = x1 , x2 ,, xn
n n n n

)
0

f# /onde

xi = a0 x(j
(k )
j =1

k 1)

( ) ( ) ( ) + bi e x( ) = x1 , x2 ,, xn "ode
0 0 0

se um "onto qualque de R n # &# Cada uma das condies '2#6#2(, '2#6#3( ou '2#6#&( * suficiente "a a que a a"licao y = Ax seja cont a2da# Com elao = condio

'2#6#2( "ode-se demonst a tam0*m que * necess5 ia "a a que a a"licao y = Ax seja cont a2da, no sentido da m*t ica usada# +# $enhuma das condies '2#6#2(, '2#6#3( ou '2#6#&( * necess5 ia "a a que se "ossa a"lica o m*todo das a" o!imaes sucessivas# <e aij 1 n , se cum" e as t 1s condies e * a"lic5vel o m*todo das a" o!imaes sucessivas e se
aij 1 n , caso em que as

1-1

condies '2#6#2(, '2#6#3( e '2#6#&( t1m soma igual a 1, o m*todo das a" o!imaes sucessivas no * a"lic5vel

)0ai!o, da -se-5 alguns e!em"los de uso do " inc2"io das ,aplicaes c !"#a$%asA: Exemplos de Aplicaes Contradas 1# <eja a equao dife encial y 4 = f (x, y ) com condio inicial y (x 0 ) = y 0 , sendo a funo f definida e cont2nua em um es"ao que contenha o "onto (x 0 , y 0 ) e ve ifica a condio de cont ao em elao a y : y : ( f1 , f 2 ) * (y1 , y 2 ) isto *,

1-2

f (x, y 1 ) f (x, y 2 ) y 1 y 2
conhecido tam0*m "o condio de Lipschitz# /emonst a -se-5 que e!iste em um segmento x x0 d uma soluo, e somente uma, y = (x) da equao dife encial dada, que ve ifica a condio inicial dada 'Teorema de Picard(: ) equao dife encial junto com a sua condio inicial * equivalente a equao integ al

1-3

(x) = y 0 + # f (t , (t )) dt
x0

/evido a continuidade de

temos que f (x, y ) "a a um 0 de

1-&

conjunto A X Y que contenha o "onto (x 0 , y 0 )# <eja d manei a que se cum" am as condies: 1( (x, y ) A , sem" e que x, x 0 d y , y 0 d 2( d " 1

<eja ento o es"ao C [ x, x 0 ] das funes cont2nuas definidas no segmento [ x, x 0 ] e tais que (x) y 0 d com m*t ica
(1 , 2 ) = max (x1 ) (x 2 )
x

> es"ao

C [ x, x 0 ]

* com"leto e fechado#

<eja a a"licao = L definida "o :

1-+

(x) = y 0 + # f (t , (t )) dt
x0

onde x x0 d 8sta a"licao t ansfo ma o es"ao com"leto C [ x, x ] em si mesmo e * cont a2do nele, "ois satisfaz = condio de cont ao ou condio de Xi"schistz# 8m efeito, seja C [ x, x 0 ] e x x0 " d # $esse caso
0

 ( x) y 0 =

# f (t , (t )) dt d
x0

1-.

e, "o conseguinte L (C [ x, x0 ]) C [ x, x 0 ]# )l*m disso

1 (x) 2 (x) # ( f (t , 1 (t )) f (t , 2 (t ))) dt d * max 1 (x) 2 (x)

x x0

Posto que d " 1, a a"licao L * cont a2da# 2# <eja a equao integ al linea no homog1nea de F edholm de 2Y es"*cie

f (x) = # K (x.y ) f (y ) dy + (x)

a

1-6

onde K 'chamado de n4cleo da equao integ al( e so funes dadas, f a funo incGgnita e um "a Jmet o a 0it 5 io suficientemente "equeno# <ejam K (x, y ) e (x) , "o hi"Gtese, cont2nuas em (a x b) (a y b), e "o conseqL1ncia

K (x, y ) # <eja a a"licao g = Lf do es"ao com"leto C [ a, b ]

em si mesma definida "o
b

g (x) = # K (x.y ) f (y ) dy + (x)

a

Hemos ( g1 , g 2 ) = max g1 (x) g 2 (x) * (b a )* max f1 (x) f 2 (x) , 1 "o conseguinte, a a"licao L * cont a2da se " # (b a ) /o " inc2"io das a"licaes cont a2das, deduz-se que "a a todo , 1 tal que " , a equao de F edholm tem uma 4nica (b a ) soluo# )s a" o!imaes sucessivas { f 0 (x), f1 (x), f 2 (x),, f n (x),} desta soluo t1m a fo ma:
b

1-9

f n (x) = x # K (x.y ) f n1 (y ) dy + (x)

a

onde f 0 (x), * uma funo cont2nua qualque #

1-;

"uncionais Lineares. Conceitos '(sicos

11-

Definio 1: :ma funo num"rica f , definida so0 e um es"ao linea L , se chama funcional. 8m out as "alav as, um funcional * um ma"eamento de um es"ao veto ial so0 e um cam"o de escala es# :m funcional * dito funcional aditivo quando: f (x + y ) = f (x ) + f ( y ) '2#9#1( e * denominado funcional homog1neo quando: f (ax) = af (x) '2#9#2(

"a a quaisque x e y "e tencentes a co "o qualque #

e a escala , "e tencente a um

111

Definio 2: :m funcional f * dito funcional linear quando ele fo aditivo e homog1neo# Exemplos de funcionais: 1# <eja R n o es"ao a itm*tico n-dimensional, com"osto "o elementos x = ( x1 , x2 ,, xn ) e seja a = (a1 , a2 ,, an ) um elemento dete minado de # 8nto f (x) = xi ai * um funcional linea
n
i =1 n

em R n #

2# )s integ ais I ( x) = # x (t ) dt
a b

112

3# )s integ ais F ( x ) = # x(t ) yo (t )dt onde y0 (t ) * uma funo definida so0 e [ a, b ] e x (t ) uma funo so0 e C[ a, b ]# &# $o mesmo es"ao C[ a, b ] do e!em"lo ante io , o funcional t0 ( x) = x(t0 ) , isto *, faz igual o valo do funcional t0 "a a a funo
b a

x ao valo da funo no "onto fi!o t0 : t0 ( x ) = # x(t ) (t t0 )dt %

a

entendendo "o delta a funo que * igual a ze o em todos os

"ontos, e!ceto no "onto t = t0 e que cuja integ al * igual a unidade 'funo de ;irac(#

113

Definio 3: <eja L um es"ao linea eal e sejam x e y "e tencentes a L # Chama-se segmento fec*ado em L , denotado "o L[ x, y ], ao conjunto de todos os elementos do ti"o ax + by onde (a 0) (b 0) (a + b = 1) # Definio 4: )o segmento definido = semelhana da definio ante io , "o *m sem os "ontos e!t emos x e y , se chama segmento aberto, e * denotado "o L[x, y ] #

Definio 5: :m conjunto M L se chama conjunto conve<o quando junto com dois "ontos quaisque x, y M cont*m tam0*m todos os "ontos do segmento que os une, isto *, [ x, y ] M onde

11&

[ x, y ] = {(1 t ) x + ty; 0 t 1} #
Definio 6: /enomina-se de n2cleo de um conjunto a 0it 5 io M L ao conjunto dos elementos x , denotado "o I (M ), tais que "a a todo y L , e!iste um n4me o = (y ) 0 , tal que (x + ty ) L, t " # Teorema 1: <e um conjunto tam0*m * conve!o#
/emonst ao:
ML

* conve!o, seu n4cleo I (M )

Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

11+

Teorema 2: ) inte seo de qualque n4me o finito de conjuntos conve!os * um conjunto conve!o#
/emonst ao: <eja M = M i onde todos os M i so conjuntos conve!os# <ejam tam0*m x, y M # $este caso, o segmento que une x a y "e tence a cada M i e, "o conseguinte, a M # Po tanto, M * efetivamente conve!o#

) meno dimenso de um "lano contendo um dado conjunto conve!o * chamada de dimenso do conjunto# ) clausura de um conjunto conve!o, esultante da adio ao conjunto conve!o todos os "ontos de seu conto no 'seus "ontos de ade 1ncia( " oduz um conjunto conve!o de FIGURA 2.& FEC'O CO(VEXO mesma dimenso, muitas vezes denominado *ull= conve<o ou fec*o cove<o 'Figu a 2#+(# > o0jetivo " inci"al do estudo dos conjuntos conve!os * o estudo dos corpos conve<os que so conjuntos conve!os finitos 'limitados( de dimenso n # )ssim um fec*o conve<o deve se com" eendido como um conjunto H de "ontos de

11.

) "alav a inglesa ,*ullA significa casco no sentido de ,&ue abarcaA, ,&ue contornaA, ,&ue enclausuraA# Nuitas vezes se t aduz essa e!" esso "o ,fechoA face a fo ma como * conhecida no meio cient2fico#

um es"ao veto ial eal que * o meno conjunto conve!o que o cont*m# $ote que H "ode se a unio de qualque conjunto de o0jetos feito de "ontos# >s corpos conve<os so homeomG ficos a uma 0ola fechada#

116

Funcional Con e!o Definio 7: :m funcional no negativo f , definido so0 e um es"ao linea eal L , se chama funcional conve<o se:
f ( x + y ) f ( x ) + f ( y ) , x, y L f (ax) = af (x), ou f (tx + (1 t ) y ) tf (x) + (1 t ) f (y ), x, y L t [ 0,1] f (ax) = af (x), a 0 '2#9#3( a 0

119

FIGURA 2.) FU(CIO(AI* CO(VEXO*

<e o sinal da desigualdade '2#9#3( se inve te , o funcional f * dito c>ncavo# >"e aes de soma ( f1 + f 2 )( x) = f1 ( x) + f 2 ( x) e milti"licao "o um n4me o "ositivo, t ansfo mam funcionais conve!os em out o funcional conve!o# Definio 8: :m funcional linea f , definido so0 e um es"ao linea L se chama ,funcional prolongadoA ou ,e<tensoA de um funcional f 0 definido em L0 L quando satisfaz a elao: f (x) = f 0 (x), x L0 L

11;

"eorema de Ha#n$%anac# Teorema 3: 6'a*n-+anac*7# <eja f um funcional conve<o finito definido so0 e um es"ao linea eal L e seja L0 um su0es"ao de L # <e f 0 * um funcional so0 e L0 , que satisfaa so0 e L0 a condio f (x) f 0 (x), o funcional f "ode se " olongado 'estendido( a um funcional f so0 e L que satisfaa em L , a mesma condio acima#
0

12-

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Corolrio: <eja um es"ao linea eal L e sejam A um conjunto conve!o a0e to em L , e B um conjunto conve!o em L , e mais A 5 B = 6 # 8nto e!iste um funcional 'ou fo ma linea ( f 0 so0 e L e um n4me o eal a R tal que
f ( A ) " a, f (B ) a

121

'essas inequaes "odem se evezadas t ocando f "o f (# Corolrio: <eja um es"ao linea eal localmente conve!o L e sejam A um conjunto conve<o aberto em L , e K um conjunto conve<o compacto em L , e mais A 5 K = 6 # 8nto e!iste um funcional 'ou fo ma linea ( f 0 so0 e L e um n4me o eal a R tal que
f ( A ) " a, f (K ) a

'essas inequaes "odem se evezadas(# Corolrio: <eja um es"ao linea eal localmente conve!o L e sejam A um conjunto conve<o fec*ado em L , e x0 um "onto em L mas no em A # 8nto e!iste um funcional 'ou fo ma linea ( cont2nuo f 0 so0 e L tal que f ( x0 ) Sup f ( A ) %

122

8m "a ticula , A * a inte seo de todos os meio-es"aos fechados em L que o cont*m#

Corolrio: <eja um es"ao linea eal 'ou com"le!o( L e sejam A um conjunto conve<o fec*ado de L , e x0 um "onto em L mas no em A # 8nto e!iste um funcional 'ou fo ma linea ( cont2nuo f 0 so0 e L tal que

123

f ( x0 )

Sup f ( A ) %

Definio 9: :m funcional linea f * dito funcional limitado se e!iste uma constante eal tal que f (x) x "a a todo x "e tencente a um es"ao linea # Teorema 4: :m funcional linea se e somente se ele fo limitado#
/emonst ao:
f

* denominado funcional cont%nuo

Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

12&

Definio 10: <eja f um funcional definido so0 e X R n # 8nto x 0 X * um m%nimo local de f se e!isti um 0 tal que f (x 0 ) f (x), x V (x 0 , ) 5 X # <e f (x 0 ) " f (x), x V (x 0 , ) 5 X com x 0 x , ento x 0 * um m%nimo local forte de f # Definio 11: <eja f um funcional definido so0 e X R n # 8nto x 0 X * um m2nimo glo0al de f se e!isti um 0 tal que f (x 0 ) f (x), x X # <e f (x 0 ) " f (x), x X com x 0 x , ento x 0 * um m%nimo global forte de f #

8!aminando ago a o com"o tamento do funcional na vizinhana de um m2nimo local x 0 # ) " inci"al fe amenta "a a esta an5lise * a e!"anso de f em se ie de HaElo em to no de x 0 # Pa a isso, deve-se defini g adiente de f e mat iz Iessiniana num conjunto Ck 3 de funcionais#

12+

Xem0 e-se que

Ck

* o conjunto de todos os funcionais que so continuamente dife enci5veis at* o dem

e so cont2nuos

em

X#

Definio 12: <eja f C1 (X ) ento o gradiente de f em x X * o veto definido da seguinte manei a:

12.

- 7 . - 7f . 8 9 8 9 8 7x1 9 8 7x1 9 8 9 8 9 8 7 9 8 7f 9 8 9 8 9 :f = 8 7x2 9 f = 8 7x2 9 8 9 8 9 8 9 8 9 8 9 8 9 8 7 9 8 7f 9 8 9 8 9 8 7xn 9 8 7xn 9 / 0 / 0

Definio 13: <eja f C2 (X ) ento o 'essiano de f em x X * a mat iz sim*t ica definida da seguinte manei a:

126

H (x) = H = -/ h ij .0

n i , j =1

72 f hij = 7xi7x j

> desenvolvimento em se ie de HaElo do funcional f em x X * convenientemente e!" essado em te mos do g adiente e do Iessiano# Nas es"ecificamente, se f C1 (X ) ento "a a qualque x X se tem: f (x + h ) = f (x) + :T (x)h + O ( h ) '2#9#&(

>u ainda, se f C2 (X ) ento "a a qualque x X se tem:

T ( ( ) f (x + h ) = f (x) + :T (x)h + 1 2 h H x h+O h

)'2#9#+(

129

Definio 14: <eja f C1 (X )# > funcional f * estacionrio em x 0 X 'ou de fo ma equivalente x 0 X * um ponto estacionrio de f ( se :(x0 ) = 0 # Teorema 5: <eja f C1 (X )# <e x 0 X * um m2nimo local de f , ento f * estacion5 io em x 0 X #
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

) condio de f * estacion5 ia em x 0 X * uma condio necess5 ia, "o em no suficiente "a a que o "onto x 0 X seja um m2nimo local# ) condio de sufici1ncia * dada "elo seguinte teo ema: Teorema 6: <eja f C2 (X ) e mais f seja estacion5 io em x 0 X # 8nto x 0 X * um m2nimo local fo te de f se a mat iz Iessiana H (x 0 ) fo "ositivo-definida#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

12;

) condio "a a o caso de m5!imo local de f * intei amente an5loga ao que se a" esentou acima# <e x 0 X * um m5!imo local, ento x 0 " ecisa se um "onto estacion5 io, e se a mat iz Iessiana H (x 0 ) fo negativo-definida, ento x 0 * um m5!imo local fo te# )l*m do mais * f5cil demonst a que se x 0 * um "onto estacion5 io, ento, $o e!iste nem m2nimo local e nem m5!imo local se H (x 0 ) tive tanto autovalo es "ositivos e negativos% Pode ou no e!isti um m2nimo 'm5!imo( local se H (x 0 ) fo "ositivo 'negativo( e semi-definida#

13-

Definio 15: <ejam f Cm (X ), x X ; R n e y R n , onde y = 1# ) m-*sima derivada direcional de f em x na di eo y * dado "o : f

( m)

131

d m f (x + y ) (x; y ) < d m =0

'2#9#.(

) de ivada di ecional "ode se calculada at av*s do uso da , eg a da cadeiaA da dife enciao# )ssim, "o e!em"lo, se f C1 (X ), x X ; R n , se tem:

f 1 (x; y ) =
()

df ( x1 + y1 ,, xn + yn ) = d =0
n i =1

132

7f ( x1, , xn )yi = :T (x) y 7xi

'2#9#6(

<e, "o out o lado se tive f C2 (X ), x X ; R n , se tem: f

( 2)

(x; y) = yT H (x) y

'2#9#9(

/essa definio, da definio 1& e dos teo emas 6 e 9, "odem-se enuncia os seguintes teo emas:

Teorema 7: <eja f C1 (X ), x X ; R n # <e x 0 X fo um m2nimo () local de f , ento f 1 (x 0 ; y ) = 0 em todas as di ees y # Teorema 8: <eja f C2 (X ), x X ; R n e seja x 0 X um "onto () onde f 1 (x 0 ; y ) = 0 em todas as di ees y % ento x 0 X * um m2nimo local fo te de f se f
( 2)

133

(x0 ; y ) 0 em todas as di ees y #

Espaos Lineares )ormados. Espaos de 'anac#.

13&

Definio 1: :ma norma em um es"ao linea ou veto ial X * um funcional conve!o finito definido so0 e X , que satisfaz as seguintes condies 'al*m das de conve!idade(: 1 - x 0; x X % 2 - x = . x , x X , % 3 - x + y x + y ; x, y X % & - x = 0 x < 0X # '2#;#1( '2#;#2( '2#;#3( '2#;#&(

Espao )ormado

13+

Definio 2: :m es"ao linea X no qual se tenha int oduzido uma no ma se chama espao normado# Hodo es"ao no mado se t ansfo ma em es"ao m*t ico se "a a quaisque elementos x, y X se toma (x, y ) = x y , isto *, a m*t ica do es"ao se 5 igual a sua no ma# Xogo, nos es"aos no mados su0sistem todos os conceitos e esultados elativos aos es"aos m*t icos#
Espao de 'anac#

Definio 3: Hodo es"ao no mado e com"leto chama-se espao de Banach#

Exemplos de espaos normados: 1 - ) eta num* ica R 1 se conve te em um es"ao no mado, si se toma x = x "a a todo x R 1 # 2 - <e no es"ao eal R n de n dimenses com elementos x = ( x , x ,, x ) fize mos
1 2 n

13.

x =

x
k =1

2 k

ou ainda se int oduzimos nele a no ma: x 1 = xk , ou ainda a

k =1

136

no ma

x 0 = max x k # '/emonst e que o es"ao com estas

1k n

m*t icas cum" e os a!iomas de no ma(# 3 - > es"ao C [ a, b ] de funes cont2nuas so0 e o segmento [ a, b ] com no ma definida "o
f = max f k (t ) #
1k n

Definio 5: /uas no mas x e x em um es"ao linea no mado X se chamam normas e&uivalentes, se e!istem constantes 0 e 0 tais que, "a a qualque x X se ve ifica a desigualdade:
x x x
*

139

Teorema 1: 8m um espao linear normado de dimenso finita todas as no mas so equivalentes#

Variedade Linear

Definio 6: > conjunto A no fechado de elementos que cont*m junto com os elementos x, y A todos os elementos " ovenientes da com0inao linea x + y , * denominado de variedade linear#

Definio 7: /ados os es"aos veto iais no mados X e Y , indica-se "o L (X ; Y ) o conjunto de todas as aplicaes lineares cont%nuas f : X Y # L (X ; Y ) * um es"ao linea 'veto ial(, com no ma
x X

13;

f = sup { f (x) ; x X , x = 1} # Pa a toda f L (X ; Y ) e todo vale f (x) f * x # Lema 1: <e o es"ao no mado veto ial no mado L (X ; Y ) * com"leto#
X

* com"leto, ento o es"ao

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Definio 8: /efine-se uma funo f : X Y , com X e Y es"aos de Sanach, como funes &uadrado-integrveis, quando e!istem as integ ais:

1&-

# #

f ( x ) dx f ( x ) dx
2

e, al*m disso, sua no ma * definida "o :

f g =

(#

f g dx

onde f e g so quad ado-integ 5veis#

Espao L& Definio 9: > es"ao de todas as funes quad ado-integ 5veis * um espao linear completo no malmente denotado "o L2 'chamado tam0*m de espao de 1ebesgue(, e "o se no mado tam0*m * um es"ao de Sanach# <o " o" iedades de L2 : i# > " oduto de duas funes quad ado-integ 5veis de L2 * uma funo integ 5vel "e tencente a L2 , uma vez que 2. - 2 f .g 1 2 / f + g 0% ) soma de duas funes quad ado-integ 5veis de L2 * uma funo integ 5vel de L2 , uma vez que ( f + g ) f 2 + 2 f .g + g 2 e mais,
2

1&1

ii#

"ela " o" iedade 1 acima, todas as "a celas do lado di eito da desigualdade so integ 5veis% iii# <e f L2 e "a a qualque , ento f L2 #

1&2

Teorema 2: ''a*n - +anac* para espaos normados(# <eja f 0 um funcional linea limitado definido so0 e um es"ao no mado L X # 8ste funcional "ode se " olongado "a a um funcional linea f , definido so0 e todo X , sem aumenta a no ma, isto *, de manei a que:
f0
L

= f

Proposio: Pa a cada es"ao no mado X e!iste um n4me o suficientemente g ande de funcionais linea es cont2nuos# Teorema 3: <e { f n } * uma seqL1ncia de0ilmente conve gente de funcionais linea es so0 e um es"ao de Sanach B , e!iste um n4me o constante K tal que, f n K , n = 1, 2, 8m out as "alav as, toda seqL1ncia { f } de0ilmente conve gente de elementos de um es"ao dual de Sanach, * limitada com elao = sua no ma#
n

1&3

Espaos Euclidianos

1&&

Definio 1: <e denomina produto escalar em um es"ao linea eal R a uma funo eal, denotada "o (x, y ) ou "o x, y , definida "a a cada "a de elementos x, y R , que satisfaz as seguintes condies:

(x, y ) = (y, x) (x, y + z ) = (x, y ) + (x, z ); x, y, z R (x, y ) = (x, y ); x, y R (x, x) 0 (x, x) = 0 x < 0 #

'comutatividade( 'dist i0utividade( 'associatividade a escala ( '"ositividade(

'2#10#1( '2#10#2( '2#10#3( '2#10#4( '2#10#5(

Espao Euclidiano

1&+

Definio 2: :m es"ao linea R com " oduto escala definido nele * chamado de espao euclidiano# $um es"ao euclidiano se int oduz uma no ma mediante a fG mula: x = ( x, x ) ou x = ( x, x )
2

'2#1-#.(

'2#1-#6(

/esta, "ode-se deduzi , a "a ti da desigualdade t iangula , a desigualdade de )auc*y - +unia,ovs,i 'demonst a como e!e c2cio(:

1&.

(x, y ) x . y

'2#1-#9(

) e!ist1ncia de " oduto escala , (x, y ) = (y, x), em um es"ao euclidiano R "e mite defini nele no sG a no ma de um veto e" esentando seu com" imento, como tam0*m o Jngulo ent e dois elementos quaisque , que * dado "o :

cos ( ) =

(x, y )
x* y

<e (x, y ) = 0 = ortogonais#

, os veto es x, y 2

so chamados vetores

1&6

Lema: <e x, y so elementos quaisque de um es"ao euclidiano R , ento * ve dadei a a e!" esso: x+y x + y

Definio 3: :m conjunto de veto es {x k } R , dife entes de ze o, chama-se de sistema ortogonal quando "a a quaisque dois elementos deste conjunto, cum" e-se a igualdade:

1&9

(xi , x j ) = 0, i j
Teorema 1: /ois elementos quaisque so o togonais, se, e somente se:
x+y = x + y

'2#1-#;(

isto *, quando o conjunto * linea mente inde"endente#

x, y

num es"ao euclidiano R

Definio 4: :m sistema o togonal {x k } R com"leto 'isto *, tal que o meno su0es"ao fechado que o cont*m * todo R ( se chama 0ase o togonal# <e, al*m disso, a no ma de cada elemento * igual = unidade, o sistema * dito sistema o tono mal:

1&;

0, i j (xi , x j ) = ij = 1, i = j
onde ij * denominado de delta de Kronec,er#

'2#1-#1-(

Definio 5: /iz-se que as funes o tono mais em um inte valo [ a, b ] se:

1 , 2 ,, n ,

so

1+-

(i , j ) = # i j dx = ij
a

'2#1-#11(

Exemplos: 1# > es"ao de coo denadas R n de n dimenses, cujos elementos so os sistemas de n4me os eais x = ( x1 , x2 ,, xn ) com as o"e aes ha0ituais de adio e multi"licao e com " oduto inte no definido "o : (x, y ) = xi yi #
i =1 n

1+1

2# > es"ao L2 com os elementos x = ( x1 , x2 ,, xn ,) donde

x
i =1

2 i

" ! e com " oduto escala definido "o (x, y ) = xi yi #

i =1

3# > es"ao C2 [ a, b ] com"osto "o funes cont2nuas eais so0 e o segmento [ a, b ] com " oduto escala definido "o :

( f , g ) = # f (t ) g (t ) dt
a

1+2

$este es"ao, ent e dife entes 0ases o togonais que se "ode acha , o sistema t igonom*t ico * de fundamental im"o tJncia# 8sse sistema * com"osto "elas funes:
$ 2nt % $ 2nt % 1 & & ' ; cos ' ; sin ; n = 1, 2,, n, & & ' ' & & ' ' ( ) ( ) 2 ba ba

'" ove a o togonalidade do sistema fo mado "elas equaes acima(# Teorema 2: '-obre a ?rtogonali0ao(# <eja {f } = {f1 , f 2 ,, f n ,} um sistema linea mente inde"endente de elementos em um es"ao

euclidiano @, no qual e!iste um sistema de elementos {} = {1 , 2 ,, n ,} que satisfaz as seguintes condies:

o sistema

1+3

{} ortogonal e normal;

todo elemento

n uma combinao linear dos elementos de {f } : n = n1f1 + n 2f 2 + + nnf n ; f f n = n11 + n 2 2 + + nn n

todo elemento n se representa na forma:

8nto todo elemento de {} * dete minado "elas condies 1#, 2#, e 3# acima de manei a un2voca, a menos de um fato < 1# Proposio 1: 3nt oduzindo em um es"ao euclidiano R uma 0ase x R "ode se o tono mal {e} = {e1 , e 2 ,, en } , todo veto e" esentado na fo ma:

x = k xk , k = (x, e k )
k =1

'2#1-#12(
xR

1+&

<eja o desenvolvimento da e" esentao de qualque um es"ao euclidiano infinito#

1 2 n

no caso de

)ssim, seja {} = { , ,, ,} um sistema o tono mal em um es"ao euclidiano R e seja f um elemento a 0it 5 io de R # Colocando-se em co es"ond1ncia a todo elemento f R a seqL1ncia de n4me os k = (f , k ), k = 1, 2,, n que se denominam coeficientes de Aourier do elemento f segundo o sistema {} e a s* ie k k que se denomina s"rie de Aourier do elemento f segundo o sistema o tono mal {}#

<u ge, evidentemente, "e guntas como: a s* ie de Fou ie conve geU e se conve ge, coincide sua soma com o elemento inicial f U <eja ento o seguinte " o0lema, "a a que se "ossa es"onde a estas "e guntas: "a a um dado n4me o n, * "oss2vel escolhe os coeficientes k , (k = 1, 2, , n) de manei a que a distJncia ent e f e a soma

1++

S n = k k seja m2nima#

Como {} * o tono mal, temos:

f S n = (f k k , f k k ) =
2

1+.

= (f , f ) 2(f , k k ) + ( k k , k k ) = = f 2 k k + k 2 =
2 2 = f k + ( k k ) 2 2

@ cla o que a e!" esso acima alcana seu m2nimo quando o 4ltimo te mo fo igual = ze o, isto *, k = k , k = 1, 2,, n # $este caso
2 f S n = f k 2 2 k =1 n

)ssim, demonst amos que "a a um n dado, ent e todas as somas do ti"o S n = k k , a de meno desvio de f * a soma "a cial da s* ie de
k =1 n

1+6

Fou ie do elemento f # Posto que sem" e

2 f S n 0 f k 0 2 2 2 f k 2

ou de out a fo ma:

k2 f # )qui n * a 0it 5 io e o mem0 o da

2 2 k conve ge quando k ! , k

di eita inde"ende de n , logo a se ie isto *,

 k2 f
k =1

'2#1-#13(

1+9

) desigualdade acima se chama de desigualdade de +essel, e dela ti ase a seguinte definio: Definio 6: :m sistema o tono mal {} se chama sistema ortonormal fec*ado quando "a a qualque f R , se cum" e a igualdade de :arseval:

k2 = f
k =1

'2#1-#1&(

Teorema 3: Pa a que um es"ao no mado R seja euclidiano * necess5 io e suficiente que "a a quaisque dois elementos f , g R a igualdade a segui se cum" a:
f +g + f g = 2 f + g
2 2

1+;

'2#1-#1+(

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Teorema 4: ':rocesso de ?rtogonali0ao de Bram--c*midt(: <eja x = ( x , x ,, x ,) um conjunto 'finito ou infinito( de elementos linea mente inde"endentes num es"ao euclidiano R # 8nto e!iste um conjunto o togonal e1 , e 2 ,, en , em R tal que, "a a cada intei o n , span (ek ) = span (x k ), isto *, o es"ao ge ado "o e , e ,, e , * igual ao es"ao ge ado "o x1 , x 2 ,, x n ,# )l*m disso, os elementos ek "odem se escolhidos de aco do com a eg a:
1 2 n
1 2 n

1.-

e1 = x1 e n+1 = x n+1 1e1 nen i =

'2#1-#1.(

(x n+1 , ei )
(ei .ei )

, i = 1, 2,, n

Teorema 5: <eja X R um su0es"ao de dimenso finita de um es"ao euclidiano R de dimenso finita# <eja r um elemento de R # 8nto r "ode se decom"osto e!atamente de um modo assim: r = x + d onde x * um elemento de X e d um elemento de R tal que (d, ei ) = 0 "a a qualque 0ase e1 , e2 ,, en do su0es"ao X #

1.1

Espao de *ilbert

1.2

Definio 7: :m espao m"trico infinito com um " oduto inte no definido so0 e ele e com"leto com elao a uma no ma definida "elo " oduto escala , * chamado de Espao de Hilbert# Definio 8: <e H * um es"ao de Iil0e t e S H * um su0conjunto linea que * fechado so0 e H 'Xem0 amos que S H se linea im"lica que u, v S , R (u + v ) S ( 8nto S * chamado de subespao de Hilbert.

Teorema 6: '8eorema de @ies0 - Aisc*er(# <eja, H , um es"ao de Iil0e t 'um es"ao euclidiano com"leto e de dimenso infinita(# <eja a seqL1ncia de n4me os eais: c1 , c2 , R , <eja e1 , e 2 , uma seqL1ncia infinita o tono mal a 0it 5 ia de H # <e e!iste
lim ck2
k =1 n

1.3

n!

ento e!iste um elemento v H tal que

ck = ( v, ek ) v = lim c
2 n! k =1
/emonst ao:

2 k

'2#1-#16(

Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

1.&

Espao de *ilbert +epar(vel

:m es"ao de Iil0e t H que tem um conjunto Definio 9: o tono mal com"leto * dito Espao de Hilbert Separvel# <eja {} = {1 , 2 ,, n ,} um conjunto o tono mal com"leto em um dado es"ao de Iil0e t H e seja f H um elemento a 0it 5 io dele# 8nto i = (i , f ) * definido "ela elao de com"letude

i = f " !
2 i =1

onde 1 , 2 , * uma seqL1ncia infinita# Teci" ocamente, seja , , uma seqL1ncia infinita de n4me o tais que:
1 2

 i " !
2 i =1

1.+

8nto
2

f n = ii
i =1 ! 2

uma

seqL1ncia

de

CauchE,

"ois

f n f m = i
i =1

tende a ze o quando n e m a" o!imam-se do

H

infinito# Po conseguinte o es"ao de Iil0e t um limite forte f e i = (f , i )#

* com"leto, e {fi } tem

Teorema 7: '8eorema da :rojeo(# <e h * um elemento de um dado es"ao de Iil0e t H e G * um su0es"ao de H ' G H (, ento e!iste um 4nico elemento g G , chamado de " ojeo de H so0 e G , e um 4nico elemento f o togonal a todo elemento em G , tal que h = g + f , com (u, f ) = 0 "a a todos u G #
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

1..

Teorema 8: <e f * um funcional linea cont2nuo definido so0 e um es"ao de Iil0e t H , ento e!iste um 4nico elemento x em H tal que f (h) = (x, h )#
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Definio 10: :ma seqL1ncia de elementos {f } "e tencentes a um es"ao de Iil0e t H * dita te um limite fraco se lim (h, fi ) = (h, f ) "a a
i

1.6

i !

todo h H . 8m um es"ao de Iil0e t se"a 5vel, este limite * chamado de converg3ncia modo componente "o causa da e!ist1ncia de uma 0ase o tono mal# >u seja, sendo {} = { , ,, ,} um conjunto o tono mal com"leto, ento lim ( k , fi ) = ( k , f ) "a a qualque k # 3sto
1 2 n

i !

demonst a que o W-*simo com"onente de fi conve ge "a a o W-*simo com"onente de f # 8nto "a a todo h H tem-se:

(h, fi ) (h, f ) = h,(fi f ) h * fi f 0

quando i ! #

)onverg3ncia forte implica em converg3ncia fraca/ mas no o inverso# Po tanto, seja {f } uma seqL1ncia com um limite fo te f # 8nto "a a cada h H tem-se:
i

1.9

(h, fi ) (h, f ) = h,(fi f ) h * fi f 0

quando i Pa a most a que a conve g1ncia f aca no im"lica em conve g1ncia fo te, seja a seqL1ncia de elementos o tono mais { k } em H # <eja h um elemento a 0it 5 io de H # 8nto "ela desigualdade de Sessel temse:

(h,
k =1

) h "!
2

Po out o lado,
i !

1.;

lim (h, k ) = 0 = (h, 0)

k

o que demonst a que { } tem um limite f aco em 0 # 8nt etanto, "o hi"Gtese inicial { } * o tono mal e logo k = 1, k , logo a seqL1ncia no "ode te limite fo te em 0 #
k

Teorema 9: )s no mas de uma seqL1ncia conve gente f aca so unifo memente limitadas% isto *, se {f } conve ge f acamente, ento e!iste um K tal que f n K "a a todo i#
i

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

16-

Teorema 10: :m es"ao de Iil0e t H * f acamente com"leto, isto *, quando (h, f n f m ) 0 "a a n !; m ! , "a a todo h H , ento a seqL1ncia {f } de elementos de H tem um limite f aco#
i

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Definio 11: > conjunto de todos os funcionais linea es cont2nuos definidos so0 e um es"ao euclidiano X fo ma um es"ao linea chamado dual, denotado "o X * #

Lema: Pa a funcionais linea es cont2nuos f definidos so0 e um es"ao no mado qualque , a no ma que induz converg3ncia forte *:

161

= lim
0

( )

Teorema 11: <eja H um es"ao de Iil0e t# Pa a todo funcional f cont2nuo em H e!iste um 4nico elemento x 0 H tal que f (x) = (x, x0 ), x H # 8 mais, esulta que f = x 0 # Kice ve sa, se x H a fo mula acima define um funcional linea cont2nuo f tal que f = x 0 # /isto se conclui que H e seu es"ao dual so isomo fos#
0

Teorema 12: com"leto#

> es"ao dual X * de um es"ao no mado *

162

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

,peradores Lineares

163

Definio 1: <ejam X e Y dois es"aos linea es# Chama-se operador linear aquele que atua de X em Y , a toda a"licao y = Ax , onde x X e y Y , e que ve ifica a condio: A (x1 + x 2 ) = Ax1 + Ax 2 '2#11#1(

>nde o o"e ado A * a e" esentao mat icial de uma a"licao linea #

-ariedade Linear

16&

Definio 2: )o conjunto DA de todos os x X "a a os quais est5 definida a a"licao linea A , denomina-se de campo de definio do operador A % em ge al DA < X , no entanto, sem" e admiti -se-5 que D * uma variedade linear#
A

Definio 3: :m o"e ado linea A * dito operador linear cont%nuo no "onto x 0 DA quando "a a qualque vizinhana V do "onto y 0 = Ax 0 e!iste uma vizinhana U do "onto x 0 tal que Ax V sem" e que x ( DA 5 U ) # )ssim, o o"e ado * dito cont2nuo se "a a qualque 0 e!iste um 0 tal que da desigualdade x1 x 2 " , se deduza que Ax1 Ax 2 " #

Exemplos <eja A um o"e ado linea que t ansfo ma um es"ao de dimenso finita R n n-dimensional em out o es"ao R m mdimensional# <eja (e1 , e 2 ,, en ) 0ase de R n e (f1 , f 2 ,, f m ) 0ase de R m # <e x * um elemento a 0it 5 io de R n , temos: x = xi ei e devido = linea idade de A , temos: se t ansfo ma os elementos {ei } da 0ase# <eja o desenvolvimento do veto Aei segundo a 0ase (f , f ,, f ) : Aei = aij f j # /a2 se v1 que A * definido "ela mat iz dos coeficientes aij # ?bserve &ue em um espao finito todo operador linear " cont%nuo.
1 2 m

16+

Ax = xi Aei # )ssim

esta 5 definido si se conhece como

> o"e ado linea que t ansfo ma cada elemento de um es"ao linea nele mesmo * o o"e ado unit5 io: Ax = x, x X #
b

16.

/emonst a que o o"e ado dado "o (t ) = # K ( s, t ) ( s ) ds

a

so0 e C [ a, b ] * cont2nuo com no ma = max (t ) #

Definio 4: :m o"e ado A se chama operador limitado ou acotado se t ansfo ma toda 0ola em um conjunto acotado, isto *, quando e!iste uma constante tal que "a a todo x do es"ao no mado em conside ao temos Ax x # )o meno dos n4me os que satisfaz a desigualdade dada, se chama de norma do operador linear A , e se denota "o A # 8nt e limitao e continuidade de um o"e ado linea e!iste uma elao est eita, e t1m luga as seguintes " o"osies:
Hodo o"e ado cont2nuo * limitado% <e um o"e ado linea * limitado, e se o es"ao onde atua fo no mado, o o"e ado * cont2nuo e ele * equivalente = sua limitao%

166

> o"e ado linea A * limitado quando e!iste uma constante K tal que, "a a todo f X , tem-se Af K f 'definio &(# Teorema 1: Pa a qualque o"e ado limitado es"ao no mado "a a out o, se tem: A = sup x 1
$ Ax % & & Ax = sup ' ' & ' & ' x 0 ( x )
A

169

que atua de um

'2#11#2(

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Definio 5: <ejam A e B dois o"e ado es linea es que atuam de X em Y , dois es"aos no mados# ) soma A + B deles * out o o"e ado C que "e em co es"ond1ncia o elemento x X ao elemento y = ( Ax + Bx) Y . <e os o"e ado es A e B fo em acotados, ento vale a seguinte desigualdade: C A + B # Definio 6: <e um o"e ado linea A atua de X em Y ' A : X Y (, e out o o"e ado B atua de Y em Z ' B : Y Z (, ento o produto BA dos operadores A e B , fo ma um o"e ado C que "e em co es"ond1ncia o elemento x X ao elemento z = B ( Ax) Z # <e X , Y e Z fo em no mados e A e B fo em acotados, o o"e ado C = AB tam0*m * acotado e, al*m disso, vale a elao: C A * B #

16;

,perador positivo definido

19-

Definio 7: :m o"e ado definido, se e somente se e!iste

2

se chama operador positivo 0 tal que: '2#11#3(

( Ax, x) x , x 0
chama-se o"e ado "ositivo semi-definido se

( Ax, x) 0, x 0

'2#11#&(

Definio 8: :m o"e ado A de X em Y se chama operador invers%vel, quando "a a qualque y Y a equao y = Ax tem soluo 4nica#

Teorema 2: :m o"e ado A -1 , * dito o"e ado inve so do o"e ado linea A , e tam0*m * linea #
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

191

Teorema 3: '8eorema de +anac* sobre operadores inversos(# <eja A um o"e ado linea limitado que efetua uma t ansfo mao 0iun2voca do es"ao de Sanach B1 so0 e o es"ao de Sanach B2 # 8nto, o o"e ado inve so A -1 * limitado#

Lema: <eja L um conjunto sem" e denso de um es"ao de Sanach B # 8nto todo elemento de B no nulo f B e f 0 "ode se desenvolvido em s* ie:

192

f = f1 + f 2 + + f n +
/onde f k L e f k

3f # 2k

/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

Teorema 4: <e A * um o"e ado linea , "ositivo definido e limitado, ento o o"e ado linea limitado A e!iste
-1

,perador Con!ugado

193

Definio 9: <eja A um o"e ado linea cont2nuo que a"lica um es"ao X so0 e out o Y do mesmo ti"o# <eja f uma funcional linea cont2nua definida so0 e Y # 8nto o o"e ado A* , que o0edece a elao ( f , Ax) = ( A* f , x) * dito se um operador conjugado ou adjunto. :ma de suas " o" iedades * que ele se define mediante a mat iz t ans"osta da mat iz do o"e ado A # )s seguintes " o" iedades seguem da definio de o"e ado es conjugados: 1# > o"e ado A* * linea % 2# ( A + B) = A* + B* %
*

3# <e W * um n4me o com"le!o (kA ) = kA* %

*

19&

Teorema 5: > o"e ado A conjugado a um o"e ado linea limitado 'acotado( A que a"lica um es"ao de Sanach B em um out o es"ao de Sanach B2 , tam0*m * limitado 'acotado( e A* = A #
* 1

Teorema 6: <e e!isti em dois o"e ado es A e C so0 e um es"ao de Iil0e t H tal que ( Ah,g ) = (h,Cg ) "a a quaisque h,g H , ento A e
C so limitados e C = A* #

Definio 10: :m o"e ado linea limitado que atua em um es"ao euclidiano R , se chama operador autoconjugado ou autoadjunto quando A* = A , isto *, quando:

19+

( Ax, y ) = (x, Ay )
"a a todos os x, y R #

'2#11#+(

Definio 11: :m o"e ado linea A definido so0 e um es"ao de Iil0e t H * dito completamente cont%nuo se ela ma"eia seqL1ncias f acamente conve gentes em seqL1ncias fo temente conve gentes% isto *, se {f } tem um limite f aco f , ento {Af k } tem limite fo te Af #
k

Definio 12: <eja A um o"e ado linea em um es"ao ndimensional X n # > n4me o se chama valor prprio ou autovalor do o"e ado A , quando a equao: Ax = x t1m solues no nulas# Definio 13: > conjunto de todos os autovalo es se denomina espectro do operador A # Teorema 7: <e A * um o"e ado com"letamente cont2nuo e autoadjunto, ento ou A ou A * um autovalo #
/emonst ao: Keja no liv o )n5lise e N*todos $uum* icos )"licados a 8ngnha ia, do auto #

19.

Aplica%o 'ilinear

196

Definio 14: <ejam X , Y e Z es"aos veto iais# ) a"licao f : X Y Z * uma aplicao bilinear e * ca acte izada "elas condies: '1(# f (x1 + x 2 , y1 ) = f (x1 , y1 ) + f (x 2 , y1 ) '2(# f (x1 , y1 ) = f (x1 , y1 ) '3(# f (x1 , y1 + y 2 ) = f (x1 , y1 ) + f (x1 , y 2 ) '&(# f (x1 , y1 ) = f (x1 , y1 ) onde x1 , x 2 X e y1 , y 2 Y so equivalentes:
e

# )l*m disso, as afi maes a0ai!o

'+(# f * cont2nua% '.( f * cont2nua no "onto (0, 0) X Y % '6( e!iste c yY% 0 tal que f (x, y ) c * x * y "a a quaisque x X e

199

'9( f * li"schitziana em cada "a te limitada de X Y #

Definio 15: :ma forma bilinear A (=, =) so0 e um es"ao linea ou veto ial no mado H * dito se limitada 'ou cont2nua( se e!iste uma constante C , C " ! , tal que

19;

A ( v, w ) C * v

* w

, v, w H

se e coe civa so0 e V H

A ( v, v ) * v
2 H

0 tal que
, v V H
Z

Proposio: <ejam X , Y e 0ilinea f : X Y Z * cont2nua#

es"aos veto iais# Hoda a"licao

Teorema 8: <eja A um o"e ado auto-adjunto com"letamente cont2nuo definido so0 e um es"ao de Iil0e t H # <eja H = G + F , onde F * o es"ao nulo do o"e ado ' x em F im"lica em Ax = 0 ( e G * o togonal a F # <e F no * o es"ao todo, ento G cont*m autoveto es de A ,
y1 , y 2 , y 3 , | Ay i = i y i ,(y i , y j ) = ij y1 y 2 y 3

1;-

e os autoveto es y1 , y 2 , y 3 , so com"letos em dimenso finita, ento lim i = 0 #

i !

G#

<e

no * de

Teorema 9: <eja A um o"e ado auto-adjunto com"letamente cont2nuo definido so0 e um es"ao de Iil0e t H # <eja o es"ao nulo do o"e ado contendo unicamente o veto ze o# 8nto se 0 e no fo igual a um autovalo de A , a equao: Ax x = g tem uma 4nica soluo dada "o
x=
i =1 !

1;1

gi yi i

onde i so autovalo es de A co es"ondentes aos autoveto es y i e g i = (y i , g ) # <e fo igual a um autovalo i ento no e!iste soluo a

menos que g seja o togonal a todo autoveto co es"ondente a este autovalo # $este 4ltimo caso, e!iste uma soluo 4nica dada "o :
x=
i =1 ik !

1;2

gi yi + h i k

onde h * uma com0inao linea co es"ondentes a k #

a 0it 5 ia dos autoveto es