T'en fais pas, si je te réponds c'est bien que ça me dérange pas (en fait ça me fait une excuse pour pas bosser mes DM
)
Alors on reprend :
On considère une fonction de A dans |R, avec A une partie de |R.
On suppose que f est strictement croissante, c'est à dire que pour tout (x;y) dans A², x<y => f(x) < f(y)
Soit maintenant (x;y) dans A² tel que f(x) = f(y)
Alors il y a trois cas possible :
x<y, mais alors f(x) < f(y), ce qui est absurde (puisqu'on a supposé que f(x) = f(y)
x>y, mais de la même manière que pour x<y, c'est absurde
x=y
Ainsi, x=y est le seul cas possible.
Donc pour tout (x;y) dans A², f(x) = f(y) implique x = y, i.e f est injective
Voilà, j'ai essayé de beaucoup détailler, j'espère que tu comprends l'idée.
Maintenant, on peut montrer facilement que ça marche aussi si f est strictement décroissante. Comment ? 