Pensez à lire la Charte avant de poster !
Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
111 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Fonction borélienne - fonction Riemann intégrable

Envoyé par cuty 
Bonjour,

J' ai une question simple, une fonction intégrable au sens de Riemann est-elle automatiquement borélienne?
Salut cuty!
La réponse est non: il existe (moyennant l'axiome du choix) des fonctions Riemann intégrables qui ne sont pas mesurable.
Par contre, si tu considères la tribu des boréliens complété pour la mesure de Lebesgue (=tribu de Lebesgue) alors on a bien Riemann-intégrable implique Lebesgue-intégrable.
Tout ça est très bien expliqué dans "Théorie de l'Intégration" de Briane et Pagès.
Ciao!
Re: Fonction borélienne - fonction Riemann intégrable
il y a sept années
On a même un joli théorème qui résume tout ça : une fonction est Riemann intégrable ssi elle est continue sauf sur un ensemble de mesure nulle, en ce cas les intégrales au sens de Lebesgue et Riemann sont égales (non trivial).
Je crois que ça n'est pas dans Briane et Pagès, en tout cas tu peux le trouver dans Wheeden et Zygmund.



Edité 2 fois. La dernière correction date de il y a sept années et a été effectuée par AD.
Salut corentin.
Je ne suis pas d'accord avec "dans ce cas les intégrales au sens de L. er R. sont égales".

En effet,une fonction peut être continue en dehors d'un "négligeable" sans pour autant être borélienne.
Son intégrale au sens de Lebesgue n'est donc pas définie.

Rq: on trouve aussi le théorème que tu cites dans Briane & Pagès, en exercice du chapitre de rappel.

Pour finir, si on se place sur la tribu de Lebesgue, ton théorème devient vrai.
Je pinaille peut-être un peu...

Bonne aprem ciao!
Re: Fonction borélienne - fonction Riemann intégrable
il y a sept années
Ben, vu que tu venais de dire que la fonction n'était pas nécessairement borélienne, mais que ça marchait quand même si on complétait la tribu, je me plaçait implicitement dans le cas où on a complété la mesure de Lebesgue.
De toute façon, quand on parle d'intégrale de Lebesgue, on se place pas toujours sur des tribus complètes? (vu que compléter la tribu dans le cas général doit faire juste une page)
En refaisant la démonstration je viens de voir le point précis où on a besoin de la complétude de l'espace mesuré. Merci!
Auteur:

Votre adresse électronique:


Sujet:


Mesure anti-SPAM :
Recopiez le code que vous voyez dans le champ ci-dessous. Cette mesure sert à bloquer les robots informatiques qui tentent de polluer ce site.
       **  **        **        ********   *******  
       **  **        **        **        **     ** 
       **  **        **        **        **        
       **  **        **        ******    ********  
 **    **  **        **        **        **     ** 
 **    **  **        **        **        **     ** 
  ******   ********  ********  ********   *******  
Message:
A lire avant de poster!
Liste des forums - Statistiques du forum

Total
Discussions: 98 244, Messages: 903 070, Utilisateurs: 9 931.
Notre dernier utilisateur inscrit calme73.


Ce forum
Discussions: 18 500, Messages: 166 975.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page
Autres...