Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Sphère exotiqueEn mathématiques, et plus précisément en topologie différentielle, une sphère exotique est une variété différentielle M qui est homéomorphe, mais non difféomorphe, à la n-sphère euclidienne standard. Autrement dit, M est une sphère du point de vue de ses propriétés topologiques, mais sa structure différentielle (qui définit, par exemple, la notion de vecteur tangent) n'est pas la structure usuelle, d'où l'adjectif « exotique ». La n-sphère unité, Sn, est l'ensemble de tous les n+1-uplets (x1, x2, ...
Groupe d'homotopieEn mathématiques, et plus particulièrement en topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures. Il y a plusieurs définitions équivalentes possibles. Première définition Soit X un espace topologique et un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension . Le i-ième groupe d'homotopie supérieur est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .
Conjecture de PoincaréLa conjecture de Poincaré est une conjecture mathématique du domaine de la topologie algébrique portant sur la caractérisation d'une variété particulière, la sphère de dimension trois ; elle fut démontrée en 2003 par le Russe Grigori Perelman. On peut ainsi également l'appeler théorème de Perelman. Elle faisait jusqu'alors partie des problèmes de Smale et des sept « problèmes du prix du millénaire » recensés et mis à prix en 2000 par l'Institut de mathématiques Clay.
