[obm-l] Teoria da Medida

[Cleiton Silva <cdpss1981@xxxxxxxxxxxx>]

_________________________________________________________
Nota��o: 
1) Borel_([a,b]) � a menor sigma-algebra gerada pelos
abertos do intervalo [a,b] (a m�trica � a usual: |.|);

2) Borel_(R) � a menor sigma-algebra que cont�m todos
os abertos da reta.

3) f:R -> R uma fun��o Borel mensur�vel: Sigma_(f) � a
menor sub-sigma-algebra de Borel_(R) com rela��o a
qual f � mensur�vel.

4) A um subconjunto da reta; 1-A={x da reta : x = 1-a,
a pertencente a A}
_________________________________________________________

Problema:
Seja g:[0,1]->R borel mensur�vel qualquer, tal que
g(w)=g(1-w). Mostre que:

a) Sigma_(f) ={ B subconjunto de [0,1] : B=A UNIAO
(1-A), A pertence ao Borel_([0,1/2]) };

b) Seja h:[0,1]->R mensur�vel com respeito a Sigma_(f)
(ou seja h � tal que Sigma_(h) est� contido em
Sigma_(f)). Mostre que h � tal que h(w)=h(1-w);

c) Existe alguma h Sigma_(f) mensur�vel tal que
Sigma_(h) � subconjunto PR�PRIO de Sigma_(f)? Se sim,
d� um exemplo; se n�o, justifique.

[]'s


__________________________________________________
Converse com seus amigos em tempo real com o Yahoo! Messenger 
http://br.download.yahoo.com/messenger/ 
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================