Jump to content

Определяемое действительное число

(Перенаправлено с определяемого номера )
Квадратный корень из 2 равен длине гипотенузы прямоугольного треугольника с длиной катета 1 и, следовательно, является конструктивным числом.

Неформально определимое действительное число — это действительное число , которое можно однозначно указать с помощью его описания. Описание может быть выражено в виде конструкции или формулы формального языка . Например, положительный квадратный корень из 2, , можно определить как единственное положительное решение уравнения , и его можно построить с помощью циркуля и линейки.

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

Конструируемые числа [ править ]

Один из способов задания действительного числа использует геометрические методы. Настоящее число является конструктивным числом, если существует метод построения отрезка длины с помощью циркуля и линейки, начиная с фиксированного отрезка длиной 1.

Каждое положительное целое число и каждое положительное рациональное число конструктивно. Положительный квадратный корень из 2 является конструктивным. Однако кубический корень из 2 невозможно построить; это связано с невозможностью удвоить куб .

Действительные алгебраические числа [ править ]

Алгебраические числа на комплексной плоскости, раскрашенные по степени (красный=1, зеленый=2, синий=3, желтый=4)

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

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

Действительные алгебраические числа образуют подполе действительных чисел. Это означает, что 0 и 1 — алгебраические числа и, более того, если и являются алгебраическими числами, то также , , и, если ненулевое значение, .

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

Алгебраических чисел только счетно , но действительных чисел несчетно, поэтому с точки зрения мощности большинство действительных чисел не являются алгебраическими. Это неконструктивное доказательство того, что не все действительные числа являются алгебраическими, было впервые опубликованоГеорг Кантор в своей статье 1874 года « О свойстве совокупности всех действительных алгебраических чисел ».

Неалгебраические числа называются трансцендентными числами . Наиболее известные трансцендентные числа — это π и e .

Вычислимые действительные числа [ править ]

Действительное число является вычислимым , если существует алгоритм, который по натуральному числу , производит десятичное разложение числа с точностью до десятичные знаки. Это понятие было введено Аланом Тьюрингом в 1936 году. [1]

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

Не все действительные числа вычислимы. Конкретные примеры невычислимых действительных чисел включают пределы последовательностей Спекера и алгоритмически случайные действительные числа, такие как числа Ω Чайтина .

Определимость в арифметике [ править ]

Другое понятие определимости исходит из формальных теорий арифметики, таких как арифметика Пеано . В языке арифметики имеются символы для 0, 1, последующих операций, сложения и умножения, предназначенные для обычной интерпретации натуральных чисел . Поскольку никакие переменные в этом языке не простираются за пределы действительных чисел , для ссылки на действительные числа требуется другой тип определимости. Настоящее число определимо на языке арифметики (или арифметического языка ), если его дедекиндовое сечение может быть определено как предикат на этом языке; то есть, если существует формула первого порядка на языке арифметики с тремя свободными переменными, такими что

Здесь m , n и p варьируются в пределах неотрицательных целых чисел.

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

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

Каждое вычислимое число является арифметическим, но не каждое арифметическое число вычислимо. Например, предел последовательности Спекера — это невычислимое арифметическое число.

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

Определяемость в моделях ZFC [ править ]

Настоящее число определимо первого порядка на языке теории множеств без параметров , если существует формула на языке теории множеств , с одной свободной переменной , такой, что уникальное действительное число такое, что держит. [2] Это понятие не может быть выражено формулой на языке теории множеств.

Все аналитические числа, и в частности все вычислимые числа, определимы на языке теории множеств. Таким образом, действительные числа, определяемые на языке теории множеств, включают все знакомые действительные числа, такие как 0 , 1 , , и т. д., а также все алгебраические числа. Предполагая, что они образуют набор в модели, действительные числа, определяемые на языке теории множеств для конкретной модели ZFC, образуют поле.

Каждая модель набора теории множеств ZFC, содержащая бесчисленное множество действительных чисел, должна содержать действительные числа, которые не определимы внутри (без параметров). Это следует из того, что существует только счетное число формул, а значит, только счетное число элементов. может быть определен через . Таким образом, если имеет бесчисленное множество действительных чисел, это можно доказать «извне» что не каждое действительное число определимо через .

Этот аргумент становится более проблематичным, если его применить к моделям классов ZFC, таким как Вселенная фон Неймана . Утверждение «действительное число определяется в класса модели "не может быть выражено формулой ZFC. [3] [4] Точно так же вопрос о том, содержит ли Вселенная фон Неймана действительные числа, которые она не может определить, не может быть выражен в виде предложения на языке ZFC. Более того, существуют счетные модели ZFC, в которых все действительные числа, все множества действительных чисел, функции над действительными числами и т. д. определимы. [3] [4]

См. также [ править ]

Ссылки [ править ]

  1. ^ Тьюринг, AM (1937), «О вычислимых числах с применением к проблеме Entscheidungs» , Proceedings of the London Mathematical Society , 2, 42 (1): 230–65, doi : 10.1112/plms/s2-42.1.230 , S2CID   73712
  2. ^ Кунен, Кеннет (1980), Теория множеств: введение в доказательства независимости , Амстердам: Северная Голландия, стр. 153, ISBN  978-0-444-85401-8
  3. ^ Jump up to: Перейти обратно: а б Хэмкинс, Джоэл Дэвид ; Линецкий, Дэвид; Рейтц, Йонас (2013), «Поточечно определяемые модели теории множеств», Журнал символической логики , 78 (1): 139–156, arXiv : 1105.4597 , doi : 10.2178/jsl.7801090 , S2CID   43689192
  4. ^ Jump up to: Перейти обратно: а б Цирельсон, Борис (2020), «Может ли каждое число быть задано конечным текстом?», WikiJournal of Science , vol. 3, нет. 1, с. 8, arXiv : 1909.11149 , doi : 10.15347/WJS/2020.008 , S2CID   202749952
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 402e58a5fc5f5a87858916e531b11ba8__1712620500
URL1:https://arc.ask3.ru/arc/aa/40/a8/402e58a5fc5f5a87858916e531b11ba8.html
Заголовок, (Title) документа по адресу, URL1:
Definable real number - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)