Краткий очерк истории математики. Стройк (5-е издание) (1990) (1185896), страница 25
Текст из файла (страница 25)
В целом вопрос об основании анализа оставался предметом обсуждения, равно как и все вопросы, относившиеся к бесконечным процессам. «Мистический период» в обосновании анализа (мы пользуемся термином, предложенным Карлом Марксом) в свою очередь порождал мистицизм, заходивший гораздо дальше того, что мы находим у основателей анализа. Гвидо Гранди, монах и профессор в Пизе, известный своим исследованием лепестковых кривых и других кривых, напоминающих цветки, рассматривал формулу
1-1+1-1+1-1+… = 1-(1-1)-(1-1)-(1-1)-…=1
1-1+1-1+1-1+… =(1-1)+(1-1)+(1-1)+…=0
Следовательно, 1 — 1 + 1 — 1+1 — ...= 1/2, как символ творения из ничего. Он получил результат 1/2, применив такое истолкование: отец завещает драгоценный камень двум своим сыновьям с тем, что каждый может пользоваться драгоценностью поочередно один год; следовательно, камень принадлежит каждому сыну наполовину.
Пусть эйлерово обоснование анализа имело свои слабые стороны, но свою точку зрения Эйлер во всяком случае высказал вполне определенно. Даламбер в некоторых статьях «Энциклопедии» пытался дать такое обоснование другими средствами. Ньютон пользовался выражением «первое и последнее отношение» для «флюксии»,
') Эта формула напоминает утверждение, которое Симплиций приписывает Зенону: «То, что при добавлении к другому пе делает его больше, а при отнятии от другого не делает его меньше, есть ничто».
имея в виду первое или последнее отношения двух только что возникших величин. Даламбер заменил это понятием предела. Он называет одну величину пределом другой, если вторая, приближаясь к первой, отличается от нее менее чем на любую заданную величину. «Дифференцирование уравнений состоит попросту в том, что находят пределы отношения конечных разностей двух переменных, входящих в уравнение». Это было, наряду с идеями Даламбера о бесконечных различных порядков, значительным шагом вперед. Однако его современников было не так легко убедить в важности этого шага, и когда Даламбер говорил, что секущая становится касательной при слиянии двух точек пересечения в одну, чувствовалось, что он не преодолел трудностей, присущих парадоксам Зенона. В конце концов, достигает ли переменная величина своего предела, или она никогда его не достигает?
Мы уже упоминали о критике ньютоновских флюксий епископом Беркли. Джордж Беркли, первый настоятель в Дерри, после 1734 г. — епископ в Южной Ирландии, а с 1729 до 1731 г. пребывавший в Ныопорте, штат Род Айленд, прежде всего известен как крайний идеалист («быть — значит восприниматься»)1). Он был огорчен тем, что ньютонова наука поддерживает материализм, и он напал на теорию флюксий в своем «Аналисте» (Analyst, 1734 г.). Он издевался над бесконечно малыми как над «тенями усопших величин»; если х получает приращение о, то приращение хn, разделенное на о, есть
nxn-1+n(n-1)/2 •xn-2o+…
Это получается в предположении, что о отлично от нуля. Однако флюксию от хп, то есть пхп-1 получают, считая о равным нулю, что сразу изменяет исходное предположение об отличии о от нуля. Это было «явным софизмом», который Беркли открыл в анализе, и он был убежден, что верные результаты анализа получаются за счет компенсации ошибок. Логически флюксии нельзя принимать во внимание. «Но тот, кто может переварить вторую или третью флюксию, вторую или третью разность, — восклицал Беркли, обращаясь к неверующему математику (Галлею), — не должен, как мне кажется, придираться к чемулибо в богословии». Это не единственный случай,
') Esse est percipi.
когда серьезные трудности в науке использовались, чтобы поддержать идеалистическую философию.
Джон Ланден, английский математик-самоучка, чье имя осталось в теории эллиптических интегралов, пытался найти свой метод для преодоления основных затруднений анализа. В своем «Анализе остатков» (Residual analysis, 1764 г.) он ответил на критику Беркли тем, что полностью избегал бесконечно малых; например, производную от х3 он находил, заменяя х на х1, после чего (x3-x13)/(x-x1)=x2+xx1+x12 становится равным 3x2, когда х1=х. Так как этот метод приводит при более сложных функциях к бесконечным рядам, он находится в известном родстве с более поздним алгебраическим методом Лагранжа.
6. Хотя Эйлер неоспоримо был ведущим математиком этого периода, во Франции попрежнему появлялись вполне оригинальные работы. Здесь более чем в какойлибо другой стране математику рассматривали как науку, которая должна была довести теорию Ньютона до большего совершенства. Теория всемирного тяготения обладала большой привлекательностью в глазах философов Просвещения, которые пользовались ею как оружием в своей борьбе против остатков феодализма. Католическая церковь включила труды Декарта в индекс запрещенных книг 1664 г., но около 1700 г. его теории стали модными даже в консервативных кругах. Проблема: ныотонианство или картезианство — стала на некоторое время наиболее интересной темой не только для ученых, по и в салонах. «Письма об англичанах» (1734 г.) Вольтера много сделали для знакомства французских читателей с идеями Ньютона; подруга Вольтера мадам Дю Шатле даже перевела «Начала» на французский язык (1759г.). Существенно спорным вопросом для обеих школ был вопрос о форме Земли.
Согласно космогонии, которую поддерживали картезиапцы, Земля у полюсов была удлинена, а по теории Ньютона она должна была там быть сплющена. Картезианские астрономы Кассини (отец Жан Доминик и сын Жак; отец известен в геометрии благодаря овалам Кассини, 1680г.) промерили дугу меридиана во Франции между 1700 и 1720 гг. и отстаивали картезианский вывод. Возник спор, в котором приняли участие многие математики.
В 1735 г. в Перу послали экспедицию, за которой в 1736—1737 гг. последовала другая экспедиция в Лапландию, под руководством Пьера Мопертюи, с целью промерить градус долготы. В результате обеих экспедиций восторжествовала теория Ньютона, это было как ее триумфом, так и триумфом самого Мопертюи. Отныне знаменитый «Великий сплющиватель» стал президентом Берлинской академии и много лет купался в лучах своей славы при дворе Фридриха 11. Это продолжалось до 1750г., когда он вступил в горячий спор со швейцарским математиком Самуилом Кёнигом относительно принципа наименьшего действия в механике, указанного, быть может, уже Лейбницем. Мопертюи, как Ферма до него и Эйнштейн после него, искал какой-то общий принцип, который мог бы объединить законы вселенной. Формулировка Мопертюи не была отчетливой, он определял свое «действие» как величину mvs (т—масса, v—скорость, s — расстояние). У него это сочеталось с доказательством существования бога. Этот спор особенно обострился тогда, когда Вольтер высмеял неудачливого президента в своей «Диатрибе доктора Акакия, врача папы» (1752 г.). Ни поддержка короля, ни защита Эйлера не могли уже вернуть Мопертюи присутствие духа, и павший духом математик вскоре скончался в Базеле, в доме Бернулли.
Эйлер вновь выдвинул принцип наименьшего действия в формулировке, что должен быть минимумом ∫mvds, и, кроме того, он не вдавался в метафизику Мопертюи. Таким образом этот принцип был поставлен на твердую почву, и им пользовался Лагранж1), позже— Гамильтон. Значение «гамильтониана» в современной математической физике показывает, насколько существенным было то, что внес Эйлер в спор между Мопертюи и Кёнигом.
Среди математиков, побывавших вместе с Мопертюи в Лапландии, был Алексис Клод Клеро. Клеро восемнадцати лет от роду опубликовал «Изыскания о кривых двоякой кривизны» (Recherches sur les courbes a double courbure), первый опыт в области аналитической и дифференциальной геометрии пространственных кривых. По возвращении из Лапландии Клеро опубликовал свою «Теорию фигуры Земли» (Theorie de la figure de la Terre,
')См. Max Э. Механика.—СПб., 1909; Dugas R. Histoire de la Mecanique.—Neufchatel 1950; Brunei P. Etude historique sur le principe de la rnoindre action.—Paris, 1950; По лак Л С. Вариационные принципы в механике и физике.— М., 1961.
1743г.), образцовое произведение по гидростатике и протяжению эллипсоидов вращения. Лаплас мог его улучшить лишь в незначительных деталях. В числе главных результатов этой работы — условие полноты дифференциала Mdx + Ndy. За этой книгой последовала «Теория Луны» (Theorie de la lune, 1752г.), содержавшая дополнения к эйлеровой теории движения Луны и к общей задаче трех тел. Клеро принадлежат также результаты в теории криволинейных интегралов и дифференциальных уравнений. Один из типов рассмотренных им дифференциальных уравнений известен под его именем, и с этим связан один из первых примеров особых решений.
7. Интеллектуальная оппозиция старому режиму после 1750г. имела своим центром знаменитую «Энциклопедию» (1751—1772 г., 28 томов). Ее редактором был Дени Дидро, под чьим руководством «Энциклопедия» стала подробным изложением философии века Просвещения. Дидро не обладал большими познаниями в математике1), ведущим математиком энциклопедистов был Жан ле Рон Даламбер, внебрачный сын аристократической дамы, оставленный как подкидыш вблизи церкви святого Жана ле Рона в Париже. Его ранние и блестящие успехи облегчили его карьеру. В 1754г. он стал «непременным секретарем» Французской академии и в качестве такового наиболее влиятельным ученым Франции. В 1743г. появился его «Трактат по динамике» (Traite de la dynamique), который содержит метод сведения динамики твердых тел
') В ходу не раз приводимая история о Дидро и Эйлере, согласно которой Эйлер во время публичной дискуссии в Петербурге ошеломил вольнодумца Дидро утверждением, что он обладает алгебраическим доказательством существования бога: «Сударь, (a+bn)/n= х, следовательно, бог существует: отвечайте же!» Это хороший пример плохого исторического анекдота, так как значение анекдота относительно исторической личности зависит от того, насколько он характеризует определенные черты ее характера, а этот анекдот может послужить лишь к тому, чтобы исказить как характер Дидро, так и характер Эйлера. Дидро знал математику своего времени, он писал об инволютах и теории вероятностей, и нет оснований думать, что рассудительный Эйлер мог вести себя столь нелепым образом. Весь этот рассказ, повидимому, придуман английским математиком де Морганом (1806—1873). См. Кгаkeur L. G., Krueger В. L. / Isis.—1940.—V. 31.—P. 431—432 и 1941. — V. 31.— P. 219—231.
Верно то, что в восемнадцатом столетии иной раз говорили о возможности алгебраического доказательства существования бога; Мопертюи увлекался этой идеей, см. «Диатрибу...» Вольтера; см. также Brown В. / Amer. Math. Monthly.— 1944.— V. 49.
к
Жан ле Рон Даламбер (1717—1783)
статике, известный как «принцип Даламбера». Он продолжал писать по многим прикладным вопросам, в частности по гидродинамике, аэродинамике и задаче трех тел. В 1747г. он опубликовал теорию колебания струн, что делает его, вместе с Даниилом Бернулли, основателем теории уравнений в частных производных. Тогда как Даламбер и Эйлер нашли решение уравнения z"tt = k2z"xx в виде z = f(x+ kt)+f(x –kt), Бернулли решил это уравнение при помощи тригонометрических рядов. Возникли серьезные сомнения относительно характера этого решения: Даламбер считал, что начальная форма струны может быть задана только одним единственным аналитическим выражением, в то время как Эйлер полагал, что допустима любая непрерывная кривая. Бернулли утверждал, вопреки Эйлеру, что его решение в виде ряда является вполне общим. Полного разъяснения этого вопроса пришлось ждать до 1824 г., когда Фурье устранил сомнения относительно законности представления «любой» функции тригонометрическим рядом. Даламберу не составляло труда писать по многим вопросам, включая даже вопросы обоснования математики. Мы упоминали о том, что он ввел понятие предела. «Основную теорему алгебры» иной раз называют теоремой Даламбера, так как он пытался ее доказать (1746 г.), а «парадокс Даламбера» в теории вероятностей показывает, что он, хотя и не очень успешно, размышлял об основах этой теории.Теория вероятностей быстро развивалась в течение этого периода главным образом благодаря дальнейшей разработке идей Форма, Паскаля и Гюйгепса. За «Ars
conjectandi» последовали другие книги, среди них «Учение о случае» (The Doctrine of Chance, 1716г.), написанная Авраамом де Муавром, французским гугенотом, который поселился в Лондоне после отмены Нантского эдикта (1685 г.) и зарабатывал там на жизнь частными уроками. Имя де Муавра связано с тригонометрической теоремой, которая в ее современной форме (cos+ i•sin)n = cosn + i•sinn впервые появляется во «Введении» Эйлера. В 1733 г. Муавр вывел функцию нормального распределения как аппроксимацию биномиального закона и 'дал формулу, равносильную формуле Стирлинга. Джеймс Стирлинг, английский математик школы Ньютона, опубликовал свой ряд в 1730 г.
Многочисленные лотереи и страховые компании, которые организовались в течение этого периода, вызвали у многих математиков, включая Эйлера, интерес к теории вероятностей. Это повело к попыткам применить учение о вероятностях в новых областях. Бюффон, известный как автор «Естественной истории» (36 увлекательно написанных томов) и знаменитого рассуждения о стило (1753 г.; «стиль — это человек»), в 1777 г. дал первый пример геометрической вероятности. Это была так называемая задача об игле, которая занимала многих, так как она давала возможность экспериментально определить число , бросая иголку на плоскость, покрытую параллельными и равноудаленными прямыми, и подсчитывая число пересечений иголки с этими прямыми.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
