2.

lgebra dos Espaos Lineares

2.1 Espaos Lineares
Definio 1: Chama-se de espao linear
1
a um conjunto , no vazio, de elementos , , , x y z que
satisfaz as seguintes condies:
- , | x y z z z x y (2.1.1)
- x y y x (Comutatividade) (2.1.2)
- x y z x y z (Associatividade) (2.1.3)
- | , 0 x 0 x x (Existncia do Zero) (2.1.4)

1
Nota: Os conjuntos genricos que no so caracterizados como espaos, sero referidos por uma letra times new roman
maiscula em negrito ( , ,... A B ) e seus elementos por letras latinas minsculas (x, y,...), enquanto que os conjuntos
caracterizados como espaos lineares, sero representados por uma letra latina maiscula tipo Euclid Math One em negrito
( , , , , etc ) com exceo os espaos dos reais e dos complexos, e os seus elementos sero representados por letras
minsculas em negrito ( x y z , , ,...); por sua vez, os componentes de um elemento de em espao linear, sero sempre
representados por letras minsculas latinas (
1 2
, , ,
n
x x x ), salvo indicao expressa.
- a a x x (2.1.5)
- a b ab x x (2.1.6)
- 1x x (Elemento Neutro) (2.1.7)
- a b a b x x x (Distributiva) (2.1.8)
- a a a x y x y (2.1.9)
- | 0 x x x x x (2.1.10)

Por exemplo, seja F o conjunto de todas as funes do tipo : f . Note que funes dos tipos:

( )
( ) ( )
2
1
2
2 7 f
f sen
= +
=
x x x
x x



pertencem a F, pois esto definidas para todos os x ; por outro lado, funes do tipo

( )
( ) ( )
1
2
1
tan
g
g
=
=
x
x
x x

no pertencem a F, pois no esto definidas para todos os x . Pode-se verificar que se tomando duas funes
quaisquer de F, pode-se definir uma funo soma das primeiras, assim,
( ) ( )
1 2 1 2 1 2
, f f f f f f + = + e x x F (2.1.11)
Alm disso, define-se a multiplicao de uma funo por um escalar qualquer:
( ) ( ) ( ) . . c f x c f = x (2.1.12)
Com as operaes acima, F um espao linear, pois satisfaz a todos os axiomas definidos na definio 1 (relaes
(2.1.1) a (2.1.10)).

Exemplos
Demonstrar que:
a - A reta numrica, isto , o conjunto dos nmeros reais com as operaes habituais de adio e
multiplicao representa um espao linear.
b - O espao vetorial de n-dimenso, ou seja, o conjunto de todos os sistemas possveis de n nmeros (reais
ou complexos)
1 2
, , ,
n
x x x x no qual se define adio e multiplicao por escalar, da seguinte maneira:

1 2 1 2 1 1 2 2
, , , , , , , , ,
n n n n
x x x y y y x y x y x y x y

1 2 1 2
, , , , , ,
n n
a a x x x ax ax ax x
tambm um espao linear e denomina-se espao aritmtico de n-dimenses denotando-o por
n
R quando
no corpo dos reais ou
n
C no caso dos complexos.
c - O espao das funes contnuas (reais ou complexas) sobre um segmento , a b com as operaes usuais
de adio de funes e multiplicao de funes por escalar constitui o espao linear , a b C .


2.2 Isomorfismo de Espaos Lineares
2.2.1 Geral
Definio 1: Dois espaos lineares ou vetoriais e
*
so ditos isomorfos quando se pode estabelecer entre
seus elementos uma correspondncia biunvoca compatvel com as operaes neles definidos. Isto significa que se

* * *
..
,
.
,
. e a a nt o
* *
x x y y x y x y
x y x* y* x x*
(2.2.1)
so as duas condies de isomorfismo, com a , um nmero arbitrrio.
Isto significa que, se e
*
so isomorfos, ento o nmero de elementos linearmente independentes em cada
espao o mesmo, isto , e
*
tm a mesma dimenso.
Teorema 1: Quaisquer dois espaos lineares reais n-dimensionais so isomorfos.
Demonstrao:
Sejam , , ,
1 2 n
e e e denotados por
i
e uma base em e
* * *
1 2
, , ,
n
e e e denotado por
*
i
e uma base em
*
. Seja um
elemento
* * * *
1 1 2 2 n n
x x x x e e e de
*
colocado em correspondncia com o elemento
1 1 2 2 n n
x x x x e e e de .
Esta correspondncia uma-a-uma, devido unicidade de resoluo de um vetor em relao a sua base. Assim, se deve verificar
se as condies de isomorfismo so satisfeitas:
1
* * *
1 1 1
* * * * * *
1 1 2 2 1 1 2 2
* *
n n n
n n n n
x y x y
x x x y y y
x y e e
e e e e e e
x y
(2.2.2)
2 -
*
* * * * * * *
1 1 2 2 1 1 2 2 n n n n
a ax ax ax a x x x a x e e e e e e x (2.2.3)
Logo, fica estabelecido a correspondncia entre e
*
, e isto completa a prova do teorema.

Corolrio 1: Espaos lineares de dimenso finita com dimenses distintas, no so isomorfos.
Teorema 2: Um espao linear complexo
n
C de dimenso n pode ser mapeado um-a-um para um espao linear
real
2n
R , de dimenso 2n , tal que a condio:

*
* *
x y x y (2.2.4)
permanece vlida, e para fatores , a segunda condio

*
*
x x l l (2.2.5)
tambm permanece vlida.

2.2.2 Subespaos. Dependncia Linear
Definio 1: Sejam , , , ,
1 2 n
y x x x , elementos quaisquer de um espao linear . Se y puder ser escrito
como:
a b n
1 2 n
y x x x (2.2.6)
diz-se que y uma combinao linear (CL) de , , ,
1 2 n
x x x , onde a, b, c, d,..., n so escalares.
Definio 2: Um conjunto de elementos , , ,
1 2 n
x x x

de um espao linear qualquer

dito ser
linearmente dependente, (LD) quando existirem nmeros a , b , c , d ,..., n , no todos iguais a zero, tal que:
0 a b n
1 2 n
x x x (2.2.7)
Definio 3: Um conjunto de elementos , , ,
1 2 n
x x x

de um espao linear qualquer dito ser
linearmente independente (LI), quando a equao abaixo for verdadeira:
0 a b n
1 2 n
x x x
(2.2.8)

se e somente se 0 a b c n .
Definio 4: Um conjunto infinito de elementos de um espao se chama linearmente independente,
quando todo subconjunto finito seu linearmente independente.
Se em um espao linear se puder encontrar n elementos LI, e quaisquer 1 n elementos deste espao forem LD
ento se diz que um espao de dimenso finita n. No entanto, se em , pudermos indicar um conjunto
composto por um nmero finito qualquer de elementos LI, diz-se que de dimenso infinita.
Definio 5: Um conjunto qualquer de n elementos , , ,
1 2 n
x x x

de um espao linear qualquer,

linearmente independente (LI), dito base de um espao de n-dimenses.
Teorema 1: Se tem uma base contendo n elementos, ento quaisquer 1 n ou mais elementos de
so linearmente dependentes.
Corolrio 1: Se tem uma base contendo n elementos, ento toda base de tem n elementos.
Definio 6: Um subconjunto no vazio de um espao linear dito ser subespao de em
relao s operaes de adio e multiplicao por escalar definidas em se:
, a b x y x y (2.2.9)
quaisquer que sejam os escalares a e b .
Em todo espao linear , existe um subespao formado somente pelo elemento zero, o subespao nulo. Um
subespao de
,
que contenha pelo menos um elemento no nulo dito subespao prprio.
Teorema 2: Se um subespao de um espao linear de n dimenses, ento a dimenso de
menor ou igual a n .

Exemplos:
1. O conjunto de elementos ax x e tomando todos os valores numricos, forma evidentemente um
espao unidimensional;
2. Em um espao n
2
-dimensional de matrizes quadradas n n , o conjunto de matrizes simtricas
ik
a , tal
que
ik ki
a a , um subespao;
3. O conjunto de polinmios , a b P definidos sobre o espao das funes contnuas , a b C . .
4. O conjunto
1
, a b C de todas as funes que possuem derivada contnua em todo intervalo , a b ; isto , a
chamada funo continuamente diferencivel em , a b . Como uma funo diferencivel contnua, cada
funo em
1
, a b C tambm pertence a
1
, a b C . evidente que
1
, a b C fechado com relao adio
de funes e multiplicao por escalar, portanto subespao de
1
, a b C . Em geral, se ,
n
a b C denota o
conjunto de todas as funes n vezes continuamente diferenciveis em , a b , ento
1
, a b C um
subespao de
1
, a b C , sempre que m n.


Lema 1: Se e so subespaos de , ento o conjunto constitudo de todos os elementos
pertencentes tanto a como a um subespao de .
Demonstrao:
Como e so subespaos de , ento contm o elemento Nulo. Sejam ento dois elementos
1 2
x , x quaisquer
de e , ento
1
x e
1
x como tambm
2
x e
2
x , portanto
1 x
x x a b tambm pertence tanto a
como , e por conseqncia pertence tambm a . Logo um subespao de .

Exerccios:
1. Determine qual dos seguintes subconjuntos so subespaos do espao linear indicado. Demonstre, dando as
razes para suas respostas:
a. O subconjunto de
n
P constitudo do polinmio nulo e de todos os polinmios de grau 1 n .
b. O conjunto de todas as funes contnuas de
1
, a b C que se anulam no ponto
0
x do segmento
, a b .
c. O conjunto de todas as funes no-decrescentes de
1
, a b C .
d. O conjunto de todas as funes f x de
1
, a b C , tais que 0
b
a
f x dx .
2. Demonstre que as funes
2 2
sin , cos , sin , cos x x x x geram o mesmo subespao de
1
, a b C que
as funes 1, sin 2 , cos 2 x x .
3. Sejam e dois subespaos de . Demonstre que o conjunto subespao de se, e
somente se, ou ou .
Clausura Linear
Definio 7: Sejam
1 2 n
x , x ,, x uma coleo de elementos de certo espao linear . Denomina-se
clausura linear dos elementos
1 2 n
x , x ,, x coleo de todas as combinaes lineares destes elementos, isto ,
o conjunto dos elementos:

1 2 n
x x x a b h
com
1 2 n
x , x ,, x e , , , a b h .
Uma clausura linear dos elementos
1 2 n
x , x ,, x simbolizada por
1 2 n
x , x ,, x . Assim toda clausura linear
1 2 n
x , x ,, x de elementos
1 2 n
x , x ,, x um subespao de e o menor subespao de contendo
os elementos
1 2 n
x , x ,, x .
Exemplo:
A clausura linear dos elementos , , , ,
2 n
1 t t t do espao linear
1
, a b C de todas as funes x x t
definidas e contnuas no intervalo fechado a b t um exemplo de clausura linear.

Sejam , dois subespaos lineares arbitrrios de um mesmo espao linear , isto ,
ento,
Definio 8: A coleo de todos os elementos x tal que x x , formam um subespao de
chamado de subespao interseo de , .
Definio 9: A coleo de todos os elementos x + y onde x y forma um subespao de
chamado subespao soma ou subespao unio de , .
Teorema 3: A soma das dimenses dos subespaos lineares arbitrrios
1 2
, de um espao linear de
dimenso finita igual soma da dimenso dos espaos interseo e unio desses subespaos.
Demonstrao:
Sejam e respectivamente os subespaos interseo e unio de
1 2
, , isto ,
(2.2.10)
Considerando ser k-dimensional, seja
k
e base de . Sejam ento
k n
e g e
k n
e f respectivamente bases
de , , onde,
, , , , , , ,
, , , , , , ,
k n k n
k n k n
1 2 1 2
1 2 1 2
e g e e e g g g
e f e e e f f f
(2.2.11)
Assim, suficiente provar que os elementos:
, , , , , , , , , , ,
k n 1 2 1 2 1 2 n
e e e g g g f f f (2.2.12)
formam uma base de .
Para inicio, deve-se provar que os elementos de (2.2.12) so linearmente independentes. Assim, a combinao linear de (2.2.12)
o elemento zero, isto ,
1 2 1 1 k k n n n
a a a
1 2 1 1 n
e e e g g f f 0 b b g g (2.2.13)
ou ainda
1 2 1 1 k k n n n
a a a
1 2 1 1 n
e e e g g f f b b g g (2.2.14)
O lado esquerdo de (2.2.14) um elemento de
1
e o lado direito um elemento de
2
donde segue que ambos os lados de
(2.2.14) pertencem a . Em particular, o lado direito de (2.2.14) certa combinao linear de , , ,
k 1 2
e e e , tal que:
1 1 2 n k k 1 n 1 2
f f e e e g g d d d (2.2.15)
Em virtude de que , , , , , , ,
k n 1 2 1 2
e e e f f f ser uma base de , os elementos so linearmente independentes, logo:
1 1 2 n k k 1 n 1 2
f f e e e 0 g g d d d
e por ser igual a zero preciso que
1 1
, , , , ,
n k
g g d d sejam todos nulos. Levando este resultado para (2.2.14), obtm-se:
1 2 1 k k n n
a a a
1 2 1
e e e g g 0 b b (2.2.16)
Como , , , , , , ,
k n 1 2 1 2
e e e g g g base de estes elementos so linearmente independentes, logo segue que todos os
coeficientes
1 2 1
, , , , , ,
k n
a a a b b so todos nulos. Dos resultados acima segue que os elementos em (2.2.13) so LI
(linearmente independentes).
Resta provar que qualquer elemento x pode ser escrito como combinao linear de (2.2.12). Isto conseqncia, pois
x pode ser escrito como a soma de um elemento de
1
e outro de
2
.
Logo o teorema est provado.


2.2.3 Subespaos Gerados
Um subespao de ,
n
a b C alm de ser subespao de ,
n
a b C tambm complexo. Isto tambm vale para
os reais.
Definio 1: O conjunto de todos os elementos ou combinaes lineares do conjunto de elementos
, , ,
1 2 q
G a a a de ,
n
a b C um subespao chamado de espao gerado por G ou span
2
{G}:

1,...,
1
, , , |
q
i i i
i q
i
span span z z
n
1 2 q
G a a a C a a C a
Se os , , ,
1 2 q
a a a so linearmente independentes, cada elemento de span {G} admite uma nica expresso
como combinao linear de , , ,
1 2 q
a a a . O conjunto G chamado de base do subespao gerado e denotado por
span {G}.
Um subespao muito importante na anlise numrica o Subspao de Krylov.

2
A palavra em ingls span significa espao, como substantivo, ou cobrir, abarcar, como verbo. Ela representa aqui o mesmo que
espao gerado por.
Definio 2: Sejam uma matriz
n n
A no singular e um vetor
n
y 0 . Dizemos que um
subespao subespao de Krylov de dimenso 1 m , e denotado por ,
m
A y , se ele for gerado pelo conjunto
2 1
, , , ,
m
y Ay A y A y , isto

2 1
0,1,...,
0
, , , , ,
|
m
m m
m
n i i n
i
i m
i
span
z z a
A y y Ay A y A y
C A y A y C
(2.2.17)
Pode-se verificar que
1 2 1 m m
. Faa essa demonstrao como exerccio.

2.2.4 Espaos Compactos
Definio 1: O conjunto de subconjuntos de um conjunto X cuja unio o prprio X denominado
de cobertura do conjunto X.
Definio 2: Se X um espao linear na definio 1 acima, a cobertura dita cobertura aberta se cada
um dos elementos de tambm um subconjunto aberto de X.
Definio 3: Um conjunto de subconjuntos de um conjunto X dito ter a propredade de interseo
finita, se cada subconjunto de ou um subconjunto finito de tenha interseo no vazia.

Definio 4: Um espao linear X dito ser um espao compacto se e somente se ele possuir uma ou
mais das seguintes propriedades:
i. Toda cobertura aberta de X contm uma cobertura finita;
ii. Se um conjunto de subcoonjuntos fechados de X tem a propriedade de interseo finita, e assim
a interseo dos subconjuntos de no vazia.
iii. Toda famlia direta de pontos de X tem um ponto limite em X.
Definio 5: Um subconjunto A de um espao linear X dito ser um subconjunto compacto se a
somente se X for compacto. O subconjunto A dito ser relativamente compacto em X se e somente se sua
clausura A for compacta.
Definio 6: Um espao linear X dito ser um um espao separado (ou espao de Hausdorff) se, para
quaisquer dois pontos distintos , x y X, existe uma vizinhana de x e uma vizinhana de y que so disjuntas.
Definio 7: Um espao linear X dito ser um um espao normal se, para quaisquer dois conjuntos
fechados distintos , A B X, existir vizinhanas que so disjuntas.
Lema 1: Subconjuntos de
n n
R C so compactos se eles forem limitados e fechados.
Lema 2: Se X um espao compacto, Y um espao linear, e f uma funo contnua de X em Y, ento
f X um subconjunto compacto de Y. Se, alm disso, f for injetora e Y um espao separado, ento f um
homeomofismo de X para f X .
Lema 3: Qualquer espao X compacto e separado um espao normal.
Teorema: (Tychonoff). O produto (no sentido topolgico) de qualquer famlia de espaos compactos tembm
compacto.
Definio 8: Um espao linear X dito ser um espao localmente compacto se e somente se cada ponto
de X tiver no mnimo uma vizinhana campacta.
Assim, qualquer espao compacto tembm localmente compacto; qualquer espao discreto localmente
compacto; qualquer subespao fechado de um espao localmente compacto localmente compacto.
Definio 9: Um espao linear X dito ser um um espao regular se, para cada ponto x X, a
vizinhana fechada de x forma uma base da vizinhana de x .


2.3 Espaos Mtricos
Definio 1: Um conjunto M de elementos , , , x y z de natureza arbitrria se denomina Espao
Mtrico, se todo par de elementos , x y Mse corresponde a um nmero real no negativo , r x y de modo que:
, 0 r x y x y (axioma da identidade) (2.3.1)
, , r r x y y x (axioma da simetria) (2.3.2)
, , , r r r x y y z x z (axioma triangular) (2.3.3)
O nmero , r x y leva o nome de distncia entre os elementos x e y ou mtrica e muitas vezes tambm
denotado pelo smbolo , x y .

Exemplos:
1. Espao de pontos isolados com , 0 r x y x y ou , 1 r x y x y .
2. O conjunto dos nmeros reais com distncia , r x y x y formando o espao mtrico
1
R .
3. O conjunto de grupos ordenados de n nmeros reais
1 2
, , ,
n
x x x x com distncia definida por
2
1
, ( )
k k
n
k
y x r x y que se denomina espao aritmtico euclidiano de n-dimenses
n
R . V-se que
n
R satisfaz os axiomas (1) (2.3.1) e (2) (2.3.2) da definio 1 acima.

Demonstrar-se- agora que o espao euclidiano n-dimensional
n
R tambm satisfaz ao axioma (3) (2.3.3) da
definio 1 acima:
Sejam , , , x y z elementos de
n
R , ento:
( , ) ( , ) + ( , ) r r r x z x y y z (2.3.4)

2 2
2
1 1 1
n n n
k k k k
k k
k k k
y y
x x z z
(2.3.5)
Se
k k k
y x a e
k k k
z y b ento
k k k k
z x a b logo:

2 2 2
1 1 1
n n n
k k k k
k k k
a b a b
(2.3.6)
Aplicando a desigualdade de Cauchy - Buniakovski (ou de Cauchy - Schwarz), tem-se:

2
2 2
1 1 1 1
2 2 2 2
1 1 1 1
2
2 2
1 1
2
2
n n n n
k k k k k k
k k k k
n n n n
k k k k
k k k k
n n
k k
k k
a b a a b b
a a b b
a b
(2.3.7)
que prova que satisfaz a desigualdade triangular.

Definio 2: O conjunto de grupos ordenados de n nmeros reais
1 2
, , ,
n
x x x x com distncia
definida por:

1
, | |
k k
n
k
x y r x y (2.3.8)
conhecido por
1
n
R .
Definio 3: O conjunto de grupos ordenados de n nmeros reais
1 2
, , ,
n
x x x x com distncia
definida por:
, max , 1
k k
y x k n r x y
conhecido por
0
n
R .
Exemplo:
O conjunto , C a b de todas as funes contnuas sobre o segmento , a b e distncia definida por:
, max , f g g t f t a t b r (2.3.9)

Definio 4: Denomina-se espao
2
, o espao vetorial cujos pontos so todas as seqncias
1 2
, , , ,
n
x x x x de nmeros reais que satisfaam a condio
2
1
k
k
x
e cuja distncia definida por:

2
1
, ( )
k k
n
k
y x r x y (2.3.10)
Definio 5: O conjunto de todas as funes contnuas no segmento , a b , definindo distncia por:

1/ 2
2
( , )
[ ( ) ( )]
b
a
dt x t y t
r x y
(2.3.11)
o espao mtrico conhecido por
2
, C a b e chamado de espao das funes contnuas com mtrica quadrada.

Exerccio:
Demonstrar o axioma (3) da definio de espao mtrico, para o espao
2
, C a b .
Sugesto: neste espao o axioma (3) (2.3.3) da definio 1 pode ser deduzido diretamente da desigualdade
de Cauchy - Buniakovski em sua forma integral

2
2 2
b b b
a a a
t t dt t dt t dt x y x y
(2.3.12)
Ou na sua forma normal:

2
2 2
1 1 1
n n n
k k k k
k k k
a b a b
(2.3.13)

Definio 6: O conjunto de todos os grupos ordenados
1 2
, , , ,
n
x x x x de n nmeros reais com
distncia ou mtrica igual a:

1
1
,
n
p
p
p k k
k
y x r x y
(2.3.14)
onde p um nmero fixo arbitrrio > 1, o espao mtrico denotado por
n
p
R .
Como em todas as definies de espaos mtricos tpicos v-se que a mtrica (2.3.14) satisfaz aos axiomas (1) e (2) e
assim pode-se provar que a mtrica satisfaz ao axioma triangular:
Assim, sejam
n
p
x, y, z R . Sejam tambm
k k k
y x a e
k k k
z y b , como no exemplo 3. O axioma triangular afirma
que:
( , ) ( , ) ( , )
p p p
r r r x z x y y z
(2.3.15)
substituindo-se pela expresso dada em (2.3.14), tem-se:

1 1 1
1 1 1
n n n
p p p
p p p
k k k k k k
k k k
z x y x z y (2.3.16)

1 1 1
1 1 1
n n n
p p p
p p p
k k k k
k k k
a b a b
que conhecido como desigualdade de Minkowski.
Para 1 p , a prova imediata. Para 1 p , a prova se baseia na desigualdade de Hlder, que nos afirma:

1 1 1
1 1 1
n n n
p p p
p p p
k k k k
k k k
a b a b
(2.3.17)
para 1 p e 1 q , devem cumprir a seguinte condio:

1 1
1, 1 1 com p p q ou q q p
p q
(2.3.18)
Observa-se que a desigualdade (2.3.17) homognea, o que significa que se ela
se cumpre para dois elementos quaisquer
1
, ,
n
a a a e
1
, ,
n
b b b ,
ela tambm se cumpre para os elementos la e hb , com , l h nmeros
arbitrrios. Por isso suficiente demonstrar que (2.3.17) satisfeita para uso
de:

1 1
1
n n
p q
k k
k k
a b
(2.3.19)
ento, levando essa condio em (2.3.17), tem-se

1
1
n
k k
k
a b (2.3.20)
Se em um plano , x z considerarmos uma curva
1 p
z x com 0 p , ou
ainda
1 q
x z , conforme a Figura 2.1 ao lado. V-se por ela que para
quaisquer valores positivos a e b as reas
1 2
. S S a b + > . Assim,
,

a
,=--
(p-1)
FIGURA 1.1 CURVA
1 p
z x
1
1
0
1
2
0
a
p
p
b
q
q
a
S d
p
b
S d
q
x x
z z

logo se verifica a desigualdade numrica
p
q
b
a
ab
p q

Pondo
k
a a ,
k
b b e somando com relao a k desde 1 at n, e levando-se em considerao as expresses (2.3.18) e
(2.3.19), se obtm:

1
1
n
k k
k
a b (2.3.21)
Assim, demonstramos (2.3.20) e, por conseguinte (2.3.17).
Em (2.3.14) se 2 p , a desigualdade de Hlder igual desigualdade de Cauchy - Buniakovski (j demonstrada
anteriormente).
Demonstrar-se- agora a desigualdade de Minkowski:
Para isso, seja considerar a identidade:
1 p p
z z z. Fazendo z a b tem-se:
1 1 1
.
p p p p
a b a b a b a a b b a b
fazendo
k
a a e
k
b b e somando com relao a k desde 1 at n, obtm-se:
1 1
1 1 1
. .
n n n
p p p
k k k k k k k k
k k k
a b a b a a b b
Aplicando a cada uma das somas a desigualdade de Hlder, e considerando (2.3.16), isto , 1 p p q , encontra-se:
1 1 1
1
1 1 1
.
q p p
p
p
n p
p
k k k k k k
k
n n n
k k k
a b a b a b

Dividindo-se ambos os lados da desigualdade por
1
1
q
k k
p
n
k
a b
, obtm-se:

1 1 1
1 1 1
p p p
p
n n n p p
k k k k
k k k
a b a b

(2.3.22)
Com isso se comprova a desigualdade de Minkowski, que por conseqncia se prova o axioma triangular para o espao
n
p
R .
Definio 7: Uma semimtrica sobre um conjunto M uma funo : d M M R que satisfaz as
seguintes propriedades:
i. , 0 d x y
ii. , 0 d x y x y
iii. , , d d x y y x
A diferena entre semimtrica de uma mtrica (veja definio 1) a de que as semimtricas no precisam atender
desigualdade triangular (veja expresso (2.3.3)).
Definio 8: Um conjunto M de elementos , , , x y z de natureza arbitrria se denomina Espao
Semimtrico, se todo par de elementos , x y Mse corresponde a um nmero real no negativo , d x y que
atenda aos axiomas da definio 7 acima.

2.4 Aplicaes Contnuas de Espaos Mtricos. Isomorfismo.
Sejam e dois espaos mtricos e f uma aplicao do espao em : : f (leia-se f aplica
em ). Portanto, a cada elemento x se pe em correspondncia um elemento f y x .
Sendo : f , diz-se que o domnio de f . O conjunto de todos os f y x para x
denominado de imagem de f , e designado por f .
Definio 1: A aplicao como exposta acima dita uma aplicao contnua no ponto
0
x se para
cada 0 e existir um 0 d tal que, para todos os x que satisfizer a desigualdade ( )
0
, x x o < , se verifica a
desigualdade ( ) ( ) ( )
1 0
, f x f x c < , onde r e
1
r so as distncias (ou mtricas) em e respectivamente. Se
a aplicao contnua em todos os pontos de , diz-se que ela contnua em .
Homomorfismo
Definio 2: Sendo f uma aplicao biunvoca de em , existe a aplicao inversa ( )
1
x f y

= de
em . Se tanto f como
1
f forem aplicaes contnuas, diz-se que f uma aplicao homomorfa, ou
homomorfismo, e e sobre os quais se podem estabelecer uma aplicao homomorfa, so denominados
espaos homomorfos.
Isomorfismo
Definio 3: Dois espaos mtricos so ditos espaos isomorfos, quando se pode estabelecer entre seus
elementos uma aplicao f bijetiva, tal que
( ) ( ) ( ) ( )
1 2 1 1 2
, , x x f x f x = (2.4.1)
Assim f dita uma aplicao isomorfa e os espaos e so isomtricos.
Definio 4: Dada uma aplicao : f , supondo que exista uma constante c > 0 (chamada
constante de Lipschitz) tal que:
( ) ( ) ( ) ( )
1 2 1 2
, , f x f x c x x = (2.4.2)
quaisquer que sejam ,
1 2
x x

pertencentes a
,
diz-se ento que f uma aplicao Lipschitziana.
Definio 5: Dada uma aplicao : f , designa-se por N f ao conjunto de todos os elementos
x tais que 0 f x . O conjunto N f um subespao de e denominado de ncleo da aplicao f .
Definio 6: Dada duas mtricas
1
r e
2
r num conjunto , escreve-se
1 1
, A r e
2 2
, A r . Diz-se que as mtricas
1
r e
2
r so uniformemente equivalentes quando a aplicao
1 2
A A for um
homomorfismo uniforme. Assim se
1
r e
2
r forem mtricas uniformemente equivalentes em , ento todas as
aplicaes definidas em so as mesmas, quer se use a mtrica
1
r ou a mtrica
2
r .

Exemplos
1. Considere o exemplo abaixo onde o espao dos vetores linha com duas colunas e o espao dos vetores
coluna com duas linhas. Esses dois espaos so os mesmos, aos quais associamos os vetores que tm os
mesmos componentes, isto .
1
1 2
2

ento esta correspondncia preserva as operaes de adio

1 3 4
1 2 3 4 4 6
2 4 6

e a multiplicao por escalar

1 4
4 1 2 4 8 4
2 8

2. Outros dois espaos: o espao
2
P , dos polinmios quadrticos, e o
3
so os mesmos. Aqui a
correspondncia natural :
0
2
0 1 2 1
2
a
a a x a x a
a

A estrutura preservada com a operao de adio, assim:
2
0 1 2
2
0 1 2
0 0 0 0
2
0 0 1 1 2 2 1 1 1 1
2 2 2 2
____________
( ) ( ) ( )
a a x a x
b b x b x
a b a b
a b a b x a b x a b a b
a b a b

e com a operao de multiplicao por escalar:
0 0
2 2
0 1 2 0 1 2 1 1
2 2
( )
a ka
k a a x a x ka ka x ka x k a ka
a ka

3. Seja o espao | , , a b c a b c V x y z de combinaes lineares de trs variveis x, y, z , sob os
critrios das operaes de adio natural e multiplicao por escalar. O espao V assim definido
isomrfico ao espao
2
P dos polinmios quadrticos.
Para se mostrar isso necessrio fazer um mapa de isomorfismo. Existem muitas maneiras de se fazer isso;
por exemplo, abaixo se mostra quatro maneiras:
1
2
3
4
2
2
2
2
a + b + c a + b + c
b + c + a
c + a + b
a + (a + b) + (a + c)
f
f
f
f
x y z x x
x x
x x
x x

O primeiro mapeamento tem uma correspondncia mais natural. Porm, a seguir, mostrar-se- que a
segunda maneira um isomorfismo, para que se entenda que existem muitos isomorfismos, outros que no
apenas os indicados acima.
Para mostrar que
2
f um mapeamento do tipo um-a-um, deve-se provar que:
2 2
f a b c f a b c x y z x y z , ento a b c a b c x y z x y z.
A hiptese de que
2 2
f a b c f a b c x y z x y z implica, por definio de
2
f , que
2 2
b c a b c a x x x x .
Polinmios iguais precisam ter coeficientes iguais, logo a a, b b e c c. Assim
2 2
f a b c f a b c x y z x y z que implica em a b c a b c x y z x y z e, portanto
2
f
bijetiva.
O mapeamento
2
f isomrfico porque qualquer membro de
2
b c a x x do co-domnio a imagem dos
mesmos membros do domnio a b c x y z .
A preservao da estrutura para este mapeamento semelhante aos dos exemplos anteriores:
2 2
2 2
2 2
f a b c f a b c
b c a b c a
f a b c f
2
x y z x y z x y z
x x x x x x
x y z x y z
a b c a b c
b c a b c a
a b c

e a multiplicao por escalar:

2 2
2

f k a b c f ka kb kc kb kc ka
k b c a kf a b c
2
2
x y z x y z x x
x x x y z

Assim
2
f um isomorfismo e diz-se que V isomorfo de
2
P ou
2
V P .

Muitas vezes se est interessado em um tipo de isomorfismo em particular, no qual o espao isomorfo a si mesmo,
isto , o automorfismo.
Automorfismo
Definio 7: O isomorfismo no qual o espao mtrico isomorfo a si mesmo um mapeamento chamado
de automorfismo.
Considere o espao
5
P de polinmios de grau menor ou igual a 5, e um mapeamento que envia um polinmio p x
para outro 1 p x . Por exemplo, sob esse mapeamento tem-se:

2
2 2
3
3 3 2
1 2 1
2 1 3 5 3
x x x x
x x x x x x

Isto um automorfismo. Geometricamente, a substituio de x por 1 x em qualquer funo, desloca seu grfico
para a direita por uma unidade. Assim um automorfismo f para
5
P mostra que esse espao tem certa
homogeneidade horizontal o aspecto do espao o mesmo tanto prximo de 1 x quanto de 0 x .
Definio 8: Um mapa de dilatao :
k
d
2 2
R R transforma todos os vetores em novos vetores iguais
aos anteriores multiplicados por um escalar k (Figura 2.2) um automorfismo de
2
R .
u
d(u) v
d(v)

FIGURA 2.2 DILATAO VETORIAL
Definio 9: Um mapa de rotao : t
q
2 2
R R transforma os vetores por uma rotao, relativa a um ngulo u
(Figura 2.3). Isso tambm um automorfismo.
u
t(u)

FIGURA 2.3 ROTAO VETORIAL
Um outro tipo de automorfismo em
2
o mapeamento
1
: f
2 2
que reflete todos os vetores sobre uma
linha l que passa pela origem (Figura 2.4).
u
f(u)

FIGURA 2.4 REFLEXO VETORIAL

Exemplos:
1. O mapa de projeo
3
: p
2
R R
x
x
y
y
z
p
um homomorfismo. Ele preserva a adio

1 2 1 2 1 2
1 2
1 2 1 2 1 2
1 2
1 2 1 2 1 2
x x x x x x
x x
y y y y y y
y y
z z z z z z
p p p p
e preserva a multiplicao por escalar:
x rx x
rx
r y ry r y
ry
z rz z
p p p
Note que este mapeamento no um isomorfismo. Uma vez que ele no biunvoco ou bijetor, pois tanto
0, 0, 0 e 0, 0, z em
3
so mapeados apenas para 0, 0 em
2
.
2. O mapeamento
3
: f dado por , , 3 2 4 x y z x y z linear e um homomorfismo.
Em contraste, o mapeamento
3
: g dado por , , 3 2 2 1 x y z x y z no linear.
O que distingue os homomorfismos que as funes coordenadas so combinaes lineares dos
argumentos.

Lema 1: Um isomorfismo mapeia o elemento zero de um espao sempre ao elemento zero do outro espao
ou do mesmo espao.
Demonstrao:
Quando : f um isomorfismo, qualquer x corresponde a um elemento y e como um elemento fixo
0
x
sofre, pela definio 3, a seguinte transformao:

, , , f f f
f
r r r r r
x x x
x x y
x 0 x 0 x 0 y y
0 0 0

Em outras palavras 0
x
0
y
.
A definio de isomorfismo requer que a soma de dois elementos se correspondam bem como a multiplicao de
um escalar por um elemento, logo, pode-se estender o conceito de isomorfismo a todas as combinaes lineares dos
elementos de um espao vetorial.
Lema 2: Para qualquer mapeamento : f entre elementos dos espaos considerados preservam suas
estruturas: Assim, se
1 2
x , x e c ento:
(1): f f f
1 2 1 2
x x x x e
f c c f x x
(2): f preserva a combinao linear de dois elementos quaisquer:

1 2 1 2
f c c f c f c
1 2 1 2
x x x x
(3): f preserva a combinao linear de qualquer nmero finito de elementos:

1 1 n n n n
f c c f c f c
1 1
x x x x
Demonstrao:
Assim como as implicaes (3) (2) (1) esto claras, necessita-se mostrar quer (1) (3). Seja ento verdadeiro, por
hiptese, (1), logo por induo tem-se:
Para 1 n f c cf x x
Para
1 2 1 2
2 n f c c c f c f
1 2 1 2
x x x x
Considere ento que vlido para n k , ento seja considerar o caso 1 n k , logo:
1 1 1 1 1 1
1
k k k k k k k k
n k f c c c f c c f c
1 1
x x x x x x
Ento aplicando a hiptese de induo tem-se:
1 1 1 k k k k
f c f c f c
1
x x x
que finalmente d:
1 1 1 k k k k
c f c f c f
1
x x x
quando aplicado 1 k vezes. Assim est demonstrado.
Lema 3: Se espaos so isomrficos, ento eles tm a mesma dimenso.
Prova:
Mostrar-se- que o isomorfismo entre dois espaos dado como uma correspondncia entre suas bases. Isto , quando
: f um isomorfismo e uma base para o domnio for
1
, ,
n
B , ento o conjunto imagem
1
, ,
n
f f uma base para o contradomnio . (A outra metade da correspondncia que para qualquer base de
a imagem inversa uma base de - segue da definio de isomorfismo e de suas conseqncias que dizem que se f
um isomorfismo ento
1
f tambm um isomorfismo).
Para mostrar que
1
, ,
n
f f gera , fixe-se y , e usando-se o fato de que f conhecido e assim existe um
1
, ,
n
x x x com f y x , e expandindo x como a combinao linear dos elementos da base de , tem-se:

1 1 1 1 n n n n
f f x x x f x f y x
Para uma independncia linear de
1
, ,
n
f f

1 1 1 1 y n n n n
c f c f f c c 0
ento, como f biunvoca e o nico elemento que leva a
y
0 o
x
0 tem-se que

1 1 x n n
c c 0
implica que todas as constantes
i
c so iguais a zero. Com isso est demonstrado o lema.
Lema 4: As condies necessrias e suficientes para que : f sejam um homomorfismo so, para
qualquer
1 2
, c c e
1 2
x , x :

1 1 2 2 1 1 2 2
f c c c f c f x x x x
E para quaisquer
1
, ,
n
c c e ,
n 1
x , x ,

1 1 1 1 n n n n
f c c c f c f x x x x
Este lema simplifica a verificao de que uma funo linear poder preservar a sua estrutura com relao adio e a
multiplicao por escalar.
Exemplo
O mapeamento : f R R dado por:
/ 2
0
3
f
x
x
y x y
y

satisfaz a seguinte verificao:
1 1 2 2 1 2
1 2
1 1 1 2 2 2 1 2 2 2
1 1 2 2 1 2
( / 2) ( / 2) / 2 / 2
0 0 0
( ) ( )
(3 ) (3 ) 3 3
r x r x x x
r r
r x y r x y x x x y
r y r y y y

e um homomorfismo.
Alguns dos resultados que se tem visto para isomorfismos falham quando aplicados a homomorfismos; em
geral um isomorfismo entre espaos estabelece uma correspondncia entre suas bases, mas um
homomorfismo no necessariamente.
A diferena entre homomorfismo e isomorfismo que enquanto ambos os mapeamentos preservam a
estrutura, o homomorfismo no necessariamente precisa ser uma bijeo.

Teorema 1: Um homomorfismo determinado por sua ao sobre uma base. Isto , se
1
, ,
n
B
uma base no espao e , ,
1 n
y y so (no necessariamente distintos) elementos do espao ento existe um
homomorfismo de para mandando
1
para
1
y ... ,
n
para
n
y , e este homomorfismo nico.
Demonstrao:
Define-se um mapeamento : h pela associao de
1
com
1
y ,... . . , etc. E ento estendendo linearmente para todo
o domnio. Isto , onde
1 1 n n
c c x , seja
1 1 n n
h c c x y y visto que isso est bem definido, uma vez
que a representao com relao a sua base em cada espao, cada elemento nico.
Este mapeamento um homeomorfismo desde que preserve as combinaes lineares. Sejam ento
1 1 1 2 1 1
;
n n n n
c c d d x x :

1 2 1 1 2 1 1 1 2
1 1 2 1 1 1 2 1 2
n n n
n n n
h h c d c d
c d c d h h
a a a a a a
a a a a a a
1 2
1 2
x x
y y x x

E este mapeamento nico, pois se : f outro homomorfismo tal que
i
f
i
y para todo i ento h e f so
vlidos sobre todos os elementos no domnio, e:

1 1 1 1 1 n n n n n
f f c c c f c f c c h
1 n
x y y x
Assim, h e f o mesmo mapeamento. Logo est demonstrado o teorema.
Definio 7: Um mapeamento linear de um espao nele mesmo : f uma transformao
linear.
Exemplo
O mapeamento de derivadas :
d
dx
n n
P P

1
0 1 1 2
2
n n
n n
d
a a x a x a a x na x
dx

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

Lema 5: Para espaos , o conjunto de todas as funes lineares de por si mesmo um
espao; um subespao do espao de todas as funes de e denotado por , L .
Demonstrao:
Este conjunto no vazio, pois ele contm o homomorfismo do zero. Assim, para mostrar que ele um subespao necessita-se
apenas verificar se ele fechado com relao s combinaes lineares. Assim, seja : f g linear;; ento sua soma
linear:

1 2 1 2 1 2
1 2

f g c c c f c f c g c g
c f g c f g
1 2 1 2 1 2
1 2
x x x x x x
x x

e a multiplicao por qualquer escalar tambm linear:
1 1 2 2 1 2 1 2
. k f c x c x k c f c f c kf c kf
1 2 1 2
x x x x
Logo , L um subespao. Assim est demonstrado o lema.

Exerccios
1. Mostre que o mapeamento : g R R dado por f x x est em correspondncia um-a-um sobre ele
mesmo. Este mapeamento um isomorfismo?
2. Referindo-se ao exemplo 1 acima produza mais trs isomorfismos (note que eles precisam satisfazer as
condies da definio).
3. Mostre que
2
R no em si mesmo um subespao de
3
R , ele isomrfico ao subespao do plano x-y de
3
R .
4. Ache dois isomorfismos entre
16
R e
4 4
M , onde
4 4
M o espao das matrizes 4x4.
5. Para que valor de k ,
k
R isomrfico a
m n
M ?
6. Para que valor de k ,
k
P (polinmio de ordem k ) isomrfico a
n
R ?
7. Prove que o isomorfismo uma relao de eqivalncia.
8. Mostre que o mapeamento de identidade: : id um isomorfismo. Assim, qualquer elemento de
isomorfo a ele mesmo.
9. Mostre que se : f um isomorfismo ento a sua inversa
1
: f tambm um
isomorfismo.
10. Mostre que a composio de isomorfismos tambm um isomorfismo, isto , se : f um
isomorfismo e : g tambm for um isomorfismo, ento g f tambm o .
11. Mostre que se : f um isomorfismo ento o conjunto dos elementos
1 2
, , ,
n
x x x
linearmente dependente se e somente se o conjunto imagem
n
f f
1
x x for linearmente
dependente.
12. Mostre que a relao
1 1
: f R R um automorfismo se e apenas se ela tem a forma k x x para algum
0 k com k nmero real;
13. Seja f um automorfismo de
1
R tal que 3 7 f . Ache 2 f ;
14. Mostre que a funo
2 2
: f R R um automorfismo se e apenas se ela tem a forma
x ax by
y cx dy
,
para algum , , , a b c d com 0 ad bc .
15. Seja f um automorfismo de
2
com
1 2 1 0
e
3 1 4 1
f f ento ache
0
1
f
16. Determine se os mapeamentos abaixo so lineares ou homomorfismos:
a.
3 2
:
d
dx
P P .
b.
5 2
5 2
f
g
x
x y
y
x y
z
x
x y
y
xy
z

17. Mostre que os mapeamentos abaixo so homomorfismos:
a.
3 2
:
d
P P
dx
, dado por
2 3
0 1 2 3
a a x a x a x mapeado para
2
1 2 3
2 3 a a x a x ;
b.
2 3
: f P P , dado por
2
0 1 2
b b x b x mapeando para
2 3 1 2
0
2 3
b b
b x x x .
18. Para fixar que uma funo linear diferente daquela que tem como grfico uma linha:
a. A funo
1
f R R dada por
1
2 1 f x x tem um grfico que uma linha. Mostre que ela
no uma funo linear.
b. A funo
2
2
f R R dada por , 2 x y x y no tem um grfico que uma linha. Mostre
que ela uma funo linear.

2.5 Convergncia. Conjuntos Abertos e Fechados.
Definio 1: Uma bola aberta, denotado por , B r
0
x , num espao mtrico o conjunto de todos os
pontos x que satisfaam condio:
, r r
0
x x (2.5.1)
onde o ponto fixo
0
x o centro e r o raio da bola.
Definio 2: Uma bola fechada, denotada por , B r
0
x , num espao mtrico o conjunto de todos os
pontos x que satisfaam condio:
, r r
0
x x
onde o ponto fixo
0
x o centro e r o raio da bola.
Definio 3: Uma bola aberta de raio e e centro em
0
x se denominar c-vizinhana do ponto
0
x e
denotado por V
e 0
x .
Definio 4: O conjunto de pontos de uma bola fechada , B r
0
x qualquer, que satisfaa a igualdade
, r r
0
x x denominado de esfera de centro
0
x e raio r , e denotada por
r
S
0
x .
Ponto de Aderncia
Definio 5: Um ponto x dito ponto de aderncia do conjunto A se qualquer vizinhana sua
contm pelo menos um ponto de A. Ou ainda x ponto de aderncia de A se x for o limite de uma seqncia de
pontos
n
x .
Assim todo ponto x de aderncia, pois basta tomar uma seqncia de pontos
n
x x . Mas pode-se ter um
ponto a aderente a sem que ele pertena a , como por exemplo, se 0, , ento 0 , mas 0
aderente a pois o limite da seqncia
1
n
com
1
n
para todo n
+
.
A totalidade dos pontos de aderncia ao conjunto A denotada por A e chamado de aderncia do conjunto A.
Teorema 1: A operao de aderncia tem as seguintes propriedades:
1. A A (2.5.2)
2. A A (2.5.3)
3. se
1 2
A A ento
1 2
A A (2.5.4)
4.
1 2 1 2
A A A A (2.5.5)
Demonstrao:
A primeira afirmao ou propriedade A A evidente, j que x A, x ponto de aderncia de A.
A segunda afirmao ou propriedade diz que A A . Ento seja x A ; logo, em qualquer vizinhana V
e 0
x
existir um ponto
1
x A . Pondo
1
, e r e
1
x x e considerando que a bola
1 1
, B e x , v-se que ela se encontra
integralmente dentro da bola , B e x . Assim se
1 1
, z B e x tem-se que
1
, r e z x e posto que
1
, r e e
1
x x ,
encontra-se, de acordo com o axioma triangular, que
1 1
, r e e e e z x
isto , , z B e x , ou seja, z A z A .
Seja agora z A . Como
1
x A , existe em
1
V
e
x um ponto
2
x A. Porm, neste caso , B e
2
x x e posto que
V
e
x uma vizinhana de z , tem-se x A .
A terceira propriedade: se
1 2 1 2 1 2 1 2
x A A x A x A A A A A .
Posto que
2 1 1 2 1 2
A A A A A A e considerando a propriedade 3 tem-se:
2
2
1 1 2 1 2
1 1 2 1 2 1 2
A A A A A A
A A A A A A A A

Assim est demonstrado o teorema.

Ponto de Acumulao
Definio 6: Um ponto x dito ponto de acumulao do conjunto A , quando em toda
vizinhana sua existe um nmero infinito de pontos de A. O ponto de acumulao pode pertencer ou no a A.
Por exemplo, se A o conjunto dos nmeros racionais do segmento [0,1], todo ponto dele um ponto de
acumulao de A.
Definio 7: Um ponto x dito ponto isolado do conjunto A, quando uma vizinhana sua V
e
x
suficientemente pequena no contm outros pontos de A, distintos de x.
Definio 8: Seja , , , ,
1 2 n
x x x uma seqncia de elementos de um espao mtrico . Diz-se que
esta seqncia converge para um elemento x, quando toda vizinhana V
e
x do elemento x , contm
n
x , a partir
de algum elemento, isto , quando a cada nmero 0 e corresponde um nmero N
e
tal que V
e
x contenha
todos os elementos
n
x para n N . Ao elemento x , denomina-se de limite da seqncia
n
x . Uma outra
maneira de se definir convergncia :
lim ( ) 0
n
r
n
x, x .
Desta definio conclumos que:
- Nenhuma seqncia pode ter dois limites distintos; e
- Se a seqncia converge ao elemento x , toda seqncia parcial contido nela, tambm converge para o
mesmo elemento x .
Teorema 2: Para que o elemento x seja um ponto de aderncia ao conjunto A necessrio e suficiente
que exista uma seqncia
n
x de elementos de A que convirja para x .
Definio 9: Sejam A e Bdois conjuntos de um espao mtrico . O conjunto A dito denso em B,
quando A B. Em particular, A sempre denso, no espao mtrico , quando a aderncia A coincide todo
o espao .
Exemplo:
O conjunto dos nmeros racionais sempre denso na reta numrica.

Definio 10: Um conjunto A ( , espao mtrico) dito conjunto fechado quando coincide com a
sua aderncia: A A , isto , se ele contm todos os seus pontos de acumulao.
Exemplos:
1. Uma bola fechada representa um conjunto fechado. Em particular, o conjunto das funes f do espao
, C a b que satisfaam a condio f t k , fechado;
2. Em qualquer que seja o espao mtrico o conjunto vazio, C, e todo o espao,
,
so fechados.

Proposio 1: Sejam , espaos mtricos. Para que uma aplicao : f seja contnua,
necessrio e suficiente que a sua imagem inversa
1
f A de todo subconjunto fechado A seja um
subconjunto fechado de .
Teorema 3: A unio de um nmero finito e a interseo de um nmero qualquer (finito ou infinito) de conjuntos
fechados fechada.
Demonstrao:
Seja
a
a
A A a interseo de conjuntos fechados
a
A e seja x A um ponto de acumulao de A. Isso significa que
qualquer vizinhana V
e
x contm um nmero infinito de pontos de A. Deste modo V
e
x contm um nmero infinito de
pontos de cada conjunto
a
A e posto que cada
a
A fechado, o ponto x pertence a cada
a
A ; por conseguinte
a
a
x A A , isto , A fechado.
Seja agora B B
a
a
unio de um nmero finito de conjuntos fechados B
a
. Seja agora x B; demonstrar-se- que x no
pode ser ponto de acumulao de B.
Assim, como x no pertence a B, no pertence tambm a nenhum B
a
, e, por conseguinte no pode ser ponto de acumulao
de nenhum deles. Isso quer dizer que, para qualquer a, pode-se encontrar uma vizinhana V
ea
x que contm um nmero
finito de pontos de B
a
. Tomando a menor dessas vizinhanas
1
, ,
n
V V
e e
x x , obtm-se uma vizinhana
min
V x que
contenha um nmero finito de pontos de B, ou seja, se x B, no pode ser ponto de acumulao de B, no que implica ser
Bfechado. O teorema est demonstrado.

Ponto Interior
Definio 11: Um ponto x dito ponto interior do conjunto A, quando existe uma vizinhana V
e
x
deste ponto que pertence integralmente a A. Um conjunto no qual todos os pontos so interiores se denomina
conjunto aberto.
Exemplos:
1. O espao inteiro e o conjunto vazio so abertos;
2. Uma bola aberta , B r
0
x em qualquer espao mtrico um conjunto aberto.
3. Um ponto x um conjunto aberto em se, e somente se, um ponto isolado, pois s sendo o
prprio x uma bola que pode conter uma bola. Um espao mtrico discreto se, e somente se, todos os
seus subconjuntos so abertos.

Teorema 4: Para que o conjunto A seja um conjunto aberto necessrio e suficiente que seu
complemento \ A ao espao seja fechado.
Demonstrao:
Se A aberto, ento em cada ponto de A existe uma vizinhana que pertence integralmente a A, isto , no tem nenhum
ponto em comum com \ A. Por conseguinte, nenhum ponto de A pode ser um ponto de aderncia de \ A, isto ,
\ A fechado. Ao contrrio, se \ A fechado, qualquer ponto de x de A possui uma vizinhana V
e
x que pertence
integralmente a A, isto , A aberto. Est demonstrado o teorema.
Teorema 5: A unio de um nmero qualquer (finito ou infinito) de conjuntos e a interseo de um nmero finito
de conjuntos abertos so abertas. (Demonstrar como exerccio).
Proposio 2: Sejam e espaos mtricos. Para que uma aplicao : f seja contnua,
necessrio e suficiente que a sua imagem inversa
1
f A de todo subconjunto aberto A seja um subconjunto
aberto de .
OBS.: Fechado no contrrio de aberto. Quando um conjunto no aberto, no se pode concluir que ele seja
fechado, ou vice versa. Por exemplo, o conjunto Q dos nmeros racionais no nem fechado nem aberto nos reais
. H casos de conjuntos que so abertos e fechados ao mesmo tempo, como o conjunto vazio e o espao inteiro.
Definio 12: Seja uma seqncia de elementos
1 2
, ,
k
x x x de elementos de um espao
euclidiano . Dizemos que
k
x converge para o elemento x se, e somente se,
lim 0
k
k
x x
Outra maneira de definir convergncia no espao euclidiano semelhante definio 8. Assim, afirma-se que
k
x
converge para x se, e somente se, para cada nmero real 0 e pode-se encontrar um inteiro N e tal que:
,
k
k N e e x x
Lema 1: Se lim
k
k
x x e lim
k
k
x y ento x y .
Demonstrao:
Seja dado 0 e . Ento, por definio, existe N e tal que
2
k
e
x x e
2
k
e
x y para k N e . Logo, tendo
em vista a desigualdade triangular, tem-se:

2 2
k k
e e
e x y x x x y
logo no limite, tem-se 0 y x , no que implica que y x , como se afirma.

Definio 13: Diz-se que uma seqncia de funes :
n
f converge ponto a ponto para uma
funo : f , quando para cada x a seqncia de nmeros:

1 2
, , , ,
n
f f f x x x
converge para o nmero
n
f x . Ou seja, x fixado, tem-se
lim
n
n
f f x x
Definio 14: Diz-se que uma seqncia de funes :
n
f converge uniformemente para uma
funo : f , quando a assertiva abaixo verdadeira:

0 0
0 dado, | ,
n
n n n f f e e x x x (2.5.6)
Definio 15: Diz-se que uma seqncia de funes
1 2
, , , ,
n
f f f x x x pertencente a
:
n
f normalmente convergente quando existe uma seqncia de constantes 0
n
a tais que
n
a converge e
n n
f a x para n x .
Definio 16: Indica-se por , B o conjunto de funes limitadas : f . Se , , f g B e
so arbitrrias, ento:
, sup f g f x g r
x
x (2.5.7)
Esta mtrica chamada de mtrica da convergncia uniforme.

2.6 Espaos Mtricos Completos
Uma seqncia
k
x de pontos de um espao mtrico se chamar seqncia fundamental, quando verifica o
critrio de Cauchy, isto , quando para qualquer 0 c > existe um nmero N e tal que ,
m n
r e x x para
qualquer n N e e m N e . Toda subseqncia de uma seqncia de Cauchy tambm de Cauchy.
Definio 1: Um espao mtrico dito espao mtrico completo quando toda seqncia fundamental
de converge, isto , para cada 0 e dado, existe N e tal que n N e implica que
,
n n p
r e x x qualquer que seja p .
Definio 2: Uma seqncia de funes :
n
f R chama-se uma seqncia de Cauchy (ou
fundamental) quando 0 e , dado arbitrariamente, for possvel obter
0
n tal que
0
, ,
m n
m n n f f e x x x .
Critrio de Cauchy para convergncia uniforme
Teorema 1: (Critrio de Cauchy para convergncia uniforme). Uma seqncia de funes :
n
f dita
uniformemente convergente se, e somente se, uma seqncia de Cauchy.
Demonstrao:
Seja
n
f f (l-se:
n
f converge para f ) uniformemente em . Dado 0 e pode-se encontrar
0
n tal que
0
,
2
n
n n f f
e
x x x . Agora se tomando
0
, m n n , vale a desigualdade acima e tambm
,
2
m n
f f
e
x x x . Logo, pela hiptese de
0
, m n n ,

implica que
,
2 2
m n m n
f f f f f f
e e
e x x x x x x x
Logo
1 2
, , , ,
n
f f f x x x uma seqncia de Cauchy. Seja agora mostrar que
n
f f uniformemente em .
Seja 0 e , ento existe um
0
n tal que:
0
,
m n
n n f f e x x x
desde que seja
0
n n .
.

Corolrio: Se as funes :
n
f so contnuas e
n
f converge uniformemente em , ento a
seqncia
n
f converge uniformemente em .
A soma
n
f f de uma srie um caso particular de um limite de uma seqncia

1 2
lim
n n n
n
f s s f f f
Por definio, a srie
n
f converge uniformemente num conjunto se, e somente se, a seqncia de suas
reduzidas
n
s tambm convergir uniformemente para f em . Assim, dizer que
n
f converge uniformemente
para f em , significa que 0 e , existe
0
n tal que o resto
n
R x , definido por:

1 2 n n
f f f f R x x x x x
cumpre a condio:

0
,
n
R n n e x x
Lema 1: Toda aplicao uniformemente contnua transforma seqncias de Cauchy em seqncias de
Cauchy.
Demonstrao:
Sejam : f R uniformemente contnua,
k
x uma seqncia de Cauchy em . A fim de provar que a seqncia
n
f
de Cauchy, seja 0 e , ento existe 0 d , tal que:
1 2 1 2 1 2
, , , , x x f f r d r e x x x x
Por sua vez, dado 0 d , existe
0
n tal que:
0
, ,
m n m n
m n n f f r d r e x x x x

Corolrio: Seja : f um homomorfismo uniforme. Uma seqncia de pontos
k
x de Cauchy
se, e somente se,
n
f for de Cauchy em .
Exemplo:
Uma aplicao apenas contnua no pode transformar seqncia de Cauchy em seqncia de Cauchy. Por
exemplo:
a funo contnua : (0,1] f ,
1
f x
x
que transforma a seqncia de Cauchy
1
n
na seqncia
1
1, 2, 3, f
x
que no de Cauchy;
ou a funo
1
: 0,1 , cos f f x
x
que transforma a seqncia de Cauchy
1
np
na seqncia
1,1, 1,1, que no de Cauchy.

Teorema 2: (Teste de Weierstrass). Se
n
f normalmente convergente, ento
n
f e
n
f so
uniformemente convergentes.
Teorema 3: Se uma seqncia de funes integrveis : ,
n
f a b converge uniformemente para
: , f a b , ento f integrvel e vale:
lim
b b
n
n
a a
f x dx f x dx (2.6.1)
Lema 2: Se, para cada n , a srie
k
n
k
x for convergente e se, definido as funes :
n
f R por
1 2 k
n n n n
f k x x x , a srie
n
f converge uniformemente em , ento so convergentes e iguais as
somas repetidas:

k k
n n
n k k n
x x (2.6.2)

Exemplos:
1 - O espao
n
R . Seja
p
x uma seqncia fundamental de pontos de
n
R ; isto significa que
0 e existe um n N e tal que:

2
2
1
, ,
n
p q
k k
k
p q n e x x
Aqui
1 2
, , ,
p p p p
n
x x x x . Neste caso, para todo 1, 2, , k n obtm-se a desigualdade
correspondente coordenada
p
k
x :

p q
k k
e x x
sempre que , p q n ; por conseguinte
p
x uma seqncia fundamental.
Sejam lim
p
k
p
k
x x e
1 2
, , ,
n
x x x x , ento claro que lim
p
k
p
x x .
2 - O espao , C a b . Seja
n
t x uma seqncia fundamental de , C a b . Isso significa que, para 0 e
dado, for possvel obter
0
n tal que:

0
, , ,
n m
t t t a b m n n e x x
Como a t a , se deduz que a seqncia
n
t x converge continuamente. Fazendo m na
desigualdade acima, obtm-se:

0
, ,
n
t t t a b n n e x x
e isto significa, precisamente que
n
t x converge para t x no sentido da mtrica do espao de , C a b .
3 - O espao
2
l o espao mtrico cujos pontos so todas as seqncias de nmeros reais
1 2
, , , ,
n
x x x x que verificam a condio
2
1
n
k
k
x e em que a distncia dada por:

2
1
( , )
( )
k
x y
y
k
k
x
r

Teorema 4: Para que um espao mtrico seja completo necessrio e suficiente que qualquer seqncia de
bolas fechadas deste espao encaixadas uma nas outras e cujos raios tendam a zero, tenham uma interseo no
vazia.
Demonstrao:
Suponha-se que um espao completo e seja
1 2
, , B B uma seqncia de bolas fechadas encaixadas uma nas outras.
Sejam
n
r o raio e
n
x o centro da n-sima bola
n
B . A seqncia de centros
n
x fundamental, j que:
, ,
n m n n
r m n r r x x
Posto que completo, existe lim
n
n
x .

Seja ento lim
n
n
x x
,
logo
n
n
B x . De fato, a bola
n
B contm todos os
pontos da seqncia
n
x , exceto, possivelmente, os pontos
1 2 1
, , ,
n
x x x . Por conseguinte, x ponto de acumulao de
toda bola
n
B . Como
n
B fechado, ento
n
B x , para todo n .
Seja agora a prova da suficincia. Seja
n
x uma seqncia fundamental. Demonstrar-se- que ela tem limite. Como
n
x
fundamental, podemos encontrar um ponto
n
x x tal que:
1
1
1
, ,
2
n n
n n r x x
Seja a bola fechada de raio = 1 com centro em
1
n
x e denotemo-la
1
B . Seja tambm um ponto
2
n
x de x tal que
2 1
n n e
1
2
1
1
, ,
2
n n
n n r x x . Seja agora uma bola
2
B de raio= e centro em
2
n
x . Em geral os pontos
1 2
, , ,
k
n n n
x x x so
escolhidos de maneira que
1 2 k
n n n ; seja tambm um ponto
1 k
n
x de maneira que
1 k k
n n e
1
1
1
1
, ,
2
k
k
n n k
n n r x x envolvido por uma bola fechada
1 k
B de raio =
k
. Continuando este processo obtm-se
uma seqncia de bolas fechadas
k
B encaixadas uma nas outras. Esta seqncia de bolas tem por hiptese, um ponto comum;
denotemo-lo por x . bvio que este ponto x o limite da seqncia
k
n
x ; porm, uma seqncia fundamental que
contenha uma seqncia parcial convergente a um ponto x , converge para este mesmo limite, logo:
lim
n
n
x x

Teorema 5: Seja a um ponto de acumulao de um espao mtrico . Se a seqncia de funes :
n
f R
converge uniformemente para : f R e, para cada n existe lim
n n
x a
F f x , logo:
1 - Existe lim
n
n
F F
2 - Tm-se lim
n
n
F f x
Isto , l lim lim lim lim
n n
n x a x a n
f f x x , desde que existam os dois limites indicados dentro dos parnteses,
sendo o segundo deles uniforme.
Corolrio: Seja a um ponto de acumulao de um espao mtrico . Se a srie
n
n
f

converge
uniformemente para f em e, para cada n existe lim
n n
x a
F f x , ento
n
F uma srie convergente
e lim
n n
n
F f x . Isto :
lim lim
n n
n n
f f x x
desde que
n
n
f

seja uniformemente convergente.

Definio 3: Se diz que um conjunto M nunca denso em R quando cada bola B R contm outra
bola
*
B que no tem com M nenhum ponto em comum.
Teorema 6: (Teorema de Baire) Um espao mtrico completo no pode ser representado como a unio de
um nmero numervel de conjuntos nunca densos.
Demonstrao:
Seja o contrrio, isto ,
i
M onde cada um dos conjuntos
i
M nunca denso. Seja ento
0
B uma bola fechada de raio
1. Posto que
1
M no denso em
0
B , j que ele nunca denso, existe uma bola fechada
1
B de raio menor que tal que
1 0
B B e
1 1
B M . O conjunto
2
M no denso em
1
B , por isso a bola
1
B contm uma bola fechada
2
B de raio
menor que 1/3 tal que
2 2
B M . Dessa forma obtm-se uma sucesso de bolas fechadas
n
B encaixadas uma nas
outras, cujos raios tendem a zero, sendo
n n
B M . Em virtude do teorema do espao mtrico completo, a interseo
n
B deve ser no nula, isto , deve conter um ponto x . Mas pelo procedimento construdo, x no pode pertencer a
nenhum conjunto
i
M e, por conseguinte
i
x M , logo
i
M , o que contradiz a hiptese e o teorema est
demonstrado.

Lema 3: Um subespao fechado de um espao mtrico completo completo. Reciprocamente, um subespao
completo de qualquer espao mtrico fechado.
Demonstrao:
Seja R fechado com R completo. Dado uma seqncia de Cauchy
n
x em , existe lim
n
n
a x R. Como
fechado em R, tem-se que a . Logo completo. Por outro lado, seja demonstrar que um subespao completo de
qualquer espao mtrico fechado, assim se R um espao completo, dado uma seqncia de Cauchy
n
x R com
lim
n
n
a x , a seqncia
n
x de Cauchy (pois convergente). Logo existe b Rtal que lim
n
n
b x R. Pela
unicidade do limite, tem-se que a b, logo R fechado em .

Lema 4: O produto cartesiano completo se, e somente se e forem completos.
Corolrio: O produto
1 2 n
completo se, e somente se
1 2
, , ,
n
forem completos.
Teorema 7: Todo subconjunto infinito limitado R possui um ponto de acumulao.
Demonstrao:
Seja ; , a a A R . O conjunto A no vazio e limitado superiormente: se , X a b ento a A e b
cota superior de A. Seja sup c A. Afirmamos que c ponto de acumulao de conjunto . Com efeito, qualquer que
seja 0 c , existe a A tal que a e c c. Logo existem infinitos pontos de direita de e c . Por outro lado no
h uma infinidade de pontos de direita de e c . Logo , e e c c infinito, o que prova o teorema.

2.7 Princpio das Aplicaes Contradas
Definio 1: Seja um espao mtrico . A aplicao f do espao nele mesmo ( : f ) se
chama aplicao contrada quando existe um nmero a tal que, para qualquer dois pontos ,
1 2
x x , se verifica a
desigualdade (condio de contrao):

1 2 1 2
, , f f r r x x x x (2.7.1)
Toda aplicao contrada contnua.
Teorema 1: (Princpio de aplicaes contradas). Toda aplicao contrada definida em um espao mtrico
complete , tem um ponto fixo e s um (isto , a equao f x x tem uma nica soluo).
Considere-se a aplicao A de um espao n-dimensional em si mesmo definido pelo sistema de equaes lineares:

1
; 1, 2, ,
n
i ij j i
j
y a x b i n
Se A uma aplicao contrada, podemos aplicar o mtodo das aproximaes sucessivas para resolver a equao
y Ax .
Sob que condio a aplicao A ser contrada? A resposta depende de como se escolha a mtrica no espao.
Sejam trs variantes:
Exemplos:
1. O espao
n
0
R , isto ,
1
, max ;
i i
i n
x y r x y
a.
1 1
1
1 1 1
1 1
1
1
, max max
max max max
max ,
n
i i ij i i
i n i n
j
n n
ij i i ij i i
i n i n i n
j j
n
ij
i n
j
y y a x x
a x x a x x
a
y y
x x
r
r

b. da condio de contrao (2.7.1) temos:
c.
1
1; 1, 2, ,
n
ij
j
a i n a (2.7.2)
2. O espao
n
1
R , isto ,

s s
=
n i
i i y x y x
1
) , ( ; Fazendo operaes semelhantes a que se fez no xemplo 1
acima, encontramos a seguinte condio de contrao:
a.
1
1; 1, 2, ,
n
ij
i
a j n a (2.7.3)
3. O espao
n
R , isto ,
2
1
n
i i
i
x y
. Aplicando a desigualdade de Cauchy - Buniakovski encontra-se a
seguinte condio de contrao:
a.
1 1
1;
n n
ij
j i
a a (2.7.4)
b. Por conseguinte, si se verifica pelo menos uma das condies (2.7.2), (2.7.3) ou (2.7.4), existe um
ponto e somente um
1 2
, , ,
n
x x x x tal que:
c.
1
; 1, 2, ,
n
i ij j i
j
y a x b i n (2.7.5)
d. alm disso, as aproximaes sucessivas desta soluo tm a forma:
e.
0 0 0 0
1 2
1 1 1 1
1 2
1 2
, , ,
, , ,
, , ,
n
n
n n n n
n
x x x
x x x
x x x
x
x
x
(2.7.6)
f. Donde
1
0
1
n
k k
i j i
j
x a x b e
0 0 0 0
1 2
, , ,
n
x x x x pode ser um ponto qualquer de
n
R .
4. Cada uma das condies (2.7.2), (2.7.3) ou (2.7.4) suficiente para que a aplicao y Ax

seja contrada.
Com relao condio (2.7.2) pode-se demonstrar tambm que necessria para que a aplicao y Ax
seja contrada, no sentido da mtrica usada.
5. Nenhuma das condies (2.7.2), (2.7.3) ou (2.7.4) necessria para que se possa aplicar o mtodo das
aproximaes sucessivas. Se
1
ij
a n
, se cumpre as trs condies e aplicvel o mtodo das
aproximaes sucessivas e se
1
ij
a n
, caso em que as condies (2.7.2), (2.7.3) e (2.7.4) tm soma igual a
1, o mtodo das aproximaes sucessivas no aplicvel

Abaixo, dar-se- alguns exemplos de uso do princpio das aplicaes contradas:
Exemplos de Aplicaes Contradas
1. Seja a equao diferencial , y f x y com condio inicial y
0 0
x y , sendo a funo f definida e
contnua em um espao que contenha o ponto ,
0 0
x y e verifica a condio de contrao em relao a y :

1 2 1 2
: , , y f f r a r y y
isto ,

2 2
, , f f a
1 1
x y x y y y
conhecido tambm por condio de Lipschitz. Demonstrar-se- que existe em um segmento d
0
x x
uma soluo, e somente uma, j y x da equao diferencial dada, que verifica a condio inicial dada
(Teorema de Picard):
A equao diferencial junto com a sua condio inicial equivalente a equao integral

0
0
,
x
x
f t t dt j j x y
Devido a continuidade de f temos que , f a x y para um conjunto A que contenha o
ponto
0
,
0
x y . Seja 0 d de maneira que se cumpram as condies:
1) , x y A, sempre que , , d d a
0 0
x x y y
2) 1 d a
Seja ento o espao , C
0
x x das funes contnuas definidas no segmento ,
0
x x e tais que
d j a
0
x y com mtrica

1 2 2
, max
x
r j j j j
1
x x
O espao , C
0
x x completo e fechado.
Seja a aplicao y j definida por:
, f t t dt y j
0
x
0
x
x y
onde
d
0
x x
Esta aplicao transforma o espao completo , C
0
x x em si mesmo e contrado nele, pois satisfaz
condio de contrao ou condio de Lipschistz. Em efeito, seja , C j
0
x x e
0
d x x . Nesse caso
, f t t dt d y j a
0
x
0
x
x y
e, por conseguinte , , C C
0 0
x x x x . Alm disso

1 2 1 2 1 2
, , max
x
f t t f t t dt d y y j j a j j
0
x
x
x x x x
Posto que 1 d a , a aplicao contrada.
2. Seja a equao integral linear no homognea de Fredholm de 2 espcie
.
b
a
f K f dy l j x x y y x
onde K (chamado de ncleo da equao integral) e j so funes dadas, f a funo incgnita e l um
parmetro arbitrrio suficientemente pequeno. Sejam , K x y e j x , por hiptese, contnuas em
a b a b x y , e por conseqncia , K a x y . Seja a aplicao g f do espao
completo , C a b em si mesma definida por
.
b
a
g K f dy l j x x y y x
Temos
1 2 1 2 1 2
, max max g g g g b a f f r l a x x x x , por conseguinte, a aplicao
contrada se
1
b a
l
a
.
Do princpio das aplicaes contradas, deduz-se que para todo l , tal que
1
b a
l
a
, a equao de
Fredholm tem uma nica soluo. As aproximaes sucessivas
0 1 2
, , , , ,
n
f f f f x x x x desta
soluo tm a forma:

1
.
b
n n
a
f K f dy j x x x y y x
onde
0
, f x uma funo contnua qualquer.

2.8 Funcionais Lineares. Conceitos Bsicos
Definio 1: Uma funo numrica f , definida sobre um espao linear , se chama funcional. Em
outras palavras, um funcional um mapeamento de um espao vetorial sobre um campo de escalares.
Um funcional dito funcional aditivo quando:
f f f x y x y (2.8.1)
e denominado funcional homogneo quando:
f a af x x (2.8.2)
para quaisquer x e y pertencentes a e a escalar, pertencente a um corpo qualquer.
Definio 2: Um funcional f dito funcional linear quando ele for aditivo e homogneo.
Exemplos de funcionais:
1. Seja
n
R o espao aritmtico n-dimensional, composto por elementos
1 2
, , ,
n
x x x x e seja
1 2
, , ,
n
a a a a um elemento determinado de
n
. Ento
1
n
i i
i
f x a x um funcional linear em
n
R .
2. As integrais
b
a
I x x t dt
3. As integrais ( ) ( )
b
o
a
F x x t y t dt onde
0
y t uma funo definida sobre , a b e x t uma funo
sobre , a b C .
4. No mesmo espao , a b C do exemplo anterior, o funcional
0
0
( ) ( )
t
x x t d , isto , faz igual o valor do
funcional
0
t
d para a funo x ao valor da funo no ponto fixo
0
t :
0
0
( ) ( ) ( )
b
t
a
x x t t t dt d d ; entendendo
por delta d a funo que igual a zero em todos os pontos, exceto no ponto
0
t t e que cuja integral
igual a unidade (funo de Dirac).

Definio 3: Seja um espao linear real e sejam x e y pertencentes a . Chama-se segmento
fechado em , denotado por , x y , ao conjunto de todos os elementos do tipo a b x y onde
0 0 1 a b a b .
Definio 4: Ao segmento definido semelhana da definio anterior, porm sem os pontos extremos
x e y , se chama segmento aberto, e denotado por , x y .
Definio 5: Um conjunto M se chama conjunto convexo quando junto com dois pontos quaisquer
, x y M contm tambm todos os pontos do segmento que os une, isto , , x y Monde
, 1 ; 0 1 t t t x y x y .
Definio 6: Denomina-se de ncleo de um conjunto arbitrrio M ao conjunto dos elementos x ,
denotado por I M , tais que para todo y , existe um nmero 0 e e y , tal que , t t e x y .
Teorema 1: Se um conjunto M convexo, seu ncleo I M tambm convexo.
Demonstrao:
Sejam , I x y M e z a b x y , com , 0 a b e 1 a b . Ento, para um elemento dado s existe ,
1
> 0 e ,
2

> 0 tais que, sendo |t
1
| < ,
1
, |t
2
|<,
2
, os pontos
1
t x s Me
2
t y s M; portanto, a ele tambm pertence o ponto
1 2
t t t a b x s y s z s , com
1 2
min , t z z z , isto , I z M . Isto prova o teorema.

Teorema 2: A interseo de qualquer nmero finito de conjuntos convexos um conjunto convexo.
Demonstrao:
Seja
i
M M onde todos os
i
M so conjuntos convexos. Sejam tambm , x y M. Neste caso, o segmento que une x a
y pertence a cada
i
M e, por conseguinte, a M. Portanto, M efetivamente convexo.
A menor dimenso de um plano contendo um dado conjunto convexo chamada
de dimenso do conjunto. A clausura de um conjunto convexo, resultante da
adio ao conjunto convexo todos os pontos de seu contorno (seus pontos de
aderncia) produz um conjunto convexo de mesma dimenso, muitas vezes
denominado hull
3
convexo ou fecho covexo (Figura 2.4). O objetivo principal do
estudo dos conjuntos convexos o estudo dos corpos convexos que so conjuntos
convexos finitos (limitados) de dimenso n . Assim um fecho convexo deve ser
compreendido como um conjunto H de pontos de um espao vetorial real que
o menor conjunto convexo que o contm. Note que H pode ser a unio de
qualquer conjunto de objetos feito de pontos.
Os corpos convexos so homeomrficos a uma bola fechada.
Funcional Convexo
Definio 7: Um funcional no negativo f , definido sobre um espao linear real , se chama funcional
convexo se:

3
A palavra inglesa hull significa casco no sentido de que abarca, que contorna, que enclausura. Muitas vezes se traduz
essa expresso por fecho face a forma como conhecida no meio cientfico.
FIGURA 2.5 FECHO CONVEXO

, ,
, 0
ou
1 1 , , 0,1
, 0
f f f
f a af a
f t t tf t f t
f a af a
x y x y x y
x x
x y x y x y
x x
(2.8.3)

Se o sinal da desigualdade (2.8.3) se inverter, o funcional f dito cncavo.
Operaes de soma
1 2 1 2
f f x f x f x e miltiplicao por um
nmero positivo, transformam funcionais convexos em outro funcional
convexo.
Definio 8: Um funcional linear f , definido sobre um espao linear
se chama funcional prolongado ou extenso de um funcional
0
f
definido em
0
quando satisfaz a relao:

0 0
, f f x x x
Teorema de Hahn-Banach
FIGURA 2.6 FUNCIONAIS CONVEXOS
Teorema 3: (Hahn-Banach). Seja f um funcional convexo finito definido sobre um espao linear real e seja
0
um subespao de . Se
0
f um funcional sobre
0
, que satisfaa sobre
0
a condio
0
f f x x , o
funcional
0
f pode ser prolongado (estendido) a um funcional f sobre que satisfaa em , a mesma condio
acima.
Demonstrao:
Provar-se- que, sendo
0
, o funcional
0
f se pode prolongar de
0
a um subespao maior , conservando a
condio
0
f f x x .
Sejam ento z com
0
z e um subespao gerado por
0
e pelo elemento z . Assim, todo elemento de tem
a forma tz x , com x . Se f o prolongamento desejado do funcional
0
f sobre , tem-se:
0
f t tf f z x z x .
Fazendo f c z , tem-se
0
f t tc f z x x .
Escolher-se- agora c de modo que em todo se cumpra a condio de subordinao
0
f f x x , isto , qualquer que
seja
0
x e qualquer real t , a desigualdade a seguir se verifica:

0
tc f f t x z x
Para t > 0 esta condio equivalente a
0
c f f
t t
x x
z ou seja,
0
c f f
t t
x x
z , e para 0 t
equivalente a
0
c f f
t t
x x
z .
Demonstrar-se- agora que sempre existir um c que cumpre as condies acima. Sejam ento
1 2
y , y , ento:

0 0
f f f f
2 2 1 1
y y z y y z (2.8.4)
Deste resultado, obtm-se a desigualdade:
0 0 1 1
f f f f f f f
2 2 1 2 2 1
y y y y y z y z y z y z
Tomando
1 2
1 0 2 0
sup inf
y y
c f f e c f f
1 1 2 2
y y z y y z
Devido a que
1 2
y , y serem arbitrrios, se deduz de (2.8.4) que
2 1
c c . Escolhendo-se c de forma que
2 1
c c c , ver-se-
que o funcional f definido sobre por
0
f t tc f z x x verifica a condio de subordinao. Assim, se tem
demonstrado que o funcional
0
f est definido em
0
e verifica em
0
a condio de subordinao, se pode estender
0
f , considerando esta condio, a um espao maior . No caso de se escolher em um sistema numervel de elementos
, , , ,
1 2 n
x x x que gera todo o , o funcional sobre se constri por induo, considerando a cadeia crescente de
subespaos
1 0 2 1 1
, ; , ; ; , ;
n n 1 2 n
x x x . Ento, todo x entrar em algum
n
e, por
conseguinte o funcional resultar prolongado sobre todo .


Corolrio: Seja um espao linear real e sejam A um conjunto convexo aberto em , e Bum conjunto
convexo em , e mais A B . Ento existe um funcional (ou forma linear) 0 f sobre e um nmero real
a R tal que
, f a f a A B
(essas inequaes podem ser revezadas trocando f por f ).
Corolrio: Seja um espao linear real localmente convexo e sejam A um conjunto convexo aberto em , e
Kum conjunto convexo compacto em , e mais A K . Ento existe um funcional (ou forma linear) 0 f
sobre e um nmero real a R tal que
, f a f a A K
(essas inequaes podem ser revezadas).
Corolrio: Seja um espao linear real localmente convexo e sejam A um conjunto convexo fechado em ,
e
0
x um ponto em mas no emA. Ento existe um funcional (ou forma linear) contnuo 0 f sobre tal que

0
f x Sup f A ;
Em particular, A a interseo de todos os meio-espaos fechados em que o contm.
Corolrio: Seja um espao linear real (ou complexo) e sejam A um conjunto convexo fechado de , e
0
x um ponto em mas no em A. Ento existe um funcional (ou forma linear) contnuo 0 f sobre tal que

0
f x Sup f A ;
Definio 9: Um funcional linear f dito funcional limitado se existe uma constante real a tal que
f a x x para todo x pertencente a um espao linear.
Teorema 4: Um funcional linear f denominado funcional contnuo se e somente se ele for limitado.
Demonstrao:
Seja f um funcional limitado definido sobre um espao linear , ento existe uma constante a tal que f a x x
para todo x pertencente a um espao linear . Seja tambm 0
n
x x quando n . Ento
0 f f f a
n n n
x x x x x x
quando n , o que mostra que f contnuo.
Ora, se 0 x , ento
x
g
x
um vetor unitrio e
f
f
x
g
x
. Entretanto, para dizer que f no limitado, dizer
que para todo inteiro positivo n , existe um vetor
n
x tal que f n
n
x . Mas o vetor
n
n
n
x
v converge fortemente para
zero. Desta forma, se f contnuo, ento 1
f
f
n
n
n
x
v . Logo, se f contnuo ele limitado. Isto completa a
demonstrao.
Definio 10: Seja f um funcional definido sobre
n
R . Ento
0
x um mnimo local de f se
existir um 0 e tal que
0 0
, , f f V
e
e x x x x . Se
0 0
, , f f V
e
e x x x x com
0
x x , ento
0
x um mnimo local forte de f .
Definio 11: Seja f um funcional definido sobre
n
R . Ento
0
x um mnimo global de f se
existir um 0 e tal que
0
, f f x x x . Se
0
, f f x x x com
0
x x , ento
0
x um
mnimo global forte de f .
Examinando agora o comportamento do funcional na vizinhana de um mnimo local
0
x . A principal ferramenta
para esta anlise a expanso de f em serie de Taylor em torno de
0
x . Para isso, deve-se definir gradiente de f e
matriz Hessiniana num conjunto
k
C
4
de funcionais.
Definio 12: Seja
1
f C ento o gradiente de f em x o vetor definido da seguinte
maneira:

4
Lembre-se que
k
C o conjunto de todos os funcionais que so continuamente diferenciveis at ordem k e so contnuos
em .

1 1
2 2
n n
f
x x
f
x x f f
f
x x

Definio 13: Seja
2
f C ento o Hessiano de f em x a matriz simtrica definida da
seguinte maneira:

2
, 1
n
ij ij
i j
i j
f
h h
x x
H x H
O desenvolvimento em serie de Taylor do funcional f em x convenientemente expressado em termos do
gradiente e do Hessiano. Mas especificamente, se
1
f C ento para qualquer x se tem:

T
f f O x h x x h h (2.8.5)
Ou ainda, se
2
f C ento para qualquer x se tem:

2
1
2
T
f f H O
T
x h x x h h x h h (2.8.6)
Definio 14: Seja
1
f C . O funcional f estacionrio em
0
x (ou de forma
equivalente
0
x um ponto estacionrio de f ) se
0
x 0.
Teorema 5: Seja
1
f C . Se
0
x um mnimo local de f , ento f estacionrio em
0
x .
Demonstrao:
Em (2.8.5) colocando
0
x x e h h x onde h uma varivel real em algum intervalo. Ento,
2
0 0 0
f f h O h x h x x
Assumindo que f no seja estacionrio em
0
x , ento
0
x 0 para um h suficientemente pequeno se tem
2
0
h O h x <0, ou seja,
0 0
f f x h x que implica no ser
0
x um mnimo local. Isso nega a
hiptese. Est demonstrado o teorema.

A condio de f estacionria em
0
x uma condio necessria, porem no suficiente para que o ponto
0
x seja um mnimo local. A condio de suficincia dada pelo seguinte teorema:
Teorema 6: Seja
2
f C e mais f seja estacionrio em
0
x . Ento
0
x um mnimo local forte
de f se a matriz Hessiana
0
H x for positivo-definida.
Demonstrao:
De (2.8.6) e com a hiptese de
0
x 0 se tem:
2
1
0 0 2
f f O
T
x h x h H x h h
Se
0
H x for positivo-definida, ento existe um numero positivo l (que pode ser o menor autovalor de
0
H x ) tal que:
2
1
2
,
n
l
T
h H x h h h
Assim,
2 2
1
0 0 2
f f O l x h x h h
e assim a expresso do lado direito precisa ser positive para valores suficientemente pequenos de h , donde se segue que
0 0
f f x h x em alguma vizinhana de
0
x , isto ,
0
x um mnimo local forte de f .
Assim est demonstrado o teorema.
A condio para o caso de mximo local de f inteiramente anloga ao que se apresentou acima. Se
0
x um
mximo local, ento
0
x precisa ser um ponto estacionrio, e se a matriz Hessiana
0
H x for negativo-definida,
ento
0
x um mximo local forte. Alm do mais fcil demonstrar que se
0
x um ponto estacionrio, ento,
No existe nem mnimo local e nem mximo local se
0
H x tiver tanto autovalores positivos e negativos;
Pode ou no existir um mnimo (mximo) local se
0
H x for positivo (negativo) e semi-definida.
Definio 15: Sejam ,
n
m
f C x R e
n
y R , onde 1 y . A m-sima derivada direcional
de f em x na direo y dado por:

0
;
m
m
m
d f
f
d
t
t
t
x y
x y (2.8.7)
A derivada direcional pode ser calculada atravs do uso da regra da cadeia da diferenciao. Assim, por exemplo,
se
1
,
n
f C x R , se tem:

1
1 1
0
1,
1
; , ,
,
n n
n
T
n i
i i
df
f x y x y
d
f
x x y
x
t
t t
t
x y
x y
(2.8.8)
Se, por outro lado se tiver
2
,
n
f C x R , se tem:

2
;
T
f x y y H x y (2.8.9)
Dessa definio, da definio 14 e dos teoremas 7 e 8, podem-se enunciar os seguintes teoremas:
Teorema 7: Seja
1
,
n
f C x . Se
0
x for um mnimo local de f , ento
1
; 0 f
0
x y em
todas as direes y .
Teorema 8: Seja
2
,
n
f C x e seja
0
x um ponto onde
1
; 0 f
0
x y em todas as
direes y ; ento
0
x um mnimo local forte de f se
2
0
; 0 f x y em todas as direes y .

2.9 Espaos Lineares Normados. Espaos de Banach.
Definio 1: Uma norma em um espao linear ou vetorial um funcional convexo finito definido sobre ,
que satisfaz as seguintes condies (alm das de convexidade):
1 - 0; x x ; (2.9.1)
2 - . , , l l l x x x ; (2.9.2)
3 - ; x +y x y x, y ; (2.9.3)
4 - 0 x x 0 . (2.9.4)
Espao Normado
Definio 2: Um espao linear no qual se tenha introduzido uma norma se chama espao normado.
Todo espao normado se transforma em espao mtrico se para quaisquer elementos , x y se toma
, r x y x y , isto , a mtrica do espao ser igual a sua norma.
Logo, nos espaos normados subsistem todos os conceitos e resultados relativos aos espaos mtricos.
Espao de Banach
Definio 3: Todo espao normado e completo chama-se espao de Banach.
Exemplos de espaos normados:
1 - A reta numrica
1
R se converte em um espao normado, si se toma x x para todo
1
x R .
2 - Se no espao real
n
R de n dimenses com elementos
1 2
, , ,
n
x x x x fizermos

2
1
n
k
k
x x
ou ainda se introduzimos nele a norma:
1
1
n
k
k
x x , ou ainda a norma
0
1
max
k
k n
x x . (Demonstre que
o espao com estas mtricas cumpre os axiomas de norma).
3 - O espao , C a b de funes contnuas sobre o segmento , a b com norma definida por
1
max
k
k n
f f t .
Definio 5: Duas normas x e
*
x em um espao linear normado se chamam normas equivalentes, se
existem constantes 0 a e 0 b tais que, para qualquer x se verifica a desigualdade:

*
a b x x x
Teorema 1: Em um espao linear normado de dimenso finita todas as normas so equivalentes.
Variedade Linear
Definio 6: O conjunto A no fechado de elementos que contm junto com os elementos
, x y Atodos os elementos provenientes da combinao linear a b x y , denominado de variedade linear.
Definio 7: Dados os espaos vetoriais normados e , indica-se por ; L o conjunto de todas
as aplicaes lineares contnuas : f .
; L um espao linear (vetorial), com norma sup ; , 1 f f x x x . Para toda ; f L e
todo x vale f f x x .
Lema 1: Se o espao normado completo, ento o espao vetorial normado ; L completo.
Demonstrao:
Com efeito, se
n
f uma seqncia de Cauchy em ; L e como completo, existe
0
: f S onde
1 S x x , tal que
0 n
f f uniformemente em S . Seja : f a extenso de
0
: f S definido
por
0
, f f l l l x x x
Ento
0 n
f f simplesmente em : claro que 0 0
n
f f 0 0
Do fato de ser:
0
0 lim lim .
n n
x f f f f
x x
x x x x
x x
implica em:
0
lim lim .
n n
f f f f
x x
x x x x
x x

lim
n
f f x x , x segue que f linear. Como
0
f limitada, v-se que ; f L . E como
n
f f em S
uniformemente, tem-se lim
n
f f x x em ; L , o que prova que ele completo.
Definio 8: Define-se uma funo : f , com e espaos de Banach, como funes
quadrado-integrveis, quando existem as integrais:

2
f d
f d
x x
x x

e, alm disso, sua norma definida por:

2
f g f g dx
onde f e g so quadrado-integrveis.
Espao L2
Definio 9: O espao de todas as funes quadrado-integrveis um espao linear completo
normalmente denotado por
2
L (chamado tambm de espao de Lebesgue), e por ser normado tambm um espao
de Banach.
So propriedades de
2
L :
i. O produto de duas funes quadrado-integrveis de
2
L uma funo integrvel pertencente a
2
L , uma vez
que
2 2
1
2
. f g f g ;
ii. A soma de duas funes quadrado-integrveis de
2
L uma funo integrvel de
2
L , uma vez que
2
2 2
2 . f g f f g g e mais, pela propriedade 1 acima, todas as parcelas do lado direito da
desigualdade so integrveis;
iii. Se
2
f L e para qualquer a , ento
2
f L a .

Teorema 2: (Hahn - Banach para espaos normados). Seja
0
f um funcional linear limitado definido sobre um
espao normado . Este funcional pode ser prolongado para um funcional linear f , definido sobre todo ,
sem aumentar a norma, isto , de maneira que:

0
f f
Proposio: Para cada espao normado existe um nmero suficientemente grande de funcionais
lineares contnuos.
Teorema 3: Se
n
f uma seqncia debilmente convergente de funcionais lineares sobre um espao de
Banach , existe um nmero constante K tal que,
, 1, 2,
n
f K n
Em outras palavras, toda seqncia
n
f debilmente convergente de elementos de um espao dual de Banach,
limitada com relao sua norma.

2.10 Espaos Euclidianos
Definio 1: Se denomina produto escalar em um espao linear real R a uma funo real, denotada por
, x y ou por , x y , definida para cada par de elementos , x y R, que satisfaz as seguintes condies:
x, y y, x (comutatividade) (2.10.1)
; , , x, y +z x, y x, z x y z R (distributividade) (2.10.2)
, , ; , l l l x y x y x y R (associatividade a escalar) (2.10.3)
0 x, x (positividade) (2.10.4)
0 x, x x 0. (2.10.5)
Espao Euclidiano
Definio 2: Um espao linear R com produto escalar definido nele chamado de espao euclidiano.
Num espao euclidiano se introduz uma norma mediante a frmula:
, r x x x (2.10.6)
ou

2
, x x x (2.10.7)
Desta, pode-se deduzir, a partir da desigualdade triangular, a desigualdade de Cauchy - Buniakovski (demonstrar
como exerccio):
, . x y x y (2.10.8)
A existncia de produto escalar em um espao euclidiano R permite definir nele no s a norma de um vetor
(elemento seu), representando seu comprimento, como tambm o ngulo entre dois elementos quaisquer, que
dado por:

,
cos j
x y
x y

Se , 0
2
p
j x y , e neste caso os vetores , x y so chamados vetores ortogonais.
Lema: Se , x y so elementos quaisquer de um espao euclidiano R, ento verdadeira a expresso:
x y x y
Definio 3: Um conjunto de vetores
k
x R, diferentes de zero, chama-se de sistema ortogonal
quando para quaisquer dois elementos deste conjunto, cumpre-se a igualdade:
, 0,
i j
i j x x (2.10.9)
isto , quando o conjunto linearmente independente.
Teorema 1: Dois elementos quaisquer , x y num espao euclidiano R so ortogonais, se, e somente se:
x y x y
Definio 4: Um sistema ortogonal
k
x R completo (isto , tal que o menor subespao fechado que o
contm todo R) se chama base ortogonal. Se, alm disso, a norma de cada elemento igual unidade, o sistema
dito sistema ortonormal:

0,
,
1,
i j ij
i j
i j
d x x (2.10.10)
onde o
ij
denominado de delta de Kronecker.
Definio 5: Diz-se que as funes
1 2
, , , ,
n
j j j so ortonormais em um intervalo , a b se:
,
b
i j i j ij
a
dx j j jj d (2.10.11)
Exemplos:
1. O espao de coordenadas
n
R de n dimenses, cujos elementos so os sistemas de nmeros reais
1 2
, , ,
n
x x x x com as operaes habituais de adio e multiplicao e com produto interno definido
por:
1
,
n
i i
i
x y x y .
2. O espao com os elementos
1 2
, , , ,
n
x x x x donde
2
1
i
i
x e com produto escalar definido
por
1
,
i i
i
x y x y .
3. O espao
2
, C a b composto por funes contnuas reais sobre o segmento , a b com produto escalar
definido por:
,
b
a
f g f t g t dt
Neste espao, entre diferentes bases ortogonais que se pode achar, o sistema trigonomtrico de
fundamental importncia. Esse sistema composto pelas funes:

1 2 2
; cos ; sin ; 1, 2, , ,
2
n t n t
n n
b a b a
p p

(prove a ortogonalidade do sistema formado pelas equaes acima).

Teorema 2: (Sobre a Ortogonalizao). Seja { } { }
1 2
, , , ,
n
= f f f f um sistema linearmente independente de
elementos em um espao euclidiano R, no qual existe um sistema de elementos { } { }
1 2
, , , ,
n
= que
satisfaz as seguintes condies:
- o sistema { } ortogonal e normal;
- todo elemento
n
uma combinao linear dos elementos de { } f :
1 1 2 2 n n n nn n
a a a f f f ;
- todo elemento
n
f se representa na forma:
1 1 2 2 n n n nn n
b b b f
Ento todo elemento de { } determinado pelas condies 1., 2., e 3. acima de maneira unvoca, a menos de um
fator < 1.
Proposio 1: Introduzindo em um espao euclidiano R uma base ortonormal , , ,
1 2 n
e e e e , todo
vetor x R pode ser representado na forma:

1
, ,
n
k k k k
k
x a a x x e (2.10.12)
Seja o desenvolvimento da representao de qualquer x no caso de um espao euclidiano infinito.
Assim, seja { } { }
1 2
, , , ,
n
= um sistema ortonormal em um espao euclidiano R e seja f um elemento
arbitrrio de R. Colocando-se em correspondncia a todo elemento f Ra seqncia de nmeros
, , 1, 2, ,
k k
k n b f que se denominam coeficientes de Fourier do elemento f segundo o sistema { } e a
srie
k k
b que se denomina srie de Fourier do elemento f segundo o sistema ortonormal { } .
Surge, evidentemente, perguntas como: a srie de Fourier converge? e se converge, coincide sua soma com o
elemento inicial f ?
Seja ento o seguinte problema, para que se possa responder a estas perguntas: para um dado nmero n, possvel
escolher os coeficientes
k
b , ( ) 1, 2, , k n = de maneira que a distncia entre f e a soma
n k k
b S seja
mnima.
Como { } ortonormal, temos:

( )
( ) ( ) ( )
( )
2
2
2
2 2
2
,
, 2 , ,
2

n k k k k
k k k k k k
k k k
k k k
| |
| | |
| |
o | o
= =
= + =
= + =
= +




f S f f
f f f
f
f

claro que a expresso acima alcana seu mnimo quando o ltimo termo for igual zero, isto ,
, 1, 2, ,
k k
k n a b . Neste caso

2 2
2
n k
a f S f
Assim, demonstramos que para um n dado, entre todas as somas do tipo
n k k
b S
,
a de menor desvio de f
a soma parcial da srie de Fourier do elemento f . Posto que sempre

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

ou de outra forma:

2
2
k
a f
Aqui n arbitrrio e o membro da direita independe de n , logo a serie
2
k
k
a converge quando k , isto ,

2
2
1
k
k
a f (2.10.13)
A desigualdade acima se chama de desigualdade de Bessel, e dela tira-se a seguinte definio:
Definio 6: Um sistema ortonormal { } se chama sistema ortonormal fechado quando para qualquer
f , se cumpre a igualdade de Parseval:

2
2
1
k
k
a f (2.10.14)
Teorema 3: Para que um espao normado R seja euclidiano necessrio e suficiente que para quaisquer dois
elementos , f g R a igualdade a seguir se cumpra:

2 2 2 2
2 f g f g f g (2.10.15)

Demonstrao:
Posto que , f g f g so as diagonais de um paralelogramo construdo sobre os lados f e g , a igualdade (2.10.15) acima
expressa a conhecida propriedade dos espaos euclidianos (ou espaos vetoriais) que diz:
o quadrado das diagonais de um paralelogramo igual a soma dos quadrados de seus lados.
Por conseguinte, a condio necessria bvia. Seja agora demonstrar a condio suficiente, isto , se si cumpre a igualdade
(2.10.15) a funo:

2 2 1
, .
4
f g f g f g (2.10.16)
satisfaz a todos os axiomas do produto escalar. Colocando f g, obtm-se:

2 2 2 2 2 1 1
, . 2 . 2 0
4 4
f f f f f f f (2.10.17)
que precisamente a norma induzida do espao euclidiano. Antes de tudo, v-se que por (2.10.16) tem-se , , f g g f que
cumpre a 1 condio. Em face de (2.10.17), v-se que se cumpre a 4 condio.
Para demonstrar a 2 condio, seja a funo:
, , 4 , , , , , , f g h f g h f h g h f g h
Isto
2 2 2 2 2 2
, , f g h f g h f g h f g f g g h g h (2.10.18)
e demonstrar-se- que identicamente zero. De acordo com (2.10.15)
2 2 2 2
2 2 f g h f h g f h g
Substituindo-se essas expresses em , , f g h obtm-se:
2 2 2 2 2 2
, , f g h f g h f g h f h f h g h g h (2.10.19)
Somando (2.10.18) e (2.10.19) obtm-se: , , 0 f g h , ou seja, , , , f h g f g h g .
Seja agora demonstrar a 3 Condio. Ento para quaisquer elementos f, g fixos, a funo vlida para
l arbitrrios:
, , l l l f g f g
De (2.10.16), se deduz que:
2 2 1
0 0
4
g g
Com isso, est demonstrado o teorema.

Teorema 4: (Processo de Ortogonalizao de Gram-Schmidt): Seja
1 2
, , , ,
n
x x x x um conjunto (finito ou
infinito) de elementos linearmente independentes num espao euclidiano R. Ento existe um conjunto ortogonal
, , , ,
1 2 n
e e e em R tal que, para cada inteiro n ,
k k
span span e x , isto , o espao gerado por
, , , ,
1 2 n
e e e igual ao espao gerado por
1 2
, , , ,
n
x x x . Alm disso, os elementos
k
e podem ser escolhidos
de acordo com a regra:

1 1
1 1 1 1
1
,
, 1, 2, ,
.
n n n n
n i
i
i i
i n
a a
a
e x
e x e e
x e
e e
(2.10.20)
Teorema 5: Seja R um subespao de dimenso finita de um espao euclidiano de dimenso finita. Seja
r um elemento de R. Ento r pode ser decomposto exatamente de um modo assim: r x d onde x um
elemento de e d um elemento de R tal que , 0
i
d e para qualquer base , , ,
1 2 n
e e e do subespao .
Espao de Hilbert
Definio 7: Um espao mtrico infinito com um produto interno definido sobre ele e completo com
relao a uma norma definida pelo produto escalar, chamado de Espao de Hilbert.
Definio 8: Se um espao de Hilbert e um subconjunto linear que fechado sobre
(Lembramos que ser linear implica que , , a a u v R u v ) Ento chamado de
subespao de Hilbert.
Teorema 6: (Teorema de Riesz - Fischer). Seja,
,
um espao de Hilbert (um espao euclidiano completo e de
dimenso infinita). Seja a seqncia de nmeros reais:
1 2
, , c c R, Seja , ,
1 2
e e uma seqncia infinita
ortonormal arbitrria de . Se existe

2
1
lim
n
k
n
k
c
ento existe um elemento v tal que

2
2
1
,
lim
k k
n
k
n
k
c
c
v e
v
(2.10.21)
Demonstrao.
Se
2
1
lim
n
k
n
k
c existe, ento
2
1
n
n k
k
S c de Cauchy. Seja ento
1
n
n k k
k
c v e uma seqncia de vetores de . Seja
0 e , ento existe N tal que, , l n se l n N , ento
2 2
1
l
k
k n
c e que implica em
2 2 2
2 2 2 2 2
1 1 1 1 1 1 1
2 2 2 2 2
1 1 1 1
2
2
2 ,
= 2 , = 2
de Cauchy.
l n l n l n
l n l l l n n
k k j i j i k k k
k k j i k k k
l n l l
k k k k
k k k n k n
l n l n n
c c c c c c c
c c c c
v v v v v v
e e
v v v v v
e
e e

Como completo
1
|
k k
k
c v v e . Mas como tambm
n
v v , pois um espao vetorial, logo:
, , , ,
, ,
0 ,
n k k k k k k
k k n k
n k n k
c
c
v v e v e v e v e
v e v v e
v v e v v e

tomando o limite quando n , tem-se 0 , 0 ,
n k k k
c v v e v e
Pela desigualdade de Bessel, sabe-se que:
2 2
2
1 1
,
k k
k k
c v e v , mas
2
2
1 1
lim
n k k n k
n
k k
c c v v e v
como
2
2
1
lim
n n k
n
k
c v v v se pode combinar este resultado com a desigualdade de Bessel, obtendo-se
2
2 2
1 1
k n k
k k
c c v , donde finalmente
2
2
1
n k
k
c v . Assim est demonstrado o teorema.

Espao de Hilbert Separvel
Definio 9: Um espao de Hilbert que tem um conjunto ortonormal completo dito Espao de
Hilbert Separvel.
Seja { } { }
1 2
, , , ,
n
= um conjunto ortonormal completo em um dado espao de Hilbert e seja f
um elemento arbitrrio dele. Ento ,
i i
a f definido pela relao de completude

2
1
i
i
a f
onde
1 2
, , a a uma seqncia infinita. Reciprocamente, seja
1 2
, , a a uma seqncia infinita de
nmero tais que:

2
1
i
i
a
Ento
1
n i i
i
aj f uma seqncia de Cauchy, pois
2 2
1
n m i
i
a f f tende a zero quando n e m
aproximam-se do infinito. Por conseguinte o espao de Hilbert completo, e { }
i
f tem um limite forte f e
,
i i
a j f .
Teorema 7: (Teorema da Projeo). Se h um elemento de um dado espao de Hilbert e um subespao
de ( ), ento existe um nico elemento g , chamado de projeo de sobre , e um nico
elemento f ortogonal a todo elemento em , tal que h g f , com , 0 u f para todos u .
Demonstrao:
Seja a norma h u onde u . Como 0 h u , todo conjunto de normas do tipo h u uma seqncia de
nmeros reais com um limite inferior.
Entretanto existe um limite inferior mximo |, tal que 0 b h u para todo u . Se h est em , ento 0 b
por que 0 h u , quando h u e neste caso h a prpria projeo sobre , com 0 u , e o teorema vlido.
Por outro lado, seja h . Ento existe uma seqncia de elementos
i
u tal que b h u quando i .
Agora ento se tem:

1 1 1 1
2 2 2 2
m n m n m n
b h u u h u h u h u h u
quando n e m . Porem
1
2
m n
u u e
1
2
m n
b h u u
Assim segue da regra do paralelogramo que:
2 2 2 2
2 2 w v w v w v fazendo
n
w h u e
m
v h u segue
2
2 2 2 1
2 2 4
2
n m n m m n
u u h u h u h u u
com 0
n m
u u quando , m n , isto prova que a seqncia
i
u de Cauchy e, portanto completo e
i
u tem um limite forte em .
Agora 0
n
g u e
n
b h u quando n e
n n
b h g h u g u , quando n . Isto prova
que b h g . Se 0 b ento 0 h g h g e implica que u , caso contrrio, h no est em e
0 b .
Agora seja f h g. Provar que f ortonormal a todo elemento em , isto , , 0 u f .
Seja u , ento a g u , para todo a , e
2
2
2
2 2 2
2
, ,
b a
b a a a
h g h h u
h g u h g u u h g

Se
2
,
a
u h g
u
, ento
2
2 2
2
, u h g
h g h g
u
o que impossvel a no ser que , 0, u h g u .
Assim, sejam dois elementos distintos
*
, g g , ambos tm a propriedade:
*
b
b
h g
h g
como
*
, g g ento
*
g g o que prova ser g nico e assim f h g e este ortonormal a
qualquer elemento de . Assim est demonstrado o teorema.
Teorema 8: Se f um funcional
5
linear contnuo definido sobre um espao de Hilbert , ento existe um
nico elemento x em tal que , f h x h .
Demonstrao:
Seja a coleo de elementos tal que para cada elemento u tem-se 0 f u . Esta coleo no vazia, pois
0 f 0 . , tambm um subespao uma vez que ele um espao euclidiano completo. Se e seja x 0, ento:
, 0 f h 0 h
Se no for um espao euclidiano, ento existe um elemento z tal que 0 f z . Pelo teorema da projeo, z tem uma
projeo g em tal que z t g ortogonal a . Agora,
0 f f f t z g
Seja, por definio,
*
2
f t t
x
t
, ento
2
2
*
2
2 4
f f f
f
t t t t
x x
t t
.

5
Veja definio no item 2.3
Seja, ento, h , arbitrrio. Logo 0
f f f
f f
f f
h x h x
h h
x x
, o que mostra que
f
f
h x
h
x
est contido em . Como se v, x ortogonal a , logo:
2
0 , , ,
f f
f
f f
h x h x
x h x h x h h
x x

isto mostra que , f x h h . Testa mostrar que x nico. Sejam ento dois elementos x e
1
x tais que
1
, , f h x h x h .
Ento
1
, 0 x x h para todos os elementos h . Mas ento
1
h x x , o que implica em
1 1
0 x x x x .
Isto completa a demonstrao.
Definio 10: Uma seqncia de elementos { }
i
f pertencentes a um espao de Hilbert dita ter um
limite fraco se lim , ,
i
i
h f h f para todo h . . Em um espao de Hilbert separvel, este limite chamado de
convergncia modo componente por causa da existncia de uma base ortonormal. Ou seja, sendo
{ } { }
1 2
, , , ,
n
= um conjunto ortonormal completo, ento lim , ,
k i k
i
f f para qualquer k . Isto
demonstra que o k-simo componente de
i
f converge para o k-simo componente de f . Ento para todo h
tem-se:
, , , 0
i i i
h f h f h f f h f f
quando i .

Convergncia forte implica em convergncia fraca, mas no o inverso. Portanto, seja { }
i
f uma seqncia com um
limite forte f . Ento para cada h tem-se:
, , , 0
i i i
h f h f h f f h f f
quando i
Para mostrar que a convergncia fraca no implica em convergncia forte, seja a seqncia de elementos
ortonormais { }
k
em . Seja h um elemento arbitrrio de . Ento pela desigualdade de Bessel tem-se:

2
1
,
k
k
h h
Por outro lado,
lim , 0 ,
k
i
h h 0
o que demonstra que { }
k
tem um limite fraco em 0 . Entretanto, por hiptese inicial { }
k
ortonormal e logo
1,
k
k , logo a seqncia no pode ter limite forte em 0 .
Teorema 9: As normas de uma seqncia convergente fraca so uniformemente limitadas; isto , se { }
i
f
converge fracamente, ento existe um K tal que
n
K f para todo i.
Demonstrao:
Seja h , ento , ,
n
h f h f onde f o limite fraco da seqncia { }
i
f para um dado h, ,
n
h f uniformemente
limitado. Usar-se- esse fato para se mostrar que para
0
d h h existe C R tal que
,
n
C h f
Aqui
0
h um elemento fixo de . Se este no satisfizer, ento existe um elemento
1
h e
1
n n tal que
1
1
, 1
n
h f . Como o produto escalar ,
n
h f contnuo em pode-se achar
1
h satisfazendo
1 0
d h h e mais
uma vizinhana
1 1 1
| K d d h h h tal que para todos h em
1
1
, 1
n
K h u .
Similarmente pode-se achar um
2
n , um
2
h e um
2 2 2 1
| K d d d h h h tal que
2
K esteja contido em
1
K e
para todo h em
2
2
, 2
n
K h u .
Desta maneira se constri um conjunto de vizinhanas aninhadas, e uma seqncia
n
d que convergente para 0,
assegurando que a seqncia de elementos
n
h converge para um nico elemento v contido em todas as vizinhanas.
Assim,
1 2
, 1; , 2;
n n
v f v f . Isto contradiz o fato de que ,
n
v f seja uniformemente limitada. Logo, est provado
que ,
n
C h f para todo h satisfazendo a
0
d h h . Agora, para qualquer h tem-se:
0 0
, , ,
n n n
d
d d
h h h
h f h f h f
h

onde
0
d
h
h a distncia de d at
0
h . Entretanto
2
,
n
C
d
h f h para todo h . Seja ento
n
h f logo
2
n
C
K
d
f
o que completa a demonstrao do teorema.

Teorema 10: Um espao de Hilbert fracamente completo, isto , quando , 0
n m
h f f para
; n m , para todo h , ento a seqncia { }
i
f de elementos de tem um limite fraco.
Demonstrao:
Por definio ,
n
h f converge para todo h . Isto implica que existe um N tal que ,
n
N h f h , qualquer que seja
h . Seja o funcional lim ,
n
n
L h h f . Assim L limitado. Logo existe um nico elemento f tal que:
, lim ,
n n
n
h f f h h f onde f o limite fraco de { }
i
f .

Definio 11: O conjunto de todos os funcionais lineares contnuos definidos sobre um espao euclidiano
forma um espao linear chamado dual, denotado por
*
.
Lema: Para funcionais lineares contnuos f definidos sobre um espao normado qualquer, a norma que
induz convergncia forte :

0
lim
x
x

Teorema 11: Seja um espao de Hilbert. Para todo funcional f contnuo em existe um nico
elemento
0
x tal que
0
, , f x x x x . E mais, resulta que
0
f x . Vice versa, se
0
x a
formula acima define um funcional linear contnuo f tal que
0
f x . Disto se conclui que

e seu espao dual
so isomorfos.
Teorema 12: O espao dual
*
de um espao normado completo.
Demonstrao:
Seja { }
n
f uma seqncia de Cauchy de funcionais lineares. Ento para cada 0 e existe N tal que
n m
f f e para
todo , m n N . Daqui se obtm que para qualquer x tem-se
n m n m
f f f f e x x x x
isto , qualquer que seja x a seqncia { }
n
f converge. Seja ento lim
n
n
f f x x
Seja ento provar que f representa um funcional linear contnuo.
Primeiro provar-se- a continuidade:
lim lim
n n n
n n
f f f f f f a b a b a b a b x y x y x x x x
Seja N de maneira que 1
n n p
f f para todo n N e para todo e qualquer 0 p .
Ento 1
n p n
f f para todo 0 p e assim 1
n p n
f f x x . Passando ao limite quando p , tem-
se: lim 1
n p
p
f f f x x x , isto , o funcional f limitado e contnuo.
Seja agora demonstrar que f o limite da seqncia de Cauchy { } { }
1 2
, , , ,
n
f f f f = . Sejam 0 e e n to grande que
3
n n p
f f
e
, para todo 0 p .
Por definio de norma, existe um elemento
, n e
x tal que:
, , , ,
, , ,
3 3
n n n n n n
n
n n n
f f f f
f f
e e e e
e e e
e e
x x x x
x x x

ou ainda
, ,
, ,
3
n p n n
n p
n n
f f
f f
e e
e e
e
x x
x x

Como o primeiro termo do 2 membro tende a zero quando p , tem-se:
n p
f f e
Est demonstrado o teorema.

2.11 Operadores Lineares
Definio 1: Sejam e dois espaos lineares. Chama-se operador linear aquele que atua de em
, a toda aplicao y Ax , onde x e y , e que verifica a condio:

1 2 1 2
a b a b A x x Ax Ax (2.11.1)
Onde o operador A a representao matricial de uma aplicao linear.
Variedade Linear
Definio 2: Ao conjunto D
A
de todos os x para os quais est definida a aplicao linear A,
denomina-se de campo de definio do operador A; em geral D
A
, no entanto, sempre admitir-se- que D
A

uma variedade linear.
Definio 3: Um operador linear A dito operador linear contnuo no ponto
0
D
A
x quando para
qualquer vizinhana V
e
do ponto
0 0
y Ax existe uma vizinhana U
e
do ponto
0
x tal que V
e
Ax sempre que
D U
e A
x . Assim, o operador dito contnuo se para qualquer 0 e existe um 0 d tal que da desigualdade
1 2
d x x , se deduza que
1 2
e Ax Ax .
Exemplos
Seja A um operador linear que transforma um espao de dimenso finita
n
n-dimensional em outro
espao
m
m-dimensional. Seja , , ,
1 2 n
e e e base de
n
e , , ,
m 1 2
f f f base de
m
. Se x
um elemento arbitrrio de
n
, temos:
i i
x x e e devido linearidade de A, temos:
i i
x Ax Ae . Assim A estar definido si se conhece como se transforma os elementos
i
e da
base. Seja o desenvolvimento do vetor
i
Ae segundo a base , , ,
m 1 2
f f f :
i ij j
a Ae f . Da se
v que A definido pela matriz dos coeficientes
ij
a . Observe que em um espao finito todo
operador linear contnuo.
O operador linear que transforma cada elemento de um espao linear nele mesmo o operador
unitrio: , Ax x x .
Demonstrar que o operador dado por ,
b
a
t K s t s ds j sobre , C a b contnuo com norma
( ) max t = .

Definio 4: Um operador A se chama operador limitado ou acotado se transforma toda bola em um
conjunto acotado, isto , quando existe uma constante o tal que para todo x do espao normado em considerao
temos a Ax x . Ao menor dos nmeros a que satisfaz a desigualdade dada, se chama de norma do
operador linear A, e se denota por A .
Entre limitao e continuidade de um operador linear existe uma relao estreita, e tm lugar as seguintes
proposies:
- Todo operador contnuo limitado;
- Se um operador linear limitado, e se o espao onde atua for normado, o operador contnuo e ele
equivalente sua limitao;
O operador linear A limitado quando existe uma constante K tal que, para todo f , tem-se K Af f
(definio 4).
Teorema 1: Para qualquer operador limitado A que atua de um espao normado para outro, se tem:

0
sup 1
sup
x
A x
Ax
Ax
x
(2.11.2)
Demonstrao:
Seja
1 0
sup sup
K
a
x
Ax
Ax
x
. Provar-se- primeiro que a e A , isto ,
e
a e Ax x donde se deduz
que a e A . Como e arbitrrio e maior que zero, tem-se a A .
Provar-se- agora que essa desigualdade a A impossvel. Ento seja
2
e
a A . Daqui se deduz que qualquer que
seja o ponto x , se cumpre s desigualdades:
2
a e
Ax
A
x
, ou operando os extremos da desigualdade
2
e
Ax A x
isto , A no cota inferior para o que K Ax x . Logo se conclui que a A .
Est demonstrado o teorema.

Definio 5: Sejam A e B dois operadores lineares que atuam de em , dois espaos normados. A
soma A+B deles outro operador C que pe em correspondncia o elemento x ao elemento
y Ax Bx . . Se os operadores A e B forem acotados, ento vale a seguinte desigualdade:
C A B .
Definio 6: Se um operador linear A atua de em ( : A ), e outro operador B atua de
em ( : B ), ento o produto BA dos operadores A e B, forma um operador C que pe em
correspondncia o elemento x ao elemento z B Ax . Se , e forem normados e A e B
forem acotados, o operador C= AB tambm acotado e, alm disso, vale a relao: C A B .
Operador positivo definido
Definio 7: Um operador A se chama operador positivo definido, se e somente se existe 0 a tal que:

2
, a Ax, x x x 0 (2.11.3)
chama-se operador positivo semi-definido se
0, Ax, x x 0 (2.11.4)
Definio 8: Um operador A de em se chama operador inversvel, quando para qualquer y
a equao y = Ax tem soluo nica.
Teorema 2: Um operador
-1
A , dito operador inverso do operador linear A, e tambm linear.
Demonstrao:
Para provar este teorema basta comprovar que se cumpre a igualdade:
1 1 2 2 1 1 2 2
a a a a
-1 -1 -1
A y y A y A y
Sejam ento
1 1 2 2
; y Ax y Ax . Devido a linearidade tem-se:
1 1 2 2 1 1 2 2 1 1 2 2
a a a a a a A x x Ax Ax y y
Por definio
1 1 2 2
;
-1 -1
A y x A y x ; multiplicando-se estas igualdades por
1 2
, a a respectivamente e somando-se, tem-se:
1 1 2 2 1 1 2 2
a a a a
-1 -1
A y A y x x
Por outro lado v-se que:
1 1 2 2 1 1 2 2
a a a a
-1
x x A y y
Comparando-se as duas ltimas expresses conclui-se que:
1 1 2 2 1 1 2 2
a a a a
-1 -1 -1
A y y A y A y
Est demonstrado o teorema.

Teorema 3: (Teorema de Banach sobre operadores inversos). Seja A um operador linear limitado que efetua
uma transformao biunvoca do espao de Banach
1
sobre o espao de Banach
2
. Ento, o operador inverso
-1
A limitado.
Lema: Seja Lum conjunto sempre denso de um espao de Banach . Ento todo elemento de no
nulo f e 0 f pode ser desenvolvido em srie:

1 2 n
f f f f
Donde
k
f L e
3
2
k
k
f
f .
Demonstrao:
Seja construir a seqncia
k
f do seguinte modo:
para
1
f :
1
2
f
f f
que define uma esfera de raio
2
f
e centro em f , dentro do qual existem elementos de L, pois este sempre denso.
para
2
f :
1 2 2
2
f
f f f
. . . . . .
para
n
f :
1 2
2
n n
f
f f f f
Tal construo sempre possvel j que L sempre denso em . Assim
1
0
n
k
k
f f quando n , isto , a srie
1
n
k
k
f converge para f , onde
k
f L, para todo k.
Seja agora estimar as normas dos elementos
Para
1
f :
1 1 1
1
3
2
3
2 2
f
f f f f f f f
f
f f f f f

Para
2
f :
2 2 1 1 1 2 1 2
3
2
f
f f f f f f f f f f f
. . . . . . . . .
Para
n
f :
1 1 1 1
1 1 1
3
2
n n n n
n n
n
f f f f f f f f
f f f f f f
f

Est demonstrado o lema.

Teorema 4: Se A um operador linear, positivo definido e limitado, ento o operador linear limitado
-1
A existe
Operador Conjugado
Definio 9: Seja A um operador linear contnuo que aplica um espao sobre outro do mesmo
tipo. Seja f uma funcional linear contnua definida sobre . Ento o operador
*
A , que obedece a relao
, , f f
*
Ax A x dito ser um operador conjugado ou adjunto.
Uma de suas propriedades que ele se define mediante a matriz transposta da matriz do operador A. As seguintes
propriedades seguem da definio de operadores conjugados:
1. O operador
*
A linear;
2.
*
* *
A+B A B ;
3. Se k um nmero complexo
*
k k
*
A A ;
Teorema 5: O operador
*
A conjugado a um operador linear limitado (acotado) A que aplica um espao de
Banach
1
em um outro espao de Banach
2
, tambm limitado (acotado) e
*
A A .
Teorema 6: Se existirem dois operadores A e C sobre um espao de Hilbert tal que Ah, g h, Cg
para quaisquer h, g , ento A e C so limitados e
*
C= A .
Definio 10: Um operador linear limitado que atua em um espao euclidiano , se chama operador
autoconjugado ou autoadjunto quando
*
A A, isto , quando:
Ax, y x, Ay (2.11.5)
para todos os x, y .
Definio 11: Um operador linear A definido sobre um espao de Hilbert dito completamente
contnuo se ela mapeia seqncias fracamente convergentes em seqncias fortemente convergentes; isto , se
k
f tem um limite fraco f , ento
k
Af tem limite forte Af .
Definio 12: Seja A um operador linear em um espao n-dimensional
n
. O nmero l se chama valor
prprio ou autovalor do operador A, quando a equao:
l Ax x
tm solues no nulas.
Definio 13: O conjunto de todos os autovalores se denomina espectro do operador A.
Teorema 7: Se A um operador completamente contnuo e autoadjunto, ento ou A ou A um
autovalor.
Demonstrao:
Seja um conjunto de vetores x tal que 0 Ax . Este conjunto no vazio, pois contm o vetor zero. Se este conjunto for o
espao todo, ento 0 Ax para todos os x e, portanto 0 A e o teorema est provado.
Agora seja existir um vetor htal que 0 Ah que implica em 0 A . Assim existe uma seqncia
n
z tal que 1
n
z e
mais
lim ,
n n
n
A Az z
Isto significa que existe uma subseqncia
n n
v z tal que lim ,
n n
n
Av v ou A ou A . Assumindo por
definio que ele seja A . A seqncia
n n
v z limitada e, portanto tem uma subseqncia fraca convergente
n
u .
Se
n
u converge fracamente para u, ento
n
Au converge fortemente para Au, e
0
n n n n n n
n n
Au , u Au, u Au , u Au, u Au, u Au, u
Au - Au Au, u - u

quando n . Assim lim
n n
n
Au , u Au, u A . V-se que 1 u . Primeiramente, se 1 u , existe um
escalar real 1 a tal que 1 au e
2
, a a a A u u Au, u A , o que contradiz o fato de que A o menor dos
limites superiores de Ah, h para 1 h . Ento 1 u . Isso mostra que
n
u converge fortemente para u. Alm
disso, fazendo l A ,
2
2
2
2
2
2 0
n n n n n n
n n
l l l
l l
Au u Au , Au Au , u
A Au , u

quando n . Assim
0
n n n n
n n n n
l l l l
l l
Au u Au Au Au u u u
Au Au Au u u u

quando n . Isto mostra que l Au u e a prova est completa.
Aplicao Bilinear
Definio 14: Sejam , e espaos vetoriais. A aplicao : f uma aplicao bilinear
e caracterizada pelas condies:
(1).
1 2 1 1 1 2 1
, , , f f f x x y x y x y
(2).
1 1 1 1
, , f f a a x y x y
(3).
1 1 2 1 1 1 2
, , , f f f x y y x y x y
(4).
1 1 1 1
, , f f a a x y x y
onde
1 2
, x x e
1 2
, y y e a . Alm disso, as afirmaes abaixo so equivalentes:
(5). f contnua;
(6) f contnua no ponto , 0 0 ;
(7) existe 0 c tal que , f c x y x y para quaisquer x e y ;
(8) f lipschitziana em cada parte limitada de .
Definio 15: Uma forma bilinear , A sobre um espao linear ou vetorial normado dito ser
limitada (ou contnua) se existe uma constante C , C , tal que
, C A v, w v w v, w
e coerciva sobre V se 0 a tal que

2
, a A v, v v v V
Proposio: Sejam , e espaos vetoriais. Toda aplicao bilinear : f contnua.
Teorema 8: Seja A um operador auto-adjunto completamente contnuo definido sobre um espao de Hilbert
. Seja , onde o espao nulo do operador ( x em implica em 0 Ax ) e ortogonal a
. Se no o espao todo, ento contm autovetores de A,

1 2 3 1 2 3
, , , | , ,
i i i i j ij
l d y y y Ay y y y y y y
e os autovetores
1 2 3
, , , y y y so completos em . Se no de dimenso finita, ento lim 0
i
i
l .
Teorema 9: Seja A um operador auto-adjunto completamente contnuo definido sobre um espao de Hilbert
. Seja o espao nulo do operador contendo unicamente o vetor zero. Ento se 0 l e l no for igual a um
autovalor de A, a equao:
l Ax x g
tem uma nica soluo dada por

1
i
i
i i
g
l l
x y
onde
i
so autovalores de A correspondentes aos autovetores
i
y e ,
i i
g y g . Se l for igual a um autovalor
i
ento no existe soluo a menos que g seja ortogonal a todo autovetor correspondente a este autovalor. Neste
ltimo caso, existe uma soluo nica dada por:

1
i
i
i
i k
i k
g

=
=
= +

x y h
onde h uma combinao linear arbitrria dos autovetores correspondentes a
k
l .

EXERCCIOS
1. Para os exerccios abaixo, determine a sua soluo e esboce um algoritmo para programar a soluo em
um microcomputador.
a. Dada uma base
n
n
e R e uma base
n
m
f R , ache a matriz
ij
a do operador linear que transforma
n
R em
m
R , sendo n e m genricos.
b. Dado o operador
( )
( )
( )
,
b
a
t k s t s ds =
}
sobre , C a b onde
( )
s uma funo contnua bem como
( ) , k s t ; verifique se ele adjunto, autoadjunto ou no. Escolha , k s t ,
( )
s , a, b.
2. Defina e comente o que sabe sobre:
a - Espaos Lineares h - Ponto de Aderncia
b - Espaos Mtricos i - Ponto de Acumulao
c - Espaos Completos j - Funcionais Lineares
d - Espaos Normados k - Operadores Lineares
e - Espaos Densos l - Operadores Lineares Limitados
f - Espaos de Banach m - Variedade Linear
g - Aderncia n - Operadores Conjugados
3. Prove a desigualdade de Minkowski

1 1 1
1 1 1
n n n
p p p
p p p
k k k k
k k k
a b a b
sabendo-se que
1
1
,
n
p
p
k k
k
y x r x y
4. Prove que uma seqncia fracamente convergente tem um nico limite.
5. Prove que em um espao linear finito, as convergncias fortes e fracas so equivalentes.
6. Mostre que o conjunto de funes
1
sin , 1, 2,
n
nx n f
p
no um conjunto completo no
intervalo 0 2 x p.
7. Prove que todo operador linear sobre um espao linear de dimenso finita completamente contnuo.
8. Prove que a coleo de vetores ortogonais de um determinado subespao de um espao de Hilbert forma
um espao.