АКСИОМАТИКА И АКСИОМАТИЧЕСКИЙ МЕТОД
Аксиоматика - система аксиом той или иной математической науки. Например, аксиоматика элементарной геометрии содержит около двух десятков аксиом, аксиоматика числового поля – 9 аксиом. Наряду с ними важнейшую роль в современной математике играет аксиоматика группы, аксиоматика метрического и векторного пространств (см. Вектор) и др. Советским математикам С. Н. Бернштейну и А. Н. Колмогорову принадлежит заслуга аксиоматического описания теории вероятностей (см. Вероятностей теория). Десятки других направлений современной математики также развиваются на аксиоматической основе, т.е. на базе соответствующей системы аксиом (аксиоматики).
Аксиоматический метод – важный научный инструмент познания мира. Большинство направлений современной математики, теоретическая механика и ряд разделов современной физики строятся на основе аксиоматическою метода. В самой математике аксиоматический метод дает законченное, логически стройное построение научной теории. Не меньшее значение имеет и то, что математическая теория, построенная аксиоматически, находит многократные приложения в математике и естествознании.
Во многих разделах современной математики применяются метрические пространства как совокупности элементов произвольной природы, в которых для каждой пары a и b определено число ρ(a,b), называемое расстоянием между a и b и удовлетворяющее аксиоматике, состоящей всего из трех аксиом:
1) ρ(a,b) = ρ(b,a);
2) ρ(a,b)≥0, причем ρ(a,b) = 0 в том, и только в том случае, если a = b ;
3) ρ(a,b)≤ρ(a,c)+ρ(b,c).
«Аксиомы обладают наивысшей степенью общности и представляют начала всего». Аристотель
В приложениях математики рассматриваются метрические пространства, «точками» которых могут являться линии, фигуры, траектории полета космических кораблей, плановые задания заводов и т.д. Доказав (на основе аксиом) какую-либо теорему о метрических пространствах, можно утверждать, что она будет справедлива для метрических пространств, применяемых в геометрии, алгебре, астронавтике, экономике и, вообще, во всех тех областях, где появляются метрические пространства.
Развив ту или иную аксиоматическую теорию, мы можем, не проводя повторных рассуждений, утверждать, что ее выводы имеют место в каждом случае, когда справедливы рассматриваемые аксиомы. Таким образом, аксиоматический метод позволяет целые аксиоматически развитые теории применять в различных областях знаний. В этом состоит сила аксиоматического метода.
Современная точка зрения на аксиоматическое построение какой-либо области математики заключается в следующем: во-первых, перечисляются первоначальные (неопределяемые) понятия; во-вторых, указывается список аксиом, в которых устанавливаются некоторые связи и взаимоотношения между первоначальными понятиями; в-третьих, с помощью определений вводятся дальнейшие понятия и, в-четвертых, исходя из первоначальных фактов, содержащихся в аксиомах, выводятся, доказываются с помощью некоторой логической системы дальнейшие факты - теоремы. Первоначальные понятия и аксиомы заимствованы из опыта. Поэтому очевидно, что все последующие факты, выводимые в аксиоматической теории, хотя их получают на основе системы аксиом чисто умозрительным, дедуктивным путем, имеют тесную связь с жизнью и могут быть применены в практической деятельности человека.
Важнейшим требованием к системе аксиом является ее непротиворечивость, которую можно понимать так: сколько бы мы ни выводили теорем из этих аксиом, среди них не будет двух теорем, противоречащих друг другу. Противоречивая аксиоматика не может служить основой построения содержательной теории.
Чтобы объяснить подробнее, как в современной математике рассматриваются вопросы непротиворечивости, приведем пример. Несколько школьников решили организовать шахматный турнир по упрощенной схеме: каждый должен сыграть ровно три партии с кем-либо из остальных участников (а белыми или черными фигурами – по жребию). Составить расписание турнира никак не удавалось, и мальчики обратились за помощью к учителю. По просьбе учителя юные шахматисты подсчитали общее число участников:
оно оказалось нечетным. Тогда учитель предложил сформулировать требования, которые ученики предъявили к турниру, в виде аксиом. Для этого потребовалось ввести три первоначальных (неопределяемых) понятия: «игрок», «партия», «участие игрока в партии». Аксиом получилось четыре:
Аксиома 1. Число игроков нечетно.
Аксиома 2. Каждый игрок участвует в трех партиях.
Аксиома 3. В каждой партии участвуют два игрока.
Аксиома 4. Для каждых двух игроков имеется не более одной партии, в которой они оба участвуют.
Из этих аксиом можно вывести ряд теорем.
Рис. 1
Первую из них предложил для примера сам учитель.
Теорема 1. Число игроков не меньше пяти.
Доказательство. Так как нуль – четное число, то по аксиоме 1 число игроков не равно нулю, т.е. существует хотя бы один игрок A. Этот игрок в силу аксиомы 2 участвует в трех партиях, причем в каждой из этих партий, кроме A, участвует еще один игрок (аксиома 3). Пусть B, C, D - игроки, отличные от A, которые участвуют в этих партиях. По аксиоме 4 все игроки B, C, D различны (если бы, например, было B=C, то оказалось бы, что имеются две партии, в которых участвуют игрок A и игрок B=C). Итак, мы нашли уже четырех игроков: A, B, C, D. Но тогда по аксиоме 1 число игроков не меньше пяти.
Следующую теорему доказал один из учеников. Для этого он определил новое понятие: если q - некоторая партия и A - один из участвующих в ней игроков, то пару (q,A) назовем выступлением игрока.
Теорема 2. Число всех выступлений игроков четно.
Доказательство. Если в партии q участвуют игроки A и B, то мы получаем два выступления игроков: (q,A) и (q,B), т.е. каждая партия дает ровно два выступления игроков (аксиома 3). Значит, число всех выступлений игроков четно, так как оно вдвое больше числа всех партий.
Однако другой ученик доказал теорему, противоречащую предыдущей.
Теорема 3. Число всех выступлений игроков нечетно.
Доказательство. По аксиоме 2 игрок A участвует ровно в трех партиях, скажем q1, q2, q3. Это дает три выступления игрока: (q1,A), (q2,A), (q3,A). Отсюда следует, что число всех выступлений игроков равно 3n, где n - число игроков. Так как n нечетно (аксиома 1), то и 3n нечетно.
Таким образом, взятая аксиоматика позволяет доказать ряд теорем, однако среди них имеются две, противоречащие друг другу. Это означает, что такая аксиоматика противоречива, т.е. требования, выдвинутые организаторами турнира, несовместимы (рис. 1). Не удивительно, что мальчики не сумели составить расписание турнира: такого расписания просто не существует.
Рис. 1
После этого учитель предложил другую систему организации турнира, при которой каждый из участников должен сыграть не три, а четыре партии с кем-либо из остальных участников. Иначе говоря, он предложил рассмотреть «теорию», в которой те же первоначальные понятия, а аксиомы формулируются следующим образом: