Dimostrare che due $\sigma$-algebra sono uguali

Silente
Buongiorno,
vorrei chiedere per favore un input sull'idea di fondo che usereste per dimostrare il seguente fatto:

$$\sigma(\mathcal{A})=\sigma(\mathcal{J})$$

dove:
1. $\mathcal{A}$ è l'insieme di tutte le unioni finite di intervalli disgiunti di $\mathbb{R}$ della forma $(a,b]$, con $-\infty\leq a 2. $\mathcal{J}$ è l'insieme di tutti i possibili singoli intervalli di $\mathbb{R}$, della stessa forma precedente;
3. $\sigma(\mathcal{A})$ e $\sigma(\mathcal{J})$ sono rispettivamente la più piccola $\sigma$-algebra contenente $\mathcal{A}$ e la più piccola $\sigma$-algebra contenente $\mathcal{J}$.

Ho tentato di descrivere come può essere fatto ogni insieme dentro $\sigma(\mathcal{A})$ per poi cercare di far vedere che tale insieme lo riesco a trovare pure in $\sigma(\mathcal{J})$, ma non mi sembra la strada giusta.

Risposte
ghira1
"Silent":

vorrei chiedere per favore un input sull'idea di fondo che usereste per dimostrare il seguente fatto:


Bastano queste idee? Mi pare di sì.

In una direzione: 1 è un numero finito.
Nell'altra: I numeri finiti sono numerabili.

Silente
E per vedere che anche tutti i possibili negati ci sono? Mi bloccavo lì.

Grazie.

otta96
Prova con la doppia inclusione facendo vedere che $\mathcal{A}\subseteq\sigma(\mathcal{J})$ e $\mathcal{J}\subseteq\sigma(\mathcal{A})$.

Silente
Grazie, ho capito :)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.