# Fonction étagée

En mathématiques et en analyse :
* Une fonction simple est une fonction numérique dont l'image est constituée d'un nombre fini de valeurs réelles (ou éventuellement complexes) ;
* Une fonction étagée est une fonction simple définie sur un espace mesurable et qui est elle-même une fonction mesurable ;
* Une fonction en escalier est une fonction étagée définie sur l’ensemble des réels et dont les valeurs (réelles) sont constantes sur des intervalles : ce sont donc des fonctions constantes par morceaux.
Dans les trois acceptions, chacune de ces fonctions peut s'exprimer comme une combinaison linéaire (donc finie) de fonctions caractéristiques.
Ces fonctions jouent un rôle important en théorie de l'intégration :
* les fonctions étagées pour l'intégrale de Lebesgue ;
* les fonctions en escalier pour l'intégrale de Riemann et de Kurzweil-Henstock.

## Propriété caractéristique commune

Propriété — Une fonction est simple si et seulement si elle est combinaison linéaire de fonctions caractéristiques.
Nécessité :
Soit f une fonction simple et a$_k$ les n valeurs qu'elle peut prendre. Notons A$_k$ l'image réciproque de {a$_k$}, soit $A_{k}=f^{-1}(\{a_{k}\})$. Puisque les A$_k$ sont deux à deux disjoints, alors pour tout x dans le domaine de définition de f :
    $f(x)=\sum _{k=1}^{n}a_{k}1_{A_{k}}(x).$
Pour les fonctions étagées, on note que A$_k$ est mesurable puisque f est supposée l'être.
Suffisance :
Soient n ensembles B$_k$ et une fonction f définie par
    $f(x)=\sum _{k=1}^{n}b_{k}1_{B_{k}}(x)$
où les n valeurs b$_k$ sont données.
Même si x peut appartenir simultanément à plusieurs B$_k$ (lorsque les intersections sont non vides), le nombre de valeurs distinctes que peut prendre f est limité par 2$^n$. Ainsi, f est une fonction simple.
Pour les fonctions simples (respectivement étagée, en escalier), les propriétés suivantes découlent de la définition et de la propriété précédente :
* Une fonction simple est une combinaison linéaire de fonctions caractéristiques de la forme
    $f(x)=\sum _{k=1}^{n}a_{k}\ {\mathbf {1} }_{A_{k}}(x)$
    où $A_{1},\dots ,A_{n}$ est une suite finie d'ensembles et $a_{1},\dots ,a_{n}$ est une suite finie de valeurs dans $\mathbb {R}$ (ou $\mathbb {C}$).
* Parmi les diverses représentations possibles exprimées à l'aide de la relation précédente, il en existe une particulière (qualifiée de canonique) pour laquelle
** les ensembles $A_{k}$ sont deux à deux disjoints,
** les valeurs $a_{k}$ sont distinctes et non nulles,
** $n=0$ si et seulement si $f=0$.
* La somme ou le produit de deux fonctions simples, ou encore le produit d'une fonction simple par un réel (ou un complexe) sont toujours des fonctions simples.
* L'ensemble des fonctions simples constitue une $\mathbb {R}$ (ou $\mathbb {C}$)-algèbre commutative, et a fortiori un espace vectoriel.
* Pour une fonction étagée, donc mesurable et définie sur un espace mesurable $(X,{\mathcal {A}},\mu )$, les ensembles $A_{k}$ de la représentation canonique sont mesurables.

## Densité des fonctions étagées

Théorème —
* Toute fonction mesurable positive est limite simple d'une suite croissante de fonctions étagées positives.
* Toute fonction mesurable est limite simple de fonctions étagées.
* Toute fonction mesurable bornée est limite uniforme de fonctions étagées.
1 : soit f une fonction mesurable positive. Pour tout entier naturel n, est partagé en N$_n$ = 2$^{2n}$ + 1 sous-intervalles définis par
    $I_{n,k}=\left[{\frac {k-1}{2^{n}}},{\frac {k}{2^{n}}}\right[$ pour 1 ≤ k ≤ N$_n$ – 1 et
    $I_{n,N_{n}}=[2^{n},+\infty ].$
On définit les ensembles mesurables A$_{n,k}$ = f $^{-1}$(I$_{n,k}$) pour 1 ≤ k ≤ N$_n$.
La suite de fonctions
    $f_{n}=\sum _{k=1}^{N_{n}}{\frac {k-1}{2^{n}}}{\mathbf {1} }_{A_{n,k}}$
est alors croissante et converge simplement vers f.
2 se déduit immédiatement de 1 car les partie positive et partie négative d'une fonction mesurable sont mesurables.
3 : pour une fonction f positive et bornée par y > 0, la construction élaborée sous 1 permet d'affirmer que
    $|f(x)-f_{n}(x)|\leq 2^{-n}$ dès que 2$^n$ > y. La convergence uniforme est donc satisfaite.
Pour une fonction bornée quelconque, la décomposition présentée sous 2 permet de conclure.

## Intégration d'une fonction étagée

En théorie de la mesure, définir l'intégrale d'une fonction étagée positive est l'une des premières étapes conduisant à la définition de l'intégrale par rapport à une mesure positive.
Soit $(X,{\mathcal {A}},\mu )$ un espace mesuré. Pour tout $A\in {\mathcal {A}},$ on définit
$\int _{X}1_{A}\,d\mu =\mu (A).$
Pour une fonction étagée positive $f=\sum _{k=1}^{n}a_{k}\mathbf {1} _{A_{k}},$ la linéarité de l'intégrale impose la relation suivante :
$\int _{X}f\,d\mu =\sum _{k=1}^{n}a_{k}\mu (A_{k}).$
Pour accorder à cette relation le statut de définition, il convient de s'assurer de sa consistance en vérifiant que l'intégrale d'une fonction étagée positive est indépendante de sa représentation sous forme de combinaison linéaire de fonctions caractéristiques.
Par différence, il suffit de vérifier que $\sum _{k=1}^{n}a_{k}{\mathbf {1} }_{A_{k}}=0\Rightarrow \sum _{k=1}^{n}a_{k}\mu (A_{k})=0.$ Pour tout n-uplet ε d'éléments égaux à ±1, notons B$_ε$ l'intersection des A$_k$$^{εk}$, où A$_k$$^{+1}$ désigne l'ensemble A$_k$ et A$_k$$^{−1}$ désigne son complémentaire dans X. Les B$_ε$ sont donc deux à deux disjoints, chaque A$_k$ est la réunion de ceux pour lesquels ε$_k$ = 1, et sa mesure est la somme des mesures de ces B$_ε$. L'hypothèse $\sum _{k=1}^{n}a_{k}{\mathbf {1} }_{A_{k}}=0$ se réécrit alors $\sum _{\varepsilon }a_{\varepsilon }{\mathbf {1} }_{B_{\varepsilon }}=0{\text{ avec }}a_{\varepsilon }=\sum _{\varepsilon _{k}=1}a_{k},$ c'est-à-dire que pour tout ε, B$_ε$ est vide ou a$_ε$ est nul. On a donc bien $\sum _{k=1}^{n}a_{k}\mu (A_{k})=\sum _{\varepsilon }a_{\varepsilon }\mu (B_{\varepsilon })=0.$
On vérifie ensuite que cette application $\int$ est linéaire, et qu'elle est croissante (si $f\leq g$ alors $\int _{X}f\,d\mu \leq \int _{X}g\,d\mu$ ) dès que $\mu$ est une mesure positive.
Dans le cas particulier où $X$ est un segment réel muni de la mesure de Lebesgue, $\int$ est définie en particulier sur les fonctions en escalier, et satisfait la relation de Chasles.

### Intégrale d'une fonction en escalier sur un segment

Les fonctions étagées sont à la théorie de l'intégration de Lebesgue ce que les fonctions en escalier sont à l'intégration de Riemann ou de Kurzweil-Henstock.
Par exemple, dans le cas particulier où $A_{1},\dots ,A_{n}$ sont des intervalles contigus de même longueur $\Delta$, et où les $a_{i}$ sont les évaluations d'une fonction $g$ au centre des intervalles $A_{i}$, l'expression $I_{n}=\Delta \sum _{i=1}^{n}a_{i}$ est un cas particulier de somme de Riemann.
Généralement présentées sur un intervalle donné, les fonctions en escaliers peuvent être prolongées par 0 sur $\mathbb {R}$ entier, ce qui permet de s'affranchir de l'intervalle et de considérer un unique ensemble de fonctions.