Академический Документы
Профессиональный Документы
Культура Документы
EXERCICES
25
Ceci prouve que f (x ) = limyx f (y). (On rappelle que y x signifie y x avec
y < x.) On a ainsi montr que f admet une limite gauche en x et cette limite note
f (x ) vrifie f (x ) f (x).
De manire analogue on montre que f admet une limite droite en x et cette limite
note f (x+ ) vrifie f (x) f (x+ ). Le nombre rel f (x+ ) est la borne infrieure de
lensemble {f (y), y > x} (cet ensemble est minor par f (x)).
26
Pour conclure on donne maintenant une dmonstration du fait quune union dnombrable densembles au plus dnombrables est au plus dnombrable.
Soit E un ensemble et (Bn )nN une suite de parties de E. Pour tout n N, on suppose
que lensemble Bn est au plus dnombrable. On pose B = nN Bn . Comme Bn est au
plus dnombrable, il existe une application injective n de Bn dans N. Pour x B,
on dfinit (x) N en posant
nx = min{n, x Bn } et (x) = 2nx 3nx (x) .
Il est facile de voir de est injective (car 2 et 3 sont des nombres premiers et
donc (x) = (y) implique nx = ny , on en dduit que x = y car nx est injective).
Lapplication est donc injective de B dans N, ce qui prouve que B est au plus
dnombrable.
134
162
pN nN i=n j=i+1
Comme |fj fi |1 (] p1 , +[) T (car les fk sont mesurables), les proprits de stabilit
de T par union et intersection dnombrable donnent que A T.