Funzione di Thomae
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/15/Thomae_function_%280%2C1%29.svg/220px-Thomae_function_%280%2C1%29.svg.png)
La funzione di Thomae, da Carl Johannes Thomae, ha molti nomi, come la funzione popcorn, la funzione di Dirichlet modificata e la funzione Riemann. Questa funzione a valori reali è definita come
È una variante della funzione di Dirichlet, che vale 1 sui razionali e 0 per gli altri valori.
Discontinuità sui razionali
La funzione popcorn ha un insieme complicato di discontinuità: è continua su tutti i numeri irrazionali e discontinua su tutti i numeri razionali.
La verifica della discontinuità può essere fatta utilizzando la continuità sequenziale, posto e , si costruisce la successione
Essa è tale da verificare le due seguenti proprietà:
E come si vede fornisce un esempio di successione che non rispetta la condizione di continuità sequenziale in quanto. per essa si ha:
Continuità sugli irrazionali
Ricordiamo che, per definizione, una funzione è continua in un punto se:
Sia dunque non è difficile convincersi che la seguente definizione di intorno risolve il problema:
Si osservi che, con questa definizione, si devono provare concettualmente tutti gli infiniti numeri della retta reale, selezionare gli infiniti candidati idonei e, successivamente selezionare tra gli infiniti candidati quell'unico che rende vera la condizione di minimo.
Tutto ciò è fattibile utilizzando l'assioma della scelta ma il ricorso a tale assioma non è strettamente necessario.
Diamo anche la seguente definizione costruttiva: questo significa che descriveremo un procedimento che, assegnati e , consente con un numero finito di passaggi, di esibire un che verifichi la relazione sopra.
Per prima cosa conviene definire l'intero non negativo:
dove con il simbolo si indica la funzione parte intera. Definiamo allora il seguente sottoinsieme sui razionali:
cioè l'insieme di tutte le frazioni minori di 1 con denominatore non più grande di . Non è difficile dimostrare che tale insieme è finito, partendo da esso possiamo definire:
che è equivalente alla definizione data prima con l'assioma della scelta ma, richiedendo stavolta un numero finito di controlli per essere determinata, è costruttiva.
Integrabilità
Contrariamente alla funzione indicatrice dei numeri razionali in , la funzione di Thomae risulta Riemann-integrabile su tale intervallo e con integrale nullo. Preso infatti un numero naturale e considerati i numeri razionali con e , gli intervalli chiusi centrati in e aventi raggio ricoprono . Tali intervalli possono essere opportunamente ristretti in modo da produrre una partizione di in intervalli di ampiezza , e la somma di Riemann superiore associata a tale partizione è limitata da
che è una quantità convergente a zero per .
Altro
Il grafico della funzione di Thomae presenta una dimensione frattale di 3/2.
Bibliografia
- (EN) Robert G. Bartle and Donald R. Sherbert (1999), Introduction to Real Analysis, 3rd Edition (Example 5.1.6 (h)). Wiley. ISBN 978-0-471-32148-4
- (EN) Spivak, M. Calculus on manifolds. 1965. Perseus Books. ISBN 0-8053-9021-9
- (EN) Abbot, Stephen. Understanding Analysis. Berlin: Springer, 2001. ISBN 0-387-95060-5
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file sulla funzione di Thomae
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)