Введение

Л. Эйлер - самый продуктивный математик в истории, автор более чем 800 работ по математическому анализу, дифференциальной геометрии, теории чисел, приближённым вычислениям, небесной механике, математической физике, оптике, баллистике, кораблестроению, теории музыки и др. Многие его работы оказали значительное влияние на развитие науки.

Почти полжизни Эйлер провёл в России, где энергично помогал создавать российскую науку. В 1726 году он был приглашён работать в Санкт-Петербург. В 1731--1741 и начиная с 1766 года был академиком Петербургской Академии Наук (в 1741-1766 годах работал в Берлине, оставаясь почётным членом Петербургской Академии). Хорошо знал русский язык, часть своих сочинений (особенно учебники) публиковал на русском. Первые русские академики по математике (С. К. Котельников), и по астрономии (С. Я. Румовский) были учениками Эйлера. Некоторые из его потомков до сих пор живут в России.

Л.Эйлер внес очень большой вклад в развитие математического анализа.

Цель реферата - изучить историю развития математического анализа в XVIII веке.

Понятие математического анализа. Исторический очерк

Математический анализ - совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей трактовке к анализу следует отнести и функциональный анализ вместе с теорией интеграла Лебега, комплексный анализ (ТФКП), изучающий функции, заданные на комплексной плоскости, нестандартный анализ, изучающий бесконечно малые и бесконечно большие числа, а также вариационное исчисление.

В учебном процессе к анализу относят

· дифференциальное и интегральное исчисление

· теорию рядов (функциональных, степенных и Фурье) и многомерных интегралов

· векторный анализ.

При этом элементы функционального анализа и теории интеграла Лебега даются факультативно, а ТФКП, вариационное исчисление, теория дифференциальных уравнений читаются отдельными курсами. Строгость изложения следует образцам конца XIX века и в частности использует наивную теорию множеств.

Предшественниками математического анализа были античный метод исчерпывания и метод неделимых. Все три направления, включая анализ, роднит общая исходная идея: разложение на бесконечно малые элементы, природа которых, впрочем, представлялась авторам идеи довольно туманно. Алгебраический подход (исчисление бесконечно малых) начинает появляться у Валлиса, Джеймса Грегори и Барроу. В полной мере новое исчисление как систему создал Ньютон, который, однако, долгое время не публиковал свои открытия. Ньютон И. Математические работы. M, 1937.

Официальной датой рождения дифференциального исчисления можно считать май 1684, когда Лейбниц опубликовал первую статью «Новый метод максимумов и минимумов…» Leibniz //Acta Eroditorum, 1684. L.M.S., т. V, c. 220--226. Рус. пер.: Успехи Мат. Наук, т. 3, в. 1 (23), с. 166--173.. Эта статья в сжатой и малодоступной форме излагала принципы нового метода, названного дифференциальным исчислением.

В конце XVII века вокруг Лейбница возникает кружок, виднейшими представителями которого были братья Бернулли, Якоб и Иоганн, и Лопиталь. В 1696, используя лекции И. Бернулли, Лопиталь написал первый учебник Лопиталь. Анализ бесконечно малых. М.-Л.:ГТТИ, 1935., излагавший новый метод в применении к теории плоских кривых. Он назвал его «Анализ бесконечно малых», дав тем самым и одно из названий новому разделу математики. В основу изложения положено понятие переменных величин, между которыми имеется некоторая связь, из-за которой изменение одной влечёт изменение другой. У Лопиталя эта связь даётся при помощи плоских кривых: если M - подвижная точка плоской кривой, то её декартовы координаты x и y, именуемые диаметром и ординатой кривой, суть переменные, причём изменение x влечёт изменение y. Понятие функции отсутствует: желая сказать, что зависимость переменных задана, Лопиталь говорит, что «известна природа кривой». Понятие дифференциала вводится так:

«Бесконечно малая часть, на которую непрерывно увеличивается или уменьшается переменная величина, называется ее дифференциалом… Для обозначения дифференциала переменной величины, которая сама выражается одной буквой, мы будем пользоваться знаком или символом d. Там же. Гл.1, опр.2http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7 - cite_note-4#cite_note-4 … Бесконечно малая часть, на которую непрерывно увеличивается или уменьшается дифференциал переменной величины, называется … вторым дифференциалом». Там же. Гл.4, опр.1.

Эти определения поясняются геометрически, при этом на рисунке бесконечно малые приращения изображены конечными. Рассмотрение опирается на два требования (аксиомы). Первое:

Требуется, чтобы две величины, отличающиеся друг от друга лишь на бесконечно малую величину, можно было брать безразлично одну вместо другой. Лопиталь. Анализ бесконечно малых. М.-Л.:ГТТИ, 1935. гл.1, требование 1.

dxy = (x + dx)(y + dy) ? xy = xdy + ydx + dxdy = (x + dx)dy + ydx = xdy + ydx

и проч. правила дифференцирования. Второе требование гласит:

Требуется, чтобы можно было рассматривать кривую линию как совокупность бесконечного множества бесконечно малых прямых линий.

Продолжение каждой такой линии называется касательной к кривой. Там же. Гл.2. опр. Исследуя касательную, проходящую через точку M = (x,y), Лопиталь придаёт большое значение величине

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

Примечательно нахождение точек экстремума. Если при непрерывном увеличении диаметра x ордината y сначала возрастает, а затем убывает, то дифференциал dy сначала положителен по сравнению с dx, а потом отрицателен.

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

Вероятно, эта формулировка не безупречна, если вспомнить о первом требовании: пусть, скажем, y = x2, тогда в силу первого требования

2xdx + dx2 = 2xdx;

в нуле правая часть равна нулю, а левая нет. Видимо следовало сказать, что dy можно преобразовать в соответствии с первым требованием так, чтобы в точке максимума dy = 0. В примерах все само собой понятно, и лишь в теории точек перегиба Лопиталь пишет, что dy равен нулю в точке максимума, будучи разделён на dx Лопиталь. Анализ бесконечно малых. М.-Л.:ГТТИ, 1935 § 46.

Далее, при помощи одних дифференциалов формулируются условия экстремума и рассмотрено большое число сложных задач, относящихся в основном к дифференциальной геометрии на плоскости. В конце книги, в гл. 10, изложено то, что теперь называют правилом Лопиталя, хотя и в не совсем обычной форме. Пусть величина ординаты y кривой выражена дробью, числитель и знаменатель которой обращаются в нуль при x = a. Тогда точка кривой с x = a имеет ординату y, равную отношению дифференциала числителя к дифференциалу знаменателя, взятому при x = a.

По замыслу Лопиталя написанное им составляло первую часть «Анализа», вторая же должна была содержать интегральное исчисление, то есть способ отыскания связи переменных по известной связи их дифференциалов. Первое его изложение дано Иоганном Бернулли в его «Математических лекциях о методе интеграла» Bernulli, Johann. Die erste Integrelrechnunug. Leipzig-Berlin, 1914. Здесь дан способ взятия большинства элементарных интегралов и указаны методы решения многих дифференциальных уравнений первого порядка.

Содержание статьи

МАТЕМАТИКИ ИСТОРИЯ. Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, соотнося их с различными частями тела, главным образом пальцами рук и ног. Наскальный рисунок, сохранившийся до наших времен от каменного века, изображает число 35 в виде серии выстроенных в ряд 35 палочек-пальцев. Первыми существенными успехами в арифметике стали концептуализация числа и изобретение четырех основных действий: сложения, вычитания, умножения и деления. Первые достижения геометрии связаны с такими простыми понятиями, как прямая и окружность. Дальнейшее развитие математики началось примерно в 3000 до н.э. благодаря вавилонянам и египтянам.

ВАВИЛОНИЯ И ЕГИПЕТ

Вавилония.

Источником наших знаний о вавилонской цивилизации служат хорошо сохранившиеся глиняные таблички, покрытые т.н. клинописными текстами, которые датируются от 2000 до н.э. и до 300 н.э. Математика на клинописных табличках в основном была связана с ведением хозяйства. Арифметика и нехитрая алгебра использовались при обмене денег и расчетах за товары, вычислении простых и сложных процентов, налогов и доли урожая, сдаваемой в пользу государства, храма или землевладельца. Многочисленные арифметические и геометрические задачи возникали в связи со строительством каналов, зернохранилищ и другими общественными работами. Очень важной задачей математики был расчет календаря, поскольку календарь использовался для определения сроков сельскохозяйственных работ и религиозных праздников. Деление окружности на 360, а градуса и минуты на 60 частей берут начало в вавилонской астрономии.

Вавилоняне создали и систему счисления, использовавшую для чисел от 1 до 59 основание 10. Символ, обозначавший единицу, повторялся нужное количество раз для чисел от 1 до 9. Для обозначения чисел от 11 до 59 вавилоняне использовали комбинацию символа числа 10 и символа единицы. Для обозначения чисел начиная с 60 и больше вавилоняне ввели позиционную систему счисления с основанием 60. Существенным продвижением стал позиционный принцип, согласно которому один и тот же числовой знак (символ) имеет различные значения в зависимости от того места, где он расположен. Примером могут служить значения шестерки в записи (современной) числа 606. Однако нуль в системе счисления древних вавилонян отсутствовал, из-за чего один и тот же набор символов мог означать и число 65 (60 + 5), и число 3605 (60 2 + 0 + 5). Возникали неоднозначности и в трактовке дробей. Например, одни и те же символы могли означать и число 21, и дробь 21/60 и (20/60 + 1/60 2). Неоднозначность разрешалась в зависимости от конкретного контекста.

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

Около 700 до н.э. вавилоняне стали применять математику для исследования движений Луны и планет. Это позволило им предсказывать положения планет, что было важно как для астрологии, так и для астрономии.

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

Египет.

Наше знание древнеегипетской математики основано главным образом на двух папирусах, датируемых примерно 1700 до н.э. Излагаемые в этих папирусах математические сведения восходят к еще более раннему периоду – ок. 3500 до н.э. Египтяне использовали математику, чтобы вычислять вес тел, площади посевов и объемы зернохранилищ, размеры податей и количество камней, требуемое для возведения тех или иных сооружений. В папирусах можно найти также задачи, связанные с определением количества зерна, необходимого для приготовления заданного числа кружек пива, а также более сложные задачи, связанные с различием в сортах зерна; для этих случаев вычислялись переводные коэффициенты.

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

Древнеегипетская письменность основывалась на иероглифах. Система счисления того периода также уступала вавилонской. Египтяне пользовались непозиционной десятичной системой, в которой числа от 1 до 9 обозначались соответствующим числом вертикальных черточек, а для последовательных степеней числа 10 вводились индивидуальные символы. Последовательно комбинируя эти символы, можно было записать любое число. С появлением папируса возникло так называемое иератическое письмо-скоропись, способствовавшее, в свою очередь, появлению новой числовой системы. Для каждого из чисел от 1 до 9 и для каждого из первых девяти кратных чисел 10, 100 и т.д. использовался специальный опознавательный символ. Дроби записывались в виде суммы дробей с числителем, равным единице. С такими дробями египтяне производили все четыре арифметические операции, но процедура таких вычислений оставалась очень громоздкой.

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

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

Хотя майя, жившие в Центральной Америке, не оказали влияния на развитие математики, их достижения, относящиеся примерно к 4 в., заслуживают внимания. Майя, по-видимому, первыми использовали специальный символ для обозначения нуля в своей двадцатиричной системе. У них были две системы счисления: в одной применялись иероглифы, а в другой, более распространенной, точка обозначала единицу, горизонтальная черта – число 5, а символ обозначал нуль. Позиционные обозначения начинались с числа 20, а числа записывались по вертикали сверху вниз.

ГРЕЧЕСКАЯ МАТЕМАТИКА

Классическая Греция.

С точки зрения 20 в. родоначальниками математики явились греки классического периода (6–4 вв. до н.э.). Математика, существовавшая в более ранний период, была набором эмпирических заключений. Напротив, в дедуктивном рассуждении новое утверждение выводится из принятых посылок способом, исключавшим возможность его неприятия.

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

Дедуктивный характер греческой математики полностью сформировался ко времени Платона и Аристотеля. Изобретение дедуктивной математики принято приписывать Фалесу Милетскому (ок. 640–546 до н.э.), который, как и многие древнегреческие математики классического периода, был также философом. Высказывалось предположение, что Фалес использовал дедукцию для доказательства некоторых результатов в геометрии, хотя это сомнительно.

Другим великим греком, с чьим именем связывают развитие математики, был Пифагор (ок. 585–500 до н.э.). Полагают, что он мог познакомиться с вавилонской и египетской математикой во время своих долгих странствий. Пифагор основал движение, расцвет которого приходится на период ок. 550–300 до н.э. Пифагорейцы создали чистую математику в форме теории чисел и геометрии. Целые числа они представляли в виде конфигураций из точек или камешков, классифицируя эти числа в соответствии с формой возникающих фигур («фигурные числа»). Слово «калькуляция» (расчет, вычисление) берет начало от греческого слова, означающего «камешек». Числа 3, 6, 10 и т.д. пифагорейцы называли треугольными, так как соответствующее число камешков можно расположить в виде треугольника, числа 4, 9, 16 и т.д. – квадратными, так как соответствующее число камешков можно расположить в виде квадрата, и т.д.

Из простых геометрических конфигураций возникали некоторые свойства целых чисел. Например, пифагорейцы обнаружили, что сумма двух последовательных треугольных чисел всегда равна некоторому квадратному числу. Они открыли, что если (в современных обозначениях) n 2 – квадратное число, то n 2 + 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 и считать длинами некоторых отрезков, то различие между рациональными и иррациональными числами сглаживается. Произведение чисел и есть площадь прямоугольника со сторонами длиной и . Мы и сегодня иногда говорим о числе 25 как о квадрате 5, а о числе 27 – как о кубе 3.

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

Приведение задач к геометрическому виду имело ряд важных последствий. В частности, числа стали рассматриваться отдельно от геометрии, поскольку работать с несоизмеримыми отношениями можно было только с помощью геометрических методов. Геометрия стала основой почти всей строгой математики по крайней мере до 1600. И даже в 18 в., когда уже были достаточно развиты алгебра и математический анализ, строгая математика трактовалась как геометрия, и слово «геометр» было равнозначно слову «математик».

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

Одним из самых выдающихся пифагорейцев был Платон (ок. 427–347 до н.э.). Платон был убежден, что физический мир постижим лишь посредством математики. Считается, что именно ему принадлежит заслуга изобретения аналитического метода доказательства. (Аналитический метод начинается с утверждения, которое требуется доказать, и затем из него последовательно выводятся следствия до тех пор, пока не будет достигнут какой-нибудь известный факт; доказательство получается с помощью обратной процедуры.) Принято считать, что последователи Платона изобрели метод доказательства, получивший название «доказательство от противного». Заметное место в истории математики занимает Аристотель, ученик Платона. Аристотель заложил основы науки логики и высказал ряд идей относительно определений, аксиом, бесконечности и возможности геометрических построений.

Величайшим из греческих математиков классического периода, уступавшим по значимости полученных результатов только Архимеду, был Евдокс (ок. 408–355 до н.э.). Именно он ввел понятие величины для таких объектов, как отрезки прямых и углы. Располагая понятием величины, Евдокс логически строго обосновал пифагорейский метод обращения с иррациональными числами.

Работы Евдокса позволили установить дедуктивную структуру математики на основе явно формулируемых аксиом. Ему же принадлежит и первый шаг в создании математического анализа, поскольку именно он изобрел метод вычисления площадей и объемов, получивший название «метода исчерпывания». Этот метод состоит в построении вписанных и описанных плоских фигур или пространственных тел, которые заполняют («исчерпывают») площадь или объем той фигуры или того тела, которое является предметом исследования. Евдоксу же принадлежит и первая астрономическая теория, объясняющая наблюдаемое движение планет. Предложенная Евдоксом теория была чисто математической; она показывала, каким образом комбинации вращающихся сфер с различными радиусами и осями вращения могут объяснить кажущиеся нерегулярными движения Солнца, Луны и планет.

Около 300 до н.э. результаты многих греческих математиков были сведены в единое целое Евклидом, написавшим математический шедевр Начала . Из немногих проницательно отобранных аксиом Евклид вывел около 500 теорем, охвативших все наиболее важные результаты классического периода. Свое сочинение Евклид начал с определения таких терминов, как прямая, угол и окружность. Затем он сформулировал десять самоочевидных истин, таких, как «целое больше любой из частей». И из этих десяти аксиом Евклид смог вывести все теоремы. Для математиков текст Начал Евклида долгое время служил образцом строгости, пока в 19 в. не обнаружилось, что в нем имеются серьезные недостатки, такие как неосознанное использование несформулированных в явном виде допущений.

Аполлоний (ок. 262–200 до н.э.) жил в александрийский период, но его основной труд выдержан в духе классических традиций. Предложенный им анализ конических сечений – окружности, эллипса, параболы и гиперболы – явился кульминацией развития греческой геометрии. Аполлоний также стал основателем количественной математической астрономии.

Александрийский период.

В этот период, который начался около 300 до н.э., характер греческой математики изменился. Александрийская математика возникла в результате слияния классической греческой математики с математикой Вавилонии и Египта. В целом математики александрийского периода были больше склонны к решению чисто технических задач, чем к философии. Великие александрийские математики – Эратосфен, Архимед, Гиппарх, Птолемей, Диофант и Папп – продемонстрировали силу греческого гения в теоретическом абстрагировании, но столь же охотно применяли свой талант к решению практических проблем и чисто количественных задач.

Эратосфен (ок. 275–194 до н.э.) нашел простой метод точного вычисления длины окружности Земли, ему же принадлежит календарь, в котором каждый четвертый год имеет на один день больше, чем другие. Астроном Аристарх (ок. 310–230 до н.э.) написал сочинение О размерах и расстояниях Солнца и Луны , содержавшее одну из первых попыток определения этих размеров и расстояний; по своему характеру работа Аристарха была геометрической.

Величайшим математиком древности был Архимед (ок. 287–212 до н.э.). Ему принадлежат формулировки многих теорем о площадях и объемах сложных фигур и тел, вполне строго доказанные им методом исчерпывания. Архимед всегда стремился получить точные решения и находил верхние и нижние оценки для иррациональных чисел. Например, работая с правильным 96-угольником, он безукоризненно доказал, что точное значение числа p находится между 3 1 / 7 и 3 10 / 71 . Архимед доказал также несколько теорем, содержавших новые результаты геометрической алгебры. Ему принадлежит формулировка задачи о рассечении шара плоскостью так, чтобы объемы сегментов находились между собой в заданном отношении. Архимед решил эту задачу, отыскав пересечение параболы и равнобочной гиперболы.

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

Во времена Архимеда уже не ограничивались геометрическими построениями, осуществимыми только с помощью циркуля и линейки. Архимед использовал в своих построениях спираль, а Диоклес (конец 2 в. до н.э.) решил проблему удвоения куба с помощью введенной им кривой, получившей название циссоиды.

В александрийский период арифметика и алгебра рассматривались независимо от геометрии. Греки классического периода имели логически обоснованную теорию целых чисел, однако александрийские греки, восприняв вавилонскую и египетскую арифметику и алгебру, во многом утратили уже наработанные представления о математической строгости. Живший между 100 до н.э. и 100 н.э. Герон Александрийский трансформировал значительную часть геометрической алгебры греков в откровенно нестрогие вычислительные процедуры. Однако, доказывая новые теоремы евклидовой геометрии, он по-прежнему руководствовался стандартами логической строгости классического периода.

Первой достаточно объемистой книгой, в которой арифметика излагалась независимо от геометрии, было Введение в арифметику Никомаха (ок. 100 н.э.). В истории арифметики ее роль сравнима с ролью Начал Евклида в истории геометрии. На протяжении более 1000 лет она служила стандартным учебником, поскольку в ней ясно, четко и всеобъемлюще излагалось учение о целых числах (простых, составных, взаимно простых, а также о пропорциях). Повторяя многие пифагорейские утверждения, Введение Никомаха вместе с тем шло дальше, так как Никомах видел и более общие отношения, хотя и приводил их без доказательства.

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

Высшим достижением александрийских математиков стало создание количественной астрономии. Гиппарху (ок. 161–126 до н.э.) мы обязаны изобретением тригонометрии. Его метод был основан на теореме, утверждающей, что в подобных треугольниках отношение длин любых двух сторон одного из них равно отношению длин двух соответственных сторон другого. В частности, отношение длины катета, лежащего против острого угла А в прямоугольном треугольнике, к длине гипотенузы должно быть одним и тем же для всех прямоугольных треугольников, имеющих один и тот же острый угол А . Это отношение известно как синус угла А . Отношения длин других сторон прямоугольного треугольника получили название косинуса и тангенса угла А . Гиппарх изобрел метод вычисления таких отношений и составил их таблицы. Располагая этими таблицами и легко измеримыми расстояниями на поверхности Земли, он смог вычислить длину ее большой окружности и расстояние до Луны. По его расчетам, радиус Луны составил одну треть земного радиуса; по современным данным отношение радиусов Луны и Земли составляет 27/1000. Гиппарх определил продолжительность солнечного года с ошибкой всего лишь в 6 1 / 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) нашли общие решения уравнений третьей и четвертой степеней. Чтобы сделать алгебраические рассуждения и их запись более точными, было введено множество символов, в том числе +, –, ґ, =, > и <.>b 2 – 4ac ] квадратного уравнения, а именно, что уравнение ax 2 + bx + c = 0 имеет равные действительные, разные действительные или комплексно сопряженные корни в зависимости оттого, будет ли дискриминант b 2 – 4ac равен нулю, больше или меньше нуля. В 1799 К.Фридрих Гаусс (1777–1855) доказал т.н. основную теорему алгебры: каждый многочлен n -й степени имеет ровно n корней.

Основная задача алгебры – поиск общего решения алгебраических уравнений – продолжала занимать математиков и в начале 19 в. Когда говорят об общем решении уравнения второй степени ax 2 + bx + c = 0, имеют в виду, что каждый из двух его корней может быть выражен с помощью конечного числа операций сложения, вычитания, умножения, деления и извлечения корней, производимых над коэффициентами a , b и с . Молодой норвежский математик Н.Абель (1802–1829) доказал, что невозможно получить общее решение уравнения степени выше 4 с помощью конечного числа алгебраических операций. Однако существует много уравнений специального вида степени выше 4, допускающих такое решение. Накануне своей гибели на дуэли юный французский математик Э.Галуа (1811–1832) дал решающий ответ на вопрос о том, какие уравнения разрешимы в радикалах, т.е. корни каких уравнений можно выразить через их коэффициенты в помощью конечного числа алгебраических операций. В теории Галуа использовались подстановки или перестановки корней и было введено понятие группы, которое нашло широкое применение во многих областях математики.

Аналитическая геометрия.

Аналитическая, или координатная, геометрия была создана независимо П.Ферма (1601–1665) и Р.Декартом для того, чтобы расширить возможности евклидовой геометрии в задачах на построение. Однако Ферма рассматривал свои работы лишь как переформулировку сочинения Аполлония. Подлинное открытие – осознание всей мощи алгебраических методов – принадлежит Декарту. Евклидова геометрическая алгебра для каждого построения требовала изобретения своего оригинального метода и не могла предложить количественную информацию, необходимую науке. Декарт решил эту проблему: он формулировал геометрические задачи алгебраически, решал алгебраическое уравнение и лишь затем строил искомое решение – отрезок, имевший соответствующую длину. Собственно аналитическая геометрия возникла, когда Декарт начал рассматривать неопределенные задачи на построение, решениями которых является не одна, а множество возможных длин.

Аналитическая геометрия использует алгебраические уравнения для представления и исследования кривых и поверхностей. Декарт считал приемлемой кривую, которую можно записать с помощью единственного алгебраического уравнения относительно х и у . Такой подход был важным шагом вперед, ибо он не только включил в число допустимых такие кривые, как конхоида и циссоида, но также существенно расширил область кривых. В результате в 17–18 вв. множество новых важных кривых, таких как циклоида и цепная линия, вошли в научный обиход.

По-видимому, первым математиком, который воспользовался уравнениями для доказательства свойств конических сечений, был Дж.Валлис. К 1865 он алгебраическим путем получил все результаты, представленные в V книге Начал Евклида.

Аналитическая геометрия полностью поменяла ролями геометрию и алгебру. Как заметил великий французский математик Лагранж, «пока алгебра и геометрия двигались каждая своим путем, их прогресс был медленным, а приложения ограниченными. Но когда эти науки объединили свои усилия, они позаимствовали друг у друга новые жизненные силы и с тех пор быстрыми шагами направились к совершенству». См. также АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ ; ГЕОМЕТРИЯ ; ГЕОМЕТРИИ ОБЗОР .

Математический анализ.

Основатели современной науки – Коперник, Кеплер, Галилей и Ньютон – подходили к исследованию природы как математики. Исследуя движение, математики выработали такое фундаментальное понятие, как функция, или отношение между переменными, например d = kt 2 , где d – расстояние, пройденное свободно падающим телом, а t – число секунд, которое тело находится в свободном падении. Понятие функции сразу же стало центральным в определении скорости в данный момент времени и ускорения движущегося тела. Математическая трудность этой проблемы заключалась в том, что в любой момент тело проходит нулевое расстояние за нулевой промежуток времени. Поэтому определяя значение скорости в момент времени делением пути на время, мы придем к математически бессмысленному выражению 0/0.

Задача определения и вычисления мгновенных скоростей изменения различных величин привлекала внимание почти всех математиков 17 в., включая Барроу, Ферма, Декарта и Валлиса. Предложенные ими разрозненные идеи и методы были объединены в систематический, универсально применимый формальный метод Ньютоном и Г.Лейбницем (1646–1716), создателями дифференциального исчисления. По вопросу о приоритете в разработке этого исчисления между ними велись горячие споры, причем Ньютон обвинял Лейбница в плагиате. Однако, как показали исследования историков науки, Лейбниц создал математический анализ независимо от Ньютона. В результате конфликта обмен идеями между математиками континентальной Европы и Англии на долгие годы оказался прерванным с ущербом для английской стороны. Английские математики продолжали развивать идеи анализа в геометрическом направлении, в то время как математики континентальной Европы, в том числе И.Бернулли (1667–1748), Эйлер и Лагранж достигли несравненно бóльших успехов, следуя алгебраическому, или аналитическому, подходу.

Основой всего математического анализа является понятие предела. Скорость в момент времени определяется как предел, к которому стремится средняя скорость d /t , когда значение t все ближе подходит к нулю. Дифференциальное исчисление дает удобный в вычислениях общий метод нахождения скорости изменения функции f (x ) при любом значении х . Эта скорость получила название производной. Из общности записи f (x ) видно, что понятие производной применимо не только в задачах, связанных с необходимостью найти скорость или ускорение, но и по отношению к любой функциональной зависимости, например, к какому-нибудь соотношению из экономической теории. Одним из основных приложений дифференциального исчисления являются т.н. задачи на максимум и минимум; другой важный круг задач – нахождение касательной к данной кривой.

Оказалось, что с помощью производной, специально изобретенной для работ с задачами движения, можно также находить площади и объемы, ограниченные соответственно кривыми и поверхностями. Методы евклидовой геометрии не обладали должной общностью и не позволяли получать требуемые количественные результаты. Усилиями математиков 17 в. были созданы многочисленные частные методы, позволявшие находить площади фигур, ограниченных кривыми того или иного вида, и в некоторых случаях была отмечена связь этих задач с задачами на нахождение скорости изменения функций. Но, как и в случае дифференциального исчисления, именно Ньютон и Лейбниц осознали общность метода и тем самым заложили основы интегрального исчисления.

СОВРЕМЕННАЯ МАТЕМАТИКА

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

Неевклидова геометрия.

К 1800 математика покоилась на двух «китах» – на числовой системе и евклидовой геометрии. Так как многие свойства числовой системы доказывались геометрически, евклидова геометрия была наиболее надежной частью здания математики. Тем не менее аксиома о параллельных содержала утверждение о прямых, простирающихся в бесконечность, которое не могло быть подтверждено опытом. Даже версия этой аксиомы, принадлежащая самому Евклиду, вовсе не утверждает, что какие-то прямые не пересекутся. В ней скорее формулируется условие, при котором они пересекутся в некоторой конечной точке. Столетиями математики пытались найти аксиоме о параллельных соответствующую подходящую замену. Но в каждом варианте непременно оказывался какой-нибудь пробел. Честь создания неевклидовой геометрии выпала Н.И.Лобачевскому (1792–1856) и Я.Бойяи (1802–1860), каждый из которых независимо опубликовал свое собственное оригинальное изложение неевклидовой геометрии. В их геометриях через данную точку можно было провести бесконечно много параллельных прямых. В геометрии Б.Римана (1826–1866) через точку вне прямой нельзя провести ни одной параллельной.

О физических приложениях неевклидовой геометрии никто серьезно не помышлял. Создание А.Эйнштейном (1879–1955) общей теории относительности в 1915 пробудило научный мир к осознанию реальности неевклидовой геометрии.

Математическая строгость.

Примерно до 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 математических журналов. Огромное количество публикуемых результатов не позволяет даже специалисту ознакомиться со всем, что происходит в той области, в которой он работает, не говоря уже о том, что многие результаты доступны пониманию только специалиста узкого профиля. Ни один математик сегодня не может надеяться знать больше того, что происходит в очень маленьком уголке науки. См. также статьи об ученых – математиках .

Литература:

Ван-дер-Варден Б.Л. Пробуждающаяся наука. Математика Древнего Египта, Вавилона и Греции . М., 1959
Юшкевич А.П. История математики в средние века . М., 1961
Даан-Дальмедико А., Пейффер Ж. Пути и лабиринты. Очерки по истории математики . М., 1986
Клейн Ф. Лекции о развитии математики в XIX столетии . М., 1989

История математического анализа

XVIII век часто называют веком научной революции, определившей развитие общества вплоть до наших дней. Базировалась эта революция на замечательных математических открытиях, совершённых в XVII веке и основанных в последующее столетие. «Нет ни одного объекта в материальном мире и ни одной мысли в области духа, на которых не отразилось бы влияние научной революции XVIII века. Ни один из элементов современной цивилизации не мог бы существовать без принципов механики, без аналитической геометрии и дифференциального исчисления. Нет ни одной отрасли в деятельности человека, которая не испытала бы на себе сильного влияния гения Галилея, Декарта, Ньютона и Лейбница». Эти слова французского математика Э. Бореля (1871 – 1956), произнесенные им в 1914 году, остаются актуальными и в наше время. В развитие математического анализа внесли свой вклад многие великие ученые: И.Кеплер (1571 -1630), Р.Декарт (1596 -1650), П.Ферма (1601 -1665), Б.Паскаль (1623 -1662), Х.Гюйгенс (1629 -1695), И.Барроу (1630 -1677), братья Я.Бернулли (1654 -1705) и И.Бернулли (1667 -1748) и другие.

Новшество этих знаменитостей в понимании и описании окружающего нас мира:

движение, изменение и вариативность (вошла жизнь с её динамикой и развитием);

статистические слепки и одномоментные фотографии её состояний.

Математические открытия XVII –XVII веков были определены с помощью таких понятий, как переменная, и функция, координаты, график, вектор, производная, интеграл, ряд и дифференциальное уравнение.

Паскаль, Декарт и Лейбниц были не столько математики, сколько философами. Именно общечеловеческий и философский смысл их математических открытий составляет сейчас главную ценность и является необходимым элементом общей культуры.

Как серьёзную философию, так и серьезную математику нельзя понять, не овладев соответствующим языком. Ньютон в письме к Лейбницу о решении дифференциальных уравнений излагает свой метод следующим образом: 5accdae10effh 12i…rrrssssttuu.

Лейбниц и его ученики

Эти определения поясняются геометрически, при этом на рис. бесконечно малые приращения изображены конечными. Рассмотрение опирается на два требования (аксиомы). Первое:

Требуется, чтобы две величины, отличающиеся друг от друга лишь на бесконечно малую величину, можно было брать [при упрощении выражений?] безразлично одну вместо другой.

Продолжение каждой такой линии называется касательной к кривой. Исследуя касательную, проходящую через точку , Лопиталь придаёт большое значение величине

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

Примечательно нахождение точек экстремума . Если при непрерывном увеличении диаметра ордината сначала возрастает, а затем убывает, то дифференциал сначала положителен по сравнению с , а потом отрицателен.

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

Вероятно, эта формулировка не безупречна, если вспомнить о первом требовании: пусть, скажем, , тогда в силу первого требования

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

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

По замыслу Лопиталя написанное им составляло первую часть Анализа, вторая же должна была содержать интегральное исчисление, то есть способ отыскания связи переменных по известной связи их дифференциалов. Первое его изложение дано Иоганном Бернулли в его Математических лекциях о методе интеграла . Здесь дан способ взятия большинства элементарных интегралов и указаны методы решения многих дифференциальных уравнений первого порядка.

Указывая на практическую полезность и простоту нового метода Лейбниц писал:

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

Эйлер

Перемены, произошедшие за последующие полвека, отражены в обширном трактате Эйлера . Изложение анализа открывает двухтомное «Введение», где собраны изыскания о различных представлениях элементарных функций. Термин «функция» впервые появляется лишь в у Лейбница , однако на первые роли его выдвинул именно Эйлер. Изначальная трактовка понятия функции состояла в том, что функция - это выражение для счёта (нем. Rechnungsausdrϋck ) или аналитическое выражение .

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

Подчёркивая, что «основное различие функций лежит в способе составления их из переменного и постоянных», Эйлер перечисляет действия, «посредством которых количества могут друг с другом сочетаться и перемешиваться; действиями этими являются: сложение и вычитание, умножение и деление, возведение в степень и извлечение корней; сюда же следует отнести также решение [алгебраических] уравнений. Кроме этих действий, называемых алгебраическими, существует много других, трансцендентных, как-то: показательные, логарифмические и бесчисленные другие, доставляемые интегральным исчислением». Такая трактовка позволяла без труда обращаться с многозначными функциями и не требовала пояснения, над каким полем рассматривается функция: выражение для счёта определено для комплексных значений переменных даже тогда, когда для рассматриваемой задачи это не нужно.

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

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

В отличие от Лопиталя Эйлер подробно рассматривает трансцендентные функции и в особенности два наиболее изученные их классы - показательные и тригонометрические. Он обнаруживает, что все элементарные функции могут быть выражены при помощи арифметических действий и двух операций - взятия логарифма и экспоненты .

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

Полагая и , он получает

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

Указав различные выражения для функций, которые теперь называют элементарными, Эйлер переходит к рассмотрению кривых на плоскости, начертанным свободным движением руки. По его мнению, не для всякой такой кривой можно отыскать единое аналитическое выражение (см. также Спор о струне). В XIX веке с подачи Казорати это утверждение считалось ошибочным: по теореме Вейерштрасса всякая непрерывная в современном смысле кривая может быть приближенно описана полиномами. На самом деле Эйлера это едва ли убедило, ведь нужно ещё переписать предельный переход при помощи символа .

Изложение дифференциального исчисления Эйлер начинает с теории конечных разностей, за ним в третьей главе следует философское разъяснение о том, что «бесконечно малое количество есть точно нуль», более всего не устроившее современников Эйлера. Затем из конечных разностей при бесконечно малом приращении образуются дифференциалы, а из интерполяционной формулу Ньютона - формула Тейлора . Этот метод в существенном восходит к работам Тейлора (1715 г.). При этом у Эйлера появляется устойчивое отношение , которое, однако, рассматривается как отношение двух бесконечно малых. Последние главы посвящены приближенному вычислению при помощи рядов.

В трёхтомном интегральном исчислении Эйлер трактует вводит понятие интеграла так:

Та функция, дифференциал которой , называется его интегралом и обозначается знаком , поставленным спереди.

В целом же эта часть трактата Эйлера посвящена более общей с современной точки зрения задаче об интегрировании дифференциальных уравнений. При этом Эйлер находит ряд интегралов и дифференциальных уравнений, которые приводят к новым функциям, напр., -функции, эллиптические функции и т. д. Строгое доказательство их неэлементарности было дано в 1830-х годах Якоби для эллиптических функций и Лиувиллем (см. элементарные функции).

Лагранж

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

Желая избавиться от бесконечно малого вовсе, Лагранж обратил связь между производными и рядом Тейлора. Под аналитической функцией Лагранж понимал произвольную функцию, исследуемую методами анализа. Саму функцию он обозначил как , дав графический способ записи зависимости - ранее же Эйлер обходился одними переменными. Для применения методов анализа по мнению Лагранжа необходимо, чтобы функция разлагалась в ряд

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

поэтому коэффициент является удвоенной производной производной , то есть

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

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

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

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

доопределённую нулём в нуле. Эта функция всюду гладкая на вещественной оси и в нуле имеет нулевой ряд Маклорена, который, следовательно, не сходится к значению . Против этого примера Пуассон возразил, что Лагранж определял функцию как единое аналитическое выражение, в примере Коши же функция задана по разному в нуле, и при . Лишь в конце XIX века Прингсхейм доказал, что существует бесконечно дифференцируемая функция, заданная единым выражением, ряд Маклорена для которой расходится. Пример такой функцией доставляет выражение

Дальнейшее развитие

В последней трети XIX века Вейерштрасс произвёл арифметизацию анализа, полагая геометрическое обоснование недостаточным, и предложил классическое определение предела через ε-δ-язык. Он же создал первую строгую теорию множества вещественных чисел . В это же время попытки усовершенствования теоремы об интегрируемости по Риману привели к созданию классификации разрывности вещественных функций. Также были открыты «патологические» примеры (нигде не дифференцируемые непрерывные функции , заполняющие пространство кривые). В связи с этим Жордан разработал теорию меры , а Кантор - теорию множеств , и в начале XX века математический анализ был формализован с их помощью. Другим важным событием XX века стала разработка нестандартного анализа как альтернативного подхода к обоснованию анализа.

Разделы математического анализа

• Метрическое пространство , Топологическое пространство

См. также

Библиография

Энциклопедические статьи

• // Энциклопедический лексикон : Спб.: тип. А. Плюшара, 1835-1841. Том 1-17.

• // Энциклопедический словарь Брокгауза и Ефрона : В 86 томах (82 т. и 4 доп.). - СПб. , 1890-1907.

Учебная литература

Стандартные учебники

На протяжении многих лет в России популярны следующие учебники:

• Курант, Р. Курс дифференциального и интегрального исчисления (в двух томах). Главная методическая находка курса: сначала попросту излагаются основные идеи, а затем им даются строгие доказательства. Написан Курантом в его бытность профессором Геттингенского университета в 1920-х под влиянием идей Клейна , затем в 1930-х перенесён на американскую почву. Русский перевод 1934 г. и его переиздания дает текст по немецкому изданию, перевод 1960-х годов (т. н. 4-ое издание) представляет собой компиляцию из немецкой и американской версии учебника и в связи с этим весьма многословен.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления (в трёх томах) и задачник.
• Демидович Б. П. Сборник задач и упражнений по математическому анализу.
• Ляшко И. И. и др. Справочное пособие по высшей математике, т. 1-5.

Некоторые ВУЗы имеют собственные руководства по анализу:

• МГУ , МехМат:

• Архипов Г. И., Садовничий В. А., Чубариков В. Н. Лекции по мат. анализу.
• Зорич В. А. Математический анализ. Часть I. М.: Наука, 1981. 544 с.
• Зорич В. А. Математический анализ. Часть II. М.: Наука, 1984. 640 с.
• Камынин Л. И. Курс математического анализа (в двух томах). М.: Издательство Московского Университета, 2001.

• В. А. Ильин , В. А. Садовничий , Бл. Х. Сендов . Математический анализ / Под ред. А. Н. Тихонова . - 3-е изд. , перераб. и доп. - М .: Проспект, 2006. - ISBN 5-482-00445-7

• МГУ , физфак:

• Ильин В. А. , Позняк Э. Г. Основы математического анализа (в двух частях). - М .: Физматлит, 2005. - 648 с. - ISBN 5-9221-0536-1
• Бутузов В. Ф. и др. Мат. анализ в вопросах и задачах

• Математика в техническом университете Сборник учебных пособий в 21 томе.

• СПбГУ , физфак:

• Смирнов В. И. Курс высшей математики, в 5 томах. М.: Наука, 1981 (6-е издание), БХВ-Петербург, 2008 (24-е издание).

• НГУ , мехмат:

• Решетняк Ю. Г. Курс математического анализа. Часть I. Книга 1. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Новосибирск: Изд-во Ин-та математики, 1999. 454 с ISBN 5-86134-066-8 .
• Решетняк Ю. Г. Курс математического анализа. Часть I. Книга 2. Интегральное исчисление функций одной переменной. Дифференциальное исчисление функций многих переменных. Новосибирск: Изд-во Ин-та математики, 1999. 512 с ISBN 5-86134-067-6 .
• Решетняк Ю. Г. Курс математического анализа. Часть II. Книга 1. Основы гладкого анализа в многомерных пространствах. Теория рядов. Новосибирск: Изд-во Ин-та математики, 2000. 440 с ISBN 5-86134-086-2 .
• Решетняк Ю. Г. Курс математического анализа. Часть II. Книга 2. Интегральное исчисление функций многих переменных. Интегральное исчисление на многообразиях. Внешние дифференциальные формы. Новосибирск: Изд-во Ин-та математики, 2001. 444 с ISBN 5-86134-089-7 .
• Шведов И. А. Компактный курс математического анализа, : Часть 1. Функции одной переменной , Часть 2. Дифференциальное исчисление функций многих переменных .

• МФТИ , Москва

• Кудрявцев Л. Д. Курс математического анализа (в трех томах).

• БГУ , физфак:

• Богданов Ю. С. Лекции по математическому анализу (в двух частях). - Минск: БГУ, 1974. - 357 с.

Учебники повышенной сложности

Учебники:

• Рудин У. Основы математического анализа. М., 1976 - небольшая книга, написана очень чётко и сжато.

Задачники повышенной сложности:

• Г.Полиа, Г.Сеге, Задачи и теоремы из анализа. Часть 1 , Часть 2 , 1978. (Большая часть материала относится к ТФКП)
• Pascal, E. (Napoli). Esercizii, 1895; 2 ed., 1909 // Internet Archiv

Учебники для гуманитарных специальностей

• А. М. Ахтямов Математика для социологов и экономистов. - М. : Физматлит, 2004.
• Н. Ш. Кремер и др. Высшая математика для экономистов. Учебник. 3-е изд. - М. : Юнити, 2010

Задачники

• Г. Н. Берман. Сборник задач по курсу математического анализа: Учебное пособие для вузов. - 20-е изд. М.:Наука. Главная редакция физико-математической литературы, 1985. - 384 с.
• П. Е. Данко, А. Г. Попов, Т. Я. Кожевников. Высшая математика в упражнениях и задачах. (В 2-х частях)- М.: Высш.шк, 1986.
• Г. И. Запорожец Руководство к решению задач по математическому анализу. - М.: Высшая школа, 1966.
• И. А. Каплан. Практические занятия по высшей математике, в 5 частях.. - Харьков, Изд. Харьковского гос. ун-та, 1967, 1971, 1972.
• А. К. Боярчук, Г. П. Головач. Диференциальные уравнения в примерах и задачах. Москва. Едиториал УРСС, 2001.
• А. В. Пантелеев, А. С. Якимова, А. В. Босов. Обыкновенные дифференциальные уравнения в примерах и задачах. «МАИ», 2000
• А. М. Самойленко, С. А. Кривошея, Н. А. Перестюк. Дифференциальные уравнения: примеры и задачи. ВШ, 1989.
• К. Н. Лунгу, В. П. Норин, Д. Т. Письменный, Ю.А Шевченко. Сборник задач по высшей математике. 1 курс. - 7-е изд. - М.: Айрис-пресс, 2008.
• И. А. Марон. Дифференциальное и интегральное исчисление в примерах и задачах (Функции одной переменной). - М., Физматлит, 1970.
• В. Д. Черненко. Высшая математика в примерах и задачах: Учебное пособие для вузов. В 3 т. - СПб.: Политехника, 2003.

Справочники

Классические произведения

Сочинения по истории анализа

• Кестнер, Авраам Готтгельф . Geschichte der Mathematik. 4 тома, Геттинген, 1796-1800
• Кантор, Мориц . Vorlesungen über geschichte der mathematik Leipzig: B. G. Teubner, - . Bd. 1 , Bd. 2 , Bd. 3 , Bd. 4
• История математики под редакцией А. П. Юшкевича (в трёх томах):

• Том 1 С древнейших времен до начала Нового времени. (1970)
• Том 2 Математика XVII столетия. (1970)
• Том 3 Математика XVIII столетия. (1972)

• Маркушевич А. И. Очерки по истории теории аналитических функций. 1951
• Вилейтнер Г. История математики от Декарта до середины XIX столетия. 1960

Примечания

1. Ср., напр.,курс Cornell Un
2. Ньютон И. Математические работы . M, 1937.
3. Leibniz //Acta Eroditorum, 1684. L.M.S., т. V, c. 220-226. Рус. пер.: Успехи Мат. Наук, т. 3, в. 1 (23), с. 166-173.
4. Лопиталь. Анализ бесконечно малых . М.-Л.:ГТТИ, 1935. (Далее: Лопиталь) // Мат. анализ на EqWorld
5. Лопиталь, гл. 1, опр. 2.
6. Лопиталь, гл. 4, опр. 1.
7. Лопиталь, гл. 1, требование 1.
8. Лопиталь, гл. 1, требование 2.
9. Лопиталь, гл. 2, опр.
10. Лопиталь, § 46.
11. Лопиталь беспокоится о другом: для него длина отрезка и нужно пояснить, что значит её отрицательность. Замечание, сделанное в § 8-10, можно даже понять так, что при убывании с ростом следует писать , однако далее это не используется.
12. Bernulli, Johann. Die erste Integrelrechnunug. Leipzig-Berlin, 1914.
13. См.: Успехи Мат. Наук, т. 3, в. 1 (23)
14. См. Маркушевич А. И. Элементы теории аналитических функций , Учпедгиз, 1944. С. 21 и сл.; Koenig F. Kommentierender Anhang zu Funktionentheorie von F. Klein . Leipzig: Teubner, 1987; а также Исторический очерк в статье Функция
15. Эйлер. Введение в анализ . Т. 1. Гл. 1, § 4
16. Эйлер. Введение в анализ . Т. 1. Гл. 1, § 6