Miara bezatomowa

Miara bezatomowa – taka miara, że dowolny zbiór miary dodatniej można podzielić na dwa podzbiory miary dodatniej.

Własności

Dla każdego $\mu$-mierzalnego zbioru $A$ można skonstruować zstępującą rodzinę zbiorów $A=A_1\supset A_2\supset A_3\supset \dots$ taką, że

$\mu (A)=\mu (A_1)>\mu (A_2)>\mu (A_3)>\dots >0.$

jeśli miara nie jest bezatomowa to konstrukcja taka (dla pewnych zbiorów A) nie jest możliwa.

Dla miar bezatomowych prawdziwe jest także twierdzenie:

Dla dowolnego zbioru mierzalnego $A$ takiego, że $\mu (A)>0$ i dla każdej liczby rzeczywistej $0<b<\mu (A)$ istnieje taki podzbiór $B⊊A,$ że $\mu (B)=b.$

Skąd można wnioskować, że $\mu$ przyjmuje nieprzeliczanie wiele wartości.

Uogólnienie

Definicję miary bezatomowej można rozszerzyć na σ-addytywne funkcje zbiorów o wartościach w zbiorze liczb rzeczywistych. Będziemy je dalej nazywać miarami rzeczywistymi.

Definicja

Niech $𝔐$ będzie σ-ciałem, miarę rzeczywistą $\mu$ określona na $𝔐$ nazywamy bezatomową, jeśli dla każdego zbioru $A\in 𝔐$ takiego, że $|\mu |(A)>0,$ istnieje $𝔐\ni E\subseteq A$ taki, że $0<|\mu |(E)<|\mu |(A).$ Przez $|\mu |$ oznaczamy wahanie całkowite miary rzeczywistej $\mu .$

Zobacz też

• miara zupełna

Bibliografia

• Szablon:Cytuj książkę