Изменения
удалены ссылки на фикбук
==Определение натуральных чисел== ===Неформальное определение=== {{В разработкеОпределение|definition='''Натура́льные чи́сла''' (англ. ''natural numbers'', естественные числа) — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления).}} Существуют два подхода к определению натуральных чисел — числа, используемые при:* '''перечислении (нумеровании) предметов''' (''первый'', ''второй'', ''третий''…) — подход, общепринятый в большинстве стран мира (в том числе и в России);* '''обозначении количества предметов''' (''нет предметов'', ''один предмет'', ''два предмета''…). Принят в трудах Николя Бурбаки, где натуральные числа определяются как мощность конечных множеств. Отрицательные и нецелые числа натуральными числами не являются. Множество всех натуральных чисел принято обозначать знаком <tex>\mathbb{N}</tex>. Множество натуральных чисел является бесконечным, так как для любого натурального числа найдётся большее его натуральное число. ===Формальное определение===Определить множество натуральных чисел позволяют '''аксиомы Пеано''' (англ. ''Peano axioms''):{{Требует доработкиОпределение|item1definition=Множество <tex>\mathbb N</tex> будем называть '''множеством натуральных чисел''', если зафиксирован некоторый элемент <tex> 1\in\mathbb N</tex> (единица) и функция <tex>S\colon\mathbb N\to\mathbb N</tex> (функция следования) так, что выполнены следующие условия# <tex>1\in\mathbb{N}</tex> (<tex>1</tex> является натуральным числом);# Если <tex>x\in\mathbb{N}</tex>, то <tex>S(x)\in\mathbb{N}</tex> (Число, следующее за натуральным, также является натуральным);# <tex>\nexists x\in\mathbb{N}\ (S(x) = 1)</tex> (<tex>1</tex> не следует ни за каким натуральным числом);# Если <tex>S(b)=Пожалуйстаa</tex> и <tex>S(c)=a</tex>, тогда <tex>b=c</tex> (если натуральное число <tex>a</tex> непосредственно следует как за числом <tex>b</tex>, так и за числом <tex>c</tex>, то <tex>b=c</tex>);# '''Аксиома индукции'''. Пусть <tex>P(n)</tex> — некоторый одноместный предикат, зависящий от параметра — натурального числа <tex>n</tex>. Тогда::: если <tex>P(1)</tex> и <tex>\forall n\;(P(n)\Rightarrow P(S(n)))</tex>, прочитайте статью [[Обсуждението <tex>\forall n\;P(n)</tex>:Алгоритмы алгебры : ('''Если''' некоторое высказывание <tex>P</tex> верно для <tex>n=1</tex> (''база индукции'') и для любого <tex>n</tex> при допущении, что верно <tex>P(n)</tex>, верно и теории чисел]]<tex>P(n+1)</tex> ''(индукционное предположение)'', '''то''' <tex>P(n)</tex> верно для любых натуральных <tex>n</tex>).
}}
===Теоретико-множественное определение===
Согласно теории множеств, единственным объектом конструирования любых математических систем является множество.
Таким образом, и натуральные числа вводятся, исходя из понятия множества, по двум правилам:
* <tex>0=\varnothing</tex>
* <tex>S(n)=n\cup\left\{n\right\}</tex>
Числа, заданные таким образом, называются ординальными.
Первые несколько ординальных чисел и соответствующие им натуральные числа:
* <tex>0=\varnothing</tex>
* <tex>1=\left\{\varnothing\right\}</tex>
* <tex>2=\big\{\varnothing,\;\left\{\varnothing\right\}\big\}</tex>
* <tex>3=\Big\{\varnothing,\;\left\{\varnothing\right\},\;\big\{\varnothing,\;\left\{\varnothing\right\}\big\}\Big\}</tex>
Классы эквивалентности этих множеств относительно биекций также обозначают <tex>0, 1, 2, \dots.</tex>
Перечисленные аксиомы отражают наше интуитивные представления о «натуральном ряде».
==Операции над натуральными числами==
===Сложение===
Есть два способа определения суммы двух натуральных чисел <tex>a\ и\ b</tex>. Если натуральные числа определяют через мощность множества с конечным числом элементов (мощность множества — это количество элементов в нём), тогда целесообразно дать следующее определение суммы:
Пусть <tex>N(S)\ — </tex> мощность множества <tex>S</tex>. Возьмём два не пересекающихся множества <tex>A\</tex> и <tex>B,\</tex> причём <tex>N(A) = a</tex> и <tex>N(B) = b</tex>.
Тогда <tex>a + b</tex> можно определить как: <tex>N ( A ∪ B )</tex>.
Здесь, <tex>A ∪ B\ — </tex> это объединение множеств <tex>A\ и B\</tex>. В альтернативной версии этого определения множества <tex>A\ и\ B</tex> перекрываются и тогда в качестве суммы берётся их дизъюнктное объединение, механизм, который позволяет отделять общие элементы, вследствие чего эти элементы учитываются дважды.
Другое известное определение рекурсивно:
Пусть <tex>n+\ — </tex> следующее за <tex>n</tex> натуральное число, например <tex>0+ = 1, 1+ = 2.</tex> Пусть <tex>a + 0 = a</tex>. Тогда общая сумма определяется рекурсивно: <tex>a + (b+) = (a + b)+</tex>. Отсюда <tex>1 + 1 = 1 + 0+ = (1 + 0)+ = 1+ = 2</tex>.
===Умножение===
Воспользуемся определением натуральных чисел <tex>\mathbb{N}</tex> как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств <tex>C,\A,\B\</tex> порождённых биекциями, с помощью скобок: <tex>[C], [A], [B].</tex> Тогда арифметическая операция '''умножение''' определяется следующим образом:
<tex>[C] = [A] \cdot [B] = [A \times B];\</tex>
где: <tex>A \times B={(a,\ b) \mid a \in A,\ b \in B}\</tex> прямое произведение множеств — множество <tex>C,</tex> элементами которого являются упорядоченные пары <tex>(a,\ b)</tex> для всевозможных <tex>a \in A,\ b \in B</tex>. Данная операция на классах введена корректно, то есть не зависит от выбора элементов классов, и совпадает с индуктивным определением.
===Вычитание===
Воспользуемся определением натуральных чисел <tex>\mathbb{N}</tex> как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств <tex>C , A , B</tex> порождённых биекциями, с помощью скобок: <tex>[C],\ [A],\ [B].</tex> Тогда арифметическая операция '''вычитание''' определяется следующим образом:
<tex>[C] = [A] − [B] = [A \backslash B];\</tex>
где <tex>A \backslash B = \{ C \in A \mid C \notin B \mid B \subset A \} —\ </tex>разность множеств. Данная операция на классах введена корректно, то есть не зависит от выбора элементов классов, и совпадает с индуктивным определением.
==Деление чисел с остатком==
{{Определение
|definition=
Если [[Классы чисел#Определение натуральных чисел | натуральное число]] <tex>n\,</tex> не делится на натуральное число <tex>m</tex>, т.е. не существует такого натурального числа <tex>k</tex> , что <tex>n = m \cdot k</tex>, то деление называется '''делением с остатком''' (англ. ''modulo operation'').
}}
'''Формула деления с остатком''': <tex>n = m \cdot k + r,</tex> где <tex>n\,</tex> — делимое, <tex>m\,</tex> — делитель, <tex>k\,</tex> — частное, <tex>r\,</tex> — остаток, причем <tex>0\leqslant r < b </tex>
:Любое число можно представить в виде: <tex>n = 2 \cdot k + r</tex>, где остаток <tex>r\, = 0\,</tex> или <tex>r\, = 1\,</tex>
:Любое число можно представить в виде: <tex>n = 4 \cdot k + r</tex>, где остаток <tex>r\ = 0\,</tex> или <tex>r\, = 1\,</tex> или <tex>r\, = 2\,</tex> или <tex>r\, = 3\,</tex>
:Любое число можно представить в виде: <tex>n = m \cdot k + r</tex>, где остаток <tex>r\,</tex> принимает значения от <tex>0\,</tex> до <tex>(m-1)\,</tex>
==Принцип индукции, существование наименьшего числа в любом множестве натуральных чисел==
===Индукция===
Формулировка '''Формулировка принципа математической индукции''':
:Пусть имеется последовательность утверждений <mathtex>A_1, A_2, A_3, \ldots</mathtex> И пусть первое утверждение <mathtex>A_1</mathtex> верно и мы умеем доказать, что из верности утверждения <mathtex>A_k</mathtex> следует верность <mathtex>A_{k + 1}</mathtex>. Тогда все утверждения в этой последовательности верны.
Верность этого метода доказательства вытекает из так называемой '''аксиомы индукции''', пятой из аксиом Пеано, которые определяют натуральные числа. Рассмотрение аксиом Пеано выходит за рамки этой статьи.
Также существует '''принцип полной математической индукции'''. Вот его строгая формулировка:
:Пусть имеется последовательность утверждений <mathtex>A_1, A_2, A_3, \ldots</mathtex>. И пусть мы умеем доказать, что из верности утверждения <mathtex>A_1, A_2, A_3, \ldots, A_k</mathtex> следует верность <mathtex>A_{k + 1}</mathtex>. Тогда все утверждения в этой последовательности верны.
===Существование наименьшего элемента===
Аксиому индукции можно заменить на аксиому существования минимума, и доказать аксиому индукции как теорему.
[[Категория: Классы чисел]]