Você está na página 1de 2

Fun

c
oes Borel-Mensur
aveis:
Defini
c
ao, Exemplos e Propriedades
Luis Ant
onio F. de Oliveira

Flavio Lima de Souza

UNESP - Universidade Estadual Paulista - J


ulio de Mesquita Filho
Departamento de Matematica
15385-000, Ilha Solteira, SP
E-mail: lafo@mat.feis.unesp.br, flavio90 pf@hotmail.com

RESUMO
Introdu
c
ao:
Neste trabalho de Iniciacao Cientfica serao focados algumas das contribuicoes mais impor
tantes de Emile
Borel (1871-1956) para a Teoria da Medida e Integracao.
Resultados e Discus
oes
Dada uma classe nao-vazia C de subconjuntos de , podemos definir a -algebra gerada por
C como a menor -algebra que contem C que, coincide com a intersecao de todas as -algebras
que contem C. Isso significa que:
(C) = { B /B X, X -algebra em tal que C X }.
Defini
c
ao 1: Seja (X, ) um espaco topologico e G a colecao dos conjuntos abertos em .
A -algebra de Borel de e (G). Os conjuntos B e (G) sao chamados de conjuntos borelianos
em .
Proposi
c
ao 1: (C) e a menor -algebra que contem C. Ou seja, valem as seguintes
condicoes:
(i) C (C).
(ii) Se A e uma -algebra em tal que C X, entao (C) A.
Demonstra
c
ao.
(i) Se B C entao B pertence a toda -algebra X tal que C X, logo B (C).
(ii) Se B (C) e A e uma -algebra em tal que C A, entao B A, pela definicao de (C).
Proposi
c
ao 2:
(i) Todo intervalo e boreliano de R.
(ii) Se S e a colecao dos retangulos limitados de Rn (ou dos intervalos limitados de R) ent
ao
(S) e a -algebra de Borel.
Demonstra
c
ao.
(i) Cada intervalo em R e do tipo J = L, F ou LF, com L aberto e F fechado em R, logo J e
boreliano.
(ii) Seja S = J1 x ... x Jn um retangulo, onde cada Ji e um intervalo em R. Consideremos as
projecoes:
pi : Rn R, (x1 , ..., xn ) 7 xi , temosS =

n
\

p1
i (Ji ).

i=1

Bolsista de Iniciaca
o Cientfica - FAPESP
178

e boreliano.
Assim, para provar que S e boreliano, devemos provar que cada p1
i (Ji )
De fato, como Ji e do tipo L, F ou LF, L aberto e F fechado em R, ent
ao
1
1
1
1
1
1
n
p1
(J
)
=
p
(L),
p
(F
)
ou
p
(L)

p
(F
),
com
p
(L)
aberto
e
p
i
i
i
i
i
i
i
i (F ) fechado em R .
Tn
1
1
n
Entao pi (Ji ) e boreliano de R . Em consequencia, S = i=1 pi (Ji ) tambem e boreliano.
Assim, provamos que S (G), onde G e a colec
ao dos abertos. Segue que (S) (G),
pela proposic
ao 1.
S
Alem disso, todo aberto L de Rn e do tipo L=
k=1 Sk , Sk S (S), logo L (S),
portanto G (S), donde (G) (S), pela proposic
ao 1.
Por fim, conclumos que (S) = (G).
Defini
c
ao 2: Sejam e 1 conjuntos e f: 1 uma func
ao. Dada uma colec
ao C de
subconjuntos de , temos:
f 1 C = f 1 (A)/A C
Proposi
c
ao 3: Dada f: Rn , as seguintes afirmac
oes s
ao equivalentes:
(i) f e X-mensur
avel.
(ii) Para todo aberto N Rn vale f 1 (N ) X.
(iii) Para toda func
ao contnua : Rn R a func
ao composta f : R, x7 (f (x)) e
X-mensur
avel.
Proposi
c
ao 4: Seja X -
algebra em . Ent
ao f: Rn e X-mensur
avel se, e somente se,
n
1
para todo boreliano B no R vale f (B) X.
Demonstra
c
ao.
Seja G a colec
ao dos abertos de Rn . Pela proposic
ao 3, temos que f e X-mensur
avel se, e somente
se, para todo N G vale f 1 (N ) X.
Proposi
c
ao 5: Seja um espaco topol
ogico. Toda func
ao contnua f: Rm ou C e
Borel-mensur
avel (f e B-mensur
avel, sendo B a -
algebra de Borel).
Demonstra
c
ao.
Temos que as func
oes s
ao contnuas g: R, para as quais [g > r] e aberto, assim e boreliano
r R.
Exemplos:
(i) Sejam e 1 espacos topol
ogicos. Uma func
ao f: 1 e Borel-mensur
avel quando para
todo Y aberto em 1 f 1 (Y ) e boreliano.
(ii) Podemos mostrar que a composta de func
oes Borel-mensur
aveis e Borel-mensur
avel.
Conclus
ao:
O objetivo deste trabalho foi introduzir os conceitos b
asicos de -
algebra de Borel e das funcoes
Borel-mensur
aveis para que possamos estudar sua relac
ao com a -
algebra de Lebesgue, pois
esta e o completamento da -
algebra de Borel. Logo, mostramos definic
oes importantes da Teoria da Medida, como preparac
ao para o estudo das func
oes Lebesgue-integr
aveis em Rn .
Palavras-chave: Teoria da Medida, -
algebra de Borel, Func
oes Borel-Mensur
aveis.

Refer
encias
[1] P.J.Fernandez, Medida e Integrac
ao, Rio de Janeiro-RJ, IMPA, Projeto Euclides, 1976.
[2] C.Isnard, Introduc
ao
a Medida e Integrac
ao - 1 ed.,Rio de Janeiro-RJ, IMPA, 2007.
[3] E. L. Lima, Curso de An
alise, Vol. 1, IMPA, Projeto Euclides, 1989.
179