Натуральное число
- 1 year ago
- 0
- 0
Натурáльные чи́сла (от лат. «естественный») — числа , возникающие естественным образом при счёте (1, 2, 3, 4, 5, 6, 7 и так далее ). Последовательность всех натуральных чисел, расположенных в порядке возрастания, называется натуральным рядом .
Множество натуральных чисел является бесконечным, так как для любого натурального числа найдётся натуральное число, большее чем . Натуральные числа ещё можно называть целыми положительными числами. Поэтому отрицательные и нецелые (дробные) числа к натуральным не относятся.
Свойства натуральных чисел и операций с ними изучают арифметика и (более углублённо) теория чисел .
Самый примитивный способ представления натурального числа — ставить метку при учёте каждого объекта. Позже набор объектов можно будет проверить на равенство, избыток или недостаток — вычеркнув отметку и удалив объект из набора.
Первым крупным достижением стало использование цифр для компактного представления натуральных чисел. Это позволило разработать системы для записи больших чисел. Сейчас почти во всех случаях для записи натуральных и всех остальных чисел используются индо-арабские цифры (набор из десяти особых знаков — 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 .
Гораздо более поздним достижением стало развитие идеи о том, что ноль можно рассматривать как число с собственной цифрой. Использование цифры 0 в обозначении места (в других числах) восходит к 700 году до н.э. вавилонянами, которые опускали такую цифру, когда она была последним символом в числе . Ноль использовался в качестве числа в средневековых вычислениях (вычислении даты Пасхи), начиная с Дионисия Экзигууса в 525 году нашей эры, без обозначения цифрой (стандартные римские цифры не имеют символа для 0). Вместо этого для обозначения нулевого значения использовалось лат. nulla (или родительный падеж лат. nullae в значении «нет») . Использование ноля в наше время возникло у индийского математика Брахмагупты в 628 г. н.э.
Первое систематическое изучение чисел, как абстракций, обычно приписывают греческим философам Пифагору и Архимеду . Некоторые греческие математики относились к числу 1 иначе, чем к большим числам, а иногда и вовсе не как к числу . Евклид, например, сначала определил сущность единицы, а затем число как множество единиц, таким образом, по его определению единица не является числом, и не существует уникальных чисел (например, любые две единицы из неопределённого множества единиц являются числом 2) .
В Европе XIX века велись математические и философские дискуссии о точной природе натуральных чисел. Анри Пуанкаре был одним из защитников такой концепции, как и Леопольд Кронекер , который резюмировал свою веру так: « Бог создал целые числа, всё остальное — дело рук человека ». Такая концепция была определена, как натуралистическая .
В противовес натуралистам конструктивисты видели необходимость совершенствовать логическую основу в основах математики. В 1860-х годах Герман Грассманн предложил рекурсивное определение натуральных чисел, таким образом заявив, что они не совсем естественные, а являются следствием определений. Далее было построены два класса таких формальных определений; позднее было показано, что они эквивалентны в большинстве практических приложений.
Теоретико-множественные определения натуральных чисел были инициированы Фреге. Первоначально он определил натуральное число, как класс всех множеств, которые находятся во взаимно однозначном соответствии с определенным множеством. Однако это определение привело к парадоксам, в том числе к парадоксу Рассела . Чтобы избежать таких парадоксов, формализм был изменен таким образом, что натуральное число определяется как конкретное множество, а любой набор, который можно поставить во взаимно однозначное соответствие с этим набором, называется имеющим это количество элементов .
Второй класс определений был введен Чарльзом Сандерсом Пирсом , уточнен Ричардом Дедекиндом и исследован Джузеппе Пеано — этот подход теперь называется аксиомами Пеано . Он основан на аксиоматизации свойств порядковых чисел: каждое натуральное число имеет преемника, а каждое ненулевое натуральное число имеет уникального предшественника. Арифметика Пеано равнозначна нескольким слабым системам теории множеств. Одной из таких систем является система Цермело — Френкеля (ZFC), в которой аксиома бесконечности заменена ее отрицанием. Среди теорем, которые могут быть доказаны в ZFC , но не могут быть доказаны с помощью аксиом Пеано ,— Теорема Париса — Харрингтона , Теорема Гудстейна и другие .
На основании такого базиса определений удобно включать ноль (соответствующий пустому набору) как натуральное число. Включение ноля в настоящее время является обычным явлением среди теории множеств и логических построений .
Существуют два подхода к определению натуральных чисел:
В первом случае ряд натуральных чисел начинается с единицы , во втором — с нуля . Не существует единого для большинства математиков мнения о предпочтительности первого или второго подхода (то есть считать ли ноль натуральным числом или нет). В подавляющем большинстве российских источников традиционно принят первый подход . Второй подход, например, применяется в трудах Николя Бурбаки , где натуральные числа определяются как мощности конечных множеств . Наличие нуля облегчает формулировку и доказательство многих теорем арифметики натуральных чисел, поэтому при первом подходе вводится полезное понятие расширенного натурального ряда , включающего ноль .
Множество всех натуральных чисел принято обозначать символом . Международные стандарты ISO 31-11 (1992 год) и ISO 80000-2 (2009 год) устанавливают следующие обозначения :
Такие же, как в ISO, обозначения для множества натуральных чисел закреплены в российском ГОСТ 2011 года: Р 54521-2011, таблица 6.1 . Тем не менее в русских источниках этот стандарт пока не соблюдается — в них символ обозначает натуральные числа без нуля, а расширенный натуральный ряд обозначается и т. д.
Множество будем называть множеством натуральных чисел, если зафиксированы некоторый элемент 1 (единица), функция c областью определения , называемая функцией следования ( ), и выполнены следующие условия:
Перечисленные аксиомы отражают наше интуитивное представление о натуральном ряде и числовой линии .
Принципиальным фактом является то, что эти аксиомы по сути однозначно определяют натуральные числа (категоричность системы аксиом Пеано). А именно, можно доказать (см. , а также краткое доказательство ), что если и — две модели для системы аксиом Пеано, то они необходимо изоморфны , то есть существует обратимое отображение ( биекция ) такая, что и для всех .
Поэтому, достаточно зафиксировать в качестве какую-либо одну конкретную модель множества натуральных чисел.
Иногда, особенно в иностранной и переводной литературе, в первой и третьей аксиомах Пеано заменяют единицу на ноль. В этом случае ноль считается натуральным числом. При определении через классы равномощных множеств ноль является натуральным числом по определению. Специально отбрасывать его было бы неестественно. Кроме того, это значительно усложнило бы дальнейшее построение и применение теории, так как в большинстве конструкций нуль, как и пустое множество, не является чем-то обособленным. Другим преимуществом считать ноль натуральным числом является то, что при этом образует моноид . Как уже упоминалось , в русской литературе традиционно ноль исключён из числа натуральных чисел.
Согласно теории множеств , единственным объектом конструирования любых математических систем является множество .
Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:
Числа, заданные таким образом, называются ординальными .
Опишем несколько первых ординальных чисел и соответствующих им натуральных чисел:
Обобщение числа элементов конечного множества на бесконечные множества характеризуется понятием « мощность множества ». По мощности множество натуральных чисел больше любого конечного множества, но меньше любого интервала , например, . Множество натуральных чисел равномощно множеству рациональных чисел . Всякое множество равномощное множеству натуральных чисел, называется счётным множеством . Так, множество членов любой последовательности счётно. В то же время, существует последовательность, в которую каждое натуральное число входит бесконечное число раз, поскольку множество натуральных чисел можно представить как счётное объединение непересекающихся счётных множеств (например , ).
К замкнутым операциям (операциям, не выводящим результат из множества натуральных чисел) над натуральными числами относятся следующие арифметические операции:
Дополнительно рассматривают ещё две операции (с формальной точки зрения не являющиеся операциями над натуральными числами, так как не определены для всех пар чисел (иногда существуют, иногда нет)):
Следует заметить, что операции сложения и умножения являются основополагающими. В частности, кольцо целых чисел определяется именно через бинарные операции сложения и умножения.
Сложение превращает множество натуральных чисел в полугруппу с единицей, роль единицы выполняет 0 . Умножение также превращает множество натуральных чисел в полугруппу с единицей, при этом единичным элементом является 1 . С помощью замыкания относительно операций сложения-вычитания и умножения-деления получаются группы целых чисел и рациональных положительных чисел соответственно.
Воспользуемся определением натуральных чисел как классов эквивалентности конечных множеств. Если обозначить класс эквивалентности множества A , порождённый биекциями, с помощью квадратных скобок: [ A ], основные арифметические операции определятся следующим образом:
где:
Можно показать, что полученные операции на классах введены корректно, то есть не зависят от выбора элементов классов, и совпадают с индуктивными определениями.