Zbiór mierzalny
Z Wikipedii
Zbiór mierzalny to zbiór należący do rodziny zbiorów będącej σ-ciałem w przestrzeni X. Powyższą przestrzeń nazywa się przestrzenią mierzalną i oznacza przez , a więc
- A jest mierzalny .
Przypisując zbiorom z pewną nieujemną liczbę rzeczywistą definiujemy tzw. miarę na tej przestrzeni. Taką przestrzeń nazywamy przestrzenią mierzalną z miarą i oznaczamy przez .
Jeżeli chcemy wskazać na miarę za pomocą której mierzone są zbiory, np. dowolną miarę μ, to o takich zbiorach możemy powiedzieć, iż są μ-mierzalne. Jeśli miara nie jest określona explicite, to często przyjmuje się w domyśle, iż chodzi o miarę Lebesgue'a.