Документ взят из кэша поисковой машины. Адрес оригинального документа : http://wasp.phys.msu.ru/forum/lofiversion/index.php?t16160.html
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 15:20:11 2016
Кодировка: Windows-1251
Студенческий форум Физфака МГУ > Вопрос по теории представлений групп
Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Вопрос по теории представлений групп
Студенческий форум Физфака МГУ > Наука физика > Есть проблема
Homo Sovieticus
В связи с трудностями в освоении данного предмета хочу задать несложный вопрос.

В теории представлений есть соотношение ортогональности

\frac{g}{S_\alpha}\delta_{ij}\delta_{\alpha\beta}\delta_{pq}=\sum\limits_{a=1}^g T_{ip}^{(\alpha)}(g_a)T_{qj}^{(\beta)}(g_a^{-1}),

g - это порядок группы, T^{(\alpha)} - представление группы в линейном пространстве X^{(\alpha)} размерностью S_\alpha, T^{(\beta)} - представление в линейном пространстве X^{(\beta)} размерностью S_\beta. Приравняем p=i, q=j:

\frac{g}{S_\alpha}\delta_{ij}\delta_{\alpha\beta}=\sum\limits_{a=1}^g T_{ii}^{(\alpha)}(g_a)T_{jj}^{(\beta)}(g_a^{-1}).

Просуммируем по i, j. В книгах далее написано

\sum\limits_{a=1}^g\chi^{(\alpha)}(g_a)\chi^{(\beta)}(g_a^{-1})=
g\delta_{\alpha\beta}.

\chi(g_a) - характер представления (по определению - след матрицы оператора). Но если суммировать левую часть предпоследнего выражения, может вылезти как S_{\alpha}, так и S_{\beta}. Так?
Gec
Может быть еще актуально.
Цитата(AWP @ 15.04.2009, 20:01) *
Но если суммировать левую часть предпоследнего выражения, может вылезти как , так и . Так?

Не так. Левая часть второй формулы отлична от нуля только при \alpha=\beta, значит, можем считать, что индексы i и j пробегают одно и то же множество из S_\alpha элементов. А дальше \sum_{j=1}^{S_\alpha}\delta_{ij}=1 и \sum_{i=1}^{S_\alpha}1=S_\alpha.
Homo Sovieticus
Цитата(Gec @ 16.4.2009, 18:59) *
Не так. Левая часть второй формулы отлична от нуля только при \alpha=\beta, значит, можем считать, что индексы i и j пробегают одно и то же множество из S_\alpha элементов. А дальше \sum_{j=1}^{S_\alpha}\delta_{ij}=1 и \sum_{i=1}^{S_\alpha}1=S_\alpha.


Актуально.

Тогда почему они пробегают множество не из S_\beta элементов?
Странная ассиметрия какая-то.
Gec
Асимметрии по-моему нет. \delta_{\alpha\beta} позволяет рассматривать \sum_{i,j}\delta_{ij} только при \alpha=\beta , если же \alpha\neq\beta, то все равно чему равно \sum_{i,j}\delta_{ij}, так как умножается на ноль. Очевидно
S_\alpha\delta_{\alpha\beta}=S_\beta\delta_{\alpha\beta}=\sqrt{S_\alpha S_\beta}\delta_{\alpha\beta}

Upd. Почему в вашем сообщении 3 внутри цитаты есть формулы, а в моем сообщении 2 формул внутри цитаты нет? Вы просто не поленились их набрать?
Homo Sovieticus
Спасибо, стало более-менее понятно.

Про формулы - я всего лишь нажал кнопку "цитировать", удалил в цитате лишнее, и все. Не могу сказать, из-за чего у Вас возникла проблема.
Юра Ц
Доброго времени суток!
А что еще интересно про представления? Давай я что-нибудь расскажу.
Полезные упражнения:

доказать полную приводимость компактных(конечномерных) групп.

научиться раскладывать тензорные произведения представлений данной группы в прямую сумму неприводимых.

научиться классифицировать неприводимые комплексные представления симметрической группы.

научиться понимать, что такое пространство эндоморфизмов данного представления.


Homo Sovieticus
Откуда только такой умный выискался? smile.gif
Юра Ц
=)) Отсюда: http://ium.mccme.ru/students.php
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Русская версия IP.Board © 2001-2016 IPS, Inc.