Набор Кантора

редактировать
Набор точек на отрезке линии

В математике, Кантор set - это набор точек, лежащих на одном отрезке линии, который имеет ряд замечательных и глубоких свойств. Он был открыт в 1874 году Генри Джоном Стивеном Смитом и представлен немецким математиком Георгом Кантором в 1883 году.

Рассмотрев этот набор, Кантор и другие помогли заложить основы современной точечной топологии. Хотя сам Кантор определен набор в общем, абстрактном смысле, наиболее распространенной современной конструкцией является троичный набор Кантора, построенный путем стандартной трети линейного сегмента и последующего повторения процесса оставшимися более короткими сегментами.. Сам Кантор представил троичную конструкцию лишь в качестве примера более общего множественного множества, нигде не плотно.

Увеличить масштаб множества Кантора. Каждая точка в наборе представлена ​​здесь вертикальной линией.
Содержание
  • 1 Построение и формула троичного набора
  • 2 Состав
  • 3 Свойства
    • 3.1 Мощность
    • 3.2 Самоподобие
    • 3.3 Закон сохранение
    • 3.4 Топологические и аналитические свойства
    • 3.5 Мера и вероятность
    • 3.6 Числа Кантора
    • 3.7 Теория дескриптивных множеств
  • 4 варианта
    • 4.1 Множество Смита - Вольтерра - Кантора
    • 4.2 Стохастический набор Кантора
    • 4.3 Канторовская пыль
  • 5 Исторические заметки
  • 6 См. Также
  • 7 Примечания
  • 8 Ссылки
  • 9 Внешние ссылки
Построение и формула тройного множества

троичный набор Кантора C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} создается путем итеративного удаления открытый средней трети из набора отрезки линии. Первый начинается с удаления открытой средней трети (1/3, 2/3) из интервала [0, 1], оставляя два отрезка линии: [0, 1/3] ∪ [2/3, 1]. Затем открылась средняя часть из этих оставшихся сегментов: [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1 ]. Этот процесс продолжается до бесконечности, где n-й набор равен

C n = C n - 1 3 ∪ (2 3 + C n - 1 3) для n ≥ 1, а C 0 = [ 0, 1]. {\ displaystyle C_ {n} = {\ frac {C_ {n-1}} {3}} \ cup \ left ({\ frac {2} {3}} + {\ frac {C_ {n-1}})) {3}} \ right) {\ text {for}} n \ geq 1, {\ text {and}} C_ {0} = [0,1].}{\ displaystyle C_ {n} = {\ frac {C_ {n-1}} {3}} \ cup \ left ({\ frac {2} {3}} + {\ frac {C_ {n-1) }} {3}} \ right) {\ text {for}} n \ geq 1, {\ text {и}} C_ {0} = [0,1].}

Тернарный набор Кантора содержит все точки в интервале [0, 1], которые не удаляются ни на одном этапе этого бесконечного процесса:

C: = ⋂ n = 1 ∞ C n. {\ displaystyle {\ mathcal {C}}: = \ bigcap _ {n = 1} ^ {\ infty} C_ {n}.}{\ displaystyle {\ mathcal {C}}: = \ bigcap _ {n = 1} ^ {\ infty} C_ {n}.}

Первые шесть шагов этого процесса показаны ниже.

троичный набор Кантора за семь итераций

Используя идею самоподобных преобразований, TL (x) = x / 3, TR (x) = (2 + x) / 3 {\ displaystyle T_ {L} (x) = x / 3, T_ {R } (x) = (2 + x) / 3}{\ displaystyle T_ {L} (x) = x / 3, T_ {R} (x) = (2 + x) / 3} и C n = TL (C n - 1) ∪ TR (C n - 1), {\ displaystyle C_ {n} = T_ {L} (C_ {n-1}) \ cup T_ {R} (C_ {n-1}),}{\ displaystyle C_ {n} = T_ {L} ( C_ {n-1}) \ чашка T_ {R} (C_ {n-1}),} явные закрытые формулы для набора Кантора:

С знак равно [0, 1] ∖ ⋃ N знак равно 0 ∞ ⋃ К знак равно 0 3 N - 1 (3 К + 1 3 N + 1, 3 К + 2 3 N + 1), {\ Displaystyle {\ mathcal {C}} = [ 0,1] \ smallsetminus \ bigcup _ {n = 0} ^ {\ infty} \ bigcup _ {k = 0} ^ {3 ^ {n} -1} \ left ({\ frac {3k + 1} {3 ^ {n + 1}}}, {\ frac {3k + 2} {3 ^ {n + 1}}} \ right),}{\ displaystyle { \ mathcal {C}} = [0,1] \ smallsetminus \ bigcup _ {n = 0} ^ {\ infty} \ bigcup _ {k = 0} ^ {3 ^ {n} -1} \ left ({\ frac {3k + 1} {3 ^ {n + 1}}}, {\ frac {3k + 2} {3 ^ {n + 1}}} \ right),}

где каждая средняя треть удаляется как открытый интервал (3 к + 1 3 n + 1, 3 к + 2 3 n + 1) {\ displaystyle \ textstyle \ left ({\ frac {3k + 1} {3 ^ {n + 1}}}, {\ frac {3k + 2}) {3 ^ {n + 1}}} \ right)}{ \ displaystyle \ textstyle \ left ({\ frac {3k + 1} {3 ^ {n + 1}}}, {\ frac {3k + 2} {3 ^ {n + 1}) }} \ right)} из закрытого интервала [3 k + 0 3 n + 1, 3 k + 3 3 n + 1] = [к + 0 3 N, К + 1 3 N] {\ displaystyle \ textstyle \ left [{\ frac { 3k + 0} {3 ^ {n + 1}}}, {\ frac {3k + 3} {3 ^ {n + 1}}} \ right] = \ left [{\ frac {k + 0} {3 ^ {n}}}, {\ frac {k + 1} {3 ^ {n}}} \ right]}{\ displaystyle \ textstyle \ left [{\ frac {3k + 0} {3 ^ {n + 1}}}}, {\ frac {3k + 3} {3 ^ {n + 1}}} \ right] = \ left [{\ frac {k + 0} {3 ^ {n}}}, {\ frac {k + 1} {3 ^ {n}}} \ right]} вокруг него, или

C = ⋂ n = 1 ∞ ⋃ k = 0 3 n - 1 - 1 ([3 k + 0 3 n, 3 k + 1 3 n] ∪ [3 k + 2 3 n, 3 k + 3 3 n]), {\ displaystyle {\ mathcal {C} } = \ bigcap _ {n = 1} ^ {\ infty} \ bigcup _ {k = 0} ^ {3 ^ {n-1} -1} \ left (\ left [{\ frac {3k + 0} { 3 ^ {n}}}, {\ frac {3k +1} {3 ^ {n}}} \ right] \ cup \ left [{\ frac {3k + 2} {3 ^ {n}}}, { \ frac {3k + 3} {3 ^ {n}]}} \ right] \ right),}{\ displaystyle {\ mathcal {C}} = \ bigcap _ {n = 1} ^ {\ infty} \ bigcup _ {k = 0} ^ {3 ^ {n-1} -1} \ left (\ left [{\ frac {3k + 0} {3 ^ {n}}}, {\ frac {3k + 1} {3 ^ {n}}} \ right]) \ cup \ left [{\ frac {3k + 2} {3 ^ {n}}}, {\ frac {3k + 3} {3 ^ {n}}} \ right] \ right),}

где средняя треть (3 k + 1 3 n, 3 k + 2 3 n) {\ displaystyle \ textstyle \ left ({\ frac {3k + 1} {3 ^ {n}}}, {\ frac {3k + 2} {3 ^ {n}}} \ right)}{\ displaystyle \ textstyle \ left ({\ гидроразрыва {3k + 1} {3 ^ { n}}}, {\ frac {3k + 2}) {3 ^ {n}}} \ right)} предыдущий закрытого интервала [k + 0 3 n - 1, к + 1 3 n - 1] = [3 k + 0 3 n, 3 k + 3 3 n] {\ displaystyle \ textstyle \ left [{\ frac { k + 0} {3 ^ {n-1}}}, {\ frac {k + 1} {3 ^ {n-1}}} \ right] = \ left [{\ frac {3k + 0} {3 ^ {n}}}, {\ frac {3k + 3} {3 ^ {n}}} \ right]}{\ displaystyle \ textstyle \ left [{\ frac {k + 0} {3 ^ {n-1}}}, {\ frac { k + 1} {3 ^ {n-1}}} \ right] = \ left [{\ frac {3k + 0} {3 ^ {n}}}, {\ frac {3k + 3} {3 ^ { n}}} \ right]} у даляется пересечением с [3 k + 0 3 n, 3 k + 1 3 n] ∪ [3 k + 2 3 n, 3 k + 3 3 n]. {\ displaystyle \ textstyle \ left [{\ frac {3k + 0} {3 ^ {n}}}, {\ frac {3k + 1} {3 ^ {n}}} \ right] \ cup \ left [{ \ frac {3k + 2} {3 ^ {n}}}, {\ frac {3k + 3} {3 ^ {n}}} \ right].}{\ displaystyle \ textstyle \ left [{\ frac {3k + 0} {3 ^ {n}}}, {\ гидроразрыв {3k + 1} {3 ^ {n}}} \ right] \ cup \ left [{\ frac {3k + 2} {3 ^ {n}}}, {\ frac {3k + 3} {3 ^ {n}}} \ right].}

Этот процесс среднего третей является простым правилом примера конечного подразделения. Тройной набор Кантора является примером фрактальной строки.

Канторов устанавливает двоичное tree.svg

В арифметических терминах набор Кантора состоит из всех действующих чисел единичного интервала [0, 1] {\ displaystyle [0,1]}[0,1 ], которые не требуют цифры 1, чтобы быть выраженными как троичная (основание 3) дробь. Как показано на приведенной выше диаграмме, каждая точка в каждой точке на каком-либо уровне удаленного сегмента находится точка находится в бесконечно глубоком двоичном дереве, где путь проходит влево или вправо на каждом уровне в зависимости от того, на какой стороне удаленного сегмента находится точка. Представление каждого поворота влево с помощью 2 дает троичную дробь для точки. Замена цифр «2» в этих дробях цифрами «1» дает сюръективное (а не инъективное ) отображение между набором Кантора и набором двоичных дробей в интервале [0, 1].

Состав

Набор Кантора определен как набор не исключенных точек, доля (т. Е. такт ) оставшегося единичного интервала может быть найдена по общему длине удалена. Эта сумма равна геометрической прогрессии

∑ n = 0 ∞ 2 n 3 n + 1 = 1 3 + 2 9 + 4 27 + 8 81 + ⋯ = 1 3 (1 1 - 2 3) = 1. { \ displaystyle \ sum _ {n = 0} ^ {\ infty} {\ frac {2 ^ {n}} {3 ^ {n + 1}}} = {\ frac {1} {3}} + {\ frac {2} {9}} + {\ frac {4} {27}} + {\ frac {8} {81}} + \ cdots = {\ frac {1} {3}} \ left ({\ frac { 1} {1 - {\ frac {2} {3}}}} \ right) = 1.}\ sum_ {n = 0} ^ \ infty \ frac {2 ^ n} {3 ^ {n + 1}} = \ frac {1} {3} + \ frac {2} {9} + \ frac {4} {27} + \ frac {8} {81} + \ cdots = \ frac {1} {3} \ left (\ frac {1} {1- \ frac {2} {3}} \ right) = 1.

Таким образом, соотношение слева равно 1 - 1 = 0.

Этот расчет предполагает, что набор Кантора не может содержать какой-либо интервал ненулевой длины. Может показаться удивительным, что что-то остаться - сумма удаленных интервалов равна длине исходного интервала. Однако более пристальный взгляд на процесс показывает, что происходит удаление «средней трети» каждого интервала связано с удалением открытых (наборов, которые не включают свои конечные точки). Таким образом, удаление отрезка (⁄ 3, ⁄ 3) из исходного интервала [0, 1] оставляет позади точки ⁄ 3 и ⁄ 3. Последующие шаги не удаляют эти (или другие) конечные точки, поскольку удаленные интервалы всегда являются внутренними по оставшимся интервалам. Таким образом, множество каналов не является пустым и включает в себя бесчисленное бесконечное количество точек (как следует из приведенного выше описания в терминах путей в бесконечном двоичном дереве).

Может показаться, что остались только концы строительных сегментов, но это тоже не так. Число ⁄ 4, например, имеет уникальную троичную форму 0,020202... = 0,02. Он находится в нижней трети, и в верхней трети этой трети, и в нижней трети этой верхней трети, и так далее. Он никогда не находится в одном из средних сегментов, он никогда не удаляется. Тем не менее, он не является конечной точкой какого-либо среднего сегмента, что он не является кратен какой-либо степени 1/3. Все конечные точки отрезков являются конечными троичными дробями и имеющимся в множестве

{x ∈ [0, 1] ∣ ∃ i ∈ N 0: x 3 i ∈ Z} (⊂ N 0 3 - N 0) {\ displaystyle \ { x \ in [0,1] \ mid \ exists i \ in \ mathbb {N} _ {0}: x \, 3 ^ {i} \ in \ mathbb {Z} \} \ qquad {\ Bigl (} \ subset \ mathbb {N} _ {0} \, 3 ^ {- \ mathbb {N} _ {0}} {\ Bigr)}}{\ displaystyle \ {x \ in [0,1] \ mid \ exists i \ in \ mathbb {N} _ {0}: x \, 3 ^ {i} \ in \ mathbb {Z} \} \ qquad {\ Bigl (} \ subset \ mathbb {N} _ {0} \, 3 ^ {- \ mathbb {N} _ {0}} {\ Bigr)}}

который представляет собой счетно бесконечное множество. Что касается мощности, почти все элементы набора Кантора не являются конечными точками интервалов, и весь набор Кантора является не счетным.

Свойства

Мощность

Можно показать, что в этом процессе осталось столько же точек, сколько было вначале, и, следовательно, множество Кантора бесчисленное множество. Чтобы убедиться в этом, мы показываем, что существует функция из набора Кантора C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} до закрытого интервала [0,1], который равен сюръективный (т.е. отображает из C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} на [0,1]), так что мощность C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} не меньше, чем [0,1]. C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} является подмножеством [0,1], его мощность также не больше, поэтому две мощности должны быть фактически равны, теорема Кантора - Бернштейна - Шредера.

Чтобы построить эту функцию, рассмотрим точки в интервале [0, 1] в терминах системы счисления с основанием 3 (или тро ). Напомним, что правильные троичные дроби, точнее: элементы (Z ∖ {0}) ⋅ 3 - N 0 {\ displaystyle {\ bigl (} \ mathbb {Z} \ smallsetminus \ {0 \} {\ bigr)} \ cdot 3 ^ {- \ mathbb {N} _ {0}}}{\ displaystyle {\ bigl (} \ mathbb {Z} \ smallsetminus \ {0 \} {\ bigr)} \ cdot 3 ^ {- \ mathbb {N} _ {0}}} , допускайте более одного представления в этой нотации, например, ⁄ 3, которые могут записывается как 0,1 3 = 0,10 3, но также как 0,0222... 3 = 0,02 3 и ⁄ 3, который можно записать как 0,2 3 = 0,20 3, но также как 0,1222... 3 = 0, 12 3. Когда мы удаляем среднюю третье, она содержит число с троичными цифрами вида 0.1xxxxx... 3, где xxxxx... 3 находится строго между 00000... 3 и 22222... 3. Таким образом, числа, оставшиеся после первого шага, состоят из

  • чисел 0,0xxxxx... 3 (включая 0,022222... 3 = 1/3)
  • Числа вида 0,2xxxxx... 3 (включая 0,222222... 3 = 1)

Это можно резюмировать, сказав, что эти число с троичными такое представление, что первая цифра после точки счисления не равно 1, - это цифры, оставшиеся после первого шага.

На втором этапе удаляются числа вида 0,01xxxx... 3 и 0,21xxxx... 3, и (с должным вниманием к конечным точкам) сделать вывод, что оставшиеся числа - это число с троичными числами, где ни одна из первых двух цифр не равна 1.

Продолжая таким образом, чтобы число не было исключено на шаге n, оно должно иметь троичную форму. Представление, n-я цифра, которого не соответствует 1. число входило в набор каналов, его нельзя исключить ни на каком этапе.

Следует отметить, что числа типа 1, ⁄ 3 = 0,1 3 и ⁄ 9 = 0,21 3 находятся в наборе Кантора, так как они имеют троичные числа, состоящие полностью из нулей и двоек: 1 = 0,222... 3 = 0,2 3, ⁄ 3 = 0,0222... 3 = 0,02 3 и ⁄ 9 = 0,20222... 3 = 0,202 3. Все последние числа являются «конечными точками», и эти примеры являются правильными предельными точками из C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} . То же самое верно для левых предельных точек C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} , e. грамм. ⁄ 3 = 0,1222... 3 = 0,12 3 = 0,20 3 и ⁄ 9 = 0,21222... 3 = 0,212 3 = 0,220 3. Все эти конечные точки являются собственно троичными дробями (элементы Z ⋅ 3 - N 0 {\ displaystyle \ mathbb {Z} \ cdot 3 ^ {- \ mathbb {N} _ {0}}}{\ displaystyle \ mathbb {Z} \ cdot 3 ^ {- \ mathbb {N} _ {0}}} ) вида ⁄ q, где знаменатель q представляет собой степень 3, когда дробь находится в его несократимой форме. Тернарное представление этих дробей завершается (т. Конечно Е.) или - напомним, что каждая отдельная троичная дробь имеет 2 представления - бесконечно и «конечным» либо бесконечным числом повторяющихся нулей, либо бесконечным числом повторяющихся двоек. Такая дробь является левой предельной точкой C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} , если ее троичное представление не содержит элементов и «конечных» бесконечных повторяющихся нули. Точно так же правильная троичная дробь является правой предельной точкой C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} , если ее троичное расширение снова не содержит единиц и «конечных» бесконечным числом повторяющихся 2с.

Этот набор конечных точек плотный в C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} (но не плотный в [0, 1]) и составляет счетно бесконечное множество. Числа в C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} , которые не являются конечными точками, также имеют 0 и 2 в их троичном представлении, но они не могут заканчиваться бесконечным повторением. 0, ни цифры 2, потому что тогда это будет конечная точка.

Функция от C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} до [0,1] определяется путем взятия троичных чисел, которые полностью состоят из нулей и 2s, заменяя все 2 на 1 и интерпретировать последовательность как двоичное представление действительного числа. В формуле

е (∑ k ∈ N ak 3 - k) = ∑ k ∈ N ak 2 2 - k {\ displaystyle f {\ bigg (} \ sum _ {k \ in \ mathbb {N}} a_ { k} 3 ^ {- k} {\ bigg)} = \ sum _ {k \ in \ mathbb {N}} {\ frac {a_ {k}} {2}} 2 ^ {- k}}{ \ Displaystyle е {\ bigg (} \ сумма _ {к \ in \ mathbb {N}} a_ {k} 3 ^ {- k} {\ bigg)} = \ sum _ {k \ in \ mathbb {N}} {\ frac {a_ {k}} {2}} 2 ^ {- k}} , где ∀ k ∈ N: ak ∈ {0, 2}. {\ displaystyle \ forall k \ in \ mathbb {N}: a_ {k} \ in \ {0,2 \}.}{\ displaystyle \ forall k \ in \ mathbb {N}: a_ {k} \ in \ {0,2 \}.}

Для любого числа y в [0,1] его двоичное представление можно преобразовать в троичное представление числа x в C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} путем замены всех единиц на 2. При этом f (x) = y, так что y находится в диапазоне е. Например, если y = ⁄ 5 = 0,100110011001... 2 = 0,1001, мы пишем x = 0.2002 = 0.200220022002... 3 = ⁄ 10. Следовательно, ф сюръективен. Однако f не является инъективным - значения, для которых f (x) совпадает, являются значениями на противоположных концах одной из удаленных средних третей. Например, возьмите

⁄3= 0,02 3 (что является правой предельной точкой C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} и левой предельной точкой средней трети [⁄ 3,⁄3]) и
⁄3= 0,20 3 (что является левой предельной точкой C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} и правая граничная точка средней трети [⁄ 3,⁄3])

поэтому

f (1/3) = f (0,0 2 ¯ 3) = 0,0 1 ¯ 2 = 0,1 2 = 0,1 0 ¯ 2 = е (0,2 0 ¯ 3) = е (2/3). ∥ 1/2 {\ displaystyle {\ begin {array} {lcl} f {\ bigl (} {} ^ {1} \! \! / \! _ {3} {\ bigr)} = f (0,0 {\ overline {2}} _ {3}) = 0,0 {\ overline {1}} _ {2} = \! \! \! \! 0.1_ {2} \! \! \! \! = 0,1 {\ overline {0}} _ {2} = f (0,2 {\ overline {0}} _ {3}) = f {\ bigl (} {} ^ {2} \! \! / \! _ {3} {\ bigr)}. \\ \ parallel \\ {} ^ {1} \! \! / \! _ {2} \ end {array}}}{\ displaystyle {\ begin {array} {lcl} f {\ bigl (} {} ^ {1} \! \! / \! _ {3} {\ bigr)} = f (0,0 {\ overline {2}} _ {3}) = 0,0 {\ overline {1}} _ {2} = \! \! \! \! 0.1_ {2} \! \! \! \! = 0,1 {\ overline {0}} _ {2} = f (0,2 {\ overline {0}} _ {3}) = f {\ bigl (} {} ^ {2} \! \! / \! _ {3} {\ bigr)}. \\ \ parallel \\ {} ^ {1} \! \! / \! _ {2} \ конец {массив}}}

Таким образом, количество точек вборе Кантора равно количеству точек в интервале [0, 1] (который имеет несчетное мощность c = 2 ℵ 0 {\ Displaystyle {\ mathfrak {с }} = 2 ^ {\ aleph _ {0}}}{\ displaystyle {\ mathfrak {c}} = 2 ^ {\ aleph _ {0}}} ). Однако набор конечных точек удаленных интервалов равен countab le, поэтому в наборе каналов должно быть несчетное количество чисел, которые не являются конечными точками интервала. Как упомянуто выше, одним из примеров такого числа является ⁄ 4, которое может быть записано как 0,020202... 3 = 0,02 в троичной системе счисления. Фактически, для любого a ∈ [- 1, 1] {\ displaystyle a \ in [-1,1]}{\ displaystyle a \ in [-1,1]} существует x, y ∈ C {\ displaystyle x, y \ в {\ mathcal {C}}}{\ displaystyle x, y \ in { \ mathcal {C}}} такой, что a = y - x {\ displaystyle a = yx}{\ displaystyle a = yx} . Впервые это было продемонстрировано Штейнхаусом в 1917 году, доказал геометрический аргумент эквивалентное утверждение, что {(x, y) ∈ R 2 | Y знак равно Икс + а} ∩ (С × С) ≠ ∅ {\ Displaystyle \ {(х, у) \ в \ mathbb {R} ^ {2} \, | \, у = х + а \} \; \ крышка \; ({\ mathcal {C}} \ times {\ mathcal {C}}) \ neq \ emptyset}{\ displaystyle \ {(x, y) \ in \ mathbb {R} ^ {2} \, | \, у = х + а \} \; \ крышка \; ({\ mathcal {C}} \ times {\ mathcal {C}}) \ neq \ emptyset} для каждого a ∈ [- 1, 1] {\ displaystyle a \ в [- 1,1]}{\ displaystyle a \ in [-1,1]} . Эта установка обеспечивает инъекцию из [- 1, 1] {\ displaystyle [-1,1]}[-1,1] в C × C {\ displaystyle {\ mathcal {C}} \ раз {\ mathcal {C}}}{\ displaystyle {\ mathcal {C}} \ раз {\ mathcal {C}}} , мы имеем | C × C | ≥ | [- 1, 1] | = с {\ Displaystyle | {\ mathcal {C}} \ times {\ mathcal {C}} | \ geq | [-1,1] | = {\ mathfrak {c}}}{\ displaystyle | {\ mathcal {C}} \ times {\ mathcal {C}} | \ geq | [-1,1] | = {\ mathfrak {c}}} как непосредственное следствие. Предполагая, что | A × A | = | А | {\ displaystyle | А \ раз А | = | A |}{\ displaystyle | A \ times A | = | A |} для любого бесконечного множества A {\ displaystyle A}A (выражение, эквивалентное аксиома выбора Тарского ), это еще одна демонстрация того, что | C | = с {\ Displaystyle | {\ mathcal {C}} | = {\ mathfrak {c}}}{\ displaystyle | {\ mathcal { C}} | = {\ mathfrak {c}}} .

Набор Кантора содержит количество точек, сколько интервал, из которого он взят, но сам по себе не содержит интервалов ненулевой длины. У иррациональных чисел такое же свойство, но у числа Кантора есть дополнительное свойство замкнутости, поэтому оно даже не плотное в любом интервале, в отличие от иррациональных чисел, которые плотны в каждом интервале.

Было высказано предположение, что все алгебраические иррациональные числа являются нормальными. Все члены набора кантора не являются стандартными средствами набора, либо трансцендентны.

Самоподобие

Набор Кантора является прототипом фрактал. Это самоподобный, потому что он равен двум копиям самого себя, если каждая копия будет уменьшена в 3 и переведена. Точнее, множество каналов равно объединению двух функций, левого и правого преобразователя самоподобия, TL (x) = x / 3 {\ displaystyle T_ {L} (x) = x / 3}{\ displaystyle T_ {L} (x) = x / 3} и TR (x) = (2 + x) / 3 {\ displaystyle T_ {R} (x) = (2 + x) / 3}{\ displaystyle T_ {R} (x) = (2 + x) / 3} , которые оставляют канторовское множество инвариантным с точностью до гомеоморфизма : TL (C) ≅ TR (C) ≅ C = TL (C) ∪ TR (C). {\ displaystyle T_ {L} ({\ mathcal {C}}) \ cong T_ {R} ({\ mathcal {C}}) \ cong {\ mathcal {C}} = T_ {L} ({\ mathcal { C}}) \ cup T_ {R} ({\ mathcal {C}}).}{\ displaystyle T_ {L} ({\ mathcal {C}}) \ cong T_ {R} ({\ mathcal {C} }) \ cong {\ mathcal {C}} = T_ {L} ({\ mathcal {C}}) \ cup T_ {R} ({\ mathcal {C}}).}

Повторяющаяся итерация из TL {\ displaystyle T_ {L}}T_ {L} и TR {\ displaystyle T_ {R}}T_ {R} можно визуализировать как бесконечное двоичное дерево. То есть в каждом узле дерева можно рассматривать поддерево слева или справа. Если взять набор {TL, TR} {\ displaystyle \ {T_ {L}, T_ {R} \}}{\ displaystyle \ {T_ {L}, T_ {R} \}} вместе с композицией функций, образует моноид, диадический моноид.

автоморфизмы двоичного дерева обеспечивают его гиперболическими вращениями и задаются модульной группой. Таким образом, множество Кантора представляет собой однородное пространство в том смысле, что для любых двух точек x {\ displaystyle x}x и y {\ displaystyle y}y в наборе Кантора C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} существует гомеоморфизм h: C → C {\ displaystyle h: {\ mathcal {C} } \ to {\ mathcal {C}}}{\ displaystyle h: {\ mathcal {C}} \ to {\ mathcal {C}} } с h (x) = y {\ displaystyle h (x) = y}h (x) = y . Явное построение h {\ displaystyle h}h будет проще описать, если мы рассмотрим набор каналов как пространство произведения счетного числа копий дискретного пространства {0, 1} {\ displaystyle \ {0,1 \}}\ {0,1 \} . Тогда карта h: {0, 1} N → {0, 1} N {\ displaystyle h: \ {0,1 \} ^ {\ mathbb {N}} \ to \ {0,1 \} ^ {\ m athbb {N}}}{\ displaystyle h: \ {0,1 \} ^ {\ mathbb {N}} \ в \ {0,1 \} ^ {\ mathbb {N}}} определено hn (u): = un + xn + yn mod 2 {\ displaystyle h_ {n} (u): = u_ {n} + x_ {n} + y_ {n} \ mod 2}{\ displaystyle h_ {n} (u): = u_ {n} + x_ {n} + y_ {n} \ mod 2} - инволютивный гомеоморфизм, заменяющий x {\ displaystyle x}x и y {\ displaystyle y}y .

Закон сохранение

Было обнаружено, что некоторая форма сохранения всегда отвечает за масштаб и самоподобие. В случае набора Кантора можно видеть, что df {\ displaystyle d_ {f}}d_ {f} th момент (где df = ln ⁡ (2) / ln ⁡ (3) {\ displaystyle d_ {f} = \ ln (2) / \ ln (3)}{ \ displaystyle d_ {f} = \ ln (2) / \ ln (3)} - фрактальная размерность) всех уцелевших интервалов на любом этапе построения равно константе, которая равна единице в множестве Кантора. Мы знаем, что существуют N = 2 n {\ displaystyle N = 2 ^ {n}}N = 2 ^ n интервалы размером 1/3 n {\ displaystyle 1/3 ^ {n}}{\ Displaystyle 1/3 ^ {n}} присутствует в системе на n {\ displaystyle n}n -м шаге ее построения. Затем, если мы обозначим оставшиеся интервалы как x 1, x 2,…, x 2 n {\ displaystyle x_ {1}, x_ {2}, \ ldots, x_ {2 ^ {n}}}{\ displaystyle x_ {1}, x_ {2}, \ ldots, x_ {2 ^ {n}}} тогда df {\ displaystyle d_ {f}}d_ {f} th момент равен x 1 df + x 2 df + ⋯ + x 2 ndf = 1 {\ displaystyle x_ {1} ^ {d_ {f}} + x_ {2} ^ {d_ {f}} + \ cdots + x_ {2 ^ {n}} ^ {d_ {f}} = 1}{\ displaystyle x_ {1} ^ {d_ {f}} + x_ {2} ^ {d_ {f} } + \ cdots + x_ {2 ^ {n}} ^ {d_ {f}} = 1} поскольку Икс 1 = Икс 2 = ⋯ = Икс 2 N = 1/3 n {\ Displaystyle x_ {1} = x_ {2} = \ cdots = x_ {2 ^ {n}} = 1/3 ^ {n}}{\ displaystyle x_ {1} = x_ {2} = \ cdots = x_ {2 ^ {n}} = 1/3 ^ {n}} .

Размерность Хаусдорфа канторовского числа равна ln (2) / ln (3) ≈ 0,631.

Топологические и аналитические свойства

Хотя "канторовское множество обычно относится к исходному канторовскому множеству средней трети, описанному выше, топологи часто говорят о" "канторовском множестве, что означает любое топологическое пространство то есть гомеоморфно (топологически эквивалентно) ему.

Как показывает приведенный выше аргумент суммирования, множество Кантора неисчислимо, но имеет меру Лебега 0. Множество Кантора является дополнением союз из открытого множеств, оно является само закрытым подмножеством вещественных чисел и, следовательно, полным метрическое пространство. Он также вполне ограничен, теорема Гейне - Бореля гласит, что он должен компактным.

Для любой точки множества канального и любого сколь угодно малой окрестности точки, есть другое число с троичными числами, состоящее только из нулей и двоек, а также числа, троичные цифры содержат единицы. Следовательно, каждая точка в наборе Кантора является точкой накопления (также называемой точкой кластера или предельной точкой) Кантора, но ни одна из них не является точкой набора. Замкнутое множество, в каждой точке которого является точка накопления, также называется совершенным множеством в топологии, в то время как замкнутое подмножество интервала без внутренних точек нигде не плотно антракте.

Каждая точка набора Кантора также является точкой набора дополнения набора Кантора.

Для любых двух точек в наборе Кантора будет некоторая троичная цифра, где они различаются - одна будет иметь 0, а другую 2. Путем разделения набора Кантора на «половинки» в зависимости от значений этой цифры, получается разбиение множества Кантора на два замкнутых числа, разделяющих исходные две точки. В относительной топологии в наборе Кантора точки были разделены закрытым набором. Следовательно, набор Кантора полностью отключен. Как компактное полностью несвязное хаусдорфово пространство, множество Кантора является примером каменного пространства.

В качестве топологического пространства множество Кантора естественно гомеоморфно к продукту из счетного числа копий пространства {0, 1} {\ displaystyle \ {0,1 \}}\ {0,1 \} , где каждая копия несет в себе дискретную топологию . Это пространство всех последовательностей из двух цифр

2 N = {(xn) ∣ xn ∈ {0, 1} для n ∈ N} {\ displaystyle 2 ^ {\ mathbb {N}} = \ {(x_ {n}) \ mid x_ {n} \ in \ {0,1 \} {\ text {for}} n \ in \ mathbb {N} \}}{\ displaystyle 2 ^ {\ mathbb {N}} = \ {(x_ {n}) \ mid x_ {n} \ in \ {0,1 \} {\ text {for}} n \ in \ mathbb {N} \}} ,

который также может быть идентифицируется с набором 2-адических целых чисел. Основой для открытых наборов топологии продукта являются цилиндрические наборы ; гомеоморфизм отображает их в топологию подпространства , которую канторовский набор наследует от топологии на прямой действительной числовой линии. Эта характеристика канторовского пространства как произведения компактных пространств дает второе доказательство компактности канторовского пространства с теоремы Тихонова.

. Из приведенной выше характеристики канторов множества гомеоморфно p-адические числа, и, если из него удалить одну точку, на p-адические числа.

, Множество Кантора - это подмножество вещественных чисел, которые являются метрическим пространством по отношению к метрике обычного расстояния ; Следовательно, множество средств само по себе по метрическому пространству с использованием той же метрики. В качестве альтернативы можно использовать p-адическую метрику на 2 N {\ displaystyle 2 ^ {\ mathbb {N}}}2 ^ \ mathbb {N} : с учетом двух последовательностей (xn), (yn) ∈ 2 N {\ displaystyle (x_ {n}), (y_ {n}) \ in 2 ^ {\ mathbb {N}}}(x_n), (y_n) \ in 2 ^ \ mathbb {N} , расстояние между ними d ((xn), (yn)) = 2 - k {\ displaystyle d ((x_ {n}), (y_ {n})) = 2 ^ {- k}}{\ displaystyle d ((x_ {n}), (y_ {n})) = 2 ^ {- k }} , где k {\ displaystyle k}k- наименьший индекс, такой что xk ≠ yk {\ displaystyle x_ {k} \ neq y_ {k}}x_k \ ne y_k ; если такого указателя нет, то две совпадают, и одна определяет расстояние равным нулю. Эти две метрики генерируют одинаковую топологию на множестве Кантора.

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

Каналовское множество иногда считается "универсальным" в категории из компактных метрических пространств, любое компактное метрическое пространство является непрерывным изображением множества Кантора; однако эта конструкция не уникальна, и поэтому множество каналов не является универсальным в точном категориальном смысле. «Универсальное» свойство имеет важные приложения в функциональном анализе, где оно иногда известно как теорема представления для компактных метрических пространств.

Для любого целого числа q ≥ 2 топология в группе G = Zq(счетная прямая сумма) дискретна. Хотя дуальный по Понтрягину Γ также является Zq, топология Γ компактна. Видно, что Γ полностью несвязна и совершенна, а значит, гомеоморфна канторову множеству. Гомеоморфизм проще всего выписать явно в случае q = 2. (См. Рудин 1962, стр. 40.)

Среднее геометрическое набора Кантора составляет приблизительно 0,274974.

Мера и вероятность

Набор Кантора можно рассматривать как компактную группу двоичных последовательностей, и, как таковую, она наделена естественной мерой Хаара. При нормализации таким образом, что размер набора равен 1, он представляет собой модель бесконечной последовательности подбрасываний монеты. Кроме того, можно показать, что обычная мера Лебега на интервале является мерой Хаара на канторовом множестве, в то время как естественная инъекция в тройном множестве каноническим примером сингулярной меры. Также можно показать, что мера Хаара является образом любой вероятности, что в некотором смысле делает множество кантора универсальным вероятностным пространством.

В теории меры Лебега множество Кантора примером несчетного множества с нулевой мерой.

Числа Кантора

Если определено число Кантора как член набора Кантора, тогда

  • (1) Каждое действительное число в [0, 2] является суммой двух чисел Кантора.
  • (2) Между любыми числами существует число, не являющееся числом Кантора.

Теория описательных множеств

Набор Кантора - это скудный набор (или набор первой категории) как подмножество [0, 1] (хотя и не как подмножество самого себя, поскольку это пространство Бэра ). Таким образом, множество Кантора демонстрирует, что понятия «размер» с точки зрения, меры и категории (Бэра). Как и набор Q ∩ [0, 1] {\ displaystyle \ mathbb {Q} \ cap [0,1]}{\ displaystyle \ mathbb {Q} \ cap [0,1]} , набор Кантора C {\ displaystyle {\ mathcal {C }}}{\ mathcal {C}} является «маленьким» в том смысле, что это нулевой набор (набор нулевой меры), и это скудное подмножество [0,1]. Однако, в отличие от Q ∩ [0, 1] {\ displaystyle \ mathbb {Q} \ cap [0,1]}{\ displaystyle \ mathbb {Q} \ cap [0,1]} , который является счетным и имеет «маленькую» мощность, ℵ 0 {\ displaystyle \ aleph _ {0}}\ aleph _ {0} , мощность C {\ displaystyle {\ mathcal {C}}}{\ mathcal {C}} такая же, как у [0, 1], континуум c {\ displaystyle {\ mathfrak {c}}}{\ mathfrak {c}} , и является «большим» в смысле мощности. Фактически, также возможно построить подмножество [0,1], которое является скудным, но с положительной мерой, и подмножество, которое не является скудным, но с нулевой мерой: взяв счетное объединение «толстых» канторовских множеств С (n) { \ displaystyle {\ mathcal {C}} ^ {(n)}}{\ displaystyle {\ mathcal {C}} ^ {(п)}} меры λ = (n - 1) / n {\ displaystyle \ lambda = (n -1) / n}{\ displaystyle \ lambda = (n-1) / n} (см. Набор Смита - Вольтерры - Кантора ниже для построения), мы получаем набор A: = ⋃ n = 1 ∞ C (n) {\ displaystyle {\ mathcal {A}}: = \ bigcup _ {n = 1} ^ {\ infty} {\ mathcal {C}} ^ {(n)}}{\ displaystyle {\ mathcal {A}}: = \ bigcup _ {n = 1} ^ {\ infty} {\ mathcal {C}} ^ {(n)}} с положительной мерой (равной 1) но скудный в [0,1], поскольку каждый C (n) {\ displaystyle {\ mathcal {C}} ^ {(n)}}{\ displaystyle {\ mathcal {C}} ^ {(п)}} нигде является не плотным. Затем рассмотрим набор A c = [0, 1] ∖ ⋃ n = 1 ∞ C (n) {\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}} = [0,1] \ setminus \ bigcup _ {n = 1} ^ {\ infty} {\ mathcal {C}} ^ {(n)}}{\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}} = [0,1] \ setminus \ bigcup _ {n = 1} ^ {\ infty} {\ mathcal {C}} ^ {(n)}} . A ∪ A c = [0, 1] {\ displaystyle {\ mathcal {A}} \ cup {\ mathcal {A}} ^ {\ mathrm {c}} = [0,1]}{\ displaystyle {\ mathcal {A}} \ cup {\ mathcal {A}} ^ {\ mathrm {c}} = [0,1]} , A c {\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}}}{\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}}} не может быть скудным, но поскольку μ (A) = 1 {\ displaystyle \ mu ( {\ mathcal {A}}) = 1}{\ displaystyle \ mu ({\ mathcal {A}}) = 1} , A c {\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}}}{\ displaystyle {\ mathcal {A}} ^ {\ mathrm {c}}} должен иметь нулевую меру.

Варианты

Набор Смита - Вольтерры - Кантора

Вместо многократного удаления средней трети каждого элемента, как в наборе Кантора, мы могли бы также удалить любой другой фиксированный процент (кроме 0 % и 100%) от середины. В случае, когда середина ⁄ 10 интервала удалена, мы получаем замечательно доступный случай - набор из всех чисел в [0,1], которые могут быть записаны в виде десятичной дроби, состоящей полностью из нулей. и 9с. Если фиксированный процент удаляется на каждом этапе, то ограничивающий набор будет иметь нулевую меру, поскольку длина остатка (1 - f) n → 0 {\ displaystyle (1-f) ^ {n} \ to 0}{\ displaystyle (1-f) ^ {n} \ to 0} как n → ∞ {\ displaystyle n \ to \ infty}п \ к \ infty для любого такого, что 0 < f ≤ 1 {\displaystyle 0{\ displaystyle 0 <f \ leq 1} .

с другой стороны, «толстые наборы Кантора» положительных мера может быть сгенерирована удалением более мелких частей середины сегмента на каждую итерации. Таким образом, можно построить множество, гомеоморфные множеству Кантора, которые имеют положительную меру Лебега, но при этом нигде не плотны. Если интервал длины297>rn {\ displaystyle r ^ {n}}r ^ {n} (r ≤ 1/3 {\ displaystyle r \ leq 1/3}{\ displaystyle r \ leq 1/3} ) удаляется из середины каждого сегмент на n-й итерации, тогда общая удаленная длина равна ∑ ​​n = 1 ∞ 2 n - 1 rn = r / (1-2 r) {\ textstyle \ sum _ {n = 1} ^ {\ infty} 2 ^ { n-1} r ^ {n} = r / (1-2r)}{\ textstyle \ sum _ {n = 1} ^ {\ infty} 2 ^ {n-1} r ^ {n} = r / (1-2r)} , и предельный набор будет иметь меру Лебега, равную λ = (1 - 3 r) / (1-2 r) {\ displaystyle \ lambda = (1-3r) / (1-2r)}{\ displaystyle \ lambda = (1-3r) / (1-2r)} . Таким образом, в некотором смысле канторовский набор средних третей является предельным случаем с r = 1/3 {\ displaystyle r = 1/3}{\ displaystyle r = 1/3} . Если 0 < r < 1 / 3 {\displaystyle 0{\ displaystyle 0 <r <1/3} , то остаток будет иметь положительную величину с 0 < λ < 1 {\displaystyle 0<\lambda <1}0 <\lambda<1. Случай r = 1/4 {\ displaystyle r = 1/4}{\ displaystyle r = 1/4} известен как набор Смита – Вольтерра – Кантора, у которого мера Лебега 1/2 {\ displaystyle 1/2}1/2 .

Стохастический набор Кантора

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

∂ c (x, t) ∂ t = - x 2 2 c (x, t) + 2 ∫ x ∞ (y - х) с (y, t) dy, {\ displaystyle {{\ partial c (x, t)} \ over {\ partial t}} = - {{x ^ {2}} \ over {2}} c ( x, t) +2 \ int _ {x} ^ {\ infty} (yx) c (y, t) \, dy,}{\ displaystyle {{\ partial c (x, t)} \ over {\ partial t}} = - {{x ^ { 2}} \ over {2}} c (x, t) +2 \ int _ {x} ^ {\ infty} (yx) c (y, t) \, dy,}

и для стохастического диадического множества Кантора

∂ c (x, t) ∂ T знак равно - xc (x, t) + (1 + p) ∫ x ∞ c (y, t) dy, {\ displaystyle {{\ partial c (x, t)} \ over {\ partial t}} = -xc (x, t) + (1 + p) \ int _ {x} ^ {\ infty} c (y, t) \, dy,}{\ displaystyle {{\ partial c (x, t)} \ over { \ partial t}} = - xc (x, t) + (1 + p) \ int _ {x} ^ {\ infty} c (y, t) \, dy,}

где c (x, t) dx {\ displaystyle c (x, t) dx}{\ displaystyle c (x, t) dx} - количество интервалов размера между x {\ displaystyle x}x и x + dx {\ displaystyle х + dx}{\ displaystyle x + dx} . В случае триадического набора Кантора фрактальная размерность равна 0,5616 {\ displaystyle 0,5616}{\ displaystyle 0.5616} , что меньше его детерминированного аналога 0,6309 {\ displaystyle 0.6309}{\ displaystyle 0,6309} . В случае стохастического диадического набора Кантора фрактальная размерность равна p {\ displaystyle p}p , что снова меньше, чем у его детерминированного аналога ln ⁡ (1 + p) / ln ⁡ 2 {\ Displaystyle \ ln (1 + p) / \ ln 2}{\ displaystyle \ ln (1 + p) / \ ln 2} . В случае стохастического диадического метода Кантора установить решение для c (x, t) {\ displaystyle c (x, t)}{\ displaystyle c (x, t)} демонстрирует динамическое масштабирование в качестве своего решения в долгосрочное ограничение составляет t - (1 + df) e - xt {\ displaystyle t ^ {- (1 + d_ {f})} e ^ {- xt}}{\ displaystyle t ^ {- (1 + d_ {f})} e ^ {- xt}} где фрактал размерность стохастического диадического набора Кантора df = p {\ displaystyle d_ {f} = p}{\ displaystyle d_ {f} = p} . В любом случае, как и триадный набор Кантора, df {\ displaystyle d_ {f}}d_ {f} th момент (∫ xdfc (x, t) dx = constant {\ displaystyle \ int x ^ {d_ {f}} c (x, t) dx = {\ text {constant}}}{\ displaystyle \ int x ^ {d_ {f}} c ( x, t) dx = {\ text {constant}}} ) стохастического триадического и диадического канторовского множества также являются сохраняемыми величинами.

пыль Кантора

пыль Кантора - это многомерная версия множества Кантора. Его можно сформировать, взяв на себя конечное декартово произведение канторовского множества, сделав его канторовым пространством. Как и в наборе Кантора, пыль Кантора имеет нулевую меру.

кубы Кантора прогрессию рекурсии в сторону пыли Кантора
пыль Кантора (2D) пыль Кантора (3D)

Другой 2D-аналог набора Кантора - ковер Серпинского, где квадрат разделен на девять меньших квадратов, средний удален. Затем оставшиеся квадраты делятся на девять, а середина удаляется, и так оставшиеся до бесконечности. Одним из трехмерных аналогов этого является губка Менгера.

. Кристофер Домас представил интерактивный инструмент двоичной визуализации на основе канторской пыли на Black Hat USA 2012.

Исторические заметки
Заглавная буква столбца с рисунком, напоминающим набором Кантора, но выраженная в двоичной, а не троичной форме. Гравюра Иль-де-Фил из «Описание египта» Жана-Батиста Проспера Жоллуа и Эдуарда Девилье, Imprimerie Impériale, Париж, 1809-1828 гг.

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

Этот набор считался абстрактным в то время, когда его изобрел Кантор. Сам Кантор пришел к этому из-за практических соображений по поводу набора точек, в которых тригонометрический ряд может не сойтись. Это открытие во многом подтолкнуло его к разработке абстрактной общей теории бесконечных множеств.

См.
Примечания
Ссылки
Внешние ссылки
Последняя правка сделана 2021-05-14 06:03:19
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте