Множество Витали
Мно́жество Вита́ли — первый пример множества вещественных чисел, не имеющего меры Лебега (то есть в определённом смысле ему нельзя приписать длину, ни нулевую, ни какую-либо ещё). Этот пример, ставший классическим, описал итальянский математик Джузеппе Витали в 1905 году[1].
История
правитьГодом ранее статьи Витали, в 1904 году, Анри Лебег опубликовал «Лекции об интегрировании и отыскании примитивных функций», где изложил свою теорию меры и высказал надежду, что она окажется применима к любому ограниченному множеству вещественных чисел. Открытие множества Витали показало, что эта надежда не оправдалась. В дальнейшем были обнаружены и другие контрпримеры, однако их построение всегда существенно опирается на аксиому выбора.
Построение
правитьРассмотрим следующее отношение эквивалентности на отрезке : , если разница рациональна. Как обычно, это отношение эквивалентности разбивает интервал на классы эквивалентности, каждый из которых имеет счётную мощность, но их количество имеет мощность континуума. Далее, из каждого класса эквивалентности выберем по представителю — одной точке (здесь мы пользуемся аксиомой выбора).
![{\displaystyle [0,\;1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2421e6dd8ecf6af6a9a44ebe41ff776dcf98d68e)
Тогда полученное множество представителей будет неизмеримым.
Действительно, если сдвинуть счётное число раз на все рациональные числа из интервала , то объединение будет содержать весь отрезок но при этом оно будет содержаться в отрезке .
![{\displaystyle [-1,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e3b7f14a6f70e614728c583409a0b9a8b9de01)
![{\displaystyle [0,1],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/971caee396752d8bf56711f55d2c3b1207d4a236)
![{\displaystyle [-1,2]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5b328607efcb680d283c480e4845d34b684636)
При этом «сдвинутые копии» множества не будут пересекаться друг с другом, что непосредственно следует из построения и .
Предположим, что измеримо по Лебегу, тогда возможны 2 варианта:
- Мера E равна нулю. Тогда мера интервала , как счётного объединения множеств меры нуль, тоже будет равна нулю.
- Мера E больше нуля. Тогда аналогично заключаем, что мера интервала , в силу счётной аддитивности меры Лебега, будет бесконечна.
![{\displaystyle [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/738f7d23bb2d9642bab520020873cccbef49768d)
В обоих случаях получается противоречие. Таким образом, множество Витали не измеримо по Лебегу.
См. также
правитьПримечания
править- ↑ Vitali G. Sul problema della misura dei gruppi di punti di una retta (итал.). — Bologna: Tip. Gamberini e Parmeggiani, 1905. — 5 p.
Литература
править- Брылевская Л. И. К истории проблемы меры в первой половине XX века // Историко-математические исследования. — М.: Наука, 1986. — № 30. — С. 97—112.
- Гелбаум Б., Олмстед Дж. Контрпримеры в анализе = Counterexamples in Analysis. — М.: ЛКИ, 2007. — 258 с. — ISBN 978-5-382-00046-6..
- Ященко И. В. Парадоксы теории множеств. — М.: МЦНМО, 2002. — Вып. 20. — 40 с. — (Библиотека „Математическое просвещение“). — ISBN 5-94057-003-8.