ПРЕДСТАВЛЕНИЕ ГРУППЫ

ПРЕДСТАВЛЕНИЕ ГРУППЫ
ПРЕДСТАВЛЕНИЕ ГРУППЫ

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

В физике естеств. образом возникают П. г. симметрии. Рассмотрим, напр., преобразования трёхмерного пространства в результате вращений системы координат. Закон преобразования векторов 4011-1.jpg даёт, разумеется, трёхмерное П. г. вращений. Инвариантность скаляров относительно вращений позволяет ввести одномерное П. г. вращений, когда каждый элемент группы отображается на тождеств. преобразование. Можно записать закон преобразования компонент 4011-2.jpg тензора ранга 2. Если рассматривать 9 величин 4011-3.jpgкак координаты точки 9-мерного пространства, получим 9-мерное П. г. вращений. Пусть 4011-4.jpg это свойство инвариантно относительно вращений; поскольку при этом остаётся лишь 6 компонент Tij, получается 6-мерное П. г. вращений, и т. д. Аналогично можно построить П. г. Лоренца. Законы преобразования спиноров дают т. н. двузначные П. г. вращений и группы Лоренца. Симметрия или антисимметрия многочастичной волновой ф-ции при перестановке тождеств. частиц даёт П. г. перестановок. Одна из целей теории П. г.- найти разл. законы преобразования физ. величин, т. е. найти всевозможные П. г. симметрии.

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

Развитие теории П. г. началось в кон. 19 - нач. 20 вв. в работах Г. Фробениуса (G. Frobenius) и И. Шура (I. Schur). Затем Г. Вейль (Н. Weyl), Дж. Нейман (J. Neumann) и Ю. Вигнер (Е. Wigner) продемонстрировали важность этой теории для физики.

Основные определения. П. г. G в пространстве V наз. отображение D(G, V )этой группы в набор преобразований V. Каждому элементу 4011-5.jpg ставится в соответствие оператор T(g), действующий в пространстве V, причём 4011-6.jpg для любых 4011-7.jpg и 4011-8.jpg из G; Т(е) = I, где е- единичный элемент группы G,a I- единичный оператор в V. П. г. наз. линейным, если V- линейное пространство, a T(g)- линейный оператор. В дальнейшем речь будет идти только о линейных П. г. Если G - топологич. группа, то обычно требуют, чтобы T(g )непрерывно зависел от g, такие П. г. наз. непрерывными.

Размерность пространства V обычно наз. размерностью представления, dim D(G, V), П. г. наз. вещественным (комплексным), если пространство П. г. V- вещественное (комплексное). Если D(G, V )конечномерно, то, выбрав в V базис e1, е 2,..., е п, можно задать операторы T(g )матрицами n -го порядка 4011-9.jpg где элементы матрицы определяются соотношением 4011-10.jpg Матрица 4011-11.jpg наз. матрицей представления D(G, V),a ф-цпи 4011-12.jpg- матричными элементами представления.

Простейшее П. г. получается, если положить T(g)4011-13.jpgI, оно наз. единичным или тривиальным. Если группа G состоит из матриц фиксиров. порядка, то одно из П. г. получается при T(g) = g. Т. о., определение всякой линейной группы является одновременно заданием её представления в виде группы линейных операторов, т. е. группы матриц. Такие П. г. наз. определяющими. П. г. D(G, V )наз. точным, если T(g)= I, тогда и только тогда, когда g = е. В этом случае отображение g4011-14.jpgT(g )взаимно однозначно (является изоморфизмом).

Если H- подгруппа группы G, то, рассматривая операторы Т (g )только при g = h4011-15.jpgH, получим представление D(H, V), называемое сужением П. г. на подгруппу Я. Подпространство 4011-16.jpgназ. инвариантным относительно П. г. D(G, V), если оно инвариантно относительно всех операторов T(g )этого П. г., т. е. для любых g4011-17.jpgG и 4011-18.jpg, 4011-19.jpg[операторы T(g )не выводят из 4011-20.jpg

Два П. г. 4011-21.jpg и 4011-22.jpg наз. эквивалентными,4011-23.jpg если существует линейный оператор А, взаимно однозначно отображающий 4011-24.jpgна 4011-25.jpgи удовлетворяющий условию 4011-26.jpg= =4011-27.jpg для всех g4011-28.jpgG. Если D1(G,V1) конечномерно и D1(G, V1) ~ D2(G,F2), то dimD1(G,V1)= dimD2(G, V2) и при соответствующем выборе базиса в V1 и V2 матричные элементы представлений Dl(G, V1) и D2(G, V2) совпадают.

Пусть V14011-29.jpgV - инвариантное подпространство относительно П. г. D(G, V). Тогда получаем П. г. D1(G,V1), к-рое наз. подпредставлением П. г. D(G, V). П. г. наз. приводимым, если оно содержит нетривиальные (т. е. отличные от тривиального и самого себя) подпредставления. П. г. D(G, V )наз. разложимым, если содержит подпредставления D1(G, V1) и D2(G, V2), такие, что V изоморфно прямой сумме своих подпространств, V = V14011-30.jpgV2. В этом случае говорят, что П. г. эквивалентно прямой сумме представлений D1 и D2: D4011-31.jpgD14011-32.jpgD2. Если в П. г. D для всякого подпредставления D1 существует подпредставлениеD2, такое, что D4011-33.jpgD14011-34.jpgD2, то П. г. наз. вполне приводимым. В таком П. г. всякое инвариантное относительно действия операторов подпространство имеет инвариантное дополнение. Приводимое П. г. не обязательно должно быть разложимым.

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

4011-35.jpg

Если П. г. D(G, V )не содержит нетривиальных под-представлений, то оно наз. неприводимым. Различают алгебраич. неприводимость, т. е. отсутствие инвариантных подпространств, и топология, неприводимость, при к-рой пространство П. г. не должно содержать замкнутых инвариантных подпространств. Алгебраически неприводимое П. г. является топологически неприводимым; обратное, вообще говоря, неверно. Полноту системы неприводимых П. г. устанавливают при помощи характеров П. г. 4011-36.jpg Для матричного П. г.4011-37.jpg

Пусть на пространствах Vl и V2 задана невырожденная билинейная форма 4011-38.jpg и пусть V2 - пространство П. г. D(G, V2). Всякому оператору T(g )этого П. г. можно сопоставить дуальный оператор T*(g], действующий на пространстве V1 так, что 4011-39.jpg= =4011-40.jpgЕсли вместо оператора T*(g )рассмотреть оператор T<*>(g) = T*(g-1), то множество операторов T<*> образует П. г., называемое сопряжённым к D(G, V2) относительно формы 4011-41.jpg Поскольку f невырождена, размерности П. г. D(G, V2) и D<*> (G,V1 )совпадают. Для конечномерных П. г. матрицы операторов T<*>(g )имеют вид 4011-42.jpgгде 4011-43.jpg- матрица формы 4011-44.jpg а штрих означает транспонирование. Если рассмотреть П. г. D(G,4011-45.jpg гильбертовом пространстве 4011-46.jpg и взять в качестве формы f скалярное произведение, то множество операторов 4011-47.jpg (4011-48.jpg- эрмитово сопряжение) образуют П. г. 4011-49.jpg к-рое наз. сопряжённым к 4011-50.jpg Пусть теперь все операторы П. г. 4011-51.jpg унитарны. Тогда 4011-52.jpg будет совпадать с 4011-53.jpg и скалярное произведение инвариантно относительно D, т. е. для любых 4011-54.jpg из и 4011-55.jpg любого T(g):4011-56.jpg=4011-57.jpg Такое П. г. наз. унитарным. Всякое П. г., сохраняющее невырожденную билинейную форму, вполне приводимо, в частности вполне приводимо всякое конечномерное унитарное П. г.

П. г. D(G, V )наз. циклическим, если существует вектор 4011-58.jpg [наз. циклическим вектором для D(G, V)], такой, что замыкание линейной оболочкп всех 4011-59.jpg совпадает с V. Каждое унитарное П. г. является прямой суммой циклич. подпредставлений. Унитарное П. г. 4011-60.jpgнеприводимо тогда и только тогда, когда каждый ненулевой вектор 4011-61.jpg цикличен для 4011-62.jpg

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

Пусть 4011-63.jpg- право(лево)инвариантная мера Хаара на локально компактной группе G (см. Инвариантное интегрирование). Рассмотрим пространство 4011-64.jpg числовых (вещественных или комплексных) ф-ций 4011-65.jpg, интегрируемых с квадратом по этой мере. Обозначим 4011-66.jpg операторы преобразования в 4011-67.jpg, порождённые правым (левым) сдвигом на элемент: 4011-68.jpg=4011-69.jpg Группа операторов 4011-70.jpg образует линейное П. г. G в пространстве 4011-71.jpg , к-рое наз. правым (левым) регулярны м П. г. Снабдив пространство 4011-72.jpg скалярным произведением 4011-73.jpg где черта означает комплексное сопряжение, можно показать, что регулярные представления унитарны.

При нахождении неприводимых представлений некомпактных (локально компактных) групп весьма эффективной оказывается теория индуцированных П. г. Индуцированное П. г. D(K, V)4011-74.jpgG локально компактной группы G специальным образом конструируется из представления D(K, V )замкнутой подгруппы К4011-75.jpgG. Пусть 4011-76.jpg- ф-ция, отображающая G в V и удовлетворяющая условию: 4011-77.jpg для любых g4011-78.jpgG, k4011-79.jpg К, T(k) - оператор П. г. D(K, V). Тогда индуциров. представление U(G,4011-80.jpg) = D(K, V)4011-81.jpgG определяется в пространстве 4011-82.jpg всех таких ф-ций ф-лой 4011-83.jpg Метод индуциров. представлений является простейшим приёмом построения представлений более сложных групп из представлений более простых групп.

В квантовой механике используют т. н. проективные П. г., когда каждому элементу g ставится в соответствие оператор T(g), действующий в пространстве V, причём для любых 4011-84.jpgи 4011-85.jpgиз G:4011-86.jpg = 4011-87.jpgгде фазовый множитель 4011-88.jpg- числовая ф-ция, зависящая от 4011-89.jpgи 4011-90.jpg, а Т(е)- по-прежнему единичный оператор в V. На проективные П. г. непосредственно переносятся понятия эквивалентности и неприводимости П. г.

Пусть 4011-91.jpg и 4011-92.jpg- два конечномерных П. г. G, имеющие размерности 4011-93.jpg и 4011-94.jpg. П. г. D наз. прямым (тензорным) произведением П. г. 4011-95.jpgи 4011-96.jpg, D =4011-97.jpg, оно имеет разность п 1 п 2, а каждый его элемент представляет собой матрицу 4011-98.jpg , являющуюся прямым (кронекеровым) произведением матрицы из 4011-99.jpg на матрицу из 4011-100.jpg (см. Матрица). Прямое произведение .4011-101.jpg двух неприводимых конечномерных представлений 4011-102.jpg и 4011-103.jpgгруппы G неприводимо, если размерность представления 4011-104.jpg (или 4011-105.jpg) равна 1, в общем случае 4011-106.jpg вполне приводимо.

Напр., в квантовых системах с группой симметрии G собств. ф-ции 4011-107.jpgгамильтониана можно классифицировать по неприводимым П. г. G. Теория П. г. позволяет в этом случае установить т. н. правила отбора при рассмотрении процессов перехода из одного состояния в другое. Если процесс перехода задаётся оператором 4011-108.jpg , соответствующим неприводимому П. г. 4011-109.jpg, то переход из нек-рого состояния 4011-110.jpg, соответствующего неприводимому П. г.4011-111.jpg, может осуществляться лишь в те конечные состояния 4011-112.jpg, представление к-рых 4011-113.jpgсодержится в разложении прямого произведения


4011-114.jpg

Матричные элементы оператора С, приводящего прямое произведение 4011-115.jpgк блочнодиагональному виду [т. е. 4011-116.jpg=4011-117.jpg где 4011-118.jpg- неприводимое представление,4011-119.jpg- его кратность в прямом произведении], наз. коэффициентами Клебша - Гордана. Неприводимое П. г. G, являющейся прямым произведением групп 4011-120.jpg и 4011-121.jpg (см. Группа), есть прямое произведение их неприводимых представлений, т. е.

4011-122.jpg

Представления некоторых групп. Коммутатив-ные группы. Любое неприводимое унитарное представление локально компактной коммутативной группы одномерно, при этом каждому элементу группы ставится в соответствие комплексное число ехр(ia). Любое представление коммутативной группы ограниченными операторами в гильбертовом пространстве является суммой (дискретной, если группа компактна) одномерных представлений.

Одним из наиб. завершённых разделов общей теории П. г. является теория представлений компактных групп, к к-рым относятся все конечные группы, группы вращений плоскости и пространства, группы SU(N )при различных N, рассматриваемые в теории элементарных частиц (см. Калибровочные поля, Унитарная симметрия), и т. д. Если группа компактна, то любому её представлению можно сопоставить эквивалентное ему унитарное представление, т. е. изучение представлений компактной группы сводится к изучению её унитарных представлений. Свойства унитарного представления полностью определяются свойствами его неприводимых компонент. Всякое неприводимое унитарное представление компактной группы конечномерно.

Если 4011-123.jpgи 4011-124.jpg- любые два неприводимых унитарных представления компактной группы G, то матричные элементы операторов этих представлений 4011-125.jpg и 4011-126.jpg удовлетворяют соотношениям

99-1-81.jpg


где 4011-128.jpg; черта означает комплексное сопряжение. Считается, что базисы в пространствах 4011-129.jpg и 4011-130.jpg ортонормированы. Пусть 4011-131.jpg- система всех неэквивалентных неприводимых унитарных представлений компактной группы G. Ф-ции 4011-132.jpg (i, k =1,..., 4011-133.jpg), где 4011-134.jpg образуют полный ортонормиров. базис в пространстве 4011-135.jpg (теорема Петера - Вейля).

Всякое неприводимое унитарное представление компактной группы эквивалентно подпредставлению её правого регулярного представления 4011-136.jpg

Представления конечных групп. Каждая конечная группа компактна. Поэтому утверждения, касающиеся представлений компактных групп, справедливы и для конечных групп, только во всех ф-лах необходимо заменить интегрирование по группе 4011-138.jpg суммированием по групповым элементам

4011-139.jpg - порядок конечной группы.

Конечная группа имеет конечное число неприводимых П. г. Сумма квадратов размерностей всех неприводимых неэквивалентных П. г. равна порядку группы (теорема Бёрнсайда), причём все эти размерности являются делителями порядка группы. Число различных неприводимых представлений конечной группы равно числу классов сопряжённых элементов.

Представления групп Ли. Оператор T(g )представления D(G, V) n -мерной группы Ли, так же как и соответствующий элемент группы Ли, зависит от параметров 4011-140.jpg т. е. T(g(a)) =4011-141.jpg = T(a). Для т. н. дифференцируемых П. г. ф-ция Т(а )дифференцируема [так, в частности, будет, если представление D(G, V )конечномерно], можно ввести набор операторов 4011-142.jpg , i = 1,..., n, a=0 наз. генераторами представления D(G, V); здесь 4011-143.jpg - генераторы группы. В первом приближении по 4011-144.jpg получим 4011-145.jpg. Операторы 4011-146.jpg (i = 1,..., n) образуют базис Ли алгебры, к-рая наз. дифференциалом представления.

Дифференциал П. г. в свою очередь является представлением алгебры Ли соответствующей группы.

Пусть g(a)- элемент однопараметрич. подгруппы группы G. Связь между П. г. D(G, V )и его дифференциалом [представлением соответствующей алгебры Ли d(A, V)]даётся ф-лой 4011-147.jpg Если G- связная группа Ли, то её конечномерные представления полностью определяются своими дифференциалами. Напр., если D(G, V) - конечномерное П. г. G,a d(A, V)- представление алгебры Ли А этой группы, являющееся дифференциалом D, то всякое подпространство пространства V, инвариантное относительно D, инвариантно также относительно d. П. г. D и d неприводимы, приводимы и вполне приводимы одновременно. Если 4011-148.jpg и 4011-149.jpg- представления связной группы Ли G, а 4011-150.jpgи 4011-151.jpg- их дифференциалы, то из эквивалентности 4011-152.jpgследует эквивалентность 4011-153.jpgи наоборот. Конечномерные представления связных односвязных групп Ли находятся во взаимно однозначном соответствии с представлениями их алгебр Ли. Эти представления связаны ф-лой 4011-154.jpg=4011-155.jpg. Для унитарных представлений в гильбертовых пространствах из эквивалентности дифференциалов следует эквивалентность П. г.

Поэтому удобен т. н. инфинитезимальный подход, когда исследование П. г. сводят к исследованию представлений их алгебр. Каждому элементу Y из алгебры Ли А группы Ли G ставится в соответствие оператор ad (У) = [Y, X], для любого X из А. Т. к. из тождества Якоби следует, что ad ([Y, X]) =[ad(F), ad(X)], то операторы ad(Y) образуют представление алгебры А. Это представление наз. присоединённым представлением алгебры Ли. Если 4011-156.jpg- базис алгебры А, то матричные элементы операторов ad(4011-157.jpg) в этом базисе совпадают со структурными константами алгебры Ли: 4011-158.jpg=4011-159.jpg

Если А- алгебра Ли связной группы G, то представление алгебры ad можно продолжить до представления группы G, действующего в А, как в векторном пространстве. Присоединённым представлением группы наз. такое отображение Ad (g, А), что exp (Ad(g)X) = gexp4011-160.jpgдля любых X4011-161.jpg А и g4011-162.jpgG. Размерность присоединённого П. г. совпадает с размерностью группы Ли.

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

Для классификации неприводимых конечномерных представлений комплексных алгебр Ли используют т. н. теорию старших весов. Пусть эрмитовы операторы 4011-163.jpg (i=1,..., r; r- размерность группы Ли G)- базисные элементы подалгебры Картана. Рассмотрим комплексное конечномерное представление d(A, V )алгебры Ли А группы G. Тогда операторы 4011-164.jpg эрмитовы, они коммутируют друг с другом и поэтому имеют общие собств. векторы 4011-165.jpgV, такие, что 4011-166.jpg (i=1,..., r); r -мерный веществ. вектор m=4011-167.jpg, соответствующий 4011-169.jpg, называется весом 4011-168.jpgв d(A, V).

Обозначим через W множество всех элементов g полупростой группы Ли G, обладающих тем свойством, что 4011-170.jpg = К, где К - подгруппа Картана группы G (К- группа, алгеброй к-рой является подалгебра Картана). Множество W является подгруппой G, причём К4011-171.jpgW к является нормальным делителем W. Факторгруппа W/K наз. группой отражений Вейля. Эта группа конечна.

Два веса 4011-172.jpgи 4011-173.jpgназ. эквивалентными, если они связаны друг с другом группой отражений Вейля. Число разл. весов не превышает размерности представления. Говорят, что вес 4011-174.jpgстарше веса 4011-175.jpg, если вектор 4011-176.jpg-4011-177.jpg положителен, т. е. его первая отличная от нуля компонента положительна. Старший вес из множества эквивалентных весов наз. доминантным. Вес, к-рый старше всех остальных весов представления, наз. старшим весом представления.

Неприводимое конечномерное представление полупростой алгебры Ли полностью определяется своим старшим весом (теорема Картана). Для каждой простой алгебры Ли с 4011-178.jpg -мерной подалгеброй Картана имеется 4011-179.jpgдоминантных весов 4011-180.jpg, называемых фундаментальными, таких, что остальные доминантные веса можно представить в виде 4011-181.jpg=4011-182.jpg, где 4011-183.jpg - набор неотрицат. целых чисел. Существует 4011-184.jpgт. н. фундаментальных неприводимых конечномерных представлений простой алгебры, к-рые имеют 4011-185.jpgфундаментальных доминантных весов в качестве своих старших весов. Соответствующее П. г. наз. фундаментальным.

До сих пор речь шла об однозначных П. г., когда каждому элементу группы g ставился в соответствие только один оператор T(g). Если группа G не является односвязной, то для того, чтобы П. г. было непрерывным, возникает необходимость каждому элементу группы g ставить одновременно в соответствие неск. разл. операторов 4011-186.jpg. Такое П. г. наз. m -значным.

Лит.: Випенкин Н. Я., Специальные функции и теория представлений групп, М., 1965; Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; Кириллов А. А., Элементы теории представлений, 2 изд., М., 1978; Наймарк М. А., Теория представлений групп, М., 1976; Менский М. Б., Метод индуцированных представлений. Пространство - время и концепция частиц, М., 1976; Климык А. У., Матричные элементы и коэффициенты Клебша - Гордана представлений групп, К., 1979; Барут А.,

Рончка Р., Теория представлений групп и ее приложения, т. 1-2, пер. с англ., М., 1980; см. также лит. при ст. Группа.. С. И. Азаков.

Физическая энциклопедия. В 5-ти томах. — М.: Советская энциклопедия. . 1988.


.

Игры ⚽ Нужна курсовая?

Полезное


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

  • Представление группы — У этого термина существуют и другие значения, см. Представление. Не следует путать с заданием группы. Представление группы (точнее, линейное представление группы)  гомоморфизм заданной группы в группу невырожденных линейных преобразований… …   Википедия

  • представление группы — grupės vaizdavimas statusas T sritis fizika atitikmenys: angl. group representation vok. Darstellung der Gruppe, f rus. представление группы, n pranc. représentation d’un groupe, f …   Fizikos terminų žodynas

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

  • Проективное представление группы — Представление группы, точнее линейное представление группы  гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства. Образ этого гомоморфизма сам является группой, элементами которой являются… …   Википедия

  • Присоединённое представление группы Ли — У этого термина существуют и другие значения, см. Присоединённое представление. Присоединённое представление группы Ли   линейное представление группы в касательном пространстве (или в алгебре Ли группы …   Википедия

  • Присоединенное представление группы Ли — Присоединённое представление группы Ли G  линейное представление группы G в касательном пространстве TeG (или в алгебре Ли группы G), сопоставляющее каждому элементу дифференциал …   Википедия

  • Представление — (философия) Представление (психология) Представление (базы данных) Представление (квантовая механика)  способ описания квантовомеханической системы Представление (искусство) (см. также шоу) Представление (прокурора) В математике… …   Википедия

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

  • ПРЕДСТАВЛЕНИЕ СИММЕТРИЧЕСКОЙ ГРУППЫ — линейное представление группы Sm над каким либо полем К. Если char K=0, то все конечномерные П. с. г. вполне приводимы и определены над Q (иначе говоря, все неприводимые конечномерные представления над Q абсолютно неприводимы). Неприводимые… …   Математическая энциклопедия

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


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

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