Hyperinteger - Hyperinteger
В нестандартный анализ, а гиперинтегральный п это гиперреальное число это равно своему собственному целая часть. Гиперицелое число может быть конечным или бесконечным. Конечное гиперинтегральное число - это обычное целое число. Пример бесконечного гиперинтегрального числа дается классом последовательности (1, 2, 3, ...) в сверхмощный построение гиперреалов.
Обсуждение
Стандартная целая часть функция:
определено для всех настоящий Икс и равно наибольшему целому числу, не превышающему Икс. Посредством принцип передачи нестандартного анализа существует естественное продолжение:
определено для всех гиперреальных Икс, и мы говорим, что Икс является гиперинтегральным, если Таким образом, гиперинтегральные числа являются изображение функции целой части на гиперреалах.
Внутренние наборы
Набор всех гиперинтегральных чисел является внутреннее подмножество гиперреальной линии . Множество всех конечных гиперинтегральных чисел (т.е. сам) не является внутренним подмножеством. Элементы дополнения называются, в зависимости от автора, нестандартный, неограниченный, или же бесконечный гиперинтегральные. Обратное к бесконечному гиперинтегральному числу всегда есть бесконечно малый.
Неотрицательные гиперинтегральные числа иногда называют сверхъестественный числа. Аналогичные замечания относятся и к наборам и . Обратите внимание, что последний дает нестандартная модель арифметики в смысле Сколем.
Рекомендации
- Говард Джером Кейслер: Элементарное исчисление: бесконечно малый подход. Первое издание 1976 г .; 2-е издание 1986 г. Эта книга больше не издается. Издатель вернул авторские права автору, который предоставил 2-е издание в формате .pdf для скачивания по адресу http://www.math.wisc.edu/~keisler/calc.html