Множество Смита — Вольтерры — Кантора

Множество Смита — Вольтерры — Кантора (СВК, толстое множество Кантора, ε {displaystyle varepsilon } -множество Кантора) — пример множества точек на вещественной оси R {displaystyle mathbb {R} } , которое нигде не плотно (в частности, оно не содержит какого-либо интервала), но, однако, имеет положительную меру. Топологически эквивалентно классическому канторову множеству. Названо по именам математиков Генри Смита, Вито Вольтерры и Георга Кантора.

Построение

Аналогично построению канторова множества, множество Смита — Вольтерры — Кантора строится путём удаления определённых интервалов из единичного отрезка [ 0 , 1 ] {displaystyle [0,1]} .

Процесс начинается с удаления средней части длины 1 4 {displaystyle { frac {1}{4}}} из интервала [ 0 , 1 ] {displaystyle [0,1]} (что эквивалентно удалению 1 8 {displaystyle { frac {1}{8}}} отрезка с обеих сторон от средней точки 1 2 {displaystyle { frac {1}{2}}} ), так что оставшееся множество равно:

[ 0 , 3 8 ] ∪ [ 5 8 , 1 ] {displaystyle left[0,{frac {3}{8}} ight]cup left[{frac {5}{8}},1 ight]} .

Следующие шаги состоят из удаления подынтервалов длины ( 1 4 ) n {displaystyle ({ frac {1}{4}})^{n}} из середины каждого из оставшихся 2 n − 1 {displaystyle 2^{n-1}} интервалов. Так что на втором шаге удаляются интервалы ( 5 32 , 7 32 ) {displaystyle ({ frac {5}{32}},{ frac {7}{32}})} и ( 25 32 , 27 32 ) {displaystyle ({ frac {25}{32}},{ frac {27}{32}})} , оставляя:

[ 0 , 5 32 ] ∪ [ 7 32 , 3 8 ] ∪ [ 5 8 , 25 32 ] ∪ [ 27 32 , 1 ] {displaystyle left[0,{frac {5}{32}} ight]cup left[{frac {7}{32}},{frac {3}{8}} ight]cup left[{frac {5}{8}},{frac {25}{32}} ight]cup left[{frac {27}{32}},1 ight]} .

Процесс удалений продолжается бесконечно, множество Смита — Вольтерры — Кантора составляется из оставшихся точек.

Каждая последующая итерация в построении множества удаляет пропорционально меньше из оставшихся интервалов. Этот процесс отличается от построения канторова множества, где пропорция удаляемой части на каждом интервале остаётся постоянной. В результате множество Смита — Вольтерры — Кантора имеет положительную меру, в то время как канторово множество имеет меру нуль.

Свойства

По построению, множество Смита — Вольтерры — Кантора не содержит интервалов, а потому имеет пустую внутренность. Множество является также пересечением последовательности замкнутых множеств, что означает, что множество замкнуто. В течение процесса построения множества из отрезка [ 0 , 1 ] {displaystyle [0,1]} удаляются интервалы с общей длиной:

∑ n = 0 ∞ 2 n 2 2 n + 2 = 1 4 + 1 8 + 1 16 + ⋯ = 1 2 {displaystyle sum _{n=0}^{infty }{frac {2^{n}}{2^{2n+2}}}={frac {1}{4}}+{frac {1}{8}}+{frac {1}{16}}+cdots ={frac {1}{2}}} ,

что показывает, что оставшиеся точки имеют положительную меру 1 2 {displaystyle { frac {1}{2}}} . Это делает множество Смита — Вольтерры — Кантора примером замкнутого множества, граница которого имеет положительную меру Лебега. Также множество является примером компактного множества, неизмеримого по Жордану. Характеристическая функция множества является примером ограниченной функции, не интегрируемой по Риману на отрезке ( 0 , 1 ) {displaystyle (0,1)} .

Множество Смита — Вольтерры — Кантора используется при построении функции Вольтерры.

Другие толстые множества Кантора

В общем случае можно удалить r b {displaystyle r_{b}} из каждого оставшегося подынтервала на n {displaystyle n} -ом шаге алгоритма, что приводит к множествам, подобным множествам Кантора. Полученное множество будет иметь положительную меру тогда и только тогда, когда сумма последовательности меньше меры исходного интервала. Если середина интервала длины ( a ) n {displaystyle (a)^{n}} удаляется из [ 0 , 1 ] {displaystyle [0,1]} на каждой n {displaystyle n} -й итерации, где a ∈ R {displaystyle ain mathbb {R} } , мера Лебега оставшейся части равна:

∑ n = 0 ∞ 2 n a n + 1 = a ∑ n = 0 ∞ ( 2 a ) n = a 1 1 − 2 a {displaystyle sum _{n=0}^{infty }2^{n}a^{n+1}=asum _{n=0}^{infty }(2a)^{n}=a{dfrac {1}{1-2a}}} .

Таким образом, множество будет иметь положительную меру тогда и только тогда, когда:

1 − a 1 − 2 a > 0 ≡ a < 1 3 {displaystyle 1-{dfrac {a}{1-2a}}>0equiv a<{dfrac {1}{3}}} .

Прямое произведение множеств Смита — Вольтерры — Кантора может быть использовано для поиска имеющих ненулевую меру вполне несвязных множеств в пространствах более высоких размерностей. Применяя теоремы Данжуа – Риса к двумерным множествам этого типа можно найти жорданову кривую, имеющую положительную площадь .