Mesure sigma-fini et mesure fini sur les compacts

Discussions générales concernant les mathématiques.
[forum modéré par les modérateurs globaux du site]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
brahim121985
Utilisateur confirmé
Utilisateur confirmé
Messages : 90
Inscription : mercredi 21 janvier 2009, 22:53

Mesure sigma-fini et mesure fini sur les compacts

Message par brahim121985 »

Bonjour,

Est-ce-que toute mesure sigma-finie sur la tribu borélienne est fini sur les compacts ?
c'est vraie pour la mesure de Lebesgue , mais est-ce vraie pour toutes mesure sigma-finie ?

Merci de me répondre

Valvino
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 921
Inscription : mercredi 21 mars 2007, 10:59

Re: mesure sigma-fini et mesure fini sur les compacts

Message par Valvino »

Je crois que oui. Regarde ce qu'il se passe quand tu extrais un sous-recouvrement fini.

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: mesure sigma-fini et mesure fini sur les compacts

Message par OG »

Bonsoir

je crois que non. Prendre $\mu(A)=\int_A \frac{1}{|x|} dx$ (en mettant 0 en 0).

O.G.

brahim121985
Utilisateur confirmé
Utilisateur confirmé
Messages : 90
Inscription : mercredi 21 janvier 2009, 22:53

Re: mesure sigma-fini et mesure fini sur les compacts

Message par brahim121985 »

oui Mr.OG, qu'elle est alors la suite dénombrable de mesurable de mesure fini qui recouvre $\mathbb{R}$ ?

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: mesure sigma-fini et mesure fini sur les compacts

Message par OG »

$]-n,-1/n[\cup \{0\}\cup]1/n,n[$

Cette question intervient dans quel problème ?

O.G.

Valvino
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 921
Inscription : mercredi 21 mars 2007, 10:59

Re: mesure sigma-fini et mesure fini sur les compacts

Message par Valvino »

Désolé, je me suis embrouillé dans la définition de la mesure $\sigma$-finie... Voilà ce que c'est de parler sur des sujets étudiés il y a un an :mrgreen:

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: mesure sigma-fini et mesure fini sur les compacts

Message par OG »

Valvino a écrit :Désolé, je me suis embrouillé dans la définition de la mesure $\sigma$-finie... Voilà ce que c'est de parler sur des sujets étudiés il y a un an :mrgreen:
étudié il y a plus de temps encore... La mesure de Lesbesgue ça va mais les autres...

O.G.

brahim121985
Utilisateur confirmé
Utilisateur confirmé
Messages : 90
Inscription : mercredi 21 janvier 2009, 22:53

Re: mesure sigma-fini et mesure fini sur les compacts

Message par brahim121985 »

oui Mr. OG , j'ai rencontré ceci dans ce problème :

toutes mesure $\sigma$-finie est une forme linéaire positive de l'ensemble des fonction indéfiniment dérivable à support compacts (noté $D(\Omega)$) vers $\lathbb{R}$ , c-à-d : cette application est une forme linéaire positive( l'image d'une fonction positive est positive):

$$D(\Omega)& \longrightarrow& \mathbb{R} $$
$$ \phi & \longmapsto &\int_\mathbb{R} \phi \ d\mu$$
elle est clair que $\mu$ définit une forme linéaire positive, je me suis alors demandé pourquoi elle doit étre $\sigma$-finie, c'est certainement pour que l'intégrale ne soit pas infinie :
$$|\int_\mathbb{R} \phi \ d\mu|=|\int_{supp(\phi)} \phi \ d\mu| \leq sup |\phi|. \ \mu(supp(\phi)) $$ donc $\mu$ doit être finie sur les compact , or elle est juste $\sigma$-finie .

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: Mesure sigma-fini et mesure fini sur les compacts

Message par OG »

Bonjour

Il faut une hypothèse supplémentaire sur $\mu$, $\sigma$-finie ne suffit pas.
Ce n'est pas nécessairement une forme linéaire vu que $\int_\R \Phi d\mu$ n'est pas
définie ou à valeurs dans $\R$.

O.G.

brahim121985
Utilisateur confirmé
Utilisateur confirmé
Messages : 90
Inscription : mercredi 21 janvier 2009, 22:53

Re: Mesure sigma-fini et mesure fini sur les compacts

Message par brahim121985 »

je vois que si $\mu$ est une mesure de Radon sur $\mathbb{R}$ , ça définie bien une forme linéaire n'est ce pas ?

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: Mesure sigma-fini et mesure fini sur les compacts

Message par OG »

brahim121985 a écrit :je vois que si $\mu$ est une mesure de Radon sur $\mathbb{R}$ , ça définie bien une forme linéaire n'est ce pas ?
Oui et là tu as bien une hypothèse supplémentaire sur la mesure : localement borné,
directement liée avec la topologie.

O.G.

OG
Modérateur
Modérateur
Messages : 2293
Inscription : lundi 12 mars 2007, 11:20
Localisation : Rouen

Re: Mesure sigma-fini et mesure fini sur les compacts

Message par OG »

Il faut se méfier tout de même dans le cas d'un ouvert borné,
il se peut qu'il y ait explosion sur le bord. Il faut alors ajouter
mesure de Radon à variation bornée.
Tout ceci est en lien directe avec les formes linéaires continues
sur l'espace des fonctions continues sur un ouvert borné: isomorphe.

O.G.