Кибернетика, или Управление и связь в животном и машине | страница 77

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

f (Tx) = α(T) f(x),          (2.03)

где α(T) — число с абсолютным значением 1, зависящее только от Т, то f(x) мы будем называть характером группы.

Это инвариант группы в несколько обобщенном смысле. Ясно, что если f(x) и g(x) — характеры группы, то f(x)g(x) также есть характер группы, как и [f(x)]^{> —1}. Если какая-либо функция h(x), определенная на группе, представима линейной комбинацией характеров группы, скажем в виде

 

,          (2.04)

где f_>k(x) — характер группы, и если α_>k(T) находится в таком же отношении к f_>k(x), как α(T) — к f(x) в (2.03), то [c.108]

 

          (2.05)

Таким образом, коль скоро h(x) допускает разложение по некоторому множеству характеров группы, то и h(Tx) при всех Т допускает такое разложение.

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

Если исходная группа есть группа сдвигов по бесконечной прямой, то оператор Т изменяет х в х+Т и соотношение (2.03) переходит в соотношение

 

,          (2.06)

которое выполняется при f(x)=e^>iλx, α(T)= e^>iλT. Характерами будут функции e^>iλx, а группой характеров будет группа сдвигов, изменяющая λ в λ+τ и, следовательно, имеющая такое же строение, как и исходная группа. Но дело будет обстоять иначе, если исходная группа состоит из поворотов по окружности. В этом случае оператор Т изменяет х в число, лежащее между 0 и 2π и отличающееся от х+Т на целочисленное кратное 2π. Соотношение (2.06) еще справедливо, но у нас появляется добавочное условие

 

.          (2.07)

Положив вновь f(x) = e^>iλx, получим

 

.          (2.08)

Это значит, что λ должно быть целым действительным числом — положительным, отрицательным или нулем. Следовательно, группа характеров здесь соответствует сдвигам целых действительных чисел. С другой стороны, если исходная группа есть группа сдвигов целых чисел, то х и Т в (2.06) могут принимать только целочисленные значения и функция e^>iλx задается полностью числом, лежащим между 0 и 2π и отличающимся от