Hyperinteger - Hyperinteger

В нестандартный анализ, а гиперинтегральный п это гиперреальное число это равно своему собственному целая часть. Гиперицелое число может быть конечным или бесконечным. Конечное гиперинтегральное число - это обычное целое число. Пример бесконечного гиперинтегрального числа дается классом последовательности (1, 2, 3, ...) в сверхмощный построение гиперреалов.

Обсуждение

Стандартная целая часть функция:

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

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

Внутренние наборы

Набор всех гиперинтегральных чисел является внутреннее подмножество гиперреальной линии . Множество всех конечных гиперинтегральных чисел (т.е. сам) не является внутренним подмножеством. Элементы дополнения называются, в зависимости от автора, нестандартный, неограниченный, или же бесконечный гиперинтегральные. Обратное к бесконечному гиперинтегральному числу всегда есть бесконечно малый.

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

Рекомендации