Теоретические основы введения целых неотрицательных чисел

Страница 3

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

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

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

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

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

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

Аксиома 4. Пусть множество и есть подмножество множества В и известно, что:

а) единица содержится в М;

б) из того, что а содержится в М, следует, что и al содержится в М;

тогда множество М совпадает с множеством А?

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

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

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

В данном определении натурального числа ничего не говорится о природе элементов множества А. Следовательно, она может быть какой угодно. Выбирая в качестве множества А .некоторое конкретное множество, на котором задано конкретное отношение «непосредственно следовать за», удовлетворяющее аксиомам 1-4, получают различные интерпретации (модели) данной системы аксиом. Одной из них является ряд чисел 1,2,3,…, возникающий в процессе исторического развития общества. Элемент, непосредственно не следующий ни за каким элементом этого множества, здесь обозначается символом 1. Возможны и другие модели данной системы аксиом. Рассмотрим, например, последовательность множеств, в которой множество (00) есть начальный элемент, а каждое последующее множество получается и с предыдущего, приписыванием еще одного кружка.

а) (00), (000), (0000)…

Тогда A есть множество, состоящее из множеств описанного вида. Нетрудно убедиться в том, что оно является моделью системы аксиом 1-4. Действительно, в множестве А существует элемент (00), непосредственно не следующий ни за каким элементом данной совокупности множеств; если считать обведенные кружки за один элемент, то для каждого множества В рассматриваемой совокупности существует единственное множество, которое получается из В добавление одного кружка; для каждого множества В существует не более одного множества, из которого образуется множество В добавлением не более одного множества, из которого образуется множестве В добавлением одного кружка; если М А известно, что множество В содержится в М, и из того, что В содержится в М, что и. множество, в котором на один кружок больше, чем в множестве В, также содержится в М, то М = А.

Страницы: 1 2 3 4 5 6 7 8

Новости образования:

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

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

Методика работы с листами рабочей тетради на занятии
Лекция рассчитана на двенадцать академических часов. Не более одной пары в один учебный день. В первый день ученикам читается лекция. После прочтения лекции раздаётся первый лист учебной тетради, где ученикам предлагается заполнить пробелы. Это либо какое-то пропущенное понятие, но само определение ...

Главное на сайте

Copyright © 2019 - All Rights Reserved - www.focuseducation.ru