Eclats de vers : Matemat : Fonctions
Table des matières
\( \newcommand{\parentheses}[1]{\left(#1\right)} \newcommand{\crochets}[1]{\left[#1\right]} \newcommand{\accolades}[1]{\left\{#1\right\}} \newcommand{\ensemble}[1]{\left\{#1\right\}} \newcommand{\identite}{\mathrm{Id}} \newcommand{\indicatrice}{\boldsymbol{\delta}} \newcommand{\dirac}{\delta} \newcommand{\moinsun}{{-1}} \newcommand{\inverse}{\ddagger} \newcommand{\pinverse}{\dagger} \newcommand{\topologie}{\mathfrak{T}} \newcommand{\ferme}{\mathfrak{F}} \newcommand{\img}{\mathbf{i}} \newcommand{\binome}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\canonique}{\mathfrak{c}} \newcommand{\tenseuridentite}{\boldsymbol{\mathcal{I}}} \newcommand{\permutation}{\boldsymbol{\epsilon}} \newcommand{\matriceZero}{\mathfrak{0}} \newcommand{\matriceUn}{\mathfrak{1}} \newcommand{\christoffel}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\lagrangien}{\mathfrak{L}} \newcommand{\sousens}{\mathfrak{P}} \newcommand{\partition}{\mathrm{Partition}} \newcommand{\tribu}{\mathrm{Tribu}} \newcommand{\topologies}{\mathrm{Topo}} \newcommand{\setB}{\mathbb{B}} \newcommand{\setN}{\mathbb{N}} \newcommand{\setZ}{\mathbb{Z}} \newcommand{\setQ}{\mathbb{Q}} \newcommand{\setR}{\mathbb{R}} \newcommand{\setC}{\mathbb{C}} \newcommand{\corps}{\mathbb{K}} \newcommand{\boule}{\mathfrak{B}} \newcommand{\intervalleouvert}[2]{\left] #1 , #2 \right[} \newcommand{\intervallesemiouvertgauche}[2]{ \left] #1 , #2 \right]} \newcommand{\intervallesemiouvertdroite}[2]{\left[ #1 , #2 \right[ } \newcommand{\fonction}{\mathbb{F}} \newcommand{\bijection}{\mathrm{Bij}} \newcommand{\polynome}{\mathrm{Poly}} \newcommand{\lineaire}{\mathrm{Lin}} \newcommand{\continue}{\mathrm{Cont}} \newcommand{\homeomorphisme}{\mathrm{Hom}} \newcommand{\etagee}{\mathrm{Etagee}} \newcommand{\lebesgue}{\mathrm{Leb}} \newcommand{\lipschitz}{\mathrm{Lip}} \newcommand{\suitek}{\mathrm{Suite}} \newcommand{\matrice}{\mathbb{M}} \newcommand{\krylov}{\mathrm{Krylov}} \newcommand{\tenseur}{\mathbb{T}} \newcommand{\essentiel}{\mathfrak{E}} \newcommand{\relation}{\mathrm{Rel}} \DeclareMathOperator*{\strictinferieur}{\ < \ } \DeclareMathOperator*{\strictsuperieur}{\ > \ } \DeclareMathOperator*{\ensinferieur}{\eqslantless} \DeclareMathOperator*{\enssuperieur}{\eqslantgtr} \DeclareMathOperator*{\esssuperieur}{\gtrsim} \DeclareMathOperator*{\essinferieur}{\lesssim} \newcommand{\essegal}{\eqsim} \newcommand{\union}{\ \cup \ } \newcommand{\intersection}{\ \cap \ } \newcommand{\opera}{\divideontimes} \newcommand{\autreaddition}{\boxplus} \newcommand{\autremultiplication}{\circledast} \newcommand{\commutateur}[2]{\left[ #1 , #2 \right]} \newcommand{\convolution}{\circledcirc} \newcommand{\correlation}{\ \natural \ } \newcommand{\diventiere}{\div} \newcommand{\modulo}{\bmod} \DeclareMathOperator*{\pgcd}{pgcd} \DeclareMathOperator*{\ppcm}{ppcm} \newcommand{\produitscalaire}[2]{\left\langle #1 \vert #2 \right\rangle} \newcommand{\scalaire}[2]{\left\langle #1 \| #2 \right\rangle} \newcommand{\braket}[3]{\left\langle #1 \vert #2 \vert #3 \right\rangle} \newcommand{\orthogonal}{\bot} \newcommand{\forme}[2]{\left\langle #1 , #2 \right\rangle} \newcommand{\biforme}[3]{\left\langle #1 , #2 , #3 \right\rangle} \newcommand{\contraction}[3]{\left\langle #1 \odot #3 \right\rangle_{#2}} \newcommand{\dblecont}[5]{\left\langle #1 \vert #3 \vert #5 \right\rangle_{#2,#4}} \DeclareMathOperator*{\major}{major} \DeclareMathOperator*{\minor}{minor} \DeclareMathOperator*{\maxim}{maxim} \DeclareMathOperator*{\minim}{minim} \DeclareMathOperator*{\argument}{arg} \DeclareMathOperator*{\argmin}{arg\ min} \DeclareMathOperator*{\argmax}{arg\ max} \DeclareMathOperator*{\supessentiel}{ess\ sup} \DeclareMathOperator*{\infessentiel}{ess\ inf} \newcommand{\dual}{\star} \newcommand{\distance}{\mathfrak{dist}} \newcommand{\norme}[1]{\left\| #1 \right\|} \newcommand{\normetrois}[1]{\left|\left\| #1 \right\|\right|} \DeclareMathOperator*{\adh}{adh} \DeclareMathOperator*{\interieur}{int} \newcommand{\frontiere}{\partial} \DeclareMathOperator*{\image}{im} \DeclareMathOperator*{\domaine}{dom} \DeclareMathOperator*{\noyau}{ker} \DeclareMathOperator*{\support}{supp} \DeclareMathOperator*{\signe}{sign} \newcommand{\abs}[1]{\left| #1 \right|} \newcommand{\unsur}[1]{\frac{1}{#1}} \newcommand{\arrondisup}[1]{\lceil #1 \rceil} \newcommand{\arrondiinf}[1]{\lfloor #1 \rfloor} \DeclareMathOperator*{\conjugue}{conj} \newcommand{\conjaccent}[1]{\overline{#1}} \DeclareMathOperator*{\division}{division} \newcommand{\difference}{\boldsymbol{\Delta}} \newcommand{\differentielle}[2]{\mathfrak{D}^{#1}_{#2}} \newcommand{\OD}[2]{\frac{d #1}{d #2}} \newcommand{\OOD}[2]{\frac{d^2 #1}{d #2^2}} \newcommand{\NOD}[3]{\frac{d^{#3} #1}{d #2^{#3}}} \newcommand{\deriveepartielle}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\PD}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\dblederiveepartielle}[2]{\frac{\partial^2 #1}{\partial #2 \partial #2}} \newcommand{\dfdxdy}[3]{\frac{\partial^2 #1}{\partial #2 \partial #3}} \newcommand{\dfdxdx}[2]{\frac{\partial^2 #1}{\partial #2^2}} \newcommand{\gradient}{\mathbf{\nabla}} \newcommand{\combilin}[1]{\mathrm{span}\{ #1 \}} \DeclareMathOperator*{\trace}{tr} \newcommand{\proba}{\mathbb{P}} \newcommand{\probaof}[1]{\mathbb{P}\left[#1\right]} \newcommand{\esperof}[1]{\mathbb{E}\left[#1\right]} \newcommand{\cov}[2]{\mathrm{cov} \left( #1 , #2 \right) } \newcommand{\var}[1]{\mathrm{var} \left( #1 \right) } \newcommand{\rand}{\mathrm{rand}} \newcommand{\variation}[1]{\left\langle #1 \right\rangle} \DeclareMathOperator*{\composante}{comp} \DeclareMathOperator*{\bloc}{bloc} \DeclareMathOperator*{\ligne}{ligne} \DeclareMathOperator*{\colonne}{colonne} \DeclareMathOperator*{\diagonale}{diag} \newcommand{\matelementaire}{\mathrm{Elem}} \DeclareMathOperator*{\matpermutation}{permut} \newcommand{\matunitaire}{\mathrm{Unitaire}} \newcommand{\gaussjordan}{\mathrm{GaussJordan}} \newcommand{\householder}{\mathrm{Householder}} \DeclareMathOperator*{\rang}{rang} \newcommand{\schur}{\mathrm{Schur}} \newcommand{\singuliere}{\mathrm{DVS}} \newcommand{\convexe}{\mathrm{Convexe}} \newcommand{\petito}[1]{o\left(#1\right)} \newcommand{\grando}[1]{O\left(#1\right)} \)
\( \newenvironment{Eqts} { \begin{equation*} \begin{gathered} } { \end{gathered} \end{equation*} } \newenvironment{Matrix} {\left[ \begin{array}} {\end{array} \right]} \)
\label{chap:fonctions}
1. Dépendances
- Chapitre \ref{chap:ensembles} : Les ensembles
- Chapitre \ref{chap:relations} : Les relations
2. Définitions
Une fonction \(f\) de \(A\) vers \(B\) associe à chaque \(x \in A\) un unique élément \(f(x) \in B\). On note \(\fonction(A,B)\) l'ensemble des fonctions \(f\) de \(A\) vers \(B\). On utilise aussi la notation :
\[f : A \mapsto B\]
pour préciser que \(f \in \fonction(A,B)\) et :
\[f : x \mapsto f(x)\]
pour préciser que \(f\) associe \(x \in A\) à \(f(x) \in B\). On dit que \(f(x)\) est la valeur de \(f\) en \(x\).
2.1. Remarque
La notation \(f : A \mapsto B\) signifie que :
- \(f(x)\) est défini pour tout \(x \in A\)
- \(f(x) \in B\)
Par conséquent, si \(C \subseteq A\) et si \(B \subseteq D\), la condition \(f : A \mapsto B\) implique \(f : C \mapsto D\).
2.2. Synonymes
On parle indifféremment de fonction ou d'application.
3. Fonctions discrètes
Dans le cas particulier où \(f \in \fonction( \{ 1,2,...,N \} , B )\), on peut associer à \(f\) un nombre \((f_1,f_2,...,f_N) \in B^N\) par :
\[f_i = f(i)\]
pour tout \(i \in \{ 1,2,...,N \}\). Inversément, à tout \((f_1,f_2,...,f_N) \in B^N\), on associe une fonction \(f : \{ 1,2,...,N \} \mapsto B\) par :
\[f(i) = f_i\]
On voit donc l'équivalence :
\[\fonction( \{ 1,2,...,N \} , B ) \equiv B^N\]
3.1. Notation
Dans le cas de fonctions quelconques, on pose par analogie :
\[B^A = \fonction(A,B)\]
4. Relation associée
On peut associer à toute fonction \(f : A \mapsto B\) une relation \(R \in \relation(A,B)\) définie par :
\[R = \{ (x,f(x)) : x \in A \}\]
On a clairement :
\[R(x) = \{ f(x) \}\]
5. Relation inverse
Soit \(f : A \mapsto B\) associée à la relation \(R \in \relation(A,B)\). La relation inverse \(R^{-1} \in \relation(B,A)\) est définie par :
\[R^{-1} = \{ (f(x),x) \in B \times A : x \in A \}\]
6. Fonction identité
La fonction identité \(\identite : A \mapsto A\) est définie par :
\[\identite : x \mapsto \identite(x) = x\]
6.1. Relation
La relation associée à la fonction identité s'écrit :
\[\{ (x,\identite(x)) \in A^2 : x \in A \} = \{ (x,x) \in A^2 : x \in A \}\]
La fonction identité est donc associée à la relation identité.
7. Image d'un ensemble
Soit \(f : A \mapsto B\). L'image d'un sous-ensemble \(X \subseteq A\) par \(f\) est l'ensemble des valeurs que prend \(f\) en tous les éléments de \(X\) :
\[f(X) = \{ f(x) : x \in X \}\]
8. Image d'une fonction
Soit \(f : A \mapsto B\). L'image de \(f\) est l'ensemble des valeurs que prend \(f\) en tous les éléments de \(A\) :
\[\image f = f(A) = \{ f(x) : x \in A \}\]
9. Image inverse
Soit \(f : A \mapsto B\). Pour tout \(y \in B\), l'image inverse est l'ensemble défini par :
\[f^{-1}(y) = \{ x \in A : f(x) = y \}\]
L'image inverse d'un ensemble \(Y \subseteq B\) est définie par :
\[f^{-1}(Y) = \{ x \in A : f(x) \in Y \}\]
10. Domaine
Soit un ensemble \(A \subseteq \Omega\) et une fonction \(f : A \mapsto B\). Le domaine de \(f\) est l'ensemble des éléments de \(x \in \Omega\) tels que \(f(x) \in B\) existe. Autrement dit :
\[\domaine f = A\]
11. Composée
Soit les fonctions \(f : A \mapsto B\) et \(g : B \mapsto C\).
Supposons que les grandeurs \(x \in A\), \(y \in B\) et \(z \in C\) soient reliées par les égalités \(y = f(x)\) et \(z = g(y)\). On a a alors \(z = g\left(f(x)\right)\). On définit une nouvelle fonction \(g \circ f : A \mapsto C\) associée à ce résultat par :
\[g \circ f : x \mapsto (g \circ f)(x) = g\left(f(x)\right)\]
On nomme \(g \circ f\) la composée de \(f\) et \(g\). On note aussi :
\[g \circ f(x) = (g \circ f)(x)\]
11.1. Association
Soit aussi \(h : C \mapsto D\). On remarque que :
\[\left(h \circ (g \circ f)\right)(x) = h\left(g\left(f(x)\right)\right) = \left((h \circ g) \circ f\right)(x)\]
On note :
\[h \circ g \circ f = (h \circ (g \circ f)) = ((h \circ g) \circ f)\]
11.2. Neutre
On constate que
\[\identite \circ f = f \circ \identite = f\]
On dit que la fonction identité est neutre pour la composition.
12. Puissance
Soit une fonction \(f : A \mapsto A\). La « puissance » d'une fonction est définie au moyen de la composée \(\circ\) par :
\[ f^0 = \identite \]
\[ f^n = f \circ f^{n-1} \]
pour tout \(n \in \setN\). On a donc en particulier \(f^1 = f\) et :
\[f^n = f \circ ... \circ f\]
13. Fonction constante
On associe souvent à tout élément \(c \in B\) une fonction constante \(\hat{c} : A \mapsto B\) définie par :
\[\hat{c}(x) = c\]
pour tout \(x \in A\). On note abusivement :
\[\hat{c} = c\]
14. Egalité
Deux fonctions \(f,g : A \mapsto B\) sont égales si et seulement si leurs valeurs sont égales en tout point \(x \in A\) :
\[f = g \quad \Leftrightarrow \quad f(x) = g(x)\]