Noeud T(2,3) difféomorphisme à S^1

[Samoth]

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.

[Doraki]

Ton ensemble est littéralement défini comme étant l'image de l'intervalle [0 ; 2pi] par une certaine fonction.
Donc moi à ta place j'essaierais de trouver un lien entre [0 ; 2pi] et le cercle unité pour obtenir presque gratuitement une fonction qui va du cercle dans T(2,3).

[Samoth]

Merci Doraki !
Je manque d'automatismes...

[mathelot]

Bonsoir,
en suivant Doraki, il faudrait déterminer si le paramètrage du trèfle est injectif. Pour cela, déterminer ses points doubles, s'il y en a


https://mathcurve.com/courbes3d/noeuds/ ... efle.shtml

[mathelot]

Autre voie:

Posons


On obtient:




on a donc une application de ) vers donnée par

[tournesol]

Ton calcul est magnifique mais a t on une bijection de R3 vers R2 ?

[mathelot]

ou, tout au moins, une bijection de sur

[Doraki]

ce n'est pas une bijection
(3,0,0), (-3/2,3sqrt(3)/2,0), et (-3/2,-3sqrt(3)/2,0)
sont tous envoyés sur le même point

(A²+B²-5)/4 = 1,
C/2 = 0

(j'ai choisi t=0, t=2pi/3 et t=4pi/3 pour fabriquer ces trois points donc ce n'est pas surprenant)

[mathelot]

Bonsoir,
il faut déterminer si le paramètrage du trèfle est injectif. Pour cela, déterminer ses points doubles, s'il y en a

Après 3 pages de calculs de recherche de points doubles (que je ne reproduirai pas içi), je trouve que le paramètrage est injectif sauf pour le point double donné par les valeurs du paramètre t: et

on a donc:

pour t et t' et

implique