Scribd
Importer
83 vues2 pages

Thomae

La fonction de Thomae est définie sur les réels, prenant la valeur 0 pour les irrationnels et 1/q pour les rationnels sous forme p/q, avec p et q copremiers. Elle est discontinue en tout rationnel et continue en tout irrationnel, comme démontré par des arguments de densité et de limites. La fonction est également périodique avec une période de 1.

Transféré par

Eliza Faure
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
83 vues2 pages

Thomae

La fonction de Thomae est définie sur les réels, prenant la valeur 0 pour les irrationnels et 1/q pour les rationnels sous forme p/q, avec p et q copremiers. Elle est discontinue en tout rationnel et continue en tout irrationnel, comme démontré par des arguments de densité et de limites. La fonction est également périodique avec une période de 1.

Transféré par

Eliza Faure
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

La fonction de Thomae

Marc Lorenzi

30 novembre 2021

Soit f : R → R définie pour tout réel x comme suit.


• Si x est irrationnel, f (x) = 0.
p
• Sinon, x s’écrit de façon unique x = q où p ∈ Z, q ∈ N∗ et p ∧ q = 1, et
on pose f (x) = 1q .
La fonction f est périodique, de période 1. Voici la courbe de f sur l’intervalle
[0, 1].

p
Dorénavant, quand nous dirons « le rationnel q », nous supposerons implicite-
ment que p ∈ Z, q ∈ N∗ , et p ∧ q = 1.

1. Disontinuité en les rationnels

Proposition 1. f est discontinue en tout rationnel.

Démonstration. Soit x ∈ Q. Par la densité de R \ Q dans R, il existe une suite


(xn )n≥0 d’irrationnels qui tend vers x. On a alors pour tout n ∈ N, f (xn ) = 0.
Ainsi, f (xn ) tend vers 0 lorsque n tend vers l’infini, donc f (xn ) ne tend pas
vers f (x). Par le théorème de caractérisation séquentielle des limites, f n’est
pas continue en x. 

1
2. Continuité en les irrationnels

Proposition 2. f est continue en tout irrationnel.

Démonstration. Soit x un irrationnel. Soit ε > 0. Soit un entier Q ≥ 1 tel


1
que 0 < Q ≤ ε. Considérons l’ensemble
 
p
A= r = ∈ Q, q ≤ Q, |r − x| ≤ 1
q

L’ensemble A est un ensemble fini. En effet, pour chaque entier 1 ≤ q ≤ Q,


p
q ∈ A si et seulement si
p
x−1≤ ≤x+1
q
ou encore
−q(x − 1) ≤ p ≤ q(x + 1)
et il y a un nombre fini d’entiers naturels p vérifiant cette double inégalité.
Écrivons donc
A = {r1 , . . . , rN }
où N est le cardinal de A.
Soit
1
δ= min(1, |x − r1 |, . . . , |x − rN |)
2
Remarquons que, comme x est irrationnel, aucun des ri n’est égal à x et donc
δ > 0. Soit y ∈ R tel que |y − x| ≤ δ.
• Si y est irrationnel, alors |f (y) − f (x)| = |0 − 0| = 0 ≤ ε.
• Sinon, posons y = pq . y n’est pas l’un des ri , donc y 6∈ A. Cependant,
|y − x| ≤ 1, donc q > Q. En conséquence,
1 1
|f (y) − f (x)| = < ≤ε
q Q


Vous aimerez peut-être aussi