Le produit de convolution de mesures régulières est une mesure régulière
Bonjour
Une mesure borélienne $\mu$ sur $\mathbb{R}$ est dite régulière s'il est vérifié que
Par définition on a que
Une mesure borélienne $\mu$ sur $\mathbb{R}$ est dite régulière s'il est vérifié que
- $\mu(K) < \infty$ pour chaque ensemble compact $K$.
- $\mu(A)=\inf\left\{{ \mu(O)\mid \textrm{ O est ouvert et } A \subset U }\right\}$ pour chaque ensemble borélien $A$.
Par définition on a que
\begin{equation}
(\mu \times \nu)(A)=\int_{\mathbb{R}^2}{1_{f^{-1}(A)} d(\mu \times \nu)}
\end{equation}
Mais $f^{-1}(A)=\left\{{(x,y)\mid x+y \in A}\right\}=\left\{{(x,a-x)\mid a \in A}\right\}$, par conséquent, si nous écrivons $A-x=\left\{{a-x\mid a \in A}\right\}$ alors, d'après le théorème de Fubini on a que (\mu \times \nu)(A)=\int_{\mathbb{R}^2}{1_{f^{-1}(A)} d(\mu \times \nu)}
\end{equation}
\begin{equation}
(\mu * \nu)(A)= \int_{\mathbb{R}}{g d \mu},
\end{equation}
(\mu * \nu)(A)= \int_{\mathbb{R}}{g d \mu},
\end{equation}
où $g(x,y)=\nu (A-x)$. Donc, si $\mu$ et $\nu$ étaient finis, la première propriété suit immédiatement et donc la seconde aussi. Mais je n'ai pas cette hypothèse. D'un autre côté, si on prend $K$ compact alors $K-x$ est compact et donc $\nu(K-x)$ est fini pour tout $x \in \mathbb{R}$ mais cela n'implique pas que l'intégrale de $g$ sera finie. Il semble donc que je n'utilise pas correctement l'hypothèse de régularité de $\mu$ et $\nu$.
Quelqu'un a-t-il des suggestions ?
Merci beaucoup d'avance.
Merci beaucoup d'avance.
Réponses
-
Tes mesures doivent être finies autrement ça ne marche pas.
Exemple : la mesure $\lambda$ de Lebesgue sur $\R$ est régulière mais $(\lambda\otimes \lambda) (f^{-1}([0,1]))$ n'est pas fini et pourtant $[0,1]$ est compact.
-
Oui, tu as raison! Merci beaucoup!
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres