Théorèmes

Théorème de la Suspension de Freudenthal Contexte : Suspension et Groupes d’Homotopie Ce théorème relie les invariants topologiques d’un espace $X$ à ceux d’un nouvel espace, sa suspension $SX$. Les groupes d’homotopie supérieurs $\pi_k(X)$ sont des généralisations du groupe fondamental. Ils classifient les différentes manières d’envoyer une sphère de dimension $k$ dans l’espace $X$. La…

Théorème du point fixe de Lefschetz Contexte : Le Nombre de Lefschetz Le théorème de Brouwer garantit l’existence d’un point fixe, mais ne dit rien sur leur nombre. Le théorème de Lefschetz va plus loin en introduisant un nombre, calculé via l’homologie, qui « compte » les points fixes d’une manière algébrique. Une fonction continue $f: X…

Théorème d’Hurewicz Contexte : Homotopie et Homologie Pour comprendre le théorème d’Hurewicz, il faut d’abord saisir l’idée de deux manières différentes d’étudier la « forme » des espaces topologiques. Les groupes d’homotopie ($\pi_n(X)$) classifient les différentes façons d’appliquer une n-sphère dans un espace $X$. Ils sont très puissants pour capturer la structure fine d’un espace, mais sont…

Théorème de Seifert-Van Kampen Contexte : « Diviser pour Régner » en Topologie Le groupe fondamental, noté $\pi_1(X)$, est un invariant algébrique qui capture l’information sur les « boucles » ou les « trous » d’un espace topologique $X$. Le calculer directement est souvent très difficile. Le théorème de Seifert-Van Kampen fournit une méthode de « diviser pour régner » : il permet…

Théorème de Jordan-Brouwer Contexte : Séparation de l’Espace Ce théorème est une généralisation puissante du théorème de la courbe de Jordan. Le théorème de Jordan (en 2D) affirme qu’une simple boucle fermée dans un plan (un « cercle déformé ») le divise en exactement deux régions : un « intérieur » borné et un « extérieur » non borné. La question…

Théorème de Borsuk-Ulam Contexte : Sphères et Points Antipodaux Ce théorème concerne les applications continues depuis une sphère vers un espace de dimension inférieure. Une n-sphère, notée $S^n$, est la généralisation d’une sphère en dimension supérieure. Par exemple, $S^1$ est un cercle et $S^2$ est la surface d’une sphère ordinaire dans notre espace à 3…

Théorème du point fixe de Brouwer Contexte : Point Fixe et Continuité En topologie, un point fixe d’une fonction $f$ est un point $x$ qui est sa propre image par cette fonction, c’est-à-dire qui vérifie $f(x) = x$. Le théorème de Brouwer s’intéresse à l’existence de tels points pour des fonctions continues définies sur des…

Théorème de Baire sur les espaces compacts Contexte : Ensembles « Maigres » et « Gros » Le théorème de Baire est une façon de formaliser l’idée qu’un espace « complet » (comme un espace compact ou un espace métrique complet) ne peut pas être « trop petit ». Un sous-ensemble est dit d’intérieur vide (ou rare) s’il ne contient aucune boule ouverte,…

Théorème Fondamental de l’Algèbre Contexte : Les Racines des Polynômes Une question centrale en algèbre est de savoir si une équation polynomiale a toujours une solution (une « racine »). Un polynôme est une expression de la forme $P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_1 z + a_0$. Dans l’ensemble des nombres réels…

Théorème de la sous-base d’Alexander Contexte : Rappel sur la compacité et les sous-bases Le théorème de la sous-base d’Alexander est un résultat majeur en topologie générale, qui offre une condition équivalente à la compacité. Pour le comprendre, il est essentiel de se rappeler de deux concepts clés : La compacité d’un espace topologique $X$…