Você está na página 1de 90

MINIST ERIO ´ DA EDUCAC¸ AO ˜

Universidade Federal de Alfenas - Unifal-MG

Rua Gabriel Monteiro da Silva, 700 - Alfenas/MG - CEP 37130-000 Fone: (35) 3299-1000 - Fax: (35) 3299-1063

AN ALISE ´ FUNCIONAL E APLICAC¸ OES ˜

FRANCO BASSI ROCHA

Alfenas, MG

2010

MINIST ERIO ´ DA EDUCAC¸ AO ˜

Universidade Federal de Alfenas - Unifal-MG

Rua Gabriel Monteiro da Silva, 700 - Alfenas/MG - CEP 37130-000 Fone: (35) 3299-1000 - Fax: (35) 3299-1063

AN ALISE ´ FUNCIONAL E APLICAC¸ OES ˜

FRANCO BASSI ROCHA

Trabalho de Conclus˜ao de Curso apresentado por

exigˆencia para obten¸c˜ao do t´ıtulo de licenciado em

Matem´atica pela Universidade Federal de Alfenas.

Area ´

de concentra¸c˜ao: An´alise. Orientador: Prof. Dr. Jos´e

Paulo Carvalho dos Santos

Alfenas, MG

2010

Franco Bassi Rocha

An´alise Funcional e Aplica¸c˜oes

A banca examinadora abaixo-assinada,

aprova o trabalho de conclus˜ao de curso

apresentado como parte dos requisitos para

obten¸c˜ao do certificado de conclus˜ao do

curso de Licenciatura em Matem´atica pela

Universidade Federal de Alfenas.

Aprovado em:

de

de 2010.

 

Prof. Dr. Jos´e Paulo Carvalho dos Santos

 

Orientador

Prof. Dr. Evandro Monteiro

Universidade Federal de Alfenas

Prof. Dr. Jos´e Claudinei Ferreira

Universidade Federal de Alfenas

Agradecimentos

Agrade¸co primeiramente ao mestre de todos mestres, Deus, por ter me dado for¸cas

suficientes para que eu suportasse todas as dificuldades que foram impostas durante esses

quatro anos de luta profunda. Essa conquista s´o foi concretizada gra¸cas a presen¸ca de Jesus

em minha vida.

Agrade¸co aos meus mestres da vida, Maria Olenca Bassi Rocha e Indal´ecio Rocha J´unior

por me darem todo o incentivo e apoio durante o curso. Foi atrav´es das suas li¸c˜oes de vida

que eu me tornei um cidad˜ao de bem. Esse diploma ´e de vocˆes!

Agrade¸co a minha noiva Fernanda, pelo incondicional apoio nas horas dif´ıceis, pela

compreens˜ao nas horas em que estive ausente e por ter sido minha fortaleza na hora em

que eu mais precisei. Esse t´ıtulo tamb´em ´e seu!

A ´ minha av´o Ana (ausente) pelo incentivo em seguir a carreira de docˆencia.

Agrade¸co ao corpo docente da Faculdade de Licenciatura em Matem´atica da Univer-

sidade Federal de Alfenas-MG, em especial ao Prof. Dr. Jos´e Paulo Carvalho dos Santos

por toda a dedica¸c˜ao, paciˆencia e prontid˜ao ao nossos v´arios encontros.

Agrade¸co aos meus grandes amigos Fausto, Rodrigo, Julio, Gilberto, Jarne e Almir por

esses quatro anos de convivˆencia e aprendizado ao lado de vocˆes.

1

Resumo

O presente trabalho ´e uma Introdu¸c˜ao a` An´alise Funcional e suas aplica¸c˜oes. O desen-

volvimento desta area ´ deu-se, em consequˆencia direta da fertilidade de suas aplica¸c˜oes em

diversas ´areas Matem´aticas, especialmente as Equa¸c˜oes Diferenciais Ordin´arias, Equa¸c˜oes

Diferenciais Parciais, Equa¸c˜oes Diferenciais Integrais, al´em da estreita intera¸c˜ao com a

F´ısica, dentre outras areas ´ da Ciˆencia. O objetivo deste trabalho foi realizar um estudo

introdut´orio dos Espa¸cos Normados de dimens˜ao infinita, em particular, a teoria de oper-

adores lineares em espa¸cos normados, Teorema do ponto fixo de Banach e o Princ´ıpio da

Limita¸c˜ao Uniforme para operadores Lineares Limitados.

Palavras chave: An´alise Funcional. Operadores Lineares. Ponto Fixo de Banach. Princ´ıpio

da Limita¸c˜ao Uniforme

2

Abstract

This work is an Introduction to Functional Analysis and its applications. The develop-

ment of this area gave up, as a direct result of the fertility of their applications in various

areas mathematics, especially Ordinary Differential Equations, Partial Differential Equa-

tions, Integral Equations, in addition to close interaction with physics, among other areas

of science. The main objective this work was an introductory study of normad spaces of

infinite dimension, in particular, the theory of linear operators in normed spaces, fixed

point theorem of Banach and Principle of Limitation Uniform bounded linear operators.

Words key:

Functional analysis.

uniform boundedness.

Linear operators. Banach fixed point. Principle of

3

Sum´ario

Introdu¸c˜ao

5

  • 1 Teoria Preliminar de Espa¸cos M´etricos

 

6

  • 1.1 Bolas nos Espa¸cos M´etricos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

9

  • 1.2 Conjuntos Abertos e Fechados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

  • 1.3 Distˆancia de um Ponto a um Conjunto e Distˆancia entre dois Conjuntos

.

16

  • 1.4 Isometria

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

17

  • 1.5 Sequˆencias Convergentes

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

18

  • 1.6 Sequˆencias Num´ericas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

21

  • 1.7 Caracteriza¸c˜ao de Conjuntos e Pontos atrav´es de Sequˆencias

.

.

.

.

.

.

.

.

24

  • 1.8 Limite de Fun¸c˜oes .

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

25

  • 1.9 Fun¸c˜oes Cont´ınuas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

  • 1.10 Continuidade e Conjuntos Abertos e Fechados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

32

  • 1.11 Homeomorfismos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

34

  • 1.12 Espa¸cos Topol´ogicos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

37

  • 1.13 Continuidade Uniforme

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

38

  • 1.14 M´etricas Uniformemente Equivalentes

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

44

  • 1.15 Sequˆencias de Cauchy - Espa¸cos m´etricos completos .

.

.

.

.

.

.

.

.

.

.

.

.

45

  • 2 An´alise Funcional

 

55

  • 2.1 O Teorema de Baire

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

55

  • 2.2 Completamento de Espa¸cos M´etricos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

57

  • 2.3 O Teorema do Ponto Fixo de Contra¸c˜oes em Espa¸cos M´etricos (Teorema do

 

Ponto Fixo de Banach) .

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

60

  • 2.4 Espa¸cos Topol´ogicos Compactos .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

63

  • 2.5 Espa¸cos Localmente Compactos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

72

  • 2.6 Espa¸cos Normados

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

73

  • 2.7 Compacidade em Espa¸cos Normados

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

76

  • 2.8 Espa¸cos Separ´aveis

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

76

  • 2.9 Operadores Lineares

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

77

  • 2.10 Princ´ıpio da Limita¸c˜ao Uniforme

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

81

  • 2.11 Teorema da Aplica¸c˜ao Aberta e Gr´afico Fechado

.

.

.

.

.

.

.

.

.

.

.

.

.

.

82

  • 2.12 Teorema do Gr´afico Fechado

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

83

  • 3 Semigrupos

83

3.1

Aspectos B´asicos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

83

Conclus˜ao

86

 

4

Introdu¸c˜ao

Em matem´atica, a dimens˜ao de um espa¸co ´e o n´umero de parˆametros necess´arios

para identificar e representar um ponto desse espa¸co. A An´alise Funcional ´e o ramo da

matem´atica, e mais especificamente da An´alise, que trata do estudo dos espa¸cos Vetoriais de

dimens˜ao infinita. Tem suas ra´ızes hist´oricas no estudo de transforma¸c˜oes tais como trans-

formada de Fourier e no estudo das Equa¸c˜oes Diferenciais e Equa¸c˜oes Integrais. Seu uso

em geral est´a atribu´ıdo a Volterra. Um grande impulso para o avan¸co da An´alise Funcional

durante o s´eculo XX foi a modelagem, devida a John Von Neumann, da Mecˆanica Quˆantica

´

em espa¸cos de Hilbert. A An´alise Funcional faz uso de muitos conceitos de Algebra Linear.

Durante o s´eculo XX diversas t´ecnicas da Topologia foram introduzidas, principalmente a

´

teoria do grau. Assim, a generaliza¸c˜ao da Algebra Linear e a introdu¸c˜ao da Topologia re-

sultar´a nos dois pilares b´asicos da An´alise Funcional. Para extrairmos apenas o conceito de

distˆancia (e, portanto, de convergˆencia) separadamente de estruturas alg´ebricas peculiares,

definiremos axiomaticamente um objeto matem´atico chamado Espa¸co M´etrico, isto ´e, um

conjunto onde h´a uma maneira de se medir a distˆancia entre dois elementos quaisquer dele.

Com isto, poderemos tratar especificamente da Teoria de Convergˆencia independentemente

de outras estruturas que eventualmente possam ocorrer no referido conjunto. A defini¸c˜ao

de Espa¸co M´etrico reune os dois ingredientes b´asicos da An´alise Funcional; um conceito

de convergˆencia e uma no¸c˜ao geom´etrica, esta ultima

´

ainda em uma forma muito simples.

Este objeto matem´atico abstrato foi introduzido pelo famoso matem´atico francˆes Maurice

Fr´echet (1878-1973) na sua tese de doutoramento, escrita sob orienta¸c˜ao de Henri Lebesgue

(1875-1941), em 1906.

Neste trabalho fazemos um estudo introdut´orio da Teoria de An´alise Funcional. No

Cap´ıtulo inicial fazemos uma revis˜ao dos principais conceitos da Teoria de Espa¸cos Met-

ricos. Neste Cap´ıtulo estudamos bolas nos espa¸cos m´etricos, conjuntos abertos e fecha-

dos, distˆancias de ponto a conjuntos e distˆancia entre conjuntos, Isometrias, Sequˆencias,

Continuidade, Continuidade Uniforme, Conjuntos Conexos, Completamento de espa¸cos

m´etricos e Conjuntos Compactos. E finalmente no segundo cap´ıtulo atacamos o objetivo

principal do trabalho que foi o estudo dos espa¸cos Normados de dimens˜ao infinita. Iremos

estudar tamb´em Compacidade em Espa¸cos normados, Espa¸cos Separ´aveis, Operadores Lin-

eares e o Princ´ıpio da Limita¸c˜ao Uniforme.

5

1

Teoria Preliminar de Espa¸cos M´etricos

Para esta se¸c˜ao utilizamos como referˆencia KUHLKAMP (2002).

Antes de come¸carmos a apresentar a defini¸c˜ao formal de espa¸co m´etrico, apresentaremos

informalmente este conceito. Para isso, observamos que a pr´opria palavra m´etrica nos

sugere a id´eia de medida.

Um dos exemplos mais intuitivos (que usaremos apara motivar a defini¸c˜ao de m´etrica)

´e certamente o plano R 2 , onde a distˆancia entre dois pontos ´e o comprimento do segmento

de reta que os une. Seja d a distˆancia e A e B pontos distintos. Essa distˆancia satisfaz as

seguintes propriedades

  • (a) d > 0 e d = 0 A = B

  • (b) d(A, B) = d(B, A)

  • (c) d satisfaz a desigualdade triangular

A observa¸c˜ao acima sugere a seguinte defini¸c˜ao

Defini¸c˜ao 1.1 Seja M um conjunto.

Uma m´etrica num conjunto M ´e uma fun¸c˜ao d :

M × M R + tal que associa a cada par ordenado de elementos x, y M um n´umero real

d(x,y) chamado de distˆancia de x a y de modo que sejam satisfeitas as seguintes condi¸c˜oes

para x, y, z M

  • (a) d(x, x) = 0;

  • (b) = y

Se x

ent˜ao d(x, y) > 0;

  • (c) d(x, y) = d(y, x);

  • (d) d(x, z) d(x, y) + d(y, z).

Exemplo 1.1 A m´etrica zero-um. Qualquer conjunto M pode tornar-se um espa¸co m´etrico

de maneira muito simples.

Basta definir a m´etrica d : M × M R +

d(x, y) = 1 se (x

= y).

De fato

com d(x, x) = 0 e

  • (a) d(x, x) = 0

  • (b) d(x, y) = 1

  • (c) d(x, y) = d(y, x)

  • (d) Se x=z temos que

d(x, z) = 0 d(x, y) + d(y, z).

Se x

= z temos que d(x, z) = 1 o

que n˜ao pode ocorrer x=y e y=z simultaneamente. Logo,

1 = d(x, z) d(x, y) + d(y, z) = 1 se x=y ou

y=z

1 = d(x, z) d(x, y) + d(y, z) = 2 se x

= y ou y

= z

6

Defini¸c˜ao 1.2 O par (M,d) onde M ´e um conjunto e d uma m´etrica em M ser´a chamado

espa¸co m´etrico.

Observa¸c˜ao 1.1 Quando a m´etrica d for facilmente subentendida, podemos escrever ape-

nas M para indicar o espa¸co m´etrico (M,d).

Exemplo 1.2 Consideremos o conjunto dos n´umeros reais R e d(x, y) = |xy|. Mostraremos

que d ´e uma m´etrica em R.

  • (a) Se x

= y ent˜ao |x y| > 0 e se x=y ent˜ao |x y| = 0

  • (b) d(x, y) = |x y| = | − (y x)| = |y x| = d(y, x)

  • (c) |x z| = |x y + y z| ≤ |x y| + |y z| ⇒ d(x, z)

d(x, y) + d(x, z)

Logo, d ´e uma m´etrica em R. Sendo assim (R, d) ´e um espa¸co m´etrico.

Defini¸c˜ao 1.3 Uma norma num espa¸co vetorial V

quaisquer u, v V

e λ escalar se tenha

´e uma fun¸c˜ao . : V

R tal que para

  • (a) v 0 e v = 0 v = 0

  • (b) λv = |λ| v

  • (c) u + v

u + v

onde |λ| ´e o valor absoluto do escalar λ.

Exemplo 1.3 Dado um espa¸co vetorial normado V, obtemos imediatamente uma m´etrica

em v definindo d : V × V

R

por d(u, v) = |u v|.

  • (a) d(u, u) = u u = 0

  • (b) d > 0 pois u v > 0

  • (c) d(u, v) = u v = (v u) = v u = d(u, v)

  • (d) d(u, z) = u z = u y + y z u y + y z = d(u, y) + d(y, z)

Vimos que a partir de uma norma obtemos uma m´etrica. A partir de um produto interno

obteremos uma norma. lembrando que um produto interno num espa¸co vetorial real V ´e

uma fun¸c˜ao <, >: V × V

R tal que para quaisquer u, v, w V

e λ escalar se tenha

  • (a) < v, v > 0 e < v, v >= 0 v = 0

  • (b) < u, v > = < v, u >

  • (c) < u + v, w > = < u, w > + < v, w >

  • (d) < λu, w > = λ< u, v >

7

Para obter uma norma atrav´es de um produto interno colocamos v =

< v, v >.

Verifiquemos que as propriedades da defini¸c˜ao de norma s˜ao satisfeitas por esta fun¸c˜ao.

  • (a) v = < v, v > 0 e v = 0 < v, v > = 0 v = 0

  • (b) λv = < λv, λv > = λ < v, v > = |λ| < v, v > = |λ| v

  • (c) Para provar

que u + v u + v necessitamos do seguinte resultado

Lema 1.1 (Desigualdade de Cauchy-Schwarz).

Seja V um espa¸co vetorial com produto

interno. Ent˜ao < u, v > u v para todo u, v V .

Demonstra¸c˜ao: Dados u, v V , com u

= 0 temos

< v

< u, v >

u 2

, v

< u, v >

u

2

>0

logo,

< v, v >

< u, v >< u, v >

u 2

< u, v >< u, v >

u 2

+ < u, v > 2 < u, u >

u 4

0

da´ı, segue que

v 2 2 < u, v > 2

u 2

+ < u, v > 2 u 2

u 4

0

assim

v 2

< u, v > 2

u 2

0 (multiplicando essa express˜ao por u 2 )

conclui-se que

v 2 u 2 < u, v > 2 0 v u < u, v >.

Vamos agora provar que u + v

u + v .

De fato,

u + v 2 =< u + v, u + v

>=< u, u > +2 < u, v > + < v, v >

u + v u 2 + 2 <

u, v > + v 2

u + v 2 u 2 + 2 u v + v 2

= ( u + v ) 2

logo,

u + v u + v .

Uma maneira simples e muito importante de obter espa¸cos m´etricos ´e considerar um

subconjunto de um espa¸co m´etrico e tomar a distˆancia entre seus pontos a mesma do espa¸co

original. Em outros termos, se (M, d) ´e um espa¸co m´etrico, todo subconjunto S X pode

ser considerado um espa¸co m´etrico. Basta usar para os elementos de S a mesma distˆancia

que eles possuiam como elementos de M. Neste caso, dizemos que S ´e subespa¸co de M e

a m´etrica de S se diz-se induzida pela de M.

Defini¸c˜ao 1.4 Se(M, d) ´e um espa¸co m´etrico e X M, ent˜ao (X, d) ´e chamado subespa¸co

de (M, d).

8

1.1

Bolas nos Espa¸cos M´etricos

Defini¸c˜ao 1.1.1

Sejam M

um espa¸co m´etrico, a M, r > 0.

  • (a) Chamaremos de bola aberta de centro a e raio r ao conjunto

B(a; r) = {x M; d(a, x) < r}.

  • (b) Chamaremos de bola fechada de centro a e raio r ao conjunto

B[a; r] = {x M; d(a, x) r}.

  • (c) A esfera de centro a e raio r ser´a o conjunto

S(a; r) = {x M; d(a, x) = r}.

Se X M ´e um subespa¸co de M

e a X, as bolas aberta e fechada de centro a e raio r

em X ser˜ao indicadas respectivamente por B x (a; r) e B x [a; r] enquanto a esfera de centro

a e raio r ser´a indicada por S x (a; r).

Exemplo 1.1.1

Consideremos o plano R 2 e as m´etricas d(x, y) = (x 1 y 1 ) 2 + (x 2 y 2 ) 2 ,

d 1 (x, y) = |x 1

y 1 | + |x 2 y 2 | e d 2 (x, y) = max{|x 1 y 1 |, |x 2 y 2 |} onde

x = (x 1 , x 2 ) e

y = (y 1 , y 2 ).

As bolas B[0; 1] relativamente as m´etricas d, d 1 e d 2 possuem respectivamente as formas

das figuras abaixo.

1.1 Bolas nos Espa¸cos M´etricos Defini¸c˜ao 1.1.1 Sejam M um espa¸co m´etrico, a ∈ M ,
1.1 Bolas nos Espa¸cos M´etricos Defini¸c˜ao 1.1.1 Sejam M um espa¸co m´etrico, a ∈ M ,
1.1 Bolas nos Espa¸cos M´etricos Defini¸c˜ao 1.1.1 Sejam M um espa¸co m´etrico, a ∈ M ,

Figura 1: m´etrica d

Figura 2: m´etrica d 1

Figura 3: m´etrica d 2

Para a m´etrica d temos que d(x, a) 1 (x 1 0) 2 + (x 2 0) 2 1 x 2 + x 2 2 1.

1

Note que a express˜ao anterior ´e uma circunferˆencia de centro em (0, 0) e raio r 1. Para

a m´etrica d 1 temos

que |x 1 a 1 | + |x 2 a 2 | ≤ 1 ⇒ |x 1 | + |x 2 | ≤ 1, que

´e um quadrado de

diagonais paralelas aos eixos coordenados de comprimento 2. Para a m´etrica d 2 temos

que max{|x 1 a 1 |, |x 2 a 2 |}

1 max{|x 1 |, |x 2 |} ≤ 1.

Da´ı, segue que

|x 1 | ≤ 1 e |x 2 | ≤ 1 ⇒ −1 x 1 1 e 1 x 2 1.

Note que a figura definida por essa express˜ao ser´a um quadrado de lado 2.

9

Defini¸c˜ao 1.1.2 Um subconjunto X de um espa¸co m´etrico M ´e dito limitado quando for

poss´ıvel obter K > 0 tal que

d(x, y) K, x, y M.

Observe que um conjunto X M

´e limitado se, e somente se, X B[a; r], para alguma

bola B[a; r] de M. De fato, se X B[a; r] para algum a M e r > 0, ent˜ao dados x, y X

temos d(x, y) d(x, a) + d(y, a) r + r = 2r.

Logo, se X B[a; r], ent˜ao X ´e limitado.

Por outro lado, se X ´e limitado, isto ´e, se existir K > 0 tal que

d(x, y) K

para quaisquer x, y X, ent˜ao dado a X, tomamos r = K e teremos que d(x, a) K = r,

x X, isto ´e X B[a; r].

Defini¸c˜ao 1.1.3 Diremos que o espa¸co m´etrico M ´e limitado, ou que a m´etrica d ´e limi-

tada, se existir K > 0 tal que

d(x, y) K, x, y M.

Defini¸c˜ao 1.1.4 Seja X R.

Se existir a R tal que x a x X, dizemos que X ´e

limitado superiormente e que a ´e cota superior de X.

Defini¸c˜ao 1.1.5 Seja X R limitado superiormente. Um n´umero b ´e dito supremo de

X, quando ´e a menor das suas cotas superiores. Nota¸c˜ao: sup X

Dado um conjunto X R limitado superiormente, para que b R seja o supremo de

X ´e necess´ario e suficiente que se tenha

  • (a) x b x X;

  • (b) Se x c x X, ent˜ao b c.

Defini¸c˜ao 1.1.6 Seja X R.

Se existir a R tal que a x x X, dizemos que X ´e

limitado inferiormente e que a ´e cota inferior de X.

Defini¸c˜ao 1.1.7 Seja X R limitado inferiormente. Um n´umero b ´e dito ´ınfimo de x,

quando ´e a maior das suas cotas inferiores. Nota¸c˜ao: inf X.

Dado um conjunto X

R, limitado inferiormente, para que b R seja o ´ınfimo de X ´e

necess´ario e suficiente que sejam preenchidas as condi¸c˜oes

  • (a) b x, x X;

  • (b) se c x x X, ent˜ao c b.

Antes de definir o diˆametro de um subconjunto X admitiremos como axioma o seguinte

fato de que todo conjunto limitado X R possui supremo e ´ınfimo em R, isto ´e, existem

a, b R, tais que a = infX e b = supX.

10

Defini¸c˜ao 1.1.8 Seja X um subconjunto limitado de um espa¸co m´etrico M. Chamamos

diˆametro de X ao supremo dos n´umeros d(x, y) com x, y X. Em outros termos temos

diam X = sup d(x, y) onde x, y X.

Defini¸c˜ao 1.1.9 Sejam X e Y subconjuntos n˜ao vazios de um espa¸co m´etrico M. Iremos

definir a distˆancia entre X e Y como sendo o ´ınfimo das distˆancias d(x, y) com x X

y Y . Nota¸c˜ao: d(X, Y ).

e

  • 1.2 Conjuntos Abertos e Fechados

Defini¸c˜ao 1.2.1 Seja A um subconjunto de um espa¸co m´etrico M.

Um ponto a A ´e

chamado ponto interior de A se existir r > 0 tal que B(a; r) A.

Geometricamente, temos

Defini¸c˜ao 1.1.8 Seja X um subconjunto limitado de um espa¸co m´etrico M . Chamamos diˆametro de

Figura 4: ponto interior

Observe que a ´e um ponto interior de A pois a bola B(a; r) A.

Agora, note que b n˜ao ´e

um ponto interior de A pois a bola B(b; r 1 )

A, qualquer que seja r 1 > 0. Diremos que A

´e um conjunto aberto em M quando todo ponto de A for ponto interior de A. O conjunto

de todos os pontos interiores de A ser´a chamado de interior de A e denotado por int A.

Exemplo 1.2.1 Seja X

=

{(x, y)

R 2 ; x

>

1}.

Mostraremos que X ´e um conjunto

aberto.

De fato, dado (a, b) X

temos que a > 1.

Tomando r = a 1 > 0 teremos que B

=

B((a, b); r) X. De fato, se (x, y) B

teremos

 

d((x, y), (a, b))< r.

Em particular,

 

|x a| ≤ (x a) 2 + (y b) 2 < r ⇒ |x a| < r.

Dai segue que

 

a r <

x < a + r x (a r, a + r) x

(1, 2a 1)

11

o que conclu´ımos que x > 1 e (x, y) X. Logo B X. Disto conclui-se que X ´e aberto.

Observa¸c˜ao 1.2.1 Segue imediatamente da defini¸c˜ao de conjunto aberto que A = {a} ∈

M

´e aberto se e somente se existir r > 0 tal que B(a; r) = {a}.

defini¸c˜ao

Isso motiva a seguinte

Defini¸c˜ao 1.2.2 Quando {a} ´e um conjunto aberto em M

dizemos que a ´e um ponto

isolado. Se todo a M ´e isolado, M ´e dito discreto.

Como exemplo da defini¸c˜ao acima podemos citar os espa¸cos m´etricos M 1 = N e M 2 = Z,

ambos com a m´etrica induzida pela m´etrica usual de R, s˜ao espa¸cos m´etricos discretos, isto

´e, dado a Z ou a N, a ´e um ponto isolado. De fato, tanto em Z como em N temos por

exemplo B(a; 1) = {a}.

Defini¸c˜ao 1.2.3 Seja A um subconjunto de um espa¸co m´etrico M.

Um ponto b M

´e

dito ponto de fronteira de A se para todo r > 0, a bola B(b; r) contiver algum ponto de A

e tamb´em algum ponto de M A. Geometricamente,

o que conclu´ımos que x > 1 e ( x, y ) ∈ X . Logo

Figura 5: ponto de fronteira

Ao conjunto de todos os pontos de fronteira de A, chamamos de fronteira de A e denotare-

mos por ∂A.

Observa¸c˜ao 1.2.2 Um conjunto ´e aberto se A ∂A = .

Exemplo 1.2.2 Consideremos novamente o conjunto X = {(x, y) R 2 ; x > 1}. Defina a

fronteira de X.

A fronteira do conjunto X ´e ∂X = {(x, y) R 2 ; x = 1}.

De fato, para qualquer y R e

qualquer r > 0 temos B((1, y); r) X

= pois

r

(1 + 2 , y) B((1, y); r) X e B((1, y); r)

(R 2 X)

= pois (1, y)

B((1, y); r) (R 2 X).

Teorema 1.2.1 Seja B = B(a; r) uma bola aberta num espa¸co m´etrico M e t B. Ent˜ao

existe s > 0 tal que B(t; s) B.

Demonstra¸c˜ao:

Como t

B,

temos que d(t, a)

<

r,

ou seja,

s

=

r d(t, a)

>

0.

Consideremos ent˜ao a bola B(t; s) e mostremos que B(t; s) B.

ent˜ao d(w, t) < s. Logo,

De fato, se w B(t; s)

12

d(w, a) d(w, t) + d(t, a) d(w, a) < s + d(t, a) = r.

Logo, w B e B(t; s) B.

sua demonstra¸c˜ao

A figura abaixo nos traz a id´eia geom´etrica deste Teorema e

d ( w, a ) ≤ d ( w, t ) + d ( t, a

Figura 6: teorema1.2.1

Corol´ario 1.2.1 Toda bola aberta ´e um conjunto aberto.

Teorema 1.2.2 Seja M um espa¸co m´etrico.

  • (a) M e s˜ao abertos;

(b)

Se A 1 , A 2 ,

. . .

, A n s˜ao abertos, ent˜ao A 1 A 2

. . .

A n ´e aberto;

  • (c) Se {A λ } λL ´e uma fam´ılia arbitr´aria de abertos, ent˜ao A = A λ , com λ L ´e aberto.

Demonstra¸c˜ao:(a) M ´e aberto pois todo ponto de M ´e ponto interior de M, ou seja,

existe m M tal que B(m; r) M. O conjunto vazio ´e aberto pois como o conjunto vazio

n˜ao possui elemento, n˜ao pode existir elemento n˜ao esteja no seu interior. Para mostrar

(b)

seja B = A 1 A 2

A n . Se B = , ent˜ao = A 1 A 2

A n A 1 ,

, A n s˜ao

vazios.

logo A 1 ,

, A n s˜ao

abertos.

Se B

= tomemos a B e mostremos que a intB.

Como a B

temos que a

A 1 ,

, a A n .

Como

A 1 , A 2 ,

, A n

s˜ao abertos existem