Математика. Утрата определенности. - Морис Клайн

57

В наши дни термин «гиперкомплексные числа» все более вытесняется (странным) термином алгебра: под этим словом понимают как целую ветвь математики, так и, в более узком смысле, совокупность гиперкомплексных чисел определенного рода.

58

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

59

Математический вариант теории электромагнитного поля был создан Дж.К. Максвеллом, который, по выражению Р. Милликена, «облек плебейски обнаженные представления Фарадея в аристократические одежды математики». [Создатель описательной теории электромагнетизма, самоучка М. Фарадей, весьма далекий от математики, был, кстати сказать, одним из немногих физиков, кто сразу же высоко оценил первые публикации Максвелла.]

60

Платон делил Вселенную на «мир видимый», куда относится все реально существующее и «мир умопостижимый», но не видимый и не осязаемый, к которому он относил, в частности, математику и искусство [см., например, «Государство» Платона ([7], с. 317 и далее)].

61

Как мы уже отмечали, Евклид, следуя математическим установкам Аристотеля, пытался обойтись в геометрии без всякого использования движений (что ему, кстати сказать, полностью так и не удалось).

62

Любое нечетное число представимо в виде 2n + 1, где n — некоторое целое число. Квадрат нечетного числа (2n + 1)2 = 4n2 + 4n + 1 = 2(2n2 + 2n) + 1 — нечетное число.

63

Своеобразным отражением этого является, в частности, тот факт, что в «Началах» так называемый алгоритм Евклида в одинаковых выражениях описывается два раза: один раз — для чисел и второй раз — для отрезков.

64

Возможно, эту формулу знал еще Архимед. — Ред.

65

За единицу площади здесь принимается квадрат со стороной, равной единице длины. — Ред.

66

Формулы для решения в целых числах «пифагорова уравнения» x2 + y2 = z2 обычно приписываются Платону, но реально они, безусловно, были известны ранее, скажем в школе пифагорейцев. Выдающийся знаток вавилонской математики, ученик Д. Гильберта Отто Нейгебауэр (р. 1899) предположил даже, что эти формулы (разумеется, без строго логического их обоснования) были известны еще в древнем Вавилоне, ибо иначе становится совершенно загадочной обнаруженная Нейгебауэром древневавилонская клинописная глиняная табличка, содержащая список ряда первых решений этого уравнения.

67

Диофантовым анализом (см. по этому поводу: Башмакова и Славутин [34]) обычно называют теорию решений неопределенных уравнений (т.е. уравнений, содержащих более одного переменного) в целых числах, тогда как Диофанта интересовала родственная проблема отыскания рациональных решений подобных уравнений.

68

Почти одновременно с шотландцем Джоном Непером и независимо от него к идее логарифмов пришел швейцарский часовщик Иобст Бюрги (1552-1632).

69

Теория Евдокса — Евклида содержала почти безупречное определение иррациональных чисел (которым придавалось обличие отношений отрезков) и условий их равенства — но, разумеется, проблемы логического обоснования действий над иррациональными числами здесь не были доведены до того уровня, который приобрели они в математике 2-й половины XIX в.

70

Любопытно, что открытая Декартом и по сей день сохранившая его имя кривая, описываемая уравнением x3 + y3 − 3xy = 0, ныне рисуется вовсе не так, как это делал Декарт, считавший, что x и y должны быть только положительными; при этом мы по-прежнему называем эту кривую «декартов лист», хотя, если не ограничиваться одними лишь положительными значениями абсциссы и ординаты, рассматриваемая кривая утрачивает форму листа, какую она имела на чертежах Декарта.

71

В этой связи уместно вспомнить строки из У.Г. Одена:

Минус на минус — всегда только плюс.Отчего так бывает, сказать не берусь.

72

Так называемая формула Кардано для корня (точнее, для трех корней) кубического уравнения x3 + px + q = 0 (найдена она была несколько раньше, но опубликована впервые в «Великом искусстве» Кардано, который, впрочем, и не претендовал здесь на приоритет) имеет вид:

при этом если все три корня уравнения являются вещественными (неприводимый случай решения рассматриваемого уравнения), то (q/2)2 + (p/3)3 < 0 — и правильный ответ можно получить из этой формулы лишь при умении извлекать кубические корни из комплексных чисел (как это сделать, впервые объяснил Р. Бомбелли).

73

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

74

Эйлер использует здесь так называемую тригонометрическую, или полярную, форму комплексного числа; здесь ρ = √(x2 + y2), φ — угол, образуемый с положительным направлением оси x отрезком, проведенным из начала координат в точку x + iy (при y = 0, угол φ также равен 0). При этом x + iy = ρ(cos φ + ί sin φ) = ρeiφ.

75

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

76

Недворянин Жиль Персон называл себя «де Роберваль» по названию деревни, из которой он был родом, и вошел в историю науки именно под последним именем.

77

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

78

Обзор этих работ см. в кн.: Cajori F. A History of the Conceptions of Limits and Fluxions in Great Britain from Newton to Woodhouse. — Chicago: The Open Court Publishing Co., 1915. См. кроме того: Boyer С. The Concepts of the Calculus. — N.Y.: Columbia University Press, 1939, а также (переиздание): Dover Publications, 1949. [Из более поздних работ можно указать, например, брошюру [40] и более обстоятельные книги [41], [42], [43] и особенно [44] — Прим. ред.]

79

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

80

Деятельность молодых кембриджских математиков (Пикок — Бэббедж — Гершель) имела еще один аспект, не связанный с проблемами обоснования математики, но чрезвычайно важный в тот период для английской науки. Дело в том, что крайне неприятные приоритетные споры об открытии математического анализа, развернувшиеся в XVII в. между Ньютоном и Лейбницем, формально окончилась  как будто бы полной победой Ньютона, не потерпевшего в результате их ни малейшего материального или морального ущерба, тогда как Лейбниц из-за этих споров умер буквально в нищете. Однако исторически победителем здесь оказался именно Лейбниц, а научным наследникам Ньютона эти беспредметные дискуссии о первенстве принесли вполне ощутимый вред. Вся континентальная Европа восприняла дифференциальное и интегральное исчисление в том обличье, которое ему придал Лейбниц — с более удобной лейбницевской символикой и терминологией (производная и интеграл, а не флюксия и флюэнта; исчисление дифференциалов, а не моментов). Существенную роль здесь сыграла отмеченная в книге темпераментная защита Лейбницем своих позиций, а также выдающаяся научная школа Лейбница, возглавляемая братьями Якобом и Иоганном Бернулли. Напротив, в Англии из-за приоритетных соображений на систему обозначений и терминов Лейбница был буквально наложен запрет, что лишало возможности молодых английских ученых следить за достижениями своих континентальных коллег и привело к резкому отставанию английской науки. Даже возрождение английской математики в середине XIX столетия (!), предвестником которого явились названные молодые кембриджцы, было первоначально встречено на континенте с большим недоверием. И деятельность Пикока и его друзей, в частности перевод ими на английский язык «лейбницианского» по форме учебника Лакруа, ставила своей целью приблизить английскую математику к континентальной.