Аксиоматическое построение системы целых чисел. Аксиоматика вещественных чисел
При аксиоматическом построении какой-либо математической теории соблюдаются определенные правила :
· некоторые понятия теории выбираются в качестве основных и принимаются без определения;
· каждому понятию теории, которое не содержится в списке основных, дается определение;
· формулируются аксиомы - предложения, которые в данной теории принимаются без доказательства; в них раскрываются свойства основных понятий;
· каждое предложение теории, которое не содержится в списке аксиом, должно быть доказано; такие предложения называют теоремами и доказывают их на основе аксиом и терем.
При аксиоматическом построении теории все утверждения выводятся из аксиом путем доказательства.
Поэтому к системе аксиом предъявляются особые требования:
· непротиворечивость (система аксиом называется непротиворечивой, если из нее нельзя логически вывести два взаимно исключающих друг друга предложения);
· независимость (система аксиом называется независимой, если никакая из аксиом этой системы не является следствием других аксиом).
Множество, с заданным в нем отношением называется моделью данной системы аксиом, если в нем выполняются все аксиомы данной системы.
Построить систему аксиом для множества натуральных чисел можно многими способами. За основное понятие можно принять, например, сумму чисел или отношение порядка. В любом случае нужно задать систему аксиом, описывающие свойства основных понятий.
Дадим систему аксиом, приняв основное понятие операцию сложения.
Непустое множество N назовем множеством натуральных чисел, если в нем определена операция (a; b) → a + b , называемая сложением и обладающая свойствами:
1. сложение коммутативно, т.е. a + b = b + a.
2. сложение ассоциативно, т.е. (a + b) + c = a + (b + c).
4. в любом множестве А , являющемся подмножеством множества N , где А есть число а такое, что все хА , равны a + b , где bN.
Аксиом 1 - 4 достаточно, чтобы построить всю арифметику натуральных чисел. Но при таком построении уже нельзя опираться на свойства конечных множеств, не нашедших отражение в этих аксиомах.
Возьмем в качестве основного понятия отношение «непосредственно следовать за…», заданное на непустом множестве N . Тогда натуральным рядом чисел будет являться множество N, в котором определено отношение «непосредственно следовать за», а натуральными числами будут называться все элементы N, причем имеют место следующие аксиомы Пеано :
АКСИОМА 1 .
Во множестве N существует элемент, непосредственно не следующий ни за каким элементом этого множества. Будем называть его единицей, и обозначать символом 1.
АКСИОМА 2.
Для каждого элемента а из N существует единственный элемент а, непосредственно следующий за а.
АКСИОМА 3.
Для каждого элемента а из N существует не более одного элемента, за которым непосредственно следует а.
АКСОИМА 4.
Всякое подмножество М множества N совпадает с N , если обладает свойствами: 1) 1 содержится в М; 2) из того, что а содержится в М, следует, что и а содержится в М.
Множество N, для элементов которого установлено отношение «непосредственно следовать за…», удовлетворяющее аксиомам 1 - 4, называется множеством натуральных чисел , а его элементы - натуральные числами.
Если в качестве множества N выбрать некоторое конкретное множество, на котором задано конкретное отношение «непосредственно следовать за…», удовлетворяющее аксиомам 1 - 4, то получим различные интерпретации (модели) данной системы аксиом.
Стандартной моделью системы аксиом Пеано является возникший в процессе исторического развития общества ряд чисел: 1, 2, 3, 4, 5, …
Моделью аксиом Пеано может быть любое счетное множество.
Например, I, II, III, IIII, …
о оо ооо оооо, …
один два три четыре, …
Рассмотрим последовательность множеств, в которой множество {оо} есть начальный элемент, а каждое последующее множество получается из предыдущего приписыванием еще одного кружка (рис.15).
Тогда N
есть множество, состоящее из множеств описанного вида, и оно является моделью системы аксиом Пеано.
Действительно, во множестве N существует элемент {oo}, непосредственно не следующий ни за каким элементом данного множества, т.е. выполняется аксиома 1. Для каждого множества А рассматриваемой совокупности существует единственное множество, которое получается из А добавлением одного кружка, т.е. выполняется аксиома 2. Для каждого множества А существует не более одного множества, из которого образуется множество А добавлением одного кружка, т.е. выполняется аксиома 3. Если М N и известно, что множество А содержится в М, следует, что и множество, в котором на один кружок больше, чем в множестве А , также содержится в М , то М = N , и значит выполняется аксиома 4.
В определении натурального числа ни одну из аксиом опустить нельзя.
Установим, какие из множеств, приведенных на рис. 16, являются моделью аксиом Пеано.
|
Решение. На рисунке 16 а) изображено множество, в котором выполняются аксиомы 2 и 3. Действительно, для каждого элемента существует единственный, непосредственно следующий за ним, и существует единственный элемент, за которым он следует. Но в этом множестве не выполняется аксиома 1 (аксиома 4 не имеет смысла, т.к. в множестве нет элемента, непосредственно не следующего ни за каким другим). Поэтому данное множество не является моделью аксиом Пеано.
На рисунке 16 б) показано множество, в котором выполнены аксиомы 1, 3 и 4, но за элементом а непосредственно следуют два элемента, а не один, как требуется в аксиоме 2. Поэтому данное множество не является моделью аксиом Пеано.
На рис. 16 в) изображено множество, в котором выполнены аксиомы 1, 2, 4, но элемент с непосредственно следует сразу за двумя элементами. Поэтому данное множество не является моделью аксиом Пеано.
На рис. 16 г) изображено множество, удовлетворяющее аксиомам 2, 3, и, если в качестве начального элемента возьмем число 5, то данное множество будет удовлетворять аксиомам 1 и 4. Т.е., в данном множестве для каждого элемента существует единственный, непосредственно следующий за ним, и существует единственный элемент, за которым он следует. Существует и элемент, непосредственно не следующий ни за каким элементом этого множества, это 5, т.е. выполняется аксиома 1. Соответственно будет выполняться и аксиома 4. Поэтому данное множество является моделью аксиом Пеано.
Используя аксиомы Пеано, можно доказывать ряд утверждений Например,докажем, что для всех натуральных чисел выполняется неравенство х х.
Доказательство. Обозначим через А множество натуральных чисел, для которых а а. Число 1 принадлежит А , поскольку оно не следует ни за каким числом из N , а значит, не следует само за собой: 1 1. Пусть аА, тогда а а. Обозначим а через b . В силу аксиомы 3, а b, т.е. b b и bА.
СистемА целых чисел
Вспомним, что натуральный ряд появился для перечисления предметов. Но если мы захотим производить какие-то действия с предметами, то нам потребуются арифметические операции над числами. То есть, если мы хотим складывать яблоки или делить торт, нам надо перевести эти действия на язык чисел.
Обратим внимание, что для введения операций + и * в язык натуральных чисел требуется добавить аксиомы, определяющие свойства этих операций. Но тогда и само множество натуральных чисел тоже расширяется .
Посмотрим, как расширяется множество натуральных чисел. Простейшая операция, которая потребовалась одной из первых – это сложение. Если мы хотим определить операцию сложения, мы необходимо должны определить обратную к ней - вычитание. В самом деле, если мы знаем, что будет в результате сложения, например, 5 и 2, то мы должны уметь решать и задачи типа: что надо прибавить к 4, чтобы получить 11. То есть, задачи, связанные со сложением, обязательно потребуют умения производить и обратное действие – вычитание. Но если сложение натуральных чисел дает снова натуральное число, то вычитание натуральных чисел дает результат, не вписывающийся в N. Потребовались какие-то еще числа. По аналогии понятного вычитания из большего числа меньшего было введено правило вычитания из меньшего большего – так появились целые отрицательные числа.
Дополняя натуральный ряд операциями + и -, мы приходим к множеству целых чисел.
Z=N+операции(+-)
СистемА рациональных чисел как язык арифметики
Рассмотрим теперь следующее по сложности действие – умножение. По сути, это многократное сложение. И произведение целых чисел остается целым числом.
Но обратная операция к умножению – это деление. А оно далеко не всегда дает целый результат. И опять мы стоим перед дилеммой – либо принять как данное, что результат деления может «не существовать», либо придумать числа какого-то нового типа. Так появились рациональные числа.
Возьмем систему целых чисел и дополним ее аксиомами, определяющими операции умножения и деления. Получим систему рациональных чисел.
Q=Z+операции(*/)
Итак, язык рациональных чисел позволяет производить все арифметические операции над числами. Языка натуральных чисел для этого было недостаточно.
Приведем аксиоматическое определение системы рациональных чисел.
Определение. Множество Q называется множеством рациональных чисел, а его элементы - рациональными числами, если выполняется следующий комплекс условий, называемый аксиоматикой рациональных чисел:
Аксиомы операции сложения. Для всякой упорядоченной пары х,у элементов из Q определен некоторый элемент х+у ÎQ, называемый суммой х и у . При этом выполняются следующие условия:
1. (Существование нуля) Существует элемент 0 (нуль) такой, что для любого х ÎQ
х +0=0+х =х.
2. Для любого элемента х Î Q существует элемент - х Î Q (противоположный х ) такой, что
х + (-х) = (-х) + х = 0.
3. (Коммутативность) Для любых х,у Î Q
4. (Ассоциативность) Для любых х,у,zÎ Q
х + (у + z) = (х + у) + z
Аксиомы операции умножения.
Для всякой упорядоченной пары х, у элементов из Q определен некоторый элемент ху Î Q, называемый произведением х и у. При этом выполняются следующие условия:
5. (Существование единичного элемента) Существует элемент 1 Î Q такой, что для любого х Î Q
х . 1 = 1 . х = х
6. Для любого элемента х Î Q , (х ≠ 0) существует обратный элемент х -1 ≠0 такой, что
х. х -1 = х -1. х = 1
7. (Ассоциативность) Для любых х, у,z Î Q
х . (у . z) = (х . у) . z
8. (Коммутативность) Для любых х, у Î Q
Аксиома связи сложения и умножения.
9. (Дистрибутивность) Для любых х, у, z Î Q
(х+у) . z = x . z+у . z
Аксиомы порядка.
Всякие два элемента х, у, Î Q вступают в отношение сравнения ≤. При этом выполняются следующие условия:
10. (х ≤у )L (у ≤x ) ó x=у
11. (х ≤у) L (у≤z ) => x ≤ z
12. Для любых х, у Î Q либо х< у, либо у < x .
Отношение < называется строгим неравенством,
Отношение = называется равенством элементов из Q.
Аксиома связи сложения и порядка.
13. Для любых x, y, z ÎQ, (x £ y) Þ x+z £ y+z
Аксиома связи умножения и порядка.
14. (0 £ x)Ç(0 £ y) Þ (0 £ x´y)
Аксиома непрерывности Архимеда.
15. Для любых a > b > 0 существует m Î N и n Î Q такие, что m ³ 1, n < b и a= mb+n.
*****************************************
Таким образом, система рациональных чисел – это язык арифметики.
Тем не менее, для решения практических вычислительных задач этого языка оказывается недостаточно.
При построении аксиоматической теории натуральных чисел первичными терминами будут являться «элемент» или «число» (которые в контексте данного пособия мы можем рассматривать как синонимы) и «множество», основными отношениями: «принадлежность» (элемент принадлежит множеству), «равенство» и «следовать за », обозначаемое а / (читается «число а штрих следует за числом а», например, за двойкой следует тройка, то есть 2 / = 3, за числом 10 следует число 11, то есть 10 / = 11 и т.д).
Множеством натуральных чисел (натуральным рядом, положительными целыми числами) называется множество N с введённым отношением «следовать за», в котором выполнены следующие 4 аксиомы:
А 1 . Во множестве N существует элемент, называемый единицей , который не следует ни за каким другим числом.
А 2 . Для каждого элемента натурального ряда существует единственный следующий за ним.
А 3 . Каждый элемент N следует не более чем за одним элементом натурального ряда.
А 4 .(Аксиома индукции ) Ели подмножество М множества N содержит в себе единицу, а также вместе с каждым своим элементом а содержит и следующий за ним элемент а / , то М совпадает N.
Те же аксиомы можно записать кратко с помощью математических символов:
А 1 ( 1 N) ( a N) a / ≠ 1
A 2 ( a N) ( a / N) a = b => a / = b /
A 3 a / = b / => a = b
Если элемент b следует за элементом а (b = а /), то будем говорить, что элемент а является предшествующим для элемента b (или предшествует b). Данная система аксиом носит название системы аксиом Пеано (так как была введена в XIX веке итальянским математиком Джузеппе Пеано). Это лишь один из возможных наборов аксиом, позволяющий определить множество натуральных чисел; существуют и другие эквивалентные подходы.
Простейшие свойства натуральных чисел
Свойство 1 . Если элементы различны, то и следующие за ними различны, то есть
a b => a / b / .
Доказательство осуществляется методом от противного: предположим, что a / = b / , тогда (по А 3) a = b, что противоречит условию теоремы.
Свойство 2 . Если элементы различны, то и предшествующие им (если они существуют) различны, то есть
a / b / => a b.
Доказательство : предположим, что a = b, тогда, согласно А 2 имеем a / = b / , что противоречит условию теоремы.
Свойство 3 . Никакое натуральное число не равно следующему за ним.
Доказательство : Введём в рассмотрение множество М, состоящее из таких натуральных чисел, для которых данное условие выполняется
М = {a N | a a / }.
Доказательство будем проводить, опираясь на аксиому индукции. По определению множества М, оно является подмножеством множества натуральных чисел. Далее 1М, так как единица не следует ни за каким натуральным числом (А 1), а значит в том числе и для а = 1 имеем: 1 1 / . Предположим теперь, что некоторое а М. Это означает, что a a / (по определению М), откуда a / (a /) / (свойство 1), то есть a / М. Из всего выше сказанного на основании аксиомы индукции можно заключить, что М = N, то есть наша теорема верна для всех натуральных чисел.
Теорема 4 . Для любого натурального числа отличного от 1 существует предшествующее ему число.
Доказательство : Рассмотрим множество
М = {1} {c N | ( a N) c = a / }.
Данное М есть подмножество множества натуральных чисел, единица явно принадлежит данному множеству. Вторая же часть этого множества – это элементы, для которых существуют предшествующие, следовательно, если а М, то a / тоже принадлежит М (его второй части, так как у a / есть предшествующий – это а). Таким образом, на основании аксиомы индукции М совпадает с множеством всех натуральных чисел, а значит все натуральные числа это либо 1, либо те, для которых существует предшествующий элемент. Теорема доказана.
Непротиворечивость аксиоматической теории натуральных чисел
В качестве интуитивной модели множества натуральных чисел можно рассматривать наборы чёрточек: числу 1 будет соответствовать |, числу 2 ||, и т.д., то есть натуральный ряд будет иметь вид:
|, ||, |||, ||||, ||||| ….
Данные ряды чёрточек могут служить моделью натуральных чисел, если в качестве отношения «следовать за» использовать «приписывание одной чёрточки к числу». Справедливость всех аксиом является интуитивно очевидной. Разумеется, данная модель не является строго логической. Для построения строгой модели нужно иметь другую заведомо непротиворечивую аксиоматическую теорию. Но такой теории в нашем распоряжении, как уже отмечалось выше, нет. Таким образом, либо мы вынуждены опереться на интуицию, либо не прибегать к методу моделей, а сослаться на то, что на протяжении более чем 6 тысячелетий, во время которых осуществляется изучение натуральных чисел, никаких противоречий с данными аксиомами обнаружено не было.
Независимость системы аксиом Пеано
Для доказательства независимости первой аксиомы достаточно построить модель, в которой аксиома А 1 ложна, а аксиомы А 2 , А 3 , А 4 истины. Рассмотрим в качестве первичных терминов (элементов) числа 1, 2, 3, а отношение «следовать за» определим соотношениями: 1 / = 2, 2 / = 3, 3 / = 1.
В этой модели нет элемента, который бы не следовал ни за каким другим (аксиома 1 ложна), но все остальные аксиомы выполняются. Таким образом, первая аксиома не зависит от остальных.
Вторая аксиома состоит из двух частей – существования и единственности. Независимость данной аксиомы (в части существования) можно проиллюстрировать на модели из двух чисел {1, 2} с отношением «следовать за», заданным единственным соотношением: 1 / = 2:
Для двойки отсутствует следующий элемент, аксиомы же А 1 , А 3 , А 4 истинны.
Независимость данной аксиомы, в части единственности, иллюстрирует модель, в которой множеством N будет множество всех обычных натуральных чисел, а также всевозможных слов (наборов букв, не обязательно имеющих смысл), составленных из букв латинского алфавита (после буквы z следующей будет аа, затем аb … аz, затем ba …; за всеми возможными словами из двух букв, последним из которых будет zz, последует слово ааа, и так далее). Отношение «следовать за» введём так, как показано на рисунке:
Здесь аксиомы А 1 , А 3 , А 4 также истинны, но за 1 следует сразу два элемента 2 и а. Таким образом, аксиома 2 не зависит от остальных.
Независимость аксиомы 3 иллюстрирует модель:
в которой А 1 , А 2 , А 4 истинны, но число 2 следует и за числом 4, и за числом 1.
Для доказательства независимости аксиомы индукции используем множество N, состоящее из всех натуральных чисел, а также трёх букв {a, b, c}. Отношение следования в данной модели можно ввести так, как показано на следующем рисунке:
Здесь для натуральных чисел используется обычное отношение следования, а для букв отношение «следовать за» определяется следующими формулами: a / = b, b / = c, c / = a. Очевидно, что 1 не следует ни за каким натуральным числом, для каждого имеется следующий, и притом только один, каждый элемент следует не более чем за одним элементом. Однако если мы рассмотрим множество М состоящее из обычных натуральных чисел, то это будет подмножество данного множества, содержащее единицу, а также следующий элемент для каждого элемента из М. Однако это подмножество не будет совпадать со всей рассматриваемой моделью, так как не будет содержать в себе буквы a, b, c. Таким образом, аксиома индукции в данной модели не выполняется, а, следовательно, аксиома индукции не зависит от остальных аксиом.
Аксиоматическая теория натуральных чисел является категоричной (полной в узком смысле).
(n /) =( (n)) / .
Принцип полной математической индукции .
Теорема индукции. Пусть некоторое утверждение Р(n) сформулировано для всех натуральных чисел, и пусть а) Р(1) – истинно, б) из того, что Р(k) истинно, следует, что Р(k /) также истинно. Тогда утверждение Р(n) справедливо для всех натуральных чисел.
Для доказательства введём множество М таких натуральных чисел n (М N), для которых утверждение Р(n) истинно. Воспользуемся аксиомой A 4 , то есть попытаемся доказать, что:
k M => k / M.
Если нам это удастся, то, согласно аксиоме А 4 , мы сможем сделать вывод, что M = N, то есть P(n) истинно для всех натуральных числе.
1) По условию а) теоремы, Р(1) истинно, следовательно, 1 М.
2) Если некоторое k М, то (по построению М) Р(k) – истинно. По условию б) теоремы, это влечёт за собой истинность Р(k /), а значит k / М.
Таким образом, по аксиоме индукции (А 4) М = N, а значит Р(n) истинно для всех натуральных чисел.
Таким образом, аксиома индукции позволяет создать метод доказательства теорем «по индукции». Данный метод играет ключевую роль при доказательстве основных теорем арифметики, касающихся натуральных чисел. Он состоит в следующем:
1) проверяется справедливость утверждения для n =1 (база индукции) ,
2) предполагается справедливость этого утверждения для n = k , где k – произвольное натуральное число (индукционное предположение) , и с учётом этого предположения устанавливается справедливость утверждения для n = k / (индукционный шаг ).
Доказательство, основанное на данном алгоритме, называется доказательством методом математической индукции .
Задания для самостоятельного решения
№ 1.1. Выяснить, какие из перечисленных систем удовлетворяют аксиомам Пеано (являются моделями множества натуральных чисел), определить, какие аксиомы выполнены, а какие – нет.
а) N ={3, 4, 5 …}, n / = n + 1;
б) N ={n 6, n N }, n / = n + 1;
в) N ={n – 2, n Z }, n / = n + 1;
г) N ={n – 2, n Z }, n / = n + 2;
д) нечётные натуральные числа, n / = n +1;
е) нечётные натуральные числа, n / = n +2;
ж) Натуральные числа с отношением n / = n + 2;
з) N ={1, 2, 3}, 1 / = 3, 2 / = 3, 3 / = 2;
и) N ={1, 2, 3, 4, 5}, 1 / = 2, 2 / = 3, 3 / = 4, 4 / = 5, 5 / = 1;
к) Натуральные числа, кратные 3 с отношением n / = n + 3
л) Чётные натуральные числа с отношением n / = n + 2
м)
Целые числа,
.
Загрузка...
