Recherchez sur tout Techno-Science.net
       
Techno-Science.net : Suivez l'actualité des sciences et des technologies, découvrez, commentez
 A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | +
Fonction mesurable

Soient E et F des espaces mesurables munis respectivement d'une tribu \mathfrak{E} et \mathfrak{F}.

Une fonction f de E dans F sera dite fonction mesurable de (E,\mathfrak{E}) dans (F,\mathfrak{F}) si l'image réciproque de la tribu \mathfrak{F} est une sous-tribu de \mathfrak{E}.

Applications à valeurs réelles

Il est à noter que si F est l'ensemble (En théorie des ensembles, un ensemble désigne intuitivement une collection d’objets (les éléments de l'ensemble), « une multitude qui peut être comprise comme un tout »,...) des réels et si \mathfrak{F} est la tribu borélienne, on dira simplement que f est une fonction mesurable (Soient E et F des espaces mesurables munis respectivement d'une tribu et .) sur (E,\mathfrak{E}).

Il suffit alors de vérifier que l'image réciproque de tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou l'univers.) ouvert est dans \mathfrak{E}.

Propriétés de passage à la limite pour les fonctions positives

Soit E un espace mesurable (On appelle espace mesurable le couple (X,Ω).) et (f_n) \; une suite de fonctions mesurable de E dans \mathbb{R}_+ alors la fonction f \; définie par f = \sup_n f_n l'est également.

Démonstration: on considère pour cela l'image réciproque de ]a,+\infty[ _;, que l'on peut écrire

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

on obtient une réunion dénombrable d'éléments de \mathfrak{E} donc un ensemble mesurable.

Par passage au complémentaire, on conclut que l'image réciproque de [0,a] est aussi mesurable. Les intervalles de la forme [0,a[ sont réunion dénombrable des ensembles précédents et donc sont mesurable. Il en est de même pour les intervalles de la forme ]a,b[ obtenus par intersection. Or cette famille engendre la tribu. CQFD (CQFD (ou c.q.f.d.[1]) est l'abréviation de « ce qu'il fallait démontrer », ponctuant, comme un repère visuel, la fin...)

Si les fonctions fn de X dans \mathbb{R}_+ sont toutes mesurables, la fonction inf fn l'est également, ainsi que les fonctions liminf fn, limsup fn.

En particulier, si la limite existe elle est mesurable.

Les démonstrations sont du même type.

Source: Wikipédia publiée sous licence CC-BY-SA 3.0.

Vous pouvez soumettre une modification à cette définition sur cette page. La liste des auteurs de cet article est disponible ici.