Função de Thomae
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/15/Thomae_function_%280%2C1%29.svg/200px-Thomae_function_%280%2C1%29.svg.png)
A função de Thomae, assim chamada em homenagem a Carl Johannes Thomae, tem muitos nomes: a função pipoca, a função gota de chuva, a função nuvem contável, a função de Dirichlet modificada, a função régua,[1] a função de Riemann, ou as Estrelas sobre a Babilônia (nome de John Horton Conway).[2] Esta função a valores reais f(x) da variável real x é definida como: Ela é uma modificação da função de Dirichlet, que é 1 nos números racionais e 0 nos demais casos.
Propriedades
A função de Thomae tem um conjunto de descontinuidades complicado: f é contínua em todos os números irracionais e descontínua em todos os números racionais.
A função de Thomae também tem um máximo local estrito em cada número racional.
Prova informal das descontinuidades
Claramente, f é descontínua em todos os números racionais: como os irracionais são densos nos reais, para qualquer racional x, não importa que escolha de ε nós façamos, há um irracional a ainda mais próximo deste x, onde f(a) = 0 (enquanto que f(x) é positiva). Em outras palavras, f nunca poderá "chegar perto" e "permanecer perto" de qualquer número positivo, porque o seu domínio é denso com zeros.
Para demonstrar a continuidade nos irracionais, suponha sem perda de generalidade que ε é racional (para qualquer irracional ε', podemos escolher um racional ε" menor ainda). Como ε é racional, ele pode ser expresso como uma fração irredutível a/b. O objetivo é mostrar que f(x) é contínua quando x é irracional.
Observe que f assume o valor máximo 1 em cada inteiro, então podemos limitar nosso exame do intervalo entre e Como ε tem um denominador finito b, os únicos valores para os quais f pode retornar um valor maior do que ε são aqueles com um denominador que não é maior do que b. Existe apenas um número finito de valores entre dois números inteiros, com um denominador que não é maior do que b, então estes podem ser listados exaustivamente. Definindo δ como sendo menor do que a menor distância de x a um desses valores, fica garantido que a todo valor a uma distância de no máximo δ de x satisfaz f(x) < ε.
Integrabilidade
O critério de integrabilidade de Lebesgue afirma que um função limitada é integrável à Riemann se, e somente se, o conjunto de todos os pontos de descontinuidade tem medida zero.[3] Uma vez que o conjunto de todas as descontinuidades da função de Thomae é o conjunto dos números racionais, que é um conjunto contável, ele tem medida zero. Além disso, a função é limitada no intervalo [0, 1], então, pelo critério de Lebesgue, a função é integrável à Riemann em [0, 1]. A sua integral é igual a 0 em [0,1].
Questões complementares
Uma pergunta natural que poderia ser feita em seguida é se existe uma função que é contínua nos números racionais e descontínua nos números irracionais. Ocorre que isso é impossível; o conjunto de descontinuidades de qualquer função deve ser um Fσ conjunto. Se uma tal função existisse, então os irracionais formariam um Fσ conjunto. Consequentemente os irracionals seriam um união enumerável de conjuntos fechados mas já que o irracionais não contêm um intervalo, o mesmo não pode acontecer com qualquer um dos Portanto, cada um dos seria denso em lugar nenhum, e os irracionais seriam conjungo magro. Disso resultaria que os números reais, sendo uma união dos irracionais com os racionais (que é, evidentemente, magro), também seria um conjunto magro. Isto contradiria o teorema da categoria de Baire: como as reais formam um espaço métrico completo, eles formam um espaço de Baire, que não pode ser magro em si mesmo.
Uma variante função de Thomae pode ser usada para mostrar que qualquer Fσ subconjunto dos números reais pode ser o conjunto de descontinuidades de uma função. Se é uma união contável de conjuntos fechados defina Então, um argumento semelhante ao usado para a função de Thomae mostra que tem A como o seu conjunto de descontinuidades.
Para uma construção geral em um espaço métrico arbitrário, pode-se consultar o artigo, Kim Sung Soo.[ligação inativa] "Uma Caracterização do Conjunto de Pontos de Continuidade de uma Função Real." American Mathematical Monthly 106.3 (1999): 258-259.[ligação inativa]
Distribuições de probabilidade relacionadas
Distribuições de probabilidade empíricas relacionadas à função de Thomae aparecem no sequenciamento de DNA.[4] O genoma humano é diploide, tendo duas vertentes por cromossomo. Quando sequenciados, pequenos pedaços ("leituras") são gerados: para cada ponto no genoma, um número inteiro de leituras se sobrepõe com ele. A sua razão é um número racional, e normalmente distribuído de forma semelhante à função de Thomae.
Se é feita uma amostragem de pares de inteiros positivos de uma distribuição e eles são usados para gerar quocientes isso dá origem a uma distribuição sobre os números racionais. Se os inteiros são independentes a distribuição pode ser vista como uma convolução sobre os números racionais, Existem formas fechadas para distribuições lei de potência com um cut-off. Se (em que é a função polilogarítmica) então No caso de distribuições uniformes no conjunto que é bastante similar à função de Thomae. Ambos os gráficos possuem dimensão fractal 3/2.
A função régua
Para os inteiros, o expoente da maior potência de 2 que divide resulta em 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, ... (sequência A007814 na OEIS). Se for somado 1, ou se forem removidas as ocorrências de 0, obtém-se 1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1, ... (sequência A001511 na OEIS). Os valores lembram as marcas de uma régua graduada de 1/16, daí o nome. Estes valores correspondem a restrição da função de Thomae aos números racionais cujos denominadores são potências de 2.
Ver também
- Pomar de Euclides – A função de Thomae pode ser interpretada como um desenho em perspectiva do pomar de Euclides.
Notas
- ↑ "…the so-called ruler function, a simple but provocative example that appeared in a work of Johannes Karl Thomae … The graph suggests the vertical markings on a ruler—hence the name."
- ↑ http://mathforum.org/kb/message.jspa?messageID=1375516
- ↑ Spivak, M. (p. 53, Theorem 3-8)
- ↑ 1. PMID 22355706. doi:10.1038/srep00191
Referências
- Bartle, Robert G.; Sherbert, Donald R. (1999). Introduction to Real Analysis 3rd ed. [S.l.]: Wiley. ISBN 978-0-471-32148-4 (Example 5.1.6 (h))
- Spivak, M. (1965). Calculus on manifolds. [S.l.]: Perseus Books. ISBN 0-8053-9021-9
- Abbot, Stephen (2001). Understanding Analysis. Berlin: Springer. ISBN 0-387-95060-5
Ligações externas
- Hazewinkel, Michiel, ed. (2001), «Dirichlet-function», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer
- Weisstein, Eric W. «Dirichlet Function». MathWorld (em inglês)