Аксиоматические теории

Размещено на http://www.allbest.ru

Введение

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

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

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

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

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

Если построение теории осуществляется аксиоматическим методом, т.е. по названным выше правилам, то говорят, что теория построена дедуктивно.

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

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

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

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

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

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

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

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

Элемент, непосредственно следующий за элементом а, обозначают а'.

Суть отношения «непосредственно следовать за» раскрывается в следующих аксиомах.

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

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

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

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

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

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

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

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

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

Рассматривая натуральный ряд чисел в качестве одной из моделей аксиом 1- 4, следует отметить, что они описывают процесс образования этого ряда, причем происходит это при раскрытии в аксиомах свойств отношения «непосредственно следовать за». Так, натуральный ряд начинается с числа 1 (аксиома 1); за каждым натуральным числом непосредственно следует единственное натуральное число (аксиома 2); каждое натуральное число непосредственно следует не более чем за одним натуральным числом (аксиома 3); начиная от числа 1 и переходя по порядку к непосредственно следующим друг за другом натуральным числам, получаем все множество этих чисел (аксиома 4). Заметим, что аксиома 4 в формализованном виде описывает бесконечность натурального ряда, и на ней основано доказательство утверждений о натуральных числах.

Вообще моделью системы аксиом Пеано может быть любое счетное множество, например:

I,II,III,IIII,...

, , , , ...

один, два, три, четыре,...

То обстоятельство, что в аксиоматических теориях не говорят об «истинной» природе изучаемых понятий, делает на первый взгляд эти теории слишком абстрактными и формальными, - оказывается, что одним и тем же аксиомам удовлетворяют различные множества объектов и разные отношения между ними. Однако в этой кажущейся абстрактности и состоит сила аксиоматического метода: каждое утверждение, выведенное логическим путем из данных аксиом, применимо к любым множествам объектов, лишь бы в них были определены отношения, удовлетворяющие аксиомам.

Итак, мы начали аксиоматическое построение системы натуральных чисел с выбора основного отношения «непосредственно следовать за» и аксиом, в которых описаны его свойства. Дальнейшее построение теории предполагает рассмотрение известных свойств натуральных чисел и операций над ними. Они должны быть раскрыты в определениях и теоремах, т.е. выведены чисто логическим путем из отношения «непосредственно следовать за», и аксиом 1- 4.

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

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

Отношение «предшествует» обладает рядом свойств. Они формулируются в виде теорем и доказываются с помощью аксиом 1 - 4.

Теорема 1.Единица не имеет предшествующего натурального числа.

Истинность данного утверждения вытекает сразу из аксиомы 1.

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

Доказательство. Обозначим через М множество натуральных чисел, состоящее из числа 1 и из всех чисел, имеющих предшествующее. Если число а содержится в М, то и число а' также есть в М, поскольку предшествующим для а' является число а. Это значит, что множество М содержит 1, и из того, что число а принадлежит множеству М, следует, что и число а' принадлежит М. Тогда по аксиоме 4 множество М совпадает с множеством всех натуральных чисел. Значит, все натуральные числа, кроме 1, имеют предшествующее число.

Отметим, что в силу аксиомы 3 числа, отличные от 1, имеют единственное предшествующее число.

Аксиоматическое построение теории натуральных чисел не рассматривается ни в начальной, ни в средней школе. Однако те свойства отношения «непосредственно следовать за», которые нашли отражение в аксиомах Пеано, являются предметом изучения в начальном курсе математики. Уже в первом классе при рассмотрении чисел первого десятка выясняется, как может быть получено каждое число. При этом используются понятия «следует» и «предшествует». Каждое новое число выступает как продолжение изученного отрезка натурального ряда чисел. Учащиеся убеждаются в том, что за каждым числом идет следующее, и притом только одно, что натуральный ряд чисел бесконечен. И конечно, знание аксиоматической теории поможет учителю методически грамотно организовать усвоение детьми особенностей натурального ряда чисел.

Аксиомы Пеано. Метод математической индукции

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

4.если подмн.М мн.N содержит число 1 и из того, что элемент а €М, следует, что и элемент а?€М, то мн.М совпадает с мн.N. Мн.N, удовлетворяющее аксиомам 1-4, называют мн.нат.чисел, а элементы мн.N называют нат.числами.4 аксиому называют аксиомой индукции. Метод матем.индукции- это метод док-ва, основанный на принципе матем.индукции и применяемый для утверждений вида Р(п). Принцип: если утверждение Р(п) с переменной п истинно для п=1 и из того, что оно истинно для произвольного числа п=k, следует, что оно истинно и для следующего за ним числа п= k+1, то утверждение Р(п) истинно для любого натурального числа п. Док-во м.матем.нндукции состоит из трёх частей: 1.проверяют истинность утверждения Р(п) при п, равном 1, то есть проверяют Р(1). 2.предполагают истинность утверждения Р(п) при п, равном k, то есть предполагают истинность Р(k). 3.на основании предположения доказывают истинность утверждения при п= k+1, то есть доказывают истинность импликации Р(k)=>Р(k+1). Вывод: утверждение Р(п) истинно для любого натурального п.

П:док-ть, что для любого натурального числа п верно равенство 1+2+3+…+(2п-1) =п². Док-во: при п=1 равенство имеет вид 1=1². Оно верное. Предположим, что при п= k верно следующее равенство: 1+2+3+ …+ (2 k-1) = k². На основании предположения докажем, что при п= k+1 будет верным равенство: 1+2+3+ ..+(2 k-1)+ (2(k+1)-1) =( k+1)². Преобразуем левую часть равенства и покажем, что она совпадает с правой частью. В самом деле, по предположению сумма 1+2+3+ …+ (2 k-1) равна k², тогда левая часть равенства будет иметь вид: k²+2(k+1)-1 = k²+ 2 k+1= (k+1)^2. Видим, что левая и правая части равенства совпадают. Таким образом, из предположения о верности данного равенства при п= k доказана верность его при п= k+1. Следовательно, на основании принципа матем.индукции данное равенство верно при любом натуральном п.

Аксиоматическое определение умножения натуральных чисел. Закон умножения. Таблица умножения

Умножением натуральных чисел называется алгебраическая операция, определённая на мн.N нат.чисел, ставящая в соответствие каждой паре (а,b) число а *b, удовлетворяющее свойствам (аксиомам): 1. (?a є N)a•1 = a; 2. (? а,b є N) а•b' = а•b + а. Число a•b называется произведением чисел а и b, а сами числа аиb- множителями.Теорема 1. Умножение натуральных чисел существует, и оно единственно. Пользуясь определение операции умножения, составим таблицу умножения однозначных нат.чисел. а)1Ч1=1; 2Ч1=2; 3Ч1=3; 4Ч1=4 и т.д. (на основании св-ва 1); б)1Ч2=1Ч1'=1Ч1+1= 1+1=2; 2Ч2=2Ч1'= 2Ч1+1= 2+1=3; 3Ч2=3Ч1'= 3Ч1+1= 3+1=4 и т.д.(на основании св-ва 2).Теорема 2. (?a,b,с є N)(а+b)•с = а•с + b•c. Доказательство. Пусть натуральные числа а и b выбраны произвольно, а с принимает различные натуральные значения. Обозначим через М множество всех тех и только тех натуральных чисел с, для которых верно равенство (а + b)с = а•с + b•c. Покажем, что для с=1 верно равенство (а + b)•1 = а•1 + b•1 Действительно, (a + b)•1 =a+b=a•1 + b•1. Пусть дистрибутивный закон выполняется для произвольно выбранного числа с, т.е. равенство (а+b)•с = а•с + b•c истинно. На основании предположения докажем справедливость равенства: (а + b)•с' = а•с' + b•c' для числа с'. Рассмотрим левую часть равенства и покажем, что она равна правой: (а + b)•с' = (а + b)•c + (а + b)=(а•с+b•с)+ (а+b)= (а•с+а)+(b•с+b)= а•с'+b•c'. Данное равенство (а + b)•с = а•с + b•c истинно для любого нат.числа с, а так как числа а и b выбирались произвольно, то это равенство справедливо и для любых а и b. Анологично доказывается левый дистрибутивный закон умножения: (?а,b,с є N)а •(b+с)= а•b+а•с.Теорема 3. (? а,b,с є N)( а•b) •с= a•(b •с).-ассоциативна. Теорема 4. (?a,b є N) a•b = b•a.- коммуникативна. Операция умножения удовлетворяет двум законам: ab = bа (коммутативный закон умножения), а(bс) = (аb)с (ассоциативный закон умножения). Имеется также закон, связывающий сложение и умножение: а(b + с) = ab + ас (дистрибутивный закон).

Умножение целых неотрицательных чисел в количественной теории. Законы умножения

Произведением целых неотрицательных чисел а и в называется целое неотриц. число а*в, удовлетворяющее условиям: 1) а*в=?(а+а+?+а)T(в слагаемых) при в>1; 2)а*1=а, при в=1; 3)а*0=0, при в=0. П: по определению 5 имеем: 4*6=4+4+4+4+4+4=24. Действие нахождения произведения называется умножением, а числа а и в называются множителями. Произведение целых неотриц.чисел а и в есть число элементов декартова произведения мн.А и В, где а=п(А), в=п(В), т.е.а*в=п(АхВ), где а=п(А), в=п(В). Во мн.целых неотриц.чисел N0 операция умножения обладает св-ми коммутативности, ассоциативности и дистрибутивности. Коммутативность: (?а, в ?N0) а*в=в*а. Док-во: пусть а=п(А) и в=п(В). По определению произведения а*в=п(АхВ). Мн.АхВ и ВхА не равны,т.к.не равны пары чисел (а;в) и (в;а), но АхВ и ВхА яв-ся равномощными. Тогда а*в=п(АхВ)= п(ВхА)= в*а. Значит, а*в=в*а. Ассоциативность: (?а,в,с?N0) (а*в)*с= а*(в*с). Док-во: пусть а=п(А), в=п(В), с=п(С). По определению произведения (а*в)*с= п((АхВ)хС), а*(в*с)= п(Ах(ВхС)). Мн.(АхВ)хС и Ах(ВхС) не равны, но яв-ся равномощными. Потому п((АхВ)хС)= п(Ах(ВхС)). Следовательно, (а*в)*с=а*(в*с).Дистрибутивность: (?а,в,с?N0) (а+в)*с= а*с+в*с. Док-во: пусть а=п(А), в =п(В), с=п(С). По определению произведения (а+в)*с= п((А?В)хС); а*с+в*с= п((АхС)?(ВхС)). На основании св-ва дистрибутивности декартова произведения мн.имеем: (А?В)хС= (АхС)?(ВхС). Из этого вытекает, что мощность мн.(А?В)хС и (АхС)?(ВхС) тоже равны,т.е.п((А?В)хС)= п((АхС)?(ВхС)). Следовательно, (а+в)*с= а*с+в*с. П: 97*5=(90+7)*5=90*5+7*5=450+35=485. Законы: 1.переместительный: для любых целых неотриц.чисел а и в справедливо равенство а*в=в*а. 2.сочетательный: для любых целых неотриц.чисел а, в,с справедливо равенство (а*в)*с= а*(в*с). 3.распределительный закон умножения относительно сложения: для дюбых целых неотриц.чисел а,в,с справедливо равенство (а+в)*с= ас+вс. 4.распределительный закон умножения относительно вычитания: для любых целых неотриц.чисел а,в и с и а?в справедливо равенство (а-в)с=ас-вс.

Библиографический список

1. Арнольд И. В. Теоретическая арифметика. М.:Учпедгиз, 1938

2. Базилев В.Т.,Дуничев К.И. Геометрия. Учебное пособие для студентов физ.-мат. Педагогических институтов.- М., «Просвещение» 1975.

3. Игошин В.И. Основания геометрии - Саратов, «Научная книга», 2004

4. Игошин В.И. Векторная алгебра - Саратов, «Научная книга», 2005

5. Столл Л. Множества. Логика. Аксиоматические теории - М., «Просвещение», 1968

6. Метод аксиоматический - В кн. «Философская энциклопедия», т.3 - М Сов. Энциклопедия, 1964

Размещено на Allbest.ru