Processing math: 100%

User Tools

Site Tools


medida:jordanvslebesgue

Medida (conteúdo) de Jordan e medida de Lebesgue

Definimos volume de caixas I1××Id como (biai) onde cada Ii é um intervalo com extremos ai,bi. Os intervalos podem ser abertos, fechados ou semi-abertos para essa definição.

Um conjunto elementaqr é a união finita de caixas.

Definimos m(E)=|Bi| onde E=Bi é uma união disjunta de caixas. Então m(E) é bem definida para qualquer conjunto elementar.

Discutir sobre uma definição equivalente de volume de uma caixa: |B|=limN1Nd(B1NZd)

Propriedades:

  1. m(EF)m(E)+m(F) e portanto m(ki=1Ei)ki=1m(Ei) para conjuntos Ei elementar.
  2. m(E+x)=m(E), invariança por translação.

ARd limitado

  • A medida interior de Jordan m(E):=sup{m(A):AE,Aelementar}
  • A medida exterior de Jordan m(E):=inf{m(A):EA,Aelementar}
  • Um conjunto E é chamado Jordan mensurável se m(E)=m(E) e neste caso este n´´umero é chamado de “medida” de Jordan de E.

Enquanto união finita de conjuntos Jordan mensuráveis é Jordan mensurável, união enumerável de conjuntos Jordan mensurável pode não ser. Considere Ai={qi} onde qi é número racional e Q={qi}.

Outro defeito: O limite pontual de uma sequência de funções Riemann integrável pode não ser Riemann integável. Por exemplo via uma bijeção ϕ entre N e Q podemos construir fn(x)=1 se xQ,ϕ(x)<n e caso contrário fn(x)=0. É fácil ver que fn converge a função Dirichlet que não é Riemann integrável.

Medida de Lebesgue

Definimos medida exterior de Lebesgue m(E):=inf{i=1|Bi|:EBi,Bisão caixas.}

  • Verificamos que o conjunto de números racionais no intervalo [0,1] tem medida exterior de Lebesgue zero. Enquanto medida de Jordan exterior é um. Este conjunto não é Jordan mensurável.

Propriedades (ou Axiomas) de medida exterior

A medida exterior de Lebesgue satisfaz seguintes propriedades e qualquer função f:P(Rd)[0,] que satisfaz essas propriedades é chamado de medida exterior:

  1. m()=0.
  2. EF então m(E)m(F)
  3. m(Ei)m(Ei) onde Ei é uma sequência enumerável de subconjuntos.

Lema: Conjuntos elementares são bem comportados, i.e a medida exterior de Lebesgue deles é igual a medida de Jordan.

Prova: Queremos mostrar que m(E)m(E). Primeiramente suponhamos que E é compacto. Por definição EBi tal que |Bi|m(E)+ϵ. Dilatamos Bn´s um pouco e teremos B´n abertos |B´n||Bn|+ϵ/2n. Agora usamos compacidade de E cobrimos com número finito de B´i e portanto EKi=1B´i e então m(E)|B´i|m(E)+2ϵ.

Se E não for compacto, podemos escrever E=Qi disjuntos (claro que algumas caixas podem não ser fechadas) e ai escolhemos Q´i fechados e dentro de Qi e grande suficiente tal que |Q´i|>|Qi|ϵ/k. Então m(Q´i)=m(Q´i) (para caso compacto já provamos!) e ai concluimos que m((Q´i)m(Qi)ϵ. Então m(E)m(E)ϵ. E isto vale para todo ϵ.

Lema: Seja E=n=1Bn união quase disjunta (interseções apenas na fronteira) de caixas. Então m(n=1Bn)=n=1|Bn|.

Demonstração: Este é facil de ver, pois basta verificar que m(n=1Bn)n=1|Bn|. Porém pela monotonicidade m(E)m(B1BN)=Ni=1|Bi| e mandamos depois N para infinito.

Observe que existem diversas formas de construir medidas exterior (não exterior de Lebesgue). Por exemplo se C é uma família de subconjuntos de R contendo vazio e p uma função não-negativa de C em [0,] valendo zero no conjunto vazio. Então f(E):=inf{p(Ai),EAi,AiC} define uma medida exterior!

Exemplo: (Medida exterioir de Lebesgue-Stieljes) Seja F uma função monótona crescente e contínua a direita. e Seja C a coleção de intervalos semi-abertos (a,b] e p((a,b])=F(b)F(a).

Uma provocação: Seja p((a,b])=ba e seja μ a medida exterior definida pela p e intervalos (a,b]. Claro que μ((0,1])1 usando apenas único intervalo para cobrir (0,1]. Porém se (0,1](ak,bk] então 1bkak então μ((0,1])=1. Podemos mostrar que μ((1,0])=1. Mostre também que μ((1,1])2. Observe agora que se assumirmos μ((1,1])=μ((1,0])+μ((0,1])=2 chegamos ao absurdo de 2>2.

Não se preocupe! o exemplo acima mostra que a medida exterioir ainda está longe de ser uma função que mereça ser chamada de “medida”. Ou talvez havendo uma medida exterior não todo subconjunto merece ser chamado de mensurável! Tudo isto é pois gostaríamos de que uma medida satisfaça μ(AB)=μ(A)+μ(B) quando A e B são disjuntos. De fato vamos exigir mais de que aditividade finita.

Discussion

Leandro Bacelar, 2023/04/17 12:42

Olá professor, boa tarde.

Quando o senhor defini medida exterior e interior de Jordan, na hipótese é pedido que ARd seja limitado, mas não seria o conjunto E?

Atenciosamente.

Enter your comment. Wiki syntax is allowed:
 
medida/jordanvslebesgue.txt · Last modified: 2023/04/12 19:16 by 127.0.0.1