Кибернетика или управление и связь в животном и машине
Шрифт:
Предположим теперь, что имеется какая-то величина, связанная со всеми элементами, преобразуемыми данной группой преобразований. Если эта величина не изменяется, когда каждый элемент изменяется одним и тем же преобразованием группы, каково бы ни было это преобразование, то она называется инвариантом группы. Существует много разновидностей таких инвариантов. Из них для наших целей особенно важны две.
Первая разновидность — так называемые линейные инварианты. Обозначим через х элементы, преобразуемые абелевой группой, и пусть f(x) — комплексная функция этих элементов, обладающая надлежащими свойствами непрерывности или интегрируемости. Тогда, если Тх — элемент, получаемый из х при преобразовании Т, a f(x) —
f (Tx) = (T) f(x), (2.03)
где (T) — число с абсолютным значением 1, зависящее только от Т, то f(x) мы будем называть характером группы.
Это инвариант группы в несколько обобщенном смысле. Ясно, что если f(x) и g(x) — характеры группы, то f(x)g(x) также есть характер группы, как и [f(x)] —1. Если какая-либо функция h(x), определенная на группе, представима линейной комбинацией характеров группы, скажем в виде
где fk(x) — характер группы, и если k(T) находится в таком же отношении к fk(x), как (T) — к f(x) в (2.03), то [c.108]
Таким образом, коль скоро h(x) допускает разложение по некоторому множеству характеров группы, то и h(Tx) при всех Т допускает такое разложение.
Мы видели, что характеры группы порождают другие характеры при умножении и обращении; нетрудно видеть также, что константа 1 есть характер. Следовательно, умножение на характер порождает группу преобразований самих характеров; последняя называется группой характеров исходной группы.
Если исходная группа есть группа сдвигов по бесконечной прямой, то оператор Т изменяет х в х+Т и соотношение (2.03) переходит в соотношение
которое выполняется при f(x)=eix, (T)= eiT. Характерами будут функции eix, а группой характеров будет группа сдвигов, изменяющая в + и, следовательно, имеющая такое же строение, как и исходная группа. Но дело будет обстоять иначе, если исходная группа состоит из поворотов по окружности. В этом случае оператор Т изменяет х в число, лежащее между 0 и 2 и отличающееся от х+Т на целочисленное кратное 2. Соотношение (2.06) еще справедливо, но у нас появляется добавочное условие
Положив вновь f(x) = eix, получим
Это значит, что должно быть целым действительным числом — положительным, отрицательным или нулем. Следовательно, группа
В любой группе характеров числа (T), соответствующие данному характеру f, распределены таким образом, [c.109] что это распределение не нарушается при умножении их всех на (S), каков бы ни был элемент S исходной группы. Иначе говоря, если есть какое-то разумное основание взять среднее от этих чисел, не затрагиваемое, когда группа преобразуется умножением каждого ее преобразования на одно фиксированное, то либо (Т) тождественно равно 1, либо наше среднее инвариантно относительно умножения на числа, отличные от 1, и потому должно равняться 0. Отсюда можно заключить, что среднее произведение характера на величину, с ним сопряженную (которая также является характером), будет равно 1, а среднее произведение характера на величину, сопряженную с другим характером, будет равно 0. Другими словами, если h(x) представлено как в (2.04), то
Для группы поворотов по окружности это дает нам сразу, что если
то
Для сдвигов же по бесконечной прямой результат тесно связан с тем обстоятельством, что если в некотором подходящем смысле
то в определенном смысле
Эти результаты изложены здесь очень грубо, без точной формулировки условий их справедливости. Более строгое изложение теории читатель может найти в работе, указанной в примечании [133] . [c.110]
Наряду с теорией линейных инвариантов группы, существует также общая теория ее метрических инвариантов. Последние представляют собой системы меры Лебега, не претерпевающие изменений, когда объекты, преобразуемые группой, переставляются операторами группы. В этой связи следует упомянуть интересную теорию групповой меры, которую дал Гаар [134] . Как мы видели, всякая группа сама есть собрание объектов, которые переставляются между собой при умножении на операторы данной группы. Поэтому она может иметь инвариантную меру. Гаар доказал, что некоторый довольно широкий класс групп имеет однозначно определенную инвариантную меру, задаваемую строением самой группы.
133
Wiener N. The Fourier Integral and Certain of Its Applications. — Cambridge, England: the University Press; N.Y.: Dover Publications, Inc., 1933 (русский перевод: Винер Н. Интеграл Фурье и некоторые его применения. — М.: Физматгиз, 1963). — Прим. ред.
134
Haar H. Der Massbegriff in der Theorie der Kontinuierlichen Gruppen. // Ann. of Math. — Ser. 2. — 1933. — Vol. 34. — P. 147—169.
Наиболее важное применение теории метрических инвариантов группы преобразований состоит в обосновании взаимной заменимости фазовых и временных средних, которую, как мы видели выше, Гиббс тщетно пытался доказать. Это доказательство было выполнено на основе так называемой эргодической теории.
В обычных эргодических теоремах рассматривается ансамбль Е, меру которого можно принять за единицу, и этот ансамбль преобразуется в себя сохраняющим меру преобразованием Т или группой сохраняющих меру преобразований Т, где —<< и