1. Функция в себе, y=f(x).

2. Функция вне себя. Ее становление:

a) дифференциал аргумента, dx,

b) дифференциал функции, dy,

c) производная =у'.

3. Ставшая функция — интеграл ?y?dx=?(x).

III. ДИФФЕРЕНЦИАЛbНОЕ И ИНТЕГРАЛbНОЕ ИСЧИСЛЕНИЕ. ИХ ЛОГИЧЕСКИЙ СОСТАВ

1. Дифференциальное исчисление. Теперь мы знакомы со всеми основными категориями исчисления бесконечно–малых, и теперь мы можем наметить основную структуру и двух главных наук, из которых и состоит математический анализ, — дифференциальное и интегральное исчисления. Начнем с дифференциального исчисления. Сумбур, царящий в обычных изложениях этой науки, когда в одну кучу валится ряд почти не связанных между собой проблем, заставляет с особенной тщательностью и критикой относиться к реальному содержанию того, что мы тут находим. Отбросим то, что обычно называется «введением в анализ», эту смесь алгебры, геометрии, тригонометрии, анализа и многих других вещей; к тому же основные категории этого введения рассмотрены нами в предыдущем изложении. Далее, отбросим всякие геометрические и механические приложения, которые — в порядке системы — занимают место именно приложений, а не центрального содержания науки. Наконец, отбросим и всю технику доказательств и вычислений и сосредоточимся только на существенном содержании центральных положений науки, выставляя на первый план логическую связь и последовательность развития существа дифференциального исчисления.

Общее содержание этой науки, если отбросить все приложения, все детали и всю технику демонстрации, представляется в виде следующих трех проблем.

Прежде всего, первая большая проблема и первый большой отдел дифференциального исчисления — это само дифференцирование функций. Чтобы внести ясность в структуру этого отдела, необходимо четко формулировать, во–первых, процесс самого дифференцирования, во–вторых же, классификацию функций.

Что касается первого вопроса, то общая формула дифференцирования является не чем иным, как развитым приложением самого понятия производной. Так как дифференцировать функцию — значит найти ее производную, то ясно, что процесс дифференцирования может состоять только из последовательного приложения элементов, входящих в самое понятие производной. В развитой форме это дифференцирование представляют в виде четырех приемов: 1) к аргументу и функции присоединяется приращение —

y=?(x)

y+?y=?(x+?x)

2) определяется отсюда приращение функции —

?y=?(x+?x)-y

?y=?(x+?x)-?(x)

3) берется отношение приращений ?у и ?x

4) происходит переход к пределу, считая, что ?х стремится к 0. Отсюда —

Таков в общей форме процесс всякого дифференцирования. Правда, этот общий прием не всегда удобен, но об этих деталях говорить не будем.

Что же касается вопроса о классификации функций, которая только и может внести логический стройный порядок в этот отдел дифференциального исчисления, то и этого вопроса в данном месте касаться не стоит. Вопрос о классификации функций отнюдь не такой легкий, как это представляют себе математические руководства. Легкость достигается тем, что обычно перечисляют только простейшие и легчайшие функции и отбрасывают более сложные, а потом начинают вводить их без всякого предупреждения.

Так, неизвестно, в каком месте надо излагать гиперболические функции. Тригонометрические функции хотя и излагаются сейчас же после дифференцирования «алгебраических» функций, но неизвестно почему. Неизвестно также, что, собственно, такое «тригонометрические» функции. Обычное определение их как отношения определенных линий к радиусу круга—слишком внешнее определение; оно в сущности ничего не говорит. Уже одно выражение их при помощи числа е в известных формулах Эйлера указывает на полную их загадочность и таинственность; и не так–то просто найти их вполне существенное определение. Эллиптические функции справедливо отнесены в отдел теории функций комплексного переменного. Но положение самого этого отдела в системе анализа совершенно неопределенно. Казалось бы, естественно было бы излагать функции комплексного переменного вслед за рациональными и иррациональными функциями, поскольку само понятие комплексной величины есть неограниченное завершение понятия величины вообще. Тем не менее ни в дифференцировании, ни в интегрировании функций обычно этих функций не помещают, а помещают их почему–то в отдел «аналитических» функций, причем опять невозможно разобрать, что такое аналитические функции. С одной[230] стороны, аналитические функции комплексного переменного поставлены в ближайшую связь. С другой стороны, оказывается, что аналитические — это все вообще функции (так как аналитические—те, которые дифференцируемы). И т. д., и т. д., и т. д.

Вся эта неразбериха, не свидетельствующая о логической силе математиков, требует кропотливого анализа, который невозможно провести здесь, не удаляясь далеко в сторону, хотя только логически стройная классификация функций и могла бы внести порядок и последовательность в рассматриваемый отдел дифференциального (и соответственно—интегрального) исчисления. Сюда же относится, конечно, дифференцирование неявных функций, нахождение частных производных и производных высшего порядка. Это естественно вытекает из самого понятия дифференцирования.

Второй большой отдел дифференциального исчисления—это учение о рядах. Положение этого отдела в системе анализа— вполне специфическое. Ряды, конечно, нельзя помещать где попало. Логическое место их определяется тем основным обстоятельством, что ряд представляет собой инобытие производной. Если производная является образом пребывания функции в инобытии, то ряд является образом пребывания самой производной в инобытии.

Если производная—тезис, то ряд есть антитезис или, вернее, такой антитезис, который воплощает в себе в инобытийном[231] порядке тезис, производную. Чтобы это понять с полной четкостью, необходимо проанализировать диалектически хотя бы один какой–нибудь ряд. Для такого примера мы и возьмем простейший ряд—ряд Маклорена.

Этот ряд—

состоит из двух элементов, вдвинутых один в другой, — именно из ряда последовательно данных производных, начиная с самой функции при нулевом значении аргумента, —

?(0),?',?',?'', …

и из разложения в ряд ех

Что такое ряд производных, у которых последовательно повышается порядок? Производная есть, как мы видели, закон инобытия той или иной идеальной взаимозависимости. Производная от этой производной, или производная второго порядка, есть переход этого самого закона в инобытие. Производная третьего порядка есть еще новый инобытийный закон этого второго закона. И т. д. Ясно, стало быть, что если производная есть инобытие функции, то ряд производных последовательно повышающегося порядка есть инобытие самого перехода функции в инобытие, инобытие самого становления, инобытийное становление становления функции в инобытии, отрицание отрицания функции в инобытии. Переходя в

Вы читаете Хаос и структура
Добавить отзыв
ВСЕ ОТЗЫВЫ О КНИГЕ В ИЗБРАННОЕ

0

Вы можете отметить интересные вам фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.

Отметить Добавить цитату