Апология математики (сборник статей) - Владимир Андреевич Успенский
Шрифт:
Интервал:
Закладка:
Древнегреческие доказательства были почти безупречны с современной точки зрения. Положение вещей начало меняться с XVII в., когда в математику вошли переменные величины, а вместе с ними представление о предельном переходе. С сегодняшней точки зрения эти понятия и представления не были достаточно чёткими, а потому и относящиеся к ним доказательства XVII–XVIII вв. кажутся теперь нестрогими, вспомним хотя бы приведённые выше цитаты из книги Эйлера. Замечательно, однако, что эти нестрогие доказательства приводили к строгим результатам, прочно вошедшим в арсенал современной математики. Так продолжалось до 20-х гг. XIX в., когда появились работы знаменитого французского математика Луи Огюстена Коши; в его трудах понятие предела и опирающиеся на него понятия впервые стали приобретать ту логическую форму, которую они имеют сегодня. Инициатива Коши была развита затем многими математиками, прежде всего уже во второй половине XIX в. знаменитым немецким математиком Карлом Вейерштрассом. Но новые представления о необходимом уровне математической строгости входили в математику не сразу, о чём свидетельствует открывающее этот раздел высказывание Пуанкаре. Напрашивается предположение, что представления о строгости будут развиваться и впредь и то, что кажется строгим сегодня, не покажется таковым в будущем.
Уже сейчас видно одно из направлений, по которым может развиваться пересмотр представлений об убедительности математических доказательств. Дело в том, что само понимание того, что такое математическая истина, вызывает серьёзные затруднения. Ведь математические объекты, в отличие от объектов физических, не присутствуют в природе, они существуют лишь в умах людей. Поэтому в применении к математическим истинам говорить, что истина – это то, что соответствует реальному положению вещей, можно лишь с большой натяжкой.
Чтобы закончить этот раздел на оптимистической ноте, подчеркнём, что доказательства, содержащиеся в трудах Евклида и Архимеда, не потеряли своей убедительности за прошедшие тысячи лет.
§ 12. Два аксиоматических метода – неформальный и формальный
Неформальный аксиоматический метод
Стремление придать бóльшую убедительность математическим доказательствам привело к появлению так называемого аксиоматического метода. Если говорить вкратце, он состоит в следующем. Выбирают основные положения рассматриваемой математической теории, которые принимают без доказательств, а из них уже все остальные положения выводят чисто логическими рассуждениями. Эти основные положения получили название аксиом, а те, которые из них выводятся, – теорем. Ясно, что всякая аксиома также выводится из списка аксиом, поэтому удобно аксиомы рассматривать как частный случай теорем (в противном случае слову «теорема» надо было бы дать такое длинное определение: теорема – это то, что выводится из списка аксиом, однако в этот список не входит).
Первая попытка создать систему аксиом для какой-нибудь теории была предпринята Евклидом в III в. до н. э. Система аксиом из его «Начал» оставалась единственной системой аксиом геометрии вплоть до конца XIX в., когда появились новые системы, отвечающие современным требованиям. Вот как Евклид определяет, что такое точка и что такое прямая: «Точка есть то, что не имеет частей», «Прямая линия есть та, которая равно расположена к точкам на ней». С современных позиций эти определения непонятны и не могут быть использованы в доказательствах.
А как же определяются точка и прямая в современных аксиоматических системах? Ответ может удивить неискушённого читателя (искушённого читателя ничто не может удивить). Эти понятия не определяются никак. Не определяется и значение выражений «точка лежит на прямой», «прямая проходит через точку». Если вдуматься, то чего-то подобного, т. е. предъявления основных понятий без определения, и следовало ожидать, ведь всё определить невозможно: одно определяется через другое, другое – через третье, и где-то приходится остановиться. Уж лучше сделать такую остановку честно и открыто. Спрашивается: а как же в таком случае можно использовать эти понятия в доказательствах? Вот тут на помощь и приходят аксиомы.
В аксиомах вместо определений основных понятий формулируются их главные исходные свойства. На эти свойства и опираются доказательства. Поясним сказанное на примере. Среди основных понятий геометрии присутствуют такие: 'точка', 'прямая', 'лежать на', 'лежать между'. Что такое точки и прямые, не разъясняется, а говорится лишь, что бывают такие объекты: одни называются точками, другие – прямыми. А про лежать на говорится, что это некоторое отношение между точками и прямыми. Это означает следующее: если взять произвольную точку и произвольную прямую, то осмысленно спросить, лежит ли эта точка на этой прямой; точка либо лежит на прямой, либо нет. А вот спрашивать, скажем, лежит ли прямая на прямой, бессмысленно: отношение 'лежать на' для пары прямых не определено, как не определено оно и для пары точек, и для пары (прямая, точка). Лежать между – это некоторое трёхместное отношение между точками; сказанное означает, что если даны три точки A, B, C, то точка B либо лежит между точками A и C, либо нет. Природа предметов 'точка' и 'прямая' и отношений 'лежать на' и 'лежать между' никак не раскрывается. Вместо этого в аксиомах формулируются основные свойства этих объектов и отношений и основные связи между ними. Вот как выглядят некоторые из аксиом:
1. На каждой прямой лежат по меньшей мере две точки.
2. Для двух различных точек не может существовать более одной такой прямой, что обе точки лежат на этой прямой.
3. Если три точки таковы, что одна из них лежит между двумя другими, то все эти три точки различны.
4. Если три точки таковы, что одна из них лежит между двумя другими, то все эти три точки лежат на одной прямой.
5. Для любых двух различных точек A и B существует такая точка С, что B лежит между A и C.
Покажем на примере, как на основе аксиом совершаются доказательства. Докажем, опираясь на выписанные пять аксиом, такую теорему: на каждой прямой лежат по меньшей мере три точки.
Вот доказательство. Итак, пусть p – прямая. Надо обнаружить на ней три различные точки. По аксиоме 1 на ней лежат какие-то две различные точки; обозначим их A и B. По аксиоме 5 находим такую точку C, что B лежит между A и C. Согласно аксиоме 3, все они различны, а согласно аксиоме 4, все они лежат на одной прямой. Обозначим эту прямую буквой q. Точки A и B лежат на прямой p и в то же время лежат на прямой q. Но в силу аксиомы 2 две различные точки не могут лежать на двух различных прямых; следовательно, q совпадает с p. Поскольку через q была обозначена та прямая, на которой лежат все три точки A, B и C, а q совпадает с p, то все эти точки лежат на p. Вот мы и
