Петера - Вейля Теорема

теорема об аппроксимации функций на компактной топологич. Группе представляющими функциями. Пусть p пробегает семейство S представителей всех классов эквивалентности неприводимых непрерывных унитарных представлений компактной группы G. Пусть dim p - размерность представления p и - его матричные элементы в нек-ром ортонормированием базисе. П. - В. Т. Утверждает, что функции вида образуют ортонормиррваиный базис в пространстве суммируемых с квадратом функций относительно меры Хаара на G(мера всей группы считается равной 1). Алгебра всех представляющих комплексных функций на G, совпадающая с множеством конечных линейных комбинаций функций , равномерно плотна в пространстве всех непрерывных комплексных функций на G.

В случае, когда G= Т - группа вращений плоскости,- это утверждение совпадает с элементарной теоремой об аппроксимации периодических непрерывных функций тригонометрич. Многочленами. В качестве следствия из П.- В. Т. Выводится, что совокупность линейных комбинаций характеров неприводимых представлений группы Gплотна в алгебре всех непрерывных функций на G, построенных на классах сопряженных элементов. Другое следствие состоит в том, что для любого элемента , найдется такое неприводимое непрерывное представление j группы G, что . Если же G - компактная группа Ли, то G допускает точное линейное представление. Из П.- В. Т. Вытекает также следующее, более общее, утверждение (см. [5], |0]). Пусть дано непрерывное линейное представление j компактной группы Gв пространстве Фреше Е, тогда подпространство представляющих элементов пространства Еплотно в Е.

При этом элемент наз. Представляющим, или сферическим, или почти инвариантным, если орбита порождает в Еконечномерное подпространство. Это, в частности, применимо к случаю, когда Е - пространство сечений нек-рого класса гладкости гладкого векторного G-расслоения, напр. Пространство тензорных полей определенного типа и заданного класса гладкости на гладком многообразии с гладким действием компактной группы Ли G. П.- В. Т. Была доказана в 1927 Ф. Петером (F. Peter) и Г. Вейлем (Н. Weyl) (см. [1]). Лит.:[1] Петер Ф., В е и л ь Г., "Успехи матем. Наук", 1936, в. 2, с. 144-60. [2] П о н т р я г и н Л. С., Непрерывные группы, 3 изд., М., 1973. [3] X ь ю и т т Э., Р о с с К., Абстрактный гармонический анализ, пер. С англ., т. 1, М., 1975.

[4] Ш е в а л л е К., Теория групп Ли, пер. С англ., т. 1, М., 1948. [5] Р a l a i s R. S., S t e w a r t Т. Е., "Amer. J. Math.", 1961, V. 83, № 4, p. 623-44. [6] М о s t о w G. D., "Ann. Math.", 1961, V. 73, № 1, p. 20-48. А. Л. Онищик, А. И. Штерн.