Introduction aux mathématiques/Applications

Graphes

Soient $E$ et $F$ deux ensembles.

Définition : graphe

On appelle graphe de $E$ vers $F$ toute partie de $E\times F$ .
On appelle application de $E$ vers $F$ tout triplet $f=(E,F,\Gamma )$ où $\Gamma$ est un graphe de $E$ vers $F$ tel que : $\forall x\in E,\exists !y\in F/(x,y)\in \Gamma$

Dans pareil cas, on dit que

$E$ est l'ensemble de départ ou la source de $f$ ,
$F$ l'ensemble d'arrivée ou le but de $f$ ,
$\Gamma$ le graphe de $f$ .

Pour un $x\in E$ , l'unique $y$ de la définition est appelé image de $x$ par $f$ , noté $f(x)$ . On note souvent $f:E\rightarrow F,\,x\mapsto f(x)$ .
Deux applications sont donc égales ssi elles ont même source, même but et même graphe.
Dans les cas particulier où $F=\mathbb {R}$ (resp $\mathbb {C}$ ) on parle de fonction numérique (resp: complexe). Si $E=\mathbb {N}$ on parle de suite d'éléments de $F$ .
On appelle identité de $E$ , l’application $id_{E}:E\rightarrow E,\,x\mapsto x$ .

Restrictions, prolongements

Soit $f:E\rightarrow F$ une application et $A\subset E$ .

Définitions : restriction, corestriction

On appelle restriction de $f$ à $A$ , notée $f_{|A}$ , l’application $f_{|A}:A\rightarrow F,\,x\mapsto f(x)$ .

Soit maintenant $B\subset F$ telle que $\forall x\in E,f(x)\in B$ .

On appelle alors corestriction de $f$ à $B$ l’application $f^{|B}:E\rightarrow B,\,x\mapsto f(x)$ .

Soit $E'$ un sur-ensemble de $E$ , on appelle prolongement de $f$ à $E'$ toute application $g:E'\rightarrow F$ telle que $\forall x\in E,f(x)=g(x)$ .

Composition

Pour plus de détails sur cette section, voir le chapitre « Composition » de la leçon « Opérations sur les fonctions ».

Soient $f:E\rightarrow F$ et $g:F\rightarrow G$ deux applications. On définit alors l'application composée de $f$ et $g$ par $g\circ f:E\rightarrow G,\,x\mapsto g(f(x))$ .

Proposition

Soient $f:E\rightarrow F$ , $g:F\rightarrow G$ et $h:G\rightarrow H$ trois applications.
Alors $h\circ (g\circ f)=(h\circ g)\circ f$ .

Ainsi la notation $h\circ g\circ f$ est sans ambiguité.

Injections, surjections et bijections

Pour plus de détails sur toute cette section, voir le chapitre « Injection, surjection, bijection » de la leçon « Application (mathématiques) ».

Définitions

Soient $f:E\to F$ une application et $y\in F$ .

Définition : antécédent

On appelle antécédent de $y$ par $f$ tout élément $x\in E$ tel que $f(x)=y$ .

Exemple : pour $f:\mathbb {R} \rightarrow \mathbb {R} ,\,x\mapsto x^{2}$ , le réel $-2$ n'a pas d'antécédent alors que $2$ en a deux.

Définition : injections, surjections, bijections

On dit que $f$ est :

injective si tout élément de $F$ a au plus un antécédent par $f$ ; cela équivaut à $\forall x,x'\in E\quad x\neq x'\Rightarrow f(x)\neq f(x')$ ou encore, en contraposant, à $\forall x,x'\in E\quad f(x)=f(x')\Rightarrow x=x'$ ;
surjective si tout élément de $F$ a au moins un antécédent par $f$ , c'est-à-dire $\forall y\in F\quad \exists x\in E\quad y=f(x)$ ;
bijective si elle est à la fois injective et surjective, ce qui équivaut à $\forall y\in F\quad \exists !x\in E\quad y=f(x)$ .

Exercice : Restreindre l’application $f$ de l'exemple précédent au départ et/où à l'arrivée pour la rendre injective/surjective/bijective.

Stabilité par composition

Proposition

Soient $f:E\rightarrow F$ et $g:F\rightarrow G$ deux applications.

Si $f$ et $g$ sont injectives, alors $g\circ f$ l'est aussi.
Si $f$ et $g$ sont surjectives, alors $g\circ f$ l'est aussi.
Si $g\circ f$ est injective, alors $f$ l'est aussi.
Si $g\circ f$ est surjective, alors $g$ l'est aussi.

Bijection réciproque

Soit $f:E\rightarrow F$ une bijection. Pour tout $y\in F$ , on note $f^{-1}(y)$ l'unique $x\in E/f(x)=y$ . Ceci permet de définir une application $f^{-1}:F\rightarrow E,\,y\mapsto f^{-1}(y)$ . On appelle cete application bijection réciproque de $f$ .

On a clairement les deux égalités $f\circ f^{-1}=\operatorname {Id} _{F}$ et $f^{-1}\circ f=\operatorname {Id} _{E}$ . Réciproquement :

Proposition

S'il existe une application $g:F\rightarrow E$ telle que $f\circ g=id_{F}$ et $g\circ f=id_{E}$ , alors $f$ est bijective et $f^{-1}=g$ .

Corollaire

Si $f:E\rightarrow F$ est bijective,
alors $f^{-1}:F\rightarrow E$ l'est aussi.
Auquel cas $(f^{-1})^{-1}=f$

Ainsi pour montrer qu'une application est bijective on peut :

ou bien le faire à la main : à $y$ fixé dans $F$ , on montre qu’il existe un seul et unique antécédent ;
ou bien construire une bijection réciproque (qui s'avère être la bijection réciproque).

Familles

Définitions et notations : familles, suites

Soit $I$ et $E$ deux ensembles.

On appelle famille d'éléments de $E$ indexée par $I$ toute application $f:I\rightarrow E$ .

On note plus volontiers $f_{i}$ que $f(i)$ pour $i\in I$ — on préfère également $(f_{i})_{i\in I}$ à $f:I\rightarrow E$ .

Plusieurs cas de figure se présentent parfois :

Si l'index $I$ est fini (au sens intuitif du terme), la famille est dite finie.
Si $I=\mathbb {N}$ , on parle de suite d'élément de $E$ .
Si $J\subset I$ , on appelle sous-famille de la famille $(f_{i})_{i\in I}$ , la restriction de $f$ à $J$ .

Pour une famille $(A_{i})_{i\in I}$ d'éléments de ${\mathcal {P}}(E)$ , on pose

$\bigcap _{i\in I}A_{i}:=\{x\in E/\forall i\in I,x\in A_{i}\}$ , l'intersection des $A_{i}$ ,
$\bigcup _{i\in I}A_{i}:=\{x\in E/\exists i\in I/x\in A_{i}\}$ , leur réunion.

Définition : partition

Soit $E$ un ensemble.

On appelle partition de $E$ toute partie, P, de ${\mathcal {P}}(E)$ vérifiant :

$\forall A\in P,\,A\neq \emptyset$ ,
$\forall A,B\in P,\ A\neq B\Rightarrow A\cap B=\emptyset$ ,
$\bigsqcup _{A\in P}A=E$ .

Exemple : une partition évidente de E est $\{A,A^{c}\}$ valable pour tout $A\subset E$ .

Images directes et réciproques

Soit $f:E\rightarrow F$ une application.

Définition

Pour $A\subset E$ , on appelle image directe de $A$ par $f$ la partie de $F$ , notée $f(A)$ et définie par $f(A):=\{y\in F/\exists x\in A/y=f(x)\}$ . En particulier $f(E)$ est appelé l'image de $f$ .
Pour $B\subset F$ , on appelle image réciproque de $B$ par $f$ la partie de $E$ , notée $f^{-1}(B)$ et définie par $f^{-1}(B):=\{x\in E/f(x)\in B\}$ .

Remarques :

$f^{-1}(B)$ est toujours envisageable, même si $f$ n’est pas bijective
$f^{-1}(F)=E$ alors qu'en générale $f(E)\neq F$ . C'est le cas ssi $f$ est surjective.

Exercice : étudier l'injectivité/surjectivité/bijectivité des applications ${\mathcal {P}}(E)\rightarrow {\mathcal {P}}(F),A\mapsto f(A)$ et ${\mathcal {P}}(F)\rightarrow {\mathcal {P}}(E),B\mapsto f^{-1}(B)$ en fonction de celles de $f:E\rightarrow F$ .

Fibres

Soit $y\in F$ , les ensembles $f^{-1}(\{y\})=\{x\in E/f(x)=y\}$ sont appelés les fibres de $f$ . Lorsque $f$ est surjective, elles forment une partition de $E$ , exercice dont on reparlera...

Remarques : Dire que $f$ est

injective équivaut à dire que toute fibre de $f$ a au plus un élément,
surjective équivaut à dire qu'aucune fibre de $f$ n'est vide,
bijective équivaut à dire que toute fibre de $f$ est réduite à un singleton.

Quelques propriétés

Proposition

Soit $(B_{i})_{i\in I}$ une famille de parties de $F$ .
Alors $f^{-1}(\bigcap _{i\in I}B_{i})=\bigcap _{i\in I}f^{-1}(B_{i})$ et $f^{-1}(\bigcup _{i\in I}B_{i})=\bigcup _{i\in I}f^{-1}(B_{i})$ .

'Preuve'

${\begin{aligned}\forall x\in E,\,x\in f^{-1}(\bigcap _{i\in I}B_{i})&\Leftrightarrow f(x)\in \bigcap _{i\in I}B_{i}\\&\Leftrightarrow \forall i\in I,\,f(x)\in B_{i}\\&\Leftrightarrow \forall i\in I,\,x\in f^{-1}(B_{i})\\&\Leftrightarrow x\in \bigcap _{i\in I}f^{-1}(B_{i})\\\forall x\in E,\,x\in f^{-1}(\bigcup _{i\in I}B_{i})&\Leftrightarrow f(x)\in \bigcup _{i\in I}B_{i}\\&\Leftrightarrow \exists i\in I/f(x)\in B_{i}\\&\Leftrightarrow \exists i\in I/x\in f^{-1}(B_{i})\\&\Leftrightarrow x\in \bigcup _{i\in I}f^{-1}(B_{i})\end{aligned}}$

Proposition

Soit $(A_{i})_{i\in I}$ une famille de parties de $E$ .
Alors $f(\bigcap _{i\in I}A_{i})\subset \bigcap _{i\in I}f(A_{i})$ et $f(\bigcup _{i\in I}A_{i})=\bigcup _{i\in I}f(A_{i})$ .

'Preuve'

${\begin{aligned}\forall y\in F,\,y\in f(\bigcap _{i\in I}A_{i})&\Leftrightarrow \exists x\in \bigcap _{i\in I}A_{i}/y=f(x)\\&\Leftrightarrow \exists x\in E/\forall i\in I,x\in A_{i}{\text{ et }}y=f(x)\\&\Rightarrow \forall i\in I,\exists x\in A_{i}/y=f(x)\\&\Rightarrow \forall i\in I,y\in f(A_{i})\\&\Rightarrow y\in \bigcap _{i\in I}f(A_{i})\end{aligned}}$

On notera que l'interversion des quantificateurs ne donne qu'une implication, en effet « en haut » il y a un $x$ commun a tous les indices $i$ , tandis qu' « en bas » les $x$ dépendent de l'indice ce qui est plus faible.

${\begin{aligned}\forall y\in F,\,y\in f(\bigcup _{i\in I}A_{i})&\Leftrightarrow \exists x\in \bigcup _{i\in I}A_{i}/y=f(x)\\&\Leftrightarrow \exists x\in E\exists i\in I/x\in A_{i}{\text{ et }}y=f(x)\\&\Leftrightarrow \exists i\in I,\exists x\in A_{i}/y=f(x)\\&\Leftrightarrow \exists i\in I/y\in f(A_{i})\\&\Leftrightarrow y\in \bigcup _{i\in I}f(A_{i})\end{aligned}}$

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.