Дизъюнктивті реттілік - Disjunctive sequence - Wikipedia

A дизъюнктивті реттілік шексіз жүйелі (ақырлы алфавит туралы кейіпкерлер ) онда әрқайсысы ақырлы жіп а ретінде көрінеді қосалқы жол. Мысалы, екілік Шампернаунның реттілігі

барлық екілік жолдарды біріктіру арқылы пайда болды шортекс реті, барлық екілік жолдарды анық қамтиды және де дизъюнктивті болып табылады. (Жоғарыдағы кеңістіктер маңызды емес және олар тек жолдар арасындағы шекараны анықтауға арналған). The күрделілік функциясы дизъюнктивті тізбектің S өлшемді алфавиттің үстінде к болып табылады бS(n) = кn.[1]

Кез келген қалыпты реттілік (ұзындығы бірдей әрбір жол бірдей жиілікпен пайда болатын тізбек) дизъюнктивті, бірақ әңгімелесу дұрыс емес. Мысалы, 0 жіберуn ұзындықтың жолын белгілеңіз n барлық 0-ден тұратын, ретін қарастырыңыз

ге 0-ге экспоненциалды ұзын жолдарды қосу арқылы алынған шортлекске тапсырыс беру барлық екілік жолдар. Бұл дәйектіліктің көп бөлігі 0-дің ұзақ мерзімдерінен тұрады, сондықтан бұл қалыпты емес, бірақ ол әлі де дизъюнктивті болып табылады.

Дизъюнктивті тізбек дегеніміз қайталанатын бірақ ешқашан біркелкі қайталанбайды / дерлік мерзімді.

Мысалдар

Келесі нәтиже[2][3] әртүрлі дизьюнктивті тізбектерді құру үшін пайдаланылуы мүмкін:

Егер а1, а2, а3, ..., бұл натурал сандардың қатаң түрде өсетін шексіз реттілігі лим n → ∞ (аn+1 / аn) = 1,
онда кез-келген оң бүтін сан үшін м және кез келген бүтін сан негіз б ≥ 2, бар аn оның өрнегі негізде б өрнегінен басталады м негізде б.
(Демек, негізді біріктіру арқылы алынған шексіз реттілік-б үшін өрнектер а1, а2, а3, ..., {0, 1, ..., алфавитіне байланысты емес б-1}.)

Екі қарапайым жағдай нәтижені көрсетеді:

  • аn = nк, қайда к тұрақты натурал сан. (Бұл жағдайда, лим n → ∞ (аn+1 / аn) = лим n → ∞ ( (n+1)к / nк ) = лим n → ∞ (1 + 1/n)к = 1.)
Мысалы, ондық өрнектерді, тізбекті қолдана отырып
123456789101112... (к = 1, оң натурал сандар ),
1491625364964... (к = 2, квадраттар ),
182764125216343... (к = 3, текшелер ),
т.б.,
{0,1,2,3,4,5,6,7,8,9} бойынша дизъюнктивті.
  • аn = бn, қайда бn болып табылады nмың жай сан. (Бұл жағдайда, лим n → ∞ (аn+1 / аn) = 1 - салдары бn ~ n лн n.)
Мысалы, тізбектер
23571113171923 ... (он негізді қолдану арқылы),
10111011111011110110001 ... (екінші негізді пайдалану),
т.б.,

сәйкес цифрлар жиынтығында дизъюнктивті.

Тағы бір нәтиже[4] дизъюнктивті тізбектердің әртүрлілігін қамтамасыз ететін келесідей:

Егер аn = еден(f(n)), қайда f кез келген тұрақты емес көпмүшелік бірге нақты коэффициенттері f(х)> 0 барлығы үшін х > 0,
содан кейін біріктіру а1а2а3... (бірге аn негізде көрсетілген б) Бұл қалыпты базадағы реттілік б, демек, {0, 1, ..., б-1}.

Мысалы, ондық өрнектерді, тізбекті қолдана отырып

818429218031851879211521610 ... (бірге f(х) = 2х3 - 5х2 + 11х )
591215182124273034 ... (бірге f(х) = πх + e )

{0,1,2,3,4,5,6,7,8,9} бойынша дизъюнктивті.

Бай сандар

A бай сан немесе дизъюнктивті сан Бұл нақты нөмір оның кейбір базаға қатысты кеңеюі б бұл {0, ..., алфавитінің үстінен бөлінетін дәйектілікб−1}. Әрқайсысы қалыпты сан негізде б дизъюнктивті, бірақ керісінше емес. Нақты сан х базаға бай б егер және тек жиынтықта болса { x bn mod 1} болып табылады тығыз ішінде бірлік аралығы.[5]

Әрбір негізге дизъюнктивті емес сан деп аталады мүлдем дизъюнктивті немесе а деп аталады лексика. Әрқайсысы жіп әрбір алфавитте лексика аясында кездеседі. Жиын «деп аталадыкелуші «немесе» қалдық «егер онда тығыз тығыз жиынтықтардың есептелетін тұқымдасының қиылысы болса. Абсолютті дизъюнктивті реалдар жиынтығы қалдық болып табылады.[6] Әрбір нақты иррационалды алгебралық сан абсолюттік түрде алшақтықта болады деп болжанады.[7]

Ескертулер

  1. ^ Буге (2012) с.91
  2. ^ Калуде, С.; При, Л.; Штайгер, Л. (1997), Дизъюнктивті тізбектер: шолу, Окленд университеті, Жаңа Зеландия, 1-35 бет, CiteSeerX  10.1.1.34.1370
  3. ^ Истрат, Г.; Пюн, Г. (1994), «Өздігінен оқылатын тізбектің кейбір комбинаторлық қасиеттері», Дискретті қолданбалы математика, 55: 83–86, дои:10.1016 / 0166-218X (94) 90037-X, Zbl  0941.68656
  4. ^ Накай, Йошинобу; Иоката, Шиокава (1992), «Қалыпты сандар класының сәйкессіздік бағалары» (PDF), Acta Arithmetica, LXII.3 (3): 271-284, дои:10.4064 / aa-62-3-271-284
  5. ^ Буге (2012) с.92
  6. ^ Калуде және Замфиреску (1999)
  7. ^ Adamczewski & Bugeaud (2010) б.414

Әдебиеттер тізімі