Наука логики
Шрифт:
{297}
к другу, и потому для их обозначения употребляется не знак нуля, а другие знаки, — не может быть признано удовлетворительным. Он хочет это обосновать различием между арифметическим и геометрическим отношениями; в первом мы обращаем внимание на разность, во втором — на частное, и, хотя арифметическое отношение между любыми двумя нулями всегда одинаково, это не значит, что можно сказать то же самое о геометрическом отношении; если 2:1 = 0:0, то по свойству пропорции, так как первый член вдвое больше второго, третий член тоже должен быть вдвое больше четвертого; поэтому на основании этой пропорции отношение 0:0 должно быть взято, как отношение 2:1.— Также и по обычной арифметике?? 0 = 0; следовательно,?:? = о: 0. — Однако
Я воздерживаюсь от дальнейшего увеличения числа приведенных взглядов, так как рассмотренные уже достаточно показали, что в них, правда, скрыто содержится истинное понятие бесконечного, но что оно, однако, не выделено и не сформулировано во всей его определенности.
Поэтому, когда высказывающие эти взгляды переходят к (самому действию, то на нем не может сказатъся истинное определение понятия, а, напротив, возвращается снова конечная определенность количества, и действие не может обойтись без представления о лишь относительно малом.
Исчисление делает необходимым подвергать так называемые бесконечные величины обычным арифметическим действиям сложения и т. д., основанным на природе конечных величин, и тем самым хотя бы на мгновение признавать эти бесконечные величины конечными и трактовать их как таковые. Исчисление должно было бы обосновать правомерность того, что оно, с одной стороны, тянет эти величины вниз, вовлекает их в эту сферу и трактует их как приращения или разности, а с другой стороны, пренебрегает ими как определенными количествами после того, как оно только что применяло к ним формы и законы конечных величин.
{298}
Я приведу еще самое существенное о попытках геометров устранить эти затруднения.
Более старые аналитики «меньше затрудняли себя такими сомнениями; но старания более новых аналитиков были направлены преимущественно к тому, чтобы возвратить исчисление бесконечно «малых к очевидности собственно геометрического метода и с помощью этого метода достигнуть в» математике строгости доказательств древних (выражения Лагранжа). Однако, так как принцип анализа бесконечного по своей природе выше, чем принцип математики конечных величин, то анализ бесконечного сам собою сразу же должен был отказаться от того рода очевидности, подобно тому, как философия также не может притязать на ту отчетливость, которой обладают науки о чувственном, например, естественная история, или подобно тому, как еда и питье считаются более понятными вещами, чем мышление и постижение посредством понятия (Begreifen). Поэтому нам придется говорить лишь о стараниях достигнуть строгости доказательств древних.
Некоторые «математики пытались обойтись совершенно без понятия бесконечного и дать без него то, что казалось связанным с его употреблением. — Лагранж, например, рассказывает о методе, изобретенном Ланденом, и говорит о нем, что он является чисто аналитическим и не употребляет бесконечно «малых разностей, а сначала вводит различные значения переменных величин и в дальнейшем приравнивает их «между собою. Лагранж, впрочем, заявляет, что в этом методе утрачиваются свойственные диференциальному исчислению преимущества, а именно простота метода и легкость действия. — Это — прием, в котором есть нечто соответственно тому, из которого исходит Декартов метод касательных, о котором нам придется ниже еще говорить подробнее. Здесь можем заметить, что в общем виде сразу ясно, что этот прием, заключающийся в том, чтобы придавать переменным величинам различные значения и затем приравнивать их между собою, принадлежит вообще к другому кругу математической трактовки, чем сам метод диференциального исчисления, и им не выделяется подле- ВЕЛИЧИНА (КОЛИЧЕСТВО)
{299}
жащее далее более пристальному рассмотрению своеобразие того простого отношения, к которому сводится
Более ранние из новых «математиков, как например, Ферма, Барроу и др., которые впервые пользуются бесконечно малыми в том применении, которое позднее привело к разработке диференциального и интегрального исчисления, а затем также Лейбниц и последующие математики, равно как и Эйлер, всегда откровенно высказывались, что считают дозволительным отбрасывать произведения бесконечно малых разностей так же, как и их высшие степени только на том основании, что они относительно, по сравнению с низшими порядками, исчезают.
Исключительно на этом соображении покоится у них основная теорема, а именно, определение того, что такое диференциал произведения или степени, ибо к этому сводится все теоретическое учение. Остальное есть отчасти механизм действий, отчасти же приложение, которое, однако, как мы покажем далее, на самом деле представляет более высокий или, лучше сказать, единственный интерес. — Относительно же того вопроса, который мы рассматриваем теперь, следует здесь привести лишь то элементарное соображение, что на основании того же рассуждения о незначительности принимается как основная теорема о кривых, что элементы кривых, а именно приращения абсциссы и ординаты имеют между собою то же отношение, как подкасательная и ордината. С целью получить подобные треугольники дуга, составляющая наряду с двумя приращениями третью сторону того треугольника, который справедливо назывался когда-то характеристическим треугольником, рассматривается как прямая линия, как часть касательной, и потому одно из приращений — как доходящее до касательной. Эти допущения поднимают, с одной стороны, вышеуказанные определения выше природы конечных величин; но, с другой стороны, здесь применяется к моментам, называемым теперь бесконечными, такой прием, который
{300}
значим лишь относительно конечных величин и при котором мы не имеем права чем-либо пренебрегать на основании его незначительности. Затруднение, тяготеющее над методом, остается при таком образе действия во всей своей силе.
Здесь мы должны указать на замечательный прием Ньютона (Princ. Mathem. phil. nat., lib. II, Lemma II, после propos. VII) — на изобретенный им остроумный кунштюк для устранения арифметически неправильного отбрасывания произведений бесконечно малых разностей или высших порядков этих последних при нахождении» диференциалов.
Он находит диференциал произведения, — из которого легко затем вывести диференциалы частного, степени и т. п. — следующим образом. Произведение, если уменьшить? и у, каждый порознь на половину его бесконечной разности, xdy ydx, dxdy переходит в ху—? —?? — ^-, а если увеличить?? у ровно настолько же, то произведение переходит в ху-\- + ^?
– \-y-j- + ~^-f- · Если от этого второго произведения отнять первое, то получается разность ydx-\-xdy, которая есть избыток приращения на целые dx и dy, так как на это приращение отличаются оба произведения; следовательно, это и есть диференциал ху. — Как видим, при этом приеме сам собою отпадает член, представлявший главное затруднение, произведение двух бесконечных разностей dxdy. Но, несмотря на имя Ньютона, следует сказать, что это, хотя и весьма элементарное, действие неправильно; неправильно, что ^ (y + %)-(x-f)(y-&) = (x + dx) (y + dy)-xy.
Только потребность обосновать ввиду его важности исчисление флюксий могла заставить такого математика, как Ньютон, обмануть себя подобным способом доказательства.
Другие формы, которыми пользуется Ньютон при выводе диференциала, связаны с конкретными, относящимися к движению значениями элементов и их степеней. — При употреблении формы ряда, которое вообще характерно для его метода, слишком напрашивается сказать, что мы всегда имеем возможность путем прибавления дальнейших членов
{301}