ISSN 1984-8218

Funes Mensurveis Reais

Luis Antnio Fernandes de Oliveira

Jssica Scavazini Resende

Depto de Matemtica, FEIS, UNESP

15385-000 Ilha Solteira, SP
E-mail: lafo@mat.feis.unesp.br, jessica91088@aluno.feis.unesp.br

RESUMO
As noes que vamos abordar neste trabalho so essenciais no estudo de integrao no sentido
de Lebesgue, e a produo de exemplos de fundamental importncia para a compreenso dos
conceitos. Primeiramente apresentaremos algumas definies importantes para o conceito de
funes mensurveis reais.
Definio 1 - Uma famlia A de subconjuntos de um conjunto X dita uma -lgebra se:
(i)
AeX A

(ii) se B
(iii) se (

A, ento o complemento (B) ou

A
) uma sequncia de conjuntos em A, ento a unio

A.

Definio 2 - Um par ordenado (X, A) constitudo de um conjunto X e uma -lgebra A

de subconjuntos de X chamado de espao mensurvel, e qualquer elemento de A chamado
de mensurvel.
Definio 3 - Seja B uma coleo no vazia de subconjuntos de X. Existe uma menor -lgebra
de subconjuntos de X contendo B. Esta menor -lgebra chamada de -lgebra gerada por B.

Como primeiro exemplo, consideremos X = [0, 1], vamos construir a -lgebra gerada
pelo conjunto B
B=

Fazendo a unies possveis entre os elementos de B, encontramos os seguintes

intervalos:
, I5 =
e I6 =
I4 =
Calculando agora as unies entre I1, I2, I3, I4, I5 e I6 encontramos o intervalo I7 com
I7 =
Quanto aos complementares de tais intervalos temos que:
I1c =
I6c =

, I2c =

, I3c =

, I4c =

, I7c =

Portanto, a -lgebra gerada pelo conjunto B :

1280

, I5c =

ISSN 1984-8218

,
,

Definio 4 Seja (X, A) um espao mensurvel. Uma funo

mensurvel se para todo nmero real , o conjunto
{x

X: (x)

chamada de

A, isto , mensurvel.

Uma vez que nem todos os conjuntos so mensurveis, de grande importncia saber
que conjuntos que surgem naturalmente em certas construes so mensurveis. Se
tomarmos uma funo f, os conjuntos mais importantes que surgem a partir dela so os
listados no seguinte lema:
Lema As seguintes afirmaes so equivalentes para uma funo
(i) Para cada
, o conjunto
= {x X: (x)
} A;
(ii) Para cada
, o conjunto
= {x X: (x)
} A;
(iii) Para cada
, o conjunto
= {x X: (x)
} A;
(iv) Para cada
, o conjunto
= {x X: (x)
} A;
Exemplo Seja X = [-1, 2],
(a) Para (x) =

= 0,2 temos que:

A0, 2 = {x

(b) Para (x) =

X: (x)

0,2} =

temos que:
{x

X: (x)

0,5} =

Se

est abaixo do ponto de mnimo da funo, ento

Se

est acima do ponto de mximo da funo, ento

= X.
= .

Palavras-chave: -lgebra, conjunto mensurvel, funes mensurveis.

Referncias
[1] Bartle, R.G., The Elements of Integration and Lebesgue Measure, Wiley Classics
Library, NY, 1995.

1281