Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Чат Научный форум --> Первая десятка "Русского переплета" Темы дня:

Президенту Путину о создании Института Истории Русского Народа. |Нас посетило 40 млн. человек | Чем занимались русские 4000 лет назад?

| Кому давать гранты или сколько в России молодых ученых?

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

С СУПЕРМАТЕМАТИКОЙ

И. Л. БУХБИНДЕР

Томский государственный педагогический университет

1. Понятие числа является одним из основных, первичных понятий математики, одной из фундаментальных математических абстракций. В процессе развития математики и расширения сферы ее приложений термин "число" каждый раз наполнялся новым, порой далеко не очевидным смыслом. Хорошо известны такие понятия, как натуральные числа, рациональные и иррациональные числа, положительные и отрицательные числа, трансцендентные числа. Все эти виды чисел объединяются одним понятием вещественного числа. Однако термин "число" в математике не исчерпывается вещественными числами. Школьникам старших классов знакомы комплексные числа, существует также обобщение понятия комплексного числа, называемое кватернионом (см., например, [1, 2, 8]), которое характеризуется тремя мнимыми единицами. В математике используются обобщения понятия числа с еще большим количеством мнимых единиц. Важно отметить, что конкретное числовое множество определяется аксиоматически путем задания определенного комплекса условий, касающихся правил действия с этими числами (см., например, книгу [3]).

Развитие современной квантовой физики, в первую очередь квантовой теории поля, привело к необходимости рассматривать числа, обладающие фантастическими с точки зрения обычных числовых множеств свойствами: произведение двух чисел меняет знак при перестановке сомножителей, в частности произведение числа на себя равно нулю. Очевидно, что ни вещественные, ни комплексные числа такими свойствами обладать не могут. Это касается и кватернионов. Чтобы отличать эти необычные числа от обычно используемых, был введен новый термин - антикоммутирующие числа. Мало того, что появились антикоммутирующие числа, физикам потребовались функции, зависящие от переменных, в качестве которых использовались антикоммутирующие числа, и возникла необходимость дифференцировать и интегрировать эти функции. Таким образом, перед математикой была поставлена проблема разработки нового математического раздела, получившего название алгебры и анализа с антикоммутирующими числами, или суперматематики. Определяющий вклад в создание суперматематики внес московский математик Ф.А. Березин [4].

Первые работы Ф.А. Березина по суперматематике появились в первой половине 60-х годов, однако термин "суперматематика" возник во второй половине 70-х годов и связан с новым направлением в теоретической физике, получившим название суперсимметрии. Суперсимметрия была открыта в 1971 году сотрудниками Физического института АН СССР (Москва) Ю.А. Гольфандом и Е.П. Лихтманом (см. популярное изложение суперсимметрии в статье [5]; учебный материал, рассчитанный на математически подготовленного читателя, дан в книге [6]). В середине 70-х годов стало ясно, что алгебра и анализ с антикоммутирующими числами являются тем математическим аппаратом, который идеально приспособлен для описания суперсимметрии. В результате этого возникли термины "супералгебра", "супергеометрия", "суперанализ" или в целом "суперматематика".

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

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

Вспомним, что вещественные и комплексные числа можно складывать и перемножать по хорошо известным правилам. Имеются и другие знакомые объекты, которые можно складывать и перемножать, - это векторы в трехмерном пространстве. Более того, такие векторы можно умножать на вещественные или комплексные числа. Возможность складывать некоторые объекты и умножать их на вещественные или комплексные числа ведет к общему понятию n-мерного линейного пространства, которое мы будем считать известным (определение n-мерного линейного пространства входит во все стандартные программы по математике педагогических вузов и изложено в стандартных учебниках, см., например, [7]).

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

Определение 1. Линейное пространство A (вещественное или комплексное) называется (вещественной или комплексной) алгеброй, если в нем определена бинарная операция умножения элементов, то есть любым двум элементам a, b k A сопоставляется единственный элемент, обозначаемый ab k A:

(a, b) ab k A.

При этом бинарная операция удовлетворяет свойствам

a(ab + bc) = aab + bac,

(ab + bc)a = aba + bca,

где a, b - произвольные вещественные или комплексные числа и a, b, c - произвольные элементы линейного пространства A.

Приведем очевидные примеры алгебр.

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

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

3. Множество векторов трехмерного пространства, в котором роль бинарной операции умножения играет векторное произведение векторов.

4. Множество матриц n i n, в котором роль бинарной операции умножения играет обычное произведение матриц.

5. Множество многочленов Pn(x) произвольной степени n, зависящих от вещественной переменной x, с вещественными коэффициентами. Роль бинарной операции умножения играет обычное произведение многочленов.

6. Множество функций вида , где Pn(x), Qm(x) - многочлены степени n и m соответственно. Роль бинарной операции умножения играет обычное произведение многочленов.

Обратим внимание, что общее определение алгебры включает в себя все то, что понимается под алгеброй в школьном курсе математики. Действительно, школьный курс алгебры по существу имеет дело только с примерами 1, 2, 5, 6, рассмотренными выше.

Понятие алгебры является прекрасной иллюстрацией того, как осуществляется математическая абстракция. Что общего имеется в примерах 1-6? В каждом из них задано некоторое множество объектов. Для этих объектов определены операции сложения и умножения на вещественные или комплексные числа. Кроме того, для каждой пары объектов определена операция умножения их друг на друга. Выделяя то общее, что присутствует в данных примерах, мы приходим к определению абстрактной алгебры и возможности изучения ее абстрактной структуры.

Для дальнейшего нам потребуется еще несколько определений, выделяющих алгебры, обладающие некоторыми специальными свойствами.

Определение 2. Алгебра называется коммутативной, если для любых двух ее элементов a и b выполняется ab = ba.

Определение 3. Алгебра называется ассоциативной, если для любых трех ее элементов a, b, c выполняется (ab)c = a(bc).

Нетрудно заметить, что примеры 1 и 2 задают коммутативные и ассоциативные алгебры. Пример 3 задает некоммутативную и неассоциативную алгебру. Пример 4 соответствует некоммутативной, ассоциативной алгебре.

Определение 4. Если в алгебре A существует элемент e, обладающий обычными свойствами единицы ea = ae = a, "a k A, то эта алгебра называется алгеброй с единицей, а элемент e - единицей алгебры.

Очевидно, что примеры 1, 2, 4 отвечают алгебре с единицей, где в примерах 1, 2 роль единицы алгебры играет число 1, а в примере 4 - единичная матрица. Пример 3 отвечает алгебре без единицы.

Определение 5. Алгебра называется конечномерной, если соответствующее линейное пространство является конечномерным.

Далее мы ограничим наше рассмотрение только случаем конечномерных алгебр.

Определение 6. Пусть A - ассоциативная алгебра с единицей и пусть B - некоторое подмножество элементов из A. Подмножество B называется системой образующих элементов алгебры A, если любой a k A может быть представлен как многочлен конечного порядка, построенный из элементов B и их произведений:

Здесь a и - вещественные или комплексные числа, e - единица алгебры и bi k B, i = 1, 2, _, p. Элементы bi называются образующими алгебры A.

Прокомментируем это определение. Пусть B - система образующих алгебры A. Поскольку B ? A, то для элементов bi k B определена бинарная операция умножения и определены операции, задающие линейное пространство. Давайте начнем перемножать элементы из B между собой конечное число раз, умножать их на вещественные или комплексные числа и складывать. Утверждается, что таким образом мы исчерпаем все элементы алгебры A.

Далее мы будем предполагать, что единичный элемент e совпадает с числом 1.

Теперь мы готовы перейти к рассмотрению антикоммутирующих чисел.

3. Антикоммутирующие числа естественным образом вводятся в рамках математической конструкции, называемой грассмановой алгеброй.

Грассманова алгебра или алгебра Грассмана представляет собой конкретный пример алгебры, в которой задаются специальные свойства ее элементов.

Определение 7. Ассоциативная алгебра с единицей называется алгеброй Грассмана, если в ней существует система линейно-независимых образующих элементов {qi, i = 1, 2, _, n}, обладающих свойствами:

(а) qiqj + qjqi = 0, i, j = 1, 2, _, n;

(b) любое другое соотношение между образующими элементами qi является следствием соотношения (1).

В частности, (qi)2 = 0, i = 1, 2, _, n. Алгебра Грассмана с n образующими обозначается Ln .

Основным определяющим свойством образующих грассмановой алгебры является антикоммутативность qiqj = - qjqi. Это означает, что образующие qi ни в каком смысле не могут быть обычными вещественными или комплексными числами, многочленами, матрицами или векторами в трехмерном пространстве. Объекты qi представляют собой независимые, самостоятельные математические понятия, правила действия с которыми диктуются соотношением (1).

Выясним, как выглядит произвольный элемент алгебры Грассмана Ln . Начнем с алгебры L1 . В этом случае имеется только один образующий элемент q, причем (q)2 = 0 и поэтому (q)k = 0 при k $ 2. Следовательно, произвольный элемент алгебры L1 есть a = a + cq, где a и c - вещественные или комплексные числа.

Рассмотрим алгебру L2 , содержащую два образующих элемента q1, q2, причем (q1)2 = (q2)2 = 0, q1q2 = = - q2q1. Путем их перемножения можно построить еще один элемент q1q2 (q1q2 = - q2q1). Значит, произвольный элемент алгебры L2 выглядит так: a = a + + c1q1 + c2q2 + c12q1q2. Здесь a, c1 , c2 , c12 - обычные числа.

Обратимся теперь к общему случаю Ln . Здесь мы имеем n образующих элементов q1, q2, _, qn. Перемножая эти элементы получим мономы , , где индексы i1 , i2 , _, in принимают значения 1, 2, _, n. Заметим теперь, что любой моном , где k $ 1, всегда обращается в нуль. Дело в том, что в этом случае среди сомножителей какой-нибудь из элементов qi встретится по крайней мере два раза. Используя соотношение (1) переставим сомножители так, чтобы возникло произведение (qi)2 = 0. Например, q1q2q3q4q2 = q1q2q2q3q4 = q1(q2)2q3q4 = 0. В результате мы получаем следующие независимые мономы: . Поэтому произвольный элемент алгебры Грассмана Ln имеет вид

где - вещественные или комплексные числа. По повторяющимся индексам i, i1 , _, in подразумевается суммирование от 1 до n в каждом слагаемом. Обратим внимание, что в силу антикоммутативности образующих элементов все коэффициенты достаточно считать полностью антисимметричными. Заметим также, что любой моном, содержащий ровно n сомножителей, равен с точностью до знака произведению q1q2_qn.

Соотношение (2) выглядит как разложение элемента a некоторого линейного пространства по базису, образованному линейно-независимыми мономами . Подсчитаем число базисных элементов. Число образующих qi равно n, число мономов - числу сочетаний из n элементов по 2, то есть , число мономов равно числу сочетаний из n элементов по три, то есть , и т.д. В результате число базисных элементов в соотношении (2) составляет . Таким образом, алгебру Грассмана Ln можно рассматривать как линейное пространство размерности 2n.

Введем обозначение

Выражение (3) будем называть функцией антикоммутирующих переменных q = {q1q2_qn}. Мы видим, что произвольная функция антикоммутирующих переменных представляет собой не более чем линейную комбинацию мономов, построенных путем перемножения образующих элементов алгебры Грассмана.

Представим функцию f (q) (3) в виде

f (q) = fb +fs(q)

где fb = a и fs(q) = Очевидно, что если a ? 0, то am ? 0 для любого целого m. В то же время (fs(q))l ╞ 0 для некоторого целого l. Следуя Б. Де Витту, будем называть fb телом, а fs(q) - душой функции f (q). Конечно, эти названия носят скорее символический, шутливый характер. Название "тело" отражает тот факт, что fb является обычным числом, то есть привычным объектом, который как бы материален. Термин "душа" указывает, что fs(q) - наиболее существенная часть функции f (q), однако никаким обычным числом fs(q) не является и его некоторая степень тождественно равна нулю. Иногда используется терминология, согласно которой выражение вида (2) называется суперчислом, а образующие qi - антикоммутирующими числами.

Соотношение (2) показывает, что любой элемент a k Ln может быть единственным образом представлен в виде

a = (0)a + (1)a,

где (0)a - линейная комбинация a и мономов с четными k, а (1)a - линейная комбинация тех же мономов, но с нечетными k. Элементы (0)a называются четными элементами алгебры Грассмана, а элементы (1)a - нечетными. Обозначим: (0)Ln - множество всех четных элементов, (1)Ln - множество всех нечетных элементов. Нетрудно понять, что множества (0)Ln , (1)Ln сами являются линейными пространствами и алгебра Грассмана Ln представляет собой их (прямую) сумму. Нетрудно заметить, что произведение четных элементов алгебры Грассмана снова является четным элементом, произведение нечетных элементов - четным элементом, произведение четного и нечетного элементов - нечетным элементом. Эти свойства символически записываются так:

(0)L(0)L = (0)L, (1)L(1)L = (0)L,

(0)L(1)L = (1)L(0)L = (1)L.

Введем функцию e(a) по следующему правилу:

Если же a = (0)a + (1)a и (0)a ? 0, (1)a ? 0, то e(a) не определено. Функция e(a) называется грассмановой четностью элемента a k Ln . Предлагаем читателю в качестве упражнения проверить простейшие свойства грассмановой четности

1) e(ab) = (e(a) + e(b))(mod 2),

2) ab = (-1)e(a)e(b)ba,

где элементы a, b k Ln таковы, что e(a), e(b) определены.

Пусть {qi, i = 1, 2, _, n} - образующие грассмановой алгебры Ln . Рассмотрим выражение

Здесь x ╞ (x1, x2, _, xN) - обычные вещественные переменные. Выражение (7) называется функцией коммутирующих x m, m = 1, 2, _, N, и антикоммутирующих qi переменных или функцией со значениями в алгебре Грассмана, или суперфункцией, или суперполем. Именно последний термин используется в теоретической физике. Очевидно, суперфункции (7) формируют линейное пространство, которое обозначается LN, n , где первый индекс N указывает на число обычных (коммутирующих) переменных, а второй индекс - это число антикоммутирующих образующих. Очевидно, что понятие грассмановой четности автоматически переносится на суперфункции.

4. Несмотря на достаточно необычные свойства антикоммутирующих объектов qi и суперфункций (7), эти суперфункции можно дифференцировать и интегрировать по qi. При этом соответствующие производные и интегралы во многом (но не во всем) аналогичны обычным производным и интегралам.

Начнем с понятия производной. Очевидно, что то определение производной, которое используется в обычном математическом анализе как предел отношения приращения функции к приращению аргумента, не годится для суперфункций. Дело в том, что для объектов qi понятия "приращение" и "деление" не определены. Чтобы ввести подходящее определение производной по антикоммутирующим переменным qi, используем некоторые аналогии с обычными функциями.

Заметим, во-первых, что дифференцирование является линейной операцией. Во-вторых, обратим внимание, что производная линейной функции y = = ax + b вычисляется очень легко: надо просто зачеркнуть b и x, в результате получится y' = a.

Рассмотрим произвольную суперфункцию f (x, q) (7). Она представляет собой линейную комбинацию мономов , причем в каждом из них конкретный элемент qi присутствует не более одного раза. Другими словами, по отношению к каждому конкретному элементу qi любая суперфункция является не более чем линейной функцией. Естественно поэтому определить дифференцирование так, чтобы оно просто вычеркивало соответствующий элемент qi. Здесь, однако, есть некоторый нюанс. Элемент qi антикоммутирует с другими образующими элементами, в силу чего его можно передвигать по отношению к другим сомножителям монома , что может вести к изменению общего знака. Например, рассмотрим моном q1q2q3q4. Его можно переписать в виде - q2q1q3q4, или - q1q3q2q4, или q1q3q4q2. В каком из четырех этих выражений следует вычеркнуть q2, чтобы получить производную по q2? Чтобы ответить на этот вопрос, надо просто договориться. В общем случае рассматриваются два варианта: фиксированный элемент qi переставляется на первое место слева и вычеркивается или фиксированный элемент переносится на последнее место справа и вычеркивается. В итоге мы приходим к понятиям левой и правой производных.

Итак, определим производные по образующим грассмановой алгебры так, чтобы они обладали свойством линейности. Тогда достаточно задать производные мономов .

Определение 8. Левая производная монома по образующей qi задается правилами:

1) если среди нет образующей qi, то левая производная равна нулю;

2) если среди присутствует образующая qi, то ее надо переставить на первое место слева, пользуясь соотношением (1), и вычеркнуть.

Левая производная по qi обозначается

Определение 9. Правая производная монома по образующей qi задается правилами:

1) если среди нет образующей qi, то правая производная равна нулю;

2) если среди присутствует образующая qi, то ее надо переставить на последнее место справа, пользуясь соотношением (1), и вычеркнуть. Правая производная по qi обозначается .

Замечание. Стрелки в обозначениях не имеют отношения к обозначению вектора, а просто указывают, слева или справа действует операция дифференцирования.

Свойства линейности и правила дифференцирования мономов позволяют легко вычислять производные любых суперфункций. Приведем

Примеры.

В первом случае мы поставили q2 слева, переставив q2 и q1, в силу чего появился знак минус. Во втором случае мы записали q2 справа, переставив q2 сначала с q3, а потом с q4, в силу чего знак не изменился.

Поскольку данный элемент qi может присутствовать в любом мономе не более одного раза, то очевидно, что

Другими словами, проблемы вычисления высших производных не существует.

В качестве упражнения предлагаем читателю проверить следующие свойства производных:

где f (x, q) - произвольная суперфункция.

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

Чтобы подойти к определению интеграла Березина, будем основываться на аналогии с обычным интегралом Римана. Хорошо известно, что этот интеграл обладает свойством линейности. Примем, что интеграл от суперфункций является линейной операцией. Тогда достаточно ввести правила интегрирования мономов. Вспоминая обсуждение, предшествующее определению (левой, правой) производной, мы видим, что достаточно задать правила интегрирования выражений вида a + ciqi.

Введем, следуя Ф.А. Березину, алгебру Грассмана L2n с образующими {qi, dqj, i, j = 1, 2, _, n}, которые, согласно соотношению (1), удовлетворяют условиям

qidqj + dqjqi = 0, dqidqj + dqjdqi = 0.

Наша цель состоит в определении интеграла . В силу линейности и структуры функции f (7) достаточно задать правила вычисления только двух интегралов

(по i суммирования нет).

Определение 10. Однократные интегралы Березина задаются следующим образом:

Кратные интегралы определяются как повторные, то есть сначала вычисляется интеграл по dqn , затем по dqn - 1 и т.д.

Замечание. Нетрудно заметить, что, согласно равенствам (8), выполняется соотношение

То есть по существу интеграл Березина совпадает с правой производной.

Каждый, кто изучал математический анализ, знает, что вычисление интегралов представляет собой непростую задачу и часто требует значительной изобретательности. Что касается интеграла Березина, его легко можно вычислить для суперфункции общего вида (7). Действительно, рассмотрим . В силу свойства линейности и равенств (7) единственный ненулевой вклад может возникнуть от монома наибольшей возможной степени. Значит,

Здесь учтено, что коэффициенты полностью антисимметричны. Таким образом, интеграл Березина от произвольной суперфункции всегда равен коэффициенту при мономе наибольшей степени в выражении для суперфункции (7).

В заключение отметим, что подробное изложение суперматематики и ее приложений в квантовой теории поля дано в книгах [4, 6].

ЛИТЕРАТУРА

1. Ван дер Варден Б.Л. Алгебра. М.: Наука, 1976. 648 с.

2. Дубровин Б.А., Новиков С.П., Фоменко А.Т. Современная геометрия. М.: Наука, 1979. 759 с.

3. Зорич В.А. Математический анализ. М.: Наука, 1981. Т. 1. 543 с.

4. Березин Ф.А. Введение в алгебру и анализ с антикоммутирующими переменными. М.: Изд-во МГУ, 1983. 208 с.

5. Фридман Д., ван Ньювенхейзен П. Супергравитация и унификация законов физики // Успехи физ. наук. 1979. Т. 128, ╧ 1. С. 135-160.

6. Buchbinder I.L., Kuzenko S.M. Ideas and Methods of Supersymmetry and Supergravity or a Walk through Superspace. Bristol; Philadelphia: IOP Publ., 1995. 640 p.

7. Курош Л.Г. Курс высшей алгебры. М.: Наука, 1965. 431 с.

8. Сильвестров В.В. Системы чисел // Соросовский Образовательный Журнал. 1998. ╧ 8. С. 121-127.

* * *

Иосиф Львович Бухбиндер, доктор физико-математических наук, профессор, зав. кафедрой теоретической физики Томского государственного педагогического университета, профессор кафедры квантовой теории поля Томского государственного университета, заслуженный деятель науки Российской Федерации, действительный член Международной академии наук высшей школы. Область научных интересов: квантовая теория поля, суперсимметрия, квантовая гравитация, теория струн. Автор двух монографий и 243 научных статей.