mdr_non @ 05-07-2016 à 06:11Tu as commis des erreurs oui. En réalité tout ce que tu as dit est faux.
Et même, tout ce que tu as dit n'a pas trop de sens puisque tu ne parles pas des ensembles de départ et d'arrivée.
N'ai-je pas insisté sur le fait que
la mention des ensembles de départ et d'arrivée est indispensable ?
Bon okay, il y a quand même un point qui n'est pas faux :
Si une fonction est strictement monotone alors elle est injective.
Attention toutefois, la réciproque est fausse comme déjà dit.
Pour pousser encore,
une fonction injective ET continue est strictement monotone.
*** *** *** *** ***
Pour bien comprendre la bijectivité tu dois d'abord comprendre l'injectivité et la surjectivité.
Soient

et

deux ensembles quelconques et la fonction

.
*** *** ***
INJECTIVITE :
Définition : 
est injective sur

si, tout élément de

a
au plus un antécédent dans

par

.
Dit autrement, elle ne prend jamais deux fois la même valeur.
Ainsi, pour représenter graphiquement une fonction injective (ou non), il s'agira essentiellement de jouer sur l'ensemble de départ

.
Pour construire

non injective : il suffit qu'elle prenne au moins deux fois la même valeur, i.e. qu'un élément de

ait au moins deux antécédents dans

par

.
Exemples : On prend

définie par
 = x^2)
.
Comme on se fout complètement de l'ensemble d'arrivée ici, on prendra

.
Lorsque
![I = [0 , 2]](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2])
alors

est injective (car strictement monotone).
Lorsque
![I = [0 , 2]\cup\{-2\}](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2]\cup\{-2\})
alors

est non injective. En effet,

a deux antécédents dans

par

:

et

.
Vois-tu de quelle façon on joue avec l'ensemble de départ ? Il a suffi d'ajouter

par rapport au cas précédent.
Lorsque
![I = [-1 , 1]](https://latex.ilemaths.net/ile_TEX.cgi?I = [-1 , 1])
,

est non injective car par exemple
 = f(1) = 1)
.
*** *** ***
SURJECTIVITE :
Définition : 
est surjective de
sur 
si, tout élément de

a
au moins un antécédent dans

par

.
Ainsi, pour représenter graphiquement une fonction surjective (ou non), il s'agira essentiellement de jouer sur l'ensemble d'arrivée

.
Pour construire

non surjective : il suffit qu'un élément de son ensemble d'arrivée

n'ait aucun antécédent dans

par elle.
Exemples : On prend

définie par
 = x^2)
.
Lorsque
![I = [0 , 2]](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2])
et
![J = [0 , 4]](https://latex.ilemaths.net/ile_TEX.cgi?J = [0 , 4])
alors

est surjective (car
![f([0 , 2]) = [0 , 4]](https://latex.ilemaths.net/ile_TEX.cgi?f([0 , 2]) = [0 , 4])
).
Lorsque
![I = [0 , 2]](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2])
et
![J = [0 , 4]\cup\{5\}](https://latex.ilemaths.net/ile_TEX.cgi?J = [0 , 4]\cup\{5\})
alors

est non injective. En effet,

n'a aucun antécédent dans

par

.
Vois-tu de quelle façon on joue avec l'ensemble d'arrivée ? Il a suffi d'ajouter

par rapport au cas précédent.
Lorsque
![I = [-1 , 1]](https://latex.ilemaths.net/ile_TEX.cgi?I = [-1 , 1])
et
![J = [0 , 1]](https://latex.ilemaths.net/ile_TEX.cgi?J = [0 , 1])
alors

est surjective.
*** *** ***
BIJECTIVITE :
Définition : 
est bijective de
sur 
si, elle est injective sur

et surjective de

sur

.
Dit autrement, tout élément de

possède
un et un seul antécédent dans

par

.
Exemples : On prend

définie par
 = x^2)
.
Lorsque
![I = [0 , 2]](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2])
et
![J = [0 , 4]](https://latex.ilemaths.net/ile_TEX.cgi?J = [0 , 4])
alors

est bijective d'après ce qui précéde sur l'injectivité et la surjectivité.
Lorsque
![I = [0 , 2]](https://latex.ilemaths.net/ile_TEX.cgi?I = [0 , 2])
et
![J = [0 , 4]\cup\{5\}](https://latex.ilemaths.net/ile_TEX.cgi?J = [0 , 4]\cup\{5\})
alors

est non bijective.
Plus fun :
Lorsque

et

alors

est injective et non surjective ;
Lorsque

et

alors

est non injective et surjective ;
Lorsque

et

alors

est non injective et non surjective ;
Lorsque

et

alors

est bijective.
***
Merci beaucoup , reste une dernière chose que j'ai pas encore compris , c'est la courbe que t'as dessiné juste avant ce dernier message , qu'elle l'ensemble de départ/arrivé que t'as choisi pour que tu aies la courbe orange , sinon j'ai une petite question dans ce que tu viens de dire c'est :
f est bijective si elle est injective et surjective , ça veut dire une implication comme tu viens de le citer . ou bien f est bijective si et seulement si elle est surjective et injective ç,à,d une équivalence ?