2 - Adh´erence dans un espace non-m´etrisable.
Soit El’ensemble des fonctions de Rdans R. Pour x, y, y0∈Rtels que y < y0, on note
Ux,y,y0={f∈E|y < f(x)< y0}.
On note Tla topologie engendr´ee par la famille {Ux,y,y0}x,y,y0∈R, y<y0.
1. Montrer que Tn’est autre que la topologie de la convergence simple : une suite de fonctions (fn)n≥0
converge vers une fonction fpour la topologie Tsi et seulement si (fn)n≥0converge simplement vers f.
2. Soit Fle sous-ensemble de Econstitu´e des fonctions qui sont nulles partout sauf en un nombre fini de
points. D´eterminer l’adh´erence de Fpour la topologie T.
3. Exhiber un ´el´ement de Equi n’est limite d’aucune suite d’´el´ements de F.
Morale. En g´en´eral l’adh´erence d’une partie Fd’un espace topologique n’est pas l’ensemble des limites de
suites d’´el´ements de F.
4. En d´eduire que Tn’est pas m´etrisable.
3 - Probl`eme de Kuratowski.
Soit Aun partie d’un espace topologique X. On consid`ere la suite de parties de X:
A, A, ˚
A, ˚
A, ˚
A, ˚
A, ˚
˚
A, ˚
˚
A, ˚
˚
A, etc.
Combien de termes de cette suite peuvent-ils ˆetre deux `a deux distincts ?
4 - Ensembles d´eriv´es successifs.
Soit Aune partie d’un espace topologique X. Un point d’accumulation de Aest un point x∈Aqui est dans
l’adh´erence de A\ {x}. L’ensemble des points d’accumulation de Aest appel´e ensemble d´eriv´e de Aet not´e
A0. L’ensemble d´eriv´e de l’ensemble d´eriv´e de Aest not´e A”. Etc.
Combien la suite A, A0A00, A000 . . . peut-elle contenir de termes deux `a deux distincts ?
5 - Th´eor`eme de Cantor-Bendixon
Soit Aune partie d’un espace topologique X. On dit qu’un point x∈Xest un point de condensation de A
si, pour tout voisinage Vde x, l’intersection V∩Aest non-d´enombrable. On note A∗l’ensemble des points
de condensation de A.
1. Si Xadmet une base d´enombrable d’ouverts, montrer que A\A∗est d´enombrable. En d´eduire que
A∗=A∗∗.
2. En d´eduire le th´eor`eme de Cantor-Bendixon : tout espace topologique `a base d´enombrable d’ouverts s’´ecrit
comme la r´eunion disjointe de deux sous-ensembles X1et X2, o`u X1est ferm´e sans point isol´e et X2est
d´enombrable.