Utilisateur:Sharayanan/BàS

Une page de Wikiversité.

Leçon : intégration de Lebesgue' (niveau ?)

Sommaire

[modifier] « Plan »

  • Tribus
  • Introduction à la théorie de la mesure
  • Construction de l'intégrale de Lebesgue
  • Espaces Lp

[modifier] Tribus

[modifier] Introduction

Pour définir la notion de mesure, il nous faut étendre la notion d'intervalle, pour inclure des objets plus généraux. Les tribus, ou σ-algèbres, remplissent ce rôle et seront omniprésentes dans le reste de notre étude.

[modifier] Définitions

Une partie T de A est une tribu lorsque :

  • \empty \in T ;
  • \forall B \in T, \quad \complement_AT \in A (stable par complémentarité);
  • si (T_n)_{n \in \N}, \left( \bigcup_{n \in \N} T_n \right) \in N (stable par unions dénombrables)

On appelle tribu engendrée par C la plus petite tribu contenant C, on la note σ(C).

Caractérisation

[modifier] Exemples

  • L'ensemble \mathcal P(A) des parties de A est une tribu.

[modifier] Tribu des boréliens

[modifier] Mesure

[modifier] Application mesurable

[modifier] Mesure de Borel

[modifier] Mesure de Lebesgue

[modifier] Intégrales

[modifier] Espaces Lp