Page 1 sur 1

Mesure de Dirac

MessagePosté: Samedi 08 Octobre 2016, 01:12
par pierresimpore
Bonjour, je voulais montrer que la mesure de Dirac est une mesure mais je bloque.
Soit $(E, T)$ un espace mesurable et $ a\in E$, on appelle mesure de Dirac de masse $a$ la mesure
$m_a : \begin{cases} m_a(A) =  1, & \text{si } a\in A  \\ m_a(A) = 0, & \text{si } a\notin A \end{cases}$
j'ai du mal à debuter donc besoin de piste.

Re: mesure de dirac

MessagePosté: Samedi 08 Octobre 2016, 15:47
par rebouxo
Utiliser la définition d'une mesure ? C'est loin tout cela, mais il me semble avoir fait cela comme exemple simple

Olivier

Re: Mesure de Dirac

MessagePosté: Samedi 08 Octobre 2016, 23:43
par balf
Il suffit de vérifier la σ-additivité: si $A_i$ est une famille dénombrables de parties deux à deux disjointes, et $A=\bigcup\limits_iA_i$ alors

$$\displaystyle\mu_a(A)=\sum_i \mu_a(A_i).$$

Deux cas sont à envisager:
  • ou bien $a$ n'appartient à aucun des $a_i$, donc pas à leur réunion $A$ non plus. En ce cas les deux membres sont égaux à 0 ;
  • ou bien $a$ appartient à l'un des $a_i$, donc aussi à $A$. Mais il appartient à l'un des $A_i$ exactement, puisque les éléments de la famille sont deux à deux disjoints. Les deux membres sont donc tous deux égaux à 1.
B.A.