|
Канторово множество.
Возьмем отрезок [0, 1]. Поделим его на три равные части. Средний отрезок выкинем. Останется два отрезка суммарной длины [ 2/3]. С каждым из них проделаем точно такую же операцию. Останется четыре отрезка суммарной длины [ 4/9] . Продолжая так далее до бесконечности, получаем множество, которое имеет меру меньше любой наперед заданной положительной, т. е. меру ноль. Можно установить взаимно однозначное соответствие между точками этого множества и бесконечными последовательностями нулей и единиц. Если при первом "выкидывании" наша точка попала в правый отрезок, поставим в начале последовательности 1, если в левый – 0 . Далее, после первого "выкидывания", получаем маленькую копию большого отрезка, с которой поступаем точно так же: если наша точка после выкидывания попала в правый отрезок, поставим 1, если в левый – 0, и т. д. Поскольку множество последовательностей нулей и единиц имеет мощность континуум, канторово множество также имеет мощность континуум. Кроме того, несложно доказать, что оно нигде не плотно.
Множество A называется нигде не плотным, если для любых различных точек a и b найдется отрезок [c, d] принадлежащий [a, b], не пересекающийся с A. А теперь пусть точки Канторова множества и есть центры крестиков или других фигур. Как Вам такой хитрый ход?:))
|