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

Re: RES: [obm-l] Cj. Cantor



    Oi Nicolau,
    Na verdade, estritamente falando, a sua afirmação não é verdadeira: 
é possível exibir um conjunto de Cantor A na reta com dimensão de 
Hausdorff 1 tal que A-A tem medida nula. O meu trabalho com o Yoccoz, 
no qual provamos uma conjectura do Jacob, implica que a maioria 
(aberto, denso e de "medida total")dos conjuntos de Cantor 
dinamicamente definidos por funções expansoras (pelo menos de classe 
C^(1+d), com d>0; para C^1 é genericamente falso) K com dimensão de 
Hausdorff maior que 1/2 é tal que K-K tem interior não-vazio. Por outro 
lado, para Conjuntos de Cantor "bem-comportados" (por exemplo 
dinamicamente definidos) K com dimensão de Hausdorff menor que 1/2, K-K 
tem medida nula. Isso vale sempre que a capacidade limite (que, para 
conjuntos bem-comportados, coincide com a dimensão de Hausdorff) de K é 
menor que 1/2. Por outro lado é possível construir um conjunto de 
Cantor K na reta com domensão de Hausdorff 0 tal que K-K é um intervalo.
    Abraços,
               Gugu

Quoting "Nicolau C. Saldanha" <nicolau@mat.puc-rio.br>:

> On Tue, Jul 04, 2006 at 11:28:39AM -0300, Artur Costa Steiner wrote:
>> Esta conclusao a respeito do conjunto K de Cantor eh exemplo de uma
>> conclusao interessante. Sabemos que se um conjunto A de R^n tem medida de
>> Lebesgue positiva, entao A - A contem uma bola centrada na origem. Mas a
>> reciproca na eh vedadeira. K tem medida nula e, mesmo assim, K - K = [-1,
>> 1], que eh uma bola em R centrada na origem.
>
> Novamente, o Gugu é a autoridade no assunto, mas existe um número a,
> 0 < a < 1, tal que se a dimensão de Hausdorff de um subconjunto compacto
> A de R é maior do que a então A-A contem uma bola centrada na origem.
> Infelizmente eu não sei qual é o menor valor de a para o qual vale
> este resultado, nem sei se o nosso exemplo segue deste resultado geral.
>
> Se A tem medida positiva sua dimensão de Hausdorff é 1;
> a dimensão de Hausdorff de K (o conjunto de Cantor usual)
> é log 2/log 3 ~= 0.63.
>
> []s, N.
>



----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.


=========================================================================
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
=========================================================================