L'important est qu'il y ait un élément tel que f(f^-1(G)) = G. Mais évidemment je m'expose à de nombreux problèmes...
Bien entendu tu te rend compte que pour que cette egalite veuille dire quelquechose il faut tout d'abord que tu es un modele M de ton noeud tel que pour tout noeud K il existe une modelisation de K m telle que m(K) appartient a {M}.
Ensuite pour que ca veuille dire quelquechose il faut qu'il y ait unicite topologique. A savoir que pour tout T(K) avec T transformation invariante sur un noeud on ait m(T(K)) = m(K). Ca je suis a peu pres sur que ca n'existe pas.
Si tu te moques de l'unicite car tu veux juste une representation quelconque d'un noeud defini (ie un systeme qui pour tout m(K) appartenant a {M} associe un graphe de K) ca doit etre possible. Par contre si tu veux aller dans l'autre sens ca va etre tres dur...
[^] # Re: La réponse est oui
Posté par Jerome Herman . En réponse au journal Bijection entre noeud et graphe. Évalué à 5.
Bien entendu tu te rend compte que pour que cette egalite veuille dire quelquechose il faut tout d'abord que tu es un modele M de ton noeud tel que pour tout noeud K il existe une modelisation de K m telle que m(K) appartient a {M}.
Ensuite pour que ca veuille dire quelquechose il faut qu'il y ait unicite topologique. A savoir que pour tout T(K) avec T transformation invariante sur un noeud on ait m(T(K)) = m(K). Ca je suis a peu pres sur que ca n'existe pas.
Si tu te moques de l'unicite car tu veux juste une representation quelconque d'un noeud defini (ie un systeme qui pour tout m(K) appartenant a {M} associe un graphe de K) ca doit etre possible. Par contre si tu veux aller dans l'autre sens ca va etre tres dur...
Kha