Matematyka.pl

"Niech X bedzie dowolnie ustalonym zbiorem oraz \(\displaystyle{ \mu^{*}(\emptyset) = 0}\) oraz \(\displaystyle{ \mu^{*}(A) = 1}\) gdy \(\displaystyle{ A \neq \emptyset}\).
Sprawdzic, ze \(\displaystyle{ \mu^{*}}\) jest miara zewnetrzna na \(\displaystyle{ X}\) i opisac klase zbiorów \(\displaystyle{ \mu^{*}}\)-mierzalnych."
Czy mógłby mi ktoś pomóc rozwiązać to zadanie? Będę bardzo wdzięczny.

Zauwaz, ze na klasie zbiorów mierzalnych \(\displaystyle{ \mu^*}\)
jest przeliczalnie addywna, i zawiera X i zbiór pusty. A czy moż zawierać jeszcze jakis inny zbiór ??
Pozdro