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

Re: [obm-l] RES: [obm-l] Re: [obm-l] Função Lipschitz em um subintervalo



Boa tarde,

Apenas uma pequena observação:

On 11/6/06, Artur Costa Steiner <artur.steiner@mme.gov.br > wrote:

>Mas sera que existe alguma funcao derivavel cuja derivada seja descontinua
num subconjunto denso no seu dominio?
>Como derivadas tem a propriedade do valor intermediario, as
descontinuidades duma tal funcao (caso exista) devem ser do tipo >zig-zag.

Não, não existe não. Toda derivada definida em um intervalo aberto, limitado
ou não, é o limite de uma sequencia de funcoes continuas. Há um teorema da
Analise/Topologia que diz que, se g eh o limite de uma sequencia de funcoes
continuas definidas  num espaco de Baire e com valores em R, entao o
conjunto das descontinuidades de g eh magro na classificacao de Baire, o que
implica que tenha interior vazio. Logo, o conjunto das descontinuidades de
uma derivada tem sempre interior vazio e, portanto, nunca eh denso.


Isso está errado, Q (o conjunto dos números racionais) é  magro, tem interior vazio,
como qualquer subconjunto enumerável  de R, e é mais ou menos trivial o fato de Q
ser denso em R.

Densidade não tem nada a ver, absolutamente nada, nada mesmo, nem com o conceito de magro, nem com o conceito de conjunto de medida zero!

Já que você citou o teorema de Baire, sugiro olhar o capítulo 3 do livro ¨Aplicações da Topologia à Análise" de Hönig, C. S. (Projeto Euclides), lá existe muito material sobre este assunto.

Manuel Garcia



>Ou seja, aquele exemplo classico de funcao que e descontinua nos racionais
e continua nos irracionais (f(x) = 1/q, se x =   >p/q (com p inteiro, q
natural e p, q primos-entre si) e f(x) = 0, se x e irracional) nao e
derivada de funcao alguma, pois  > sua imagem esta contida em [0,1] mas so
contem 0 e racionais da forma 1/q.

Exato.

>Baseado no exemplo do Nicolau, eu pensei na sequencia de funcoes (f_n) dada
por:
>f_n(x) = sen^2(nx)*cos(g(1/sen^2(nx))), se x <> k*pi/n e f_n(x) = 0, caso
contrario.
>So que eu tenho a impressao de que esta sequencia nao converge (ja que
(h_n) dada por h_n(x) = sen^2(nx) nao converge - se
>convergisse para h, quem seria h(1)? - para x <> multiplo racional de pi, o
conjunto de valores de aderencia da sequencia   >  (h_n(x)) e o intervalo
[0,1]).

> Enfim, como o Artur disse, a ideia da demonstracao deve vir de alguma
outra area da matematica...

Aparentementa nao converge mesmo nao. Mas o Nicolau deu ateh uma prova para
um caso menos restrito em que admitiu apenas a existencia das derivadas de
Dini. Aquela prova que eu dei, na qual consegui relacionar fatos de varia
areas da matematica, alguns nao gostam porque a julgam anti-natural, pois
envolve conceitos nao muito conhecidos por quem nao estuda um pouquinho
mais.

Artur

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