Soient E et F deux ensembles. On appelle application de E dans F un objet mathématique f qui à tout élément x de E associe un élément f(x) de F. Une telle application est notée f:{E⟶Fx⟼f(x).
E et F s'appellent respectivement ensemble de départ et ensemble d'arrivée de f.
Exemple
f:{C⟶Rz⟼∣z∣ est une application de C dans R.
f:{R⟶Cx⟼eix est une application de R dans C.
Remarque
Une application n'a pas toujours comme ensembles d'arrivée et de départ des ensembles de réels ou même de nombres. On pourrait par exemple considérer E l'ensemble des élèves de la classe, F l'ensemble des entiers naturels et f l'application de E dans F qui à un élève associe son âge.
Définition—Image et antécédent
Soit f une application de E dans F.
Soit x∈E. f(x) s'appelle l'image de x par f.
Soit y∈F. S'il existe x tel que y=f(x), x est appelé un antécédent de y par f.
Remarque
Un élément de E admet toujours une unique image par f.
Un élément de F peut admettre zéro, un ou plusieurs antécédents par f.
Exemple
Soit f:{R⟶Rx⟼x2.
2 admet pour image 4 par f.
−1 n'admet aucun antécédent par f.
0 admet 0 comme unique antécédent par f.
4 admet 2 et −2 comme antécédents par f.
Attention
Il ne faut surtout pas confondre f et f(x).
f est une application tandis que f(x) est un élément.
Par exemple, on parlera de l'application (ou de la fonction) sin mais jamais de l'application (ou de la fonction) sinx.
De même, on peut parler de l'application (ou de la fonction) x↦x2cos(x3) mais pas de l'application (ou de la fonction) x2cos(x3).
Si vous faites la confusion entre ces deux écritures, c'est que vous n'avez sans doute rien compris à ce qu'est une application (ou une fonction).
Définition—Graphe
Soit f:E→F une application. On appelle graphe de f l'ensemble {(x,f(x)),x∈E}={(x,y)∈E×F,y=f(x)}
C'est une partie de E×F.
Remarque
Γ est le graphe d'une application de E dans F si et seulement si Γ est une partie de E×F et si ∀x∈E,∃!y∈F,(x,y)∈Γ
Définition—Image d'une application
Soit f:E→F une application. On appelle image de f l'ensemble noté Im(f) des images des éléments de E i.e. des éléments de F qui ont un antécédent par f dans E. Plus formellement Im(f)={y∈F∣∃x∈E,y=f(x)}={f(x),x∈E}
Remarque
Si on vous demande de montrer qu'une application f:{E⟶Fx⟼f(x) est bien définie, il s'agit de montrer que pour tout x∈E, f(x)∈F, autrement dit que Im f⊂F. Par exemple, l'application {R+∗⟶R+x⟼lnx est mal définie tandis que {R+∗⟶Rx⟼lnx est bien définie.
Encadré—Différence entre application et fonction
Bien que le programme officiel stipule de ne pas faire de différence entre applications et fonctions, il existe néanmoins une nuance. Une application est toujours définie sur son ensemble de départ, ce qui n'est pas le cas d'une fonction. Par exemple, {R⟶Rx⟼x est une fonction mais pas une application. En revanche, {R+⟶Rx⟼x est bien une application.
Si f:E→F est une fonction, on appelle ensemble de définition de f l'ensemble des x∈E tels que f(x) est défini. On le note généralement Df. Par exemple, si f est la fonction racine carrée, l'ensemble de définition de f est R+.
Encadré—Représentation graphique
Si f est une application (resp. une fonction) dont l'ensemble de départ (resp. l'ensemble de définition) E est une partie de R (typiquement un intervalle) et dont l'ensemble d'arrivée est R (ou une partie de R), on peut représenter graphiquement le graphe de f. Si on munit le plan d'un repère (orthonormé), l'ensemble des points de coordonnées (x,f(x)) où x décrit E est une « courbe » du plan.
Exemple
La courbe ci-contre n'est pas un graphe d'application ou de fonction. En effet, l'argument x est associé à plusieurs valeurs, ce qui contredit la contrainte imposée sur un graphe (un élément de l'espace de départ n'a qu'une image dans l'espace d'arrivée).
Remarque—Ensemble des applications
L'ensemble des applications d'un ensemble E dans un ensemble F se note FE.
Encadré—Notion de famille
Soient E et I deux ensembles. Une application de I dans E est aussi appelée une famille d'éléments deEindexée surI. En particulier, l'ensemble des familles d'éléments de E indexées sur I se note EI.
Les notions de famille et d'application sont deux visions du même objet. Une application est la manière de passer d'un ensemble à un autre tandis qu'une famille est une « collection d'objets ».
Exemple
Une suite de réels est au choix une famille d'éléments de R indexée sur N ou une application de N dans R. L'ensemble des suites réelles se note donc RN.
Remarque
Un n-uplet d'un produit cartésien En peut être vu comme une famille d'éléments de E indexée sur un ensemble à n éléments.
Définition—Égalité d'applications
Deux applications f et g sont égales si elles ont même ensembles de départ E et d'arrivée F et même graphe Γ. L'égalité des graphes est équivalente à la condition suivante : ∀x∈E,f(x)=g(x)
Attention
En toute rigueur, les applications {R⟶Rx⟼x2, {R+⟶Rx⟼x2 et {R⟶R+x⟼x2 sont trois applications différentes puisque leur ensemble de départ ou d'arrivée diffère.
La première et la dernière ont pourtant le même graphe.
Encadré—Fonction indicatrice
On considère un ensemble E. Pour A∈P(E), on définit l'application 1A:⎩⎨⎧E⟶{0,1}x⟼{10si x∈Asi x∈/A appelée fonction indicatrice de A.
Une fonction indicatrice caractérise complètement une partie de E dans le sens où si A,B∈P(E), 1A=1B⟺A=B
On peut également prouver les relations suivantes :
1A2=1A
1A=1−1A
1A∩B=1A1B
1A∪B=1A+1B−1A1B
On peut alors prouver des égalités d'ensembles uniquement par le calcul.
Ainsi 1A∩(B∪C)=1(A∩B)∪(A∩C) et donc A∩(B∪C)=(A∩B)∪(A∩C).
2Composition3Image directe, image réciproque4Restriction et prolongement5Injectivité, surjectivité et bijectivité
Cours
1Applications : définitions ensemblistes
2Composition
Contenu réservé aux abonnés
3Image directe, image réciproque
Contenu réservé aux abonnés
4Restriction et prolongement
Contenu réservé aux abonnés
5Injectivité, surjectivité et bijectivité
Contenu réservé aux abonnés
Méthodes16
PavlovDistinguer appartenance et inclusion
C'est un concept fondamental. Un élément 'a' appartient à un ensemble E, noté a∈E. Un ensemble A est inclus dans un ensemble E si tous les éléments de A sont aussi dans E, noté A⊂E. Par exemple, pour E={a,b,c}, on a a∈E mais pas a⊂E. En revanche, {a}⊂E. L'ensemble vide ∅ est inclus dans tout ensemble.
PavlovDescription d'ensembles en compréhension et en extension
Appliquer la Distinguer appartenance et inclusion : distinguer appartenance (∈) et inclusion (⊂) ; rappeler que a∈E signifie a est un élément de E, tandis que A⊂E demande que A soit un sous-ensemble de E.