Натуральное число

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Натуральный ряд»)
Перейти к навигации Перейти к поиску
Натуральные числа можно использовать для счёта (одно яблоко, два яблока, три яблока и т. д.)

Натура́льные чи́сла (от лат. naturalis «естественный») — числа, возникающие естественным образом при счёте (1, 2, 3, 4, 5, 6, 7 и так далее[1]). Последовательность всех натуральных чисел, расположенных в порядке возрастания, называется натуральным рядом[2].

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

Свойства натуральных чисел и операций с ними изучают арифметика и (более углублённо) теория чисел.

Древний период

[править | править код]

Самый примитивный способ представления натурального числа — ставить метку при учёте каждого объекта. Позже набор объектов можно будет проверить на равенство, избыток или недостаток — вычеркнув отметку и удалив объект из набора.

Первым крупным достижением стало использование цифр для компактного представления натуральных чисел. Это позволило разработать системы для записи больших чисел. Сейчас почти во всех случаях для записи натуральных и всех остальных чисел используются индо-арабские цифры (набор из десяти особых знаков — 0, 1, 2, 3, 4, 5, 6, 7, 8, 9). В некоторых случаях используются и римские цифры (семь заглавных латинских букв — I, V, X, L, C, D, M), которые могут обозначать только натуральные числа и где отсутствует цифра для нуля. Остальные системы сейчас очень мало распространены, однако ещё древние египтяне разработали обширную систему цифр с иероглифами для 1, 10 и всех степеней от 10 до более чем миллиона. На каменной резьбе из Карнака, датируемой примерно 1500 лет до н.э. и ныне находящейся в Лувре, число 276 изображено как 2 сотни, 7 десятков и 6 единиц; и аналогично для числа 4622[3].

Гораздо более поздним достижением стало развитие идеи о том, что ноль можно рассматривать как число с собственной цифрой. Использование цифры 0 в обозначении места (в других числах) восходит к 700 году до н.э. вавилонянами, которые опускали такую цифру, когда она была последним символом в числе[a]. Ноль использовался в качестве числа в средневековых вычислениях (вычислении даты Пасхи), начиная с Дионисия Экзигууса в 525 году нашей эры, без обозначения цифрой (стандартные римские цифры не имеют символа для 0). Вместо этого для обозначения нулевого значения использовалось лат. nulla (или родительный падеж лат. nullae в значении «нет»)[5]. Использование ноля в наше время возникло у индийского математика Брахмагупты в 628 г. н.э.

Первое систематическое изучение чисел, как абстракций, обычно приписывают греческим философам Пифагору и Архимеду. Некоторые греческие математики относились к числу 1 иначе, чем к большим числам, а иногда и вовсе не как к числу[b]. Евклид, например, сначала определил сущность единицы, а затем число как множество единиц, таким образом, по его определению единица не является числом, и не существует уникальных чисел (например, любые две единицы из неопределённого множества единиц являются числом 2)[7].

Современный период

[править | править код]

В Европе XIX века велись математические и философские дискуссии о точной природе натуральных чисел. Анри Пуанкаре был одним из защитников такой концепции, как и Леопольд Кронекер, который резюмировал свою веру так: «Бог создал целые числа, всё остальное — дело рук человека». Такая концепция была определена, как натуралистическая[c].

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

Теоретико-множественные определения натуральных чисел были инициированы Фреге. Первоначально он определил натуральное число, как класс всех множеств, которые находятся во взаимно однозначном соответствии с определенным множеством. Однако это определение привело к парадоксам, в том числе к парадоксу Рассела. Чтобы избежать таких парадоксов, формализм был изменен таким образом, что натуральное число определяется как конкретное множество, а любой набор, который можно поставить во взаимно однозначное соответствие с этим набором, называется имеющим это количество элементов[9].

Второй класс определений был введен Чарльзом Сандерсом Пирсом, уточнен Ричардом Дедекиндом и исследован Джузеппе Пеано — этот подход теперь называется аксиомами Пеано. Он основан на аксиоматизации свойств порядковых чисел: каждое натуральное число имеет преемника, а каждое ненулевое натуральное число имеет уникального предшественника. Арифметика Пеано равнозначна нескольким слабым системам теории множеств. Одной из таких систем является система Цермело — Френкеля (ZFC), в которой аксиома бесконечности заменена ее отрицанием. Среди теорем, которые могут быть доказаны в ZFC, но не могут быть доказаны с помощью аксиом Пеано,— Теорема Париса — Харрингтона, Теорема Гудстейна и другие[10].

На основании такого базиса определений удобно включать ноль (соответствующий пустому набору) как натуральное число. Включение ноля в настоящее время является обычным явлением среди теории множеств[11] и логических построений[12].

Место нуля

[править | править код]

Существуют два подхода к определению натуральных чисел:

  1. числа, возникающие при подсчёте (нумерации) предметов: первый, второй, третий, четвёртый, пятый…;
  2. числа, возникающие при обозначении количества предметов: 0 предметов, 1 предмет, 2 предмета, 3 предмета, 4 предмета, 5 предметов

В первом случае ряд натуральных чисел начинается с единицы, во втором — с нуля. Не существует единого для большинства математиков мнения о предпочтительности первого или второго подхода (то есть считать ли ноль натуральным числом или нет). В подавляющем большинстве российских источников традиционно принят первый подход[13]. Второй подход, например, применяется в трудах Николя Бурбаки, где натуральные числа определяются как мощности конечных множеств. Наличие нуля облегчает формулировку и доказательство многих теорем арифметики натуральных чисел, поэтому при первом подходе вводится полезное понятие расширенного натурального ряда, включающего ноль[13].

Множество всех натуральных чисел принято обозначать символом . Международные стандарты ISO 31-11 (1992 год) и ISO 80000-2 (2009 год) устанавливают следующие обозначения[14]:

  •  — натуральные числа, включая ноль:
  •  — натуральные числа без нуля:

Такие же, как в ISO, обозначения для множества натуральных чисел закреплены в российском ГОСТ 2011 года: Р 54521-2011, таблица 6.1[15]. Тем не менее в русских источниках этот стандарт пока не соблюдается — в них символ обозначает натуральные числа без нуля, а расширенный натуральный ряд обозначается и т. д.[13]

Аксиомы, позволяющие определить множество натуральных чисел

[править | править код]

Аксиомы Пеано для натуральных чисел

[править | править код]

Множество будем называть множеством натуральных чисел, если зафиксированы некоторый элемент 1 (единица), функция c областью определения , называемая функцией следования (), и выполнены следующие условия:

  1. элемент единица принадлежит этому множеству (), то есть является натуральным числом;
  2. число, следующее за натуральным, также является натуральным (если , то или, в более короткой записи, );
  3. единица не следует ни за каким натуральным числом ();
  4. если натуральное число непосредственно следует как за натуральным числом , так и за натуральным числом , то и  — это одно и то же число (если и , то );
  5. (аксиома индукции) если какое-либо предложение (высказывание) доказано для натурального числа (база индукции) и если из допущения, что оно верно для другого натурального числа , вытекает, что оно верно для следующего за натурального числа (индукционное предположение), то это предложение верно для всех натуральных чисел (пусть  — некоторый одноместный (унарный) предикат, параметром которого является натуральное число . Тогда, если и , то ).

Перечисленные аксиомы отражают наше интуитивное представление о натуральном ряде и числовой линии.

Принципиальным фактом является то, что эти аксиомы по сути однозначно определяют натуральные числа (категоричность системы аксиом Пеано). А именно, можно доказать (см.[16], а также краткое доказательство[17]), что если и  — две модели для системы аксиом Пеано, то они необходимо изоморфны, то есть существует обратимое отображение (биекция) такая, что и для всех .

Поэтому, достаточно зафиксировать в качестве какую-либо одну конкретную модель множества натуральных чисел.

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

Теоретико-множественное определение натуральных чисел (определение Фреге — Рассела)

[править | править код]
Положение натуральных чисел в иерархии числовых множеств

Согласно теории множеств, единственным объектом конструирования любых математических систем является множество.

Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:

Числа, заданные таким образом, называются ординальными.

Опишем несколько первых ординальных чисел и соответствующих им натуральных чисел:

Мощность множества натуральных чисел

[править | править код]

Обобщение числа элементов конечного множества на бесконечные множества характеризуется понятием «мощность множества». По мощности множество натуральных чисел больше любого конечного множества, но меньше любого интервала, например, . Множество натуральных чисел равномощно множеству рациональных чисел. Всякое множество, равномощное множеству натуральных чисел, называется счётным множеством. Так, множество членов любой последовательности счётно. В то же время, существует последовательность, в которую каждое натуральное число входит бесконечное число раз, поскольку множество натуральных чисел можно представить как счётное объединение непересекающихся счётных множеств (например[18], ).

Операции над натуральными числами

[править | править код]

К замкнутым операциям (операциям, не выводящим результат из множества натуральных чисел) над натуральными числами относятся следующие арифметические операции:

  • сложение: слагаемое + слагаемое = сумма;
  • умножение: множитель × множитель = произведение;
  • возведение в степень: , где  — основание степени,  — показатель степени. Если и  — натуральные числа, то и результат будет натуральным числом.

Дополнительно рассматривают ещё две операции (с формальной точки зрения не являющиеся операциями над натуральными числами, так как не определены для всех пар чисел (иногда существуют, иногда нет)):

  • вычитание: уменьшаемое — вычитаемое = разность. При этом уменьшаемое должно быть больше вычитаемого (или равно ему, если считать нуль натуральным числом);
  • деление с остатком: делимое / делитель = (частное, остаток). Частное и остаток от деления на определяются так: , причём . Заметим, что при обобщении определения на множество неотрицательных целых чисел последнее условие запрещает деление на нуль, так как в этом множестве не существует .

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

Основные свойства

[править | править код]
  • Коммутативность умножения:
  • Ассоциативность умножения:

Алгебраическая структура

[править | править код]

Сложение превращает множество натуральных чисел в полугруппу с единицей, роль единицы выполняет 0. Умножение также превращает множество натуральных чисел в полугруппу с единицей, при этом единичным элементом является 1. С помощью замыкания относительно операций сложения-вычитания и умножения-деления получаются группы целых чисел и рациональных положительных чисел соответственно.

Теоретико-множественные определения

[править | править код]

Воспользуемся определением натуральных чисел как классов эквивалентности конечных множеств. Если обозначить класс эквивалентности множества A, порождённый биекциями, с помощью квадратных скобок: [A], основные арифметические операции определятся следующим образом:

где:

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

Комментарии

[править | править код]
  1. Табличка Киша, предположительно датируемая примерно 700 годом до нашей эры, использует три крючка для обозначения пустого места в позиционном обозначении. В других таблицах, датируемых примерно тем же временем, используется единственный крючок для пустого места.[4]
  2. Это положение используется, например, в «Элементах» Евклида, см. Интернет-издание Д. Джойса Книги VII.[6]
  3. Английский перевод — от Грея. В сноске Грей указывает источник немецкой цитаты: «Weber 1891–1892, 19, цитата из лекции Кронекера 1886 года».[8]

Примечания

[править | править код]
  1. последовательность A000027 в OEIS
  2. Элементарная математика, 1976, с. 18.
  3. Ifrah, Georges. The Universal History of Numbers. — Wiley, 2000. — ISBN 0-471-37568-3.
  4. A history of Zero. MacTutor History of Mathematics. Дата обращения: 23 января 2013. Архивировано 19 января 2013 года.
  5. Deckers, Michael Cyclus Decemnovennalis Dionysii – Nineteen year cycle of Dionysius. Hbar.phys.msu.ru (25 августа 2003). Дата обращения: 13 февраля 2012. Архивировано 15 января 2019 года.
  6. Euclid. Book VII, definitions 1 and 2 // Elements. — Clark University.
  7. Mueller, Ian. Philosophy of mathematics and deductive structure in Euclid's Elements. — Mineola, New York : Dover Publications, 2006. — P. 58. — ISBN 978-0-486-45300-2.
  8. Gray, Jeremy. Plato's Ghost: The modernist transformation of mathematics. — Princeton University Press, 2008. — P. 153. — ISBN 978-1-4008-2904-0. Архивная копия от 29 марта 2017 на Wayback Machine
  9. Eves, 1990, Chapter 15
  10. Kirby, Laurie; Paris, Jeff (1982). "Accessible Independence Results for Peano Arithmetic". Bulletin of the London Mathematical Society. 14 (4). Wiley: 285—293. doi:10.1112/blms/14.4.285. ISSN 0024-6093.
  11. Bagaria, Joan. Set Theory. — Winter 2014. — The Stanford Encyclopedia of Philosophy, 2017. Архивная копия от 14 марта 2015 на Wayback Machine
  12. Goldrei, Derek. 3 // Classic Set Theory: A guided independent study. — 1. ed., 1. print. — Boca Raton, Fla. [u.a.] : Chapman & Hall/CRC, 1998. — P. 33. — ISBN 978-0-412-60610-6.
  13. 1 2 3 Потапов М. К., Александров В. В., Пасиченко П. И. Алгебра и анализ элементарных функций. — М.: Наука, 1981. — С. 9. — 560 с.
  14. International standard 80000-2:2009. Part 2. NCSU COE People. Дата обращения: 12 августа 2019. Архивировано 28 февраля 2019 года.
  15. ГОСТ Р 54521-2011 Статистические методы. Математические символы и знаки для применения в стандартах (Переиздание) от 24 ноября 2011 - docs.cntd.ru. docs.cntd.ru. Дата обращения: 14 января 2022. Архивировано 9 июля 2021 года.
  16. Феферман С. Числовые системы. Основания алгебры и анализа. — 1971. — 445 с.
  17. Доказательство единственности натуральных чисел. Дата обращения: 4 февраля 2011. Архивировано 22 августа 2011 года.
  18. Виноградова И. А., Олехник С. Н., Садовничий В. А. Задача №48 // Задачи и упражнения по математическому анализу. Книга 1. — 2-е изд. — М.: Высшая школа, 2000. — С. 146 (формулировка), 163 (ответ).

Литература

[править | править код]