Об аксиоматическом построении теории

При аксиоматическом построении какой-либо теории соблюдаются определенные правила:

• некоторые понятия теории выбираются в качестве основных, и принимаются без определения и называется неопределяемыми.

• формулируются аксиомы – предложения, которые в данной теории принимаются без доказательства; в них раскрывают свойства основных понятий;

• каждому понятию теории, которое не содержится в списке основных, дается определение, в нем разъясняется его смысл помощью основных и предшествующих данному понятий;

• каждое предложение теории, которое не содержится в списке аксиом, должно быть доказано; такие предложения называются теоремами и доказывают их на основе аксиом и теорем, предшествующих рассматриваемой.

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

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

Непротиворечивая система аксиом называется независимой, если никакая из аксиом этой системы не является следствием других аксиом этой системы.

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

В качестве основного понятия при аксиоматическом построении арифметики натуральных чисел взято отношение «непосредственно следовать за», заданное на непустом множестве N. Известными также считаются понятия множества, элемента множества и другие теоретико-множественные понятия, а также правила логики.

Элемент, непосредственно следующий за элементом а, обозначают а'. Суть отношения «непосредственно следовать за» раскрывается в следующих аксиомах, предложенных итальянским математиком Дж. Пеано в 1891 году.

Аксиома 1. В множестве N существует элемент, непосредственно не следующий ни за каким элементом этого множества. Его называют единицей и обозначают символом 1.

Аксиома 2. Для каждого элемента а из N существует единственный элемент а', непосредственно следующий за а.

Аксиома 3. Для каждого элемента а из N существует не более одного элемента, за которым непосредственно следует а.

Аксиома 4. (Аксиома индукции). Всякое подмножество М множества N совпадает с N, если обладает свойствами: 1) 1 содержится в М; 2) из того, что любой элемент а содержится в М, следует, что и а' содержится в М.

Сформулированные аксиомы часто называют аксиомами Пеано, а аксиому четвертую – аксиомой индукции.

Запишем эти аксиомы в символической форме.

А₁)($1ÎN)("aÎN) а'¹1;

А₂)("aÎN)($!bÎN) а'=b

А₃) ("а,b,с ÎN)с = а' Ùс = b' Þ а = b;

A₄) MÌNÙ[1ÎMÙ(aÎMÞ а'ÎM)] Þ M=N

Используя отношение «непосредственно следовать за» и аксиомы Пеано 1-4, можно дать следующее определение натурального числа.

___________________________________________________________________

Определение 1. Множество N. для элементов которого установлено отношение «непосредственно следовать за», удовлетворяющее аксиомам 1-4, называется множеством натуральных чисел, а его элементы натуральными числами.

______________________________________________________________________________________________

___________________________________________________________________

Определение 2. Если натуральное число b непосредственно следует за числом а, то число а называется непосредственно предшествующим (предшествующим) числу b.

______________________________________________________________________________________________

Теорема 1. Единица не имеет предшествующего натурального числа (истинность теоремы вытекает сразу из аксиомы А₁).

Теорема 2. Каждое натуральное число а, отличное от единицы имеет предшествующее число b, такое, что b ' = а.

В определении натурального числа ничего не говорит о природе элементов множества N. Значит, она может быть какой угодно. Стандартной моделью системы аксиом Пеано является возник­ший в процессе исторического развития общества ряд чисел:

1, 2, 3, 4, 5,..,

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

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

1 a b c d

·® ·®·® ·® ·¾ …

Рис. 16 Рис. 17

Задача 1.

На рисунках каждый элемент соединен стрелкой со следующим за ним элементом.

Установить, какие из множеств, приведенных на рисунках 15 и 16, являются моделями системы аксиом Пеано.

1. На рис. 16 изображено множество, в котором выполняются аксиомы 2 и 3, но не выполняется аксиома 1.

Аксиома 4 не будет иметь смысла, так как в множестве нет элемента, непосредственно не следующего ни за каким другим.

2.На рис. 17 показано множество, в котором выполнены аксиомы 1, 2, 3, но не выполняется аксиома 4 – множество точек, лежащих на луче, содержит 1, и вместе с каждым числом оно содержит непосредственно следующее за ним число, но оно не совпадает со всем множеством точек, показанных на рисунке. Вывод: ни одно из множеств, изображенных на рис. 16 и 17, нельзя считать моделями системы аксиом Пеано.

Задача 2.

Докажем, что всякое натуральное число отлично от непосредственно следующего за ним натурального числа, т.е. ("х ÎN)х ¹ х'

Доказательство

Пользуемся аксиомой индукции – А₄.

Пусть М= {х/х ÎN, х ¹ х'}, т.к. х ÎN Þ М Ì N.

Доказательство состоит из двух частей.

I. Докажем, что 1Î М, т.е. 1 ¹ 1'. Это следует из А₁.

II. Докажем, что хÎ М => х' Î М. Пусть "х Î М т.е. х ¹ х'. Докажем, что х' Î М, т.е. х' ¹ (х')'. И з аксиомы А₃ следует х' ¹ (х') '. Действительно, по А₃, если бы х' = (х')' то и х = х', а т.к. по предложению индукции х Î М, то х ¹ х', следовательно, приходим к противоречию. Значит, х' ¹ (х')', Þ х' Î М.

Здесь применено правило контрапозиции (ПК), широко применяемое в доказательствах «от противного».

Итак, мы получили:

М Ì NÙ (1 Î МÙ (xÎ М => х' Î М)) Þ M = N, т.е. утверждение х ¹ х' верно для любого натурального числа.

Контрольные вопросы

1. В чем суть аксиоматического построения теории?

2. Назовите основные понятия школьного курса планиметрии. Вспомните систему аксиом этого курса. Свойства каких понятий в них описываются?

3. Сформулируйте и запишите в символической форме аксиомы Пеано. '

4. Сформулируйте аксиоматическое определение натурального числа.

5. Продолжите определение натурального числа: «Натуральным числом называется элемент множества N,...».

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

а) новое (для учащихся) число выступает как продолжение полученного отрезка натурального ряда;

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