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

Наконец-то продолжаю начатое. Это первый параграф третьей главы, про натуральные числа. В ближайшее время тут будет много тривиального почти школьного материала, а чуть позже начнутся интересные, хотя опять же не сложные, темы из комбинаторики. Теперь я в первую очередь ориентируюсь на формат pdf, так что лучше читать текст именно в pdf — например, там проставлена нумерация теорем, там же я временами обновляю параграфы и правлю ошибки, не обращая внимания на веб. Поддерживать оба формата трудозатратно, но pdf удобнее. И еще раз напомню, что мне всегда требуется помощь с версткой в , вычитка текста и правка ошибок. И огромное спасибо всем хорошим людям, которые вносили свои правки на ГитХабе.

Натуральные числа — это 0, 1, 2, 3, и т.д. Все это вроде знают. Но как определить понятие натурального числа строго? Чтобы оценить задачу, прежде чем читать дальше, попробуйте дать такое определение самостоятельно, заодно с определение арифметических операций и не опираясь на физическую интуицию, а лишь на логику. Замечу, что этот параграф носит малоприкладной характер — его цель лишь в определении натуральных чисел. Я же не могу написать: «а с этого момента давайте использовать натуральные числа». Определить я их обязан как-то, но в то же время подробные определения, которые я здесь привожу, вряд ли будут кому-то действительно полезными. Поэтому данный параграф можно читать наискосок либо не читать вообще, если вы помните свойства натуральных чисел.

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

Определение Фреге-Рассела отражает идею о том, что натуральные числа определяют количество элементов во множествах. Это довольно понятно на пальцах, но надо дать строгое определение. Первая идея, которая обычно приходит на ум — это взять вообще все множества в принципе и разбить их на классы эквивалентности так, чтобы в одном классе оказали множества одинакового размера.

Ввести такую эквивалентность для множеств не сложно: в § 2.4 мы уже вводили понятие равномощности. В соответствии с тем определением, два множества и называются равномощными, если существует некоторая биективная (то есть взаимооднозначная) функция . Пусть например у нас есть множество трех букв алфавита и странное множество . Эти два множества равномощны, так как существует биекция — то есть существует способ назначить каждому элементу множества некий элемент множества и обратно. Если мы рассмотрим теперь множество с одним дополнительным элементом , то увидим, что никаких способов задать тут биекцию не существует, и стало было множество не равномощно и .

Упражнение. Докажите, что на любом множестве, состоящим из множеств, отношение биекции — это отношение эквивалентности.

Теперь, когда у нас есть некое отношение эквивалентности, мы хотим задать классы эквивалентности — и эти классы эквивалентности мы могли бы объявить натуральными числами, тогда каждое натуральное число представляло собой класс всех множеств одинаковой мощности. К сожалению, поступить таким образом мы не можем, так как классы эквивалентности могут быть построены лишь на некотором множестве, и в нашем случае было бы необходимым рассматривать множество всех множеств. Последнего, однако, как мы показали в § 2.5, не существует.

Тем не менее, эта идея всё же может быть доведена до конца, если вместо задания сразу всего класса эквивалентности, мы зададим лишь по одному представителю из этого класса, а затем, чтобы определить принадлежность некоторого множества к классу, мы будем сравнивать это множество с представителями классов. Это похоже на то, что делают в физике при измерениях: вначале определяют некий один эталонный объект (скажем, метр), а затем все остальные сравнения производятся уже относительно него.

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

Следующим за ним класс должен состоять из только одного элемента. Этим элементом можно взять как раз число 0, и определить представителя нашего нового класса как

Теперь определим представителя для еще более крупного множества, в котором на один элемент больше. Для этого естественно использовать уже имеющиеся у нас элементы 0 и 1:

Ну и до кучи:

Процедура, в общем-то, проста. Если у нас есть число , то мы можем определить следующий за ним элемент:

Применяя эту процедуру бесконечное число раз, мы можем получить все натуральные числа. Это на самом деле не столь очевидно, но Infinity Axiom гарантирует нам, что подобным образом действительно возможно определить некое множество, которое мы будем обозначать как и называть его множеством натуральных чисел. Теперь мы готовы для наших первых определений.

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

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

Определение. Конечной последовательностью элементов множества называется функция .

Определение. Множество называется конечным, если существует равномощное ему множество . В противном случае называется бесконечным.

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

Здесь, вероятно, требуются примеры. Возьмём опять наше множество . Если без формализма, а на уровне интуиции, то его мощность — это количество элементов в нём. Это очевидным образом связано с определением, данным нами выше, если вспомнить, что . Тогда биекцией , устанавливающей равномощность, может быть функция . Аналогичным образом получается связь и других определений с нашей интуицией — здесь может быть непривычным лишь то, что мы рассматриваем натуральные числа как множества, но именно это, если вдуматься, позволяет нам устанавливать между ними и множествами соответствия, используя привычный механизм функций.

Определение. Мы говорим, что число меньше или равно и обозначаем это как , если .

Определение. Мы говорим, что число меньше и обозначаем это как , если и .

Теорема. Отношение задаёт линейный порядок на .

Доказательство. В качестве упражнения.

Теорема. для любого .

Доказательство. Элементарно.

Пример. Сравним числа 3 и 4. Мы знаем, что и . Очевидно, что , и, следовательно, . Поскольку , то .

В полной аналогии с приведенными определениями можно определить так же сравнения больше () и больше или равно ().

Теорема. Множество — бесконечное.

Доказательство. Пусть конечно и . Тогда , но поскольку — максимальный элемент, , что противоречит определению . Что и требовалось доказать.

На самом деле для порядка натуральных чисел справедливо даже более сильное утверждение, к которому мы будем обращаться время от времени, а потом подробнее рассмотрим его в шестой главе:

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

Теорема. Множество вполне упорядочено относительно порядка .

Доказательство. В качестве упражнения.

Теперь немного отвлечемся от подхода Фреге-Рассела и посмотрим на аксиомы Пеано. Эти аксиомы не отвечают на вопрос что же вообще такое натуральные числа, но постулируют существование некоего множества такого, что в нем существует выделенный элемент 0, и на котором задана некая инъективная функция такая, что любой элемент кроме 0 имеет обратный. Это не совсем полная аксиоматика — мы будем её дополнять по мере надобности, но уже сейчас очевидно, что это определение практически дублирует подход Фреге-Рассела за исключением того, что мы не определяем конкретный вид элементов множества , но этого, на самом деле вполне достаточно — этим определением можно пользоваться, хотя жизнь при этом получается намного сложнее, как мы увидим ниже.

Перейдём теперь к определению арифметических операций. Вначале я буду давать интуитивное определение, затем доводить его до строгого вида в аксиоматике Фреге-Рассела, и затем определение для аксиом Пеано.

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

Это имеет очень простой комбинаторный смысл: если у нас есть некоторый набор, состоящий из объектов и мы его объединяем с набором, состоящим из объектов, то в результате мы получим набор, состоящий из объектов. Это то что объясняют в первом классе школы, но только более абстрактно.

Тем не менее, это не слишком хорошее определение. Во-первых, оно даёт нам понятие суммы не в терминах самих чисел, а в терминах неких множеств, причем непересекающихся. Это плохо, поскольку сами числа, будучи множествами, всегда пересекаются друг с другом (кроме числа 0). Поэтому если у нас есть два числа, не привязанных к конкретным множествам, это определение не даёт нам понять как определить их сумму.

Во-вторых, встаёт такой неприятный вопрос: пусть у нас есть непересекающиеся множества и , такие что и , можем ли мы в этом случае гарантировать, что ? Интуитивно это очевидно, но как это доказать —вопрос нетривиальный.

И в третьих, всё еще хуже: даже если и конечны, то где гарантия, что их объединение будет так же конечным? Опять же, это очевидно, но поди докажи (а когда мы будем говорить о бесконечных множествах, выяснится, что подобные очевидные рассуждения часто банально неверны).

Первая проблема устраняется c помощью следующих двух упражнений:

Упражнение. Докажите, что для .

Упражнение. Докажите, что .

Пользуясь этими двумя утверждениями, можно ввести такое определение:

Определение. .

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

А теперь то же самое определение, но уже в аксиоматике Пеано:

Определение. Сложение определяется следующим образом:

Пример.

Как видно из примера, это определение фактически говорит, что выражение означает, что к числу применяется операция (фактически, увеличение на единицу), раз. Интуитивно это должно буть понятно, строгое же доказательство того, что такое определение правомочно, будет дано позже.

Теорема. Справедливы следующие свойства сложения:

нейтральность нуля:
коммутативность: ,
ассоциативность:
если , то

Доказательство. Нейтральность нуля очевидна. Для коммутативности и ассоциативности используя определение Фреге-Рассела довольно легко построить биекцию между левыми и правыми частями равенства. Последнее равенство следует из того, что если , то (доказывается элементарно), а прибавление любого натурального числа равносильно многократному применению операции . Используя только аксиоматику Пеано это можно доказать, опять же, по индукции, о чем будет отдельный параграф.

Пользуясь сложением легко определить линейный порядок на в случае аксиом Пеано (для Фреге-Рассела это будет элементарная теорема):

Определение. , если существует такое , что .

Определение. Операция вычитания: мы пишем , если . В этом случае называется разностью и .

Теорема. Операция определена только в том случае, если .

Доказательство. В качестве упражнения

Определение. Операция умножения для Фреге-Рассела:

Здесь опять же надо внимательно отнестись к тем комментариям, которые я приводил для сложения, я на этом уже не буду подробно останавливаться.

Если смотерть на умножение комбинаторно, то получается простая интерпретация: для произвольных множеств и с мощностями и соответственно, имеем . То есть произведение чисел — это количество элементов в декартовом произведении множеств соответствующих размеров. Это очень часто используется в самой базовой комбинаторике, например, так:

Упражнение. Пусть у нас есть три бабы и два мужика. Сколько гетеросексуальных пар из них можно составить?

Определение. Операция умножения для аксиом Пеано:

Теорема. Справедливы следующие свойства:

нейтральность единицы:
коммутативность:
ассоциативность:
дистрибутивность:
если и , то

Доказательство. Здесь всё аналогично доказательству подобных свойств для сложения — необходимо просто построить биекцию для левой и правой части (причем это не так просто, если ударяться прямо в формализм ZFC, хотя и возможно по индукции). Рекомендую самостоятельно попытаться строго проработать случай коммутативности, поскольку он не сложен, но далеко не все понимают его.

Если отойти от формализма и посмотреть на вопрос геометрически, то можно рассматривать как количество ячеек в таблице с строками и столбцами, а — количество ячеек в той же таблице, поставленной на бок — в этом случае строки и столбцы меняются местами, но количество ячеек при этом не меняется.

Из этой табличной интерпретации можно уже построить конкретную биекцию. Как увязываются таблицы и декартовы произведения рассматривалось в § 2.2. Остальные приведенные здесь свойства могут быть интуитивно мотивированы подобным же образом.

Используя обозначение и свойство дистрибутивности можно легко понять смысл определния умножения в аксиомах Пеано: .

Теорема. Для любых и найдутся такие числа и , что .

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

Определение. Пусть . называется частным от деления на , а остатком от деления.

Определение. Если остаток от деления на равен нулю, то говорят, что делится на , или что делит . Обозначается это как и соответственно, а частное в этом случае обозначается как .

Упражнение. Докажите, что отношение делимости задаёт частичный порядок на .

Определение. Возведение в стемень для Фреге-Рассела: пусть и , тогда

Напомню, что — то есть это множество функций из в . Это имеет простой комбинаторный смысл. Пусть, например, — множество цветов рубашек и — множество мужчин. Каждый мужчина выбирает себе цвет рубашки. Если все мужчины сделали свой выбор, то этот выбор представляется функцией . Сколько всего есть вариантов выбора цветов для всех мужчин сразу? Ровно столько, сколько есть таких функций, то есть ровно столько, какова мощность множества . Остаётся только вопрос в том, как посчитать эту величину.

Упражнение. Пусть для кодирования мы используем символы . Сколько существует различных кодовых слов длины 5?

Теорема.

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

Приведенное рассуждение подсказывает нам как можно определить степень для аксиоматики Пеано:

Определение. Степень в аксиоматике Пеано:

Теорема. Для степеней справедливы следующие свойства:

если , то для любого ,
если , то для любого ,

Доказательство. Первое свойство дублирует определение Пеано, но его можно увидеть и из определения Фреге-Рассела: существует всего лишь одна функция из пустого множества в некоторое другое, и эта функция сама является пустым множеством. Функция вида совершенно легальна и единственна, хоть она ничего и не отображает.

Второе свойство:

Третье свойство:

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

Приведенное определение Фрегге-Рассела может почти сразу дать нам ответ на вопрос о том сколько всего подмножеств имеет некоторое множество, а заодно объяснить обозначение для булеана. Прежде, однако, нам понадобится одно вспомогательное понятие.

Определение. Пусть . Функция называется индикаторной, или характеристической функцией множества , если при и в противном случае.

Каждому подмножеству соответствует своя характеристическая функция, ровно как и характеристической функции соотстветствует подмножество. Это соответствие позволяет нам легко получить желаемую теорему:

Теорема.

Доказательство. Для того, чтобы определить количество элементов в булеане, нам достаточно определить количество различных характеристических функций на множестве . Поскольку характеристическая функция имеет вид , множеством всех таких функций является . По теореме 3.9 мощность этого множества

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

Trending Articles

Книга: руководство / инструкция по ремонту и эксплуатации CHERY QQ (ЧЕРИ...

Профессиональная астрология. Астрологическое консультирование и сопровождение...

Контакты представительств зарубежных авиакомпаний в Казахстане

GFI KerioControl 9.x (Часть 7) (5410) / Программный межсетевой экран NG...

Книга: руководство / инструкция по ремонту и эксплуатации OPEL VECTRA A...

1С 8.3 hasp emulator linux (46) / Решения по взлому лицензий на линуксе 8.3

The Pepper Porter Band - Invasion 1980

Посещаемость - Python для начинающих

0on3 Clean Tele

Департамент внутренних дел Павлодарской области

ДЕПАРТАМЕНТ АГЕНТСТВА ПО ПРОТИВОДЕЙСТВИЮ КОРРУПЦИИ (АНТИКОРРУПЦИОННОЙ СЛУЖБЫ)...

І. Пташнікаў. “Арчыбал”. Кароткі змест

ОЛИМПИАДАНЫ ТҮП-ТАМЫРЫНАН ӨЗГӨРТҮҮ КЕРЕК

Книга: руководство / инструкция по ремонту и эксплуатации HONDA CIVIC 5D...

HP Smart Array Advanced Pack (51) / license key wanted

MSO 2013 и "конфигурация операционной системы не рассчитана на запуск этого...

Помогите найти Geomprops for AutoCAD 2020 [3]

Готовая выкройка платья в пол

Autodesk FeatureCAM Ultimate 2019.0.0.359x64 [MULTILANG+RUS] #софт #software...

Ошибка удалённого приложения RemoteApp