Régularité d'une mesure diffuse et finie
Bonjour,
L'exercice 6 du fichier joint m'intéresse. Il s'agit de montrer qu'une mesure diffuse et finie sur tout compact est régulière.
Je n'arrive à faire l'exercice... sans jamais utiliser le fait que la mesure est diffuse.
Je pensais avoir à utiliser le résultat de l'exercice 2 à un moment ... mais non !
Pouvez-vous voir à quel moment il faut utiliser le fait que la mesure est diffuse ?
Merci bien.
Gilles
L'exercice 6 du fichier joint m'intéresse. Il s'agit de montrer qu'une mesure diffuse et finie sur tout compact est régulière.
Je n'arrive à faire l'exercice... sans jamais utiliser le fait que la mesure est diffuse.
Je pensais avoir à utiliser le résultat de l'exercice 2 à un moment ... mais non !
Pouvez-vous voir à quel moment il faut utiliser le fait que la mesure est diffuse ?
Merci bien.
Gilles
Réponses
-
Bonjour,
Comment tu démontres le 1-i si $\mu$ charge les points?Le 😄 Farceur -
Bonjour,
Oui je me doute bien que c'est cette question qui coince... mais je ne vois pas où est le problème.
Je prends $O=]a,b[$, $F_n = [a+1/n, b-1/n]$ (avec $n$ assez grand pour que $a+1/n < b-1/n$). Alors $O\F_n$ forme une suite décroissante d'intersection vide donc $\mu(O\F_n)$ converge vers 0... On en déduit que $\mu(O\F_n)$ est inférieur à un epsilon fixé à l'avance pour n assez grand. Et donc $]a,b[ \in T$...
Je ne vois pas où est le problème... -
a reflechirLe 😄 Farceur
-
euh, il me semble que l'intersection des $]a,a+1/n[$ est $\emptyset$ et pas $\{a\}$... et donc la limite est $0$ et pas $\mu(\{a\})$...
-
j'avais vu [ a la place de ] ( j'ai effacé avant que tu répliques :-D)
donc pas de problème pour 1-iLe 😄 Farceur -
Ok,
Et donc ? Vois-tu d'où viens le problème ? -
Pour le moment je reprends ( même ingrédient que dans l'exercice) une preuve sur la régularité de la mesure de Lebesgue ( qui est diffuse) . Dans une premier lecture , je ne vois pas l'utilisation dr fait que la mesure est diffuse http://mathonline.wikidot.com/the-regularity-properties-of-the-lebesgue-measure#toc0Le 😄 Farceur
-
En fait, j'ai fait tout l'exo sans utiliser la "diffusion" sauf que je n'ai pas encore réussi la régularité intérieure dans le cas où la mesure n'est pas finie. Peut-être que c'est là qu'on utilise la diffusion.... À voir
-
Dans ce papier https://adnab.me/files/cours/L3S1-IntegrationProbas.pdf theoreme page 36 on remplace $\R$ par un espace métrique séparable E, l'auteur démontre qu'une mesure finie sur les compacts est régulière ( regarde leur définition sur une mesure de Radon) ( sans parler de diffusion de la mesure :-D)Le 😄 Farceur
-
Super. Merci de t'être intéressé au problème. Et merci pour le fichier. Il répond tout à fait à la question. Moralité : il ne faut pas croire les yeux fermés n'importe quelle fiche de TD.
Et pour ton adage. Oui, tout à fait d'accord. Et c'est même limite dangereux cette capacité des maths à couper du monde.
Gilles -
Deux petite remarques :
-Je pense que la correction d'AD du premier message en change le sens. A mon avis il faut bien lire "j'arrive à faire l'exercice sans jamais utiliser la notion de mesure diffuse"
[C'est bien possible, et dans ce cas veuillez m'en excuser ! :-( AD]
-Dans la fiche de TD qui est mise en pièce jointe du premier message il est bien précisé que la propriété reste vraie sans l'hypothèse de mesure diffuse.
Il se peut donc que tu aies fait une erreur et utilisé sans t'en apercevoir la notion de mesure diffuse, il se peut aussi que tu aies fait autre chose que ce que l'auteur du sujet avait en tête et enfin il est aussi possible que l'auteur du sujet ait cru que l'hypothèse de mesure diffuse simplifiait les choses alors que ce n'était pas vraiment le cas. Tu peux donc continuer à avoir une confiance raisonnable dans les feuilles de TD ;-)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres