[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] Medida Exterior - correcao



 Houve um erro de digitacao, a operacao binaria +' , soma modulo 1,  eh definida por  x +' y = x+ y se x+y <1 e x+' y = x+y -1 se x+y >=1, de modo que leva pares (x,y) de [0,1)^2 a [0,1).Faltou tambm mencionar que, se E eh mensuravel, entao toda translacao de E com relacao a +' eh mensuravel e a medida, conforme vimos, eh invariante com relacao a tais translacoes.
Artur 
-----Mensagem original-----
De: Artur Costa Steiner
Enviada em: Tuesday, January 25, 2005 9:44 AM
Para: 'obm-l@mat.puc-rio.br'
Assunto: [obm-l] Medida Exterior

Um exemplo de conjuntos que satisfazem ao que foi pedido por um colega eh o seguinte:
 
Em [0,1), definamos a relacao de equivalencia ~ por x ~y se x - y for racional. Entao, ~ particiona [0,1) em classes, sendo que x -y eh racional se x e y pertencerem aa mesma classe e x -y eh irracional se estiverem em classes distintas. Definamos o conjunto P escolhendo-se um unico  elemento de cada classe de equivalencia. (Se recorrermos ao axioma da escolha, isto eh certamente possivel. Como estamos em R, talvez seja possivel formar P sem recorrer ao axioma da escolha.) 
Em [0,1)^2,  definamos a operacao binaria +' , soma modulo 1, por x +' y = x+ y se x+y <1 e x+' y = x+y -1 se x+y <=1. Podemos mostrar que a medida exterior m eh invariante com relacao a translacoes com base na operacao +'.
Seja (r_i) i=0,1,2... uma enumeracao dos racionais de [0,1) com r_0 = 0. Para cada i, definamos a translacao soma modulo 1 de P por P_i = r_i +' P = {p +' r_i | p estah em P} . Entao, m(P_i) = m(P) para todo i. Se P_i e P_j nao forem disjuntos, entao sao coincidentes. De fato, se x estah em P_i inter P_j, entao existem p_i e p_j em P e racionais r_i e r_j em [0,1) tais que  x = p_i +' r_i = p_j +' r_j. A definicao de +' implica que p_i - p_j seja racional, logo p_i ~p_j e p_i e p_j pertencem a uma mesma classe de equivalencia definida por ~. Mas como p_i e p_j estao em P e P contem precisamente um elemento de classe de equivalencia, segue-se que p_i = p_j e que r_i = r_j. Logo P_i e P_j sao o mesmo conjunto e temos i =j.
Concluimos assim que {P_i} eh uma colecao enumeravel de subconjuntos de [0,1) disjuntos  2 a 2. Logo, sua uniao esta em [0,1). Por outro lado, todo x de [0,1) pertence a alguma classe de equivalencia definida por  ~, de modo que x = p + r_i para algum p de P e algum racional r_i. A definicao de +' implica entao que x esteja em P_i, de modo que todo x de [0,1) estah em algum membro de {P_i}. Segue-se portanto que [0,1) = Uniao (P_i) .
Se P for mensuravel, entao todos os P_i tambem o serao e teremos que m([0,1)) = 1-0 = 1 = Soma m(P_i) = Soma (i =0, oo) m(P). Se m(P) = 0, entao o ultimo membro eh nulo e chegamos aa contradicao de que 1 = 0. Se m(P)>0, entao a serie do segundo membro vai para infinito, e concluimos que 1 = oo, outra contradicao. Logo , P nao eh mensuravel.
Vemos assim que a igualdade  m([0,1)) =  Soma m(P_i) nao pode vigorar. A sub-aditividade da medida exterior implica entao que m([0,1)) = 1 < Soma m(P_i) , desigualdade estrita. Temos assim um exemplo conforme pedido pelo colega que postou a mensagem original.
Artur
PS. Obviamente nao fui eu que bolei esta definicao do conjunto P. Ei vi num livro e completei os detalhes