Conjecture de Poincaré
La conjecture de Poincaré est une question sur les sphères des mathématiques. Elle porte le nom d'Henri Poincaré, le mathématicien et physicien français qui l'a formulée en 1904.
La sphère (également appelée "2-sphère", car il s'agit d'une surface bidimensionnelle, bien qu'elle soit généralement considérée comme se trouvant dans un espace tridimensionnel) a la propriété que toute boucle sur elle peut être contractée en un point (si un élastique est enroulé autour de la sphère, il est possible de la faire glisser jusqu'à un point). Les mathématiciens disent que la 2-sphère est simplement connectée. D'autres espaces n'ont pas cette propriété, par exemple le beignet : un élastique qui entoure une fois tout le beignet ne peut pas être glissé vers le bas jusqu'à un point sans qu'il ne quitte la surface.
Les mathématiciens savaient que cette propriété était unique à la 2-sphère, dans le sens où tout autre espace simplement connecté qui n'a pas de bords et qui est assez petit (en termes de mathématiciens, c'est-à-dire compact) est en fait la 2-sphère. Mais ce n'est plus vrai si l'on supprime l'idée de petitesse, car un plan infiniment grand est aussi simplement connecté. De même, un disque régulier (un cercle et son intérieur) est simplement connecté, mais il a un bord (le cercle de délimitation).
La conjecture demande s'il en va de même pour la 3-sphère, qui est un objet vivant naturellement en quatre dimensions. Cette question a motivé une grande partie des mathématiques modernes, en particulier dans le domaine de la topologie. La question a finalement été réglée en 2002 par Grigori Perelman, un mathématicien russe, avec des méthodes issues de la géométrie, montrant qu'elle est bien vraie. Il a reçu une médaille Fields et le prix du millénaire d'un million de dollars pour ses travaux, qu'il a tous deux déclinés.
La conjecture de Poincaré peut également être étendue à des dimensions supérieures : c'est la conjecture de Poincaré généralisée. Étonnamment, il a été plus facile de prouver le fait pour les sphères de dimensions supérieures : en 1960, Smale l'a prouvé pour la 5ème sphère, la 6ème sphère et les suivantes. En 1982, Freedman a prouvé que c'était également vrai pour la 4ème sphère, pour laquelle il a reçu une médaille Fields.
Questions et réponses
Q : Qu'est-ce que la conjecture de Poincaré ?
R : La conjecture de Poincaré est une question mathématique sur les sphères, nommée d'après Henri Poincaré, qui demande si certaines propriétés de la sphère 2 sont également vraies pour la sphère 3.
Q : Quelle est la propriété de la sphère 2 ?
R : La sphère 2 a la propriété que toute boucle sur elle peut être contractée en un point.
Q : Cette propriété est-elle propre à la sphère 2 ?
R : Cette propriété est propre à la sphère 2 en termes de petits espaces dépourvus d'arêtes. Cependant, un plan infiniment grand et un disque régulier (un cercle et son intérieur) sont tous deux simplement connectés mais ils ont des bords.
Q : Qui a prouvé que c'était vrai pour les sphères de dimension supérieure ?
R : En 1960, Smale a prouvé que c'était vrai pour les sphères à 5, 6 et plus, et en 1982, Freedman a prouvé que c'était aussi vrai pour les sphères à 4 dimensions.
Q : Qui a résolu la conjecture de Poincaré ?
R : La conjecture de Poincaré a été résolue par Grigori Perelman, un mathématicien russe qui a utilisé des méthodes géométriques pour montrer qu'elle est effectivement vraie.
Q : Quelles récompenses Perelman a-t-il reçues pour ses travaux ?
R : Perelman a reçu une médaille Fields et un prix du millénaire d'un million de dollars pour ses travaux sur la résolution de la conjecture de Poincaré, mais il a refusé les deux prix.
