КОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ

КОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ

- линейное представление топологич. группы в конечномерном векторном пространстве. Теория К. п. является одним из наиболее разработанных и важных разделов общей теории представлений групп. Неприводимое К. п. вполне неприводимо (см. Шура лемма), но операторно неприводимое К. п. может быть приводимым. Измеримое К. п. локально компактной группы совпадает локально почти всюду с нек-рым непрерывным К. п. Ограниченное К. п. локально компактной группы эквивалентно унитарному представлению. Локально компактная группа, имеющая точное К. п., является группой Ли [7].

Унитарное К. п. есть прямая сумма неприводимых унитарных К. п. Пересечение ядер непрерывных гомоморфизмов топологич. группы Gсовпадает с пересечением ядер неприводимых унитарных К. п. группы G; если это множество содержит лишь единичный элемент группы G, то группа Gдопускает непрерывный мономорфизм в нек-рую компактную группу и группа Gназ. вложимой в компактную группу, или максимальной почти периодической (МПП-группой). Если G- МПП-группа, то семейство матричных элементов неприводимых унитарных К. п. группы Gразделяет точки группы G. Коммутативные и компактные группы являются МПП-группами; связная локально компактная группа тогда и только тогда является МПП-группой, когда она есть прямое произведение связной компактной группы и группы Rn (см. [5]). МПП-групгга может иметь бесконечномерные неприводимые унитарные представления и даже быть группой не типа 1. Для того чтобы любое непрерывное неприводимое унитарное представление локально компактной группы Gбыло К. п., необходимо и достаточно [8], чтобы группа Gявлялась проективным пределом конечных расширений групп Нвида где К, D, V- замкнутые подгруппы группы Н, причем группа Vизоморфна Rn, К - компактная группа, D- дискретная группа, центральная в Н;достаточно, чтобы факторгруппа группы Gпо ее центру была компактна. Кроме того, для многих локально компактных групп (в частности, для некомпактных простых групп Ли) единственным неприводимым унитарным К. п. является единичное представление.

Неунитарные К. п. топологич. групп расклассифицированы (с точностью до эквивалентности) лишь для нек-рых групп, в частности для групп R и Z, где задача описания К. п. решается приведением матрицы к жордановой форме и - в случае группы R - связана с теорией обыкновенных дифференциальных уравнений с постоянными коэффициентами, так как пространство решений такого уравнения является конечномерным инвариантаым подпространством регулярного представления группы R в пространстве непрерывных функций на R. Кроме того, известны К. п. связных полупростых групп Ли. А именно, К. п. таких групп являются прямыми суммами неприводимых К. п., к-рые описываются следующим образом. Если G- полупростая комплексная группа Ли, U- ее максимальная компактная подгруппа, то любое непрерывное неприводимое унитарное представление p группы Uв пространстве Еможет быть продолжено: 1) до неприводимого представления pG группы Gв Е, матричные элементы к-рого являются аналптич. функциями на G;2) до неприводимого представления прупцы pG группы G, матричные элементы к-рого комплексно сопряжены аналитич. функциями на G;представления pG и pG определяются представлением я однозначно. Тензорное произведение является неприводимым К. п. группы Gдля любых неприводимых унитарных К. п. p1, p2 группы G, и любое неприводимое К. п. группы Gэквивалентно одному из представлений вида Описание К. п. односвязной связной комдлексной полупростой группы Ли может быть дано также в терминах экспонент К. п. ее алгебры Ли, а также с помощью Гаусса разложения группы G:пусть а - такая непрерывная функция на G, что a(z-dz+) = a(d) для всех и пусть линейная оболочка Ф a функций конечномерна; тогда формула [Ta(g0)f](g)=f(gg0), g,.определяет неприводимое К. п. группы G, и все неприводимые К. п. группы Gмогут быть получены таким образом. Если G - действительная полупростая группа Ли, имеющая комплексную форму то любое неприводимое К. п. группы Gявляется сужением на Gнек-рого однозначно определенного неприводимого К. п. группы матричные элементы к-рого аналитичны на (так что теория К. п. полупростых связных групп Ли по существу сводится к теории представлений компактных групп Ли). К. п. любой группы Ли является действительно аналитическим; если G- односвязная группа Ли, то между К. п. группы Gи ее алгебры Ли существует взаимно однозначное соответствие (сопоставляющее представлению группы Ли его дифференциал; обратное соответствие сопоставляет представлению алгебры Ли его экспоненту). Но классификация К. п. произвольных групп Ли далека (1978) от полного решения даже для частных случаев групп Rn,как и для групп Zn, (см. [6]). C другой стороны, неприводимые К. п. я связной группы Ли Gизвестны [2]: они имеют вид где c.- одномерное представление группы G(т. е. фактически - ее коммутативной факторгруппы по коммутанту), а p0 - К. п. полупростой факторгруппы группы Gпо максимальному связному разрешимому нормальному делителю группы G(см. Леви- Мальцева разложение).

Лит.:[1] Кириллов А. А., Элементы теории представлений, М., 1972; [2] Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; [3] Наймарк М. А., Теория представлений групп, М., 1976; [4] Диксмье Ж., С*-алгебры и их представления, пер. с франц., М., 1974; [5] Вейль А., Интегрирование в топологических группах и его применения, пер. с франц., М., 1950; [6] Гельфанд И. М., Пономарёв В. А., "Функциональный анализ и его применения", 1969, т. 3, №4, с. 81-82; [7] Глушков В. М., "Успехи матем. наук", 1957, т. 12, № 2, с. 3-41; [8] Штерн А. И., "Матем сб.", 1973, т. 90, № 1, с. 86-95.

А. И. <Штерн.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "КОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ" в других словарях:

  • ПРЕДСТАВЛЕНИЕ ГРУППЫ — изображение элементов группы матрицами или преобразованиями линейного пространства, при к ром сохраняется исходная групповая структура. Поскольку достаточно хорошо изучены матричные группы, при исследовании произвольной группы стараются… …   Физическая энциклопедия

  • ПРЕДСТАВЛЕНИЕ ГРУППЫ — гомоморфизм группы в группу всех обратимых преобразований нек рого множества V. Представление р группы Gпаз. линейным, если Vявляется векторным пространством над нек рым полем k, а преобразования r(g), , линейными преобразованиями. Часто линейные …   Математическая энциклопедия

  • ПРЕДСТАВЛЕНИЕ ТОПОЛОГИЧЕСКОЙ ГРУППЫ — непрерывное отображение группы G в топологич. группу гомеоморфизмов нек рого топологич. пространства. Чаще всего под П. т. г. Gпонимается линейное представление, более того такое линейное представление л топологич. группы G в топологич. векторном …   Математическая энциклопедия

  • ПРЕДСТАВЛЕНИЕ СО СТАРШИМ ВЕКТОРОМ — линейное представление r конечномерной полупростой расщепляемой алгебры Ли над полем kхарактеристики нуль с расщепляющей Картана подалгеброй t, удовлетворяющее следующим условиям. 1) В пространстве Vпредставления r существует циклический вектор v …   Математическая энциклопедия

  • БЕСКОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ — группы Ли представление группы Ли в бесконечномерном векторном пространстве. Теория представлений групп Ли есть часть общей теории, представлений то пологич. групп. Специфика групп Ли позволяет использовать в этой теории средства анализа (в… …   Математическая энциклопедия

  • КОНТРАГРЕДИЕНТНОЕ ПРЕДСТАВЛЕНИЕ — к представлению j группы Gв линейном пространстве V представление j* этой же группы Gв двойственном к Vпространстве V*, определяемое правилом: для любого где * означает переход к сопряженному оператору. Более общо, если W линейное пространство… …   Математическая энциклопедия

  • ОПЕРАТОРНО НЕПРИВОДИМОЕ ПРЕДСТАВЛЕНИЕ — представление p группы (алгебры, кольца, полугруппы) Xв (топологическом) векторном пространстве Етакое, что любой (непрерывный) линейный оператор в пространстве Е, перестановочный со всеми операторами (х), , кратен единичному оператору в Е. Если… …   Математическая энциклопедия

  • КОНЕЧНОЙ ГРУППЫ ПРЕДСТАВЛЕНИЕ — гомоморфизм конечной группы Gв группу обратимых линейных операторов в векторном пространстве над полем К. Теория К …   Математическая энциклопедия

  • ЛИ РАЗРЕШИМАЯ ГРУППА — группа Ли, разрешимая как абстрактная группа. В дальнейшем рассматриваются вещественные или комплексные Ли р. г. Нильпотентная, в частности абелева, группа Ли разрешима. Если F={Vi} полный флаг в конечномерном векторном пространстве V(над или ),… …   Математическая энциклопедия

  • Теорема Машке — теорема теории представлений, утверждающая при определённых условиях на характеристику поля, что всякое конечномерное представление конечной группы раскладывается в прямую сумму неприводимых. Формулировка Теорема. Если характеристика поля char F… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»