Vous êtes sur la page 1sur 8

Sobre um resultado de A. A. Monteiro e M. M.

Peixoto
Dinamrico P. Pombo Jr. e Daniel P. S. de Souza
Instituto de Matemtica
Universidade Federal Fluminense
Rua Mrio Santos Braga, s/no
24020140 Niteri, RJ Brasil
e-mail: dpombo@terra.com.br
daniel.parasio@ig.com.br
Resumo: No artigo [4], A. A. Monteiro e M. M. Peixoto provaram que
uma condio necessria e suficiente para que um espao mtrico M possua a
propriedade de Lebesgue que toda funo real contnua definida em M seja
uniformemente contnua, fornecendo ainda seis outras condies equivalentes
s duas mencionadas. O objetivo deste artigo de divulgao adicionar duas
novas condies equivalentes quelas consideradas no artigo citado.
Palavras-chave: espao mtrico, propriedade de Lebesgue, espao semimtrico, continuidade uniforme.
Abstract: A. A. Monteiro and M. M. Peixoto have proved in [4] that for a
metric space M to have the Lebesgue property it is necessary and sufficient
that every real continuous function on M be uniformly continuous, and have
also furnished six other equivalent conditions to these two conditions. The
purpose of this expository article is to provide two new equivalent conditions
to the ones considered in the article just mentioned.
Keywords: metric space, Lebesgue property, semimetric space, uniform
continuity.
conhecido que todo espao mtrico compacto M satisfaz as seguintes
propriedades:
(i) toda cobertura aberta de M possui um nmero de Lebesgue ([5], p.86);
(ii) toda funo contnua de M em um espao mtrico arbitrrio uniformemente contnua ([5], p. 110).
No artigo citado acima, Antnio Aniceto Monteiro e Maurcio Matos Peixoto provaram que, para um espao mtrico M arbitrrio, as condies (i)
e (ii) so equivalentes, fornecendo ainda seis outras condies equivalentes

Boletim da SPM 65, Outubro 2011, pp. 19-25

20

Sobre um resultado de A. A. Monteiro e M. M. Peixoto

a (i) e (ii). O objetivo desta nota adicionar duas novas condies equivalentes quelas mencionadas no referido artigo. Mas, antes de enunciar
o teorema que ser aqui estabelecido, consideramos pertinente apresentar
alguns preliminares ([1, 1]; [5, cap. XVIII]).
Seja N um conjunto no vazio. Uma funo : N N R uma
semidistncia em N quando as seguintes propriedades so satisfeitas para
quaisquer x, y, z N : (x, y) 0, (x, x) = 0, (x, y) = (y, x) e (x, z)
(x, y)+(y, z). Se, alm disso, as condies x, y N e (x, y) = 0 implicam
x = y, uma distncia (ou mtrica) em N . Se (respectivamente )
uma famlia de semidistncias (respectivamente uma mtrica) em N , o par
(N, ) (respectivamente (N, )) um espao semimtrico (respectivamente
espao mtrico). fcil ver que toda famlia de semidistncias define uma
estrutura uniforme, sendo esta ltima noo devida a A. Weil [6]. Por
outro lado, possvel provar que toda estrutura uniforme provm de uma
famlia de semidistncias. A cada famlia = (j )jJ de semidistncias
em N est associada uma nica topologia em N de modo que, para
cada x N , todas as intersees finitas de conjuntos da forma Bj,r (x) =
{y N : j (y, x) < r} (j J, r > 0) constituem um sistema fundamental de
-vizinhanas abertas de x. Quando olharmos para um espao semimtrico
(N, ) como espao topolgico, subentender-se- N munido de .
Consideremos um conjunto no vazio N e vejamos alguns exemplos:
(i) A funo : N N R, definida por (x, y) = 1 se x 6= y e (x, x) = 0,
uma mtrica em N , dita a mtrica discreta em N .

(ii) Se g uma funo de N em R, a funo (x, y) = g(x) g(y)


uma semidistncia em N , a qual uma mtrica se e s se g injetora.
Mais geralmente, se (gj )jJ uma famlia de funes de N em R,
ento (j )jJ uma famlia de semidistncias em N , onde j (x, y) =
gj (x) gj (y) para j J.
(iii) Seja = (j )jJ uma famlia de semidistncias em N . Sejam M um
conjunto no vazio qualquer e F(M, N ) o conjunto de todas as funes
de M em N . Para j J e x M fixados, a funo
j,x :

F(M, N ) F(M, N )
R

(f, g)
7 j f (x), g(x)


uma semidistncia em F(M, N ). Logo, s = j,x jJ,xM uma


famlia de semidistncias em F(M, N ). s dita a topologia da convergncia simples.
Boletim da SPM 65, Outubro 2011, pp. 19-25

Dinamrico P. Pombo Jr. e Daniel P. S. de Souza

21

(iv) Sejam , M e F(M, N ) como em (iii). Ento, para cada j J, a


funo
j :

F(M, N ) F(M, N )

R
(

(f, g)

)


min 1, sup j f (x), g(x)

xM

uma semidistncia em F(M, N ). Logo, u = (j )jJ uma famlia


de semidistncias em F(M, N ). u dita a topologia da convergncia
uniforme.
(v) Seja K = R ou C. Se p uma seminorma em um espao vetorial E
sobre K ([5], p. 240), a funo (x, y) = p(x y) uma semidistncia
em E. Alm disso, uma mtrica se p uma norma.
(vi) Sejam M um espao topolgico no vazio e C(M ) o espao vetorial
sobre K das funes contnuas de M em K. Para cada K M compacto, a funo pK (f ) = sup {|f (x)| : x K} uma seminorma em
C(M ). Assim,
0 = {K : K M compacto}
uma famlia de semidistncias em C(M ), onde K (f, g) = pK (f g).
0 dita a topologia compacto-aberta.
Sejam (M, ) e (N, ) dois espaos semimtricos, com = (i )iI e
= (j )jJ , e X um conjunto de funes de M em N . X equicontnuo
em a M se para quaisquer j J e r > 0 existem i1 , . . . , im I e s > 0
de modo que as relaes x M , i1 (x, a) < s, . . . , im (x, a) < s, f X
implicam j (f (x), f (a)) < r; X equicontnuo se X equicontnuo em todo
a M . X uniformemente equicontnuo se para quaisquer j J e r > 0
existem i1 , . . . , im I e s > 0 de modo que as relaes x, y M , i1 (x, y) <
s, . . . , im (x, y) < s, f X implicam j (f (x), f (y)) < r. No caso em que
X se reduz a uma nica funo f , diz-se simplesmente que f contnua
ou uniformemente contnua. claro que o conceito de equicontinuidade
uniforme mais forte do que o de equicontinuidade.
Sejam (M, ) um espao mtrico e C = (C )L uma cobertura aberta
de M . No caso em que L finito (respectivamente possui dois elementos),
diz-se que C uma cobertura finita (respectivamente cobertura binria) e
aberta de M . Diz-se que  > 0 um nmero de Lebesgue de C se para todo
Boletim da SPM 65, Outubro 2011, pp. 19-25

22

Sobre um resultado de A. A. Monteiro e M. M. Peixoto

x M existe L tal que B (x) = {y M : (y, x) < } C . Diz-se


que (M, ) possui a propriedade de Lebesgue se toda cobertura aberta de
M admite um nmero de Lebesgue.
J lembramos que todo espao mtrico compacto possui a propriedade
de Lebesgue. Entretanto, a recproca dessa afirmao no verdadeira em
geral, como mostra o exemplo a seguir.
Exemplo 1 Sejam N o conjunto dos nmeros naturais e a mtrica discreta
em N. Como N infinito, (N, ) no compacto. Seja C = (C )L uma
cobertura aberta arbitrria de N. Ento 1 um nmero de Lebesgue de C.
Realmente, como B1 (n) = {n} para todo n N e como C uma cobertura
de N, conclui-se que para todo n N existe L tal que B1 (n) C .
Logo, (N, ) possui a propriedade de Lebesgue.
Enunciaremos agora o resultado prometido:
Teorema 1 Para um espao mtrico (M, ), as seguintes condies so
equivalentes:
(a) toda cobertura binria e aberta de M possui um nmero de Lebesgue;
(b) toda cobertura finita e aberta de M possui um nmero de Lebesgue;
(c) para quaisquer F, F 0 
fechados em M e no vazios, com F F 0 = ,
0
tem-se (F, F ) = inf (x, y) : x F, y F 0 > 0;
(d) (M, ) possui a propriedade de Lebesgue;
(e) para todo espao semimtrico (N, ), toda funo contnua de M em
N uniformemente contnua;
(f) para todo espao semimtrico (N, ), todo conjunto equicontnuo de
funes de M em N uniformemente equicontnuo;
(g) para todo espao mtrico (M 0 , 0 ), toda funo contnua de M em M 0
uniformemente contnua;
(h) toda funo contnua de M em R uniformemente contnua;
(i) toda funo contnua e limitada de M em R uniformemente contnua;
(j) para todo espao mtrico (M 0 , 0 ), toda funo contnua e limitada de
M em M 0 uniformemente contnua.

Boletim da SPM 65, Outubro 2011, pp. 19-25

Dinamrico P. Pombo Jr. e Daniel P. S. de Souza

23

Demonstrao: Como a equivalncia entre as condies (a), (b), (c), (d),


(g), (h), (i) e (j) foi estabelecida em [4] e como a implicao (j) (g)
evidente, resta provar que (d) (e) (f), o que passamos a fazer.
Argumentaremos como na demonstrao do Lema 5 de [4] para mostrar que (d) (e). Com efeito, sejam (N, )( = (j )jJ ) um espao
semimtrico e f : M N uma funo contnua, ambos arbitrrios. SeS
jam j J e r > 0 arbitrrios. Como N = zN Bj, r2 (z) e como cada

conjunto f 1 Bj, r2 (z) aberto em M (pela continuidade de f ), segue que

C = f 1 Bj, r2 (z) zN uma cobertura aberta de M . Logo, por hiptese,
C admite um nmero de Lebesgue s > 0. Sejam x, y M arbitrrios
tais

que (x, y) < s. Ento existe z N tal que Bs (x) f 1 Bj, r2 (z) , o que
fornece j (f (x), z) < 2r e j (f (y), z) < 2r . Consequentemente,
j (f (x), f (y)) j (f (x), z) + j (f (y), z) <

r r
+ =r
2 2

e, portanto, f uniformemente contnua.


Finalmente, provemos que (e) (f). De fato, sejam (N, ) ( = (j )jJ )
um espao semimtrico e X um conjunto equicontnuo de funes de M em
N , ambos arbitrrios. Consideremos o espao semimtrico (F (X , N ) , u )
mencionado em (iv), onde u = (j )jJ , e definamos : M F (X , N )
por (x)(f ) = f (x) para quaisquer x M e f X . Afirmamos que
contnua. Realmente, sejam a M , j J e r > 0 arbitrrios. Pela
equicontinuidade de X em a, existe > 0 tal que as relaes x B (a),
f X implicam j f (x), f (a) r. Da resulta que, para todo x B (a),
(

)


j ((x), (a)) = min 1, sup j (x)(f ), (a)(f )


f X

= min 1, sup j f (x), f (a)

r,

f X

mostrando que


B (a) {h F (X , N ) : j (h, (a)) r}.


Portanto, contnua em a, o que implica a continuidade de . Assim,
por hiptese, uniformemente contnua. Sejam j e r como acima e r0 =
min {1, r}. Logo, existe s > 0 tal que se x, y M e (x, y) < s, ento

Boletim da SPM 65, Outubro 2011, pp. 19-25

24 Sobre um resultado de A. A. Monteiro e M. M. Peixoto

j ((x), (y)) = min 1, sup j (x)(f ), (y)(f )

f X

)


= min 1, sup j f (x), f (y)

< r0 .

f X

Logo, as relaes x, y M , (x, y) < s, f X implicam j f (x), f (y) <


r0 r, provando a equicontinuidade uniforme de X .
Isto conclui a demonstrao do teorema.
Observao 1 A continuidade (respectivamente continuidade uniforme) da
funo , considerada na demonstrao do Teorema 1, equivale equicontinuidade (respectivamente equicontinuidade uniforme) de X .
Observao 2 Argumentando exatamente como na demonstrao de (e)
(f), prova-se que as duas referidas condies permanecem equivalentes se
substituirmos o espao mtrico (M, ) por qualquer espao semimtrico (ver
tambm [3]).
Observao 3 Foi provado em [2] que todo espao mtrico conexo (M, )
satisfazendo a condio (h) compacto.
O enunciado do Teorema 1 suscita a seguinte pergunta:
Fixado um espao mtrico (M, ), a existncia de um espao mtrico
(M 0 , 0 ) tal que toda funo contnua de M em M 0 uniformemente contnua equivale s condies do referido teorema (como ocorre se tomarmos
(M 0 , 0 ) = R)?
Mostraremos no exemplo abaixo que a resposta pergunta formulada
negativa.
Exemplo 2 Tomemos M = R munido da mtrica usual e M 0 = {0, 1} munido da mtrica discreta. Se f : M M 0 uma funo contnua arbitrria,
ento f constante (pois M conexo); logo, f uniformemente contnua.
Entretanto, a condio (h) no vlida, j que a funo x M 7 x2 R
contnua, apesar de no ser uniformemente contnua.

Referncias
[1]

N. Bourbaki. Topologie gnrale, chapitre 9. 2a ed. Actualits Scientifiques et Industrielles 1045. Hermann, 1958.
Boletim da SPM 65, Outubro 2011, pp. 19-25

Dinamrico P. Pombo Jr. e Daniel P. S. de Souza

25

[2]

K. Iski. Notes on Topological Spaces. II. Some Properties of Topological Spaces with Lebesgue Property. Em: Proceedings of the Japan
Academy 32 (1956), pp. 171173.

[3]

N. C. Bernardes Jr. e D. P. Pombo Jr. Uniform spaces where all continuity is uniform. Em: Kyungpook Mathematical Journal 34 (1994),
pp. 247257.

[4]

A. A. Monteiro e M. M. Peixoto. Le nombre de Lebesgue et la continuit uniforme. Em: Portugali Mathematica 10 (1951), pp. 105113.

[5]

L. Schwartz. Topologie gnrale et analyse fonctionnelle. Collection Enseignement des sciences 11. Hermann, 1970.

[6]

A. Weil. Sur les espaces a structure uniforme et sur la topologie gnrale.


Actualits Scientifiques et Industrielles 551. Hermann, 1937.

Boletim da SPM 65, Outubro 2011, pp. 19-25