2014 dxdy logo

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

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




 
 Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 06:34 
Здравствуйте, пусть $AB=BA$ над полем комплексных чисел. В задаче про нахождение общих собственных векторов для коммутирующих матриц доказывают инвариантность собственного подпространства оператора $A$ относительно оператора $B$. И в конце доказательства, если рассмотреть собственный вектор оператора $B$ в подпространстве собственном оператора $A$, то там всё докажется и хорошо. Но объясните пожалуйста, почему мы всегда сможем выбрать собственный вектор оператора $B$ в собственном подпространстве оператора $A$?

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 10:18 
Maxim19 в сообщении #1569877 писал(а):
почему мы всегда сможем выбрать собственный вектор оператора $B$ в собственном подпространстве оператора $A$?

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

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 10:54 
Аватара пользователя
ewert в сообщении #1569889 писал(а):
у любого оператора, действующего в любом пространстве, есть хотя бы один собственный вектор.

имея в виду:
Maxim19 в сообщении #1569877 писал(а):
над полем комплексных чисел.

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 11:05 
Почему это так? Собственные векторы определяются решением системы однородных линейных уравнений. Минимум одно решение есть, но почему это можно сделать во всех подпространствах?

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 13:52 
Maxim19 в сообщении #1569893 писал(а):
Минимум одно решение есть, но почему это можно сделать во всех подпространствах?

Потому что подпространство -- это само по себе пространство. Речь ведь не о "всех" подпространствах, а об инвариантных.

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 17:54 
Всё равно не понимаю, мы же из за комплексных чисел можем в любом операторе выделить собственный вектор, это да, но почему мы так же можем выделить в каком то нами заданном подпространстве? Подробнее пожалуйста.

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение13.11.2022, 23:59 
Вы попросту зациклились на термине "подпространство". Но ведь если оно инвариантно для $B$, то никто не может запретить нам рассматривать сужение этого оператора на это подпространство. И у этого сужения есть собственный вектор; тем более он будет собственным для исходного $B$. Вот и всё; проблемы-то какие?..

 
 
 
 Re: Общие собственные векторы двух коммутирующих матриц.
Сообщение14.11.2022, 00:14 
Теперь понял. Я забыл, что в контексте задачи собственное пространство оператора $A$ инвариантно относительно $B$, а значит сузить можно. Помогли разобраться, спасибо.

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group