Арифметическое множество

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Арифметическое множество — множество натуральных чисел S, которое может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула \phi(x) с одной свободной переменной x, что \forall x (x \in S \leftrightarrow \phi(x)). Также можно говорить об арифметических множествах кортежей натуральных чисел, конечных последовательностей натуральных чисел, формул (при любой их фиксированной гёделевской нумерации) и, вообще, об арифметических множествах любых конструктивных объектов, кодируемых натуральными числами.

Связанные определения[править | править вики-текст]

Функция \N \to \N называется арифметической, если её график является арифметическим множеством. Аналогично, можно говорить об арифметичности функций \N^n \to \N и, вообще, функций, определённых на множествах любых конструктивных объектов.

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

Свойства[править | править вики-текст]

Примеры[править | править вики-текст]

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

Литература[править | править вики-текст]