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

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

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

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

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

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

Исследования по спектроскопии сложных органических молекул с 1963 г. до середины 90-х гг
Важным результатом деятельности кафедр физики и математики при Ставропольском государственном педагогическом институте стало создание и развитие нового научного направления «Физика оптических явлений». Оно возникло как дочерняя школа и развивалось в тесном взаимодействии со школой профессора Э.В. Ш ...

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