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,y∈R,x > 0, il
existe un entier n≥0 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 bn−antend vers 0. Alors Tn≥0In={c}o`u cest la limite commune
des suites (an)n≥0et (bn)n≥0. [4], Sect. 2.1
Corollaire 1.3 — Soient (an)n≥0une suite croissante et (bn)n≥0une suite d´ecroissante de r´eels
telle que pour tout n≥0, an≥bnet limn→∞ bn−an= 0. Alors les suites (an)n≥0et (bn)n≥0,
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 a∈Aet tout b∈B,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
a∈Aet tout b∈B,a≤c≤b. [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 I⊂Run intervalle et
f:I−→ Rune 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:R−→ Rune 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.