Общим принципом научного метода является то, что если эффекты малы по сравнению с нашими средствами наблюдения, все совместные эффекты будут более высокого порядка малости и поэтому могут быть отброшены в первом приближении. Этот принцип был использован Даниилом Бернулли в теории звука под названием «Принцип сосуществования малых вибраций». Он показал, что если на струну воздействуют два вида вибраций, мы можем рассматривать каждую как происходящую так, как если бы другой не существовало. Мы не можем заметить, что звучание одного музыкального инструмента предотвращает или даже изменяет звук другого, так что все звуки, по-видимому, распространяются через воздух и воздействуют на ухо независимо друг от друга. Аналогичное допущение делается в теории приливов, которые являются большими волнами. Одна волна создается притяжением Луны, а другая — притяжением Солнца, и возникает вопрос, будет ли при совпадении этих волн, как во время сизигийных приливов, совместная волна просто суммой отдельных волн. Согласно принципу Бернулли, это будет так, потому что приливы в океане очень малы по сравнению с глубиной океана.
Принцип Бернулли, однако, является лишь приближенно верным. Волна никогда не остается в точности той же самой, когда другая волна интерферирует с ней, но чем меньше смещение частиц, обусловленное каждой волной, тем в еще большей степени уменьшается воздействие одной волны на другую. В последние годы Гельмгольц пришел к подозрению, что некоторые звуковые явления могут, в конечном счете, быть обусловлены результирующими эффектами, упущенными из виду в предположениях предыдущих физиков. Он исследовал вторичные волны, которые возникали бы вследствие интерференции значительных возмущений, и смог показать, что должны быть слышны определенные комбинационные или результирующие тона, а эксперименты, впоследствии разработанные для этой цели, показали, что их действительно можно услышать.
Во всех механических науках Принцип суперпозиции малых движений имеет фундаментальное значение, и его можно объяснить следующим образом. Предположим, что две силы, действующие из точек B и C, одновременно перемещают тело A. Пусть сила, действующая из B, такова, что за одну секунду она переместила бы A в точку p, и аналогично пусть вторая сила, действуя в одиночку, переместит A в точку r. Возникает вопрос, будет ли их совместное действие направлять A в точку q вдоль диагонали параллелограмма. Можем ли мы сказать, что A переместится на расстояние Ap в направлении AB и на Ar в направлении AC, или, что то же самое, вдоль параллельной линии pq? Строго говоря, мы не можем так сказать; ибо когда A переместилось к p, сила из C больше не будет действовать вдоль линии AC, и аналогично движение A к r изменит действие силы из B. Это вмешательство одной силы в линию действия другой будет, очевидно, тем больше, чем значительнее рассматриваемая величина движения; с другой стороны, по мере того как мы уменьшаем параллелограмм Apqr по сравнению с расстояниями AB и AC, вмешательство сил будет уменьшаться. Соответственно, математики избегают всякой ошибки, рассматривая движения как бесконечно малые, так что вмешательство становится бесконечно малым еще более высокого порядка и им можно полностью пренебречь. Благодаря ресурсам дифференциального исчисления можно вычислить движение частицы A, как если бы она проходила через бесконечное число бесконечно малых диагоналей параллелограммов. Великие открытия Ньютона на самом деле возникли из применения этого метода вычислений к движениям Луны вокруг Земли, которая, постоянно стремясь двигаться вперед по прямой линии, также отклоняется к Земле под действием гравитации и движется по эллиптической кривой, состоящей, так сказать, из бесконечно малых диагоналей бесконечно многочисленных параллелограммов. Математик при исследовании кривой всегда рассматривает ее как состоящую из большого числа прямых линий, и можно усомниться, мог ли бы он рассматривать ее каким-либо иным образом. В конечных результатах нет ошибки, поскольку после получения формул, вытекающих из этого допущения, каждая прямая линия затем рассматривается как становящаяся бесконечно малой, и ломаная линия становится неотличимой от идеальной кривой.
В абстрактных математических теоремах приближение к абсолютной истине совершенно, поскольку мы можем оперировать бесконечно малыми величинами. В физической науке, напротив, мы имеем дело с наименьшими величинами, которые поддаются восприятию. Тем не менее, тщательно различая эти два разных случая, мы можем без опасений применять к обоим принцип суперпозиции малых эффектов. В физической науке нам нужно лишь позаботиться о том, чтобы эффекты были действительно настолько малы, чтобы любой совместный эффект был, несомненно, незаметен. Предположим, например, что существует некая причина, которая изменяет размеры тела в отношении 1 к 1 + α, и другая причина, которая вызывает изменение в отношении 1 к 1 + β. Если они обе действуют одновременно, изменение будет в отношении 1 к (1 + α)(1 + β), или как 1 к 1 + α + β + αβ. Но если α и β — обе очень малые доли от общих размеров, то αβ будет еще гораздо меньше и им можно пренебречь; отношение изменения тогда приблизительно равно 1 к 1 + α + β, или совместный эффект есть сумма отдельных эффектов. Таким образом, если бы тело подвергалось трем деформациям, направленным под прямым углом друг к другу, общее изменение объема тела было бы приблизительно равно сумме изменений, вызванных отдельными деформациями, при условии, что они очень малы. Точно так же не только расширение каждого твердого и жидкого вещества при нагревании приблизительно пропорционально изменению температуры, когда это изменение очень мало по величине, но и кубическое расширение также может рассматриваться как в три раза большее, чем линейное расширение. Ибо если повышение температуры расширяет стержень металла в отношении 1 к 1 + α, и расширение одинаково во всех направлениях, то куб из того же металла расширился бы как 1 к (1 + α)³, или как 1 к 1 + 3α + 3α² + α³. Когда α — очень малая величина, третий член 3α² будет незаметен, а тем более четвертый член α³. Коэффициенты расширения твердых тел на самом деле настолько малы и настолько неточно определены, что физики редко принимают во внимание их вторые и более высокие степени.
Результатом этих принципов является то, что все малые ошибки можно считать изменяющимися в простой пропорции к их причинам — это новая причина, почему при устранении ошибок мы должны прежде всего сделать их как можно меньшими. Предположим, что существует прямоугольный треугольник, у которого два катета, образующие прямой угол, имеют длины 3 и 4, так что гипотенуза равна √3² + 4² или 5. Теперь, если при двух измерениях первого катета мы совершим небольшие ошибки, сделав его последовательно 4,001 и 4,002, то расчет даст длины гипотенузы почти в точности 5,0008 и 5,0016, так что ошибка в гипотенузе будет казаться изменяющейся в простой пропорции к ошибке катета, хотя на самом деле это происходит не с идеальной точностью. Логарифм числа не изменяется пропорционально этому числу — тем не менее, мы обнаруживаем, что разность между логарифмами чисел 100000 и 100001 почти в точности равна разности между числами 100001 и 100002. Таким образом, общим правилом является то, что очень малые разности между последовательными значениями функции приблизительно пропорциональны малым разностям переменной величины.
На основе этих принципов легко составить ряд правил, подобных тем, что приведены у Кольрауша для выполнения вычислений в сокращенной форме, когда переменная величина очень мала по сравнению с единицей. Так, вместо 1 ÷ (1 + α) мы можем подставить 1 – α; вместо 1 ÷ (1 – α) мы можем поставить 1 + α; 1 ÷ √1 + α становится 1 – 1/2α и так далее.
Четыре значения равенства.
Хотя может показаться, что существует мало терминов, более свободных от двусмысленности, чем термин «равный», ученые все же используют его как минимум в четырех значениях, которые желательно различать. Эти значения я могу описать как
(1) Absolute Equality.
(2) Sub-equality.
(3) Apparent Equality.
(4) Probable Equality.
Под абсолютным равенством мы подразумеваем то, что является полным и совершенным в высшей степени; но очевидно, что мы можем знать о таком равенстве только теоретическим или гипотетическим образом. Площади двух треугольников, стоящих на одном основании и между одними и теми же параллелями, абсолютно равны. Гиппократ прекрасно доказал, что площадь луночки, или фигуры, заключенной между двумя сегментами кругов, абсолютно равна площади определенного прямоугольного треугольника. Как общее правило, все геометрические и другие элементарные математические теоремы включают абсолютное равенство.
Де Морган предложил описывать как субравные те величины, которые равны с точностью до бесконечно малой величины, так что x является субравным x + dx. Можно сказать, что дифференциальное исчисление возникает из пренебрежения бесконечно малыми величинами, и в математической науке, возможно, придется проводить другие тонкие различия между видами равенства, как показал Де Морган в примечательном мемуаре «О бесконечности и о знаке равенства».
Кажущееся равенство — это то, с чем имеет дело физическая наука. Те величины являются кажущимися равными, которые различаются лишь на незаметную величину. Для плотника все, что меньше сотой доли дюйма, не существует; мало найдется искусств или мастеров, для которых стотысячная доля дюйма имеет какое-либо значение. Поскольку всякое совпадение между физическими величинами оценивается тем или иным чувством, мы должны ограничиться знанием кажущегося равенства.
В действительности даже кажущегося равенства приходится ожидать редко. Чаще эксперименты дают лишь вероятное равенство, то есть результаты будут настолько близки друг к другу, что разницу можно приписать неважным возмущающим причинам. Физики часто принимают величины за равные при условии, что они попадают в пределы вероятной ошибки используемых процессов. Мы не можем ожидать, что наблюдения будут согласованы с теорией более тесно, чем они согласуются друг с другом, как заметил Ньютон в своих исследованиях относительно кометы Галлея.
Арифметика приближенных величин.
Учитывая, что почти все величины, с которыми мы имеем дело в физических и социальных науках, являются лишь приближенными, представляется желательным, чтобы при обучении арифметике уделялось внимание правильной интерпретации и обработке приближенных числовых данных. Нам, по-видимому, нужна нотация для выражения приближенности или точности десятичных чисел. Дробь 0,025 может означать либо в точности одну сороковую часть, либо она может означать что угодно между 0,0245 и 0,0255. Я предлагаю, чтобы, когда десятичная дробь дана полностью и точно, добавлялся маленький ноль или кружок, чтобы указать, что больше ничего не следует, как в 0,025°. Когда первая из отбрасываемых цифр десятичной дроби равна 5 или более, первая сохраняемая цифра должна быть увеличена на единицу, согласно правилу, одобренному Де Морганом и ныне общепризнанному. Чтобы указать, что таким образом сохраненная дробь больше истинного значения, в некоторых таблицах логарифмов над последней цифрой ставилась точка; но аналогичная точка используется для обозначения периода повторяющейся десятичной дроби, и поэтому я предложил бы использовать двоеточие после цифры; таким образом, 0,025: означало бы, что истинная величина лежит между 0,0245° и 0,025°, включая нижний, но не включая верхний предел. Когда дробь меньше истинного значения, можно было бы поставить две точки горизонтально, как в 0,025.., что означало бы любое значение между 0,025° и 0,0255°, не включая последнее.
Когда приближенные числа складываются, вычитаются, умножаются или делятся, определение степени точности результата становится делом некоторой сложности. Мало найдется людей, которые могли бы с ходу утверждать, что сумма приближенных чисел 34,70, 52,693, 80,1 равна 167,5 с погрешностью менее 0,07. Г-н Сандеман весьма обстоятельно проследил правила приближенной арифметики, и его указания заслуживают внимательного изучения. Третья часть превосходной книги Зонненшайна и Несбитта по арифметике полностью описывает все виды приближенных вычислений и показывает как то, как избежать ненужного труда, так и то, как должным образом учитывать неточность при операциях с приближенными десятичными дробями. Простое исследование этого предмета можно найти в «Элементарной алгебре» Сонне (Париж, 1848 г.), глава XIV, «Об абсолютных и относительных приближениях». Существует также американская работа по этому предмету.
Хотя точность измерений значительно продвинулась со времен Лесли, не будет лишним повторить его протест против недобросовестности, заключающейся в демонстрации десятичных дробей для придания большей степени точности, чем того требует и допускает природа случая. Я знал ученого, который регистрировал показания барометра с точностью до секунды времени, когда ближайшей четверти часа было бы вполне достаточно. Химики часто публикуют результаты анализа с точностью до десятитысячной или даже миллионной доли целого, когда по всей вероятности на используемые процессы нельзя положиться с точностью более чем до сотой доли. Редко бывает желательно приводить более одного знака сомнительной величины; но следует признать, что тонкое восприятие степени точности, возможной и желательной, необходимо для того, чтобы избежать недопонимания и ненужных вычислений, с одной стороны, и обеспечить всю достижимую точность, с другой стороны.
ГЛАВА XXII. КОЛИЧЕСТВЕННАЯ ИНДУКЦИЯ.
Мы еще не рассматривали формально никакие процессы рассуждения, целью которых является раскрытие законов природы, выраженных в количественных уравнениях. Мы исследовали способы, которыми явление может быть измерено и, если это сложное явление, может быть разложено с помощью нескольких измерений на свои составные части. Мы также рассмотрели меры предосторожности, которые необходимо принимать при проведении наблюдений и экспериментов, чтобы мы знали, какие именно явления мы измеряем, но мы должны помнить, что никакое количество фактов и наблюдений само по себе не может составить науку. Числовые факты, как и другие факты, являются лишь сырым материалом знания, на который должны быть направлены наши способности рассуждения, чтобы извлечь из них принципы природы. Только с помощью обратного процесса рассуждения мы можем обнаружить математические законы, которым подчиняются изменяющиеся величины. С помощью хорошо проведенных экспериментов мы получаем ряд значений переменной и соответствующий ряд значений варианта, и теперь мы хотим знать, какой математической функцией является вариант по отношению к переменной. В обычном ходе развития науки на каждый важный количественный феномен должны быть даны ответы на три вопроса:
(1) Существует ли какая-либо постоянная связь между переменной и вариантом?
(2) Какова эмпирическая формула, выражающая эту связь?
(3) Какова рациональная формула, выражающая соответствующий закон природы?
Вероятная связь изменяющихся величин.
Мы находим у Милля утверждение, что «всякое явление, которое изменяется каким-либо образом всякий раз, когда другое явление изменяется каким-то определенным образом, является либо причиной, либо следствием этого явления, либо связано с ним через какой-то факт причинности». Это утверждение можно считать верным, если его интерпретировать с достаточной осторожностью; но в противном случае оно может привести нас к ошибке. В природе вещей нет абсолютно ничего, что препятствовало бы существованию двух изменений, которые, по-видимому, следуют одному и тому же закону, и при этом не имеют никакой связи друг с другом. Одна двойная звезда могла бы совершать обращение, которое, насколько мы могли бы судить, имело бы равный период с периодом другой двойной звезды, и согласно вышеуказанному правилу движение одной было бы причиной движения другой, что в действительности не было бы так. Две астрономические часы могли бы, теоретически, быть сделаны настолько близкими к совершенству, что в течение нескольких лет нельзя было бы обнаружить никакой разницы, и мы могли бы тогда сделать вывод, что движение одних часов является причиной или следствием движения других. Этот вопрос требует тщательного разграничения. Мы должны помнить, что непрерывные величины пространства, времени, силы и т. д., которые мы измеряем, состоят из бесконечного числа бесконечно малых единиц. Мы можем тогда столкнуться с двумя переменными явлениями, которые следуют законам, настолько близким, что ни в одной части изменений, доступных нашему наблюдению, нельзя обнаружить никакого расхождения. Я допускаю, что если бы можно было показать, что двое часов шли в точности одинаково в течение любого конечного интервала времени, вероятность того, что существует связь между их движениями, стала бы бесконечно высокой. Но мы никогда не сможем абсолютно доказать существование таких совпадений. Допустим, мы можем наблюдать разницу в одну десятую секунды в их времени, однако возможно, что они были независимо отрегулированы так, чтобы идти вместе с разницей менее этой величины времени. Короче говоря, потребовалось бы либо бесконечно долгое время наблюдения, либо бесконечно острые способности измерения расхождения, чтобы положительно решить, находятся ли двое часов в отношении друг с другом или нет.
Похожий вопрос фактически возникает в случае движения Луны. У нас нет записей о том, что какая-либо другая часть Луны когда-либо была видна людям, кроме той, которую мы видим сейчас. Этот факт достаточно доказывает, что в исторический период вращение Луны вокруг своей оси совпадало с ее обращением вокруг Земли. Доказывает ли это совпадение существование отношения причины и следствия? Ответ должен быть отрицательным, потому что могло существовать настолько незначительное расхождение между движениями, что еще не было времени для возникновения какого-либо заметного эффекта. Тем не менее, может существовать высокая вероятность связи.
Весь вопрос об отношении величин, таким образом, сводится к вопросу вероятности. Когда мы можем лишь грубо измерить количественный результат, мы можем придать лишь незначительное значение любому соответствию. Поскольку яркость двух звезд, по-видимому, изменяется одинаковым образом, нет значительной вероятности того, что они имеют какую-либо связь друг с другом. Если бы можно было показать, что их периоды изменения одинаковы с точностью до бесконечно малых величин, было бы достоверно, то есть бесконечно вероятно, что они связаны, как бы маловероятно это ни казалось по другим причинам. Общий способ оценки таких вероятностей идентичен тому, который применяется к другим индуктивным проблемам. То, что любые два периода изменения могли бы случайно стать абсолютно равными, бесконечно невероятно; следовательно, если бы в случае Луны или других движущихся тел мы могли доказать абсолютное совпадение, мы имели бы уверенность в связи. При приближенных измерениях, которые одни только и находятся в нашей власти, мы должны надеяться в лучшем случае на приближенную уверенность.