Здесь мы рассмотрим пример вероятностной модели (основные понятия теории вероятностей находятся в теоретическом разделе 5 темы).
Предположим, что в электрическую цепь последовательно включены три элемента, работающие независимо друг от друга. Вероятности отказов 1-го, 2-го и 3-го элементов соответственно равны Р1 = 0,1, Р2 = 0,15, Р3 = 0,2. Будем считать цепь надежной, если вероятность того, что в цепи не будет тока, не более 0,4. Требуется определить, является ли цепь надежной.
1. Построение модели. Так как элементы включены последовательно, то тока в цепи не будет, если откажет хотя бы один из элементов.
Пусть А – событие, состоящее в том, что тока в цепи не будет; событие Аi (i = 1, 2, 3) заключается в том, что i -тый элемент работает. Тогда Р(А1) = 1 – 0,1 = 0,9, Р(А2) = 1- 0,15 = 0,85, Р(А3) = 1 – 0,2 = 0,8. Очевидно, что событие, состоящее в том, что по цепи проходит ток, равно событию, заключающемуся в том, что все три элемента работают, т.е. равно произведению трех независимых событий А1, А2 и А3 (наступление каждого из этих событий не зависит от наступления двух других).
2. Решение математической задачи, к которой приводит модель. По теореме о вероятности произведения независимых событий Р(А1А2А3) = Р(А1)Р(А2)Р(А3) = 0,9·0,85 ·0,8 = 0,612. Тогда Р(А) + Р(А1А2А3) = 1. Поэтому Р(А) = 1 – 0,612 = 0,388 < 0,4.
3. Интерпретация полученных следствий из математической модели. Р(А) = 0,388 < 0,4. Следовательно, цепь является надежной.
Задача о диете.
Дама просто приятная решила похудеть и, как это нередко случается, обратилась за советом к подруге. Подруга – дама приятная во всех отношениях, посоветовала ей перейти на рациональное питание, состоящее из двух новомодных продуктов Р и Q.
Дневное питание этими новинками должно давать не более 14 единиц жира (чтобы похудеть), но и не менее 300 калорий (чтобы не сойти с дистанции раньше). На банке с продуктом Р написано, что в одном килограмме этого продукта содержится 15 единиц жира и 150 калорий, а на банке с продуктом Q – 4 единицы жира и 200 калорий соответственно. При этом цена 1 кг продукта Р равна 15 у.е., а 1 кг продукта Q – 25 у.е.
Так как дама просто приятная в это время была несколько стеснена в средствах, то ее интересовал ответ на следующий вопрос: в какой пропорции нужно брать эти удивительные продукты Р и Q для того, чтобы выдержать условия диеты и истратить как можно меньше денег?
1. Построение модели. Обозначим через х количество продукта Р, а через у – количество продукта Q, требуемые для выполнения условий диеты.
Количество единиц жира, содержащегося в х кг продукта Р и в у кг продукта Q, равно 15 х + 4 у и по условию диеты не должно превосходить 14. Поэтому 
.
В свою очередь, количество калорий, содержащихся в х кг продукта Р и в у кг продукта Q, равно 150 х + 200 у и должно быть не меньше 300. Значит, 
.
Теперь о стоимости продуктов. Она равна z(х; у) = 15x + 25y и в соответствии с высказанными пожеланиями должна быть минимальной. Последнее записывается так: z(х; у) = 15x + 25y → min.
Итак, мы получили систему неравенств
которая является математической моделью задачи.
Полученная система неравенств называется системой ограничений задачи, а функция z(х; у) называется целевой функцией задачи.
2. Решение математической задачи, к которой приводит модель. Для решения применим координатно-графический метод.
Решением системы ограничений является многоугольник, полученный путем пересечения областей решений всех неравенств системы. Решением линейного неравенства является одна из полуплоскостей, на которые прямая, соответствующая данному неравенству, делит координатную плоскость. Для определения искомой полуплоскости берется точка, не лежащая на прямой, ее координаты подставляются в неравенство. Если в результате получается верное числовое неравенство, то решением является полуплоскость, содержащая выбранную точку. В противном случае, решением является другая полуплоскость.
Введем на плоскости прямоугольную систему координат хОу и построим многоугольник решений системы ограничений нашей задачи.
Из условий х ≥ 0 и у ≥ 0 вытекает, что все точки, которые удовлетворяют системе ограничений, лежат в первой координатной четверти.
Теперь решим неравенство . Ему соответствует прямая, заданная уравнением 
, которая проходит через точки 
и 
. Для проверки возьмем точку О(0; 0): 15 · 0 + 4 · 0 = 0 ≤ 14. Так как 0 ≤ 14 – верное неравенство, то решением неравенства является полуплоскость, содержащая точку О.
Обращаясь подобным же образом с неравенством , находим точки пересечения прямой 
с осями координат – точки С(2; 0) и D(0; 1,5). Для проверки также возьмем точку О(0; 0): 150 · 0 + 200 · 0 = 0 ≥ 300. Так как 0 ≥ 300 – неверное числовое неравенство, то решением неравенства является полуплоскость, не содержащая точку О.
Рисунок 7.4
Пересечением всех полуплоскостей является треугольник BDK (рис. 7.4). Точка К является точкой пересечения прямых АВ и CD и имеет координаты 
.
Теперь среди всех точек треугольника найдем ту, координаты которой удовлетворяют условию минимальности целевой функции z.
Для этого построим так называемую линию нулевого уровня функции z, которая задается уравнением z(x; y) = 0. Будем двигать эту прямую в направлении вектора 
, координатами которого являются соответствующие коэффициенты целевой функции, до места первой встречи этой прямой с треугольником BDK. Искомой точкой будет точка К . То есть искомые значения х = 
, у = 1.
3. Интерпретация полученных следствий из математической модели. Таким образом, чтобы выполнить условия диеты и истратить при этом как можно меньше средств, продукты Р и Q нужно брать в отношении х: у = : 1 = 2: 3. То есть на 2 части продукта Р брать 3 части продукта Q.
Выводы
Модель – это условный образ объекта, построенный для упрощения его исследования.
Конечно, при попытке упрощенного описания ситуации некоторыми обстоятельствами приходится пренебрегать, считая их несущественными. Однако единого взгляда на то, что именно существенно, а что не очень, по-видимому, нет. Можно, например, не обращать внимания на то, что начался дождик. Но одно дело пробежать под накрапывающим дождем сотню метров, и совсем другое – часовая прогулка под таким дождем без зонта.
Предлагая построенную или выбранную нами модель, мы непременно должны указывать пределы, в которых ею можно пользоваться, и предупреждать о том, что нарушение этих ограничений приводит (и, скорее всего, приведет) к серьезным ошибкам. Коротко говоря, у каждой модели есть свой ресурс.
Покупая блузку или рубашку, мы привыкли к наличию меток, на которых указаны максимально допустимая температура глажения, дозволенные виды стирки и т.п. Это, конечно, ни в коей мере не означает, что нам запрещается, взяв докрасна раскаленный утюг, пройтись им по ткани раз-другой. Такое мы сделать можем. Но вот захотим ли мы носить блузку или рубашку после такого глажения?
Таким образом, построение модели опирается на значительное упрощение изучаемой ситуации и, следовательно, к получаемым на ее основе выводам нужно относиться достаточно осторожно – модель может не все.
Вместе с тем, даже весьма грубая на вид идеализация нередко позволяет глубже вникнуть в суть проблемы. Пробуя как-то влиять на параметры модели (выбирать их, управлять ими), мы получаем возможность подвергнуть исследуемое явление качественному анализу и сделать выводы общего характера.
Контрольные вопросы
1 Что такое модель, моделирование?
2 Какие два подхода различают в моделировании? В чем их особенность?
3 Перечислите типы моделей. Дайте им краткую характеристику.
4 В чем важность математического моделирования?
5 Перечислите этапы математического моделирования. Охарактеризуйте каждый этап.
6 Как можно классифицировать математические модели?
7 Приведите пример задачи математического моделирования.
8 Почему нужно с осторожностью относиться к выводам, полученным на основе модели?
Тема 8: Элементы истории математики
После открытия своей знаменитой теоремы Пифагор принес в жертву сто быков. С тех пор каждый раз, когда совершается открытие, крупный рогатый скот начинает волноваться.
Людвиг Бьорне
Самой древней математической деятельностью являлся счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом пальцы рук и ног. Наскальный рисунок каменного века, сохранившийся до наших времен, изображает число 35 в виде серии выстроенных в ряд 35 палочек-пальцев. Первыми существенными успехами в арифметике стали концептуализация числа и изобретение четырех основных действий: сложения, вычитания, умножения и деления. Первые достижения геометрии связаны с такими простыми понятиями, как прямая и окружность. Дальнейшее развитие математики началось примерно в 3000 г. до н. э. благодаря вавилонянам и египтянам.
Вавилония и Египет
Вавилония
Источником наших знаний о вавилонской цивилизации служат хорошо сохранившиеся глиняные таблички, покрытые так называемыми клинописными текстами, которые датируются от 2000 г. до н. э. и до 300 г. н. э. Математика на клинописных табличках в основном была связана с ведением хозяйства. Арифметика и нехитрая алгебра использовались при обмене денег и расчетах за товары, вычислении простых и сложных процентов, налогов и доли урожая, сдаваемой в пользу государства, храма или землевладельца. Многочисленные арифметические и геометрические задачи возникали в связи со строительством каналов, зернохранилищ и другими общественными работами. Очень важной задачей математики был расчет календаря, поскольку календарь использовался для определения сроков сельскохозяйственных работ и религиозных праздников. Деление окружности на 360, а градуса и минуты на 60 частей берут начало в вавилонской астрономии.
Вавилоняне создали и систему счисления, использовавшую для чисел от 1 до 59 основание 10. Символ, обозначавший единицу, повторялся нужное количество раз для чисел от 1 до 9. Для обозначения чисел от 11 до 59 вавилоняне использовали комбинацию символа числа 10 и символа единицы. Для обозначения чисел от 60 и больше вавилоняне ввели позиционную систему счисления с основанием 60. Существенным продвижением стал позиционный принцип, согласно которому один и тот же числовой знак (символ) имеет различные значения в зависимости от того места, где он расположен. Примером могут служить значения шестерки в записи (современной) числа 606. Однако нуль в системе счисления древних вавилонян отсутствовал, из-за чего один и тот же набор символов мог означать и число 65 (60 + 5), и число 3605 (602 + 0 + 5). Возникали неоднозначности и в трактовке дробей. Например, одни и те же символы могли означать и число 21, и дробь 21/60 и (20/60 + 1/602). Неоднозначность разрешалась в зависимости от конкретного контекста.
Вавилоняне составили таблицы обратных чисел (которые использовались при выполнении деления), таблицы квадратов и квадратных корней, а также таблицы кубов и кубических корней. Им было известно приближение числа. Клинописные тексты, посвященные решению алгебраических и геометрических задач, свидетельствуют о том, что они пользовались квадратичной формулой для решения квадратных уравнений и могли решать некоторые специальные типы задач, включавших до десяти уравнений с десятью неизвестными, а также отдельные разновидности кубических уравнений и уравнений четвертой степени. На глиняных табличках запечатлены только задачи и основные шаги процедур их решения. Так как для обозначения неизвестных величин использовалась геометрическая терминология, то и методы решения в основном заключались в геометрических действиях с линиями и площадями. Что касается алгебраических задач, то они формулировались и решались в словесных обозначениях.
Около 700 г. до н. э. вавилоняне стали применять математику для исследования движений Луны и планет. Это позволило им предсказывать положения планет, что было важно как для астрологии, так и для астрономии.
В геометрии вавилоняне знали о таких соотношениях, например, как пропорциональность соответствующих сторон подобных треугольников. Им была известна теорема Пифагора и то, что угол, вписанный в полуокружность, – прямой. Они располагали также правилами вычисления площадей простых плоских фигур, в том числе правильных многоугольников, и объемов простых тел. Число p вавилоняне считали равным 3.
Египет
Наше знание древнеегипетской математики основано, главным образом, на двух папирусах, датируемых примерно 1700 г. до н. э. Излагаемые в этих папирусах математические сведения восходят к еще более раннему периоду – ок. 3500 г. до н. э. Египтяне использовали математику, чтобы вычислять вес тел, площади посевов и объемы зернохранилищ, размеры податей и количество камней, требуемое для возведения тех или иных сооружений. В папирусах можно найти также задачи, связанные с определением количества зерна, необходимого для приготовления заданного числа кружек пива, а также более сложные задачи, связанные с различием в сортах зерна; для этих случаев вычислялись переводные коэффициенты.
Но главной областью применения математики была астрономия, точнее, расчеты, связанные с календарем. Календарь использовался для определения дат религиозных праздников и предсказания ежегодных разливов Нила. Однако уровень развития астрономии в Древнем Египте намного уступал уровню ее развития в Вавилоне.
Древнеегипетская письменность основывалась на иероглифах. Система счисления того периода также уступала вавилонской. Египтяне пользовались непозиционной десятичной системой, в которой числа от 1 до 9 обозначались соответствующим числом вертикальных черточек, а для последовательных степеней числа 10 вводились индивидуальные символы. Последовательно комбинируя эти символы, можно было записать любое число. С появлением папируса возникло так называемое иератическое письмо-скоропись, способствовавшее, в свою очередь, появлению новой числовой системы. Для каждого из чисел от 1 до 9 и для каждого из первых девяти кратных чисел 10, 100 и т. д. использовался специальный опознавательный символ. Дроби записывались в виде суммы дробей с числителем, равным единице. С такими дробями египтяне производили все четыре арифметические операции, но процедура таких вычислений оставалась очень громоздкой.
Геометрия у египтян сводилась к вычислениям площадей прямоугольников, треугольников, трапеций, круга, а также формулам вычисления объемов некоторых тел. Надо сказать, что математика, которую египтяне использовали при строительстве пирамид, была простой и примитивной.
Задачи и решения, приведенные в папирусах, сформулированы чисто рецептурно, без каких бы то ни было объяснений. Египтяне имели дело только с простейшими типами квадратных уравнений и арифметической и геометрической прогрессиями, а потому и те общие правила, которые они смогли вывести, были также самого простейшего вида. Ни вавилонская, ни египетская математики не располагали общими методами; весь свод математических знаний представлял собой скопление эмпирических формул и правил.
Хотя майя, жившие в Центральной Америке, не оказали влияния на развитие математики, их достижения, относящиеся примерно к 4 в., заслуживают внимания. Майя, по-видимому, первыми использовали специальный символ для обозначения нуля в своей двадцатеричной системе. У них были две системы счисления: в одной применялись иероглифы, а в другой, более распространенной, точка обозначала единицу, горизонтальная черта – число 5, а специальный символ обозначал нуль. Позиционные обозначения начинались с числа 20, а числа записывались по вертикали сверху вниз.
Греческая математика
Классическая Греция
С точки зрения 20 в. родоначальниками математики явились греки классического периода (6 – 4 вв. до н. э.). Математика, существовавшая в более ранний период, была набором эмпирических заключений. Напротив, в дедуктивном рассуждении новое утверждение выводится из принятых посылок способом, исключавшим возможность его неприятия.
Настаивание греков на дедуктивном доказательстве было экстраординарным шагом. Ни одна другая цивилизация не дошла до идеи получения заключений исключительно на основе дедуктивного рассуждения, исходящего из явно сформулированных аксиом. Одно из объяснений приверженности греков методам дедукции мы находим в устройстве греческого общества классического периода. Математики и философы (нередко это были одни и те же лица) принадлежали к высшим слоям общества, где любая практическая деятельность рассматривалась как недостойное занятие. Математики предпочитали абстрактные рассуждения о числах и пространственных отношениях решению практических задач. Математика делилась на арифметику – теоретический аспект и логистику – вычислительный аспект. Заниматься логистикой предоставляли свободнорожденным низших классов и рабам.
Греческая система счисления была основана на использовании букв алфавита. Аттическая система, бывшая в ходу с 6 – 3 вв. до н. э., использовала для обозначения единицы вертикальную черту, а для обозначения чисел 5, 10, 100, 1000 и 10 000 начальные буквы их греческих названий. В более поздней ионической системе счисления для обозначения чисел использовались 24 буквы греческого алфавита и три архаические буквы. Кратные 1000 до 9000 обозначались так же, как первые девять целых чисел от 1 до 9, но перед каждой буквой ставилась вертикальная черта. Десятки тысяч обозначались буквой М (от греческого мириои – 10 000), после которой ставилось то число, на которое нужно было умножить десять тысяч
Дедуктивный характер греческой математики полностью сформировался ко времени Платона и Аристотеля. Изобретение дедуктивной математики принято приписывать Фалесу Милетскому (ок. 640 – 546 гг. до н. э.), который, как и многие древнегреческие математики классического периода, был также философом. Высказывалось предположение, что Фалес использовал дедукцию для доказательства некоторых результатов в геометрии, хотя это сомнительно.
Другим великим греком, с чьим именем связывают развитие математики, был Пифагор (ок. 585 – 500 гг. до н. э.). Полагают, что он мог познакомиться с вавилонской и египетской математикой во время своих долгих странствий. Пифагор основал движение, расцвет которого приходится на период ок. 550 – 300 гг. до н. э. Пифагорейцы создали чистую математику в форме теории чисел и геометрии. Целые числа они представляли в виде конфигураций из точек или камешков, классифицируя эти числа в соответствии с формой возникающих фигур («фигурные числа»). Слово «калькуляция» (расчет, вычисление) берет начало от греческого слова, означающего «камешек». Числа 3, 6, 10 и т. д. пифагорейцы называли треугольными, так как соответствующее число камешков можно расположить в виде треугольника, числа 4, 9, 16 и т. д. — квадратными, так как соответствующее число камешков можно расположить в виде квадрата, и т. д.
Из простых геометрических конфигураций возникали некоторые свойства целых чисел. Например, пифагорейцы обнаружили, что сумма двух последовательных треугольных чисел всегда равна некоторому квадратному числу. Они открыли, что если (в современных обозначениях) n2 – квадратное число, то n2+2n+1 = (n+1)2. Число, равное сумме всех своих собственных делителей, кроме самого этого числа, пифагорейцы называли совершенным. Примерами совершенных чисел могут служить такие целые числа, как 6, 28 и 496. Два числа пифагорейцы называли дружественными, если каждое из чисел равно сумме делителей другого; например, 220 и 284 – дружественные числа (и здесь само число исключается из собственных делителей).
Для пифагорейцев любое число представляло собой нечто большее, чем количественную величину. Например, число 2, согласно их воззрению, означало различие и потому отождествлялось с мнением. Четверка представляла справедливость, так как это первое число, равное произведению двух одинаковых множителей.
Пифагорейцы также открыли, что сумма некоторых пар квадратных чисел есть снова квадратное число. Например, сумма 9 и 16 равна 25, а сумма 25 и 144 равна 169. Такие тройки чисел, как 3, 4 и 5 или 5, 12 и 13, называются пифагоровыми числами. Они имеют геометрическую интерпретацию: если два числа из тройки приравнять длинам катетов прямоугольного треугольника, то третье число будет равно длине его гипотенузы. Такая интерпретация, по-видимому, привела пифагорейцев к осознанию более общего факта, известного ныне под названием теоремы Пифагора, согласно которой в любом прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.
Рассматривая прямоугольный треугольник с единичными катетами, пифагорейцы обнаружили, что длина его гипотенузы равна корню из двух, и это повергло их в смятение, ибо они тщетно пытались представить число в виде отношения двух целых чисел, что было крайне важно для их философии. Величины, непредставимые в виде отношения целых чисел, пифагорейцы назвали несоизмеримыми; современный термин – "иррациональные числа". Около 300 г. до н. э. Евклид доказал, что число 
несоизмеримо. Пифагорейцы имели дело с иррациональными числами, представляя все величины геометрическими образами. Если 1 и считать длинами некоторых отрезков, то различие между рациональными и иррациональными числами сглаживается. Произведение чисел a и b есть площадь прямоугольника со сторонами длиной a и b. Мы и сегодня иногда говорим о числе 25 как о квадрате 5, а о числе 27 – как о кубе 3.
Древние греки решали уравнения с неизвестными посредством геометрических построений. Были разработаны специальные построения для выполнения сложения, вычитания, умножения и деления отрезков, извлечения квадратных корней из длин отрезков; ныне этот метод называется геометрической алгеброй.
Приведение задач к геометрическому виду имело ряд важных последствий. В частности, числа стали рассматриваться отдельно от геометрии, поскольку работать с несоизмеримыми отношениями можно было только с помощью геометрических методов. Геометрия стала основой почти всей строгой математики, по крайней мере, до 1600 г. И даже в 18 в., когда уже были достаточно развиты алгебра и математический анализ, строгая математика трактовалась как геометрия, и слово "геометр" было равнозначно слову "математик".
Именно пифагорейцам мы во многом обязаны той математикой, которая затем была систематизированно изложена и доказана в "Началах" Евклида. Есть основания полагать, что именно они открыли то, что ныне известно как теоремы о треугольниках, параллельных прямых, многоугольниках, окружностях, сферах и правильных многогранниках.
Одним из самых выдающихся пифагорейцев был Платон (ок. 427 – 347 гг. до н. э.). Платон был убежден, что физический мир постижим лишь посредством математики. Считается, что именно ему принадлежит заслуга изобретения аналитического метода доказательства. Аналитический метод начинается с утверждения, которое требуется доказать, и затем из него последовательно выводятся следствия до тех пор, пока не будет достигнут какой-нибудь известный факт; доказательство получается с помощью обратной процедуры. Принято считать, что последователи Платона изобрели метод доказательства, получивший название "доказательство от противного". Заметное место в истории математики занимает Аристотель, ученик Платона. Аристотель заложил основы науки логики и высказал ряд идей относительно определений, аксиом, бесконечности и возможности геометрических построений.
Величайшим из греческих математиков классического периода, уступавшим по значимости полученных результатов только Архимеду, был Евдокс (ок. 408 – 355 гг. до н. э.). Именно он ввел понятие величины для таких объектов, как отрезки прямых и углы. Располагая понятием величины, Евдокс логически строго обосновал пифагорейский метод обращения с иррациональными числами.
Работы Евдокса позволили установить дедуктивную структуру математики на основе явно формулируемых аксиом. Ему же принадлежит и первый шаг в создании математического анализа, поскольку именно он изобрел метод вычисления площадей и объемов, получивший название "метода исчерпывания". Этот метод состоит в построении вписанных и описанных плоских фигур или пространственных тел, которые заполняют ("исчерпывают") площадь или объем той фигуры или того тела, которое является предметом исследования. Евдоксу же принадлежит и первая астрономическая теория, объясняющая наблюдаемое движение планет. Предложенная Евдоксом теория была чисто математической; она показывала, каким образом комбинации вращающихся сфер с различными радиусами и осями вращения могут объяснить кажущиеся нерегулярными движения Солнца, Луны и планет.
Около 300 г. до н. э. результаты многих греческих математиков были сведены в единое целое Евклидом, написавшим математический шедевр "Начала". Из немногих проницательно отобранных аксиом Евклид вывел около 500 теорем, охвативших все наиболее важные результаты классического периода. Свое сочинение Евклид начал с определения таких терминов, как прямая, угол и окружность. Затем он сформулировал десять самоочевидных истин, таких, как "целое больше любой из частей". И из этих десяти аксиом Евклид смог вывести все теоремы. Для математиков текст "Начал" Евклида долгое время служил образцом строгости, пока в 19 в. не обнаружилось, что в нем имеются серьезные недостатки, такие как неосознанное использование не сформулированных в явном виде допущений.
Аполлоний (ок. 262 – 200 гг. до н. э.) жил в александрийский период, но его основной труд выдержан в духе классических традиций. Предложенный им анализ конических сечений – окружности, эллипса, параболы и гиперболы – явился кульминацией развития греческой геометрии. Аполлоний также стал основателем количественной математической астрономии.
Александрийский период
В этот период, который начался около 300 г. до н. э., характер греческой математики изменился. Александрийская математика возникла в результате слияния классической греческой математики с математикой Вавилонии и Египта. В целом математики александрийского периода были больше склонны к решению чисто технических задач, чем к философии. Великие александрийские математики – Эратосфен, Архимед, Гиппарх, Птолемей, Диофант и Папп – продемонстрировали силу греческого гения в теоретическом абстрагировании, но столь же охотно применяли свой талант к решению практических проблем и чисто количественных задач.
Эратосфен (ок. 275 – 194 гг. до н. э.) нашел простой метод точного вычисления длины окружности Земли, ему же принадлежит календарь, в котором каждый четвертый год имеет на один день больше, чем другие. Астроном Аристарх (ок. 310 – 230 гг. до н. э.) написал сочинение "О размерах и расстояниях Солнца и Луны", содержавшее одну из первых попыток определения этих размеров и расстояний; по своему характеру работа Аристарха была геометрической.
Величайшим математиком древности был Архимед (ок. 287 – 212 гг. до н. э.). Ему принадлежат формулировки многих теорем о площадях и объемах сложных фигур и тел, вполне строго доказанные им методом исчерпывания. Архимед всегда стремился получить точные решения и находил верхние и нижние оценки для иррациональных чисел. Например, работая с правильным 96-угольником, он безукоризненно доказал, что точное значение числа p находится между 31/7 и 310/71. Архимед доказал также несколько теорем, содержавших новые результаты геометрической алгебры. Ему принадлежит формулировка задачи о рассечении шара плоскостью так, чтобы объемы сегментов находились между собой в заданном отношении. Архимед решил эту задачу, отыскав пересечение параболы и равнобочной гиперболы.
Архимед был величайшим математическим физиком древности. Для доказательства теорем механики он использовал геометрические соображения. Его сочинение "О плавающих телах" заложило основы гидростатики. Согласно легенде, Архимед открыл носящий его имя закон, согласно которому на тело, погруженное в воду, действует выталкивающая сила, равная весу вытесненной им жидкости, во время купания, находясь в ванной, и не в силах совладать с охватившей его радостью открытия, выбежал обнаженный на улицу с криком: "Эврика!" ("Открыл!").
Во времена Архимеда уже не ограничивались геометрическими построениями, осуществимыми только с помощью циркуля и линейки. Архимед использовал в своих построениях спираль, а Диоклес (конец 2 в. до н. э.) решил проблему удвоения куба с помощью введенной им кривой, получившей название циссоиды.
В александрийский период арифметика и алгебра рассматривались независимо от геометрии. Греки классического периода имели логически обоснованную теорию целых чисел, однако александрийские греки, восприняв вавилонскую и египетскую арифметику и алгебру, во многом утратили уже наработанные представления о математической строгости. Живший между 100 г. до н. э. и 100 г. н. э. Герон Александрийский трансформировал значительную часть геометрической алгебры греков в откровенно нестрогие вычислительные процедуры. Однако, доказывая новые теоремы евклидовой геометрии, он по-прежнему руководствовался стандартами логической строгости классического периода.
Первой достаточно объемистой книгой, в которой арифметика излагалась независимо от геометрии, было "Введение в арифметику" Никомаха (ок. 100 г. н. э.). В истории арифметики ее роль сравнима с ролью "Начал" Евклида в истории геометрии. На протяжении более 1000 лет она служила стандартным учебником, поскольку в ней ясно, четко и всеобъемлюще излагалось учение о целых числах (простых, составных, взаимно простых, а также о пропорциях). Повторяя многие пифагорейские утверждения, Введение Никомаха вместе с тем шло дальше, так как Никомах видел и более общие отношения, хотя и приводил их без доказательства.
Знаменательной вехой в алгебре александрийских греков стали работы Диофанта (ок. 250 г.). Одно из главных его достижений связано с введением в алгебру начал символики. В своих работах Диофант не предлагал общих методов, он имел дело с конкретными положительными рациональными числами, а не с их буквенными обозначениями. Он заложил основы т. н. диофантова анализа – исследования неопределенных уравнений.
Высшим достижением александрийских математиков стало создание количественной астрономии. Гиппарху (ок. 161 – 126 гг. до н. э.) мы обязаны изобретением тригонометрии. Его метод был основан на теореме, утверждающей, что в подобных треугольниках отношение длин любых двух сторон одного из них равно отношению длин двух соответственных сторон другого. В частности, отношение длины катета, лежащего против острого угла А в прямоугольном треугольнике, к длине гипотенузы должно быть одним и тем же для всех прямоугольных треугольников, имеющих один и тот же острый угол А. Это отношение известно как синус угла А. Отношения длин других сторон прямоугольного треугольника получили название косинуса и тангенса угла А. Гиппарх изобрел метод вычисления таких отношений и составил их таблицы. Располагая этими таблицами и легко измеримыми расстояниями на поверхности Земли, он смог вычислить длину ее большой окружности и расстояние до Луны. По его расчетам, радиус Луны составил одну треть земного радиуса; по современным данным отношение радиусов Луны и Земли составляет 27/1000. Гиппарх определил продолжительность солнечного года с ошибкой всего лишь в 61/2 минуты; считается, что именно он ввел широты и долготы.
Греческая тригонометрия и ее приложения в астрономии достигли пика своего развития в "Альмагесте" египтянина Клавдия Птолемея (умер в 168 гг. н. э.). В "Альмагесте" была представлена теория движения небесных тел, господствовавшая вплоть до 16 в., когда ее сменила теория Коперника. Птолемей стремился построить самую простую математическую модель, сознавая, что его теория – всего лишь удобное математическое описание астрономических явлений, согласованное с наблюдениями. Теория Коперника одержала верх именно потому, что как модель она оказалась проще.
Упадок Греции
После завоевания Египта римлянами в 31 гг. до н. э. великая греческая александрийская цивилизация пришла в упадок. Цицерон с гордостью утверждал, что в отличие от греков, римляне не мечтатели, а потому применяют свои математические знания на практике, извлекая из них реальную пользу. Однако в развитие самой математики вклад римлян был незначителен. Римская система счисления основывалась на громоздких обозначениях чисел. Главной ее особенностью был аддитивный принцип. Даже вычитательный принцип, например, запись числа 9 в виде IX, вошел в широкое употребление только после изобретения наборных литер в 15 в. Римские обозначения чисел применялись в некоторых европейских школах примерно до 1600 г., а в бухгалтерии и столетием позже.
Индия и арабы
Преемниками греков в истории математики стали индийцы. Индийские математики не занимались доказательствами, но они ввели оригинальные понятия и ряд эффективных методов. Именно они впервые ввели нуль и как кардинальное число, и как символ отсутствия единиц в соответствующем разряде. Махавира (850 г. н. э.) установил правила операций с нулем, полагая, однако, что деление числа на нуль оставляет число неизменным. Правильный ответ для случая деления числа на нуль был дан Бхаскарой (р. в 1114 г.), ему же принадлежат правила действий над иррациональными числами. Индийцы ввели понятие отрицательных чисел (для обозначения долгов). Самое раннее их использование мы находим у Брахмагупты (ок. 630 г.). Ариабхата (р. 476 г.) пошел дальше Диофанта в использовании непрерывных дробей при решении неопределенных уравнений.
Наша современная система счисления, основанная на позиционном принципе записи чисел и нуля как кардинального числа и использовании обозначения пустого разряда, называется индо-арабской. На стене храма, построенного в Индии ок. 250 г. до н. э., обнаружено несколько цифр, напоминающих по своим очертаниям наши современные цифры.
Около 800 г. индийская математика достигла Багдада. Термин "алгебра" происходит от начала названия книги «Китаб аль-джебр вал-мукабалла» ("Книга о восстановлении и противопоставлении"), написанной в 830 г. астрономом и математиком аль-Хорезми. В своем сочинении он воздавал должное заслугам индийской математики. Алгебра аль-Хорезми была основана на трудах Брахмагупты, но в ней явственно различимы вавилонское и греческое влияния. Другой выдающийся арабский математик Ибн аль-Хайсам (ок. 965 – 1039 гг.) разработал способ получения алгебраических решений квадратных и кубических уравнений. Арабские математики, в их числе и Омар Хайям, умели решать некоторые кубические уравнения с помощью геометрических методов, используя конические сечения. Арабские астрономы ввели в тригонометрию понятие тангенса и котангенса. Насирэддин Туси (1201 – 1274 гг.) в "Трактате о полном четырехугольнике" систематически изложил плоскую и сферическую геометрии и первым рассмотрел тригонометрию отдельно от астрономии.
И все же самым важным вкладом арабов в математику стали их переводы и комментарии к великим творениям греков. Европа познакомилась с этими работами после завоевания арабами Северной Африки и Испании, а позднее труды греков были переведены на латынь.
Средние века и Возрождение
Средневековая Европа
Римская цивилизация не оставила заметного следа в математике, поскольку была слишком озабочена решением практических проблем. Цивилизация, сложившаяся в Европе раннего Средневековья (ок. 400 – 1100 гг.), не была продуктивной по прямо противоположной причине: интеллектуальная жизнь сосредоточилась почти исключительно на теологии и загробной жизни. Уровень математического знания не поднимался выше арифметики и простых разделов из "Начал" Евклида. Наиболее важным разделом математики в средние века считалась астрология; астрологов называли математиками. А поскольку медицинская практика основывалась преимущественно на астрологических показаниях или противопоказаниях, медикам не оставалось ничего другого, как стать математиками.
Около 1100 г. в западноевропейской математике начался почти трехвековой период освоения сохраненного арабами и византийскими греками наследия Древнего мира и Востока. Поскольку арабы владели почти всеми трудами древних греков, Европа получила обширную математическую литературу. Перевод этих трудов на латынь способствовал подъему математических исследований. Все великие ученые того времени признавали, что черпали вдохновение в трудах греков.
Первым заслуживающим упоминания европейским математиком стал Леонардо Пизанский (Фибоначчи). В своем сочинении "Книга абака" (1202 г.) он познакомил европейцев с индо-арабскими цифрами и методами вычислений, а также с арабской алгеброй. В течение следующих нескольких веков математическая активность в Европе ослабла. Свод математических знаний той эпохи, составленный Лукой Пачоли в 1494 г., не содержал каких-либо алгебраических новшеств, которых не было у Леонардо.
Возрождение
Среди лучших геометров эпохи Возрождения были художники, развившие идею перспективы, которая требовала геометрии со сходящимися параллельными прямыми. Художник Леон Баттиста Альберти (1404 – 1472 гг.) ввел понятия проекции и сечения. Прямолинейные лучи света от глаза наблюдателя к различным точкам изображаемой сцены образуют проекцию; сечение получается при прохождении плоскости через проекцию. Чтобы нарисованная картина выглядела реалистической, она должна была быть таким сечением. Понятия проекции и сечения порождали чисто математические вопросы. Например, какими общими геометрическими свойствами обладают сечение и исходная сцена, каковы свойства двух различных сечений одной и той же проекции, образованных двумя различными плоскостями, пересекающими проекцию под различными углами? Из таких вопросов и возникла проективная геометрия. Ее основатель – Ж. Дезарг (1593 – 1662 гг.) с помощью доказательств, основанных на проекции и сечении, унифицировал подход к различным типам конических сечений, которые великий греческий геометр Аполлоний рассматривал отдельно.
Начало современной математики
Наступление 16 в. в Западной Европе ознаменовалось важными достижениями в алгебре и арифметике. Были введены в обращение десятичные дроби и правила арифметических действий с ними. Настоящим триумфом стало изобретение в 1614 г. логарифмов Дж. Непером. К концу 17 в. окончательно сложилось понимание логарифмов как показателей степени с любым положительным числом, отличным от единицы, в качестве основания. С начала 16 в. более широко стали употребляться иррациональные числа. Б. Паскаль (1623 – 1662) и И. Барроу (1630 – 1677), учитель И. Ньютона в Кембриджском университете, утверждали, что такое число, как корень из двух, можно трактовать лишь как геометрическую величину. Однако в те же годы Р. Декарт (1596 – 1650) и Дж. Валлис (1616 – 1703) считали, что иррациональные числа допустимы и сами по себе, без ссылок на геометрию. В 16 в. продолжались споры по поводу законности введения отрицательных чисел. Еще менее приемлемыми считались возникавшие при решении квадратных уравнений комплексные числа, такие как названные Декартом "мнимыми". Эти числа были под подозрением даже в 18 в., хотя Л.Эйлер (1707 – 1783) с успехом пользовался ими. Комплексные числа окончательно признали только в начале 19 в., когда математики освоились с их геометрическим представлением.
Достижения в алгебре
В 16 в. итальянские математики Н. Тарталья (1499 – 1577), С. Даль Ферро (1465 – 1526), Л. Феррари (1522 – 1565) и Д. Кардано (1501 – 1576) нашли общие решения уравнений третьей и четвертой степеней. Чтобы сделать алгебраические рассуждения и их запись более точными, было введено множество символов, в том числе "+", "–", "=", ">" и "<". Самым существенным новшеством стало систематическое использование французским математиком Ф. Виетом (1540 – 1603) букв для обозначения неизвестных и постоянных величин. Это нововведение позволило ему найти единый метод решения уравнений второй, третьей и четвертой степеней. Затем математики обратились к уравнениям, степени которых выше четвертой. Работая над этой проблемой, Д. Кардано, Р. Декарт и И. Ньютон (1643 – 1727) опубликовали (без доказательств) ряд результатов, касающихся числа и вида корней уравнения. Ньютон открыл соотношение между корнями и дискриминантом [ b2 – 4ac ] квадратного уравнения, а именно, что уравнение ax2 + bx + c = 0 имеет равные действительные, разные действительные или комплексно сопряженные корни в зависимости оттого, будет ли дискриминант b2 – 4ac равен нулю, больше или меньше нуля. В 1799 К. Фридрих Гаусс (1777 – 1855) доказал т. н. основную теорему алгебры: каждый многочлен n -й степени имеет ровно n корней.
Основная задача алгебры – поиск общего решения алгебраических уравнений – продолжала занимать математиков и в начале 19 в. Когда говорят об общем решении уравнения второй степени ax2 + bx + c = 0, имеют в виду, что каждый из двух его корней может быть выражен с помощью конечного числа операций сложения, вычитания, умножения, деления и извлечения корней, производимых над коэффициентами a, b и с. Молодой норвежский математик Н. Абель (1802 – 1829) доказал, что невозможно получить общее решение уравнения степени выше 4 с помощью конечного числа алгебраических операций. Однако существует много уравнений специального вида степени выше 4, допускающих такое решение. Накануне своей гибели на дуэли юный французский математик Э. Галуа (1811 – 1832) дал решающий ответ на вопрос о том, какие уравнения разрешимы в радикалах, т. е. корни каких уравнений можно выразить через их коэффициенты с помощью конечного числа алгебраических операций. В теории Галуа использовались подстановки или перестановки корней, и было введено понятие группы, которое нашло широкое применение во многих областях математики.
Развитие теории групп служит хорошим примером преемственности творческой работы в математике. Галуа построил свою теорию, опираясь на работу Абеля, Абель опирался на работу Ж. Лагранжа (1736 – 1813). В свою очередь многие выдающиеся математики, в том числе Гаусс и А. Лежандр (1752 – 1833) в своих работах неявно использовали понятие группы. Ньютон не был чрезмерно скромен, когда заявил: "Если я видел дальше других, то потому, что стоял на плечах гигантов".
Аналитическая геометрия
Аналитическая, или координатная, геометрия была создана независимо П. Ферма (1601 – 1665) и Р.Декартом для того, чтобы расширить возможности евклидовой геометрии в задачах на построение. Однако Ферма рассматривал свои работы лишь как переформулировку сочинения Аполлония. Подлинное открытие – осознание всей мощи алгебраических методов – принадлежит Декарту. Евклидова геометрическая алгебра для каждого построения требовала изобретения своего оригинального метода и не могла предложить количественную информацию, необходимую науке. Декарт решил эту проблему: он формулировал геометрические задачи алгебраически, решал алгебраическое уравнение и лишь затем строил искомое решение – отрезок, имевший соответствующую длину. Собственно аналитическая геометрия возникла, когда Декарт начал рассматривать неопределенные задачи на построение, решениями которых является не одна, а множество возможных длин.
Аналитическая геометрия использует алгебраические уравнения для представления и исследования кривых и поверхностей. Декарт считал приемлемой кривую, которую можно записать с помощью единственного алгебраического уравнения относительно х и у. Такой подход был важным шагом вперед, ибо он не только включил в число допустимых такие кривые, как конхоида и циссоида, но также существенно расширил область кривых. В результате, в 17 – 18 вв. множество новых важных кривых, таких как циклоида и цепная линия, вошли в научный обиход.
По-видимому, первым математиком, который воспользовался уравнениями для доказательства свойств конических сечений, был Дж. Валлис. К 1865 он алгебраическим путем получил все результаты, представленные в V книге "Начал" Евклида.
Аналитическая геометрия полностью поменяла ролями геометрию и алгебру. Как заметил великий французский математик Лагранж, "пока алгебра и геометрия двигались каждая своим путем, их прогресс был медленным, а приложения ограниченными. Но когда эти науки объединили свои усилия, они позаимствовали друг у друга новые жизненные силы и с тех пор быстрыми шагами направились к совершенству".
Математический анализ
Основатели современной науки – Коперник, Кеплер, Галилей и Ньютон – подходили к исследованию природы как математики. Исследуя движение, математики выработали такое фундаментальное понятие, как функция, или отношение между переменными, например d = kt2, где d – расстояние, пройденное свободно падающим телом, а t – число секунд, которое тело находится в свободном падении. Понятие функции сразу же стало центральным в определении скорости в данный момент времени и ускорения движущегося тела. Математическая трудность этой проблемы заключалась в том, что в любой момент тело проходит нулевое расстояние за нулевой промежуток времени. Поэтому, определяя значение скорости в момент времени делением пути на время, мы придем к математически бессмысленному выражению 0/0.
Задача определения и вычисления мгновенных скоростей изменения различных величин привлекала внимание почти всех математиков 17 в., включая Барроу, Ферма, Декарта и Валлиса. Предложенные ими разрозненные идеи и методы были объединены в систематический, универсально применимый формальный метод Ньютоном и Г. Лейбницем (1646 – 1716), создателями дифференциального исчисления. По вопросу о приоритете в разработке этого исчисления между ними велись горячие споры, причем Ньютон обвинял Лейбница в плагиате. Однако, как показали исследования историков науки, Лейбниц создал математический анализ независимо от Ньютона. В результате конфликта обмен идеями между математиками континентальной Европы и Англии на долгие годы оказался прерванным с ущербом для английской стороны. Английские математики продолжали развивать идеи анализа в геометрическом направлении, в то время как математики континентальной Европы, в том числе И. Бернулли (1667 – 1748), Эйлер и Лагранж достигли несравненно больших успехов, следуя алгебраическому, или аналитическому, подходу.
Основой всего математического анализа является понятие предела. Скорость в момент времени определяется как предел, к которому стремится средняя скорость d/t, когда значение t все ближе подходит к нулю. Дифференциальное исчисление дает удобный в вычислениях общий метод нахождения скорости изменения функции f(x) при любом значении х. Эта скорость получила название производной. Из общности записи f(x) видно, что понятие производной применимо не только в задачах, связанных с необходимостью найти скорость или ускорение, но и по отношению к любой функциональной зависимости, например, к какому-нибудь соотношению из экономической теории. Одним из основных приложений дифференциального исчисления являются т. н. задачи на максимум и минимум; другой важный круг задач – нахождение касательной к данной кривой.
Оказалось, что с помощью производной, специально изобретенной для работ с задачами движения, можно также находить площади и объемы, ограниченные соответственно кривыми и поверхностями. Методы евклидовой геометрии не обладали должной общностью и не позволяли получать требуемые количественные результаты. Усилиями математиков 17 в. были созданы многочисленные частные методы, позволявшие находить площади фигур, ограниченных кривыми того или иного вида, и в некоторых случаях была отмечена связь этих задач с задачами на нахождение скорости изменения функций. Но, как и в случае дифференциального исчисления, именно Ньютон и Лейбниц осознали общность метода и тем самым заложили основы интегрального исчисления.
Метод Ньютона-Лейбница начинается с замены кривой, ограничивающей площадь, которую требуется определить, приближающейся к ней последовательностью ломаных, аналогично тому, как это делалось в изобретенном греками методе исчерпывания. Точная площадь равна пределу суммы площадей n прямоугольников, когда n обращается в бесконечность. Ньютон показал, что этот предел можно найти, обращая процесс нахождения скорости изменения функции. Операция, обратная дифференцированию, называется интегрированием. Утверждение о том, что суммирование можно осуществить, обращая дифференцирование, называется основной теоремой математического анализа. Подобно тому, как дифференцирование применимо к гораздо более широкому классу задач, чем поиск скоростей и ускорений, интегрирование применимо к любой задаче, связанной с суммированием, например, к физическим задачам на сложение сил.
Современная математика
Создание дифференциального и интегрального исчислений ознаменовало начало "высшей математики". Методы математического анализа, в отличие от понятия предела, лежащего в его основе, выглядели ясными и понятными. Многие годы математики, в том числе Ньютон и Лейбниц, тщетно пытались дать точное определение понятию предела. И все же, несмотря на многочисленные сомнения в обоснованности математического анализа, он находил все более широкое применение. Дифференциальное и интегральное исчисления стали краеугольными камнями математического анализа, который со временем включил в себя и такие предметы, как теория дифференциальных уравнений, обыкновенных и с частными производными, бесконечные ряды, вариационное исчисление, дифференциальная геометрия и многое другое. Строгое определение предела удалось получить лишь в 19 в.
Неевклидова геометрия
К 1800 г. математика покоилась на двух "китах" – на числовой системе и евклидовой геометрии. Так как многие свойства числовой системы доказывались геометрически, евклидова геометрия была наиболее надежной частью здания математики. Тем не менее, аксиома о параллельных содержала утверждение о прямых, простирающихся в бесконечность, которое не могло быть подтверждено опытом. Даже версия этой аксиомы, принадлежащая самому Евклиду, вовсе не утверждает, что какие-то прямые не пересекутся. В ней, скорее, формулируется условие, при котором они пересекутся в некоторой конечной точке. Столетиями математики пытались найти аксиоме о параллельных соответствующую подходящую замену. Но в каждом варианте непременно оказывался какой-нибудь пробел. Честь создания неевклидовой геометрии выпала Н.И.Лобачевскому (1792 – 1856) и Я. Бойяи (1802 – 1860), каждый из которых независимо опубликовал свое собственное оригинальное изложение неевклидовой геометрии. В их геометриях через данную точку можно было провести бесконечно много параллельных прямых. В геометрии Б. Римана (1826 – 1866) через точку вне прямой нельзя провести ни одной параллельной.
О физических приложениях неевклидовой геометрии никто серьезно не помышлял. Создание А.Эйнштейном (1879 – 1955) общей теории относительности в 1915 г. пробудило научный мир к осознанию реальности неевклидовой геометрии.
Неевклидова геометрия стала наиболее впечатляющим интеллектуальным свершением 19 в. Она ясно продемонстрировала, что математику нельзя более рассматривать как свод непререкаемых истин. В лучшем случае математика может гарантировать достоверность доказательства на основе недостоверных аксиом. Но зато математики впредь обрели свободу исследовать любые идеи, которые могли показаться им привлекательными. Каждый математик в отдельности был теперь волен вводить свои собственные новые понятия и устанавливать аксиомы по своему усмотрению, следя лишь за тем, чтобы проистекающие из аксиом теоремы не противоречили друг другу. Грандиозное расширение круга математических исследований в конце прошлого века по существу явилось следствием этой новой свободы.
Математическая строгость
Примерно до 1870 г. математики пребывали в убеждении, что действуют по предначертаниям древних греков, применяя дедуктивные рассуждения к математическим аксиомам, тем самым, обеспечивая своими заключениями не меньшую надежность, чем та, которой обладали аксиомы. Неевклидова геометрия и кватернионы (алгебра, в которой не выполняется свойство коммутативности) заставили математиков осознать, что-то, что они принимали за абстрактные и логически непротиворечивые утверждения, в действительности зиждется на эмпирическом и прагматическом базисе.
Создание неевклидовой геометрии сопровождалось также осознанием существования в евклидовой геометрии логических пробелов. Одним из недостатков евклидовых "Начал" было использование допущений, не сформулированных в явном виде. По-видимому, Евклид не подвергал сомнению те свойства, которыми обладали его геометрические фигуры, но эти свойства не были включены в его аксиомы. Кроме того, доказывая подобие двух треугольников, Евклид воспользовался наложением одного треугольника на другой, неявно предполагая, что при движении свойства фигур не изменяются. Но кроме таких логических пробелов, в "Началах" оказалось и несколько ошибочных доказательств.
Создание новых алгебр, начавшееся с кватернионов, породило аналогичные сомнения и в отношении логической обоснованности арифметики и алгебры обычной числовой системы. Все ранее известные математикам числа обладали свойством коммутативности, т. е. ab = ba. Кватернионы, совершившие переворот в традиционных представлениях о числах, были открыты в 1843 г. У. Гамильтоном (1805 – 1865). Они оказались полезными для решения целого ряда физических и геометрических проблем, хотя для кватернионов не выполнялось свойство коммутативности. Кватернионы вынудили математиков осознать, что если не считать посвященной целым числам и далекой от совершенства части евклидовых "Начал", арифметика и алгебра не имеют собственной аксиоматической основы. Математики свободно обращались с отрицательными и комплексными числами и производили алгебраические операции, руководствуясь лишь тем, что они успешно работают. Логическая строгость уступила место демонстрации практической пользы введения сомнительных понятий и процедур.
Почти с самого зарождения математического анализа неоднократно предпринимались попытки подвести под него строгие основания. Математический анализ ввел два новых сложных понятия — производная и определенный интеграл. Над этими понятиями бились Ньютон и Лейбниц, а также математики последующих поколений, превратившие дифференциальное и интегральное исчисления в математический анализ. Однако, несмотря на все усилия, в понятиях предела, непрерывности и дифференцируемости оставалось много неясного. Кроме того, выяснилось, что свойства алгебраических функций нельзя перенести на все другие функции. Почти все математики 18 в. и начала 19 в. предпринимали усилия, чтобы найти строгую основу для математического анализа, и все они потерпели неудачу. Наконец, в 1821 г., О. Коши (1789 – 1857), используя понятие числа, подвел строгую базу под весь математический анализ. Однако позднее математики обнаружили у Коши логические пробелы. Желаемая строгость была, наконец, достигнута в 1859 К. Вейерштрассом (1815 – 1897).
Вейерштрасс вначале считал свойства действительных и комплексных чисел самоочевидными. Позднее он, как и Г. Кантор (1845 – 1918) и Р. Дедекинд (1831 – 1916), осознал необходимость построения теории иррациональных чисел. Они дали корректное определение иррациональных чисел и установили их свойства, однако свойства рациональных чисел по-прежнему считали самоочевидными. Наконец, логическая структура теории действительных и комплексных чисел приобрела свой законченный вид в работах Дедекинда и Дж. Пеано (1858 – 1932). Создание оснований числовой системы позволило также решить проблемы обоснования алгебры.
Задача усиления строгости формулировок евклидовой геометрии была сравнительно простой и сводилась к перечислению определяемых терминов, уточнению определений, введению недостающих аксиом и восполнению пробелов в доказательствах. Эту задачу выполнил в 1899 г. Д. Гильберт (1862 – 1943). Почти в то же время были заложены и основы других геометрий. Гильберт сформулировал концепцию формальной аксиоматики. Одна из особенностей предложенного им подхода – трактовка неопределяемых терминов: под ними можно подразумевать любые объекты, удовлетворяющие аксиомам. Следствием этой особенности явилась возрастающая абстрактность современной математики. Евклидова и неевклидова геометрии описывают физическое пространство. Но в топологии, являющейся обобщением геометрии, неопределяемый термин "точка" может быть свободен от геометрических ассоциаций. Для тополога точкой может быть функция или последовательность чисел, равно как и что-нибудь другое. Абстрактное пространство представляет собой множество таких "точек".
Аксиоматический метод Гильберта вошел почти во все разделы математики 20 в. Однако вскоре стало ясно, что этому методу присущи определенные ограничения. В 1880-х Кантор попытался систематически классифицировать бесконечные множества (например, множество всех рациональных чисел, множество действительных чисел и т. д.) путем их сравнительной количественной оценки, приписывая им т. н. трансфинитные числа. При этом он обнаружил в теории множеств противоречия. Таким образом, к началу 20 в. математикам пришлось иметь дело с проблемой их разрешения, а также с другими проблемами оснований их науки, такими, как неявное использование т. н. аксиомы выбора. И все же ничто не могло сравниться с разрушительным воздействием теоремы неполноты К. Гёделя (1906 – 1978). Эта теорема утверждает, что любая непротиворечивая формальная система, достаточно богатая, чтобы содержать теорию чисел, обязательно содержит неразрешимое предложение, т. е. утверждение, которое невозможно ни доказать, ни опровергнуть в ее рамках. Теперь общепризнано, что абсолютного доказательства в математике не существует. Относительно того, что такое доказательство, мнения расходятся. Однако большинство математиков склонно полагать, что проблемы оснований математики являются философскими. И действительно, ни одна теорема не изменилась вследствие вновь найденных логически строгих структур; это показывает, что в основе математики лежит не логика, а здравая интуиция.
Если математику, известную до 1600 г., можно охарактеризовать как элементарную, то по сравнению с тем, что было создано позднее, эта элементарная математика бесконечно мала. Расширились старые области и появились новые, как чистые, так и прикладные отрасли математических знаний. Выходят около 500 математических журналов. Огромное количество публикуемых результатов не позволяет даже специалисту ознакомиться со всем, что происходит в той области, в которой он работает, не говоря уже о том, что многие результаты доступны пониманию только специалиста узкого профиля. Ни один математик сегодня не может надеяться знать больше того, что происходит в очень маленьком уголке науки.
Контрольные вопросы
1. Математика древности. Вавилония и Египет.
2. Математика древности. Классическая Греция.
3. Математика древности. Греция. Александрийский период.
4. Математика древности. Индия и арабы.
5. Математика средних веков. Европа. Возрождение.
6. Начала современной математики. Алгебра.
7. Начала современной математики. Аналитическая геометрия.
8. Начала современной математики. Математический анализ.
9. Современная математика. Неевклидова геометрия.
10. Современная математика. Математическая строгость.
