Propri´et´es topologiques de R.
Par Nicolas Lanchier 1
1 Relations d’ordre sur R.
Th´
eor`
eme 1.1 Rest un corps commutatif archim´edien, i.e. pour tous x,yR,x > 0, il
existe un entier n0 tel que nx > y. [4], Sect. 1.8
Proposition 1.2 (Axiome de Cantor) Soit In= [an, bn] une suite d´ecroissante d’inter-
valles r´eels dont la longueur bnantend vers 0. Alors Tn0In={c}o`u cest la limite commune
des suites (an)n0et (bn)n0. [4], Sect. 2.1
Corollaire 1.3 Soient (an)n0une suite croissante et (bn)n0une suite d´ecroissante de r´eels
telle que pour tout n0, anbnet limn→∞ bnan= 0. Alors les suites (an)n0et (bn)n0,
dites adjacentes, convergent vers une limite commune.
D´
efinition 1.4 On appelle coupure de Rtoute partition de Ren deux sous-ensembles Aet
Btels que pour tout aAet tout bB,a < b. [4], Sect. 2.1
Th´
eor`
eme 1.5 Pour toute coupure (A, B) de R, il existe un r´eel cunique tel que pour tout
aAet tout bB,acb. [4], Sect. 2.1
Th´
eor`
eme 1.6 Toute partie non vide major´ee de Radmet une borne sup´erieure. [4], Sect.
2.2
Th´
eor`
eme 1.7 Toute suite croissante major´ee de nombres r´eels converge vers une limite finie.
[4], Sect. 2.3
2 Propri´et´es topologiques de R.
Proposition 2.1 Les parties compactes de Rsont les ferm´es born´es de R.
Th´
eor`
eme 2.2 (Bolzano-Weierstrass) Toute suite born´ee de Radmet une sous-suite
convergente. [3], Sect. 1.3
Th´
eor`
eme 2.3 (Heine) Toute fonction f`a valeurs r´eelles continue sur un intervalle ferm´e
born´e de Rest uniform´ement continue.
Th´
eor`
eme 2.4 Les parties connexes de Rsont les intervalles. [3], Sect. 4.4
Th´
eor`
eme 2.5 (th´
eor`
eme des valeurs interm´
ediaires) Soient IRun intervalle et
f:IRune application continue. Alors f(I) est un intervalle.
Th´
eor`
eme 2.6 Rest complet. En particulier, Rposs`ede la propri´et´e de Baire : toute inter-
section d´enombrable d’ouverts denses de Rest dense dans R. [3], annexe A
Application 2.7 Soit f:RRune fonction d´erivable sur R. Alors l’ensemble des points
de continuit´e de la fonction d´eriv´ee f0est une partie dense de R. [3], annexe A
1Tout usage commercial, en partie ou en totalit´e, de ce document est soumis `a l’autorisation explicite de l’auteur.
3 Sous-ensembles remarquables de R. Cardinalit´e.
D´
efinition 3.1 Soient αRet f:Q[X]Rl’homomorphisme d´efinie par f(x) = xpour
tout xQet f(X) = α. Le r´eel αest dit transcendant si fest injectif, alg´ebrique dans le cas
contraire. [5], Sect. 3.1
Th´
eor`
eme 3.2 L’ensemble des nombres alg´ebriques est un sous-corps de Rcontenant Q.
Th´
eor`
eme 3.3 (nombres de Liouville) Pour toute suite (an)n1⊂ {1,2...9},
a=X
n1
an10n!
est un nombre transcendant. [1], Sect. 4.4
D´
efinition 3.4 (r´
eel constructible) Un r´eel xest dit constructible si le point de coor-
donn´ees (x, 0) est constructible `a la r`egle et au compas. [5], Sect. 3.1
Th´
eor`
eme 3.5 Soient Lun sous-corps de Ret (x, y)L2. Si l’extension QLest normale
de degr´e une puissance de 2 alors le point (x, y) est constructible `a la r`egle et au compas. [2], Ex
4.14
Th´
eor`
eme 3.6 (Dirichlet) Soit xR\Q. Pour tout ε > 0, M1, il existe un nombre
rationnel r=p / q,pq= 1 tel que
xp
q
<ε
qet q > M
En particulier, Qest dense dans R. [6], Sect. 1.4
Th´
eor`
eme 3.7 (ensemble triadique de Cantor) Soient I= [0,1] et (Kn)n0la suite
d´efinie par K0=Iet la relation de r´ecurrence
Kn+1 =[
khak, ak+bkak
3ihak+ 2 bkak
3, bkio`u Kn=[
k
[ak, bk]
Alors l’ensemble triadique de Cantor
K=\
n0
Kn
est un compact de mesure nulle ayant la puissance du continu. [3], Sect. 1.6
R´ef´erences
[1] Jean-Pierre Escofier. Th´eorie de Galois, cours et exercices corrig´es. Dunod, 1997.
[2] Herv´e Francinou, Serge Gianella. Exercices de math´ematiques pour l’agr´egation, alg`ebre 1.
Masson, 1995.
[3] Xavier Gourdon. Les maths en ete. Analyse. Ellipses, 1994.
[4] Jacqueline Lelong-Ferrand, Jean-Marie Arnaudi`es. Cours de Math´ematiques. Tome 2. Ana-
lyse. Dunod, 1996.
[5] Daniel Perrin. Cours d’alg`ebre. Ellipses, 1996.
[6] Alain Pommellet. Agr´egation de math´ematiques. Cours d’analyse. Ellipses, 1994.
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !