COMPORTEMENT EN L’INFINI D’UNE FONCTION INT´
EGRABLE 3
D’o`u
|Fn| ≤
[n/a]
X
m=n
1
m|En| ≤ |En|(ln(n/a)−ln(n−1)) ≤ |En|(1 + |ln a|).
On en d´eduit que Pn|Fn|<+∞.
Cela entraˆıne que presque tout xn’appartient qu’`a un nombre fini des Fn.
(C’est le Lemme de Borel-Cantelli, qui se d´emontre d’une ligne :
PFn<+∞presque partout puisque
ZXFn(x) dx=XZFn(x)<+∞.)
Ainsi, pour presque tout x∈[a, 1], il existe n0=n0(x)>0 tel que si n≥n0
alors x /∈Fn. Dire que xn’est pas dans Fn, c’est dire que, pour tout m≥1,
mx /∈En.
De plus, pour tout n > n0/x, on a nx /∈ ∪n0
n=2En.
On peut conclure que, pour tout m > n0/x,mx /∈E.
Ce fait s’applique `a presque tout x∈[a, 1], donc en fait `a presque tout
x∈[0,1].
Nous avons d´emontr´e que, pour tout ε > 0, pour presque tout x∈[0,1],
pour tout nassez grand, |f(nx)| ≤ ε. Puisqu’il suffit de consid´erer une
famille d´enombrable de ε, on peut intervertir pour tout ε > 0 et pour presque
tout x∈[0,1], ce qui donne la conclusion attendue.
D´emonstration de la proposition 2. Nous utiliserons le th´eor`eme suivant,
r´esultat fondamental de la th´eorie m´etrique de l’approximation diophanti-
enne dˆu `a Khinchine1.
Th´eor`eme. Soit (bn)une suite de nombres r´eels positifs telle que la suite
(nbn)soit d´ecroissante et la s´erie Pnbndiverge. Pour presque tout nombre
r´eel x, il existe une infinit´e de nombres entiers ntels que dist(nx, Z)≤bn.
Nous utiliserons ´egalement le lemme suivant (dont une d´emonstration est
donn´ee dans la suite).
Lemme 1. Soit (cn)une suite de nombres r´eels qui tend vers z´ero. Il existe
une suite de nombres r´eels positifs (bn)telle que
la suite (nbn)est d´ecroissante, X
n
bn= +∞et X
n
bncn<+∞.
Venons en `a la d´emonstration de la proposition 2.
Quitte `a remplacer anpar infk≥nak, on peut supposer que la suite (an)
est croissante. En appliquant le lemme pr´ec´edent `a la suite cn= 1/√an,
1Th´eor`eme 32 dans le livre : A.Ya. Khinichine, Continued Fractions, ´edition originale
russe 1935, traduction anglaise publi´ee par University of Chicago Press en 1961, r´e´edit´e
par Dover en 1997.