Bonjour a tous, voila j'ai un petit problème avec une démonstration assez basique vu que je la vois partout, mais je n'arrive pas vraiment a comprendre ...
voila la question :
On considère quatre ensembles A, B, C et D et des applications
f : A → B, g : B → C , h : C → D. Montrer que :
g ◦ f injective => f injective.
Pour moi, je pars de g ◦ f injective :
on a donc g(f(x)) = g(f(x')) => f(x) = f(x') nan ? car l'ensemble de départ de g((f)) est bien l'ensemble d'arrivé de f nan ?
et la je suis bloqué car je peux rien dire sur x et x', pour moi il ne sont pas forcément égaux :s et j'arrive pas à le voir dans ma tête, car pour moi si x est différent de x' et que f n'est pas injective, alors on peut avoir f(x) = f(x') , et donc g(f(x)) = g(f(x')) avec f(x) = f(x') donc g(f(x)) qui est bien injective et f(x) qui ne l'est pas ...
Donc je sais que je me trompe quelquepart, j'aimerai bien comprendre ou ...
merci beaucoup
-----