I. ЛОГИКА ИСЧИСЛЕНИЯ БЕСКОНЕЧНО–МАЛЫХ КАК ОТРАЖЕНИЕ СОЦИАЛbНОЙ ДЕЙСТВИТЕЛbНОСТИ
[219]
1. Вступительные замечания. «Теоретическое мышление каждой эпохи, — пишет Энгельс (Диал. прир. 1941, 24), — а значит и нашей эпохи, это—исторический продукт, принимающий в различные времена очень различные формы и вместе с тем очень различное содержание. Следовательно, наука о мышлении, как и всякая другая наука, есть историческая наука, но об историческом развитии человеческого мышления». «Теория законов мышления, — продолжает там же Энгельс, — не есть вовсе какая–то раз и навсегда установленная «вечная истина», как это связывает со словом «логика» философская мысль». «Знакомство с ходом исторического развития человеческого мышления, с выступавшими в различные времена воззрениями на всеобщие связи внешнего мира необходимо для теоретического естествознания потому, что оно дает масштаб для оценки выдвигаемых им самим теорий». Из этих рассуждений Энгельса с необходимостью вытекает то, что и математика вовсе не есть наука только о вечных истинах, что ее истина исторически обусловлена, исторически меняется и логика, желающая осознать основы математического мышления, должна учитывать историческо–социальные типы и стили этого мышления, чтобы не впасть в филистерство.
Тем не менее математику почти все считают чем–то временным и над–историческим. Религию, искусство, науку, философию мы умеем понимать исторически, как нечто неотъемлемо свойственное тому или иному социальному типу. Но математика мыслится нами как нечто в такой мере абсолютное, что не может подниматься никаких и вопросов о ее типах, о разной ценности этих типов и о социальных корнях каждого такого стиля. Конечно, можно и в математике дойти до таких последних абстракций, которые будут общи всем известным нам типам культуры, и на этом основании рассуждать о вечности ее положений. Но в таком же смысле и в каждом произведении науки, искусства, техники и пр. можно найти такую абстрактнейшую сторону, которая почти не меняется при переходе от одного произведения искусства к другому. Однако ни в коем случае такое знание не будет конкретным. И оно ничего не скажет нам об искусстве, как оно реально есть.
Математика—человечна, создание человеческого искусства. Она социальна, исторична. Она имеет свой стиль, стиль своей эпохи. И если до сих пор из нее старались выкинуть всякое человеческое содержание и превратить ее в максимально абстрактную и формальную науку, то это тоже было результатом определенной эпохи культуры. И эту рассудочную, абстрактную эпоху культуры мы должны уметь точно формулировать, если хотим понять истинную сущность математики. Всякий тип культуры вообще любит ставить себя в центре всей истории и свои принципы толковать как вечные. В этом, к сожалению, мы должны отказать всякому историческому стилю культуры. Общезначимость, непреложность математических положений для нас, к сожалению, уже есть не более как продукт одной весьма специфической культуры. И мы не обязаны остановить историю только на каком–нибудь одном временном ее типе.
Математику до того выпотрошили, до того лишили ее всякого ее жизненного и человеческого содержания, что теперь уже неудивительно встретить фразы вроде того, что математика не знает, что она говорит и о чем она говорит. Действительно, о чем могут говорить арифметические и аналитические операции в математике? Что такое, напр., то же сложение и вычитание, то же логарифмирование или дифференцирование? О чем говорят эти процессы? Ровно ни о чем! Вкладывайте сюда какое угодно содержание. И что именно здесь утверждается? Ровно ничего не утверждается! Это пустые слова о пустоте. Вот до чего дошло современное форм–ализирование и абстрактизация математической науки.
Единственная жизненная сфера математики — это ее техническое применение. Однако для нас это нисколько не утешительно. Если на основании какого–нибудь математического расчета строится то или иное сооружение или машина, то одно из двух. Или это сооружение и машина не есть достояние истории и не сгусток определенных социальных отношений, не есть произведение человеческого труда со всей его исторической обстановкой. Или это сооружение есть момент именно в истории, в социальной жизни есть результат, напр., определенных производственных отношений. В первом случае апелляция к технике не имеет для нас никакого значения, потому что конкретизация и жизненность математики в этом смысле есть конкретизация внутри ее самой; это просто додумывание тех же самых основ чистой математики до ее прикладных выводов, просто новая комбинация все тех же самых чистых и отвлеченных формул. Тут нет ничего принципиально нового. Прикладная математика и чистая математика — это одно и то же, две стороны одного и того же. И совсем другое в том случае, когда построенное на основе математических исчислений сооружение входит в реальную человеческую историю, есть продукт живой социальной мысли, живого человеческого труда, результат определенной исторической обстановки, и теоретико–технической, и практически–производственной, и духовно–творческой. Но тогда мало одной технической конкретизации математики. Тогда надо показать, что же именно в математике обусловило собою возможность такого сооружения или машины, с таким стилем духовной культуры и при таких производственно–технических отношениях. Тогда надо будет поставить вопрос не о техническом только приложении математики, но о ее социально–исторической значимости, о ее человеческом и культурном стиле.
Из прикладной механики мы знаем, что вращающий эффект пароходного руля пропорционален cos х–sin2 х, где χ есть угол с линией киля. Если мы изучим теорию максимумов и минимумов в математическом анализе, то мы легко можем, напр., определить χ в условиях наибольшего эффекта пароходного руля. Что при решении подобной задачи мы как–то конкретизируем отвлеченный математический анализ и как–то приближаем его к жизни, это факт. Но как мы его здесь конкретизируем и к какой жизни приближаем? К какой угодно, но только не к социальной, не к человеческой. Из того, что пароход со своим рулем и килем существует в человеческой обстановке, нисколько не вытекает, что мы его и понимаем обязательно человечески. В человеческой обстановке существует, напр., сам организм человека, с сердцем, легкими, мозгом и пр.; и это совершенно не значит, что мы его понимаем человечески и даже вообще понимаем. До сформирования анатомии как науки люди уже жили тысячелетия и почти ничего не понимали в своем собственном организме. Точно так же и в случае с «техническим» пониманием парохода. Технически понимать что–нибудь совершенно не значит понимать исторически, социально, экономически. Мы можем иметь очень смутное представление о пароходном руле и киле и все–таки решить приведенную выше задачу. Ее можно формулировать примерно следующим образом: при каком χ получается наибольший вращающий эффект чего–нибудь, если этот вращающий эффект пропорционален величине cos х–sin2 χΊ Таким образом, чтобы решить техническую задачу, вовсе не обязательно даже предметно ясное представление тех объектов, к которым эта задача относится. Если же такое представление и налично, то оно, взятое само по себе, ровно ничего исторического в себе не содержит; это просто арена применения чистой математики, от которой много получает сама арена, эти самые сооружения и машины, но ровно ничего не получает математика и, можно сказать, никак не конкретизируется, если под конкретизацией не понимать возникновение тех или иных комбинаций уже имеющихся чисто теоретических построений.
Итак, все виды прикладной математики не выявляют культурно–социального и человеческого лика математики. И если задаваться целью действительно жизненного понимания математических наук, то необходимо искание для этого совсем других путей. Техника, лишенная духовно–творческой, культурно–стилевой, производственно–трудовой базы, есть только сама же отвлеченная математика, и больше ничего. Ее конкретность не более той, на которую способна чистая математика своими собственными отвлеченными силами.
2. Феодальный стиль. В этом сочинении нам предстоит дать историко–культурное введение не во всю математику (для чего понадобилось бы гораздо больше времени и труда, чем то, [что] отведено на это сочинение), но только введение в анализ, т. е. введение в исчисление бесконечно–малых, в дифференциальное и интегральное исчисление. Не будем пугаться слишком далеких экскурсий в историю. Они будут не очень продолжительны. Однако без них невозможно никакое понимание исторической сущности анализа.
Всем известно, что дифференциальное исчисление создано Ньютоном и Лейбницем во второй половине XVII века. Всмотримся в философско–исторические перспективы этого знаменитого столетия, когда, можно сказать, была создана почти вся основа современного научного миропонимания.
XVII век — век восходящей европейской культуры, западной культуры. А западная культура—культура абсолютизированного человеческого субъекта, культура глубин и исканий изолированной человеческой индивидуальности. В этом корень и основа всей европейской культуры.
Средневековая культура есть эпоха трансцендентных ценностей. Человек здесь со своей личностью скромен. Он подчинен потустороннему. Как бы мы сами ни относились к этому потустороннему, сознание средневековое, несомненно, ставит само себя в зависимость от потустороннего. Потустороннее—целый мир, целое «царство небесное», гораздо более крепкое и ценное, чем этот мир. Там — вечность, там—истина, там — незакатное солнце разума и правды, а этот земной мир—текущ, преходящ, суетен, темен. В нем нельзя рассчитывать на долговременное устроение или тем более счастье. Человек ничто. Вернее, он только точка, не имеющая ни одного измерения, перед всемогущей вечной божественной субстанцией. Земным никогда и не стоит за<…> есть не больше как замкнутое натуральное хозяйство. Она никуда не стремится, рынки ей не нужны. Средневековый человек делает все сам для себя, делает только в силу своих личных потребностей и личной жизненной необходимости. Эволюция средневекового хозяйства самая примитивная. Веками стоит на месте один и тот же способ производства; веками не растут цены, если они получили где–нибудь определенное выражение. Нет ни банков, ни бирж с их горячками и кризисами, ни производства, имеющего целью бесконечное накопление. Большое накопление тут и невозможно, и экономически бесполезно. Скряга и ростовщик могут делать накопления, но они лежат у них мертвым капиталом, который может доставить им какое угодно удовлетворение — эстетическое, кровожадно–деспотическое, просто житейски–эгоистическое и пр., но только не экономическое, не финансовое. Это то же, что и накопление ценностей в церквах и монастырях. Это накопление ничего общего не имеет с капитализмом, так как последний меньше всего определяется абсолютными величинами накопления.
Ни философия, ни наука, ни искусство не могли в ту эпоху получить самостоятельного значения. Все это предполагает дифференцированный человеческий субъект, в котором развита то сторона чистого рассудка, то сторона чистого чувства, то сторона чистого воображения. Но все эти стороны для средневекового человека есть только стороны (и притом не самостоятельные) абсолютного личностного бытия; и он никогда не станет развивать их так, чтобы они получили ту или иную неравномерную нагрузку. Философия здесь подчинена религии, наука подчинена религии, искусство тоже подчинено религии. Ибо религия как раз и давала эту абсолютно личностную, объективно иерархическую, индивидуальную структуру бытия. Можно сказать, что тут все имеет только служебное значение. Тут все гетерономно, а не автономно.
И математика здесь не самостоятельна и ограничивается античным созерцательным геометризмом и элементарным арифметиз–мом. Больше ничего не нужно было. И даже самого вкуса к чистой математике не было и не могло быть. Все это было бы бесцельно и бесполезно, как то накопление (к тому же очень редкое) ценностей, которое ни на что нельзя было употребить.
Для примера приведем хотя бы то, что древние называли «способом исчерпывания». Европейское представление очень простое: круг есть предел правильного вписанного многоугольника с бесконечно возрастающим числом сторон. Но для этого простого представления надо иметь чувство бесконечности [наряду ] с идеей предела. У древних же не было ни того, ни другого. И вот простейшее положение вроде 2–го в XII книге «Начал» Эвклида («круги относятся как квадраты, построенные на их поперечниках») доказывается путем длиннейшего и утомительного рассуждения на основе «способа исчерпывания» вместо нашего простого способа пределов. Делается это потому, что мысль связана здесь наглядно–чувственным геометризмом, связана вещественной цельностью и избегает понятий чистой, не–наглядной бесконечности и абстракции предела. Простую истину (a+b)2 = а2+2ab+h2 Эвклид (11, теор. 4) доказывает путем деления линии на два отрезка и построения на них квадратов с удвоенным прямоугольником из них. Там же (11, теор. 5) находим геометрическое построение, которое теперь просто записывается:
ab+( ) = 2
Изучающий антично–средневековую математику на каждом шагу убеждается в такой статической созерцательности данного типа мысли.
3. Западноевропейский стиль. Западноевропейская культура Нового времени началась с разрушения средневекового принципа трансцендентных ценностей. Вместо безразличного самоотдания потустороннему миру новое сознание переходит в свою диалектическую противоположность этого: там—всецелое утверждение потусторонней субстанциальности и признание за человеком лишь относительного и условного существования, здесь — утверждение этой земной субстанциальности человека как такового, требование прав для самостоятельного существования человеческого субъекта. Все ценное, что видел или предчувствовал человек в объективном мире, потустороннем или земном, он поместил в себя, в глубину своей личности. Он все это захотел сам создать в себе и из себя, как будто бы сам он был той универсальной, абсолютной личностью, о которой раньше ему говорила его средневековая религия. Человек никогда не останавливается на полумерах. Если отдельная личность может колебаться, сомневаться, быть нерешительной, то его эпоха и культура обдумывают его идеи до последнего конца, безжалостно делают все выводы, какие только возможны. Начинал европейский человек с очень простого и естественного желания — быть самим собою, с требования для себя естественных прав и освобождения своей личности. А пришло это к полному обожествлению и абсолютизации личности, так что в конце XVIII в. будет уже неудивительно, если Фихте из Я станет выводить и всего человека, и природу, и сам Абсолют.
Однако если все ценности перенесены в человека, на его личность и субъект, то что же остается на долю объективного мира, все равно потустороннего или посюстороннего? Ясно, что, чем интенсивнее субъективизм, тем более пустым и бессодержательным оказывается объективный мир. Чем напряженнее и сложнее субъект, тем более [он ] отказывает объективному миру в его объективности; чем более нервный субъект, тем больше видит он в объективности самого себя, а не саму объективность, тем более горячо построяет он мир по своему собственному образу и подобию.
Что такое потусторонний мир для такого миропонимания? Человек оказывается уже не заинтересован в его личностной субстанциальности. Личностная субстанциальность—это он сам. Конечно, была и такая кульминационная стадия европейского субъективизма, когда этот субъект оказывался незаинтересованным не только в личностной субстанциальности потустороннего, но и вообще во всяких его видах. Такое положение, однако, есть только крайний вывод; и чаще всего, как доминирующая тенденция, действовал более умеренный принцип. Этот принцип заключается в том, что субъект, утверждая себя как такового, понимал объективный мир как только идею. Ведь в вещи есть материальная субстанциальная сторона и есть сторона идеи, оформления, осмысления. Вся субстанциальная сторона была субъектом отнята у вещей и присвоена себе. Он соглашался только на объективное существование идей. Но ведь идеи, лишенные реальной базы, неизбежно превращались в отвлеченность, в простую схему, в рассудочное понятие. И вот: потусторонний мир объективно превратился в отвлеченную идею и посюсторонний объективный мир тоже превратился в конце концов в такую же отвлеченную идею.
Что такое учение о потустороннем мире, данном как отвлеченное понятие? Это есть метафизика, абстрактная метафизика. А религия, построенная на учении о таком мире, есть протестантизм. Средневековая философия не есть абстрактная метафизика. Это очень конкретная мифология, а не абстрактная метафизика. Здесь все состоит из живых личностей. Тут не философские метафизические идеи, а живые личности. Сам абсолют—личность, ангелы — личности, умершие—личности. Общение с ними создает такую же конкретную живую обстановку—культ. И вне культа и не может быть никакого общения. Потустороннее действует конкретно–жизненно, а так как жизнь телесна, то оно действует именно телесно, не только духовно. Потому действие это чудесно магично; культ состоит не только из молитвы или обряда, но и таинств. В протестантизме потустороннее—отвлеченно и общение с ним не конкретно–жизненно, но метафизично. Протестантизм отрицает культ, а тем более таинства. Его удовлетворяет лишь абстрактная встреча с потусторонним миром, встреча в отвлеченном понятии, ибо сам этот мир есть не более как только идея, только понятие.
Что дает посюсторонний объективный мир, если его понимать как отвлеченное понятие? Он дает механистическую вселенную, так как все живое и ценное, повторяем, помещено в глубине человеческого субъекта; и объективная ценность, которую соглашается оставить этот нервный и капризный субъект объективной природе, — это быть только скелетом, пустой машиной, лишенной всякого внутреннего, человеческого или божественного, содержания. Вот почему основатель новоевропейской метафизики Декарт сразу обосновывает и примат мыслящего субъекта над бытием («мыслю, следовательно, существую»), и абсолютный механизм объективного мира, доходящий до того, что пустыми автоматами считаются и живые представители органического и одушевленного мира. Редко изучающие Декарта понимают эту глубочайшую связь его абстрактного субъективизма с его природным механизмом. А на самом деле только так и могло быть в эту эпоху (1596—1650). Слишком болезненно был заинтересован человек в том, чтобы утвердить себя как абсолют и превратить все немыслящее (все, что не res cogitans) в простое и пустое протяжение (res extensa).
Действует в этой картине мира только человеческий дух. Только ему принадлежит подлинная активность. Он хочет все понять и признает все только в меру его понятости. Непознаваемые бездны средневекового Абсолюта исчезли в рассуждениях хотящего все понять субъекта. Философия из мифологии стала абстрактным рационализмом. Она перестала интересоваться вещами в их личной неповторимости и существенности. Стали интересны лишь рационалистические схемы; и живой, наполненный всякими духами, большими и малыми, мир превратился в новейший мир механистического естествознания.
Человеческий субъект оказался на берегу безбрежного моря, темного и бесконечного. Он ощутил себя в океане бессмысленного бытия, ибо только он один есть смысл. И, ощущая себя бесконечно более ценным и глубоким, он осязает себя как победителя этого океана или, по крайней мере, как призванного к победе. Он устремляется к этой победе и не устает разыскивать способы побеждать. Но тут важны два мотива.
Прежде всего Абсолют, переставши быть личным и расслоившись на рационалистического человеческого субъекта и бесконечное темное пространство, мог признавать только эту бесконечность, которая в настоящее время уже больше полстолетия именуется потенциальной. Это не та бесконечность, признаваемая средневековьем или античным сознанием, которая целостно и привольно покоится сама в себе, как бы плещется в твердых очертаниях. Ее теперь называют актуальной бесконечностью. Она — всецело достояние антично–средневекового миропонимания (так что реставрация ее в современной математике есть отчасти реставрация именно средневековья) с тою разницею, что античность понимает эту актуальную бесконечность космически и материально, а Средние века — акосмически и духовно. Новое время осязает себя только в потенциальной бесконечности. Сущность ее в том, что предел никогда не достижим, он вечно снимается и отодвигается в неопределенную даль; и сколько бы ни двигался человеческий субъект к этому пределу, он никогда и нигде не может его достигнуть. В античной бесконечности бесконечность зависит не от отсутствия предела (который тут, наоборот, всегда наличен), но от особой внутренней ее структуры, от структуры того, что находится внутри этих пределов. А структура эта есть резкая выявленность внутреннего содержания, когда положенным и утвержденным оказывается каждый мельчайший момент этого содержания. Это есть определенность и целостность самого процесса дробления и выявления внутреннего содержания, так что, сколько ни дробится это содержание, в нем всегда присутствует целое во всей своей силе. Этого нет в Новое время. Абсолют здесь—темное бесконечное пространство, — нигде не очерчен, не охвачен границей, нигде не присутствует целиком. Его абсолютность не есть абсолютность самособранности, но абсолютность самопротивоположности, абсолютность всяческой внеположности, пребывания всякого одного вне всякого другого.
На бесконечном поле этого темного пространства, далее, мчится и рыщет человеческий субъект. Это второй основной мотив. Так как бесконечность тут только потенциальна, то субъект никогда не может найти тут удовлетворения. Его стремлениям и чувствам никогда не может быть положено никакого конца. Запад—это вечное стремление, горячечное и лихорадочное стремление и даже суматоха. Нигде ни в чем не видно ни начал, ни концов. Все превращено в движение, в стремление, вернее, в самый процесс движения и стремления. Отсюда это совершенно не античное, не средневековое учение о вечном прогрессе истории, это самозабвенное погружение в исторический процесс, это постоянное приключен–ство, авантюризм, прогрессизм и романтизм. Запад всегда спешит. Время для него—деньги. Время—это болезненно, нервно, а то и восторженно, упоительно протекающая жизнь, неустанное рвение и риск, искание все новых и новых ощущений, построений, борьбы. Это—тоска по неопределенным далям, которых и достигнуть никогда невозможно. Это не мирное и покоящееся в себе созерцание и самоудовлетворенное пребывание античности и средневековья. Это — сплошное движение, риск, борьба, страх, унынье и восторг, боль и победа, воля к охвату всего недостижимого и бесконечного, падения, взлеты, наслаждение и ужас, слезы и победный гимн.
Такое отношение к миру нельзя назвать непосредственно человеческим. Скорее, там, в феодализме, была эта непосредственность. Здесь важен не мир. Здесь важен только сам субъект. Мир нужен лишь как арена действий человеческого субъекта. Субъект поглощает все объективное, и, не будучи в состоянии воплотить его субстанциально, уничтожить его в себе как тело, как материальную массу, он поглощает его смысловым образом, идейно, постоянно направляя свое сознание на объективное бытие, с тем чтобы выжать из него все смысловое, все идейное, все рационалистическое, что в нем есть. Если мир с его бесконечным протяжением есть арена для субъективных чувств, то субъект погружается в это бытие и затрачивает свои способности с единственной целью набрать новых чувств, пережить заново и заново это бытие, упиться новыми чувствами и потонуть в них.
Это европейское мироощущение, конечно, в сущности говоря, не ценит объективного мира. Объективность ценится здесь постольку, поскольку она дает материалы для субъективно–смысловых накоплений. Когда западный романтик славословит живую природу и населяет ее живыми энергиями, говорит о Мировой душе и пр., то все это вызвано только проецированием собственных ощущений вовне, желанием понять природу изнутри, так, как человек понимает сам себя, перевести ее на язык своих личных переживаний. Радость романтизма есть радость абсолюта, творящего все из себя и наслаждающегося знанием и ощущением внутренней сущности творимых объектов. Как для рационалиста мир есть только рациональная схема, которую он «ясно и отчетливо» мыслит и бытие которой допускает лишь в меру ее мыслимости и понятости, так и для романтика мир есть только объективированное чувство и воображение, и он интересен для него и существует для него лишь в меру своей прочувствованности и ощутимости.
Вот почему романтизм есть явление всецело западное. Романтизм есть явление существенно протестантское; он не только не мешает материализму и механи [ци ]зму, но, наоборот, вместе с этим последним вытекает из единого источника абсолютного субъективизма. И вот почему античность не романтична. Она — классицизм, устойчивый, четкий статуарный классицизм, не тот классицизм Нового времени, который внутренно связан с картезианством и вырастает на переоценке рациональной стихии в человеческом субъекте, а тот классицизм, который объективен, созерцателен и исходит не из примата рассудочных форм, но из примата прекрасно–холодной статуи, классицизм греков, а не французов. Понятно так же, как не романтично и Средневековье. Средневековье—тоже классицизм, хотя и не земной, а небесный; и ему меньше всего свойственно субъективное самолюбование романтиков. Всякий романтизм для средневекового сознания всегда развратен, как равно Средневековье для романтизма всегда невежественно и скучно, хотя в поисках расширения рассудочных схем романтики всегда любили черпать материалы из средневекового сознания, интерпретируя его, конечно, в своем субъективистическом вкусе. Если бы Новалис и Ваккенродер действительно понимали «сердечные излияния монаха», т. е. средневекового монаха (всякий монах—средневековый монах), то они ужаснулись бы от той бездны сатанинской «прелести», которую они воспевают в своих сочинениях.
4. Капиталистический стиль. Все это не должно звучать отвлеченно. И что это не пустые слова, станет ясным в тот момент, когда мы коснемся внешне–конкретных сторон западноевропейского стиля. И мы увидим, насколько нешуточная вещь — западноевропейский стиль и как его мощь перевернула вверх дном всю жизнь целиком, и глубочайше–внутренние и внешне–жизненные ее стороны.
Всмотримся в западноевропейский стиль экономической жизни.
Феодальное сознание ограничивается производством исключительно для целей собственного потребления. Человеку нужно поддерживать свою жизнь определенным жизненным довольством. И вот он создает продукты для собственного потребления. В этой простой жизненной и совершенно непосредственной установке— вся сущность феодальной экономики. Если человек не может все произвести для себя, он меняет свои продукты на чужие, заводит деньги как орудие наиболее удобного товарообмена. Деньги—способ поменять один товар на другой, так что действует формула Τ—Д— Т, по которой «товар» продается за «деньги», с тем чтобы получить другой «товар». Цель этого оборота —потребление, а не накопление, удовлетворение непосредственной жизненной потребности, т. е. тут действует указанный выше принцип личностной объективности, принцип непосредственности взаимоотношений как между личностями, так и между личностями и вещами. Это статическая структура хозяйства. Хозяйство здесь принципиально не развивается; здесь нет экономического процесса. Разумеется тут что–то иное, эволюция здесь — в духе, а не в экономике. Хозяйство и все телесное — лишь пьедестал, арена осуществления высших ценностей. Хозяйство сведено здесь до того минимума, который необходим для телесного человеческого существования.
Что же получится, если не человеческая экономика будет пьедесталом для проведения объективных ценностей, а, наоборот, все объективное станет только пьедесталом для человеческой жизни, и притом в ее наиболее внешних, экономических, формах? Что получится, если человеческий субъект пренебрежет всем объективным, существующим вне его, и притом именно в обществе существующим (так как, во что превращается природа в этих условиях, мы уже знаем)? Что случится с хозяйством, если появится эта ненасытная субъективная жадность и все объективное будет признано им лишь в меру его годности для этого насыщения?
В экономической жизни мы имеем не просто антитезу вещи и ее идеи, но, согласно своеобразию этой сферы, антитезу товара и его ценности, стоимости, товара и денег. Что такое деньги? Деньги — это некоторый эквивалент товара, не сам товар, но его смысловой эквивалент. То, что во всякой вещи является ее идеей, то в экономической жизни оказывается ценой. Следовательно, если для западноевропейского стиля характерно именно смысловое накопление объективности при активном отрицании субстанциальности всего объективного, то реально это должно сказаться в экономической жизни как система денежного накопления при активном отрицании субстанциальной ценности объективного человеческого и вещественного материала. Если для феодальной системы характерна формула Τ—Д— Т, то здесь действует формула Д—Τ—Д. Здесь важно не потребление; и товар не меняется на товар ради удовлетворения непосредственных жизненных потребностей; и деньги не играют только подсобную и передаточную, второстепенную роль. Здесь деньги получают первостепенное значение, и дело вовсе не в удовлетворении житейских потребностей. Последние—дело момента. Человека волнуют тут совсем другие страсти, гораздо более сложные и беспокойные. Тут не деньги нужны для товарообмена, а товарообмен нужен для денег. Там товар превращается в деньги, чтобы стать опять товаром. А здесь деньги превращаются в товар, чтобы стать опять деньгами.
Однако не при всяких условиях такая система Д— Τ—Д осмыслена и целесообразна. Ведь и рационализм, о котором мы говорили выше, не при всяких условиях целесообразен. Западноевропейский стиль науки и философии заключается в том, что субъект затрачивает свое знание в своих операциях с объективным миром для того, чтобы отсюда получить новое знание, чтобы к старому знанию и вообще к старым субъективным ценностям (будь то в области мысли, чувства, воображения и в каких–нибудь других областях субъективной жизни) прибавит новое знание, новые чувства, новые субъективные ценности. Зачем средневековый человек общался с объективным миром, потусторонним или посюсторонним? Он скажет, если захочет формулировать последнюю сущность исповедуемой им истины, — для спасения души. Познаёт он свой Абсолют для чего? Для спасения души. Общается с людьми для чего? Для спасения души и осуществления царства небесного. Все субъективное—знание, воля, чувства — затрачивается и получает смысл исключительно ради общего субстанциально–личностного преображения мира. Тут тоже своеобразная формула Τ—Д—Т. И совсем другое—в западной культуре. Для нее это слишком ремесленная, слишком наивная точка зрения. Тут нужно накопление смыслового богатства в науке и философии. И тут нужно накопление ценностей в экономике, Д—Τ—Д.
Однако при каких же условиях возможно это осмысленное чередование Д—Τ—Д? Купить вещь за рубль, с тем чтобы продать ее тоже за рубль, — бессмысленно и бесполезно. Формула Д—Τ—Д только тогда имеет смысл, когда второе Д больше первого Д, когда продано за большую цену, чем та, за которую куплено. В науке и философии применение субъективных способностей имеет в данных условиях только тогда смысл, когда это применение даст какую–нибудь прибыль, какое–нибудь увеличение того, что имелось раньше. Иначе — какой смысл исследования, движения, домогательства, исканий? Другими словами, указанная формула получит смысл только тогда, когда она имеет формулу Д—Τ—Д+d, т. е. когда из затраты первого Д и превращения его в Г мы получаем не старое Д, но увеличенное—Д+д.
Следовательно, владеющий деньгами запускает их в «дело», в предприятие, в товары, с тем чтобы потом вернуть их с прибылью и увеличением. Теперь — как это возможно? Откуда могут взяться эти дополнительные деньги? Деньги—это ведь значимость производимых продуктов. Если нет новых продуктов, то откуда могут появиться деньги? Стало быть, затрата денег получает в рассматриваемых условиях смысл только тогда, когда превращение их в товар равносильно появлению новых продуктов, нового товара сверх того, который оплачен употребленной суммой. Обычно потребление товара ведет к его уменьшению и сокращению. Если затратить деньги на товар и употреблять этот товар в обычном смысле, то этот товар исчерпается, и больше ничего. А нужно его так потреблять, чтобы от этого потребления он возрос.
Есть единственная возможность потреблять товар, чтобы от этого получился такой эффект. Именно, необходимо, чтобы таким товаром были не продукты живой рабочей силы, но сама живая рабочая сила.
Вот тут–то мы и начинаем впервые приближаться к пониманию того, насколько европейский субъективизм есть эманация капиталистического духа. Что это значит—превращение живой рабочей силы в товар? Вот это–то и значит, что здесь мы находимся в царстве субъективизма. Это–то и значит, что теперь человек начал создавать ценности из самого же себя, из своих субъективных материалов, отвлекаясь от простого и непосредственного отношения к бытию объективному. То, что рабочий стал теперь продавать свой собственный труд как товар, это, переходя в область философии, мы и должны понимать как прекращение реального общения человека с вещами, как покинутость человека на самого же себя, как созидание человеком смысла своего существования из ресурсов своего собственного чисто человеческого существования.
Рабочий продает свою рабочую силу. Ее потребление есть ее использование, ее употребление по прямому назначению, т. е. производство. Владелец денег затрачивает определенную сумму денег на приобретение этого товара, живой рабочей силы, т. е. на наем рабочих, и этот товар потребляет, т. е. рабочие производят. В таком случае и получается, что затративший деньги может получить гораздо больше товаров, чем стоимость купленной им рабочей силы.
Два обстоятельства здесь надо отметить, и тогда западноевропейский стиль производства сможет получить от нас свое настоящее наименование.
Во–первых, рабочая сила не может быть потребительной ценностью для самого рабочего. Если бы это было так, то незачем было бы рабочему продавать свою рабочую силу. Ему вполне достаточно было бы продавать продукты своей силы, а не саму силу. Свою силу он употреблял бы на себя, а лишний продукт сбывал бы в другие руки. Но тогда этим его трудом не мог бы воспользоваться владелец денег, и вместо стремящегося и томящегося по бесконечным далям субъекта получился бы уравновешенный, денежный и спокойный субъект феодального хозяйства, работающий сам для себя, для удовлетворения своих непосредственных житейских потребностей. Итак, рабочая сила не может быть потребительной ценностью для самого рабочего, но — только для владеющего деньгами.
Во–вторых, если бы у рабочего были свои собственные средства производства, то продавать свою рабочую силу ему было бы опять нецелесообразно. Он и работал бы сам для себя. Значит, продажа собственной рабочей силы имеет смысл только в условиях отделения средств производства от рабочего. Средства производства не должны принадлежать ему.
Отсюда получается, что приведенная формула, где Д превращается в Д+d, осуществляется только тогда, когда рабочий лично свободен, когда он свободно продает свою рабочую силу в качестве товара и когда он свободен во всех отношениях, свободен от средств производства.
Употреблять получаемое знание только для своих потребностей западный индивидуалист не может. Это было бы и бессмысленно. Зачем была бы эта безумная трата сил, вся эта духовная и материальная горячка, которой страдает западная душа? Тогда было бы достаточно тех знаний и тех духовных ресурсов, которыми вполне владел уже средневековый человек. А тут вся новость заключается в том, что человек создает духовно–материальные ценности вовсе не для своего экзистенц–минимума, а для чего–то совершенно другого. Ну, пусть рабочий создает эти ценности для предпринимателя. Однако, рассмотревши этого предпринимателя ближе, мы замечаем, что созданные материальные и духовные ценности не нужны также и ему. Сам он есть только некий медиум, через который проносятся эти ценности в непрестанной своей свистопляске. Но для такой структуры общества необходимо, чтобы оно было именно медиумом, не заинтересованным в самих ценностях, но заинтересованным только в процессе их возникновения, в самой этой свистопляске. А для этого надо, чтобы рабочая сила не была потребительной ценностью для самого рабочего и чтобы последний брался в своем чистом виде, т. е. «свободным» от всего—от земли, от средств производства, чтобы никакие силы не мешали ему продавать себя, т. е. чтобы он был свободен лично и политически. Предприниматель же должен быть свободен от привязанности к продукту как таковому, от непосредственного отношения к вещам, от любовного и интимного отношения к бытию. Он должен все это приносить в жертву безудержному стремлению к накоплению. И рабочий, и предприниматель свободны тут от вещей, и оба находятся в кабале от вечного процессуализма; но у одного кабала выражена материально, а у другого—духовно.
Теперь мы можем назвать этот тип культуры подобающим ему именем. Это есть капитализм с антитезой предпринимателя и рабочего и с такой структурой хозяйства, которая обеспечивает неизменное нарастание Д, обеспечивает всем внутренним характером производственных отношений.
Капитал имеет смысл только тогда, когда он неизменно растет, когда он постоянно уходит в предприятие и оттуда возвращается обогащенным. Капитал, никак не растущий, не есть капитал. Но для постоянного роста нужны специальные производственные и хозяйственные отношения; и они превратились в специальный культурный тип только в течение новой истории Западной Европы.
В капитализме нет никакой заинтересованности в самих вещах, в самом объективно–индивидуальном бытии. Тут никто ни для кого не является личностью. Для капиталиста рабочий не личность, но лишь арена для превращения Д в Д+ό. Равным образом и производимые вещи для него не вещи; они ему нужны только для превращения Д в Д+d. И для рабочего производимые им вещи не суть вещи. Он не только ими не пользуется, но часто даже не видит их в законченном виде. При той рационализации и дифференциации производства, которой отличается капитализм, рабочий часто является автором только некоторой мелкой части создаваемой вещи, и ему меньше всего доступно ощущать создаваемую на производстве вещь именно как цельную вещь. Таким образом, никто ни для кого не является в капиталистической культуре индивидуально–объективной субстанцией и ценностью. Строго говоря, даже Д не является для капиталиста той вещью, которую бы он действительно ценил, к которой бы он стремился. Даже больше того. Его не интересует в этом смысле даже Д+d. Ничто личностное и индивидуально–вещественное его не интересует. Единственное, что его интересует, — это не Д и не Д+d, но самый переход от Д к Д+d, самый процесс, идущий от Д к Д+d, этот европейский уход в бесконечную даль власти, могущества, риска, борьбы, наслаждения и страдания.
То, что создает в науке бесконечную, не имеющую границ вселенную, эти бесконечные миры Джордано Бруно, то самое в экономической жизни ведет к капиталистическому способу производства. То самое, что заставляет человека направлять свой рассудок в отношениях с природой и видеть в них лишь схему, лишь арену для рассудочных исследований, то самое в экономике заставляет предпринимателя бросать наивные, непосредственные методы феодализма и переходить ко всеобщей рационализации хозяйства, к детальной дифференциации труда, к превращению рабочего в схему, в арену для рассудочного, жесточайше расчетливого и рационального использования живого человеческого материала для собственных романтических полетов.
II. ИСЧИСЛЕНИЕ БЕСКОНЕЧНО–МАЛЫХ И ЕГО ОСНОВНЫЕ КАТЕГОРИИ
1. Бытие, небытие, становление. Приступая к логическому анализу всех основных категорий, оперирование с которыми создает науку математического анализа, мы должны помнить, что далеко не все, понятное математически, тем самым является понятным и с философской точки зрения. Часто бывает так, что математик ограничивается каким–нибудь очень коротким разъяснением или формулой, философ же затрачивает массу времени и пространства, чтобы эту короткую и простую формулу разъяснить для себя и понять. Точно так же нередки и случаи, когда весьма пространные математические выкладки для философа не имеют почти никакой цены и из массы доказательств важной оказывается только какая–нибудь одна идея. Тем не менее давно уже настало время, когда математический анализ требуется понять широко философски и ощущается насущная потребность вывести его из формалистического тупика и пустой, бессодержательной трактовки.
Мы рассмотрим ряд категорий, приводящих к самому понятию бесконечно–малого, потому что понятие это с логической точки зрения довольно сложное и те определения, которые мы имеем в руководствах по анализу, для нас слишком формалистичны и техничны. Они совсем не вскрывают ту логическую структуру, которая кроется в понятии бесконечно–малого.
Мы начнем с тех трех категорий, с той общезначимой диалектической триады, без которой невозможно вообще никакое логическое построение, и каждое логическое построение есть только вид этой триады, один из бесконечно разнообразных ее случаев. Это та триада, с которой начинается всякая диалектика:
1) бытие,
2) небытие (инобытие),
3) становление.
Тут прежде всего — бытие. Почему диалектика начинается с бытия? Потому что всё, всякая категория, прежде чем быть самой собой, должна просто быть. Прежде чем быть чем–нибудь и как–нибудь, надо сначала просто быть. Вот почему диалектика, желающая дать всю область знания в системе, необходимым образом начинает с «бытия». Бытие—первый шаг, первый жест, первое движение, первая точка диалектики. Без этой точки, без этого первоисточника никакое построение невозможно.
Далее, бытие не может остаться только бытием, просто бытием. Бытие не есть бытие вообще. Если бы оно всегда оставалось бытием вообще, мы никогда не смогли бы получить никаких конкретных форм бытия. Существует не просто бытие, но и разные виды бытия. А для этого нужна такая универсальная категория, которая бы сделала возможным существование этих разных видов бытия. Такой категорией является инобытие, т. е. иное, другое бытие, являющееся по отношению к первому общему бытию отрицанием его, отсутствием его, небытием. Как только мы положим бытие, так тут же необходимо полагать и небытие; это понятия соотносительные. Если есть черный цвет, то он может быть только тогда, когда есть (или по крайней мере мыслится) не–черный цвет. Если мыслится белое, значит, как–нибудь и где–нибудь существует «не–белое». Также и «бытие», если оно реально есть или мыслится, то тем самым есть или мыслится «инобытие».
Но стоит только немного задуматься над той антитезой бытия и небытия, как становится совершенно ясно, что остаться при такой антитезе совершенно невозможно. Если оставить эти две области бытия и небытия в их голой и абсолютной противоположности, то совсем не будет достигнута цель, ради которой мы и ввели понятие инобытия. Мы ввели его для того, чтобы вместо абстрактного и общего бытия получить его конкретные виды. Но если инобытие будет абсолютно оторвано от бытия и не будет как–то с ним совмещено, — не возникнет и никаких конкретных видов бытия. Необходимо их как–то объединить, эти категории бытия и небытия, как–то нащупать то, что есть в них общего и что могло бы нейтра–лизировать этот дуализм двух противоположных логических стихий. Но что значит найти общее, что значит объединить? Это значит найти такую новую категорию, где обе полученные уже содержались бы и где они были бы покрыты чем–то третьим, что их и объединило бы.
Такой категорией является становление. В становлении мы находим прежде всего то, что становится. Стало быть, тут бытие налично. Но вместе с тем здесь же мы имеем тоже и некое как бы отталкивание от этого бытия. Становление есть ведь некий процесс, где бытие все время меняется и переходит в другое. В каждый мельчайший момент своего становления бытие—все иное, иное и иное. Оно тут никогда не одно и то же. В каждый мельчайший новый момент бытие оказывается небытием в отношении к прежнему бытию, к бытию в его прежней форме. И таким образом, в каждый мельчайший момент становления становление оказывается и бытием, и небытием. Потому в диалектике и говорят, что бытие и небытие синтезируются в становление.
2. Целое, дробное, бесконечность. Тут мы пока еще у преддверия анализа бесконечно–малых, но пока еще не вошли в него, не получили еще самого понятия бесконечно–малого. Попробуем конкретизировать достигнутую нами диалектическую ступень — с тем чтобы дойти постепенно и до этого понятия.
Первое, с чем мы тут встретимся, — это понятие и область числа. Когда мы выставляли указанную диалектическую триаду, мы не имели в виду чисел, а говорили в применении вообще ко всяким возможным предметам мысли. Теперь необходимо эту же самую триаду провести в чисто числовой области.
Разумеется, различных форм приложения этой триады к области чисел очень много. Так, напр., если мы возьмем положительное число, то антитезой к нему будет, очевидно, отрицательное число, а синтезом, в котором соединится то и другое, будет, очевидно, нуль. Но эта триада неинтересна в смысле получения понятия бесконечно–малого, и она ничего не разъясняет нам в математическом анализе. Потому подробно говорить о таких построениях надо только в общей философии числа, но не в логике математического анализа. Что же в числе есть такого, диалектическое понимание чего приводит нас вплотную к математическому анализу?
Математический анализ есть исчисление бесконечно–малых. Стало быть, здесь мы находимся в области учения о бесконечном. Спрашивается: что такое бесконечность?
Самое простое и самое «понятное» популярному сознанию — это то, что бесконечность есть нечто, не имеющее конца. Хотя это как будто и ближе всего передает смысл данного понятия, тем не менее считать это вполне ясным совершенно невозможно. Как понимать это отсутствие конца? Обычно это понимается так, что, сколько бы мы ни двигались к границе, мы никогда не можем ее достигнуть. Другими словами, в понятие бесконечности вносят идею процесса. И это вполне справедливо, хотя, быть может, и недостаточно. Самое простое и самое понятное—это понимать бесконечность как бесконечный процесс. Однако этим нисколько задача не решается. Вместо того чтобы определить понятие, выраженное при помощи существительного («бесконечность»), мы в данном случае приходим к необходимости определять понятие, выраженное через прилагательное («бесконечный процесс»). И если мы там не понимаем, что такое бесконечность, то не станет она понятнее и здесь. Какой же процесс мы должны считать бесконечным? Вот вопрос, который теперь предстоит нам решить.
Пусть мы от 1 перешли к 2, от 2 к 3, от 3 к 4 и т. д. Спрашивается: можем ли мы когда–нибудь на этом пути получить бесконечно–большое число? Пусть мы знаем, что такое 2; и пусть нам известно, что такое 10. Можем ли мы путем прибавления отдельных единиц получить из двойки десятку? Конечно, можем. На пути прибавления к двойке отдельных единиц и лежит то самое число, которое называется десяткой. Но можем ли мы на этом же самом пути получить бесконечность? Очевидно, нет. Зная только одни конечные числа, мы, какими бы арифметическими операциями ни пользовались, никогда и никак не можем получить бесконечную величину. Это значит, что бесконечность отличается от конечных величин отнюдь не количественно, а качественно. Это какое–то особое качество среди количественных операций; и к нему нельзя прийти путем обычных количественных операций, но только путем «скачка».
Итак, ни голая процессуальность не определяет бесконечности, хотя и как–то входит в нее, ни голая количественность не определяет бесконечности, хотя тоже как–то входит в нее. Приходится, следовательно, искать иных путей для нахождения понятия бесконечности.
Обратим внимание на следующее. Бесконечность не увеличивается и не уменьшается от количественного ее увеличения и уменьшения. Стало быть, в каждом отдельном пункте бесконечность есть уже вся бесконечность, какие бы операции мы над ней ни производили. Каждый момент бесконечности есть и вся целая бесконечность. Раз оо + А (любое число) =оо, то ясно, что в бесконечности каждая отдельная ее часть равняется всей бесконечности, взятой в целом. Этого, разумеется, никогда не бывает в конечной области. Тут всегда часть меньше целого и целое больше части. Этим область бесконечности коренным образом отличается от области конечных величин. Тут, однако, кроется и еще одна категория. Простое тождество целого и части еще ничего не говорит о бесконечности, если эти категории брать самостоятельно. Нужно точнее определить способ отождествления целого и части и ясно ощущать форму этого отождествления. Этот способ и эта форма не могут быть статическими. Бесконечность, видели мы, есть прежде всего процесс. Следовательно, отождествление целого и части должно быть дано в процессе, в становлении. Становление должно объединить целое и часть или, вообще говоря, целое и дробное, и тут–то и необходимо искать категорию бесконечности.
Как же протекает этот процесс отождествления целого и части в бесконечности?
Чтобы перейти от целого к дробному, надо перейти от бытия к небытию. Дробное—инобытие целого. Целое, воплотившись в инобытие, превращается в отдельные части и их сумму. В целом все элементы существенно связаны один с другим, почему они и являются элементами, или частями. Когда же целое воплощено в инобытии, все его элементы тоже воплощены в инобытии, но они уже дискретны друг в отношении друга, так как всякое инобытие есть всегда прежде всего внеположность и саморазличение, самоотрицание. Итак, целое выражается внешне–инобытийным образом в дробном, в отдельных частях, в сумме частей, в том, что в отличие от внутреннего центра целости можно назвать всем. Всё — воплощенное в инобытии целое.
Но если так, то спрашивается: может ли инобытийная стихия выявить внутреннюю целость вполне и адекватно? Конечно, может. Тогда в инобытии мы находим именно всё. Но она может выявлять его и не полностью, не адекватно. Становление есть как раз такая категория, которая мешает в данном случае адекватному выявлению целости. В целом все дано сразу, а становление все дает постепенно, не сразу. Следовательно, если дать свободу стихии становления, то целое, хотя и будет все время дробиться на части (в инобытии) и будет в них постоянно присутствовать, оно никогда не получит полного выявления и всегда будет только стремиться к полноте выявления. Целое дробится на части, и эти части призваны выразить его целиком; но так как части эти тождественны с целым, то количество элементов целого присутствует в части, она тоже делится на те же части, а часть этой части опять, в силу своего тождества с целым, содержит в себе то же количество частей и т. д. и т. д. Идя по этому пути, мы никогда не сможем выразить всего целого при помощи его частей — и это потому, что части возникают в результате постепенного дробления, т. е. в результате становящегося дробления, в результате становящегося отождествления целого и частей.
Теперь мы можем дать некоторого рода логическую формулу, определяющую понятие бесконечности.
Бесконечность есть становящееся тождество (или становящийся синтез) целого и дробного.
Это простейшая концепция бесконечности, без которой невозможно будет понять и отдельных видов бесконечности. Тут мы видим, что без момента целости нельзя получить понятие бесконечного. Видим также, что в бесконечность входит и момент процесса, становления. Необходимо полнейшим образом представлять себе участие каждого из этих моментов в общем понятии бесконечности.
Целое дробится, выражается своими частями. По условию целое должно содержаться в своей части — тем самым возникает их тождество. Но части должны мыслиться не стационарно, но в последовательном возникновении, в становлении. Тогда получается невозможность исчерпать все части целого, т. е. образуется бесконечность.
В бесконечности дана целость, но не сама по себе, а как подчиненный момент. Если бы ее тут не было, то не могло бы быть и дробления, т. е. не было бы никакого перехода к мельчайшим частям и не было бы, значит, ухода в бесконечность. В бесконечности дана дробность, но опять–таки не сама по себе, а как подчиненный момент. Если бы ее тут не было — опять не могло бы возникнуть процесса дробления и не могло бы возникнуть ухода в бесконечность. Бесконечность не целое и не дробное. Но она и целое, и дробное, и нечто гораздо большее, в чем обе эти категории как бы взаимно растворяются. Это целое, из объединившее, есть становление одного другим, становление целого дробным и дробного, частного—целым. В бесконечности все последовательные моменты равны один другому, но они в то же время и различны, так как возникают они в процессе становления. Целое стремится выразиться в убывающих частях и не может, и части стремятся стать целым и не могут. Все это в процессе становления по самой природе своей алогично, т. е. нерасчленимо, неразличимо.
Бесконечность, таким образом, есть вид становления. От становления рообще этот вид становления отличается тем, что тут совпадает не просто бытие с небытием, но именно целое с дробным. Каждый момент бесконечности представляет собою не просто переход от бытия к небытию и от небытия к бытию, т. е. не просто уничтожение и возникновение, но переход к раздробленности и обратно, т. е. рост целостности и дробления. Когда мы движемся в области бесконечности от одной точки к другой, то тем самым мы, во–первых, удаляемся все в большую дробность, но в то же время, во–вторых, обнимая все большее и большее количество точек, мы неизменно стремимся ко все большей и большей цельности. Такая структура числа, где эти два процесса являются существенно тождественными, такая структура числа и называется бесконечностью.
Из предыдущего вполне ясно, что бесконечность меньше всего определяется размерами. Бесконечность помещается в любых конечных размерах. Если мы возьмем линию длиною в 5 см, то на ее протяжении поместится бесконечное количество точек. Если мы возьмем линию длиною в 1 см, то, очевидно, на ней тоже поместится бесконечное количество точек. Если мы возьмем линию в 0,1 см, в 0,01 см, в 0,001 см длиною и т. д. и т. д., то и на этих линиях, как бы малы или велики они ни были, тоже помещается бесконечное количество точек. Отсюда совершенно ясно: бесконечная величина определяется не абсолютными размерами числа или вещи, но определенно— взаимоотношением их целости и их дробности, а именно тем взаимоотношением, когда они даны как полное тождество.
3. Антиномии и типы бесконечности. Вопрос об антиномиях, равно как и вопрос о типах бесконечности, — не только сложная вещь, но она потребовала бы и слишком пространного изложения. Заниматься этим, однако, должны теоретико–философские сочинения, в то время как настоящее сочинение имеет очень узкие цели, да и занимается математический анализ, если его брать в чистом виде, только одним специфическим типом бесконечности. Поэтому, не развивая антиномики бесконечного в систематическом виде, формулируем то, что уже было сказано выше, в расчлененно–антиноми–ко–синтетической форме и тем самым дадим по возможности четкое изображение диалектики понятия бесконечности.
I. 1. Целое состоит из частей, так как в нем ничего и нет, кроме частей.
Это значит, что целое тождественно со своими частями.
Но тогда оно распростерто по всем своим частям и, след., находится везде.
Итак, целое, состоя из частей, находится везде.
2. Целое не состоит из частей, так как ни одна часть, взятая сама по себе, не говорит о целом, и, след., не говорят о нем и все части, взятые вместе.
Это значит, что целое не содержится в своих частях, т. е. оно не находится нигде.
Итак, целое, не состоя из частей, нигде не находится.
3. Целое и состоит, и не состоит из своих частей, т. е. оно сразу и одновременно и находится везде, и не находится нигде.
Но «состоять» и «не состоять», равно как и «везде» и «нигде», связаны между собой антитетически, т. е. как бытие и небытие. Поэтому связаны они между собой как становление одного другим.
Следовательно, целое и его части находятся в процессе становления, в котором они взаимно переходят одно в другое, т. е. целое неразличимо становится самими частями и части неразличимо становятся целым.
II. 1. Целое—везде.
Это значит, что части его взаимно неразличимы.
2. Целое — нигде.
Это значит, что части его взаимно различимы.
3. Целое—и везде, и нигде.
Следовательно, части целого находятся в процессе становления, в котором они взаимно переходят одна в другую, т. е. каждая отдельная часть неразличимо становится каждою другою частью.
III. 1. Целое становится частями, как и части целым; и части становятся одна другою.
2. Но в становлении отождествлены бытие и небытие.
Здесь бытие становится небытием; стало быть, оно уничтожается.
И небытие становится бытием; стало быть, оно возникает.
Становление, следовательно, есть противоречие возникновения и уничтожения.
Разрешается это противоречие в такой категории, где возникновение и уничтожение совпадают.
Эта категория есть то, что получается в результате становления, т. е. ставшее. И ставшее возникает в каждый мельчайший момент становления; поэтому ставшее в свою очередь пребывает в процессе становления, рассыпаясь на бесконечное количество ставших моментов и из них восстановляясь.
3. Целое и части, а также части между собой возникают одно из другого и уничтожаются одно в другом при полном отождествлении этих процессов. Становящееся тождество возникновения и уничтожения есть бесконечность.
В результате этого бесконечностью нужно считать такой процесс, в котором каждый мельчайший новый момент есть возникновение нового, небывалого и в то же время уничтожение как всех старых моментов, так и самого себя.
Полученное нами здесь понятие бесконечности может быть развито в трех разных направлениях.
Во–первых, можно в этом понятии выдвигать на первый план момент количества, счетности. Хотя, строго говоря, бесконечность не есть нечто количественное и ее нельзя получить в результате счета, все же она относится к числовой сфере, и какую–то количественность она в себе содержит. Эта количественность совсем особого рода. Тут отдельные моменты количества слиты один с другим до полной неразличимости. И тем не менее они все же наличны. Упирая на счетность, мы получим тип бесконечности, который есть.
I. Арифметическая бесконечность. С этим типом бесконечности мы стараемся производить обычные арифметические операции, хотя своеобразие этой категории приводит к своеобразию и операций над нею.
Во–вторых, в общем понятии бесконечности мы можем выдвинуть то, что является антитезисом всякой раздельной счетности, т. е. чистую стихию становления, чистую процессуальность, становящуюся неразличимость. Без этого момента бесконечность также немыслима, хотя она и не есть только этот момент. Этот тип бесконечности и есть тот тип, который рассматривается в чистом математическом анализе. Отсюда ее можно назвать и соответствующе:
II. Аналитическая бесконечность.
Наконец, можно выдвигать в общем понятии бесконечности оба этих момента вместе — раздельную счетность и неразличимое становление (невозможность счета). Тогда первый момент воплотится на втором, как всякая отвлеченная идея воплощается на безразличном материале. Идея — раздельность, логическая последовательность, форма и система; становление безраздельно, алогично и бесформенно. Объединение их дает фигурную бесконечность, определенным образом оформленную, «упорядоченную», ту, которая является предметом особой математической науки, — учения о множествах. Ей можно дать тоже свое название.
III. Аритмологическая бесконечность.
Арифметическая, аналитическая и аритмологическая бесконечности суть три наиболее ярко отличающиеся друг от друга типа бесконечности. Немудрено, что ими занимаются три столь различные математические науки.
Нас в дальнейшем будет интересовать, конечно, только второй тип бесконечности — аналитический.
4. Непрерывность (постоянная и переменная величина), прерывность и предел. Однако прежде чем войти в рассмотрение самого математического анализа, необходимо определить еще ряд категорий, которые так же основоположены для анализа, как и понятие бесконечности. Их тоже обычно излагают в случайной форме, не связывая в диалектическую систему, в то время как это касается самых основных сторон математики, и они не могут не иметь диалектического строения, если все вообще категории возникают диалектически.
Ряд категорий, которые требуют нашего рассмотрения, отличаются одним общим признаком. Число есть непосредственное бытие; в нем нет еще различия между самим числом и его значением. До сих пор мы имели число само по себе. Целое, дробное и бесконечное число есть значения числа в смысле его внутреннего строения. Чтобы узнать, является ли данное число целым или дробным, необходимо всмотреться в само число непосредственно, не обращая никакого специального внимания на фон, его окружающий. Это касается и не только числа. Чтобы судить, является ли данная вещь цельной, надо, очевидно, рассмотреть строение самой вещи, как оно дано в контурах, внутри контуров данной вещи. Когда сосуд, напр., имеет трещину или дыру, то для констатирования этого достаточно только изучить сосуд в тех границах, которые даны очертанием этого сосуда. И мы вполне будем в состоянии определить, является ли данная ваза целой, или она разбита. Однако о значении числа или вещи можно говорить и с точки зрения их внешней судьбы. Можно представить себе, что вещь мыслится совершенно неизменной сама по себе, но что она погружена или вовлечена в какое–нибудь изменение, оставаясь сама по себе целой. Можно иметь одно и то же число или комбинацию чисел и, оставляя их в одном и том же виде, придавать им те или иные внешние значения. Тут не будет ни просто числа, взятого в его непосредственности, вне каких бы то ни было количественных значений, ни числа, в котором имеются в виду только изменения во внутренней структуре. Тут число вступит в новые значения при полном сохранении внутренних структур или, вернее, независимо ни от каких внутренних структур.
Прежде всего величина с этой внешней точки зрения может никак не меняться; она может иметь, так сказать, нуль изменения. Такую величину называют постоянной величиной. Антитезой к этой постоянной величине является, очевидно, переменная величина.
Что такое постоянная величина и что такое переменная величина, это известно уже из элементарной математики. В анализе эта пара понятий играет, однако, гораздо большую роль. Возьмем, напр., площадь треугольника. Из элементарной геометрии известно, что эта площадь равняется половине произведения основания на высоту. Эта формула — «половина произведения основания на высоту» — нисколько не зависит от величины самого основания и самой высоты. Самая эта связь основания и высоты для выражения площади вполне постоянна. Еще ярче, однако, антитеза постоянной и переменной величин в случае, когда выставляется теорема: «сумма углов треугольника равняется двум прямым». Сколько бы ни увеличивать и ни уменьшать отдельные углы треугольника, сумма их все равно остается равной двум прямым. Ясно, что величины отдельных углов треугольника суть переменные величины и сумма всех трех сторон треугольника есть величина постоянная. В физике устанавливается закон о том, что произведение давления газа на его объем есть величина постоянная. Следовательно, если меняется давление, то соответствующе меняется объем газа, произведение же обеих величин никогда не меняется. Ясно, что объемы и давления суть в этом законе переменные величины, их же произведение—постоянная величина.
Вдумываясь в существо этих двух категорий, мы отчетливо видим, что отличие их от величины просто, от величины вообще заключается в том, что тут «величина вообще» содержит в себе еще особый слой, слой внешней характеристики. Постоянная и переменная величина есть, прежде всего, величина просто, а во–вторых, еще утверждается, что эта величина имеет такое–то или такое–то значение. Это значение — чисто внешне в отношении величины, взятой самой по себе. В одном случае угол треугольника равен 30°, другой раз—45°, третий раз — 60° и т. д. и т. д. Эта величина может быть какой угодно (имея в виду общую сумму углов, равную двум прямым). Размеры угла, ясно по самому смыслу, не имеют никакой связи с самим понятием угла. Поэтому размерность есть нечто внешнее в отношении самого понятия угла. И на этом основании мы и говорили, что постоянная и переменная величины есть внешнее инобытие числа и эта внешность, конечно, к тому же вполне отождествлена с непосредственно данным числом, с числом самим по себе.
Но интереснее всего то, что получается от соединения этих двух категорий—постоянной и переменной величин. Диалектический синтез всегда особенно интересен; он часто таит в себе полную неожиданность. Так, из синтезирования целого и дробного получалась (быть может, с первого взгляда довольно неожиданно) категория бесконечности. Что же получится из синтезирования постоянной и переменной величин? Какова та категория, в которой обе эти категории совпадают совершенно, точно сливаясь в полную неразличимость на фоне вполне новой и в них не содержащейся конструкции?
Такой категорией является непрерывность.
Подобно тому как бытие и небытие объединяются в становление, так и постоянная величина с переменной объединяются в непрерывной величине. Непрерывная величина, во–первых, есть нечто постоянное. В самом деле, самый смысл непрерывности заключается в том, что каждый ее момент совершенно одинаков со всяким предыдущим моментом. Непрерывная величина потому и «не прерывается», что она везде одинаковая, что она не меняется, что она всецело постоянная. Таким образом, постоянство, несомненно, входит в категорию непрерывности в качестве конститутивного момента; непрерывность без него немыслима. Однако также ясно, во–вторых, что непрерывность требует для себя и момента изменения. Это значило бы, что вся непрерывность свернулась бы в одну точку. Допустим, что в непрерывности нет изменения. В то же время, однако, в непрерывности мыслится некий процесс. Непрерывность есть именно процесс, т. е. движение, изменение; но это такой процесс, в котором все моменты процесса сливаются в одно и то же, в один и тот же момент. Если различать в каждом моменте самый факт этого момента, субстанцию, и, с другой стороны, его смысловую, идейную сторону, то необходимо сказать, что по факту, по субстанции, все эти точки абсолютно разделены, внеположены, находятся одна вне другой; с точки же зрения смысла, идеи все они суть нечто одно, совершенно одно, неразличимое тождество и единство. В этом и заключается тайна непрерывности: в ней дано фактическое движение, движение по факту, т. е. разнообразие, бесконечное фактическое разнообразие отдельных точек; и с другой стороны, тут дано полное смысловое идейное отождествление всех бесконечных точек, как бы они ни возникали и сколько бы их ни возникало.
Непрерывная величина есть тождество постоянной и переменной величин.
Непрерывность, однако, не может быть утверждаема сама по себе, без другой категории, которая с нею соотносительна. Раз мыслится непрерывность, то тем самым должна мыслиться и прерывность. Одно без другого совершенно немыслимо. Таким образом, достигнутый нами синтез непрерывности в свою очередь переходит в новый антитезис, в прерывную величину, и, следовательно, в свою очередь требует еще нового синтеза.
Синтезом прерывности и непрерывности является предел.
Предел немыслим вне понятия процесса. Предел есть то, что достигается в течение того или иного определенного процесса. Какой это процесс? Если это есть именно процесс достижения, то это достижение происходит постоянно, постепенно. Чем больше и дальше двигаемся мы в сфере этого процесса, тем ближе мы к пределу, тем больше мы его достигаем. Итак, предел есть некое движение, изменение и некий процесс.
Спросим теперь себя: какой же именно это процесс? С одной стороны, даже самое понятие предела говорит о некоей определенности и конечности. Движение происходит в определенном направлении, и оно имеет какую–нибудь определенную, конечную цель. Без этой идеи не может существовать никакого предела. Однако, с другой стороны, предел в математике не мыслится просто, как граница и конец. Этот предел в математике всегда мыслится как нечто недостижимое, хотя и конечное, как нечто притягивающее к себе издали приближенную величину, но никогда не совпадающее с этой приближенной величиной. Предел, с одной стороны, конечен, а с другой—эта его конечность никогда не может быть вполне адекватно охвачена. Как это можно совместить?
Совместить это можно только тем обычным диалектическим путем, который от бытия и небытия ведет к становлению. Необходимо, чтобы достижение конечного предела и постоянное его недостижение совместились во взаимном становлении, т. е. так, чтобы достигнутая конечность все время сдвигалась с места и заменялась другой, тоже достигнутой конечностью и чтобы бесконечное, постоянное достижение выражалось, тоже постоянно, в определенных конечных пунктах. В таком становлении мы получаем, следовательно, бесконечный ряд конечных величин, но эти конечные величины, уменьшаясь все больше и больше, приближаются к определенной величине, хотя никогда ее и не могут достигнуть. Становление, как мы видели, всегда алогично: оно неразличимо внутри себя и оно не имеет никаких точных границ и на своей периферии. В данном случае в процессе становления находится прерывность в отношении непрерывности и непрерывность в отношении прерывности. Это значит, что прерывность должна становиться непрерывностью, а непрерывность должна становиться прерывностью. Поскольку становление есть всегда постепенный процесс, постольку прерывность становится непрерывностью постепенно, сплошно, последовательно, равно как и непрерывность — прерывностью. Возможно это только так, что прерывность делается все меньше и меньше прерывистого, т. е. промежутки между прерывными моментами делаются все меньше и меньше и таким образом прерывность все больше и больше превращается в непрерывность. Точно так же и непрерывность по мере своего продвижения все больше и больше покрывается прерывными точками, и эти прерывные точки застилают ее все гуще и гуще — правда, без всякой возможности когда–нибудь достигнуть абсолютного перекрытия непрерывности прерывностью. Заметим, что становление алогично не только в том смысле, что оно неразличимо само в себе, само внутри себя, но и в том, что оно неразличимо и по своей периферии, т. е. не имеет никаких законченных границ и в этом смысле безгранично. Отсюда понятно, почему становление прерывности непрерывностью или непрерывности прерывностью никогда не может быть кончено; по самому смыслу своему оно абсолютно беспрерывно. И значит, предел, диалектически синтезирующий непрерывность и прерывность — по типу категории становления, — есть в одно и то же время и полная недостижимость для числового процесса, и выраженность, достигнутость в каждый отдельный момент этого процесса, причем эта выраженность и достигнутость бесконечно интенсифицируется, возрастает.
Предел—это та категория, которая (правда, в довольно вялом виде) применяется уже и в элементарной математике. Главное ее место, однако, в математическом анализе; и тут на ней, можно сказать, построена целая наука.
Пусть в круг вписан квадрат. Если мы удвоим количество его сторон, то площадь его, конечно, увеличится и периметр его тоже увеличится. Это удвоенное количество сторон может быть удвоено еще раз, еще раз и еще раз. Оно может быть удвоено до бесконечности. Периметр, последовательно меняющий свою форму в зависимости от количества удвоений, будет стремиться, очевидно, к окружности и в пределе совпадет с нею. Окружность, говорят, есть предел вписанных многоугольников при бесконечном увеличении количества сторон, равно как и предел описанных многоугольников при бесконечном увеличении количества сторон.
Здесь окружность есть нечто определенное и конечное; каждый многоугольник, вписанный или описанный, с любым количеством сторон, есть тоже величина определенная и конечная; но многоугольник тут дан не сам по себе, но в своем становлении (в смысле увеличения количества сторон); потому и количество сторон все время растет, по длине они делаются все меньше, и, значит, в целом же они приближаются все больше и больше к окружности; окружность для них—предел. Тут вполне отчетливо выступают две основные категории—непрерывности и прерывности и их синтетическое взаимопревращение, сплошной и бесконечный переход непрерывности в прерывность и прерывности в непрерывность.
Итак, вот диалектическая схема указываемых нами понятий: непрерывность, прерывность, предел, при этом непрерывность сама возникает как синтез постоянной и переменной величин.
5. Бесконечно–малое и бесконечно–большое. Только теперь мы можем формулировать то основное понятие, на котором строится весь математический анализ, — понятие бесконечно–малого (и, значит, бесконечно–большого). Оно возникает как напряженное, конденсированное выражение всех только что рассмотренных нами категорий.
Непрерывность (с постоянной и переменной величинами), прерывность и предел — все это, вместе взятое, может рассматриваться как нечто целое. Именно — это то, что противостоит числу, взятому в его чисто арифметическом виде, т. е. числу, взятому как непосредственное бытие. Когда мы берем числа натурального ряда и производим над ними арифметические действия, то здесь не возникает никаких сопоставлений каждого отдельного числа с тем или иным его внутренним или внешним функционированием. Произведя, напр., деление одного числа на другое, мы не ставим никаких вопросов о том, являются ли эти числа, делимое, делитель и частное, величинами постоянными, переменными, прерывными, непрерывными или предельными. Никаких таких вопросов тут совершенно не возникает. Это понятно. Все эти вопросы связаны с числом в том или ином опосредствованном виде. Когда мы говорим «5», «10», « », «3» и т. д., мы производим арифметические операции над числами в том их виде, как они и даны. Когда же мы говорим, напр., «переменная величина», то тут имеется в виду не только непосредственная значимость числа самого по себе, но еще и его определенное логическое отношение к тому фону, на котором оно дано. Тут—опосредствованная значимость числа.
Но если это так, то число арифметическое, как непосредственно значащее, число в смысле непрерывности, прерывности и предела, как опосредствованно значащее, находятся друг в отношении друга в состоянии диалектической антитезы. Если по общей диалектической схеме непосредственность признать за бытие, то опосредст–вованность необходимо будет признать за небытие, и между обеими категориями возникает диалектическое противоречие. Оно ждет разрешения и синтеза.
Что нужно для синтеза? Нужно, чтобы непосредственно значащее арифметическое число восприяло на себя категории непрерывности, прерывности и предела, т. е. чтобы оно лишилось своей стационарной значимости и проб [уд ]ило в себе эту двуплановость, требуемую данными категориями. С другой стороны, также необходимо, чтобы эти три категории воплотились на реально значащем числе, или величине, и перестали быть только отвлеченными признаками неизвестно каких величин. Этот диалектический синтез и совершается в понятии бесконечно–малого.
Самое простое математическое определение бесконечно–малого есть следующее. Бесконечно–малое есть переменная величина, имеющая своим пределом нуль. С виду простое, это определение, однако, содержит в себе немало разных подчиненных моментов, и они враздробь указаны нами в предшествующем, подготовительном изложении.
Во–первых, бесконечно–малое есть величина переменная. Одно уже это тянет за собою всю систему категорий, которую мы наметили выше. И уже один этот момент накладывает неизгладимую печать на всю изучаемую нами категорию. Бесконечно–малое—это сплошь стихия становления, изменения; тут ничто не стоит на месте, все движется и беспокойно требует расширения, углубления, распространения.
Во–вторых, бесконечно–малое есть такая переменная величина, которая имеет определенный предел. Отнюдь не всякая переменная величина имеет предел, стремится к пределу. Возьмем самую обыкновенную синусоиду. Эта равномерно вьющаяся вокруг прямой кривая никуда не стремится, ни к какому пределу не стремится, сколько бы ее ни продолжали. Она проходит одни и те же значения бесконечное число раз; эти значения неизменно повторяются, и кривая от этого ровно ни к чему не приближается и не стремится ни к какому пределу. Бесконечно–малое [же] как раз имеет такой предел, неизменно стремится к нему; предел управляет бесконечно–малым и притягивает его к себе из таинственного полумрака бесконечности. Это создает для понятия бесконечно–малого вполне оригинальный стиль, который еще усиливается от других элементов этого понятия. Подчеркнем, что изменение, поскольку речь зашла о пределе, дано тут не само по себе, но в становлении, в алогическом становлении. Оно само стремится в какую–то даль, и стремится сплошно, неразличимо, безраздельно. Предел, следовательно, достигается тут при помощи бесконечного процесса приближения. Другими словами, этот предел никогда и нигде не достигается, а дано только вечное стремление, вечное движение, неустанный уход в бесконечные дали.
В–третьих, бесконечно–малое есть такая переменная величина, которая имеет своим пределом нуль. Нуль в качестве предела рисует всю нашу картину вечного стремления совсем в другом, в небывалом виде. Что это значит? Что значит это вечное стремление—и к чему же? К нулю, в ничто, в небытие! Это значит, что дух, живущий по законам бесконечно–малого, не только стремится куда–то вдаль и не только это стремление вечно, но, кроме того, тут ставится задача исчерпания бытия, охвата бытия до последней его точки, использование его до тех пор, пока не останется в нем нуль бытия, пока не перестанет существовать само бытие и не превратится оно в ничто. Инфинитезимальный дух хочет исчерпать все бытие, пережить всю стихию жизни, завоевать до последней точки все существующее, охватить его умом и сердцем, сделать соизмеримым с собою, адекватным себе, превратить его из сверхразумной бездны в ощутимую бездну, перевести ее всю–всю целиком на язык своего субъекта, своего сознания, потопить и растворить в глубинах собственной личности. Вот что значит это стремление бесконечно–малого к нулю как к своему пределу; и вот почему это не вообще переменная величина и не вообще процесс, хотя бы и бесконечный процесс, но процесс, имеющий своею целью нуль, исчерпание охватываемого им бытия до нуля.
В этом смысле бесконечно–большое мало чем отличается от бесконечно–малого. Если бесконечно–малое есть переменная величина, стремящаяся к нулю, то бесконечно–большое, очевидно, есть отношение единицы к этому бесконечно–малому. Если α= , то при условии lim ∞ = 0, lim β=∞, а при условии lim β =∞, litn α = 0. Чем больше уменьшается α, тем больше увеличивается β; и когда α стремится к нулю, β стремится к бесконечности. Наоборот, чем больше а, тем меньше β; и когда α стремится к бесконечности, β стремится к нулю. Тут вполне ясна связь, существующая между бесконечно–малым и бесконечно–большим. Когда мы имеем какой–нибудь цельный предмет, то, уходя в его глубину с целью исчерпать его до нуля, пользуясь идеей бесконечного процесса, мы сразу получаем и бесконечно–малое, и бесконечно–большое: бесконечно–малое мы получаем, если имеем в виду отдельные моменты процесса, и бесконечно–большое, — если имеем в виду весь пройденный путь. Если сравнить все целое с отдельной стремящейся точкой, мы получаем уже не просто целое, но целое, разработанное именно с точки зрения этой отдельной стремящейся точки, с точки зрения этого бесконечно–малого, т. е. получаем бесконечно–большое. И наоборот, сравнивши бесконечно–большое, возникшее из всех бесконечно–малых, с целым, мы замечаем, что оно могло возникнуть действительно только из передвижения бесконечно–малого, т. е. получаем идею бесконечно–малого. Так связаны между собой эти оба понятия, являясь, в сущности, одной и той же идеей, рассматриваемой только с разных точек зрения.
Можно дать еще другое определение бесконечно–малого, хотя это определение, конечно, в сущности своей может быть только тождественным с первым. Именно, бесконечно–малое определяют еще так. Бесконечно–малое есть такая переменная величина, которая может стать меньше любой заданной величины. Пожалуй, это определение несколько ярче подчеркивает момент процессуальное, играющий такую огромную роль во всем понятии бесконечно–малого. Тут важны именно слова «может стать меньше любой заданной величины». В них выражена стихия становления, без которой бесконечно–малое не существует. В предыдущем определении момент становления и процессуальности выражен слабее, но зато лучше выражена идея исчерпания неисчерпания, идея, так сказать, «объятия необъятного». Этот момент тоже основной в учении о бесконечно–малом. И таким образом, оба определения, имея в виду один и тот же предмет, подчеркивают в нем одинаково важные, хотя и различные, стороны, причем каждая из этих сторон необходимо предполагает другую, так что в конце концов безразлично, какую сторону выдвигать и на каком определении останавливаться.
Итак, бесконечно–малое есть диалектический синтез числа в его непосредственном (арифметическом) бытии и числа в его опосредствованном (инобытийном в отношении к арифметическому) бытии. Бесконечно–малое есть прежде всего некая чистая величина, и в этом сказывается участие здесь арифметического элемента. С другой стороны, это не просто арифметическая величина со всей ее статической структурой, но такая величина, которая вобрала в себя и воплотила в себе эти понятия, инобытийные в сравнении с арифметической статической раздельностью, — непрерывность, прерывность, предел. Поэтому можно дать такую диалектическую формулу понятия бесконечно–малого.
Бесконечно–малое есть тождество (синтез) непосредственно–арифметической значимости числа и опосредствованно–инобытийно–го, внутренно–внешнего становления. Этот момент внутренно–внеш–него становления важен потому, что, как мы помним, бесконечность уже сама по себе, независимо от ее специального — инфинитези–мального, или аналитического, типа есть синтез целого и дробного, т. е. синтез внутренних особенностей строения числа, в то время как природа непрерывности, прерывности и предела возможна у нас на почве именно внешней ориентированности числа на окружающем его фоне.
Предложенная формула, конечно, совершенно тождественна с двумя указанными, чисто математическими определениями. Но это есть формула философская, логическая или, точнее, диалектическая, т. е. основанная на анализе и антиномико–синтетической структуре понятий, в то время как те два определения суть чисто математические определения, т. е. основанные на формально–числовом, формально–счислительном объединении счетных величин. В диалектике — понятия и категории, в математике — числа и величины. В диалектике—антиномико–синтетическая связь понятий и категорий, в математике—счислите л ьно–счетная связь чисел и величин.
6. Сущность функции. Есть, однако, еще категория, столь же глубоко определяющая стиль науки о бесконечно–малом, как и само понятие бесконечно–малого. Это понятие функции. Школьные математики и это понятие угробили до той степени, когда оно превращается в сухую и чисто вычислительную категорию, имеющую только внешне–прикладное значение. Это понятие гораздо богаче школьного его употребления, в особенности если иметь в виду его социально–исторические корни.
Что такое функция и когда это понятие играет наибольшую роль в математике и философии?
Функция есть идеальная, смысловая картина вещи в условиях отсутствия самой вещи или, вернее, в условиях непринимания во внимание ее реального, субстанционального существования. Вещь существует, но мы воздерживаемся от суждения по вопросам ее реального существования. Реальное существование вещи нас нисколько не интересует; можно даже сказать, что, рассуждая о функциях, человек ровно нисколько не заинтересован в субстанциональном существовании вещей. Человек заинтересован в них не постольку, поскольку они существуют, но поскольку они мыслятся. Не будучи в состоянии обнять всего мира физически, человек стремится охватить его мысленно, воплотить его в своей сознательной мысли, сделать соизмеримым своему собственному сознанию. Эту позицию западноевропейского человека мы уже формулировали выше. Но каким же образом он смог бы охватить всю мировую действительность в своем реально–человеческом рассуждении? Как быть ему с этой необъятной громадой пространства и времени, в которой он теряется и тонет как незаметная песчинка? Единственный путь для этого — отвергнуть всякую субстанциальность, забыть эту необъятную массу действительности, обесплотить эту невместимую бесконечность мира и превратить только в логическую схему, в рассудочную систему, оторвать ее от бытийственных, материальных основ и корней. Наполните теперь эту логическую и рассудочную схему действительности (взятую вместо самой действительности) чисто числовым содержанием, и — вы получаете понятие функции, эту отвлеченную картину бытия, взятую без самого бытия.
Отсюда мы видим, какими интимными корнями связано функциональное мышление с глубинами западноевропейской духовной жизни.
Что такое функция? Тут тоже есть, как и везде, своя тройственность принципов, демонстрирующая понятие функции в развитом виде.
Именно, прежде всего мы наталкиваемся на понятие независи–мо–переменного. Будем брать переменное само по себе, переменное в его непосредственности и самостоятельности, или, как говорят в диалектике, «в себе», переменное в себе. Очевидно, оно тем самым будет независимым переменным. В треугольнике, напр., длина основания или высоты берется совершенно независимо от других элементов и величин, из которых состоит треугольник. Пусть длина основания равна 1 см, 2 см, 3 см и т. д. — все это будут величины независимые (именно как длина).
Далее, помысливши независимое переменное, мы по общей диалектической необходимости обязательно мыслим и зависимое переменное. Длина основания и длина высоты треугольника ни от чего не зависят, но площадь треугольника уже зависит от основания и высоты. Чем больше, напр., основание, тем больше будет и вся площадь, а чем меньше, напр., высота, тем меньше будет и площадь. Тут есть определенная зависимость, и площадь треугольника зависит от основания и высоты треугольника.
Наконец, важно иметь не просто зависимое переменное и независимое переменное, но также и определенную формулу этой зависимости. Поскольку независимое переменное есть некая определенная величина и поскольку зависимое переменное говорит о какой–то зависимости вообще и между обоими этими понятиями существует диалектическое противоречие, постольку синтез обоих понятий должен объединить определенность значения с зависимостью вообще и дать не просто зависимость вообще, но уже определенного вида зависимость. Тут мы видим, какие же, собственно, процессы произошли с зависимым переменным, когда мы поставили его в непосредственную связь с независимым переменным.
Эти три момента — независимое переменное, зависимое переменное, конкретная форма зависимости — все еще не дают понятия функции во всей его полноте. Дело в том, что функция, если точно формулировать этот термин, становится только тогда функцией, когда все эти три входящих в нее момента отрываются от действительности в ее субстанциональности, в ее реальности, когда они начинают мыслиться как чисто смысловые возможности, как построение чистой мысли. Функциональное отношение—это такое отношение, когда, не желая ничего утверждать о реальности и о вещах, мы строим какую–нибудь рассудочную схему, но за которую отказываемся отвечать как за что–то абсолютное и непреложное. Конечно, наука строит схемы, которые бы максимально соответствовали «действительности». Но когда наступает пора функционализма, то тут надо много кое–чего принять во внимание, чтобы правильно судить о «соответствии действительности».
Античность и Средние века—это культура абсолютизма, абсолютного бытия. Бытие — вечная, живая, всесильная субстанция, мировая — в языческой античности и личностно–божественная — в христианском средневековье. Все смысловое, идеальное порождается из недр этого абсолютного бытия, из его непознаваемых и сверхразумных глубин, проявляясь и в человеческом субъекте как в одной из эманаций этого абсолютного бытия. Западноевропейское мироощущение—иное, можно сказать, обратное этому. Здесь человек очень слабо заинтересован в абсолютной действительности. Он сам для себя абсолютная действительность. Для абсолютной объективной действительности он может оставить (да и то не всегда охотно) разве только чисто идейную, смысловую сторону. Западноевропейский человек рассуждает так: «Есть ли Бог или нет, не знаю, да и едва ли могу знать; есть ли природа или нет, тоже не знаю и тоже, пожалуй, не могу знать; да, наконец, существую ли я сам в действительности, тоже мне не очевидно. Но я знаю одно: если есть Бог, то он должен быть мыслим вот как; если есть природа или материя, то я должен эти понятия мыслить вот как; и т. д. Весь вопрос в том, как мыслить эти понятия. Даже больше того. Вот я установил, как надо мыслить эти понятия. Но я при этом не только хорошо знаю, что люди мыслили эти понятия далеко не всегда так, как я, но знаю и то, что и в будущем подобных теорий окажется еще бесчисленное количество. Где же тут абсолютная истина и зачем она нужна науке? Науке, очевидно, она не нужна, так как реальная история науки вполне удовлетворяется чисто временными гипотезами, а, кроме того, есть ли на самом деле абсолютная истина, нам неизвестно, да и знать ее для того, чтобы существовала наука, тоже необязательно. Все сводится, таким образом, в конце концов именно к чистому функционализму вместо твердой системы абсолютно–причинных утверждений. Что является реальной причиной чего и какие силы двигают нашими формулами и осуществляют их в виде абсолютно существующей действительности, мы не знаем, едва ли можем знать, и знать–то необязательно. А вот установить вместо причинных связей связи чисто смысловые, т. е. ввиду своей бесплотности ставшие связями чисто функциональными, — это в нашей власти, это мы можем, и этого достаточно для науки».
Пусть такое рассуждение не всеми и не везде проводится. Пусть Кант, неокантианцы, Мах и др. подходят к формулировке этих мыслей ближе, а другие мыслители меньше. Все равно подобное рассуждение—душа западноевропейской философии науки. При всех абсолютистских навыках рядовых ученых—это внутренняя сущность всего отношения капиталистического, романтического, инфинитезимального и вообще западноевропейского духа и науки. Под этим лежит недоверие [к ] объекту, незаинтересованность в реальных и объективных абсолютах, доверие только современной мысли данного момента, т. е. абсолютный и безраздельный индивидуализм и субъективизм. Захолустная малоразвитая мысль наивно убеждена в абсолютности научных «законов природы», в их полной непреложности и каком–то божественном всемогуществе. На этом захолустье основано было целое «философское» мировоззрение под именем материализма, справедливо заслужившего и справа, и слева презрительную кличку «вульгарного» материализма. И хотя это захолустье очень популярно среди подобных представителей науки, все равно оно разоблачено давным–давно; и всякому философски мыслящему ясно, какие анимистические корни подобного мировоззрения, и ясно, что под «законами природы» тут мыслятся чисто демонические силы, являющиеся предметом всякой древней механики. Чистая научность, не богословская, не мифологическая, научность ради научности — этот один из наиболее оригинальных плодов западноевропейского капиталистического и субъективистического духа, — эта научность, конечно, есть только чистый функционализм, бесплотный и скептический, ни в чем как следует не уверенный, верящий только себе самому, да и то относительно, на время, готовый каждую минуту все изменить в корне. Именно такова и есть реальная история науки. Самому «абсолютному» и самоуверенному ньютонианскому мировоззрению хватило здравствовать только немногим больше двухсот лет. Все же прочие теории летят как бабочки, протягивая какие–нибудь месяцы, годы и самое большее—десятки лет.
Не веря ничему и никому, во всем сомневаясь, отрицая всякие абсолюты, на чем зиждется такое функционалистическое мировоззрение? Ведь и себе–то самому оно верит, как сказано, только относительно, только на данный момент и только в смысле установления чисто мыслительных схем. Ясно, что такое мировоззрение, для которого все—только гипотеза, а не абсолют, дорожит этой гипотезой не ради достижения абсолютной истины. Оно ставит данную гипотезу, по его мнению, в данный момент максимально соответствующую «фактам» и «действительности», — только для того, чтобы ее проверять и критиковать. Он будет очень рад, если эта гипотеза будет перевернута вверх ногами и заменена новой. И эта новая будет иметь ту же участь в истории науки, что и прежняя. Следовательно, чем же живет и на чем зиждется такой функционализм, на что он надеется и каковы его интимные потребности, интимная и насущная цель существования? Ясно, что единственная потребность и цель, единственная интимная сущность и оправдание такого абсолютного функционализма — это все тот же вечный и бесконечный процесс, вечное и неустанное движение от одного пункта к другому, напряженное стремление в бесконечные и неведомые дали. Только так и можно понять это странное мироощущение, скептическое и щепетильное, болезненно–субъективистическое и субтильно–логическое. Такой дух живет исканием и стремлением. Его интересует самый процесс искания и стремления. И вот почему эта идея так упорна в новоевропейской философии. Ее можно рассмотреть там, где с первого взгляда о ней нет и помину и где как будто бы совершенно иная и методика, и терминология. Об этом, однако, должен идти разговор в специальном историко–философском труде.
Оторвавши смысл от бытия, освободивши идею от субстанциональности, превративши густое и тяжелое бытие в легко подвижную, утонченную и изощренную мысль, западноевропейский функционализм создал себе целое царство мысли, какого–то фантастического разума, где утонченность, субтильность, капризная сложность математического исчисления соперничают с размахом, лихорадочными темпами и энтузиазмом великих исканий и постижений. Западноевропейская математика, освободивши себя от всякой грузной жизненной интуиции и даже сбросивши с себя оказавшийся слишком тяжелым груз человеческих интуиций, эта математика удалилась в царство невообразимых абстракций, головокружительных операций над фантастическими вымыслами, в изобретение и создание таких конструкций, которые не представимы никакой интуицией и не охватываемы никаким наглядным образом. Мало того, что был изгнан всякий геометризм из арифметики и алгебры—в противоположность античной традиции, мало того, что самая геометрия стала пониматься арифметически и алгебраически, так что Декарту пришлось создавать в первой половине XVII в[ека] т. н. аналитическую геометрию. Мало всего этого. Эта самая геометрия настолько превратилась в абстрактную игру абстрактных понятий, настолько оторвалась от всякой жизненной интуиции, что стала возможной геометрия любого числа измерений; и всякая такая геометрия выводится чисто абстрактно, не зависимо ни от каких интуиций и наглядных представлений. Функционализм, оторвавши числовое представление от бытия, сделал возможным и бесконечные полеты, самозабвенный экстаз разумных и рассудочных построений математики, и он же облегчил это никогда не угасавшее на Западе стремление к тончайшей инкрустации мысли, к капризнейшей отточенности числовых конструкций, к поражающей субтильности всего математического исследования.
Античность и Средние века по сравнению с этим—наивны, статичны, целомудренно–устойчивы, связаны своими глубочайшими корнями с бытием, которое они мыслят как абсолютное. И тут не может быть такого фантастического разгула мысли. Тут больше деловитости, трезвости, уравновешенной расчетливости и серьезности.
Итак, функционализм вырастает на той же почве субъективизма, что и понятие бесконечно–малого. Обе эти категории появились в результате отрыва от абсолютных и объективных установок; оба они питаются субъективистическим рвением в необозримую и таинственную даль, стремясь, одно — отбросить субстанцию и тяжелую материальную фактичность действительности, а другое—в достигнутой таким образом чисто смысловой сфере погрузиться в неустанную погоню за вечно уплывающей из рук умственной бесконечностью.
Естественным должен быть вопрос: не объединятся ли как–нибудь эти две фундаментальные категории—функция и бесконечно–малое? Неужели их не объединил тот общий дух, который их породил? И неужели он не объединил их с целью усилить действие каждой из них? Вполне естественно ожидать, что эти две функциональные категории сплотятся вместе и создадут зрелище, небывалое по силе, своеобразию и красоте.
Да, это именно и произошло в XVII веке, когда появилось дифференциальное и интегральное исчисление, основанное как раз на анализе функций бесконечно–малых приращений независимого переменного. Математический анализ и есть это объединение учения о функциях с учением о бесконечно–малом. И тут перед нами начнут вырисовываться уже конкретные контуры этой замечательной науки.
Чтобы закрепить достигнутое нами понятие функции (на пороге исследования самого математического анализа) в виде обычной диалектической тройственности принципов, скажем так.
Переменное, взятое безотносительно и самостоятельно, переменное в себе есть независимое переменное. В математике его называют аргументом и обозначают через х.
Переменное, взятое как противоположность независимому переменному, есть зависимое переменное и обозначается через у. Этот у указывает на то, что есть какая–то зависимость между ним и х.
Но это ведь есть не только какая–то зависимость или зависимость вообще, но и конкретная форма зависимости. Иначе и быть не может. Поскольку независимое переменное есть нечто определенное, постольку, входя в объединение с зависимостью от него другого, переменного и осуществляясь в качестве именно аргумента, оно должно и абстрактную зависимость превратить· в такую же определенную и конкретную зависимость. Это–то и есть функция в собственном смысле слова и обозначается в математическом анализе так:
y=ƒ(x)
Чтобы перейти теперь к исследованию форм объединения понятий функции и бесконечно–малого, вспомним, чтобы не сбиться, еще раз диалектическую последовательность наших мыслей. Сначала мы обследовали величину как таковую. Сюда вошло учение как о непосредственно–значащих величинах — арифметических, — так и учение об опосредствовании этих величин в форме непрерывности, прерывности и предела. Это обобщение учения о величине завершилось синтезом числа как непосредственного и как опосредствованного бытия—в форме учения о бесконечно–малом. Теперь все рассуждение о понятии функции заставило нас совсем покинуть область величин и непосредственных, и опосредствованных, и синтетических и перейти в противоположную область—отношений между величинами (а не самих величин), в область функциональных отношений.
Естественно возникает потребность объединить эти две области— величин (чисел) и функций. Тут–то и возникают понятия производной, дифференциала и интеграла.
7. Производная. Итак, отныне мы находимся всецело в области функций. Кроме того, эти функции мы пополняем содержанием, основанным на понятии бесконечно–малого. Следовательно, имеется независимое переменное, погруженное в стихию бесконечно–малого становления, и имеется зависимое от него переменное, тоже, очевидно, как–то связанное с процессом бесконечно малого становления. И возникает вопрос: что же делается с этим зависимым переменным, с функцией, и какую форму принимает это отношение аргумента к функции. Когда берется функция y=ƒ(x) то ясно, в каком отношении находятся χ и Пусть имеется у=х2+1: ясно, что нужно сделать с jc, чтобы получить у. Но вот χ ушел в становление, погрузился в бесконечный процесс стремления, ушел в бесконечную даль, и—спрашивается: что же сделается с зависимым от него у, в каком положении очутится этот становящийся χ к становящемуся у? С самого начала ясно, что это будет совершенно иным отношением, чем то отношение, в котором находились между собой хну, когда они покоились на месте, были просто арифметическими и алгебраическими величинами и не погружались в стихию алогического становления. Рассмотрим теперь, что же это за отношение и что тут нового по сравнению со статическим значением величин.
Итак, изменяется аргумент, изменяется в зависимости от него и функция. Употребляя традиционные обозначения математического анализа, мы получим следующее. Если x —аргумент, ∆х будет приращением аргумента x. В зависимости от этого функция у тоже будет нарастать; обозначим приращение функции через ∆у. Чтобы узнать, какой вид примет наращение функции, возьмем приращенную функцию ƒ(x+∆x) и вычтем из нее первоначальную функцию y=ƒ(x). Получаем: ƒ(x+∆x) — ƒ(x). Это есть то наращение, которое происходит в функции, когда получается наращение аргумента ∆х Следовательно, если
y=ƒ(x)
ТО
∆y=ƒ(x+∆x) — ƒ(x)
и, беря отношение обеих частей этого равенства к Δχ, мы получаем
Это и есть математческое выражение того нового отношения, в которое вступают χ и у, когда они берутся не сами по себе, не статически, но когда они погружаются в процесс становления, т. е. начинают нарастать или убывать. Это рассуждение (и обозначение) обычно еще не вполне достаточно, и требуется его существенно дополнить в одном пункте.
Именно, нас ведь интересуют не приращения вообще, но бесконечно–малые приращения и не процесс вообще, но именно алогическое становление. Мы раньше уже видели, что в понятии бесконечно–малого дано не просто изменение величины, но изменение самого изменения, становление изменения, почему оно не просто налично тут как таковое, но оно дает все меньшие и меньшие результаты, оно все меньше и меньше оказывается изменением. Сама категория изменения тут, очевидно, вовлечена в становление.
И только при этом условии переменная величина может быть бесконечно–малой. Она должна иметь своим пределом нуль—только тогда она действительно бесконечно мала.
Применяя это к нашему рассуждению, мы должны ∆х считать бесконечно–малым. ∆х должно стремиться к нулю, оно должно иметь своим пределом нуль. Но тогда существенно меняется вся картина выставленного выше отношения . Именно, Ах становится все меньше и меньше. Соответственно и Δу должно становиться все меньше и меньше. Чтобы конкретно представить себе новые значения аргумента χ в связи с уменьшающимся приращением ∆х, вычислим соответственно новые значения функции, уменьшающиеся приращения функции, а также и отношение мы получим примерно след. табличку.
Начальное значение X | Новое значение | Приращ. Δy | ННачальное значение У | Новое | Приращ. Δ у | |
X | значение | |||||
у | ||||||
3 | 4 | 1 | 10 | 17 | 1 | 7 |
3,9 | 0,9 | 16,21 | 6,21 | 6,9 | ||
3,8 | 0,8 | 15,44 | 5,44 | 6,8 | ||
3,7 | 0,7 | 14,69 | 4,69 | 6,7 | ||
3,6 | 0,6 | 13,90 | 3,90 | 6,5 | ||
3,001 | 0,001 | 10,006001 | 0,006001 | 6,001 |
Пусть у нас имеется функция
у = х2 + 1
и пусть начальное значение x: будет 3. Тогда начальное значение у=32+1 = 10. Возьмем теперь какое–нибудь новое значение x, напр. 4, тогда y =42+1 = 17. В первом случае приращение будет
Δ.γ = 4 — 3 = 1,
во втором случае приращение будет
∆у— 17— 10 = 7.
Следовательно, = =7.
Будем теперь постепенно уменьшать Δx, придавая ему значения 0,9; 0,8; 0,7 и т. д. Соответственно будет меняться χ и также у, а стало быть, и . Мы действительно видим, что принимает все меньшие и меньшие значения: 7; 6,9; 6,8; 6,7 и т. д. Спрашивается: до каких же пор будет это отношение уменьшаться? ∆х стремится к нулю. К чему же стремится ?
Чтобы ответить на этот вопрос, представим вышеприведенное выражение — при помощи данной формулы у=χ2 +1. Именно, взявши приращенную функцию, получаем:
у+∆у=(х+∆х)2+1 = χ2 + 2χΔχ+(Δχ)2 +1,
откуда
∆у = х2 + 2х∆х + (∆х)2+1—(х2 +1) =
=χ2+2χΔχ+(Δχ)2+1 — χ2 — 1 = 2х ∆х+(∆х)2.
Следовательно,
Итак, чтобы судить о том, к чему стремится , достаточно полученное выражение 2х+∆х взять в пределе, т. е. в условии стремления ∆х к нулю. Очевидно, если Ах стремится к нулю, то стремится к 2х, так как ∆х, как стремящееся к нулю, стремится просто отпасть. Значит, если начальное значение аргумента χ у нас было 3, то предел отношения будет равен, очевидно, 2–3 = 6.
И действительно, просматривая в нашей табличке значения , мы видим, что оно постепенно уменьшается, но не становится меньше 6. Если бы мы взяли, напр., ∆х = 0,001, то, как показывает вычисление, оказалось бы равным 6,001. Легко проверить это, подставляя все меньшие и меньшие ∆х и получая отсюда все меньшие и меньшие , но не становящиеся меньше 6. 6—это предел, Δχ к которому стремится если брать функцию у=х2+1 при начальном значении х=3.
На этом простейшем примере отчетливо видно, какую форму приобретает взаимоотношение χ и у, когда оно начинает действовать не само по себе, но в своем инобытии, в своем становлении, когда они сплошно и неизменно растут или вообще меняются.
Предел этого отношения , когда ∆х стремится к нулю, и есть производная, т. е. функция, «произведенная» от у, которую называют первообразной функцией. Следовательно, производная данной функции есть предел отношения приращения этой функции к приращению аргумента, когда это приращение аргумента стремится к нулю как к своему пределу.
Не будем забиваться в абстрактные дебри, как это любят делать математики, давая это понятие в дифференциальном и интегральном исчислении. Также недостаточны для понимания производной и те геометрические и механические привнесения и толкования, которыми математики уснащают свои руководства, думая на них конкретизировать это отвлеченное понятие. Надо, однако, еще до этих применений и толкований научиться понимать эту замечательную категорию, понимать всю ее жизненную и, следовательно, философскую конкретность.
Что такое производная? Для понимания этой основной категории математического анализа надо с максимальной отчетливостью представить себе разницу между бытием и инобытием или, точнее, между бытием и становлением. Если эта разница усвоена нами с достаточной отчетливостью, тогда необходимо достигнуть четкости еще в представлении того, как совершается стремление к пределу. Если эти две вещи усвоены, то логический состав производной будет ясен сам собой.
Что такое становление? Его удобно можно обрисовать путем противопоставления голому бытию (или голой идее), по сравнению с чем оно действительно есть резкая противоположность. Бытие есть прежде всего нечто оформленное и устойчивое; становление бесформенно стремится вперед. Бытие — царство раздельности, координированности; становление же есть алогический процесс, в котором все отдельные моменты сливаются в одну неразличимую непрерывность. Арифметика оперирует с числами вне всякой их процессуальности. Для нее они — вечные, незыблемые идеи, предстоящие в виде некоей картины, и считающий только выбирает из этой картины то одни числа, то другие. Алгебра и элементарная геометрия, не оперируя с арифметическими числами, все же, вполне на манер арифметики, оперируют со своими величинами опять–таки чисто статически. И только в анализе дана чистая стихия становления, чистое алогическое становление, в котором тонет всякая раздельность, затухает всякое оформление и совершается уход в бесконечную даль, к неохватным горизонтам.
Идеи, числа, вещи, взятые как неподвижные, статические, вечные структуры, предстоят как определенным образом связанные между собой, предстоят в некоем конкретном взаимоотношении. Будучи же погружены в стихию становления, они в корне меняют свое взаимоотношение; оно становится неузнаваемым, хотя мы и должны уметь выводить это их алогически–становя–щееся взаимоотношение из их логически–неподвижного взаимоотношения. Вещи, идеи, числа—все, что мыслится и существует, — одним образом взаимосоотносится, когда берется в чистом и непосредственном виде, и совершенно другим способом взаимосоотносится, когда уходит в алогическое становление и растворяется в нем. Итак, это первое и самое главное в производной: производная есть взаимоотношение величин, перешедших в алогическое становление.
Второе, очень важное обстоятельство заключается в том, что производная содержит в своем логическом составе момент предела. Что такое предел, об этом уже говорилось выше. Однако ни на минуту нельзя упускать из виду всего своеобразия этой богатой категории — предела и надо уметь учитывать его в общем логическом составе производной. Схематически эту ситуацию можно представить так.
Аргумент х, погрузившись в становление, меняется, движется — в бесконечность.
Зависящая от него функция у, погрузившись в становление, тоже все время меняется, движется—до бесконечности.
Теперь, отношение между этими двумя, бесконечно становящимися величинами есть тоже величина переменная; оно тоже все время меняется, движется и—тоже до бесконечности. Это очень важно все время учитывать и иметь в виду. Производная все время меняется, движется, становится. Производная тоже пребывает в становлении, она в каждый новый момент взаимоотношения становящегося аргумента и функции—все новая и новая, все иная и иная. Но только это становление производной не какое–то вообще, а вполне определенное, так как ведь и аргумент, и функция есть тоже вполне конкретная определенность и таковыми они и вступают в стихию становления. Но какая же может быть определенность в становящейся величине? Определенность становления аргумента χ продиктована самим аргументом л:; она выражается через х+Ах. Определенность становления функции у опять–таки продиктована определенностью самой функции; эту нарушенную функцию мы найдем в выражении у + Ау. Но от чего зависит определенность становления производной? Она ведь потому–то и называется производной, что она не самостоятельна, а всецело зависит от поведения в инобытии аргумента χ и функции у. Вот предел, к которому стремится , и есть то, что дает производной определенность и указывает на ее определенную закономерность. Отдельные с этой точки зрения еще не есть сама производная, а как бы только подготавливают ее, стремятся к ней. В настоящем смысле производная возникает только тогда, когда все эти отдельные получают особую структуру, как некий ряд, как некая последовательность. Это и совершается тогда, когда ряд этот получает предел. И производная, находя в каждом отдельном свое приближенное выражение, оказывается в точном смысле производной именно тогда, когда она есть предел этого отношения .
С этой точки зрения производную необходимо понимать как закон инобытия идеальной взаимозависимости. Когда дана функция сама по себе, y=ƒ(х), и не ставится никакого вопроса о становлении л: и у, то все действия происходят тут в области чисто идеальной, неподвижно идеальной. Когда χ и у перешли в становление, они вышли за свои собственные границы и перешли из своего бытия в свое инобытие. Какой же закон существования этой идеальной взаимозависимости, когда она перешла в свое инобытие? Ответ: этот закон существования идеальной взаимозависимости в инобытии к себе самой есть производная. По ней мы видим, как ведут себя идеальные вещи в инобытийно–реальном становлении и какова структура и внутренняя связь, царящая в этом инобытийном поведении.
Здесь перед нами еще раз появляется воочию тайна западноевропейского мироощущения, покинувшего идеальную действительность абсолютов и погрузившегося в непроглядную тьму становления и вечных исканий. Когда действительность мыслилась и переживалась в своей абсолютно–объективной, личностно–самостоя–тельной субстанциальности, тогда не было особенных причин уходить в становление, а были все причины пребывать в собранном и целомудренно–уравновешенном состоянии. Когда же все объективное бытие было зачеркнуто и человеческий субъект стал усиливаться в самом себе и притом из самого себя исходить все быстрее, тогда, по невозможности физически обнять бесконечную вселенную, волей–неволей пришлось устремиться в вечное искательство и расслоить спокойное обладание истиной на бесконечное и беспокойное ее достижение. Тогда и возникла непреодолимая потребность, своего рода метафизическая страсть созерцать, наблюдать, изучать и фиксировать не устойчивые структуры природы и духа, но их становящуюся стихию, не числа и вещи в их законченном стройном бытии, но числа и вещи в их бесконечно стремящемся инобытии. И так как нельзя же было настолько погрузиться в становление, чтобы потерять всякую мысль и расстаться с самой способностью расчленять, обобщать и теоретизировать, то и были созданы такие методы мысли, которые бы максимально соответствовали алогически–становящемуся бытию, и такая математика, которая, сохраняя свою точность и четкость форм, говорила бы не о стройном и законченном архитектурном целом, но о вечно рвущемся, вечно бесконечном стремлении. Производная и есть эта точная, четкая, максимально–логическая форма и метод мысли для познания всегда неточного, всегда спутанного и нечетного, максимально алогического становления и изменения. В этом вся ее тайна. И в этом ее совершенно своеобразный культурно–исторический строй; и, можно сказать, в этом — метафизическая страсть, владевшая и владеющая всеми, кто мыслит и действует инфините–зимально, кто мыслит и действует как вечно стремящийся и никогда ненасытный Фауст.
8. Дифференциал и интеграл. Вся рассмотренная нами до сих пор картина осуществлялась между величинами χ и у. Мы отметили три особых момента: Δу, Ах и у\ связывая их одним отношением.
=y'
Что такое χ и dx, этого мы сейчас можем и не разъяснять, так как χ это есть просто независимое переменное, a dx—то его приращение, в силу которого оно вступает в процесс становления. Так как здесь идет речь о независимых величинах, о произвольных величинах, то, очевидно, весь наш интерес должен относиться к тому, что от них зависимо, и к самой форме этой зависимости. Общее понятие нам также известно. Но уже это dy может получить более точное определение из соответствующего видоизменения вышеданной формулы производной. А именно, из нее вытекает, что
dy=y'dx.
Иначе говоря, оказывается, что о dy можно судить на основании у' и dx, т. е. приращение функции зависит от производной и от приращения аргумента. Здесь, однако, необходимо соблюдать более точный способ рассуждения и выражения, и мы получаем понятие дифференциала.
Прежде всего dx, приращение независимого переменного, стремящееся к нулю, в отличие от Ах, от приращения, вообще называется дифференциалом независимого переменного. Дифференциал аргумента есть, следовательно, бесконечно–малое его приращение. Соответственно необходимо проводить различие и между приращениями функции. Когда растет аргумент, соответственно растет и функция; и в общем случае, когда не становится вопрос о характере этих приращений, приращение функции мы обозначаем через Δy. Однако нас интересует именно бесконечно–малое наращение аргумента. Тогда соответственно получит специфическую окраску и приращение функции. Вот это–то приращение функции в условиях бесконечно–малого нарастающего аргумента и называется дифференциалом функции; и оно есть произведение производной на бесконечно–малое приращение аргумента (т. е. y'dx).
Но и в этом определении еще не выявляется с полной отчетливостью и выпуклостью смысловая структура дифференциала. Это определение есть ведь не что иное, как перефразировка логических моментов, входящих в понятие производной. Чтобы выявить наружу этот скрытый принцип дифференциала, представим себе процессы, дающие производную, более подробно.
Если разница
стремится к нулю и есть величина бесконечно–малая, то, обозначая ее через ε, получаем
Левая часть этого равенства есть общее приращение функции Ау. В правой же части f'(x)dx есть, по предыдущему, дифференциал функции, dy. Стало быть, это равенство можно переписать так:
∆y = dy + edx,
т. е. общее приращение функции отличается от дифференциала функции на величину edx. Если отдать себе строгий отчет в этой величине, то станет ясным и все отличие приращения функции от дифференциала функции. Что такое zdxl dx есть бесконечно–малое приращение аргумента, равно как и ε—тоже бесконечно–малое. Умножение одного на другое дает, очевидно, бесконечно–малую величину высшего порядка, чем просто dx. Бесконечно–малое высшего порядка есть то, которое имеет высшую малость, т. е. такое, которое мельче другого бесконечно–малого, zdx мельче, чем просто dx. Но так как dy—f'(x)dx есть бесконечно–малое первого порядка (поскольку f'(x) есть какое–нибудь число, не равное нулю), то edx мельче, чем f'(x)dx, и, следовательно, обсуждая ∆у, этой величиной можно пренебречь. Поэтому практически вместо ∆у достаточно оперировать с dy, т. е. общее приращение функции можно заменять ее дифференциалом, хотя это и разные вещи.
Таким образом, можно сказать, что производная есть предел отношения двух дифференциалов — функции и аргумента.
После этого мы можем перейти и к понятию интеграла.
Производная показывает нам, что делается с функцией, когда она погружается в стихию становления. Расплываясь по морю этой бесконечности, мы можем и совсем забыть то, с чем мы вошли в это море. Но мы можем и помнить, можем вспоминать то идеальное неподвижное, статически–числовое, что оставили мы на берегу. И когда мы вспоминаем, мы невольно вносим какую–то устойчивость в наше становление, начинаем видеть сквозь мглу становления контуры оставленной темы, статической идеи—правда, теперь уже сильно деформированной и часто принимающей совершенно неузнаваемый вид. Это инобытийно–деформированная функция, пребывающая в этом деформированном виде неизменной среди непрестанного потока бесконечности, и есть производная. Однако мы можем задаться и другой задачей.
Мы можем в своем сравнении инобытийной функции с первообразной останавливаться не только на инобытийной [функции], но и на первообразной. Можно не только первообразную функцию рассматривать в сфере инобытия и—получать производную, но можно и производную рассматривать в сфере первообразий и — получать эту самую первообразную. И как первообразная претерпевает деформацию при переходе в инобытие, так и производная претерпевает деформацию при переходе из инобытия в бытие. Тот и другой процесс, конечно, являются взаимообразными. И принципиально должно быть ясно, что если мы сумеем переходить от «первообразного» бытия к «производному» инобытию, то также (или в значительной мере так) мы должны уметь переходить и обратно, от инобытия к бытию. Вообще говоря, первообразная функция, полученная из инобытийной путем исключения инобытия, и есть интеграл.
Интеграл количественно ничем не отличается от любой величины. Всякая величина может быть интегралом. Однако если употребляется такой термин, то, конечно, не для того, чтобы еще другим словом назвать то, что обычно называется величиной. Название «интеграл» указывает на происхождение величины, а не просто на самую величину в ее чисто количественном смысле. В понятии интеграла также мыслится процесс, и притом бесконечный процесс, как и в понятии производной; и это не может быть иначе, раз мы условились рассматривать не только инобытие в сфере бытия, но и бытие в сфере инобытия. В бытие тоже вносится момент инобытия, а именно бытие — в нашем случае первообразная функция — мыслится не само по себе, в своей полной непосредственности (тогда была бы просто арифметическая величина, и больше ничего), но в своем происхождении, в своей полученности из недр становящегося бытия.
Каким же образом можно получить из инобытия бытие, из дифференциала интеграл? Что тут за процесс происходит? Когда мы имеем производную и, следовательно, дифференциал функции, мы погружены в созерцание бесконечного процесса и фиксируем в нем твердые контуры закона, управляющего этим бесконечным процессом. Наша новая задача заключается в том, чтобы созерцать этот бесконечный процесс не в целях фиксации закона этого же самого инобытийного процесса, но в целях фиксации функции, еще не перешедшей ни в какое инобытийное становление. Мы продолжаем рассматривать эту становящуюся стихию, но фиксируем в ней не ее собственную закономерность, но изначальную функциональную закономерность, инобытие которой и привело к этой становящейся стихии. Соответственно с этим мы уже иначе должны расценивать самый процесс становления.
Когда мы искали закон инобытия, мы должны были скользить по самому инобытию, с тем чтобы пронаблюдать этот закон. В глубине этого распыления и появлялся его закон—в виде производной. В случае же, когда надо прийти к первообразному бытию, мы тоже скользим по инобытию, но, очевидно, не с целью разъединить и распылить, но с целью обобщить, так как первообразная функция перешла в производную именно благодаря распылению и становлению. Обратный процесс, следовательно, есть восстановление и объединение. Только этим путем мы можем вернуться к первообразной функции, потому что только этим путем мы и уходили от нее. Однако, как было недостаточно в первом случае видеть бесконечный процесс распыления, а нужно было еще узреть скрытый за ним и руководящий им закон инобытия (производную), так и здесь недостаточно одного простого суммирования и воссоединения распыленных моментов, а нужно стараться увидеть скрывающийся за этим закон этого объединения, закон этого суммирования, восстановляющего бытие в его первоначальной данности. Иначе мы потерялись бы в дебрях инобытия—и в первом, и во втором случае.
Но что же это за закон суммирования и воссоединения? Закон становления и распыления есть предел становления и распыления. Точно так же закон суммирования должен быть определенным пределом, который бы из бесконечности четко управлял этим процессом суммирования. Ясно, что таким пределом и является наша первообразная функция, потому что из нее и начался процесс становления, к ней и должно вернуться инобытие из своего бесконечного становления. Она—предел этого возвращения, т. е. предел суммирования всего распыленного. Это она видится в глубине восстановительного процесса и скрыто им управляет. Ее мы и должны найти, созерцая восстановительные пути инобытия.
Отсюда, интеграл есть, очевидно, предел суммы всех дифференциалов. Или, говоря пространнее, это есть предел бесконечно–большой суммы всех бесконечно–малых приращений функции.
Тут мы получаем уже более четкое определение интеграла, которое мы не можем получить, понимая интегрирование как действие, обратное дифференцированию. Только в определении интеграла как предела суммы всех дифференциалов мы обнаруживаем истинную восстановительную и синтетическую природу интеграла. Трактование интегрирования как действия, обратного дифференцированию, хотя оно вполне точно, не обладает такой выпуклостью, которую дает определение через суммирование.
К этому определению интеграла должно быть сделано несколько примечаний.
Прежде всего, как в анализе понятия производной, так и здесь мы должны получить основную стихию, в области которой разыгрываются эти понятия. Это — стихия становления, алогического становления, где мы находим полную неразличимость всех отдельных моментов, хотя они и даны как внеположные. Трактуя о бесконечно–малом, мы выдвигаем на первый план эту идею бесконечного процесса, где все отдельные моменты слиты в единый неразличимый поток. То же самое мы всегда должны помнить и в применении к интегралу. Интеграл также содержит в себе стихию алогического становления, и в нем также отдельные моменты этого процесса слиты в один внутренне безразличный поток. Правда, значимость этого потока здесь иная, но самый процесс, его алогичность тут одни и те же. Какой бы раздельной величиной ни являлась данная величина, все равно, раз она интеграл, она мыслится перекрытой стихией алогического становления и видится и сквозит через данную стихию как ее предельный контур.
Далее, необходимо заметить, что предыдущее определение интеграла есть, в сущности, определение того, что обычно называется «определенным» интегралом. Если мы просто напишем, как это понимается всегда,
∫ƒʹ(x)dx=ƒ(x)
то тут утверждается: ƒ(x) есть производная функции ƒ(x) и ƒ(x)dx есть ее дифференциал; интеграл же от этой функции и есть сама первообразная функция y=f(x). В этом способе выражения на первом плане стоит понимание интегрирования как действия, обратного дифференцированию. Однако если мы выдвинем на первый план момент предельного суммирования, то ясно, что это суммирование предполагает определенные пределы, в которых совершается данное суммирование. Тут имеется в виду процесс, который в общем можно обозначить так:
∫ƒʹ(x)dx=ƒ(b)-ƒ(a)
Тут имеются два соседних значения функции f(a) и f(b), между которыми и происходит процесс суммирования бесконечно–малых приращений. Этот процесс можно изобразить при помощи суммирования бесконечного количества таких разниц:
ƒʹ(b1)-ƒʹ(a);ƒʹ(b1)-ƒʹ(b2); ƒʹ(b3)-ƒʹ(b2)и т. д.
Но ясно и так, что этот процесс разыгрывается между значениями а и b, в пределах между а и b, и что только в этом случае процесс суммирования получает законченную форму. Такой интеграл, который является результатом суммирования в определенных пределах, называется определенным интегралом в отличие от интеграла, не содержащего этих пределов и носящего название неопределенного интеграла. Ясно после этих разъяснений, что, хотя в обычных руководствах по анализу изложение начинается с неопределенных интегралов, логически, а также исторически первенство остается за понятием определенного интеграла. И только игнорирование интеграла как результата суммирования и выдвижение на первый план интеграла как результата взаимообразного действия с дифференцированием приводит к тому, что целесообразным считается начинать именно с неопределенных интегралов.
В заключение этого параграфа полезно подвести диалектический итог учению о приращениях и связанных с этим понятий дифференциала и интеграла.
Во–первых, после предыдущего рассуждения должна быть ясна такая тройственная последовательность. Если мы возьмем функцию саму по себе, у =ƒʹ(x), т. е. функцию в ее непосредственном бытии, то антитезой к ней будет, очевидно, переход ее в инобытие, в становление. Инобытийное становление для функции, как и вообще для всего, есть система бесконечно–малых приращений. И следовательно, если функция в себе есть тезис, то диалектическим антитезисом, отрицанием ее будет функция вне себя, функция в области нарастающего становления. Но тогда синтезом функции в себе и функции вне себя будет, очевидно, функция как интеграл, потому что в функции как интеграле дана, во–первых, она сама и, во–вторых, дано перекрытие ее суммой всех ее бесконечно–малых наращений. Функция—тезис, ее наращение, дифференциал — антитезис, интеграл—синтез.
Далее, можно диалектически расчленить и среднюю область из только что указанных, область дифференциала. Тут мы имеем 1) приращение аргумента Ах, 2) приращение функции ∆у и 3) предел их взаимоотношения =y' производную, или -1) дифференциал аргумента, 2) дифференциал функции и 3) производную.
Таким образом, получается следующая резюмирующая диалектическая схема.
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. Отсюда —
Таков в общей форме процесс всякого дифференцирования. Правда, этот общий прием не всегда удобен, но об этих деталях говорить не будем.
Что же касается вопроса о классификации функций, которая только и может внести логический стройный порядок в этот отдел дифференциального исчисления, то и этого вопроса в данном месте касаться не стоит. Вопрос о классификации функций отнюдь не такой легкий, как это представляют себе математические руководства. Легкость достигается тем, что обычно перечисляют только простейшие и легчайшие функции и отбрасывают более сложные, а потом начинают вводить их без всякого предупреждения.
Так, неизвестно, в каком месте надо излагать гиперболические функции. Тригонометрические функции хотя и излагаются сейчас же после дифференцирования «алгебраических» функций, но неизвестно почему. Неизвестно также, что, собственно, такое «тригонометрические» функции. Обычное определение их как отношения определенных линий к радиусу круга—слишком внешнее определение; оно в сущности ничего не говорит. Уже одно выражение их при помощи числа е в известных формулах Эйлера указывает на полную их загадочность и таинственность; и не так–то просто найти их вполне существенное определение. Эллиптические функции справедливо отнесены в отдел теории функций комплексного переменного. Но положение самого этого отдела в системе анализа совершенно неопределенно. Казалось бы, естественно было бы излагать функции комплексного переменного вслед за рациональными и иррациональными функциями, поскольку само понятие комплексной величины есть неограниченное завершение понятия величины вообще. Тем не менее ни в дифференцировании, ни в интегрировании функций обычно этих функций не помещают, а помещают их почему–то в отдел «аналитических» функций, причем опять невозможно разобрать, что такое аналитические функции. С одной стороны, аналитические функции комплексного переменного поставлены в ближайшую связь. С другой стороны, оказывается, что аналитические — это все вообще функции (так как аналитические—те, которые дифференцируемы). И т. д., и т. д., и т. д.
Вся эта неразбериха, не свидетельствующая о логической силе математиков, требует кропотливого анализа, который невозможно провести здесь, не удаляясь далеко в сторону, хотя только логически стройная классификация функций и могла бы внести порядок и последовательность в рассматриваемый отдел дифференциального (и соответственно—интегрального) исчисления. Сюда же относится, конечно, дифференцирование неявных функций, нахождение частных производных и производных высшего порядка. Это естественно вытекает из самого понятия дифференцирования.
Второй большой отдел дифференциального исчисления—это учение о рядах. Положение этого отдела в системе анализа— вполне специфическое. Ряды, конечно, нельзя помещать где попало. Логическое место их определяется тем основным обстоятельством, что ряд представляет собой инобытие производной. Если производная является образом пребывания функции в инобытии, то ряд является образом пребывания самой производной в инобытии.
Если производная—тезис, то ряд есть антитезис или, вернее, такой антитезис, который воплощает в себе в инобытийном порядке тезис, производную. Чтобы это понять с полной четкостью, необходимо проанализировать диалектически хотя бы один какой–нибудь ряд. Для такого примера мы и возьмем простейший ряд—ряд Маклорена.
Этот ряд—
состоит из двух элементов, вдвинутых один в другой, — именно из ряда последовательно данных производных, начиная с самой функции при нулевом значении аргумента, —
ƒ(0),ƒ',ƒ",ƒ"', …
и из разложения в ряд ех—
Что такое ряд производных, у которых последовательно повышается порядок? Производная есть, как мы видели, закон инобытия той или иной идеальной взаимозависимости. Производная от этой производной, или производная второго порядка, есть переход этого самого закона в инобытие. Производная третьего порядка есть еще новый инобытийный закон этого второго закона. И т. д. Ясно, стало быть, что если производная есть инобытие функции, то ряд производных последовательно повышающегося порядка есть инобытие самого перехода функции в инобытие, инобытие самого становления, инобытийное становление становления функции в инобытии, отрицание отрицания функции в инобытии. Переходя в инобытие и порождая из себя производную, функция отрицает себя. Но, продолжая неизменно дробить этот свой переход в инобытие и тем порождать производные все более и более высокого порядка, функция отрицает свое отрицание, исчерпывает свое отрицание и тем стремится к новому утверждению — к утверждению себя в инобытии не только как становящейся, но и как ставшей.
Однако этого еще недостаточно для того, чтобы действительно совершилось отрицание функции. Дело в том, что производные последовательно повышающегося порядка, взятые сами .по себе, вполне висят в воздухе; они ни к чему не прикреплены; и неизвестно, какие из них брать и как их брать. Тут утверждается только то, что вообще существуют такие производные; но на что они тут употреблены, об этом сама их отвлеченная последовательность ничего не говорит. Надо, стало быть, привязать эти висящие в воздухе ино–бытийные образы к каким–нибудь фактам, чтобы они стали не только теоретической возможностью, но и реально–субстанциальным существованием функции в инобытии, т. е. чтобы действительно получилось разложение функции в ряд. Однако привязать эти отвлеченно данные производные в целях инобытийного осуществления можно только к таким фактам, которые сами даны в становлении. В математике, в теории пределов, рассматривается одно такое тело, которое представляет собой как раз становящуюся единицу. Это именно число с. Ведь это е, которое разлагается:
очевидно, представляет собой единицу, сложенную с отношением ее ко всем возможным другим числам, кроме единицы, причем эти числа уходят в бесконечность. Ясно, что число е есть не что иное, как единица, но такая единица, которая разработана и перекрыта становящимся слоем взаимоотношения ее со всем окружающим числовым инобытием. Но ведь мы должны прикрепить ряд наших производных не просто к единице, но к определенному аргументу разлагаемой функции. Функция, переходя в инобытие, перестраивает существующее в ней отношение к аргументу. И, создавая инобытие своего инобытия, она все равно должна как–то оставаться связанной с судьбой своего аргумента. Поэтому наши производные должны быть осуществлены не просто на становящейся единице, на разложении е в ряд, но на таком е, которое в себе воплощает упомянутый аргумент, которое имеет смысл этого аргумента. Потому производные объединяются с разложением в ряд ех. А это и значит, что мы получаем упомянутые два элемента, из которых диалектически состоит ряд Маклорена.
Если понятна диалектическая структура ряда Маклорена, то, конечно, должен быть понятен и ряд Тейлора (путем простой замены jc на х—я), и ряд Коши (путем замены χ на приращение h). Более подробная диалектика рядов и их классификация, конечно, должны составлять предмет специального исследования. Следует заметить, что понятие ряда существенно связано с теоремой о среднем значении: ряд и есть осуществление этой теоремы. Поэтому рассуждение о рядах должно быть предварено изложением теорем Ролля, Лагранжа и Коши, составляющих, таким образом, тоже центральное содержание этого отдела дифференциального исчисления.
Наконец, третья большая проблема дифференциального исчисления— это т. н. исследование функций. Данный отдел анализа обладает всеми чертами синтетической природы. Если простое дифференцирование функции дает ее производную, а ряды дают становление этой производной в инобытии, то исследование функций возвращается опять к самой функции и рассматривает ее в свете ее инобытийных превращений. В дифференцировании мы переходим от первообразной функции к ее производной, в рядах—от ее производной переходим к дальнейшим производным, поскольку они воплощают первообразную функцию в инобытии. Исследование функции возвращает наши мысли опять к конструированию функции, но не функции самой по себе, а функции постольку, поскольку на ней отражаются ее судьбы, когда она пребывала в инобытии.
Самой типичной проблемой в области этого исследования является проблема minim [um]a и maxim [um ]а функции. Мы интересуемся знать, при каких условиях, в частности при каком значении аргумента, данная функция имеет наибольшее или наименьшее значение. Оказывается, что максимум и минимум функции бывает тогда, когда первая производная ее равняется нулю. Это последнее приравнение производной нулю и дает возможность вычислить искомое значение аргумента. Не нужно только подобное «исследование функций» понимать исключительно геометрически, как это часто делают. «Исследование функций» имеет значение не только для вычерчивания кривых, но и для чисто аналитического рассмотрения значения функции. Это не мешает, конечно, тому, чтобы при вычерчивании кривых по данным аналитическим выражениям с особенной ясностью и выпуклостью выступали все результаты такого «исследования функций». Так, все эти точки максимума и минимума, точки перегиба, т. н. особые точки, симметрия кривой относительно осей координат, исследование на ассимптоты и пр., — все эти моменты прекрасно иллюстрируют «исследование функций», хотя это только иллюстрация и зависит она всецело от аналитических соображений. Во всех этих проблемах вполне ясно положение всей области «исследования функций». Это то, что объединяет и синтезирует пребывание функции как исходной для своих инобытийных судеб с функцией как возвращающейся к себе из этих инобытийных судеб.
2. Интегральное исчисление. Выше мы определили интеграл как предел суммы всех дифференциалов. Другими словами, это ставшая функция, как тоже у нас указывалось. Функция уходит в инобытие, в становление. В этом становлении она исчерпывает себя и тем самым как бы заново определяется, становится и образуется, как свой собственный диалектический дублет. Уже ряды являются таким образованием и самым восстановлением функции в недрах инобытия. Но ряды дают эту функцию со всей ее инобытийной тяжестью, во всей ее субстанциальной положенности. Функция же может вместить в себе все свои инобытийные функции, не просто давая их в расчлененно–внеположном виде, но и в виде сплошной собранности и определенности. Эту роль и играет интеграл.
Поясним примером. Пусть имеется какой–нибудь физический источник света, и пусть лучи этого света распространяются в окружающее его темное пространство. Когда эти лучи освещают окружающее темное пространство, инобытие, то можно брать именно это самое инобытие во всей его вещественности и можно брать только освещающие его лучи. Возьмем вещи, расположенные вокруг свечи, — книги, стулья, столы, диваны и пр. Это будет вещественное инобытие свечи, определенным образом освещенное. И свет, излучаемый свечой, мы можем взять как цельную картину всех вещей, находящихся в комнате вокруг свечи. Это значит, грубо говоря, что функцию, т. е. лучи света, мы разложили в ряд. Тут мы как бы дали синтетическую картину всех действий данных световых лучей на окружающие, инобытийные предметы. Так можно было бы понять феномен разложения функции в ряд. Совсем другое будет в данном случае интеграл.
Уже в понятии «исследования функций» мы гораздо ближе вошли в существо функции, чем это возможно в случае с рядами. В «исследовании функций» мы уже возвращаемся к самой функции из ее инобытийных судеб. И если в понятии ряда возвращение функции к самой себе мыслится лишь в пределах ее инобытийной вещественности, то в «исследовании» оно дано уже как оставление этой инобытийной вещественности и сосредоточение на чисто смысловой инобытийности функции. В интеграле к этой смысловой инобытийности присоединяется функция в своей собственной субстанциальности. Если в рядах дана инобытийная вещественность, окружающая функцию, осмысленная через распластанность и как бы растянутость функции в инобытии, то в «исследовании функций» эта инобытийная вещественность уже отсутствует, а оставлена только инобытийная, но в то же время чисто смысловая растянутость и распластанность функции; эта растянутость и распластанность и является здесь предметом «исследования». Однако в «исследовании» эта чисто инобытийная осмысленность не прикреплена к самой субстанции первообразной функции, она как бы висит в воздухе; «исследуется» картина жизни функции, как результат и отголосок пребывания ее в недрах инобытийной вещественности, но вне рассмотрения судьбы самой–то функции, ее самостоятельной субстанции. Функция, взятая как таковая, как самостоятельная субстанция, и на ее фоне—смысловая картина всех ее инобытийных перевоплощений, эта функция уже не есть просто предмет того, что в анализе называется «исследованием», но это есть интеграл. В «исследовании» мы изучаем не вещи, освещенные свечой, но самый свет, ею излучаемый и получающий те или другие оттенки в зависимости от освещаемых предметов. А интеграл—это есть не только не вещи, освещенные при помощи световых лучей, но даже и не самый свет, излучаемый свечой (хотя и содержащий в себе всю реальную окрашенность вещей); это есть сама свеча, но не просто как таковая, а еще и рассмотренная с точки зрения всех световых оттенков, образующихся в результате освещения ею отражающих вещей, свет ее в своей конкретной выявленности и определенности.
Таким образом, 1) ряды разложения функции, 2) исследование функции, 3) функция как предел суммирования, или как интеграл, — это есть последовательная интенсификация смысловой значимости функции, возвращающейся к самой себе из своего инобытийного самоотчуждения.
Получивши понятие интеграла, мы тем самым получаем первый и основной отдел интегрального исчисления—интегрирование функций. Разделение этого отдела будет, очевидно, повторением общей классификации функций. Это классификация, которую мы провели бы в дифференциальном исчислении, она же останется и здесь, в интегральном исчислении. Поэтому единообразие структуры этих отделов математического анализа вполне обеспечено.
Дальнейшим этапом упомянутой интенсификации является понятие определенного интеграла.
Когда функция дифференцируется, получаемая при этом производная имеет, как мы видели, вполне определенное значение. Когда же мы производим действие интегрирования, идя от производной к первообразной функции, мы отнюдь не получаем окончательно определенной величины. Пусть, напр., дан угловой коэффициент касательной к какой–нибудь кривой и требуется найти уравнение самой кривой, т. е. пусть дана некая производная и требуется найти интеграл. Полученное в результате этого интегрирования уравнение кривой останется тем же самым, на каком бы расстоянии от центра координат мы ее ни проводили. Полученный интеграл говорит только о структуре кривой, но ровно ничего не говорит о ее абсолютном положении на плоскости системы координат. Поэтому, получая такой интеграл, именуют его неопределенным и прибавляют к нему т. н. постоянные интеграции, +с. Так, если упомянутый угловой коэффициент касательной есть 2х, то полученный интеграл имеет вид
у=х2 + с.
Образующаяся таким образом парабола совпадает своей осью с осью уу но в зависимости от значения с она будет пересекать ось у на том или ином расстоянии от центра. Разумеется, этих расстояний может быть бесконечное количество, и с может принимать любые значения, нисколько не влияя на структуру самой параболы.
Мы можем, однако, задаться целью получить не просто параболу, но и ее абсолютное положение в данной системе координат. Другими словами, мы можем задаться получить интеграл не вообще, но в определенных пределах. Наш аргумент χ принимает в таком случае не всякие значения, какие попало, но значения лишь в данных пределах—скажем, от х—а до х = b. Тогда соответственно получается и два неопределенных интеграла—для х = а и для х — b. Если мы теперь возьмем все то, что произошло между этими пределами, т. е. возьмем разницу между этими интегралами, то уже всякая неопределенность исчезнет, и наш интеграл будет ограничен строго определенными пределами. Это и есть т. н. определенный интеграл, и обозначается он так:
где а есть нижний предел, a b—верхний, и весь интеграл равен
I=ƒ(b) — ƒ(a).
Существует специальная теория определенных интегралов — специальный отдел интегрального исчисления. Тут трактуются вопросы о перестановке пределов, о делении промежутка интегрирования определенного интеграла, об определенном интеграле как функции своих пределов, о бесконечных пределах интеграла и о случаях прерывности подынтегральной функции, об изменении пределов в связи с заменой переменных и пр.
Подобно тому как в дифференциальном исчислении, получивши понятие производной, мы могли распространить это понятие до производных высшего порядка и до частных производных, — мы можем распространить и понятие интеграла. Если возможна производная от производной, полученной тоже как производная, и т. д., т. е. если возможны производные первого, второго, третьего и т. д. порядка, то, очевидно, возможны интегралы не только вообще, но также интегралы двойные и тройные. Равным образом при наличии нескольких независимых переменных возможно и дифференцирование, и интегрирование по какому–нибудь одному переменному (и тогда прочие переменные принимаются за постоянные), т. е. возможны частные производные и частные интегралы.
Кратное и частное интегрирование еще более углубляет и расширяет понятие интеграла.
Этим, однако, далеко не ограничивается область интегрального исчисления. Тут, можно сказать, только начало этой сложнейшей и глубочайшей науки. В поисках дальнейшего углубления и расширения операций под интегралами мы сталкиваемся с рядом дисциплин математического анализа, которые уже требуют для себя ясного и четкого места в общей диалектической системе.
Определенный интеграл есть интеграл, полученный из процесса изменения аргумента χ между данными пределами. Он несет на себе печать ограниченности области изменения аргумента. Можно еще далее усложнять получение интеграла из инобытийных судеб функции. Можно оперировать не только с производными, но и с теми или другими их модификациями в недрах инобытия. Можно идти к интегралу не просто от производной, но от производной в ее той или иной обусловленности и окружающим инобытием. Мы уже видели, что производная может переходить в свою производную, эта последняя—еще в дальнейшую, и т. д. Однако это есть не единственная инобытийная модификация производной. Можно и не переходить в чистое становление, а ограничиться чисто статическим инобытием. Так, если мы имеем х, то такое, напр., выражение, как , есть некая инобытийная модификация х, нисколько не становящаяся (в диалектическом смысле), а чисто статическая, потому что здесь дан ряд статических изменений, претерпеваемых х–ом. Точно так же и производную можно брать в ее инобытии не обязательно под формой чистого становления, а только лишь под формой статической измененности. И следовательно, может возникнуть задача получения интеграла именно при помощи такой статически–инобытийной обработанной производной.
В данном случае мы имеем дело, несомненно, с инобытием производной и с инобытием в его субстанциальной положенности. И вот спрашивается: как перейти от такой статически–инобытийной положенной производной к соответствующему интегралу? Это и есть предмет 1ч>й науки, входящей в состав математического анализа, которая носит название интегрирования дифференциальных уравнений.
Что такое дифференциальное уравнение и что значит—решить дифференциальное уравнение? Под дифференциальным уравнением понимается такое, которое содержит в себе дифференциалы, или производные, а решить его — значит найти такое соотношение переменных, которое бы ему удовлетворило в смысле тождества. Пусть, напр., имеется уравнение
уn+у=о,
где уn есть производная второго порядка от первообразной функции у. Решить такое уравнение—значит найти выражение для у, которое бы не содержало никаких производных, или дифференциалов, но содержало бы только х. Здесь мы не можем поступить так, как обычно при непосредственном интегрировании функции. Мы находим здесь вторую производную в сложении со значением первообразной функции и должны исходить из суммы этих двух функций. Дана, стало быть, определенная инобытийная переработка производной. Возьмем другое дифференциальное уравнение:
(x+y)dx+xdy=0.
Здесь два дифференциала даны в своеобразном переплетении с аргументом χ и с самой первообразной функцией, т. е. тут тоже определенная инобытийная переработка производной; и нужна специальная манипуляция, чтобы дать такую комбинацию χ и у, в которой бы отсутствовали всякие dx и dy. Приравнение нулю указывает на то, что инобытийная переработка производной (в данном случае — в виде двух дифференциалов) прикреплена здесь к инобытийной субстанциальности своими прочными корнями. Требуется оторваться от этой инобытийной скованности и перейти к первообразной функции, данной как чистый интеграл, несмотря ни на какую связанность производной в этом инобытии. Полученный интеграл, очевидно, будет нести на себе смысловую энергию не просто производной, но и всех ее инобытийных переплетений. Если производную мы вообще понимаем как закон реального инобытия идеальной взаимозависимости, то, очевидно, интегрирование дифференциального уравнения дает интеграл не как просто возвращение от закона реального инобытия идеальной взаимозависимости к самой этой взаимозависимости, но как возвращение к ней от тех или других модификаций и осложнений данного закона реального инобытия, от той или иной его инобытийной переплетенности с другими фактами инобытия.
Таково диалектическое место интегрирования дифференциальных уравнений.
Четкое понимание диалектического места этого вида интегрирования дает возможность найти такое же место и еще для одной дисциплины, входящей в математический анализ, которая в одном отношении даже выходит уже за пределы интегрального исчисления. Прежде чем ее назвать, формулируем еще раз достигнутый нами результат в диалектической интерпретации интегрального исчисления.
Неопределенный интеграл есть возвращение функции к самой себе из недр своего становящегося инобытия, но возвращение пока лишь чисто структурное, пока еще лишенное абсолютно–количественной определенности. Определенный интеграл есть это же возвращение, но уже не просто в смысле структуры, а еще и, кроме того, в смысле количественном; для самопроявлений находимой структуры функции положены четкие количественные пределы. Далее—какая возможна еще дальнейшая интенсификация интегральной определенности, или, другими словами, интенсификация самой интегральности? В определенном интеграле дана определенность границ, очертания. Что может диалектически противостоять этой определенности? Конечно, — определенность того, что содержится внутри границ, внутри очерченных пределов. Это и будет инобытием той определенности, которую содержит в себе определенный интеграл. Такая определенность будет, конечно, зависеть не просто от предельных точек значения аргумента х, но, главным образом, от поведения самой производной, и притом поведения не производной как производной (это имеется в виду уже во всяком неопределенном интеграле), но производной в ее переплетении с другими моментами, дающими ей ту или другую инобытийную определенность и тем самым вносящими эту определенность в недра самого интеграла. Таким образом достигается определенность интеграла внутри его собственных границ; и если определенный интеграл возникает как определенность его количественных границ, то интегрированное дифференциальное уравнение возникает как определенность интеграла внутри тех границ, с появлением которых тоже дается сам определенный интеграл. Ясно, что обе дисциплины интегрального исчисления — теория определенных интегралов и интегрирование дифференциальных уравнений — находятся в четком диалектическом взаимоотрицании.
Возникает вопрос: где же синтез этих двух видов интегральной определенности? Теория определенных интегралов дает определение границ, внешнего очертания, контура интеграла, и притом — в чисто количественном смысле. Интегрирование дифференциальных уравнений дает для интеграла определенность внутреннюю, возникающую как результат инобытийной определенности производной. В первом случае изменяется аргумент в определенных пределах, и за ним пассивно следует функция. Во втором случае не только меняется χ, но самостоятельность проявляет и сама функция, поскольку она берется не только в своей зависимости от аргумента, но и в своей внеаргументной определенности, зафиксированной «в структуре дифференциального уравнения. Значит, должен возникнуть диалектический синтез двух интегральных опре–деленностей, синтез внешнеколичественный (в смысле пределов, границ) и внутреннеструктурный (в смысле определенной заполненности упомянутых пределов). Этот синтез и дан в той науке, которую в общем виде можно назвать функциональным исчислением и которая более известна в своем частном виде под именем вариационного исчисления.
Сущность вариационного исчисления базируется на расширении самого понятия функции. Сейчас мы укажем, почему в этом и надо искать формулированный только что диалектический синтез двух интегральных определенностей.
Обычно в анализе мы имеем аргумент jc и зависящую от него функцию у. Меняется x, меняется и зависящая от него функция. Можно, однако, под аргументом понимать не просто х, а целую функцию и говорить, таким образом, о зависимости функции от функции. В сущности, и здесь нет ничего нового по сравнению с тем же дифференциальным исчислением, где можно найти сколько угодно зависимостей функции и где дается определенное правило дифференцирования таких «сложных» функций. И не в этом специ–фикум функционального и вариационного исчисления. Здесь имеется в виду не просто зависимость функции от функции, т. е. зависимость функции от количественного значения функции, но тут — зависимость функции от изменения вида функции, от последовательной деформации самой структуры функции. Роль аргумента принимает здесь на себя самый вид функции. Изменяется вид, структура функции, и—соответственно—меняется количествен–ное значение функции, а отсюда—соответственно—возникает то или иное значение интеграла.
Когда в диалектике возникает вопрос о синтезировании границы и ограниченного, всегда ищется категория, которая бы сразу дала и охватила как границу, так и ограниченное, чтобы оба эти начала превратились в нечто цельное, неделимое и даже неразличимое. В определенном интеграле дана определенность границ интеграла в связи с определенностью области изменения аргумента. В интегрировании дифференциального уравнения дана определенность содержания интеграла в связи с определенным содержанием изменения функции. Оба эти взаимопротивоположные момента — граница и содержание—даны количественно, хотя уже в содержании, как в том, что противоположно границе, уже содержится качественный момент, предполагающийся, но не использованный как чистая качественность, а использованный пока только количественно. Стало быть, синтез теории определенных интегралов и интегрирования дифференциальных уравнений есть в сущности синтез формы и содержания, предела и определяемого, границы и ограничиваемого.
Предел и граница в глубине своей есть нечто качественное, хотя и возникает ради отличения одного от другого, т. е. ради количественных противоположений. Содержание, напротив того, есть нечто количественное, поскольку оно есть результат раздробления того, что очерчено определенными границами, — хотя возникает это содержание, как нечто заполняющее данные границы, т. е. ради качественной самостоятельности. Синтез того и другого не есть уже и не качество, и не количество, а то, в чем они совпали и отожествились, т. е. структура, вид, форма, или, как Гегель сказал бы, «мера» (Maass), т. е. размеренность, измеренность, лик, лицо качества, принявшего в себя все количественные определения. Пока форма и содержание фиксируются в отдельности, им присуща количественность или незримо наличная, но диалектически еще не положенная, не зафиксированная качественность, или обратно — качественность в условиях невыявленной количественности. Синтез их — одинаково полагает и то и другое и одновременно снимает их ради большей общности и смысловой взаимопронизанности. В определенном интеграле — ограниченность пределов; в интегрированном дифференциальном уравнении — положенность внутренних определений; в вариационном исчислении разыскивается интеграл, который является и результатом изменения аргумента χ в определенных пределах (и потому тут ищется всегда определенный интеграл), и результатом изменений самой функции (и потому тут дана изменяемость самой структуры функции). Подчеркиваем, что здесь разыскивается определенный интеграл в условиях изменения именно структуры функции, потому что чисто количественные изменения функции привели бы не к диалектическому синтезу формы и содержания, но к чисто внешнему и механическому их объединению.
Простейший пример:
Здесь χ—аргумент, у—функция, у' — первая производная, х0 и x1 —крайние пределы изменения значений аргумента. Вариационное исчисление ставит своею целью нахождение условий для максимума и минимума определенного интеграла I, когда y=f(x) сама меняется по своему виду. Тут исследуют: при какой зависимости у от х, входящей в состав подынтегральной функции, данный интеграл будет иметь максимальное или минимальное значение? В дифференциальном исчислении в учении о maxi[mu]m и minim [um] вопрос ставится так: при каком значении χ функция у достигает максимума или минимума (причем это значение находится из наблюдения за поведением производных)? В вариационном исчислении не только все исследование совершается в направлении, обратном дифференциальному исчислению (как это и вообще в интегральном исчислении), но, кроме того, в этом обратном направлении путь совершается не только от производной, но еще и от ее связанности с другими действиями, так что лучше уже говорить, — от новой функции, куда производная входит лишь как составной элемент, да еще в этой функции содержится вариируемая первообразная функция, т. е. функция, изменяющаяся в своей структуре. Получаемый таким способом интеграл несет на себе энергию определенности области изменения аргумента, энергию самостоятельной определенности, зависящей от этого аргумента функции, и, наконец, энергию изменений структурной определенности функции.