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

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

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

В теории построенной Дж. Пеано, б качестве основного понятия взято отношение «непосредственно следовать за». Известными также считаются понятия множеств, элемента множеств и другие теоретико-множественные понятия, а также правила логики. Элемент, непосредственно следующий за элементом а, обозначают а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) использование для ...

Цели обучения истории
Развиваясь, любое общество всегда ставило и ставит перед школой определенные социально-обусловленные цели, поскольку их реализация необходима для его функционирования. Обучение истории, как и любому другому предмету, предполагает, прежде всего, развитие внимания учеников. Без устойчивого внимания н ...