Алексей Лосев – Диалектические основы математики (страница 129)

Однако в пределах иррациональных структур уже намечается разная степень конкретности границы и оформления. В чисто иррациональном числе граница только становится, и больше ничего о ней тут не известно. Но в понятии непрерывности эта становящаяся граница внутреннего сливается с самим числом и, таким образом, полагается вместе с ним, полагается в меру его собственной положенности. Раньше граница вовсе не была положена, а бралась готовой, как положенная неизвестно каким смысловым актом. В непрерывной величине она слита с числом настолько интимно, что ее становление оказывается уже становлением самого числа, а положенность числа оказывается уже и положенностью ее самой. В непрерывности стихия границы, т.е. сама очерченность, оформленность, вошла во внутреннее содержание числа и объединилась с ним, и получилась некая оформленность, или образность, но – пока на стадии текучего и алогического, сплоченно-неразличенного становления. Если бы граница, очерченность, образность были положены как такие, мы имели бы категориальную структуру границы, и диалектика числа как конкретного смыслового образа была бы в основном закончена. Но тут граница и очерченность положены вместе с самим числом, и потому предстоит еще диалектика разделения этих двух моментов, прежде чем будет получена чистая и конкретная смысловая фигурность числа.

В непрерывной величине фигурность числа положена вместе с самим числом и алогически расплылась в нем. Прерывная величина вносит различения в эту алогическую растворенность фигуры числа в самом числе. В категории же предела впервые останавливается это бесконечное алогическое стремление и фиксируется как некая ставшая структура. Оформленность и образность, вошедшие в непрерывной и прерывной величине внутрь структуры и придавшие ей определенную смысловую содержательность (пока на стадии алогического становления), в понятии предела впервые фиксируются в своей едино-совокупной положенности, в своей ставшей, а не просто становящейся смысловой данности. Оттого предел есть ставшая фигурность внутреннего и внешне положенного числа, пребывающего во взаимно несоизмеримом подвижном алогизме. Предел есть положенность такой границы, такой структуры и числового очертания, когда этими границами и структурами определяется алогический процесс становления числа, по существу своему бесконечный. Непрерывность и прерывность слиты здесь в один процесс стремления выразить некую общую структуру становления, и эта структура и есть граница, предел – и в общем, и в специально-математическом смысле этого последнего слова.

Итак, мы получили до сих пор оформление числа, положенное в неразрывном единстве с самим числом, с его внутренно-внешним содержанием. Разная степень конструкции этого оформления зависит от разной степени конкретности самого числа. Ниже (§ [111a]) мы увидим на трех типичных пределах – e, sinx/x и π, как эта нарастающая конкретность числа, взятого вместе с его фигурностью, чувствуется вполне осязательно. Если предел e есть стихия числа (единицы) в его общеэнергийной выявленности, где сама явленность, т.е. сама очерченность и фигурность, еще пока растворена во внутренно-внешнем содержании числа и где нет раздельного фиксирования формы как таковой и числа как такового, то в пределе sinx/x начинается, рождается, а в пределе π завершается и наглядно рисуется такая оформленность числа, которая хотя и пребывает в полной с ним неразрывности, но уже осязательно на нем обрисовывается, выпукло на нем выступает и оказывается в значительной мере доступной для изолированного созерцания. В понятии π дано наиболее наглядно это совокупное содержание границы величины и ее внутреннего содержания – в конкретно выявленном взаимоотношении того и другого. Здесь наиболее зрелый плод совокупного полагания вещи вместе с ее смысловой образностью и очерченностью.

Следовательно, остается только отбросить то, ради чего данная образность есть образность, и мы получим уже чистую самостоятельную числовую образность, созерцаемую не на чем-нибудь другом и не в отношении чего-нибудь другого, а вполне самостоятельно, образность как таковую, как новую и самодовлеющую субстанцию. В категориях непрерывности, прерывности и предела числовая образность была хотя и положена, но эта положенность была связана здесь с формой и степенью положенности самого числа и потому получала не общую, а частную, вполне специфическую структуру. Это мешало числовой образности быть свободной структурой, и ее нельзя было вписать в таблицу основных математических категорий как самодовлеющую. Она тут пока еще играет второстепенную роль, и значение ее вполне прикладное. Но исключим из этого едино-совокупного обстояния образа-вещи числá его «вещественную» стихию и сосредоточимся на образности как таковой, на образности как самоцели, и – мы получаем уже совершенно новую категорию числа, вполне свободную и самоцельную; и тут уже не будет антитезы внутреннего и внешнего как основного и единственного фактора (при котором граница была бы чем-то второстепенным, хотя и само собою разумеющимся), но тут будет обратная тому ситуация: основную и единственную роль играет здесь сама граница, сама образность и оформление, а антитеза внутреннего и внешнего оттесняется здесь назад и начинает играть роль только смыслового фона, совершенно необходимого и очень нужного, но второстепенного и как бы окаймляющего выпукло данную и резко выступившую вперед очерченность и фигурную сконструированность.

Число, данное как чисто смысловая образность и фигурность числа, как отделенная от его внутренно-внешнего содержания чистая его структурность, и есть мнимое, или комплексное, число.

К анализу этой глубочайшей категории математики мы теперь и обратимся.

§ 105.

с) Мнимая (комплексная) величина.

Общее понятие

Мнимая величина может быть рассматриваема с разнообразных точек зрения, и в самой математике дается отнюдь не какое-нибудь одно-единственное ее определение, хотя, безусловно, все эти различия являются только разными сторонами одной и той же диалектической конструкции, и надо уметь их так связать, чтобы действительно получалась единая конструкция.

Одно из самых первых и элементарных определений мнимой величины – это то, что обыкновенно обозначается как i и представляет собою квадратный корень из отрицательной единицы, √–1. Это вполне слепое определение мнимой величины, получаемое как необходимое завершение понятия числа, совершенно не раскрыто в математике по существу; и, кажется, можно с полным правом сказать, что никто ровно ничего не понимает в этом выражении √–1. В руководствах по математике эта мнимая величина трактуется просто как необходимое следствие из желания проводить любые действия над любыми величинами. Если бы мы не извлекали квадратного корня из отрицательных величин, то в силу этого отпали бы весьма значительные операции, появляющиеся тем не менее вполне естественно, в порядке самых обыкновенных вычислительных приемов. Операция извлечения корня из отрицательной величины появляется вполне естественно, и поэтому волей-неволей приходится считаться с нею. Но что она значит, что это, собственно, значит – извлечь квадратный корень из отрицательного числа – этого, можно сказать, ровно никто не знает. И потому это пресловутое i вводят нехотя, как бы стыдясь столь неприличной вещи, и если вводят, то сейчас же стремятся избавиться от этого i и перейти к «вещественным» числам и операциям.

Это наивное и смешное отношение к числу i было результатом определенной эпохи вульгарного материализма, видевшей конкретное только в вещественном и не подозревавшей того, что подлинная конкретность не в грубом веществе, но в диалектике бытия в жизни, в рождении и пребывании живых противоречий действительности. Поэтому нашей задачей является не стыдливо и боязливо прикрыть этот досадный символ i и сделать вид, что тут нет ничего особенного и что даже самое это i как бы не существует, а, наоборот, дать себе отчет в полной ясности мысли о природе мнимой величины и без всяких ограничений и стеснений вскрыть решительно все те категории мысли, которые вошли в это i и определили собой его общелогическую и, в частности, диалектическую структуру.

Что такое (–1) и что такое «квадратный корень»? Единица есть полагание, утверждение. В отличие от всякого другого числа единица есть полагание как такое. Положительная единица есть фактическая субстанция, единица же сама по себе есть полагание мысленное, смысловое; это идеальная субстанция. Отрицательная единица есть отталкивание от положительной единицы, т.е. от фактически положенной субстанции, и – отталкивание снова в идеальную, смысловую область, и притом с новым содержанием. Отрицательная единица, как мы знаем из диалектики отрицательного числа, есть не просто идеальная единица (иначе она ничем не отличалась бы от абсолютной единицы), но такая «идеальная», которая возникла на основе «реальной» единицы. Она существует, но не в том смысле, как существует положительная единица; она существует только в чистой мысли, и притом не как чистая мыслимость просто (ибо в чистой мыслимости нет никакого отрицания), но как чистая мыслимость, отталкивающая реальную данность. Это такая мыслимость, т.е. такое оформление реальной субстанции, в результате которого последняя мыслится отсутствующей. Уже по одному этому (–1) есть некое представление единицы, вернее, некий ее образ. Ибо та единица, которая существует в реальной единице как именно единица, но в то же время отталкивает от себя реальную положенность самой единицы, – такая единица есть образ, смысловая структура единицы, идея единицы. Ведь в бытии есть или факты, или идеи, или объединение того и другого – больше нет ничего.