Passage du local au global

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.)

• Une fonction complexe holomorphe sur un ouvert connexe de ℂⁿ, nulle au voisinage d'un point est identiquement nulle (Voir Théorème des zéros isolés).
• Une fonction complexe holomorphe sur une variété complexe compacte est constante.

Principe local-global

• Portail des mathématiques