Correction du DS9

Dans le DS9, au prb 1-c), pour montrer la validité de l'application réciproque, je ne comprends pas pourquoi il suffit de calculer phi-1°phi , et non pas phi°phi-1 et phi-1°phi .

La question précédente montre que phi est bien bijective. Donc la réciproque existe et il suffit de faire un seul des deux tests pour obtenir la formule par unicité.

Si on ne sait rien de l'application il faut faire en effet les deux sens. On en déduit la bijectivité et la formule de la réciproque.