Наука логики
Шрифт:
Дальнейший вопрос состоит в том, какой характер носит переход от нее к математической форме и ее приложению. Для этой цели нужно сначала еще далее развить теоретическую сторону, определенность понятия, которая окажется в себе самой не совсем бесплодной; затем следует рассмотреть отношение ее к приложению и доказать относительно их обоих, насколько это здесь уместно, что получающиеся общие выводы вместе с тем соответствуют тому, что является существенным в диференциальном исчислении, и тому способу, каким оно достигает своей цели.
Прежде всего следует напомнить, что мы уже разъяснили мимоходом ту форму, которую рассматриваемая нами теперь определенность понятия имеет в области математики».
Мы сначала обнаружили качественную определенность количественного в количественном отношении вообще; но
{317}
помимо этого уже при выводе различных так называемых видов счета (см., относящееся к этому примечание) мы, забегая вперед, указали, что именно в степенном отношении, которое нам предстоит рассмотреть ближе в своем месте, число через приравнение моментов его понятия, единицы и численности) положено, как возвратившееся к себе самому, и тем самым получает в
Как ни важна эта основа и хотя она сразу же выдвигает на первый план нечто определенное вместо чисто формальных категорий переменных, непрерывных или бесконечных величин и т. п. или функций вообще, она все же еще слишком обща; ведь с тем же самым имеют дело и другие действия; уже возвышение в степень и извлечение корня, а затем действия над показательными функциями и логарифмами, ряды, уравнения высших степеней интересуются и занимаются исключительно отношениями, основанными на степенях. Нет сомнения, что все они в своей совокупности составляют систему учения о степенях; но ответ на вопрос, какие именно из этих отношений, в которые могут быть поставлены степенные определения, суть те, которые составляют собственный предмет и интерес диференциального исчисления, должен быть почерпнут из него самого, т. е. из его так называемых приложений.
Последние и составляют на самом деле самую суть, действительный способ действия в математическом разрешении известного круга проблем; этот способ действия существовал раньше
{318}
теории или общей части, и приложением оно было назвало позднее лишь по отношению к созданной впоследствии теории, которая ставила себе целью отчасти установить общий метод этого способа действия,» отчасти же дать ему принципы, т. е. оправдание. Какими тщетными были, для господствовавшего до сих пор понимания этого способа действия, старания найти принципы, которые действительно разрешили бы выступающее здесь противоречие, а не извиняли бы или не прикрывали бы его ссылками на незначительность того, что согласно математическим правилам необходимо, но здесь должно быть отбрасываемо, или, что сводится к тому же, ссылками на возможность бесконечного или какого угодно приближения и т. п., — это мы показали в предшествующем примечании. Если бы всеобщее этого способа действия было абстрагировано из той действительной части математики, которая именуется диференциальным исчислением, иным образом, чем это происходило до сих пор, то эти принципы и труд, затраченный над их установлением, оказались бы столь же излишни, сколь они, взятые сами по себе, оказываются чем-то неправильным и остающимся противоречивым.
Если будем доискиваться этого своеобразия путем простого обозрения того, что имеется в этой части математики, то мы найдем в качестве ее предмета а) уравнения, в которых какое· угодно число величин (мы можем здесь остановиться вообще на двух) связано в одно определенное целое, так что эти величины, во-первых, имеют свою определенность в эмпирических величинам, как твердых пределах, а затем, в определенной связи как с последними, так и между собою, как это вообще имеет место в уравнениях; но так как здесь имеется лишь одно уравнение для обеих величин (в том случае, если величин более двух, то и число уравнений соответственно увеличивается, но всегда число уравнений будет меньше числа величин), то это — уравнения неопределенные. Во-вторых, они связаны так, что одна из тех черт, которые характерны для того способа, каким эти величины имеют здесь свою определенность, заключается в том, что они (по крайней
{319}
мере одна из них) даны в уравнении в степени высшей, чем первая степень.
Относительно этого мы должны сделать несколько замечаний. Укажем, во-первых, что величины, взятые со стороны первого из вышеизложенных определений, всецело носят характер лишь таких переменных величин, какие встречаются в задачах неопределенного анализа. Они неопределенны, но так, что если одна получает откуда-нибудь извне некоторое совершенно определенное значение, т. е.
некоторое числовое значение, то и другая также становится определенной, — одна есть функция другой; категории переменных величин, функций и тому подобное имеют поэтому, как уже сказано выше, для освещения той специфической определенности величин, о которой здесь идет речь, лишь формальное значение, так как они отличаются такой общностью, в которой еще не содержится то специфическое, на которое направлен весь интерес диференциального исчисления, и это специфическое не может быть выведено из них при посредстве анализа; они суть взятые сами по себе, простые, незначительные, легкие определения, которые мы делаем трудными лишь тогда, когда вкладываем в них то, чего в них нет, для того, чтобы затем получить возможность вывести его из них, а именно, когда мы приписываем им специфическое определение ди- ференциального исчисления. — Что же касается, далее, так называемой константы, то о ней можно заметить, что она есть ближайшим образом некоторая безразличная эмпирическая величина, имеющая для переменных величин определяющее значение лишь по своему эмпирическому определенному количеству, как предел их максимума и минимума; но способ соединения такого рода констант с переменными величинами сам есть один из моментов для природы той частной функции, которую образуют эти величины. Но и наоборот, сами константы тоже суть функции. Поскольку, например, прямая линия имеет значение параметра параболы, это ее значение состоит в том, что она есть функция у-; точно
{320}
константа, которая есть коэфициент первого члена ряда, есть сумма корней, коэфициент второго члена — сумма их произведений по два и т. д., стало быть, эти константы суть здесь вообще функции корней. Там, где в интегральном исчислении константа определяется из данной формулы, она постольку трактуется как ее функция. Эти коэфициенты будут рассмотрены нами далее и в другом определении как функции, конкретное значение которых составляет их главный интерес.
Но то своеобразие, которым рассмотрение переменных величин в диференциальном исчислении отличается от их характера в неопределенных задачах, мы должны видеть в том, что по крайней мере одна из этих величин или даже все они имеют степень выше первой, причем опять-таки безразлично, все ли они имеют одну и ту же высшую степень или они имеют неодинаковую степень; специфическая неопределенность, которой они здесь отличаются, зависит исключительно от того, что они суть функции друг друга именно в таком степенном отношении. Благодаря этому изменение переменных величин детерминировано качественно и, стало быть, оно непрерывно, и эта непрерывность, которая сама по себе есть опять-таки лишь формальная категория некоторого тождества вообще, некоторой сохраняющейся в изменении, остающейся саморавною определенности, имеет здесь свой детерминированный смысл, и притом единственно только в степенном отношении, которое не имеет своим показателем никакого определенного количества и составляет не-количественную, пребывающую определенность отношения переменных величин. Поэтому следует возразить против формализма другого рода, что первая степень есть степень лишь в отношении к высшим степеням; сам же по себе взятый? есть лишь какое-нибудь неопределенное определенное количество. Поэтому не имеет смысла диференцировать само по себе уравнения у = ах-\-Ь, уравнение прямой линии, или s = ct, уравнение просто равномерной скорости. Если из у = ах или также из у = ах-\- + Ь получается а = —·, или из s = et получается — rt = cy то в
{321}
такой же мере определением тангенса является а=^ или опре- делением просто равномерной скорости j = с. Последняя выражается через ~ в связи с там, что выдается за разложение [в ряд] формулы равномерно ускоренного движения. Но что в системе такого движения встречается момент простой, просто равномерной, т. е. не определенной высшею степенью одного из моментов движения, скорости, — это само есть, как замечено выше, бессодержательное, основанное единственно только на рутине метода допущение. Так как метод исходит из представления о получаемом переменной величиной приращении, то, конечно, приращение может получить и такая переменная величина, которая есть лишь функция первой степени; если же после этого, чтобы найти диференциал, мы берем отличие возникшего таким образом второго уравнения от данного, то сразу же обнаруживается пустота действия в том, что, как мы уже заметили, уравнение до и после этого действия остается для так называемых приращений тем же, что и для самих переменных величин.
?). Сказанным определяется природа уравнения, над которым нужно будет производить действия, и теперь следует указать, каков тот интерес, на удовлетворение которого направлено произведение этих действий. Это рассмотрение может нам дать лишь уже знакомые результаты, результаты такого рода, какие по форме имеются в особенности в понимании этого предмета Лагранжем; но я придал изложению совершенно элементарный характер, чтобы устранить примешавшиеся сюда чужеродные определения. — Основой для действий над уравнением указанного вида оказывается то, что степень внутри ее самой понимается как некоторое отношение, как система определений отношения. Степень, указали мы выше, есть число, поскольку оно пришло к тому, что его изменения определены им же самим, его моменты, единица и численность, тождественны, — вполне, как мы выяснили ранее, ближайшим образом в квадрате, более формально (что не составляет здесь разницы) в высших степенях. Степень (ввиду того 21 Гегель, том V, Наука логики
{322}
что она как число — хотя бы «мы и предпочитали выражение «величина», как более общее, она в себе всегда есть число — есть некоторое множество, могущее быть изображенным также и как сумма) может ближайшим образом быть разложена внутри себя самой на любое множество чисел, которые не имеют никакого другого определения как относительно друг друга, так и относительно их суммы, кроме того, что они все вместе равны последней. Но степень может быть также разложена на сумму таких различий, которые определены формой степени. Если степень принимается за сумму, то в виде суммы рассматривается также и ее основное число, корень, и оно может быть разложено любым образом, каковое разнообразие разложений есть однако нечто безразличное, эмпирически количественное. Сумма, каковою должен быть корень, сведенная к ее простой определенности, т. е. к ее истинной всеобщности, есть дву 'лен; всякое дальнейшее увеличение числа членов есть простое повторение того же определения и потому нечто пустое*. Единственно важным является здесь, стало быть, та качественная определенность членов, которая получается посредством возвышения, в степень принимаемого за сумму корня, каковая определенность заключается единственно только в том изменении, которым является возвышение в степень. Эти члены суть, следовательно, всецело функции возвышения в степень и [самой] степени. Это изображение числа как суммы некоторого множества таких членов, которые суть функции возвышения в степень, а аа- тем интерес нахождения формы таких функций и, далее, этой суммы из множества таких членов, поскольку это * Лишь формализмом той всеобщности, на которую необходимо притязает анализ, объясняется то, что вместо того, чтобы для разложения степени в ряд брать двучлен (а + Ь)п, берут многочлен (а + b + с + d…), как это делается также и во многих других случаях; эту форму следует считать, так сказать, кокетничанием видимостью всеобщности; двучленом исчерпывается суть дела; посредством его разложения в ряд мы находим закон, а истинной всеобщностью и является как раз вакон, а не то внешнее, лишь пустое повторение закона, которое это а — f- b — f- с +?..9 единственно только и порождает.