Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Пусть $\mathfrak{R}$ и $\mathfrak{S}$ – два векторных пространства с общей областью $\mathfrak{G}$ операторов, производящих в обоих пространствах линейные преобразования. Далее, пусть задано линейное преобразование $T$, которое операторно-гомоморфно отображает пространство $\mathfrak{R}$ в $\mathfrak{S}$ или в некоторое подпространство пространства $\mathfrak{S}$. Операторный гомоморфизм приводит к тому, что, когда $T v=w$ для каждого $a$ из $\mathfrak{G}$, преобразование $T$ также переводит $a v$ в $a w$, т. е. или $a$ коммутирует с $T$. Теперь докажем лемму Шура. В первом случае $\mathfrak{R}$ эквивалентно неприводимому подпространству $\mathfrak{S}$. Если $\mathfrak{S}$ само неприводимо, то $\mathfrak{R}$ эквивалентно $\mathfrak{S}$. В частности, если $\mathfrak{R}=\mathfrak{S}$ и для $\mathfrak{R}$ и $\mathfrak{S}$ применяются одинаковые базисные векторы, то далее мы получаем: матрица $T$ является кратной единичной матрицей. Чтобы доказать соотношение $T=\tau E$ в случае $\mathfrak{R}=\mathfrak{S}$, определим $\tau$ так, что детерминант $|T-\tau E|=0$. Так как одновременно с $T$ и $T-\tau E$ коммутирует со всеми а, то по только что доказанной части теоремы матрица $T-\tau E$ или представляет однозначное, следовательно, несингулярное преобразование, или равна нулю. Следовательно, если $|T-\tau E|=0$, то $T-\tau E=0$, т. е. $T=\tau E$. То же самое соотношение $T=\tau E$ имеет место, если положить не $\mathfrak{R}=\mathfrak{S}$, а $\mathfrak{R} \cong \mathfrak{S}$, так как выбранные базисы $\mathfrak{R}$ и $\mathfrak{S}$ соответствуют друг другу вследствие изоморфизма. Мы определим теперь линейные преобразования, коммутирующие с целиком приводимой системой $\mathfrak{G}$ линейных преобразований пространства $\mathfrak{R}$. Другими словами, согласно вышесказанному, мы определим операторные гомоморфизмы целиком приводимого пространства представлений $\mathfrak{R}$ с областью операторов $\mathfrak{G}$. Если пространства $\mathfrak{r}, \ldots, \mathfrak{r}_{k}$ преобразуются с помощью $\mathfrak{G}$ эквивалентным образом, то мы вводим в них соответствующие базисные векторы такого рода, чтобы преобразования этих пространств представлялись одинаковыми матрицами. Пусть $T$ – линейное преобразование, гомоморфно отображающее $\mathfrak{R}$ в самого себя. Чтобы полностью знать преобразование $\mathrm{T}$, нужно знать только его действие на векторы $\mathfrak{r}_{1}, \mathfrak{r}_{2}, \ldots, \mathfrak{r}_{r}$. Т отображает $\mathfrak{r}_{1}$ в изоморфное с $\mathfrak{r}_{1}$ пространство $T \mathfrak{r}_{1}$. Векторы $w=T v$ пространства $T \mathfrak{r}_{1}$ можно разложить на компоненты по (13.1) Соответствие $w \rightarrow w_{1}$ или $w \rightarrow w_{2}$ является тоже операторным гомоморфизмом, поэтому $v \rightarrow w \rightarrow w_{1}$ или $v \rightarrow w \rightarrow w_{2}$ и т. д. является также операторным гомоморфизмом. По лемме Шура в разложение (13.2) могут входить только такие компоненты, которые относятся к подпространствам $\mathfrak{r}_{1}, \ldots, \mathfrak{r}_{k}$, эквивалентным $\mathfrak{r}_{1}$. Все остальные компоненты должны равняться нулю. Далее, по лемме Шура (вторая часть) соотношения $v \rightarrow w_{1}$ и т. д. должны представляться кратными единичной матрице. Мы обозначим эти кратные, поскольку речь идет об отображении $\mathfrak{r}_{1}$ в $\mathfrak{r}_{\lambda}$, через $\tau_{\lambda 1} E$. Все, что имеет место для $\mathfrak{r}_{1}$, естественно, Построим теперь матрицу $T$, отнесенную к базису, составленному из базисов $\mathfrak{r}_{1}, \ldots, \mathfrak{r}_{k}, \mathfrak{r}_{k+1}, \ldots, \mathfrak{r}_{r}$. Мы получаем при этом Полученный результат можно формулировать следующим образом. Напишем последовательно базисные векторы эквивалентных пространств от $\mathfrak{r}_{1}$ до $\mathfrak{r}_{k}$ при операциях $\mathfrak{G}$ строки этого прямоугольника линейно преобразуются в самих себя, причем все строки одинаковым образом, тогда как коммутирующие с ними операторы $T$ преобразуют столбиы прямоугольников в самих себя, причем тоже одинаковым образом, в остальном совершенно произвольным. Для пространств от $\mathfrak{r}_{k+1}$ до $\mathfrak{r}_{r}$ получаются аналогичные прямоугольники базисных векторов. Таким образом находятся все матрицы, коммутирующие с полностью приводимой системой. Эти матрицы образуют кольцо $\mathfrak{I}$, т. е. систему величин, содержащую для каждой пары также и их сумму, разность и произведение. Кольцо $\mathfrak{I}$ является «прямой суммой» колец $\mathfrak{I}_{1}, \ldots, \mathfrak{I}_{q}$, составленных из матриц одной из «касс» в (13.3) (с нулями в других касcax), т. е. каждая матрица кольца $\mathfrak{I}$ может быть однозначно представлена суммой матриц колец $\mathfrak{I}_{1}, \ldots, \mathfrak{I}_{q}$, тогда как произведение двух матриц различных колец $\mathfrak{I}_{ с совершенно произвольными числами $\tau_{\lambda \mu}$ в качестве элементов. Кольцо всех этих матриц мы называем полным матричным кольцом степени $k$. Следовательно, кольцо $\mathfrak{I}$ является прямой суммой полных матричных колец. Базисные величины полного матричного кольца мы получим, если положим, что все $\tau_{\lambda \mu}$ (13.4) равны нулю, кроме одного $\tau_{\lambda \mu}=1$. Полученные таким образом матрицы (13.4) мы обозначим через $C_{\lambda \mu}$. При этом каждая матрица может быть однозначно представлена суммой $\sum C_{\lambda \mu} \tau_{\lambda \mu}$. Правила вычисления сводятся к равенствам Полученная теорема позволяет ответить на следующий вопрос. Предположим, что на векторное пространство $\mathfrak{R}$ действуют две коммутирующие между собой группы или вообще две коммутирующие целиком приводимые системы линейных преобразований $\mathfrak{G}, \mathfrak{H}$. Можно ли разложить системы на неприводимые части так, чтобы в приведенной форме коммутируемость была непосредственно видна? Сначала разложим систему $\mathfrak{G}$, что приведет к рассмотренным выше прямоугольным системам базисных векторов Согласно вышеизложенным результатам, коммутирующая система $\mathfrak{H}$ должна линейно преобразовывать столбцы каждого прямоугольника в самих себя и притом одинаковым образом. Следовательно, каждый столбец определяет подпространство в $\mathfrak{R}$, инвариантное относительно $\mathfrak{H}$, которое должно быть полностью приводимо. Поэтому можно заменить базисные векторы какого-либо столбца их линейными комбинациями так, чтобы после этого столбец распадался на отдельные участки, неприводимо преобразующиеся под действием $\mathfrak{H}$. Это видоизменение базисных векторов мы проводим для всех столбцов прямоугольника Таким образом, если даны две целиком приводимые и коммутирующие системы $\mathfrak{G}, \mathfrak{H}$ линейных преобразований векторного пространства $\mathfrak{R}$, то можно расположить базисные векторы в прямоугольники так, чтобы в каждом прямоугольнике все строки неприводимо преобразовывались одинаковым образом системой $\mathfrak{G}$ и точно так же все столбцы неприводимо преобразовывались одинаковым образом системой $\mathfrak{H}$.
|
1 |
Оглавление
|