Учение о бытии
Шрифт:
Эта суть дела затемняется, однако, тем, что то, что, называется элементом, положим, ординаты, понимается, как разность или приращение, как будто оно есть только количественное различение одной ординаты от другой. Предел тем самым не имеет смысла отношения: он означает лишь то последнее значение, к которому другая однородная величина постоянно приближается так, что она может отличаться от него на наименьшую желаемую величину, и что последнее отношение есть отношение равенства. Таким образом, бесконечно малая разность оказывается как бы видимостью различия одного определенного количества от другого, и представление качественной природы, по которой dx есть по существу не определение отношения его к х, но к dy, отступает назад. dx2 исчезает перед dx, но также исчезает dx перед х, что по истине значит, что dx имеет отношение лишь к dy. При таком изложении дела геометры стараются преимущественно о том, чтобы сделать понятным приближение некоторой величины к ее пределу и остановиться на таком различении определенного количества от определенного количества, которое уже не есть различение и вместе с тем есть различение. Но приближение есть для себя, помимо того, ничего не говорящая и ничего не объясняющая категория; dx имеет приближение уже за {182}собою,
Поэтому, коль скоро дело сводится к тому, что приращения или бесконечно малые разности рассматриваются лишь со стороны определенного количества, которое в них исчезает, и лишь как его предел, то они понимаются, как безотносительные моменты. Отсюда можно бы было вывести неосновательное предположение, будто дозволительно в последнем отношении приравнивать между собою, например, абсциссу с ординатою, или синус, косинус, тангенс, sinus versus и т. п. По-видимому, это представление получает силу, когда дуга рассматривается, как касательная, ибо дуга, конечно, несоизмерима с прямою линиею, и ее элемент имеет прежде всего другое качество, чем элемент прямой линии. Еще нелепее и недозволительнее смешение абсциссы, ординаты, sinus versus и т. д., когда представляется quadrata rotundis, когда хотя бы бесконечно малая часть дуги принимается за участок касательной, и тем самым с нею поступают, как с прямою линиею. Но такой образ действий следует по существу отличать от вызывающего порицание смешения; он оправдывается тем, что в том треугольнике, стороны которого суть элемент дуги и элемент абсциссы и ординаты, отношение остается тем же, как если бы элемент дуги был элементом прямой линии, касательной; углы, образующие существенное отношение, т. е. то, которое сохраняется при этих элементах, если отвлечься от свойственных им конечных величин, те же самые. Можно выразить это также таким образом, что прямые линии, как бесконечно малые, стали кривыми линиями, и их отношение при их бесконечности стало отношением кривых. Так как по определению прямой линии она есть кратчайшее расстояние между двумя точками, то ее отличие от кривой линии основывается на определении множества, на меньшем множестве различимого в этом расстоянии, что есть также определение количества. Но это определение в ней исчезает, коль скоро она принимается за интенсивную величину, за бесконечный момент, за элемент; а с тем вместе исчезает и ее отличие от кривой линии, основанное исключительно на различии определенного количества. Следовательно, как бесконечные, прямая линия и дуга не состоят ни в каком количественном отношении и потому на основании принятого определения не имеют и никакого качественного различия, но переходят одна в другую.
Сродным и однако различным от отожествления разнородных определений оказывается само по себе неопределенное и совершенно безразличное утверждение, будто бесконечно малые части одного и того же целого равны между собою; но примененное к разнородному в себе, т. е. причастному существенной неравномерности количественных определений предмету, оно приводит к существенному противоречию, содержащемуся в высшей механике, которая учит, что в равные, притом бесконечно малые времена, в бесконечно малых частях кривой происходит равномерное движение, как часть такого движения, которое в равные конечные, т. е. существующие части времени {183}проходит конечные, т. е. существующие неравные части кривой, следовательно, движение, которое, как существующее, неравномерно и признается за таковое. Это предложение есть словесное выражение того, что должен означать собою аналитический член, получающийся через вышеупомянутое развитие формулы, хотя неравномерного, но подчиненного некоторому закону движения. Более старые математики старались выразить результаты вновь изобретенного исчисления бесконечных, которое притом всегда имело дело с конкретными предметами, в словах и предложениях и изобразить их геометрически, главным образом, для того, чтобы употреблять их для обычного способа доказательства теорем. Члены математической формулы, в которую анализ разлагал величину предмета, например, движения, получали таким образом предметное значение, например, скорости, ускоряющей силы и т. п.; по этому значению они должны были приводить к правильным положениям, к физическим законам, и по их аналитической связи должны были определяться и их объективные связи и отношения, например, то, что в равномерно ускоренном движении существует особая пропорциональная временам скорость, к которой, кроме того, всегда присоединяется приращение, зависящее от силы тяжести. Такие предложения в новом аналитическом виде механики получались исключительно, как результаты вычисления независимо от того, имеют ли они для себя реальный, т. е. соответствующий некоторому существованию смысл и от доказательства этого; затруднение сделать понятною связь таких определений, когда они употреблялись в вышеупомянутом реальном смысле, например, объяснить переход от той ложно равномерной скорости к равномерному ускорению, считалось поэтому совершенно устраненным через аналитическую разработку, в которой сказанная связь есть простое следствие установленного раз навсегда прочного авторитета действий вычисления. Считалось торжеством науки нахождение путем простого возвышающегося над опытом вычисления законов, т. е. предложений о существовании, самих не имеющих существований. Но в первое еще наивное время исчисления бесконечных старались найти и оправдать реальный смысл таких определений и положений, изображенных в геометрических построениях, и применить их в этом смысле к доказательству главных положений, о которых шла речь [ср. ньютоново доказательство его основоположения теории тяготения в Princ. math. philos. naturalis lib. I sect. II prop. 1 сравнительно с астрономиею Шуберта (перв. изд. т. III § 20), где признается, что в пункте, составляющем самый нерв доказательства, нет точности, т. е. дело не совсем таково, как полагает Ньютон].
Нельзя отрицать, что в этой области многое, преимущественно при пособии тумана, напущенного бесконечно малыми, считалось за доказательство только потому, что то, что получалось, всегда было уже заранее известно, и что доказательство, построенное таким образом, что получался подобный вывод, имело по крайней мере видимость остова доказательства, видимость, которую все же предпочитали простой вере или опытному знанию. Но я без всякого колебания признаю эту манеру не за что иное, как за {184}простое фокусничество и шарлатанство доказательством, и причисляю сюда и ньютоновы доказательства, особенно такие, как вышеприведенное, за которое Ньютона возвысили до небес и превознесли над Кеплером, утверждая, что первый математически доказал то, что второй нашел лишь путем опыта.
Пустой остов таких доказательств воздвигнут для того, чтобы доказать физические законы. Но математика вообще не может доказать количественных определений физики, так как последние суть законы, обоснованные на качественной природе моментов; не может сделать этого по той простой причине, что математика не есть философия, не исходит от понятий, и что поэтому качественное, если только оно не почерпается лемматически из опыта, лежит вне сферы математики. Поставление достоинства математики в том, что все входящие в нее положения должны быть строго доказаны, часто побуждало забывать о ее границе; таким образом, казалось несогласным с ее достоинством считать опыт источником и единственным доказательством опытных предложений; позднее сознание этой истины более развилось; но прежде, чем будет выяснено различие того, что математически доказуемо, и что может быть взято лишь извне, как, например, того, что есть лишь член аналитического развития, и что —
Примечание 2-е
Цель дифференциального исчисления, выведенная из его приложения
В предыдущем примечании рассмотрены отчасти определенность понятия бесконечно малого, находящего употребление в дифференциальном исчислении, отчасти основания его введения в это исчисление; то и другое суть отвлеченные и потому легкие определения; но так называемое приложение представляет более трудностей, равно как более интересных сторон; элементы этой конкретной стороны должны составить предмет настоящего примечания. Весь метод дифференциального исчисления сводится к положению dxn=nxn-1dx или иначе (f(x+i)—fx)/i=P, т. е. равно коэффициенту первого члена двучлена x+d, x+i, развитого по степеням dx или i. Далее нечему учиться новому; вывод ближайших форм дифференциала произведения, степени и т. д. вытекает отсюда механически; в короткое время, в {185}каких-нибудь полчаса — с нахождением дифференциалов дано также и обратное, нахождение по ним первоначальной функции, интегрирование — можно освоиться со всею теориею. Задерживает на ней долее лишь стремление усмотреть, сделать понятным, каким образом после того, как одна сторона задачи, нахождение этого коэффициента решена так легко аналитическим, т. е. совершенно арифметическим путем через развитие функции переменной величины, получившей форму двучлена путем приращения, оправдывается и другая ее сторона, именно опущение прочих членов полученного ряда. Если бы было признано, что единственно в этом коэффициенте и есть нужда, то с его нахождением все, что касается теории, было бы, как сказано, закончено менее, чем в полчаса, и опущение прочих членов ряда не представляло бы никакого затруднения, так как о них, как о членах ряда (как вторая, третья и т. д. производные функции, они находят свое определение уже при определении первой), вовсе не поднималось бы речи, ибо в них не было бы никакой надобности.
Можно предпослать здесь то замечание, что при рассмотрении метода дифференциального исчисления сейчас же бросается в глаза, что он изобретен и установлен не ради себя самого; он не только не обоснован для себя, как особый способ аналитического действия, но необходимость опускать члены, получающиеся через развитие функции, несмотря на то, что все это развитие в целом признается относящимся к делу — ибо дело именно состоит в различении развитой функции переменной величины, после придания ей вида двучлена, от первоначальной функции — совершенно, напротив, противоречит всем основоположениям математики. Как потребность в таком образе действия, так и недостающее ему самому в себе оправдание, сейчас же указывают на то, что его источник и основание находятся где-то вне его. Вообще в науке бывают случаи, когда то, что заранее установлено, как элементарное, и из чего выводятся предложения науки, оказывается неочевидным и требующим, напротив, для себя повода и обоснования в том, что вытекает из него. История дифференциального исчисления показывает, что оно имело свое начало в различных так называемых методах касательных, которые представляли собою как бы фокусы; этот образ действия, распространенный и на другие предметы, был возведен затем в сознание и выражен в отвлеченных формулах, которым старались придать значение принципов.
Было показано, что определенность понятия так называемых бесконечно малых есть определенность качественно– количественная, которая ближайшим образом положена, как отношение между определенными количествами, с чем связывается эмпирическая попытка обнаружить эту определенность понятия в тех описаниях или определениях, которые находят в бесконечно малом, поскольку оно признается за бесконечно малую разность или за что-либо другое подобное. Это совершается лишь в интересе отвлеченной определенности понятия, как таковой; дальнейший же вопрос должен состоять в том, как отсюда перейти к математической форме и ее {186)приложению. В конце концов, нужно разработать еще далее теоретическую сторону, определенность понятия, которая сама по себе не окажется бесплодною; затем должно рассмотреть отношение ее к ее приложению, и как в том, так и в другом случае показать, насколько это здесь уместно, что получающиеся общие выводы соответствуют тому, чем занимается дифференциальное исчисление, и тому способу, которым оно пользуется.
Прежде всего следует напомнить о том, что форма, свойственная в математике рассматриваемой теперь определенности понятия, уже более или менее изъяснена. Качественная определенность количественного, во-первых, вообще обнаружена в количественном отношении, но уже при рассмотрении различных так называемых действий счета (ср. соотв. примеч.) было предусмотрено, что подлежащее еще потом в своем месте рассмотрению степенное отношение есть то, в чем число через приравнение моментов своего понятия, единицы и определенного числа, положено, как возвратившееся к себе, и что тем самым в нем содержится момент бесконечности, бытие для себя, т. е. определения самим собою. Ясно выраженная качественная определенность величин присуща поэтому, как также было указано, существенным образом степенным определениям, и так как специфическая особенность дифференциального исчисления состоит в действиях над качественными формами величин, то свойственный ему математический предмет состоит в обращении с формами степеней, и все задачи и их решения, с которыми имеет дело дифференциальное исчисление, показывают, что интерес сосредоточивается в них единственно на разработке степенных определений.
Как ни важна эта основа, и хотя она сейчас же выдвигает на первое место нечто определенное вместо совершенно формальных категорий переменных, непрерывных или бесконечных величин и т. п., или функций вообще, но она еще слишком обща, с тем же имеют дело и другие действия; уже возвышение в степень и извлечение корней, за сим учение о показательных величинах и логарифмах, ряды, уравнения высших степеней имеют интерес и приложение также лишь к отношениям, основанным на степенях. Без сомнения, все это в своей совокупности составляет систему учения о степенях; но какие именно из различных отношений, в коих положены степенные определения, суть те, которые составляют собственный предмет и интерес для дифференциального исчисления, это должно быть выведено из него самого, т. е. из так называемых его приложений. Последние и составляют поистине самую суть дела, действительный прием математического разрешения известного круга задач; этот прием возник ранее, чем теория или общая часть, и был впоследствии назван приложением лишь в виду позднее созданной теории, которая имела целью установить его общий метод, а также дать ему принципы, т. е. оправдание. Как тщетно было старание найти при современном понимании этого приема такие принципы, которые действительно разрешали бы возникающее при этом противоречие, а не извиняли бы или прикрывали бы {187}его указанием на незначительность математически необходимого, а между тем при этом приеме опускаемого члена, или на сводящуюся к тому же возможность бесконечного или любого приближения и т. п., — это было указано в предыдущем примечании. Если бы в той действительной части математики, которая именуется дифференциальным исчислением, общие начала метода были отвлеченно изложены и иначе, чем это делалось доселе, то сказанные принципы и труд над ними оказались бы столь же излишними, так как в них самих есть нечто ложное и противоречивое.