Passage du local au global
From Wikipedia, the free encyclopedia
En mathématiques, et plus particulièrement en topologie, en analyse et en géométrie différentielle, le passage du local au global désigne toute démonstration dont les hypothèses portent sur des objets de nature locale et dont les conclusions portent sur des objets de nature globale.
- Toute fonction localement constante sur un espace connexe est constante.
- Toute fonction à valeurs réelles localement bornée sur un espace dénombrablement compact est bornée[1] et atteint automatiquement sa borne supérieure M (sinon, la fonction 1/(M – f) serait localement bornée et non bornée) et, de même, sa borne inférieure. (C'est une variante du théorème des bornes atteintes.)
