Costruzione misura

Messaggioda anto_zoolander » 08/11/2018, 23:00

Ciao!

Prima antepongo il problema:
siano $X$ un insieme, $F$ un'algebra in $X$ e $p:F->[0,+infty]$ una misura $sigma-$additiva. Allora esistono una sigma algebra $Sigma$ che contiene $F$ e una misura $mu^(star):Sigma->[0,+infty]$ che estende $p$?

al fine di risolvere questo problema si passa per il concetto di misura esterna e in particolare si dimostra che la funzione seguente sia una misura esterna.

$mu^(star)(E)= i n f{ sum_(k=1)^(infty)p(A_i) | {A_i}_(i in NN) subseteqF, Esubseteqbigcup_(i=1)^(infty)A_i}$


ok ora la mia domanda è: visto che $mu^(star)$ è definita sull'insieme delle parti di $X$ ciò che salva questa costruzione è il fatto che esista sempre l'insieme $X$ che copre ogni suo sottoinsieme, giusto?

Edit
Testo nascosto, fai click qui per vederlo
modifica del dominio di $p$ in luogo dell’osservazione di dissonance
Ultima modifica di anto_zoolander il 09/11/2018, 15:35, modificato 1 volta in totale.
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3225 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Costruzione misura

Messaggioda otta96 » 08/11/2018, 23:47

Direi di si.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1441 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Costruzione misura

Messaggioda anto_zoolander » 09/11/2018, 00:12

Perfetto: perché non trovavo questo commento da nessuna parte :-D
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3226 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Costruzione misura

Messaggioda dissonance » 09/11/2018, 15:09

Secondo me \(p\) è definita su \(F\) e non su \(A\) (che infatti non hai mai definito)
dissonance
Moderatore
Moderatore
 
Messaggio: 14620 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Re: Costruzione misura

Messaggioda anto_zoolander » 09/11/2018, 15:13

Si scusa, ho sbagliato a scrivere
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3227 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo


Torna a Analisi superiore

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite