Problem wyznaczania pól powierzchni dla wszystkich figur Zbiory są wymierne oraz jest niewymierny lub jest niewymierny są rozłączne i oba mają zewnętrzną miarę Jordana równą 1. Suma tych dwóch figur (czyli wnętrze kwadratu) ma pole powierzchni równe 1, skąd możemy wnioskować, że pola tych figur nie można zdefiniować, używając podejścia Jordana. Istnienie nietrywialnej funkcji, którą dałoby się zmierzyć dowolną figurę i która dla dowolnego ciągu przeliczalnego rozłącznych figur dawałaby wynik równy ich sumie, jest niedowodliwe w standardowym systemie aksjomatów ZFC. Zbiór Vitalego i zbiór Bernsteina (istniejące przy założeniu aksjomatu wyboru) są niemierzalne w sensie Lebesgue’a. Przy założeniu aksjomatu wyboru istnieje skończenie addytywna miara mierząca wszystkie podzbiory przestrzeni. Przy założeniu AD, wszystkie podzbiory przestrzeni euklidesowych są mierzalne w sensie Lebesgue’a. Jeśli istnieje liczba mierzalna, to jest niesprzeczne że continuum jest rzeczywiście mierzalne i że istnieje miara na płaszczyźnie mierząca wszystkie jej podzbiory.
Źródło i licencja
Fragment artykułu Wikipedia — Pole powierzchni · historia autorów.
Tekst: CC BY-SA 4.0. Wydzielono fragment z dłuższego artykułu.