Теоретико-множественное истолкование натурального числа

Совокупность рациональных чисел оказалась недостаточной для изучения непрерывно изменяющихся переменных величин. Здесь оказалось необходимым новое расширение понятия числа, заключающееся в переходе от множества рациональных чисел к множеству действительных (вещественных) чисел. Этот переход состоит в присоединении к рациональным числам т. н. иррациональных чисел. Ещё в Древней Греции было сделано в геометрии открытие огромной принципиальной важности: не всякие точно заданные (что само по себе является присущей геометрии идеализацией) отрезки соизмеримы, т. е. не всегда длина отрезка может быть выражена рациональным Ч., если за единицу принят другой отрезок. Классическим примером несоизмеримых отрезков является сторона квадрата и его диагональ. Факт существования несоизмеримых отрезков не явился тормозом для развития геометрии. Греками была разработана (изложенная в «Началах» Евклида) теория отношений отрезков, учитывающая возможность их несоизмеримости. Они умели сравнивать такие отношения по величине, производить над ними арифметические действия (в чисто геометрической форме), т. е. греки обращались с такими отношениями, как с число. Однако идея о том, что отношение длин несоизмеримых отрезков может рассматриваться как число, у них не была осознана до конца. Это может быть объяснено культивировавшимся в школе, к которой принадлежал Евклид, идеалистическим отрывом теоретической математики от прикладных вопросов. В работах Архимеда мы находим значительно большую близость к прикладным вопросам, в частности приближённые вычисления отношений несоизмеримых отрезков, однако и у него не появляется понятие иррационального числа как число, выражающего отношение длин несоизмеримых отрезков.

В 17 в. в период зарождения современной науки и, в частности, современной математики разрабатывается ряд методов изучения непрерывных процессов и методов приближённых вычислений. Отчётливое определение понятия действительного числа даётся одним из основоположников математического анализа И. Ньютоном во «Всеобщей арифметике»: «Под числом мы понимаем не столько множество единиц, сколько отвлечённое отношение какой-нибудь величины к другой величине того же рода, принятой нами за единицу». Эта формулировка даёт единое определение действительного Ч., рационального или иррационального. В дальнейшем, в 70-х гг. 19 в., понятие действительного числа было уточнено на основе глубокого анализа понятия непрерывности в работах Р. Дедекинда, Г. Кантора и К. Вейерштрасса.

По Дедекинду, свойство непрерывности прямой линии заключается в том, что если все точки, составляющие прямую, разбить на два класса так, что каждая точка первого класса лежит левее каждой точки второго класса («разорвать» прямую на две части), то либо в первом классе найдётся самая правая точка, либо во втором — самая левая точка, т. е. точка, в которой произошёл «разрыв» прямой.

Совокупность всех рациональных чисел свойством непрерывности не обладает. Если совокупность всех рациональных чисел разбить на два класса так, что каждое число первого класса будет меньше каждого числа второго класса, то при таком разбиении («сечении» Дедекинда) может оказаться, что в первом классе не будет существовать наибольшего числа, а во втором — наименьшего. Так будет, например, если к первому классу отнести все отрицательные рациональные числа, нуль и все положительные числа, квадрат которых меньше двух, а ко второму — все положительные числа, квадрат которых больше двух. Такое сечение называется иррациональным. Затем даётся следующее определение иррационального числа: каждому иррациональному сечению в совокупности рациональных чисел сопоставляется иррациональное число, которое считается большим, чем любое число первого класса, и меньшим, чем любое число верхнего класса. Совокупность всех действительных чисел, рациональных и иррациональных, уже обладает свойством непрерывности.

Обоснование Кантора понятия действительного числа отличается от обоснования Дедекинда, но также основывается на анализе понятия непрерывности. Как в определении Дедекинда, так и в определении Кантора используется абстракция актуальной бесконечности. Так, в теории Дедекинда иррациональное число определяется посредством сечения в совокупности всех рациональных чисел, которая мыслится как данная вся целиком.

Подробно о педагогике:

Литературный язык как высшая форма существования национального языка
Новый период истории, характеризующийся, в частности, развитием наций, побуждает к созданию повсеместно литературных языков. Литературные языки нормативны, т.е. подчинены в своём функционировании строгим «правилам», закономерностям, именуемым нормами. Литература отбирает из всего запаса языковых ед ...

Школьная зрелость
А. Анастази трактует понятие школьной зрелости как овладение умениями, знаниями, способностями, мотивацией и другими необходимыми для оптимального уровня усвоения школьной программой поведенческими характеристиками. [8] И. Шванцера рассматривал школьную зрелость как достижение определенной ступени ...

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