CDIS icon indicating copy to clipboard operation
CDIS copied to clipboard

Théorie générale de la mesure

Open boisgera opened this issue 6 years ago • 1 comments

  • Pourquoi ? Quel besoin. Elts de réponse: nécessité même sur R^3 de mesurer plusieurs grandeurs (comptage, longueur, surface, volume) et intégrale associée (cf Stokes & intégrale de surface). Difficultés théoriques à mesurer tous les ensembles (Banach-Tarski, etc.) et "patch" (mesure extérieure, ens. mesurable qui "sépare l'espace proprement" et qui est une tribu; mesure de Lebesgue via H^3, etc.)

  • Construction de l'intégrale à partir d'une mesure positive et d'une tribu.

  • Pptés: convergence, linéarité, Fubini, somme et intégrale, intégrale de Lebesgue et lien / intégrale de jauge.

boisgera avatar Jul 16 '19 13:07 boisgera

Avancement: fd3c655c7729597702dd986df92dbe785ea887fe (bases définition intégrale abstraite)

boisgera avatar Aug 10 '19 09:08 boisgera