fixfix
2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Совместная диагонализируемость коммутирующих матриц
Сообщение06.05.2023, 02:29 


31/05/22
267
Здравствуйте, дана задача: операторы $A,B$ диагонализируемы и коммутативны. Необходимо доказать, что найдётся базис, из собственных векторов для обоих операторов. Решал так: пусть $x$ собственный вектор для $B$ с собственным значением $q$. $ABx=qAx=BAx$. Последнее равенство означает, что собственные вектора $B$ с одинаковыми собственными значениями образуют инвариантное подпространство для $A$, значит матрица оператора блочная. Что делать дальше? Тематика глав для этой задачи связана со скалярным произведением. Как его применить - не знаю. Может кто-нибудь помочь?

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение08.05.2023, 01:53 
Заслуженный участник
Аватара пользователя


23/07/08
10910
Crna Gora
Maxim19
Всё, что могу посоветовать — посмотрите книгу
Horn, Johnson. Matrix analysis (2 ed.)
Theorem 1.3.12, page 62
Сама теорема несложная, но опирается на несколько вспомогательных утверждений, которые были доказаны ранее. А совсем простого доказательства я не встречал.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение08.05.2023, 02:51 


31/05/22
267
То есть это сложная задача?

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение08.05.2023, 04:52 
Заслуженный участник
Аватара пользователя


23/07/08
10910
Crna Gora
К обеим матрицам применяется такое преобразование подобия, чтобы $A$ стала диагональной и равные диагональные элементы шли подряд. Разобьём $A$ на блоки так, чтобы каждый диагональный блок имел вид $\lambda_i E$ и равные диагональные элементы всегда относились к одному блоку. Легко доказывается, что поскольку $A$ и $B$ коммутируют, $B$ будет блочно диагональной матрицей той же блочной структуры. Дальше надо показать, что (*) если матрица $B$ блочно диагональна и диагонализируема, то каждый её диагональный блок диагонализируем в отдельности. Применяем одновременно и к $B$, и к $A$ такие преобразования подобия, которые последовательно диагонализируют диагональные блоки $B$. Эти же преобразования оставляют матрицу $A$ диагональной, потому что действуют на её диагональные блоки вида $\lambda_i E$.

Вы можете доказать (*)? Значит, всё просто. Если нет, в книге расписано, как.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение08.05.2023, 18:33 


31/05/22
267
Пойду посмотрю, как это доказывается. Хотел изначально сказать, что на блоки действует лишь преобразования в их строках и столбцах, но потом понял, что преобразовать можно так, что $AC$ будет не блочной матрицей, а $C^TAC$ окажется блочной.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение08.05.2023, 19:28 
Заслуженный участник


14/10/14
1220
Я умею немного проще.
Maxim19 в сообщении #1592714 писал(а):
Решал так: пусть $x$ собственный вектор для $B$ с собственным значением $q$. $ABx=qAx=BAx$. Последнее равенство означает, что собственные вектора $B$ с одинаковыми собственными значениями образуют инвариантное подпространство для $A$, значит матрица оператора блочная.
Осталось доказать, что если $A$ -- диагонализуемый линейный оператор на $V$ и $W\subset V$ -- инвариантное подпростраство $AW\subset W$, то ограничение $A$ на $W$ тоже диагонализуемо. Обозначим $V_\lambda\subset V$ собственное подпространство, отвечающее собственному значению $\lambda$ оператора $A$. Пусть $w\in W$, так как $A$ диагонализуем, то можно разложить $w=v_1+...+v_k$, $v_i\in V_{\lambda_i}$, все $\lambda_i$ различны. Докажем, что в таком случае все $v_i\in W$, индукцией по $k$. При $k=1$ очевидно, дальше $(A-\lambda_k)w=(\lambda_1-\lambda_k)v_1+...+(\lambda_{k-1}-\lambda_k)v_{k-1}$, каждое слагаемое этой суммы лежит в $W$ по предположению индукции, и так как $\lambda_i$ различны, то $v_1,...,v_{k-1}\in W$, поэтому и $v_k\in W$. Значит, $W=\bigoplus\limits_{\lambda}(W\cap V_{\lambda})$, что и требовалось.

Скалярное произведение не требуется, верно над любым полем.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 01:49 


31/05/22
267
Хорошо, но как это подтверждает тот факт, что есть базис, в котором матрицы $A$ и $B$ диагональны?

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:12 
Заслуженный участник


14/10/14
1220
Maxim19 в сообщении #1593093 писал(а):
Хорошо, но как это подтверждает тот факт, что есть базис, в котором матрицы $A$ и $B$ диагональны?
Я доказал, что оператор $A$, ограниченный на любое собственное подпространство $V_{B,\lambda}$ оператора $B$, диагонализуем, то есть есть базис пространства $V_{B,\lambda}$, состоящий из собственных векторов оператора $A$. Выберем такой базис для каждого $V_{B,\lambda}$ и получим базис всего пространства, состоящий из общих собственных векторов.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:13 


31/05/22
267
Понятно, спасибо

-- 09.05.2023, 02:15 --

Только меня смущает то, что это не использует коммутативность этих операторов. Может есть ошибка в доказательстве? Например, обязательно ли, что все собственные значения разные?

-- 09.05.2023, 02:16 --

А, нет. Использовали же Вы в начале, когда цитировали мою попытку

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:16 
Заслуженный участник


14/10/14
1220
Maxim19 в сообщении #1593095 писал(а):
Только меня смущает то, что это не использует коммутативность этих операторов.
Использует: там используется, что собственные подпространства оператора $B$ $A$-инвариантны. Это как раз про блочность $A$.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:20 


31/05/22
267
Я запутался. Я так и не понял, почему, когда мы выбираем на подпространстве оператора $A$ базис из собственных векторов, то эти вектора собственны для оператора $B$?

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:22 
Заслуженный участник


14/10/14
1220
Мы выбираем в подпространстве, собственном для оператора $B$, базис из векторов, собственных для $A$.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:24 


31/05/22
267
Это да, но почему этот базис собственный для $B$? Пространство может просто стать инвариантным.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:25 
Заслуженный участник


14/10/14
1220
Maxim19 в сообщении #1593099 писал(а):
Это да, но почему этот базис собственный для $B$?
Потому что в подпространстве, собственном для $B$, все ненулевые векторы собственны для $B$.

 Профиль  
                  
 
 Re: Совместная диагонализируемость коммутирующих матриц
Сообщение09.05.2023, 02:28 


31/05/22
267
Это не так

-- 09.05.2023, 02:29 --

Допустим подпространство из собственных векторов с собственными значениями 1 и 2. Сумма этих векторов не будет собственной

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Skipper


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group