bonsoir
donne toujours ton idée !

Ben je comptais m'aider de :
g-1 comme g est bijective et composer par g-1 (gOf) pour n'avoir plus que f ...
et comme g est surjective ...
Mais j'ai du mal à trouver l'autre partie de l'égalité... C'est trop flou :s :s
Je sais pas si je dois partir d'un couple (x1;x2) ou partir de gOf ?!

Trop de choses qui se mélangent ^^

Bonsoir ;

Soit comme gof est supposée surjective l'élément de admet au moins un antécédent par

d'où ou encore et comme g est injective (voir même bijective) on a le résultat souhaité _{sauf erreur bien entendu}

ben une composée de surjections est une surjection...

donc g^-1 o g o f est surjective... et c'est f !
cqfd non ?

mm

OUAI !!!!
Bien joué !

Franchement, jusqu'au moment ou tu utilise linjection j'avais l'idée , après j'ai trop pensé à la SURjection :s :s

Merci bcp !

A+
Oliv

Matheux Matou, par contre , c'est ce que j'avais indique dans mon message 2 non ??
Je pensais par contre qu'on utilisais le resultat mais en fait non ^^

MERCI à vous deux !

oui, c'est bien ton départ dans ton deuxième message... ensuite tu te compliquais un peu la vie...