Введение

Последовательность, в которой каждая конечная строка встречается как подпоследовательность. Дизъюнктивная последовательность – это бесконечная последовательность (над конечным алфавитом символов), в которой каждая конечная строка встречается как подстрока. Например, двоичная последовательность Чамперноуна, сформированная конкатенацией всех двоичных строк в лексикографическом порядке по длине, очевидно содержит все двоичные строки и, следовательно, является дизъюнктивной. (Пробелы выше не имеют значения и приведены исключительно для наглядного отделения строк друг от друга). Функция сложности дизъюнктивной последовательности S над алфавитом размера k равна pS(n) = kn. Любая нормальная последовательность (последовательность, в которой каждая строка заданной длины встречается с одинаковой частотой) является дизъюнктивной, но обратное неверно. Например, если 0n обозначает строку длины n, состоящую только из нулей, рассмотрим последовательность, полученную вставкой экспоненциально длинных строк из нулей в лексикографический порядок по длине всех двоичных строк. Большая часть этой последовательности состоит из длинных последовательностей нулей, и поэтому она не является нормальной, но при этом остаётся дизъюнктивной. Дизъюнктивная последовательность является рекуррентной, но никогда не является равномерно рекуррентной/почти периодической.

Богатые числа

Богатое число или дисъюнктивное число — это действительное число, разложение которого по некоторому основанию b является дисъюнктивной последовательностью над алфавитом {0, 1, ..., b-1}. Каждое нормальное число в основании b является дисъюнктивным, но не наоборот. Действительное число x является богатым в основании b тогда и только тогда, когда множество {x bⁿ mod 1} плотно в единичном интервале. Число, которое является дисъюнктивным для каждого основания, называется абсолютно дисъюнктивным или лексиконом. Каждая строка в любом алфавите встречается в лексиконе. Множество называется "комеагером" или "остаточным", если оно содержит пересечение счётного семейства открытых плотных множеств. Множество абсолютно дисъюнктивных действительных чисел остаточно. Предполагается, что каждое действительное иррациональное алгебраическое число является абсолютно дисъюнктивным.