Если алгебраические формы эквивалентны, когда символы имеют общий вид, но могут принимать лишь частные [положительные целые] значения, то они эквивалентны и в том случае, когда символы не только имеют общий вид, но и могут принимать общие значения.
Свой принцип Пикок использовал, в частности, для обоснования операций над комплексными числами. Во избежание возможных нападок Пикок и сделал осторожную оговорку «…когда символы имеют общий вид». Тем самым его принцип не охватывал только числа 0 и 1, поскольку эти числа обладают необщими, специфическими свойствами.
Во втором издании своего «Трактата по алгебре» (1842-1845), (1-е изд. — 1830) Пикок вывелпредложенный им принцип из аксиом. Он в явном виде сформулировал, что алгебра, подобно геометрии, является дедуктивной наукой. Следовательно, алгебраические методы должны основываться на полном наборе явно сформулированных законов, или аксиом, которым подчиняются операции, используемые в алгебраических процедурах. Символы операций не имеют (по крайней мере в алгебре как дедуктивной науке) иного смысла, кроме того, который придают им аксиомы. Так, сложение означает не более чем любой процесс, сопоставляющий двум элементам третий (который мы уславливаемся называть суммой первых двух элементов) и удовлетворяющий законам сложения. К числу законов, о которых говорит Пикок, относятся, например, коммутативный и ассоциативный законы для сложения и умножения или закон, состоящий в том, что если ac = bcи c ≠ 0, то а = b.Таким образом, принцип перманентности форм был обоснован принятием определенной системы аксиом.
Точка зрения на алгебру, утвержденная Пикоком, просуществовала на протяжении большей части XIX в. С небольшими видоизменениями она была принята Дунканом Ф. Грегори (1813-1844), Огастесом де Морганом и немецким математиком Германом Ганкелем (1839-1873).
По существу принцип перманентности форм был произвольным. Естественно, напрашивался вопрос: почему числа различных типов обладают теми же свойствами, что и целые числа? Принцип перманентности форм был санкционирован декретом как эмпирически правильный, но логически не обоснованный. Пикок, Грегори и де Морган, по-видимому, полагали, что алгебре можно придать смысл независимо от свойств вещественных и комплексных чисел. Вряд ли нужно говорить, что если какое-либо правило правой (или левой) руки назвать принципом, то его логическое обоснование от этого не улучшится. Но, как заметил епископ Беркли, «древние и глубоко укоренившиеся предрассудки нередко переходят в принципы, и не только сами утверждения, которые обретают силу и репутацию принципа,но и выводимые из них следствия принято считать во всех отношениях выделенными».
Принцип перманентности форм подходит к алгебре как к науке о символах и правилах комбинирования символов. Такому подходу недоставало ни ясности, ни гибкости. Сторонники принципа настаивали на столь жестком параллелизме арифметики и алгебры, что, осуществись он, общности алгебры был бы нанесен серьезный ущерб. По-видимому, этим математикам никогда не приходило в голову, что формула, истинная при одной интерпретации символов, может быть ложной при другой интерпретации тех же символов. Создание кватернионов подорвало самые основы принципа перманентности, потому что умножение кватернионов, ставших первым примером так называемых гиперкомплексных чисел,не обладало коммутативным свойством (гл. IV). А это означало, что буквенные символы, принимающие кватернионные значения, не обладают всеми свойствами вещественных и комплексных чисел: математики обнаружили «гиперчисла», свойства которых разнятся от свойств известных им ранее чисел. Тем самым принцип перманентности был низложен. Пикок и его последователи не учли, что вскоре (после открытия кватернионов) стало очевидным: существует не одна-единственная алгебра, а много разных алгебр и алгебру вещественных и комплексных чисел можно обосновать, лишь доказав, что буквенные символы, принимающие вещественные или комплексные значения, обладают всеми свойствами, которые приписываются этим буквенным символам.
В начале XIX в. «логический туман» окутывал не только алгебру, но и анализ. Предложенное Лагранжем обоснование математического анализа (гл. VI) удовлетворяло не всех математиков, и некоторые из них вновь встали на позицию Беркли и других критиков, считавших, что благополучие в этой области обеспечивается лишь за счет того, что ошибки взаимно компенсируются. Такого же мнения придерживался и Лазар Карно в своих «Размышлениях о метафизике исчисления бесконечно малых»: его метафизика «объясняла», что одни ошибки компенсируют другие. После длительного обсуждения различных подходов к математическому анализу Карно приходит к выводу, что, хотя все эти методы, равно как и введенное Д'Аламбером понятие предела, в действительности эквивалентны греческому методу исчерпывания, бесконечно малые позволяют быстрее получать результат. Карно внес свою лепту в разъяснение и уточнение понятий анализа, но вклад его не был особенно велик. Кроме того, сопоставляя идеи Ньютона, Лейбница и Д'Аламбера с греческим методом исчерпывания, он сделал явно рискованный шаг: ведь в греческой геометрии и алгебре не существовало общего понятия производной.
Грубые ошибки в области математического анализа были, увы, нередки у математиков XIX в. Можно было бы привести немало примеров этого, но мы ограничимся одной-двумя иллюстрациями. В основе всего математического анализа лежат понятия непрерывной функциии производнойот функции. Чисто интуитивно, непрерывная функция — это такая кривая, которую можно начертить одним росчерком пера, не отрывая его от бумаги (рис. 7.1). Геометрический смысл производной к такой функции — тангенс угла наклона касательной, проведенной к кривой в точке P.Казалось бы, очевидно, что непрерывная функция должна иметь касательную в каждойточке. Однако некоторые математики XIX в. сумели подняться над интуитивными представлениями и вознамерились доказать все, что возможно, чисто логическим путем.
Рис. 7.1.График непрерывной функции.
К сожалению, непрерывная функция с точками излома не имеет в них производной (функция, изображенная на рис. 7.2, не имеет производной в точках излома A, Bи C).
Рис. 7.2.Непрерывная, но не дифференцируемая (в точках A, Bи C) функция.
Тем не менее Андре Мари Ампер (1775-1836) «доказал» в 1806 г., что любая функция имеет производную во всех точках, где она непрерывна. Другие или аналогичные «доказательства» этого были приведены Лакруа в его знаменитом трехтомном «Трактате по дифференциальному и интегральному исчислению» (2-е изд. — 1810-1819) и почти во всех основных учебниках математического анализа XIX в. Жозеф Луи Франсуа Бертран (1822-1900) «доказал» в 1875 г. дифференцируемость непрерывной функции! Разумеется, все эти «доказательства» были ошибочными. Заблуждение некоторых авторов «доказательств» дифференцируемости было вполне простительным, если учесть, что в течение долгого времени не было точно определено само понятие функции, но примерно к 30-м годам прошлого века этот пробел был наконец восполнен. {82}
Если вспомнить, что непрерывность и дифференцируемость два основных понятия математического анализа и что основной областью математики с середины XVII в. и, пожалуй, вплоть до настоящего времени являлся именно математический анализ, то нельзя не ужаснуться неясности и неопределенности этих фундаментальных понятий. Ошибки в рассуждениях и даже ошибочные заключения в вопросах, связанных с непрерывностью и дифференцируемостью, зачастую были столь значительны, что сегодня они считались бы непростительными даже для студентов младших курсов, — а ведь их совершали знаменитейшие математики: Фурье, Коши, Галуа, Лежандр, Гаусс, а также другие ведущие математики того времени, хотя и более низкого ранга.
