Константа Чамперноуна
В математике C константа Чамперноуна 10 — это трансцендентная действительная константа , десятичное разложение которой имеет важные свойства. Она названа в честь экономиста и математика Д. Г. Чамперноуна , опубликовавшего ее еще будучи студентом в 1933 году. [1] Число определяется путем объединения представлений по основанию 10 положительных целых чисел :
Константы Чамперноуна также могут быть построены аналогичным образом в других базисах; например,
- С 2 = 0,11011100101110111... 2
и
- С 3 = 0,12101112202122... 3 .
Слово Champernowe или слово Barbier представляет собой последовательность цифр C 10, полученную путем записи ее по основанию 10 и сопоставления цифр: [2] [3]
В более общем смысле, последовательность Чамперноуна (иногда также называемая словом Чамперноуна ) — это любая последовательность цифр, полученная путем объединения всех конечных строк цифр (в любой заданной базе) в некотором рекурсивном порядке. [4] Например, двоичная последовательность Чамперноуна в шортлексном порядке имеет вид
где пробелы (в противном случае их следует игнорировать) были вставлены только для того, чтобы показать объединяемые строки.
Свойства [ править ]
Действительное число x называется нормальным , если его цифры по каждому основанию распределены равномерно: все цифры одинаково вероятны, все пары цифр одинаково вероятны, все тройки цифр одинаково вероятны и т. д. Число x называется нормальным. по базе b, если его цифры по базе b распределены равномерно.
Если мы обозначим строку цифр как [ a 0 , a 1 , ...], то в системе счисления 10 мы ожидаем, что строки [0], [1], [2], …, [9] будут встречаться 1/ 10 раз, строки [0,0], [0,1], ..., [9,8], [9,9] встречаются в 1/100 случаев и т. д. в нормальном количестве. .
Чамперноун доказал, что нормально по основанию 10, [1] в то время как Накаи и Сиокава доказали более общую теорему, следствием которой является то, что в базе это нормально для любого б . [5] Это открытый вопрос, является ли в базах это нормально . Например, неизвестно, нормально в системе счисления 9. Например, 54 цифры числа составляет 0,123456789101112131415161718192021222324252627282930313. Выразив это в системе счисления 9, мы получим .
Курт Малер показал, что константа трансцендентна . [6] Мера иррациональности является и вообще для любой базы . [7]
Слово Champernowne представляет собой дизъюнктивную последовательность . Дизъюнктивная последовательность — это бесконечная последовательность (по конечному алфавиту символов . ), в которой каждая конечная строка появляется как подстрока
Серия [ править ]
Определение постоянной Чамперноуна немедленно приводит к представлению бесконечной серии, включающей двойную сумму:
Возвращаясь к первому из этих рядов, и слагаемое внешней суммы, и выражение для можно упростить, используя замкнутую форму двумерного геометрического ряда :
Полученное выражение для является
дроби Продолжение расширения
Простое в цепную дробь разложение константы Чамперноуна не заканчивается (поскольку константа нерациональна ) и является апериодическим (поскольку она не является неприводимым квадратичным уравнением). Простая цепная дробь — это цепная дробь, знаменатель которой равен 1. в простую цепную дробь Разложение константы Чамперноуна демонстрирует чрезвычайно большие члены, возникающие между многими маленькими. Например, по основанию 10,
- С 10 = [0; 8, 9, 1, 149083, 1, 1, 1, 4, 1, 1, 1, 3, 4, 1, 1, 1, 15, 4 57540 11139 10310 76483 64662 82429 56118 59960 39397 10457 555 00 06620 04393 09026 26592 56314 93795 32077 47128 65631 38641 20937 55035 52094 60718 30899 84575 80146 98631 48833 59214 17830 10987, 6, 1, 1, ...]. (последовательность A030167 в OEIS )
Большое число в позиции 18 имеет 166 цифр, а следующий очень большой член в позиции 40 цепной дроби имеет 2504 цифры. Наличие таких больших чисел в качестве членов разложения в цепную дробь означает, что подходящие дроби, полученные остановкой перед этими большими числами, обеспечивают исключительно хорошее приближение константы Чамперноуна. Например, усечение непосредственно перед четвертым частным дает
Первый и второй по величине члены («высшие показатели») после начального нуля равны 8 и 9 соответственно и встречаются в позициях 1 и 2. Сикора (2012) заметил, что количество цифр в верхних точках начиная с четвертого отображения видимой закономерности. [10] Действительно, сами верхние отметки растут вдвойне экспоненциально, а количество цифр в n- й отметке за являются
- 6, 166, 25 04, 33 102 , 41 1 100 , 49 11 098 , 57 111 096 , 65 1111 094 , 73 11111 092 , ...
закономерность которого становится очевидной, начиная с 6-й максимальной отметки. Количество терминов может быть задано выражением
Однако до сих пор неизвестно, существует ли способ определить, где встречаются большие термины (минимум из 6 цифр) или их значения. Сами отметки паводков располагаются на позициях
См. также [ править ]
- Константа Коупленда-Эрдёша , аналогичное нормальное число, определяемое с помощью простых чисел.
- Константа Лиувилля , еще одна константа, определяемая ее десятичным представлением.
- Число Смарандаша – Веллина , другое число, полученное путем объединения представлений в заданной базе.
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Чамперноун 1933 г.
- ^ Кассень и Николя (2010) стр.165
- ^ Аллуш, Жан-Поль; Шалит, Джеффри (2003). Автоматические последовательности: теория, приложения, обобщения . Издательство Кембриджского университета . п. 299. ИСБН 978-0-521-82332-6 . Збл 1086.11015 .
- ^ Калуд, К. ; Призе, Л .; Стейгер, Л. (1997), Дизъюнктивные последовательности: обзор , Университет Окленда, Новая Зеландия, стр. 1–35, CiteSeerX 10.1.1.34.1370.
- ^ Накаи и Сиокава, 1992 г.
- ^ К. Малер, Арифметические свойства одного класса десятичных дробей , Proc. Конин. Недер. Академическая влажная. Сер. А. 40 (1937), с. 421-428.
- ^ Масааки Амоу , Приближение некоторых трансцендентных десятичных дробей алгебраическими числами , Журнал теории чисел , том 37, выпуск 2, февраль 1991 г., страницы 231–241
- ^ Джон К. Сикора: Анализ конвергентов высшей точки константы Чамперноуна в различных базисах , в: arXiv:1408.0261, 1 августа 2014 г., см. Определение 9
- ^ Вайсштейн, Эрик В. «Константа Чамперноуна» . Математический мир .
- ^ Сикора, Дж. К. «О конвергентах высшей точки константы Чамперноуна в десятичной базе». 3 октября 2012 г. http://arxiv.org/abs/1210.1263 .
- Кассень, Дж.; Николас, Ф. (2010). «Фактор сложности». В Берте, Валери ; Риго, Мишель (ред.). Комбинаторика, автоматы и теория чисел . Энциклопедия математики и ее приложений. Том. 135. Кембридж: Издательство Кембриджского университета . стр. 163–247. ISBN 978-0-521-51597-9 . Збл 1216.68204 .
- Чамперноун, Д.Г. (1933), «Построение нормальных десятичных дробей в десятичной шкале», Журнал Лондонского математического общества , 8 (4): 254–260, doi : 10.1112/jlms/s1-8.4.254 .
- Накаи, Ю.; Сиокава, И. (1992), «Оценки расхождения для класса нормальных чисел», Acta Arithmetica , 62 (3): 271–284, doi : 10.4064/aa-62-3-271-284 .