Contexte : Développer $(a+b)^n$ Le théorème du binôme de Newton fournit une formule générale pour développer l’expression $(a+b)^n$ pour n’importe quel entier $n \ge 0$. Pour $n=2$, on connaît l’identité remarquable : $(a+b)^2 = a^2…
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…
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…
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…
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…
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…
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,…
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…
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)…
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…