Bonjour,
Je cherche à démontrer que le trèfle est -difféomorphe à .
Le but est donc de trouver un -difféomorphisme de dans , ou inversement, "X est difféomorphe à Y" étant une relation d'équivalence.
Je partirais plutôt sur une application dans , qui à tout élément , associerait un élément .
Soit donc . Il existe donc tel que
Je cherche à montrer la bijectivité de l'application .
Avant cela, comment définir ? ^^
On aurait par exemple, et on pourrait choisir une combinaison astucieuse des trois coordonnées dépendantes de t pour obtenir ?
Bref, pouvez-vous m'aiguiller sur ce genre d'exercices ?
Merci d'avance pour vos indications.