CONSTRUO E ESTUDO DAS MEDIDAS DE LEBESGUE E HAUSDORFF NO

ESPAO EUCLIDIANO
ENIO MARQUES MUNIZ JUNIOR1; JOO CARLOS MOREIRA2
RESUMO
A teoria da medida uma rea da Anlise Matemtica que estuda o conceito
matemtico de medida e suas propriedades. A medida comprimento de um intervalo, que nos
to intuitiva, pode no ser muito til ou at mesmo perder o sentido quando tentamos
utiliz-la em outros subconjuntos dos reais que no sejam intervalos. A fim de resolver esse
problema, foi elaborada a medida de Lebesgue, que definida em

e pode ser estendida para

. Por sua vez, temos a medida de Hausdorff, uma medida mais geral que a medida de
Lebesgue, que utilizada para medir conjuntos com permetro finito que no poderamos
medir com a medida de Lebesgue. Tal medida pode ser definida at mesmo em espaos mais
gerais que o

. Neste trabalho, tratamos de um contexto geral de medida e abordamos

algumas caractersticas e propriedades especficas das medidas de Lebesgue e Hausdorff.

PALAVRAS-CHAVE: teoria da medida, medida de Lebesgue, medida de Hausdorff

1. Faculdade de Cincias Integradas do Pontal, Universidade Federal de Uberlndia, Rua 20, n 1600, ItuiutabaMG, CEP: 38304-402, enio@mat.pontal.ufu.br
2. Faculdade de Cincias Integradas do Pontal, Universidade Federal de Uberlndia, Rua 20, n 1600, ItuiutabaMG, CEP: 38304-402, joao@pontal.ufu.br

ABSTRACT
The measure theory is a field of Mathematics that studies the mathematical concept of
measurement and their properties. The measured length of an interval, which is so intuitive, it
may not be very useful or even lose their sense when we try to use it in other subsets of real
numbers which are not intervals. In order to solve this problem, was developed a Lebesgue
measure, which is defined in

and can be extended to

. In turn, there is the Hausdorff

measure, a measure more general than the Lebesgue measure that is used to measure sets with
finite perimeter which cannot be measured with the Lebesgue measure. Such a measure can
be defined even in the more general spaces than the set

. In this paper, we deal with a

general background of the measure and discuss some specific characteristics and properties of
the Lebesgue and Hausdorff measures.
KEYWORDS: measure theory, Lebesgue measure, Hausdorff measure

1. INTRODUO
O ato de medir, tanto no nosso dia a dia quanto na Cincia, algo to natural e
corriqueiro que por muitas vezes o fazemos sem se pensar muito a respeito, isto , estamos to
acostumados a utilizar as medidas-padro que no imaginamos que possa existir (ou ser
criada) uma forma alternativa de mensurao que seja mais eficiente ou mais fcil de
trabalhar. Pelo menos no ambiente abstrato da Matemtica, este questionamento levado em
considerao e nos leva a criar formas diferenciadas de se medir que sejam mais adequadas
aos ambientes que estamos estudando. Em outros casos, na tentativa de generalizar resultados,
as medidas usuais podem at mesmo perder o sentido, forando-nos ento elaborao de
uma nova maneira de se medir.
Para ilustrar essa ideia, consideremos a medida de comprimento em
intervalo real

definimos seu comprimento como sendo o nmero

. Dado um

. Essa medida

suficiente e satisfatria em muitos casos, e tambm muito utilizada, pois, por exemplo, a
utilizamos implicitamente toda vez que resolvemos uma integral. Agora suponhamos que
queiramos considerar no apenas intervalos, mas uma classe mais ampla de conjuntos de
nmeros reais. Por exemplo, consideremos o intervalo

e retiremos dele o nmero .

Retirar apenas um nmero de um intervalo altera o seu comprimento? E se ao invs de retirar

apenas o

tambm retirssemos todos os racionais do intervalo? fato que ainda restariam

infinitos nmeros neste intervalo, os irracionais, ento, neste caso, seria conveniente
considerar esse novo conjunto como tendo comprimento zero? E que comprimento
poderamos atribuir para o conjunto dos nmeros naturais? Essas so algumas complicaes
que podem surgir quando queremos utilizar esta medida em classes mais gerais de conjuntos.
No problema acima, uma das alternativas encontradas, tanto para o caso real quanto o
caso

, foi a elaborao da medida de Lebesgue, que permite medir uma classe mais ampla

de subconjuntos dos reais do que apenas os intervalos. A medida de Lebesgue, assim como
outras medidas, suas caractersticas e propriedades, formam o objeto de estudo da teoria da
medida. O objetivo deste trabalho estudar os fundamentos dessa teoria, isto , estudar as
primeiras propriedades das medidas em um contexto geral e prosseguir um estudo mais
especfico de caractersticas de duas das mais importantes medidas: a medida de Lebesgue e a
medida de Hausdorff.
Assim como a medida de Lebesgue vem generalizar a medida usual de comprimento de
intervalo, podemos encarar a medida de Hausdorff como sendo uma generalizao da medida

de Lebesgue, pois, como iremos ver, essas medidas coincidem em determinada situao. A
medida de Hausdorff tambm est definida para o

, mas tambm possui verses para

outros espaos, constituindo-se de uma medida mais geral que a de Lebesgue. Alm desse
fato, mesmo em

esta medida possui propriedades interessantes, j que a partir da mesma

contrumos naturalmente uma noo de dimenso de Hausdorff que, ao contrrio de nossa

experincia usual, admite dimenses que no sejam nmeros inteiros.
Desenvolveremos esse estudo da seguinte forma: na seo 2, abordaremos o conceito
matemtico de medida, dando sua definio e estudando as principais propriedades que
qualquer medida possui. Na seo 3 partiremos do contexto geral da seo anterior para
abordarmos especificamente a medida de Lebesgue. Sero desenvolvidos durante toda a seo
os conceitos necessrios para definir tal medida em

, em um processo que se dar em duas

etapas: a construo de uma medida, a medida exterior, e a construo de um conjunto, a

lgebra dos conjuntos mensurveis Lebesgue. Na seo 4, definiremos a medida de Hausdorff
em

, discutiremos algumas de suas propriedades e a compararemos com a medida de

Lebesgue. Na seo 5, a ttulo de exemplo de aplicao da medida de Hausdorff,

desenvolveremos o conceito de densidade, que permitir relacionar a medida de Hausdorff a
outras medidas.
Antes de iniciar a apresentao terica, gostaramos de fazer algumas observaes.
Salientamos que a maioria dos resultados a serem enunciados no sero demonstrados, pois
algumas dessas demonstraes so avanadas para um aluno de graduao e o objetivo deste
projeto, desde a sua concepo, foi alcanar a compreenso dos conceitos envolvidos e,
consequentemente, das aplicaes e da utilidade da teoria da medida no mbito da
Matemtica. Por fim, ressaltamos que estamos considerando como Espaos Euclidianos os
espaos

, com

2. MATERIAIS E MTODOS
2.1 NOES BSICAS DE MEDIDA
O conceito matemtico de medida uma proposta de se definir as mnimas propriedades
que uma forma de mensurao precisa possuir para poder ser satisfatoriamente tratada
matematicamente. Consiste do objeto de estudo principal da teoria da medida. Antes de a
definirmos, fixamos primeiro algumas notaes que sero utilizadas em todo este trabalho.

Sejam

uma coleo de conjuntos quaisquer. Se tais conjuntos

forem dois a dois disjuntos, a unio dos mesmos ser dita disjunta, e denot-la-emos desta
. Ainda, dado um conjunto

forma

qualquer, adotaremos a notao

para o seu

conjunto das partes.

Definio 1: Uma funo
;e

i.
ii.

ser dita uma medida em X se

se

ento

Exemplo 1: Dado um conjunto

, a medida de contagem em

a medida

tal que, para todo

realmente uma medida. Primeiramente, como

Verifiquemos que
elementos,

. Agora, sejam

tais que

no contm
. Temos

duas possibilidades para :

( a ) se

finito e possui

elementos, ento

elementos, pois caso contrrio

no pode ter menos que

. Assim ou

, com

. Em ambos os casos teremos

( b ) se

infinito, ento

. Assim,

.
no pode ser finito, pois caso contrrio,
.

Portanto temos para todo caso que

Definio 2: Seja
denotamos por

, ou

um intervalo de nmeros reais. Definimos o comprimento de , e

, como sendo o mdulo da diferena dos extremos de , se limitado, ou

no caso em que ilimitado.

Exemplo 2: Sejam

ento

Enunciaremos agora algumas propriedades de medida.

Definio 3: Um conjunto

dito

Observemos que um conjunto

mensurvel se para todo conjunto

mensurvel se, e somente se,

for. A proposio abaixo nos garante todo conjunto de medida nula

Proposio 1: Seja

uma medida em

tambm o

mensurvel.

. Se

ento

mensurvel.
Demonstrao: Notemos que para todo conjunto

, logo

temos diretamente da definio que

. Logo, para mostrar que

mensurvel basta mostrar que

De fato, como

, logo

. Agora, como

temos

que
,

assim o resultado.

Pela definio de medida, temos que

logo pela proposio acima temos que

provando

qualquer que seja a medida adotada,

mensurvel. Alm disso,

temos que
, e, portanto

tambm

mensurvel.

Enunciaremos agora algumas propriedades interessantes dos conjuntos mensurveis,

contudo, no a demonstraremos.

Teorema 1: Seja

uma sequncia de conjuntos

i.

Os conjuntos

ii.

Se os conjuntos

iii.

Se

, ento

iv.

Se

mensurveis. Ento:

so mensurveis.
so disjuntos, temos que

ento

A propriedade (ii) do teorema anterior chamada

satisfaz esta propriedade ser dita

aditividade. Toda medida que

aditiva.

Definio 4: Uma coleo de subconjuntos

dita uma

lgebra se

i.
ii.

Se

iii.

Se

ento
ento

Note que pelas observaes anteriores e pelo item i do Teorema 1 podemos concluir que
a coleo de todos os subconjuntos

mensurveis de

forma uma

lgebra.

Definiremos a seguir tipos especiais de medidas que possuem propriedades muito teis.
Tais medidas so as mais estudadas na teoria da medida. Para defini-las, precisamos primeiro

definir um tipo especial de

apenas em

lgebra (a partir de agora estaremos considerando medidas

).

Definio 5: A

lgebra de Borel a menor

subconjuntos abertos de

lgebra que contm os

Definio 6:
i.

Uma medida

de

tal que
ii.

regular se

existe um conjunto

mensurvel

Uma medida

de

dita Borel se qualquer conjunto de Borel

mensurvel.
iii.

Uma medida

de

dita Borel regular se Borel e

existe um conjunto de Borel

iv.

Uma medida

de

tal que

dita uma medida de Radon se Borel regular e

para todo conjunto compacto

Teorema 2: Seja

temos que

uma medida regular em

.
. Se

, ento

O teorema acima se difere do item iii do Teorema 1 porque ele no exige que os
sejam

mensurveis.
Teorema 3: Seja

mensurvel e que

uma medida Borel regular em

. Ento, a restrio de

, suponhamos que
(denotada por

) uma medida de

Radon.
O Teorema a seguir nos diz que, numa medida de Radon, podemos aproximar a medida
de um conjunto qualquer pela medida de conjuntos abertos e tambm pela medida de
conjuntos compactos.

Teorema 4 (Aproximao por conjuntos abertos e compactos): Seja

de Radon em

uma medida

. Ento

i.

para todo

ii.

para todo

,e

mensurvel

Para finalizar este captulo vamos enunciar um til critrio para determinar se uma
medida de Borel. Observamos que
Teorema 5 (Critrio de Caratheodory): Seja
para todos os conjuntos de

uma medida em

com

, ento

. Se
uma

medida de Borel.
2.2 MEDIDA DE LEBESGUE
Usualmente, estamos acostumados a medir um intervalo de nmeros reais utilizando a
medida de comprimento

. No entanto, como j discutido na introduo, encontramos

certas dificuldades tericas ao tentar usar essa medida em conjuntos de nmeros reais que no
so intervalos. Para resolver este problema, vamos construir a medida de Lebesgue, que
uma extenso do conceito de comprimento de intervalo para subconjuntos reais mais gerais.
A construo dessa medida se dar em duas etapas. Na primeira etapa, construmos uma
medida definida em todos os reais que atender nosso desejo de mensurar conjuntos mais
abstratos, porm, como veremos, tal medida no satisfar uma importante propriedade de
medida, a

aditividade. Para minimizar este problema, construiremos uma

lgebra dos

reais de modo tal que, quando restringirmos essa medida a este conjunto, obteremos uma
medida

aditiva. Esta tal medida ser a medida de Lebesgue.

Fixemos primeiramente algumas nomenclaturas. Uma coleo de conjuntos

ser dita uma cobertura de

se

. Tambm chamaremos de subcobertura um

subconjunto de uma cobertura que por sua vez tambm uma cobertura. Alm disso, se todos
os conjuntos de uma cobertura forem abertos, a cobertura ser dita aberta, e se a cobertura
possuir um nmero finito de conjuntos, ento ela ser dita finita. Essas nomenclaturas so
necessrias para enunciar o teorema a seguir.

10

Teorema 6 (Heine-Borel): Seja

aberta de

um conjunto compacto de

. Ento toda cobertura

possui uma subcobertura finita.

Enunciaremos agora a medida exterior de um subconjunto de .

Definio 7: Seja

. A medida exterior de , denotada por

onde o nfimo tomado sobre todas as coberturas abertas

, ser dada por

de

, onde

um

intervalo.
Notemos que como

, a somatria acima independe da ordem dos termos,

logo a medida exterior est bem definida. Notemos tambm que

ento

e que se

.
Exemplo 3: A medida exterior do intervalo

considerar

. J que

como uma cobertura dele mesmo, e como

Por outro lado, como

Assim temos que:

, temos que

para toda cobertura considerada, e o

comprimento de um intervalo sempre positivo, temos que

ento

, podemos

11

Note que se o intervalo fosse

no poderamos consider-lo como uma cobertura,

pois o nfimo da definio tomado sobre coberturas abertas. No entanto, podemos neste
caso considerar a sequncia de intervalos
abertos de

, que uma cobertura de

tal que

. Tal exemplo ilustra a ideia para a

demonstrao do fato geral da Proposio 2 a seguir.

Enunciaremos agora trs boas propriedades da medida exterior.

Proposio 2: A medida exterior de um intervalo o seu comprimento, em smbolos,
sempre que um intervalo real.
Proposio 3: A medida exterior invariante por translaes, isto , para todo
um nmero real ,

Proposio 4: A medida exterior subaditiva enumervel, isto , se

uma

coleo enumervel de conjuntos, disjuntos ou no, temos que

As trs propriedades anteriores so naturalmente esperadas em uma boa medida em

porm, a medida exterior no satisfaz a

aditividade, que tambm uma propriedade que

se esperaria de uma medida. Para conseguirmos ento uma medida que preserve as
propriedades acima e tambm satisfaa a
que chamaremos de
a medida exterior a essa

aditividade, vamos construir uma

lgebra,

lgebra dos conjuntos mensurveis Lebesgue, e ento restringiremos

lgebra.

12

Apesar de conseguir garantir as quatro propriedades desejadas, devemos observar,

todavia, que neste processo perdemos alguns conjuntos, pois a medida exterior antes da
restrio estava definida para todos os subconjuntos dos reais. Ressaltamos que essa perda
de certa forma inevitvel, pois impossvel definir uma medida nos reais que esteja definida
para todos os subconjuntos dos reais e seja

aditiva. Isto garantido pelo teorema

anunciado abaixo, disponvel em [3], pgina 49.

Teorema 7: Existem conjuntos de nmeros reais

, disjuntos, tais que

Alm de a perda de conjuntos ser inevitvel, tambm perceberemos adiante que a

lgebra dos conjuntos mensurveis Lebesgue um subconjunto bem amplo de

, o que

tambm justifica nossa abordagem.

Em concordncia com a Definio 3, diremos que um conjunto
Lebesgue

se,

somente

se,

para

qualquer

mensurvel

conjunto

vale

que

. Dessa forma, da Proposio 1 obtemos que se

ento

mensurvel Lebesgue e do item i do Teorema 1 obtemos que a unio enumervel de

conjuntos mensurveis Lebesgue

tambm mensurvel Lebesgue. Mais ainda, pelo

raciocnio desenvolvido na seo 2.1 conclumos que a coleo dos conjuntos mensurveis
Lebesgue forma uma

lgebra dos reais. Isto justifica a nomenclatura

lgebra dos

conjuntos mensurveis Lebesgue.

O resultado abaixo nos garante que esse conjunto bem amplo.
Teorema 8: Todo subconjunto aberto dos nmeros reais mensurvel Lebesgue.
Usando o resultado deste Teorema e o fato de que a coleo dos mensurveis Lebesgue
uma
a

lgebra, obtemos que a

lgebra de Borel de

lgebra dos conjuntos mensurveis Lebesgue contm

, isto , do teorema anterior segue diretamente o seguinte

corolrio:
Corolrio 1: A coleo dos conjuntos mensurveis Lebesgue uma

lgebra que

contm todos os intervalos, todas as intersees e unies enumerveis de conjuntos abertos e

fechados, respectivamente.

13

J definimos os dois objetos que precisvamos e agora estamos enfim aptos a definir a
medida de Lebesgue.
Definio 8: A medida de Lebesgue a restrio da medida exterior

lgebra dos

conjuntos mensurveis Lebesgue. Deste modo, em smbolos, denotando a medida de

Lebesgue por
Lebesgue

, dado um conjunto mensurvel Lebesgue

, definimos sua medida de

por

Nosso objetivo final no estudo da medida de Lebesgue enunciar e demonstrar a sua

aditividade. Notemos que o fato de uma medida ser

aditiva para conjuntos

mensurveis vlido em geral para qualquer medida (item (ii) do Teorema 1), contudo,
isto no foi demonstrado. Mostraremos este fato no caso particular da medida de Lebesgue e
os conjuntos mensurveis Lebesgue. Para isso, provaremos primeiro dois resultados.
Proposio 5: Seja
Lebesgue e seja

uma coleo finita disjunta de conjuntos mensurveis

qualquer. Ento

Demonstrao: Provaremos por induo em .

Se

o resultado imediato. Suponhamos ento que a hiptese seja verdadeira para

e provemos sua veracidade para . Como a coleo

Assim, pela mensurabilidade de

disjunta,

e pela hiptese de induo temos que

14

Proposio 6: A unio enumervel de conjuntos mensurveis Lebesgue mensurvel

Lebesgue.
Demonstrao: Supriremos aqui a demonstrao tcnica de que uma unio finita de
conjuntos mensurveis mensurvel. Seja

a unio de uma coleo enumervel de conjuntos

. Seja

mensurveis. Podemos supor sem perda de generalidade que

qualquer e

. Definamos

. Como

mensurvel e

Pela proposio anterior segue que

Como esta igualdade vale para todo

e do fato de que

, da

no depende de , conclumos que

subaditiva enumervel temos portanto que

15

Por fim, como

temos diretamente da definio de medida que

e deste modo est provada a mensurabilidade de .

Observamos tambm que as demonstraes da Proposio 5 e a Proprosio 6 podem

ser refeitas, com as devidas adequaes, para uma medida qualquer

e para conjuntos

mensurveis.
Teorema 9: A medida de Lebesgue

aditiva, isto , se

enumervel de conjuntos disjuntos e mensurveis Lebesgue, ento a unio

uma coleo
tambm

mensurvel Lebesgue e, caso os conjuntos da coleo supracitada sejam disjuntos, vale a

igualdade

Demonstrao: Obtemos diretamente da Proposio 6 que

mensurvel.

Alm disso, como a medida de Lebesgue subaditiva enumervel (veja a Proposio 4) temos
que

, de modo que s precisamos mostrar que

Da Proposio 5 temos que para cada

16

Como

Como o primeiro membro desta inequao no depende de , segue que

2.3 MEDIDA DE HAUSDORFF

Apresentaremos nesta seo a medida de Hausdorff, que consiste de outro exemplo de
medida que podemos definir em

(e em

). Intuitivamente, a medida de Hausdorff

utilizada quando se pretende medir o volume de regies de

que possuem fronteiras

complicadas que no poderiam ser mensurados com outra medida, como a de Lebesgue, por
exemplo. Isso vem do fato de que a medida de Lebesgue utiliza aproximaes com intervalos
para medir um conjunto no caso real (reveja a definio), ou retngulos, no caso
geralmente, caixas, no caso

, ou mais

. Como veremos a seguir, a medida de Hausdorff utilizar

bolas abertas no lugar de intervalos, e forar o dimetro dessas bolas diminurem at que
se obtenha a medida desejada.
Do ponto de vista terico, apesar de a definio da medida de Hausdorff ser diferente da
definio da medida de Lebesgue, podemos encar-la como uma generalizao desta ltima,
visto que provado que elas so equivalentes em condies que sero explicitadas
posteriormente. Alm disso, a medida de Hausdorff dotada naturalmente de uma noo de
dimenso, e possui a caracterstica notvel de admitir dimenses no necessariamente inteiras,
isto , possvel termos objetos de dimenses intermedirias entre 0 e 1, por exemplo.
Antes de exibir a definio da medida de Hausdorff, ressaltamos que tal medida pode
ser definida em conjuntos mais gerais que o

e que, portanto, sua definio e suas

caractersticas (e consequentemente sua teoria em si) so bem mais abstratas que a da medida
de Lebesgue. Realizaremos aqui apenas uma abordagem rpida focando apenas os conceitos

17

envolvidos sem se preocupar com suas justificaes. Um leitor interessado numa abordagem
completa da medida de Hausdorff pode consultar [1] ou [6].
No que segue,

Definio 9:
i. Seja

. Defina

onde

Aqui, os

so bolas abertas de

gama usual e o nfimo tomado sobre todas as coberturas

ii. Para

de .

como acima, definimos

Tal como definida,

dimensional em

a funo

uma medida, e ns a chamaremos de medida de Hausdorff

Obvervao: Na definio acima, ao requerer que

, estamos forando a cobertura

a acompanhar a geometria local do conjunto.

A figura a seguir fornece uma interpretao intuitiva da definio da medida de
Hausdorff.

18

Figura 1

Exemplo 4: Consideremos

Da:

Assim:

O valor de
pois para cada

ser alterado ao mudarmos a cobertura o nmero de conjuntos

teremos um termo

no somatrio. Assim, para alcanarmos o nfimo

precisamos tomar a cobertura com menor nmero possvel de elementos. Para isso
poderamos considerar um nico
condio de

tal que

, mas tambm temos que satisfazer a

, isto , temos que tomar conjuntos com o menor dimetro possvel. Se

for um conjunto finito com

contm um elemento

de

quanto se queira. Nesse caso,

elementos, podemos considerar

tais que cada

, e tal conjunto pode ser tomado com dimetro to pequeno

19

Se

for um conjunto infinito, teremos:

Temos assim que

Portanto,

a medida de contagem em

Da forma como foi definida,

ter a propriedade de que se

, ento

com

. Temos ento pelo critrio de

Caratheodory (Teorema 5) que

dado um conjunto arbitrrio

uma medida de Borel. Tambm possvel provar que

, existe um conjunto de Borel

tal que

. Dessa forma, temos o seguinte resultado:

Teorema 10:

uma medida Borel regular

Anunciaremos agora algumas propriedades da medida de Hausdorff:

Teorema 11:
uma medida de contagem.

i.
ii.

em .

iii.

em

iv.

para todo
para todo

Proposio 7: Suponhamos
.

.
.
e

para algum

. Ento

20

Proposio 8: Seja

, ento

i. Se
ii. Se

, ento

Os resultados anteriores nos permitem definir a noo de dimenso para a medida de

Hausdorff.
Definio 10: A dimenso de Hausdorff de um conjunto

Do item iii do Teorema 11 conclumos que

temos pela Proposio 8 que
. importante observar que

definida como sendo

. Seja

para todo

e que

. Da,
para todo

no precisa necessariamente ser igual a zero, de

fato,

pode ser qualquer nmero entre 0 e

que

no precisa ser um nmero inteiro.

, inclusive. Alm disso, notemos tambm

Enunciaremos a seguir o importante resultado que garante a equivalncia entre a

medida de Hausdorff e a medida de Lebesgue. Antes para isso precisamos definir a medida de
Lebesgue em

Definio 11: Seja

medida

uma medida em

uma medida em

como sendo, para cada

onde o nfimo tomado sobre todas as colees de conjuntos

conjuntos

mensurveis

tais que

. Definiremos uma

mensurveis

21

Esta medida chamada de medida produto de

por .

Em posse desta definio, a medida dada na definio 8 ser chamada medida de

Lebesgue

dimensional, e ser denotada por

Lebesgue

dimensional por

. Da, definimos indutivamente a medida de

Teorema 12: A medida de Hausdorff coincide com a medida de Lebesgue em

, denotando por

a medida de Lebesgue

dimensional, temos que

em

isto
.

2.4 DENSIDADES
Para finalizar o estudo da medida de Hausdorff, vamos introduzir as noes de
densidade superior e densidade inferior

dimensional de uma medida em um conjunto

arbitrrio, num ponto qualquer, a fim de exibir uma aplicao da medida de Hausdorff e sua
relao com outras medidas.
O termo densidade denomina na Fsica a grandeza definida pela razo entre a massa e o
volume de um determinado objeto (s vezes chamado tambm de massa especfica). O
conceito matemtico de densidade inspirado na grandeza fsica, e representa a razo entre a
massa, que aqui entendida como sendo a medida da regio, pelo volume, que interpretado
pelo volume da bola aberta unitria do espao.
Definio 12: Para qualquer medida
ponto

, definem-se as densidades

dadas abaixo, respectivamente:

em

, qualquer subconjunto

e qualquer

dimensionais superior e inferior pelas expresses

22

a bola fechada de centro em

sendo

unitrio. No caso em que

e raio

o volume da bola fechada de raio

, simplesmente escreveremos

Exemplo 5: Consideremos na definio anterior

Consideraremos primeiramente

Quando

Temos que

. Da:

Consideremos agora

. Temos que:

Logo
caso especfico, se

Logo

Quando

Deste modo percebemos que, ao menos neste

, ento

essa caracterstica para uma medida Borel-regular.

O Teorema 14 generaliza

23

Teorema 13: Seja

uma medida Borel-regular em

e

i. Se

ii. Se

ento

, ento

O teorema anterior nos diz que qualquer que seja a medida adotada, podemos estimar a
medida de um conjunto por uma medida de Hausdorff.
Teorema 14: Se
de X e se

qtp

uma medida Borel-regular, se

, ento

para

Teorema 15: Seja

qtp

para

para

mensurvel e

. Ento

mensurvel e

. Ento

Teorema 16: Seja

qtp

um subconjunto

mensurvel

24

Note que o Teorema 16 nos d limitantes inferiores e superiores para a dimenso de

qualquer ponto do

em

, pela medida de Hausdorff

dimensional, no caso em que

.
3

RESULTADOS E DISCUSSO
Os conceitos estudados mostram que a medida de Lebesgue eficiente em medir

subconjuntos dos nmeros reais mais gerais que os intervalos, e estes permitem desenvolver,
em analogia aos conceitos j estabelecidos com a utilizao da medida

usual, novos

conceitos e ferramentas. Por exemplo, a partir da medida de Lebesgue possvel generalizar o

conceito de integral de Riemann, que est definida para as funes cujos domnios so
intervalos, para a integral de Lebesgue, que definida para as funes que possuem domnios
que sejam mensurveis Lebesgue.
A medida de Hausdorff, por sua vez, vem para calcular a medida de conjuntos de
permetro finito que no poderiam ser medidos com a medida de Lebesgue. Em um contexto
mais abstrato, a medida de Hausdorff tambm possibilita generalizar a medida de Lebesgue
para ambientes mais gerais que o

e tambm permite definir e trabalhar com objetos em

dimenses fracionrias.
Esses dois exemplos de medida nos mostram que a partir do momento que se deseja
abordar um contexto mais geral, possvel basear-se em conceitos j definidos e estudados
em outros contextos, generalizando-os de modo a adequ-los ao novo contexto que se est
estudando.
4

CONCLUSO
A medida de Lebesgue uma boa maneira de se generalizar o conceito de comprimento,

desenvolvido para medir intervalos. Com ela possvel medir subconjuntos muito mais gerais
de

e, consequentemente, nos permite generalizar muitos outros resultados e tcnicas para

esses conjuntos. A medida de Hausdorff, por sua vez, uma medida mais geral que a medida
de Lebesgue, e util para medir conjuntos com permetro finito que no poderiam ser
medidos pela medida de Lebesgue pela maneira como esta foi definida. A medida de
Hausdorff tambm pode ser definida at mesmo em espaos mais gerais que o
o desenvolvimento de novas teorias.

permitindo

25

REFERNCIAS BIBLIOGRFICAS

[1] EVANS, L. Measure theory and fine properties of functions. CRC Press Inc., Estados
Unidos, 2000.
[2] FERNANDES, J. P. Medida e Integrao. 2 ed. Rio de Janeiro: IMPA, 2007.
[3] FITZPATRICK, P. Real Analysis. Pearson Education, Inc., Estados Unidos, 2010.
[4] MOREIRA, J. C. Solues Estacionrias Estveis de uma Classe de Sistemas de
Equaes de Reao Espacialmente Heterogneas: uma abordagem variacional. Tese de
Doutorado So Carlos, UFSCar, 2006.
[5] PAULA, F. G. de. O conceito de n-varifold e EDP. Dissertao de Mestrado. So Carlos,
UFSCar, 2006.
[6] SIMON, L.; HARDT, R. Seminar on Geometric Measure Theory. Boston: Birkhuser
Verlag, 1986.
[7] WHEEDEN, R. L. Measure and Integral: An Introduction to Real Analysis. New York:
Marcel Dekker, Inc., 1977.