Fonction mesurable

Fonction mesurable

Soient E et F des espaces mesurables munis de leurs tribus respectives \mathcal{E} et \mathcal{F}.

Une fonction f de E dans F sera dite fonction mesurable de (E,\mathcal{E}) dans (F,\mathcal{F}) si la tribu image réciproque par f de la tribu \mathcal{F} est incluse dans \mathcal{E} , c'est-à-dire si, pour tout B appartenant à \mathcal{F} , son image réciproque f − 1(B) appartient à \mathcal{E}.

Applications à valeurs réelles

Si F est l'ensemble des réels et si \mathcal{F} est sa tribu borélienne, on dira simplement que f est une fonction mesurable sur (E,\mathcal{E}).

La tribu borélienne sur \R étant engendrée (par exemple) par les demi-droites ]a,+\infty[, le lemme de transport assure que f est une fonction mesurable sur (E,\mathcal{E}) si et seulement si l'image réciproque par f de chacune de ces demi-droites est dans \mathcal{E}.

Pour les fonctions à valeurs dans la droite achevée \overline{\mathbb R} = \mathbb R \cup \{-\infty,\infty\}, un résultat analogue se vérifie avec les intervalles ]a,\infty].

Propriétés de passage à la limite pour les fonctions à valeurs réelles

Soient E un espace mesurable et (f_n) \; une suite de fonctions mesurables de E dans \R (ou même dans \overline{\R}). Alors la fonction f définie par

f = sup nfn

(à valeurs dans \overline{\R}) est mesurable.

En effet, l'image réciproque par f de ]a,\infty]\; peut s'écrire

\bigcup_{n\in \mathbb{N}} \{x\in E, f_n(x)>a\},

et cet ensemble est une réunion dénombrable d'éléments de \mathcal{E}, donc un ensemble mesurable.

Par passage aux opposés, on en déduit que, si les fonctions fn de E dans \overline{\R} sont toutes mesurables, alors la fonction inf fn l'est également.

On peut alors montrer que les fonctions limites inférieure et supérieure \liminf_{n\rightarrow +\infty} f_n, \limsup_{n\rightarrow +\infty} f_n sont elles aussi mesurables.

En particulier, si la suite (fn) converge simplement vers une fonction f, alors f est mesurable.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction mesurable de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Fonction Mesurable — Soient E et F des espaces mesurables munis respectivement d une tribu et . Une fonction f de E dans F sera dite fonction mesurable de dans si l image réciproque de la tribu …   Wikipédia en Français

  • Fonction etagee — Fonction étagée En mathématiques, une fonction étagée est une fonction mesurable dont l image est finie. De façon équivalente, c est une fonction simple mesurable. Ces fonctions jouent un rôle important en théorie de l intégration au sens de… …   Wikipédia en Français

  • Fonction Étagée — En mathématiques, une fonction étagée est une fonction mesurable dont l image est finie. De façon équivalente, c est une fonction simple mesurable. Ces fonctions jouent un rôle important en théorie de l intégration au sens de Lebesgue. Il s agit… …   Wikipédia en Français

  • Fonction De Répartition — Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire réelle caractérise la lo …   Wikipédia en Français

  • Fonction de repartition — Fonction de répartition Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Fonction caractéristique (théorie des ensembles) — Cet article concerne les fonctions caractéristiques en théorie des ensembles. Pour les articles homonymes, voir Fonction caractéristique. Pour les fonctions indicatrices en analyse convexe, voir Fonction indicatrice (analyse convexe) …   Wikipédia en Français

  • Fonction de répartition — Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire réelle caractérise la… …   Wikipédia en Français

  • Fonction absolument continue — Absolue continuité En mathématiques, on introduit les notions de fonction absolument continue et de mesure absolument continue. Ces deux concepts entretiennent des rapports. Sommaire 1 Fonction absolument continue 1.1 Motivation 1.2 Définition …   Wikipédia en Français

  • Fonction Delta — Distribution de Dirac La distribution de Dirac, aussi appelée par abus de langage fonction δ de Dirac, introduite par Paul Dirac, peut être informellement considérée comme une fonction δ qui prend une « valeur » infinie en 0, et la… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”