Математика. Утрата определенности.
Шрифт:
Шаг в правильном направлении сделал Виет. Со времен Древнего Египта и Вавилона и вплоть до появления работы Виета математики решали уравнения первой степени, квадратные, кубические и уравнения четвертой степени, ограничиваясь всякий раз лишь какими-либо конкретными числовыми значениями коэффициентов. При подобном подходе уравнения 3x 2+ 5x + 6 = 0и 4x 2+ 7x + 8 = 0считались различными, хотя было ясно, что оба уравнения решаются одним и тем же методом. Кроме того, ученые стремились избежать отрицательных чисел; поэтому такое, например, уравнение, как x 2– 7x + 8 = 0, принято было записывать в виде x 2+ 8 = 7x.Возникало множество типов уравнений одной и той же степени, каждый из которых приходилось рассматривать в отдельности. Главный вклад Виета в развитие алгебры состоял в введении буквенных
По образованию и роду занятий Виет был юристом; математика же была для него «хобби», которому он посвящал свободное от работы время, печатая и рассылая свои работы за собственный счет. Отдельные математики использовали буквенные обозначения и до Виета, но делали это лишь от случая к случаю. Виет был первым, кто продуманно ввел буквенные обозначения и систематически их использовал. Основное новшество состояло в том, что буквами обозначались не только неизвестные или степени неизвестных, но, как правило, и коэффициенты уравнений. Такой подход позволял единообразно рассматривать все квадратные уравнения, записав их (в современных обозначениях) в виде ax 2 + bx + c = 0,где буквенные коэффициенты a, bи cмогут означать любые числа, а x—неизвестную величину (или неизвестные величины), значения которой требуется найти.
Виет назвал свою новую алгебру logistica speciosa(исчисление типов), противопоставляя ее тому, что он назвал logistica numerosa(исчисление чисел). Он хорошо понимал, что изучение квадратного уравнения общего вида ax 2 + bx + c = 0эквивалентно изучению всего класса квадратных уравнений. Проводя в своем сочинении «Введение в аналитическое искусство» ( In artem analyticam isagoge,1591) различие между logistica numerosaи logistica speciosa,Виет обозначил границу между арифметикой и алгеброй. По его словам, алгебра — это метод, позволяющий производить действия над типами или видами, т.е. logistica speciosa;арифметика же и теория решений уравнений с конкретными числовыми коэффициентами образуют logistica numerosa.Тем самым Виет возвел алгебру на более высокий уровень, превратив ее в науку об общих типах форм и уравнений: ведь результат, полученный в общем случае, охватывает бесконечно много частных случаев.
Основное достоинство предложенных Виетом буквенных обозначений для классов чисел состояло в том, что, доказав правильность метода решения уравнения ax 2 + bx + c = 0,математики могли с полным основанием применять тот же метод к решению бесконечно большого числа конкретных уравнений, например уравнения 3x 2 + 7x + 5 = 0.Можно сказать, что основной вклад Виета в развитие алгебры состоит в придании общности алгебраическим доказательствам. Но чтобы производить какие-то операции над a, bи c,где a, bи c— любые вещественные или комплексные числа, необходимо быть уверенным в применимости этих операций ко всем вещественным и комплексным числам. А поскольку не только операции не были логически обоснованы, но даже определения различных типов чисел были достаточно расплывчаты, обоснование операций, производимых над буквами a, bи cв общем виде, заведомо были недостижимой целью. Сам Виет отвергал отрицательные и комплексные числа; поэтому общность, которой он достиг в logistica speciosa,была довольно ограниченной.
Ход мысли Виета непостижим, если даже не иррационален. С одной стороны, Виет внес весьма существенный вклад, введя буквенные коэффициенты, и полностью сознавал важность этого шага, открывшего возможность получать общие доказательства. Вместе с тем Виет не признавал отрицательных чисел и отказывался придавать отрицательные значения буквенным коэффициентам — поистине и лучшие умы человечества могут страдать ограниченностью! Между тем правила действий над отрицательными числами существовали уже порядка 800 лет и всегда приводили к правильным результатам. Виет не мог игнорировать эти правила, которыми исчерпывалось почти все, чем располагала в его время алгебра. Но отрицательным числам недоставало наглядности и физического смысла, которыми обладали положительные числа. Лишь в 1657 г. Иоганн Худде (1633-1704) расширил область допустимых значений буквенных коэффициентов так, что она стала охватывать как отрицательные, так и положительные числа. Впоследствии его примеру последовало большинство математиков.
Во времена Виета (в конце XVI в.) алгебра была лишь скромным придатком геометрии. Алгебраисты занимались решением либо одного уравнения с одним неизвестным, либо решением двух уравнений с двумя неизвестными — задачи такого рода возникали в связи с практическими проблемами геометрии или торговли. Могущество алгебры оставалось скрытым вплоть до XVII в. Решающий шаг был сделан Рене Декартом и Пьером де Ферма, создавшими аналитическую геометрию (которую следовало бы называть алгебраической геометрией, если бы ныне этот термин не приобрел совсем другого смысла {75} ). Основная идея новой науки состояла в том, что если на плоскости задать систему координат, то каждой кривой можно сопоставить ее уравнение. Например, уравнение х 2+ y 2= 25соответствует окружности радиуса 5 с центром в начале координат. Использование уравнений позволяет доказывать всевозможные свойства кривой гораздо проще, чем чисто геометрические (или синтетические) методы античных математиков.
75
Впрочем, многие современные математики, скажем Жан Дьедонне (род. в 1906 г.), возражают и против традиционного употребления термина аналитическая геометрия,придавая ему смысл, логически вытекающий из современного понимания термина алгебраическая геометрия(алгебраическая и аналитическая геометрия по Дьедонне — это учение об алгебраических, соответственно аналитических многообразиях в многомерном пространстве); поэтому созданную Декартом и Ферма область математики следовало бы, пожалуй, называть координатной геометрией.
Но в 1637 г., когда Декарт опубликовал свою «Геометрию», ни он сам, ни Ферма в работе 1629 г. (опубликованной посмертно) не были подготовлены к тому, чтобы принять отрицательные числа. Им обоим была ясна идея алгебраического подхода к геометрии, но ни тот, ни другой еще не представляли, сколь широки возможности такого подхода. Отрицательные числа были введены в аналитическую геометрию потомками Декарта и Ферма, и она стала играть весьма важную роль в главных событиях, происходивших в математическом анализе и в геометрии.
Представление функций алгебраическими формулами было вторым новшеством, выдвинувшим алгебру на первый план. Как известно (гл. II), идею описания движений с помощью формул выдвинул Галилей. Так, тело, брошенное вверх со скоростью 30 м/с, через tс будет находиться над поверхностью Земли на высоте h,определяемой формулой h = 30t - 4,9t 2м. Из этой формулы с помощью чисто алгебраических средств можно извлечь неисчерпаемое количество сведений о движении: например, установить максимальную высоту подъема; время, необходимое для подъема на максимальную высоту; время, необходимое для падения с максимальной высоты на землю. Вскоре математики сознали могущество алгебры, которая занялагосподствующее положение в математике, оттеснив геометрию на второй план.
Безграничное применение алгебры вызвало множество протестов. Философ Томас Гоббс был в математике величиной далеко не первого порядка, тем не менее именно он выразил мнение многих математиков, выступив с протестом против «несметного полчища тех, кто применяет алгебру к геометрии». Гоббс утверждал, что алгебраисты ошибочно подменяют геометрию символами, и отозвался о книге Джона Валлиса по аналитической геометрии конических сечений как о «гнусной книге», покрытой «паршой символов». Против применения алгебры выступали многие видные математики, в том числе Блез Паскаль и Исаак Барроу; при этом они ссылались на то, что алгебра логически не обоснована, и по той же причине настаивали на чисто геометрических методах и доказательствах. Кое-кто из математиков полагал, будто отступление на позиции геометрии позволит логически обосновать алгебру (как мы уже отмечали, подобная позиция была ошибочной).
Но большинство математиков свободно применяли алгебру в чисто утилитарных целях. Ценность алгебры состояла в том, что она равно хорошо (как и геометрия) позволяла решать все те задачи, с которыми сталкивались математики, а превосходство алгебры даже при рассмотрении чисто геометрических проблем было столь очевидно, что математики бесстрашно погрузились в ее воды.
В отличие от Декарта, считавшего алгебру служанкой геометрии, Джон Валлис и Ньютон полностью сознавали силу алгебраических методов. И все же математики весьма неохотно отказались от геометрических подходов. По свидетельству Генри Пембертона, выпустившего третье издание ньютоновских «Начал», Ньютон не только постоянно выражал свое восхищение древнегреческой геометрией, но и сетовал на себя за то, что не следовал примеру античных математиков в большей мере. В письме к Дэвиду Грегори (1661-1708), племяннику Джеймса Грегори (1638-1675), Ньютон заметил: «Алгебра — это анализ для неумех в математике». Но в своей «Всеобщей арифметике» (1707) он приложил максимум усилий, чтобы убедительно показать превосходство алгебры. Арифметику и алгебру Ньютон излагал как основу математики, обращаясь к геометрии лишь в тех случаях, когда ему требовалось доказать то или иное утверждение. Тем не менее в целом «Всеобщая арифметика» была не более чем набором правил. Утверждения о числах или алгебраических методах лишь изредка подкреплялись доказательствами или интуитивными соображениями. По мнению Ньютона, буквы в алгебраических выражениях означают числа, а в достоверности арифметики никто не может усомниться.