Théorème de sélection approchée

En mathématiques et plus précisément en analyse fonctionnelle, les théorèmes de sélection approchée permettent d'approcher, en un certain sens, une multifonction hémicontinue à valeurs convexes par une fonction continue. Alors que pour une multifonction hémicontinue inférieurement, le théorème de sélection de Michael et celui de Browder fournissent des sélections « exactes », dans le cas d'une multifonction hémicontinue supérieurement, on doit se contenter de telles approximations. Ces théorèmes ont de nombreuses applications en théorie des jeux et en économie, via des théorèmes de point fixe comme celui de Kakutani.

Théorème de Cellina modifier

Soient E un compact de m et Γ une multifonction hémicontinue supérieurement de E dans ℝk, à valeurs compactes convexes non vides. On peut utiliser le théorème de Carathéodory pour prouver[1],[2] que pour tout ε > 0, il existe δ > 0 tel que le graphe de la multifonction Γδ suivante soit inclus dans le ε-voisinage de celui de Γ :

Co( ) désigne l'enveloppe convexe.

De plus, Γδ est hémicontinue inférieurement[2]. On peut donc lui appliquer le théorème de sélection de Michael et en déduire une fonction continue dont le graphe est, lui aussi, ε-proche de celui de Γ, ou plus simplement, utiliser le même lemme que ce théorème et en déduire une fonction continue dont le graphe est 2ε-proche de celui de Γ.

Plus généralement (en dimension quelconque et sans hypothèses de compacité) :

Théorème[3] — Soient X un espace métrique, Y un espace vectoriel normé et Γ une multifonction hémicontinue supérieurement de X dans Y, à valeurs convexes non vides. Pour tout ε > 0, il existe une application continue f : XY telle que pour tout point x de X, il existe un point z de X tel que d(x, z) < ε et d(f(x), Γ(z)) < ε.

Théorème de Repovš-Semenov-Ščepin modifier

On peut même supposer que X est seulement paracompact et que Y est un espace vectoriel topologique quelconque. Dans ce contexte, la précision de l'approximation d'un sous-ensemble G de X×Y par un autre, F, ne s'exprime plus en termes d'un ε > 0 mais d'un recouvrement U = (Ui)iI de X et d'un voisinage V de 0 dans Y : on dit que F est une U×V-approximation de G si pour tout point de F, il existe un point de G qui appartient à une même partie du recouvrement (Ui×(y + V))iI, yY de X×Y. Le théorème ci-dessus se généralise alors ainsi :

Théorème[4] — Soient X un espace paracompact, Y un espace topologique et Γ une multifonction hémicontinue supérieurement de X dans Y, à valeurs convexes non vides. Pour tout recouvrement ouvert U de X et tout voisinage convexe V de 0 dans Y, il existe une application continue f : XY dont le graphe est une U×V-approximation de celui de Γ, et dont l'image est incluse dans l'enveloppe convexe de l'image de Γ.

Si X est compact, f peut de plus être choisie à valeurs dans un sous-espace vectoriel de dimension finie de Y.

Démonstration modifier

Par hémicontinuité, pour tout point x de X, il existe un ouvert U(x), contenant x et inclus dans l'un des Ui du recouvrement U, tel que pour tout z de cet ouvert, Γ(z) ⊂ Γ(x) + V.

Par paracompacité, il existe une partition de l'unité (localement finie) — ou même finie si X est compact — (ϕj)jJ telle que pour tout z, les supports des ϕj qui contiennent z sont tous inclus dans un même U(x).

En choisissant, pour tout j, un xj dans le support de ϕj puis un yj dans Γ(xj), la fonction suivante est une solution :

Notes et références modifier

  1. (en) Kim C. Border, Fixed Point Theorems with Applications to Economics and Game Theory, CUP, , 129 p. (ISBN 978-0-521-38808-5, lire en ligne), chap. 13 (« Approximation of correspondences »), p. 67.
  2. a et b (en) Efe A. Ok, Real Analysis with Economics Applications, PUP, , 802 p. (ISBN 978-0-691-11768-3, lire en ligne), chap. E.5.3 (« Continuity II — Proof of Kakutani's Fixed Point Theorem »), Exercise 66.
  3. Mentionné dans l'introduction de (en) Dušan Repovš, Pavel V. Semenov et Evgenij V. Ščepin, « Approximations of Upper Semicontinuous Maps on Paracompact Spaces », Rocky Mountain J. Math., vol. 28, no 3,‎ , p. 1089-1101 (lire en ligne) (Theorem 1.1), avec comme références :
    • (en) Jean-Pierre Aubin et Arrigo Cellina, Differential Inclusions, Grundl. der Math. Wiss., vol. 264, Springer, 1984,
    • (en) Hichem Ben-El-Mechaiekh et Paul Deguire, « Approachability and fixed points for nonconvex set-valued maps », J. Math. Anal. Appl., vol. 170, no 2,‎ , p. 477-500 (DOI 10.1016/0022-247X(92)90032-9),
    • (ru) Yu. G. Borisovič, B. D. Gel'man, Anatolij Dimitrievič Myškis et V. V. Obuhovskij, Introduction to the Theory of Multivalued Mappings, Voronež, Izdatel'stvo VGU, ,
    • (en) Arrigo Cellina, « A theorem on the approximation of compact multivalued mappings », Atti Accad. Naz. Lincei, vol. 8, no 47,‎ , p. 149-153 (1970, p. 429-433) et
    • (en) Andrzej Lasota (pl) et Zdzisław Opial (pl), « An approximation theorem for multivalued mappings », Podstawy Sterowania, vol. 1,‎ , p. 71-75.
  4. Repovš, Semenov et Ščepin 1998, Theorem 1.3.