Чтение онлайн

на главную - закладки

Жанры

Бесчисленное поддается подсчету. Кантор. Бесконечность в математике
Шрифт:

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

В XIX веке эту задачу пытались решить многие математики, среди которых были Карл Вейерштрасс (1815-1897), Рихард Дедекинд и Георг Кантор.

РИС. 12

ВЕЩЕСТВЕННЫЕ ЧИСЛА

Важнейшим вкладом Вейерштрасса в

логическое обоснование исчисления было введение понятия предела, которое окончательно вытеснило бесконечно малые величины (хотя символ dx употребляется до сих пор). На практике предел заменяет идею бесконечно малого отрезка идеей отрезка, бесконечно малого только в потенции. То есть вместо того чтобы представлять прямоугольники с бесконечно малым основанием, мы представляем обычные прямоугольники, которые становятся все уже, пока не достигнут нужного размера. Опираясь на эту идею величин в динамике, то есть таких, которые становятся все меньше (бесконечно маленькими, но только потенциально), можно получить те же самые формулы, что и на основе бесконечно малых, но на более прочной логической основе.

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

Это объясняется тем, что в XIX веке исчисление все больше отдалялось от своей геометрической основы и в итоге окончательно от нее отошло. Это был длинный и трудный процесс, поскольку до этого классическая древнегреческая геометрия была неоспоримой основой любых математических рассуждений. В историю математики он вошел как «арифметизация исчисления» и заключался в том, что рассуждения геометрического типа (в них использовались статические объекты) заменялись на те, которые опирались исключительно на формулы и числа, в частности на вещественные числа (они позволяли рассуждать «в динамике», что было необходимо, например, в случае с понятием предела). Чтобы подвести под исчисление прочную логическую базу, необходимо было дать четкое определение вещественным числам, которые, в свою очередь, не имели никакого геометрического обоснования.

Что такое вещественные числа? Главное свойство вещественных чисел, которое их определяет и характеризует, заключается в том, что они заполняют всю числовую ось, то есть каждая точка на этой оси соответствует вещественному числу, а каждое вещественное число — точке на оси. Однако в конце XIX века это определение не было удовлетворительным, поскольку оно не должно было опираться на геометрические понятия. Но как можно донести мысль, что они заполняют всю числовую ось, не говоря ни о прямой, ни о точке? Этот вопрос был назван «проблемой континуума» (в то время континуумом называли числовую ось), и во второй половине XIX века он стал центральным вопросом исчисления.

В начале 1870-х годов в Галле Кантор, бывший учеником Вейерштрасса и, следовательно, тоже увлеченный проблемой логического обоснования исчисления, занялся поиском четкого определения вещественных чисел. Свои выводы он изложил в статье Ober die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen («Обобщение одной теоремы из теории тригонометрических

рядов»), опубликованной в 1872 году в журнале Mathematische Annalen. До него Дедекинд тоже занимался тем же самым вопросом, что привело ученых к спору о первенстве.

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

Возьмем, например, последовательность, образованную числами 3,1; 3,14; 3,141; 3,1415; 3,14159; 3,141592; 3,1415926; 3,14159265; 3,141592653; 3,1415926535,... (в каждом последующем числе добавляется еще один знак числа после запятой). С пятого числа все они начинаются с 3,14159... Это значит, что с пятого элемента разница между двумя членами последовательности (не важно, идут они один за другим или нет) начинается с пяти нулей после запятой, то есть она меньше 0,00001 (где только четыре нуля после запятой). Аналогично, начиная с шестого числа, разница между двумя членами последовательности меньше 0,000001; начиная с седьмого — меньше 0,0000001 и так далее.

Таким образом, 3,1; 3,14; 3,141; 3,1415; 3,14159; 3,141592; 3,1415926; 3,14159265; 3,141592653; 3,1415926535...
– фундаментальная последовательность.

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

Не следует путать все вышесказанное со взаимно однозначным соответствием между фундаментальными соответствиями и вещественными числами, потому что, хотя каждой последовательности соответствует только одно вещественное число, на самом деле разные последовательности могут соответствовать одному и тому же числу. Например, последовательность 3,1; 3,141; 3,14159; 3,1415926; 3,141592653; ..., которая получается, если прибавлять каждый раз по два знака числа , — это другая последовательность по сравнению с предыдущей, но она тоже соответствует числу .

Откуда же тогда нам известно, что существует число 0,110001000000000000000001000..., то есть число Лиувилля? Как мы можем убедиться, что это действительно вещественное число? (Кронекер, напомним, так не считал.) По Кантору, достаточно показать, что ему соответствует фундаментальная последовательность. В данном случае это 0,1; 0,11; 0,110001;... Существование этой фундаментальной последовательности гарантирует существование числа.

Теперь рассмотрим, как определение Кантора выражает мысль о том, что каждой точке числовой оси соответствует вещественное число.

Числа 0 и 1 наносятся на прямую произвольно, но после этого позиции вещественных чисел строго определены. Предположим, у нас есть точка Р, для которой мы не подобрали никакого соответствующего рационального числа (см. рисунок 13). Как мы можем доказать, что этой точке соответствует число (разумеется, рациональное)?

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

Поделиться:
Популярные книги

Убийца

Бубела Олег Николаевич
3. Совсем не герой
Фантастика:
фэнтези
попаданцы
9.26
рейтинг книги
Убийца

Блуждающие огни 3

Панченко Андрей Алексеевич
3. Блуждающие огни
Фантастика:
боевая фантастика
космическая фантастика
попаданцы
5.00
рейтинг книги
Блуждающие огни 3

Камень Книга одиннадцатая

Минин Станислав
11. Камень
Фантастика:
фэнтези
аниме
5.00
рейтинг книги
Камень Книга одиннадцатая

Инкарнатор

Прокофьев Роман Юрьевич
1. Стеллар
Фантастика:
боевая фантастика
рпг
7.30
рейтинг книги
Инкарнатор

Его наследник

Безрукова Елена
1. Наследники Сильных
Любовные романы:
современные любовные романы
эро литература
5.87
рейтинг книги
Его наследник

Real-Rpg. Город гоблинов

Жгулёв Пётр Николаевич
1. Real-Rpg
Фантастика:
фэнтези
7.81
рейтинг книги
Real-Rpg. Город гоблинов

Газлайтер. Том 16

Володин Григорий Григорьевич
16. История Телепата
Фантастика:
боевая фантастика
попаданцы
аниме
5.00
рейтинг книги
Газлайтер. Том 16

Любимая учительница

Зайцева Мария
1. совершенная любовь
Любовные романы:
современные любовные романы
эро литература
8.73
рейтинг книги
Любимая учительница

Калибр Личности

Голд Джон
2. Калибр Личности
Фантастика:
попаданцы
альтернативная история
аниме
5.00
рейтинг книги
Калибр Личности

Возвращение

Кораблев Родион
5. Другая сторона
Фантастика:
боевая фантастика
6.23
рейтинг книги
Возвращение

Бандит

Щепетнов Евгений Владимирович
1. Петр Синельников
Фантастика:
фэнтези
7.92
рейтинг книги
Бандит

Везунчик. Дилогия

Бубела Олег Николаевич
Везунчик
Фантастика:
фэнтези
попаданцы
8.63
рейтинг книги
Везунчик. Дилогия

Новый Рал 10

Северный Лис
10. Рал!
Фантастика:
попаданцы
аниме
фэнтези
5.00
рейтинг книги
Новый Рал 10

Идеальный мир для Лекаря 18

Сапфир Олег
18. Лекарь
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Идеальный мир для Лекаря 18