Théorèmes

Théorème de prolongement de Tietze Contexte : Le Problème du Prolongement Le théorème de prolongement de Tietze, souvent appelé simplement théorème de Tietze-Urysohn, est un résultat fondamental en topologie générale. Il répond à une question simple mais puissante : est-il possible d’étendre une fonction continue définie sur une partie d’un espace topologique à l’espace entier,…

Théorème de Tychonoff Contexte : Produit d’Espaces et Compacité Ce théorème répond à une question fondamentale en topologie : la compacité est-elle préservée par le produit ? La compacité est une généralisation de la notion d’être « fermé et borné » dans $\mathbb{R}^n$. C’est une propriété topologique extrêmement forte et désirable, qui garantit par exemple que toute…

Lemme d’Urysohn Contexte : L’Espace Normal Le lemme d’Urysohn est un résultat clé de la topologie générale. Il établit une propriété fondamentale des espaces topologiques dits « normaux ». Un espace topologique est un ensemble muni d’une structure qui permet de définir des notions comme la proximité, la convergence ou la continuité. Un espace normal est un…

Théorème de la boule chevelue Contexte : Le Champ de Vecteurs Le théorème de la boule chevelue est un résultat de la topologie différentielle. Son nom vient d’une image simple : il est impossible de « peigner » une boule chevelue sans qu’il y ait un point où le cheveu se dresse. Une boule chevelue est une…

Théorème de Poincaré-Hopf Contexte : Champs de Vecteurs et Singularités Ce théorème établit un lien profond entre l’analyse locale d’un champ de vecteurs et la topologie globale de la surface sur laquelle il est défini. Un champ de vecteurs sur une surface est une fonction qui associe à chaque point de la surface un vecteur…

Théorème de Stokes Contexte : Le Calcul Vectoriel Le théorème de Stokes est un résultat fondamental du calcul vectoriel qui relie une intégrale de surface à une intégrale de ligne. Le rotationnel (ou courbure) d’un champ de vecteurs, noté $\nabla \times \mathbf{F}$, est un champ de vecteurs qui mesure la tendance d’un champ à « tourner »…

Théorème de Frobenius Contexte : Les Algèbres à Division Ce théorème classifie toutes les structures algébriques qui se comportent « bien » par rapport à la division. Une algèbre sur les nombres réels est un espace vectoriel où l’on a en plus défini une multiplication entre les vecteurs, qui est distributive par rapport à l’addition. Une algèbre…

Theorema Egregium de Gauss Contexte : La Géométrie Différentielle Le Theorema Egregium, ou « théorème remarquable », est un résultat central de la géométrie différentielle. Il concerne la courbure de Gauss d’une surface dans l’espace. La géométrie différentielle est la branche des mathématiques qui étudie les formes et les espaces à l’aide des outils du calcul différentiel….

Théorème de Gauss-Bonnet Contexte : Géométrie vs Topologie Ce théorème relie deux concepts qui semblent a priori très différents : La Géométrie, qui s’intéresse aux notions de distance, d’angle, de courbure. C’est une propriété « locale » et « rigide » d’un objet. La courbure de Gauss ($K$) en un point d’une surface mesure à quel point la surface…

Théorème de Brianchon Contexte : Coniques et Hexagones Le théorème de Brianchon est un résultat fondamental de la géométrie projective, qui est le dual du célèbre théorème de Pascal. Une conique est une courbe obtenue par l’intersection d’un cône avec un plan (cercle, ellipse, parabole ou hyperbole). Un hexagone est une figure à six sommets…