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

Поделись знанием:
Перейти к: навигация, поиск

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

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

  • подсчёте (нумерации) предметов (первый, второй, третий, …);
  • обозначении количества предметов (нет предметов, один предмет, два предмета, …).

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

Отрицательные и нецелые (рациональные, вещественные, …) числа к натуральным не относятся.

Множество всех натуральных чисел принято обозначать символом <math>\mathbb{N}</math> (от лат. naturalis — естественный). Множество натуральных чисел является бесконечным, так как для любого натурального числа <math>n</math> найдётся натуральное число, большее чем <math>n</math>.

Наличие нуля облегчает формулировку и доказательство многих теорем арифметики натуральных чисел, поэтому при первом подходе вводится полезное понятие расширенного натурального ряда, включающего ноль. Расширенный ряд обозначается[1] <math>\mathbb{N}_0</math> или <math>\mathbb{Z}_0.</math>





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

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

Множество <math>\mathbb N</math> будем называть множеством натуральных чисел, если зафиксирован некоторый элемент <math> 1\in\mathbb N</math> (единица) и функция <math>S\colon\mathbb N\to\mathbb N</math> (функция следования) так, что выполнены следующие условия

  1. <math>1\in\mathbb{N}</math> (<math>1</math> является натуральным числом);
  2. Если <math>x\in\mathbb{N}</math>, то <math>S(x)\in\mathbb{N}</math> (Число, следующее за натуральным, также является натуральным);
  3. <math>\nexists x\in\mathbb{N}\ (S(x) = 1)</math> (1 не следует ни за каким натуральным числом);
  4. Если <math>S(b)=a</math> и <math>S(c)=a</math>, тогда <math>b=c</math> (если натуральное число <math>a</math> непосредственно следует как за числом <math>b</math>, так и за числом <math>c</math>, то <math>b=c</math>);
  5. Аксиома индукции. Пусть <math>P(n)</math> — некоторый одноместный предикат, зависящий от параметра — натурального числа <math>n</math>. Тогда:
если <math>P(1)</math> и <math>\forall n\;(P(n)\Rightarrow P(S(n)))</math>, то <math>\forall n\;P(n)</math>
(Если некоторое высказывание <math>P</math> верно для <math>n=1</math> (база индукции) и для любого <math>n</math> при допущении, что верно <math>P(n)</math>, верно и <math>P(n+1)</math> (индукционное предположение), то <math>P(n)</math> верно для любых натуральных <math>n</math>).

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

Принципиальным фактом является то, что эти аксиомы по сути однозначно определяют натуральные числа (категоричность системы аксиом Пеано). А именно, можно доказать (см.[2], а также краткое доказательство[3]), что если <math>(\mathbb N, 1, S)</math> и <math>(\tilde {\mathbb N},\tilde 1, \tilde S)</math> — две модели для системы аксиом Пеано, то они необходимо изоморфны, то есть существует биекция <math>f\colon\mathbb N\to\tilde{\mathbb N}</math> такая, что <math>f(1)=\tilde 1</math> и <math>f(S(x))=\tilde S(f(x))</math> для всех <math>x\in\mathbb N</math>.

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

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

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

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

  • <math>0=\varnothing</math>
  • <math>S(n)=n\cup\left\{n\right\}</math>

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

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

  • <math>0=\varnothing</math>
  • <math>1=\left\{0\right\}=\left\{\varnothing\right\}</math>
  • <math>2=\left\{0,1\right\}=\big\{\varnothing,\;\left\{\varnothing\right\}\big\}</math>
  • <math>3=\left\{0,1,2\right\}=\Big\{\varnothing,\;\left\{\varnothing\right\},\;\big\{\varnothing,\;\left\{\varnothing\right\}\big\}\Big\}</math>

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

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

В русской литературе обычно нуль исключён из числа натуральных чисел <math>0\notin\mathbb{N}</math>, а множество натуральных чисел с нулём обозначается как <math>\mathbb{N}_0</math>. Если в определение натуральных чисел включен нуль, то множество натуральных чисел записывается как <math>\mathbb{N}</math>, а без нуля как <math>\mathbb{N}^*</math>.

В международной математической литературе, с учётом сказанного выше и во избежание неоднозначностей, множество <math>\{1,2,\dots\}</math> обычно называют множеством положительных целых чисел и обозначают <math>\Z_+</math>. Множество <math>\{0,1,\dots\}</math> зачастую называют множеством неотрицательных целых чисел и обозначают <math>\Z_{\geqslant 0}</math>.

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

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

  • Сложение. Слагаемое + Слагаемое = Сумма
  • Умножение. Множитель × Множитель = Произведение
  • Возведение в степень <math>a^b</math>, где a — основание степени и b — показатель степени. Если основание и показатель натуральны, то и результат будет являться натуральным числом.

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

  • Вычитание. Уменьшаемое − Вычитаемое = Разность. При этом Уменьшаемое должно быть больше Вычитаемого (или равно ему, если считать 0 натуральным числом).
  • Деление. Делимое / Делитель = (Частное, Остаток). Частное <math>p</math> и остаток <math>r</math> от деления <math>a</math> на <math>b</math> определяются так: <math>a=p\cdot b+r</math>, причём <math>0\leqslant r<b</math>. Заметим, что именно последнее условие запрещает деление на нуль, так как иначе <math>a</math> можно представить в виде <math>a=p\cdot 0+a</math>, то есть можно было бы считать частным <math>0</math>, а остатком = <math>a</math>.

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

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

  1. Коммутативность сложения. <math>a + b = b + a</math>
  2. Коммутативность умножения. <math>ab = ba</math>
  3. Ассоциативность сложения. <math>(a + b) + c = a + (b + c)</math>
  4. Ассоциативность умножения. <math>(ab)c = a(bc)</math>
  5. Дистрибутивность умножения относительно сложения. <math>\begin{cases} a(b+c) = ab + ac \\ (b + c)a = ba + ca \end{cases}</math>

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

Сложение превращает множество натуральных чисел в полугруппу с единицей, роль единицы выполняет 0. Умножение также превращает множество натуральных чисел в полугруппу с единицей, при этом единичным элементом является 1. С помощью замыкания относительно операций сложения-вычитания и умножения-деления получаются группы целых чисел <math>\mathbb Z</math> и рациональных положительных чисел <math>\mathbb Q^*_+</math> соответственно.

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

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

  • <math>[A] + [B] = [A \sqcup B]</math>
  • <math>[A] \cdot [B] = [A \times B]</math>
  • <math>{[A]}^{[B]} = [ A^B ]</math>

где <math>A \sqcup B</math> — дизъюнктное объединение множеств, <math>A \times B</math> — прямое произведение, <math>A ^ B</math> — множество отображений из B в A. Можно показать, что полученные операции на классах введены корректно, то есть не зависят от выбора элементов классов, и совпадают с индуктивными определениями.

См. также

Напишите отзыв о статье "Натуральное число"

Примечания

  1. 1 2 Потапов М. К., Александров В. В., Пасиченко П. И. Алгебра и анализ элементарных функций. — М.: Наука, 1981. — С. 9. — 560 с.
  2. Феферман С. Числовые системы. Основания алгебры и анализа. — 1971. — 445 с.
  3. [www.apronus.com/provenmath/naturalaxioms.htm Доказательство единственности натуральных чисел]. Проверено 4 февраля 2011. [www.webcitation.org/617hzARNB Архивировано из первоисточника 22 августа 2011].


</math>) • ПериодыВычислимыеАрифметические |заголовок2=
Вещественные числа
и их расширения

|список2=Вещественные (<math>\scriptstyle\mathbb{R}</math>) • Комплексные (<math>\scriptstyle\mathbb{C}</math>) • Кватернионы (<math>\scriptstyle\mathbb{H}</math>) • Числа Кэли (октавы, октонионы) (<math>\scriptstyle\mathbb{O}</math>) • Седенионы (<math>\scriptstyle\mathbb{S}</math>) • АльтернионыДуальныеГиперкомплексныеСупердействительныеГипервещественныеСюрреальные[en]

|заголовок3=
Инструменты расширения
числовых систем

|список3=Процедура Кэли — ДиксонаТеорема ФробениусаТеорема Гурвица

|заголовок4=
Иерархия чисел
|список4=
<center>
<math>1,\;2,\;\ldots</math> Натуральные числа
<math>-1,\;0,\;1,\;\ldots</math> Целые числа
<math>-1,\;1,\;\frac{1}{2},\;\;0{,}12,\frac{2}{3},\;\ldots</math> Рациональные числа
<math>-1,\;1,\;\;0{,}12,\frac{1}{2},\;\pi,\;\sqrt{2},\;\ldots</math> Вещественные числа
<math>-1,\;\frac{1}{2},\;0{,}12,\;\pi,\;3i+2,\;e^{i\pi/3},\;\ldots</math> Комплексные числа
<math>1,\;i,\;j,\;k,\;2i + \pi j-\frac{1}{2}k,\;\dots</math> Кватернионы
<math>1,\;i,\;j,\;k,\;l,\;m,\;n,\;o,\;2 - 5l + \frac{\pi}{3}m,\;\dots</math> Октонионы
<math>1,\;e_1,\;e_2,\;\dots,\;e_{15},\;7e_2 + \frac{2}{5}e_7 - \frac{1}{3}e_{15},\;\dots</math> Седенионы
</center> |заголовок5=
Другие
числовые системы

|список5=Кардинальные числаПорядковые числа (трансфинитные, ординал)p-адическиеСупернатуральные числа

|заголовок6=
См. также

|список6=Двойные числаИррациональные числаТрансцендентные числаЧисловой лучБикватернион

}}

Отрывок, характеризующий Натуральное число

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


– Бывает с тобой, – сказала Наташа брату, когда они уселись в диванной, – бывает с тобой, что тебе кажется, что ничего не будет – ничего; что всё, что хорошее, то было? И не то что скучно, а грустно?
– Еще как! – сказал он. – У меня бывало, что всё хорошо, все веселы, а мне придет в голову, что всё это уж надоело и что умирать всем надо. Я раз в полку не пошел на гулянье, а там играла музыка… и так мне вдруг скучно стало…
– Ах, я это знаю. Знаю, знаю, – подхватила Наташа. – Я еще маленькая была, так со мной это бывало. Помнишь, раз меня за сливы наказали и вы все танцовали, а я сидела в классной и рыдала, никогда не забуду: мне и грустно было и жалко было всех, и себя, и всех всех жалко. И, главное, я не виновата была, – сказала Наташа, – ты помнишь?
– Помню, – сказал Николай. – Я помню, что я к тебе пришел потом и мне хотелось тебя утешить и, знаешь, совестно было. Ужасно мы смешные были. У меня тогда была игрушка болванчик и я его тебе отдать хотел. Ты помнишь?
– А помнишь ты, – сказала Наташа с задумчивой улыбкой, как давно, давно, мы еще совсем маленькие были, дяденька нас позвал в кабинет, еще в старом доме, а темно было – мы это пришли и вдруг там стоит…
– Арап, – докончил Николай с радостной улыбкой, – как же не помнить? Я и теперь не знаю, что это был арап, или мы во сне видели, или нам рассказывали.
– Он серый был, помнишь, и белые зубы – стоит и смотрит на нас…
– Вы помните, Соня? – спросил Николай…
– Да, да я тоже помню что то, – робко отвечала Соня…
– Я ведь спрашивала про этого арапа у папа и у мама, – сказала Наташа. – Они говорят, что никакого арапа не было. А ведь вот ты помнишь!
– Как же, как теперь помню его зубы.
– Как это странно, точно во сне было. Я это люблю.
– А помнишь, как мы катали яйца в зале и вдруг две старухи, и стали по ковру вертеться. Это было, или нет? Помнишь, как хорошо было?
– Да. А помнишь, как папенька в синей шубе на крыльце выстрелил из ружья. – Они перебирали улыбаясь с наслаждением воспоминания, не грустного старческого, а поэтического юношеского воспоминания, те впечатления из самого дальнего прошедшего, где сновидение сливается с действительностью, и тихо смеялись, радуясь чему то.
Соня, как и всегда, отстала от них, хотя воспоминания их были общие.
Соня не помнила многого из того, что они вспоминали, а и то, что она помнила, не возбуждало в ней того поэтического чувства, которое они испытывали. Она только наслаждалась их радостью, стараясь подделаться под нее.
Она приняла участие только в том, когда они вспоминали первый приезд Сони. Соня рассказала, как она боялась Николая, потому что у него на курточке были снурки, и ей няня сказала, что и ее в снурки зашьют.
– А я помню: мне сказали, что ты под капустою родилась, – сказала Наташа, – и помню, что я тогда не смела не поверить, но знала, что это не правда, и так мне неловко было.
Во время этого разговора из задней двери диванной высунулась голова горничной. – Барышня, петуха принесли, – шопотом сказала девушка.
– Не надо, Поля, вели отнести, – сказала Наташа.
В середине разговоров, шедших в диванной, Диммлер вошел в комнату и подошел к арфе, стоявшей в углу. Он снял сукно, и арфа издала фальшивый звук.
– Эдуард Карлыч, сыграйте пожалуста мой любимый Nocturiene мосье Фильда, – сказал голос старой графини из гостиной.
Диммлер взял аккорд и, обратясь к Наташе, Николаю и Соне, сказал: – Молодежь, как смирно сидит!
– Да мы философствуем, – сказала Наташа, на минуту оглянувшись, и продолжала разговор. Разговор шел теперь о сновидениях.
Диммлер начал играть. Наташа неслышно, на цыпочках, подошла к столу, взяла свечу, вынесла ее и, вернувшись, тихо села на свое место. В комнате, особенно на диване, на котором они сидели, было темно, но в большие окна падал на пол серебряный свет полного месяца.
– Знаешь, я думаю, – сказала Наташа шопотом, придвигаясь к Николаю и Соне, когда уже Диммлер кончил и всё сидел, слабо перебирая струны, видимо в нерешительности оставить, или начать что нибудь новое, – что когда так вспоминаешь, вспоминаешь, всё вспоминаешь, до того довоспоминаешься, что помнишь то, что было еще прежде, чем я была на свете…
– Это метампсикова, – сказала Соня, которая всегда хорошо училась и все помнила. – Египтяне верили, что наши души были в животных и опять пойдут в животных.
– Нет, знаешь, я не верю этому, чтобы мы были в животных, – сказала Наташа тем же шопотом, хотя музыка и кончилась, – а я знаю наверное, что мы были ангелами там где то и здесь были, и от этого всё помним…
– Можно мне присоединиться к вам? – сказал тихо подошедший Диммлер и подсел к ним.
– Ежели бы мы были ангелами, так за что же мы попали ниже? – сказал Николай. – Нет, это не может быть!
– Не ниже, кто тебе сказал, что ниже?… Почему я знаю, чем я была прежде, – с убеждением возразила Наташа. – Ведь душа бессмертна… стало быть, ежели я буду жить всегда, так я и прежде жила, целую вечность жила.
– Да, но трудно нам представить вечность, – сказал Диммлер, который подошел к молодым людям с кроткой презрительной улыбкой, но теперь говорил так же тихо и серьезно, как и они.
– Отчего же трудно представить вечность? – сказала Наташа. – Нынче будет, завтра будет, всегда будет и вчера было и третьего дня было…
– Наташа! теперь твой черед. Спой мне что нибудь, – послышался голос графини. – Что вы уселись, точно заговорщики.
– Мама! мне так не хочется, – сказала Наташа, но вместе с тем встала.
Всем им, даже и немолодому Диммлеру, не хотелось прерывать разговор и уходить из уголка диванного, но Наташа встала, и Николай сел за клавикорды. Как всегда, став на средину залы и выбрав выгоднейшее место для резонанса, Наташа начала петь любимую пьесу своей матери.
Она сказала, что ей не хотелось петь, но она давно прежде, и долго после не пела так, как она пела в этот вечер. Граф Илья Андреич из кабинета, где он беседовал с Митинькой, слышал ее пенье, и как ученик, торопящийся итти играть, доканчивая урок, путался в словах, отдавая приказания управляющему и наконец замолчал, и Митинька, тоже слушая, молча с улыбкой, стоял перед графом. Николай не спускал глаз с сестры, и вместе с нею переводил дыхание. Соня, слушая, думала о том, какая громадная разница была между ей и ее другом и как невозможно было ей хоть на сколько нибудь быть столь обворожительной, как ее кузина. Старая графиня сидела с счастливо грустной улыбкой и слезами на глазах, изредка покачивая головой. Она думала и о Наташе, и о своей молодости, и о том, как что то неестественное и страшное есть в этом предстоящем браке Наташи с князем Андреем.
Диммлер, подсев к графине и закрыв глаза, слушал.
– Нет, графиня, – сказал он наконец, – это талант европейский, ей учиться нечего, этой мягкости, нежности, силы…
– Ах! как я боюсь за нее, как я боюсь, – сказала графиня, не помня, с кем она говорит. Ее материнское чутье говорило ей, что чего то слишком много в Наташе, и что от этого она не будет счастлива. Наташа не кончила еще петь, как в комнату вбежал восторженный четырнадцатилетний Петя с известием, что пришли ряженые.
Наташа вдруг остановилась.
– Дурак! – закричала она на брата, подбежала к стулу, упала на него и зарыдала так, что долго потом не могла остановиться.
– Ничего, маменька, право ничего, так: Петя испугал меня, – говорила она, стараясь улыбаться, но слезы всё текли и всхлипывания сдавливали горло.
Наряженные дворовые, медведи, турки, трактирщики, барыни, страшные и смешные, принеся с собою холод и веселье, сначала робко жались в передней; потом, прячась один за другого, вытеснялись в залу; и сначала застенчиво, а потом всё веселее и дружнее начались песни, пляски, хоровые и святочные игры. Графиня, узнав лица и посмеявшись на наряженных, ушла в гостиную. Граф Илья Андреич с сияющей улыбкой сидел в зале, одобряя играющих. Молодежь исчезла куда то.
Через полчаса в зале между другими ряжеными появилась еще старая барыня в фижмах – это был Николай. Турчанка был Петя. Паяс – это был Диммлер, гусар – Наташа и черкес – Соня, с нарисованными пробочными усами и бровями.
После снисходительного удивления, неузнавания и похвал со стороны не наряженных, молодые люди нашли, что костюмы так хороши, что надо было их показать еще кому нибудь.
Николай, которому хотелось по отличной дороге прокатить всех на своей тройке, предложил, взяв с собой из дворовых человек десять наряженных, ехать к дядюшке.
– Нет, ну что вы его, старика, расстроите! – сказала графиня, – да и негде повернуться у него. Уж ехать, так к Мелюковым.
Мелюкова была вдова с детьми разнообразного возраста, также с гувернантками и гувернерами, жившая в четырех верстах от Ростовых.