Misura di Lebesgue
Devo dimostrare la seguente affermazione: "Ogni insieme di R^n misurabile con misura positiva ammette un sottoinsieme non misurabile".
Ho cercato di dimostrare l'affermazione equivalente: se tutti i sottoinsiemi di un insieme misurabile sono misurabili allora l'insieme ha misura nulla, ma non sono riuscito a venirne a capo.
Avete suggerimenti?
Ho cercato di dimostrare l'affermazione equivalente: se tutti i sottoinsiemi di un insieme misurabile sono misurabili allora l'insieme ha misura nulla, ma non sono riuscito a venirne a capo.
Avete suggerimenti?
Risposte
L'idea credo potrebbe essere quella di usare l'insieme di Vitali e il fatto che un insieme di misura positiva contiene un intervallo.
"Seneca":
L'idea credo potrebbe essere quella di usare l'insieme di Vitali e il fatto che un insieme di misura positiva contiene un intervallo.
Falso: gli irrazionali.
vero. per caso hai un'altra idea?
(grazie a entrambi comunque)
(grazie a entrambi comunque)
@ DajeForte: che sciocco, hai ragione.