Académique Documents
Professionnel Documents
Culture Documents
On se place dans Rd euclidien canonique. On note B ′ (resp. B) la boule unité fermée (resp. ouverte), et S la
sphère unité de Rd .
Théorème 1 (Brouwer). Soit f : B ′ → B ′ continue. Alors f admet un point fixe.
Lemme 2 (de non-rétraction). Il n’existe pas d’application φ : B ′ → S de classe C 1 telle que φ(x) = x pour
tout x ∈ S.
Preuve. Supposons qu’une telle application φ existe. dφ est alors continue sur le compact B ′ de Rd donc bornée.
Il existe 0 < β < 1 tel que 9dφ(x)9 6 1/β pour tout x ∈ B ′ . Grâce à l’inégalité des accroissements finis, φ est
1/β-lipschitzienne sur B ′ . Soit pour tout t ∈ [0, 1] et tout x ∈ B ′ , φt (x) := (1 − t)x + tφ(x).
t
1. Injectivité de φt . Soient t ∈ [0, β[ et x, y ∈ B tels que φt (x) = φt (y). Alors kx − yk = 1−t kφ(x) − φ(y)k 6
t t
β kx − yk où β < 1, donc x = y. φ t est injective pour tout t ∈ [0, β[.
t
2. Inversibilité de dφt . Soit t ∈ [0, 1[. φt est C 1 sur B et pour tout x ∈ B, dφt (x) = (1 − t)(Id + 1−t dφ(x)).
d d
Comme GL(R ) ∋ Id est ouvert il existe 0 < α < β tel que B(Id, α/β) ⊂ GL(R ). Or pour tout t ∈ [0, α[,
t
9 1−t dφ(x)9 < α β , donc dφt est inversible.
3. Un difféomorphisme de B dans B. Pour t ∈ [0, α[ on déduit donc du théorème d’inversion globale que φt (B)
est ouvert et φt réalise un C 1 -difféomorphisme de B sur φt (B). Or :
φt (B) est un ouvert inclus dans B donc un ouvert de B.
Soit (yn )n∈N ∈ φt (B)N convergeant vers y ∈ B : yn := φt (xn ) où xn ∈ B pour tout n ∈ N. Quitte à
extraire, on peut supposer que (xn )n∈N converge vers un point x ∈ B ′ . Par continuité de φt on a donc
φt (x) = y. Si x ∈ S alors φ(x) = x par hypothèse, donc y = φt (x) = (1 − t)x + tx = x ∈ / B, ce qui est
Références. [CLF]
152 Déterminant. Exemples et applications.
206 Théorèmes de point fixe. Exemples et applications.
214 Théorème d’inversion locale, théorème des fonctions implicites. Exemples et applications.
215 Applications différentiables définies sur un ouvert de Rn . Exemples et applications.
[CLF] Antoine Chambert-Loir et Stefane Fermigier : Analyse 2 : exercices.