04-07-2023
Натуральные числа (естественные числа) — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления).
Существуют два подхода к определению натуральных чисел — числа, используемые при:
Отрицательные и нецелые (рациональные, вещественные, …) числа натуральными не являются.
Множество всех натуральных чисел принято обозначать знаком . Множество натуральных чисел является бесконечным, так как для любого натурального числа найдётся большее его натуральное число.
Содержание |
Множество будем называть множеством натуральных чисел, если зафиксирован некоторый элемент (единица) и функция (функция следования) так, что выполнены следующие условия
Перечисленные аксиомы отражают наше интуитивные представления о «натуральном ряде».
Принципиальным фактом является то, что эти аксиомы по сути однозначно определяют натуральные числа (категоричность системы аксиом Пеано). А именно, можно доказать (см.[1], а также краткое доказательство[2]), что если и — две модели для системы аксиом Пеано, то они необходимо изоморфны, то есть существует биекция такая, что и для всех .
Поэтому, достаточно зафиксировать в качестве какую-либо одну конкретную модель множества натуральных чисел, например, ту, что описана ниже.
Согласно теории множеств, единственным объектом конструирования любых математических систем является множество.
Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:
Числа, заданные таким образом, называются ординальными.
Первые несколько ординальных чисел и соответствующие им натуральные числа:
Иногда, в иностранной и переводной литературе, в первой и третьей аксиомах Пеано заменяют на . В этом случае ноль считается натуральным числом. При определении через классы равномощных множеств 0 является натуральным числом по определению. Специально отбрасывать его было бы неестественно. Кроме того, это значительно усложнило бы дальнейшее построение и применение теории, так как в большинстве конструкций ноль, как и пустое множество, не является чем-то выделенным. Одним из преимуществ натурального нуля является то, что при этом образует полугруппу с единицей.
В русской литературе обычно ноль исключён из числа натуральных чисел , а множество натуральных чисел с нулём обозначается как . Если в определение натуральных чисел включен ноль, то множество натуральных чисел записывается как , а без нуля как .
В международной математической литературе, с учётом сказанного выше и во избежание неоднозначностей, множество обычно называют множеством положительных целых чисел и обозначают . Множество зачастую называют множеством неотрицательных целых чисел и обозначают .
К замкнутым операциям (операциям, не выводящим результат из множества натуральных чисел) над натуральными числами относятся следующие арифметические операции:
Дополнительно рассматривают ещё две операции. С формальной точки зрения они не являются операциями над натуральными числами, так как не определены для всех пар чисел (иногда существуют, иногда нет).
Следует заметить, что именно операции сложения и умножения являются основополагающими. В частности, кольцо целых чисел определяется именно через бинарные операции сложения и умножения.
Воспользуемся определением натуральных чисел как классов эквивалентности конечных множеств. Будем обозначать класс эквивалентности множества A относительно биекций как [A]. Тогда основные арифметические операции определяются следующим образом:
где — дизъюнктное объединение множеств, — прямое произведение, — множество отображений из B в A. Можно показать, что полученные операции на классах введены корректно, то есть не зависят от выбора элементов классов, и совпадают с индуктивными определениями.
Сложение превращает множество натуральных чисел в полугруппу с единицей, роль единицы выполняет 0. Умножение также превращает множество натуральных чисел в полугруппу с единицей, при этом единичным элементом является 1. С помощью замыкания относительно операций сложения-вычитания и умножения-деления получаются группы целых чисел и рациональных положительных чисел соответственно.
|
|||||||||||||||||||
Кватернионы |
Числовые системы | |
---|---|
Счётные множества |
Натуральные числа () • Целые () • Рациональные () • Алгебраические () • Периоды • Вычислимые • Арифметические |
Вещественные числа и их расширения |
Вещественные () • Комплексные () • Кватернионы () • Числа Кэли (октавы, октонионы) () • Седенионы () • Альтернионы • Процедура Кэли — Диксона • Дуальные • Гиперкомплексные • Суперреальные • Гиперреальные • Surreal number (англ.) |
Другие числовые системы |
Кардинальные числа • Порядковые числа (трансфинитные, ординал) • p-адические • Супернатуральные числа |
См. также | Двойные числа • Иррациональные числа • Трансцендентные • Числовой луч • Бикватернион |
Натуральные числа.