Fonction Simple

Fonction simple

Une fonction simple sur un ensemble E est une fonction numérique qui ne prend qu'un nombre fini de valeurs, i.e. l'ensemble f(E) est fini.

Caractérisation des fonctions simples

Les fonctions simples sont les combinaisons linéaires de fonctions indicatrices. En effet, supposons que

$f=\sum_{k=1}^N \lambda_k 1_{A_k}.$

On a alors

$f(E)\subset \biggl\{\sum_{k=1}^N1_{A_k}\epsilon_k \ \bigg|\ \epsilon_k \in \{ 0 ,1 \}^{ \{1,...,N \}} \biggr\}$.

Supposons que f(E) est fini et notons a₁,...a_N les valeurs non nulles de f, on pose A_j = f ^{− 1}(a_j) alors les ensembles A₁,....,A_N sont 2 à 2 disjoints et on a

$f=\sum_{k=1}^N \lambda_k 1_{A_k}$.

Fonctions simples et fonctions étagées en théorie de la mesure

En théorie de la mesure, définir l'intégrale d'une fonction simple est le premier ou le deuxième pas de la définition de l'intégrale par rapport à une mesure. Pour une mesure μ, on pose

$\int\,1_A\,\mathrm d\mu=\mu(A),$

puis

$\int\,f\,\mathrm d\mu=\sum_{k=1}^N \lambda_k\,\mu(A_k).$

On suppose pour cela que les ensembles concernés A,A₁,....,A_N appartiennent à la tribu sur laquelle la mesure μ est définie : on dit que la fonction f est mesurable. Ainsi les fonctions simples mesurables (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. Par exemple, dans le cas particulier où A₁,....,A_N sont des intervalles contigus de même longueur, et où les λ_i sont les évaluations d'une fonction f au début des intervalles A_i, l'expression $\scriptstyle\sum_{k=1}^N \lambda_k\,\mu(A_k)$ est appelée somme de Riemann.

Voir aussi

• Fonction étagée
• Fonction indicatrice

Ce document provient de « Fonction simple ».