Mesure de comptage

La mesure de comptage (ou mesure de dénombrement) est une mesure positive associée à la cardinalité d'un ensemble.

Si l'on note $\mu$ la mesure de comptage sur la tribu des parties d'un ensemble $X$ , on a, pour tout $A\subset X$ :

\mu (A)={\begin{cases}\vert A\vert &{\text{si }}A{\text{ est fini}}\\+\infty &{\text{si }}A{\text{ est infini.}}\end{cases}}

Par définition de l'intégrale de Lebesgue, pour toute application $f:X\to \mathbb {R} _{+}$ , on a :

\int f\,\mathrm {d} \mu =\sum _{y\in \mathbb {R} _{+}}y|f^{-1}(\{y\})|=\sum _{x\in X}f(x)

L'intégrale pour la mesure de comptage est donc une somme (ou une série). Elle est particulièrement utile avec les suites numériques. Ainsi les divers théorèmes associés à la théorie de la mesure s'appliquent aux séries (inversion série/intégrale et série/limite par exemple).

Exemples

Soit $E$ un ensemble fini de réels. L'intégrale de l'application identité $\mathrm {id} _{E}$ est $\int \mathrm {id} _{E}\,\mathrm {d} \mu =\sum _{x\in E}x$ .

Soit une suite $(u_{n})_{n\in \mathbb {N} }$ de réels positifs et son application associée $u:\mathbb {N} \to \mathbb {R} _{+},\;n\mapsto u_{n}$ . On a $\int u\,\mathrm {d} \mu =\sum _{n\in \mathbb {N} }u_{n}$ .

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.