a écrit :je ne sais pas mais si je lis wiki (via le monde, je trouve :l
a écrit :
Considérons une variété compacte V à 3 dimensions sans frontière. Est-il possible que le groupe fondamental de V soit trivial bien que V ne soit pas homéomorphe à une sphère de dimension 3 ?
la question est de savoir si toute 3-variété fermée, simplement connexe et sans frontière est homéomorphe à une sphère
alors soit les mathématiciens sont des sortes de philosophes français pratiquant volontairement l'hermétisme pour cacher leur grande ignorance; soit c'est plus compliqué que ce que propose pelon -et les autres.. Personnelement, je pencherais pour la seconde hypothese....
Disons que Pelon a donné une version "vulgarisée" de l'énoncé. Mais effectivement, l'énoncé que tu donnes toi est le véritable. La "traduction" utilisée par Pelon est la suivante:
-espace tridimensionel = Variété à 3 dimensions (essentiellement un truc sur lequel on a une bonne notion de fonction continue, i. e. on peut tracer des courbes continues, et qui ressemble localement à R^3, l'espace à 3 dimensions classique)
-fermé = compacte sans bord (compacte est une notion précise qu'on peut imaginer comme "pas infini" ici, et "sans bord" est conforme à l'intuition: on peut toujours alller un peu autour de n'importe quel point)
-dépourvu de trou = de groupe fondamental trivial (le groupe fondamental mesure les courbes fermées qu'on peut dessiner sur l'objet et qu'on ne peut pas continûment déformer en un point. Dire qu'il est trivial est dire qu'on peut déformer peu à peu toute boucle tracée sur l'objet, tout en restant dans l'objet, jusqu'à ce que cette courbe soit un point. Ce n'est pas le cas sur la surface d'un pneu de vélo, pour donner une idée).
-"la sphère est le seul" = toute variété satisfaisant les hypothèses précédentes est homéomorphe à la sphère S3, c'est à dire qu'il y a une fonction continue bijective dont l'inverse est continue de la sphère vers la variété (en gros, toute la structure de nature "géométrique à déformation près" des deux objets est la même, par exemple un ballon de rugby est homéomorphe à une sphère, mais pas la surface d'un pneu).
a écrit :
D'abord parce que ça se passe dans l'univers des média Puis que que de toute façon, nous sommes bien incapable de pouvoir juger nous meme de la qualité ou pas du travail de ce mathématicien (qui souligne lui meme la difficulté de la tache, j'espére que je vais retrouver tout ça)
Bien sûr, c'est toujours difficile de se faire une idée de ce qui est dûr en mathématiques. Toutefois, ce qui peut donner une idée, c'est que cette conjecture à en gros 100 ans, et que personne n'avait réussi à la démontrer avant. De plus, Poincaré, l'auteur de la conjecture, un des plus grands mathématiciens, avait publié une preuve fausse (avant de s'en apercevoir lui-même plus tard). Cela montre tout de même que ce n'est pas évident. Par ailleurs, si on oublie l'histoire de la conjecture et qu'on se concentre sur son énoncé, ce qui est très fort, c'est qu'en dehors des hypothèses qui sont un peu cosmétiques (compacte sans bord), la dernière (groupe fondamental trivial) montre toute l'étendue de la difficulté: elle dit qu'un groupe (c'est-à-dire un truc algébrique associé à l'objet, ex: le groupe fondamental du cercle est Z, l'ensemble des entiers naturels) code en fait toute l'information "géométrique" (topologique, dans le vocabulaire précis). C'est très fort.