Bonjour,
On dit que f est injective de E dans F si deux éléments distincts de f(E) (qui est donc inclus dans F) ont deux antécédents distincts.
On dit que f est surjective si f(E)=F.
On dit que f est bijective si elle est surjective et injective.

Moi j'aurais une question, pourquoi te demandes-tu cela alors que tu es en seconde?

Je vois mieux, merci

Je ne suis pas en seconde, je viens de passer mon bac et je m'intéresse aux premiers cours de fac, mais j'ai pas actualisé mon profil depuis longtemps...

Ah ok!! Très bien alors!
Tu pourrais, comme ça, donner une application injective (et non surjective), une application surjective (mais non injective) et une application bijective?

Alors, (rien de sûr hein !) :

Comme application injective, je pourrais donner exp (x) (Tous les éléments sont distincts dans cette fonction)

Comme application surjective : x^3 (Puisque f(E), qui est dans = F (qui est aussi dans )

Et comme application bijective, n'importe quelle fonction affine puisque ses éléments sont tous distincts, et ils sont tous dans le même ensemble.

C'est juste ???

Bonjour,

x^3 de dans est en fait bijective, essaye d'en trouver une qui soit surjective mais non injective...

Bonjour.

Pour la notion de fonction injective et surjective, il est important de bien préciser l'ensemble de départ et l'ensemble d'arrivée de la fonction.

Pour l'exponentielle, si on considère que l'ensemble d'arrivée est , elle n'est pas surjective, alors que si on la considère comme fonction à valeurs dans , elle devient surjective.

Bonjour Xenon54,

thiblepri t'a demandé une application injective et non sujective. La fonction exponentielle est bien injective mais elle est aussi surjective car y]0 ; +[ x tel que exp(x) = y.

Et pour ta fonction xx³ ,elle est également injective.

Je te laisse proposer d'autres applications en réfléchissant bien aux définitions que t'as données thiblepri

Je dirais (puisqu'il faut raisonner en termes d'ensembles et de sous ensembles) que la fonction x^2 prise sur l'intervalle [4;5] peut être qualifiée de surjective (???)

-Je ne comprend pas la réponse, pour l'exponentielle, sur R (et R+)- :s

Oui c'est juste, sauf que x^3 est également bijective (et pas seulement surjective ...).
Donc une application seulement surjective ? Tu as une idée ?

Pour aller plus loin, puisque tu as donné l'exemple de l'exponentielle :
Tu as vu au lycée que l'exponentielle admet une fonction réciproque : le logarithme népérien. Tu verras qu'une fonction ne peut admettre une fonction réciproque que si elle est BIJECTIVE. Tu as pourtant dit plus haut que l'exponentielle était seulement injective, ce qui est également juste.

Alors, exponentielle injective ou bijective ??
Et bien ça n'a pas de sens, la notion de fonction définit au lycée doit être rendu un peu plus rigoureuse : une fonction ce n'est pas seulement f(x)=[...]. Une fonction c'est cela :

f : E -> F
    x -> f(x)

L'ensemble de départ et d'arrivée sont partie intégrante de la fonction. Aussi :
exp : R -> R         est injective
      x -> e^x  
exp : R -> R+
      x -> e^x       est bijective.
C'est d'ailleurs pour ça que sa fonction réciproque est définie ainsi :
ln : R+ -> R
     e^x -> x

Voilà juste un petit complément
Sinon pour bien voir les notions de surjective/injective au début, ce que je te conseil c'est de travailler avec des ensembles finis :

Arf, le temps d'écrire y a eu du monde ^^ le temps de faire le dessin aussi. Bonjour à tous

Une fonction de E dans F est surjective si tout élément de F possède un antécédent.

Il est clair qu'un nombre strictement positif possède toujours un antécédent par l'exponentielle, et donc que la fonction exponentielle est surjective, alors que n'importe quel nombre négatif ne possède pas d'antécédent, et donc que la fonction n'est pas surjective.

En espérant être plus clair.

Je vais aller manger je réfléchirais à tout ça cet après-midi

Merci pour vos réponses et votre aide !

Bonjour,

Quand on parle d'ingectivité / surjectivité, on précise toujours les ensembles de départ et d'arrivée.

Surjective : tout élément à l'arrivée a un antécédent (au moins) dans l'ensemble de départ
Injective : aucun élément à l'arrivée n'a plusieurs antécédents dans l'ensemble de départ (ie : tout élément à l'arrivée a un antécédent au plus)

Exemple :

La fonction carré x->x² est surjective de R dans R+ (tout élément de R+ a un antécédent).
Elle n'est pas surjective de R dans R (car -1, par exemple, n'a pas d'antécédent).

De R dans R, elle n'est pas injective : en effet, par ex, -3 et 3 ont la même image (9) (autrement dit 9 a deux antécédents dans R).
Si par contre on la considère seulement de R+ dans R, elle devient injective.

Salut à tous ceux qui viennent d'arriver.
@ Xenon54: Tout le monde t'a bien dit de préciser les ensembles de départ et d'arrivée.

Une question à ce propos : est-ce qu'on définit les notion d'injectivité et de surjectivité pour les APPLICATIONS seulement ou plus généralement pour les FONCTIONS ?  

Je préfère la première solution sinon on aboutit à des choses un peu bizarre mais après tout pour quoi pas ?

Exemple E= { 1,2,3}  f  définie par  f(1)=1, f(2)= 3   vers l'ensemble {1,3}  est une FONCTION injective ET surjective NON bijective !!

Euh... je crois que tu veux dire l'inverse. Une fonction est une application mais le contraire est faux. Donc cette notion s'applique (ahaha) aux fonctions et, plus généralement, aux applications.

Ensuite, surjective et injective=> bijective

NON une application est une fonction définie partout .

et l'exemple que je donne explique que bijective = injective+ surjective n'est vraie que pour les applications (en général)

J'ai lu toutes vos réponses et en ait fait un mélange pour mieux comprendre -ça a sûrement réussi ?- :

comme fonction surjective :

Sur Df = [-;+] la fonction sin (x) puisqu'elle admet 3 antécédants pour l'image 0 (-pi, 0 et pi)

Comme fonction injective, sur l'intervalle [0;5], la fonction 2x admet un seul antécédant en 6 -qui est 3- par exemple...

(J'étais en E.S, y a t'il un rapport avec le théorème des valeurs intérmédiaires ?)

Merci pour tout !

Il y a un problème de définition : pour moi une application est une fonction partout définie, donc je suis de l'avis de lolo271.
D'ailleurs pour répondre à sa question : je pense qu'il vaut mieux se restreindre aux applications justement, ce serait stupide de considérer un intervalle de départ dans lequel la fonction n'est pas définie en tout point, d'ailleurs lorsque l'on étudie une fonction, première chose donner l'espace de définition.

Sinon on aboutit à des bizarrerie comme tu dis, et comme l'illustre bien ton exemple.

Bonjour Xenon,

fonction surjective : tu as bien compris avec toutes nos remarques qu'il fallait préciser l'espace de départ, mais aussi d'arrivée ! (cf mon premier post dans ce topic)
Ici sin(x) est surjective sur [-pi;pi] à condition que tu prenne comme intervalle d'arrivée [-1;1] par exemple.
De plus le fait qu'un réel ait 3 antécédents ne rend aucunement la fonction surjective, il faut plutôt montrer que TOUT réel de l'intervalle d'arrivée (d'où l'importance de le préciser) admet un antécédent.

fonction injective : encore une fois précise l'arrivée. Et la fonction 2x est toujours non seulement injective mais aussi BIJECTIVE sur l'intervalle que tu considère. Je n'ai pas bien compris la fin de ta phrase d'ailleurs.

Lire ce qui commence par:

Et du coup, toutes mes excuses pour mon post de 14:01, c'est l'inverse

Ah d'accord, excuse moi thiblepri je n'avais pas vu ta conclusion ^^

Je ne comprend pas "l'arrivée", ce n'est pas pi, dans [-pi;pi] ?

Il est vrai que 2x est bijective, je l'ai vu trop tard...


Ce que je voulais dire, c'est qu'en cours, on a vu un théorème qui explique que pour toute fonction strictement croissante (ou strictement décroissante), sur un intervalle donné, un seul antécédant correspond à une seule image... Du coup, j'y voyais un rapport.

En effet, c'est le théorème des valeurs intermédiaire qui te donneras par la suite le théorème :
"une fonction strictement monotone de R dans R est injective".

Seulement la notion de bijective, injective, surjective se généralise à beaucoup d'autres ensemble que R, ensembles dans lequel le théorème des valeurs intermédiaire n'a même plus de sens.

Je te réécris ce qu'il y a dans mon post plus haut :

Une fonction c'est :

f : E -> F
    x -> f(x)

L'ensemble de départ c'est E=[-pi;pi] dans ton cas
L'ensemble d'arrivée c'est F.