Escolar Documentos
Profissional Documentos
Cultura Documentos
Sobre Um Resultadode A. A. Monteiro e M. M. Peixoto
Sobre Um Resultadode A. A. Monteiro e M. M. Peixoto
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
20
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 .
F(M, N ) F(M, N )
R
(f, g)
7 j f (x), g(x)
21
F(M, N ) F(M, N )
R
(
(f, g)
)
xM
22
23
r r
+ =r
2 2
)
r,
f X
mostrando que
f X
)
< r0 .
f X
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
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]