Aller au contenu

Théorème de sélection de Michael

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le théorème de sélection de Michael, est un théorème d'analyse fonctionnelle démontré en 1956 par Ernest Michael (en)[1],[2]. Il s'énonce comme suit :

Si X est un espace paracompact alors, toute multifonction hémicontinue inférieurement Γ, de X dans un espace de Banach E et à valeurs des convexes fermées non vides, possède une « sélection » continue, c'est-à-dire qu'il existe une application continue f : XE telle que pour tout x de X, f(x) appartienne à Γ(x).

Michael a aussi démontré la réciproque, si bien que cette propriété caractérise les espaces paracompacts (parmi les espaces séparés).

Démonstration

[modifier | modifier le code]

Soit d la distance associée à la norme sur E. On construit par récurrence une suite de fonctions continues fn vérifiant, pour tout entier naturel n et tout x dans X : d(fn(x), Γ(x)) < 2n et d(fn+1(x), fn(x)) < 3.2n–1. Le lemme ci-dessous permet en effet de construire une fonction f0 à distance constamment < 1 de φ0 := Γ puis, pour tout n > 0, une fonction fn à distance constamment < 2n de φn := Γ∩B(fn–1, 2n+1). La limite uniforme des fn constitue alors une sélection continue pour Γ.

Lemme — Soient X un espace paracompact, V un espace vectoriel normé et φ : XV une multifonction hémicontinue inférieurement, à valeurs convexes non vides. Pour tout r > 0, la multifonction B(φ, r) : x ↦ { yY | d(y, φ(x)) < r } possède une sélection continue.

Ce lemme est un cas particulier du théorème suivant.

Théorème de sélection de Browder

[modifier | modifier le code]

Théorème[3] — Soient X un espace paracompact et Y un espace vectoriel topologique. Toute multifonction ψ : XY à valeurs convexes non vides et à valeurs inverses ouvertes possède une sélection continue.

Théorème de Bartle-Graves

[modifier | modifier le code]

Un corollaire du théorème de sélection de Michael est le théorème de Bartle-Graves[4] :

Théorème — Toute surjection linéaire continue d'un espace de Banach dans un autre possède une section continue[5].

Notes et références

[modifier | modifier le code]
  1. (en) E. Michael, « Continuous selections. I », Ann. Math., 2e série, vol. 63, no 2,‎ , p. 361-382 (lire en ligne).
  2. (en) E. Michael, « Selected Selection Theorems », Amer. Math. Monthly, vol. 63, no 4,‎ , p. 233-238 (lire en ligne).
  3. (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, , 3e éd. (1re éd. 1994), 704 p. (ISBN 978-3-540-32696-0, lire en ligne), chap. 17.11 (« Continuous selectors »), p. 587 supposent inutilement que Y est séparé.
  4. (en) Ward Cheney (en), Analysis for Applied Mathematics, Springer, coll. « GTM » (no 208), , 448 p. (ISBN 978-0-387-95279-6, lire en ligne), p. 342.
  5. Mais pas nécessairement linéaire : cf. Supplémentaire topologique.

Articles connexes

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]

(en) Heikki Junnila, A Second Course in General Topology, 2007-8/2014, chap. III, § 3 : Partitions of unity et § 4 : Continuous selections

Bibliographie

[modifier | modifier le code]