Bonjour,
J´ai deux questions différentes concernant des détails de la théorie de la mesure:
1- Je lis dans la définition d´un espace -fini que l´espace (,M,) est un espace mesuré complet.
Je sais ce qu´est un espace mesuré, je sais aussi ce qu´est und espace topologique complet, mais bon Dieu, c´est quoi un espace mesuré complet?
2- Je lis le théorème suivant:
Soit (fn) und suite de fonctions mesurables de dans IR+, alors supnfn et infnfn sont des fonctions mesurables.
Ce n´est pas le théorème lui-même qui me pose problème. Mais je me demande ce qu´est supnfn. À mon avis cela ne peut être que la fonction qui à chaque x associe supn(fnx))
Mais alors, supnfn n´est pas forcément un élément de la suite (fn), non?
Pareil pour infnfn évidement.
Merci d´avance pour ces précisions.
Christophe
-----