2014 dxdy logo

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

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


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


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

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

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Ссылки на примеры "несамосопряжённых" разложений
Сообщение11.09.2012, 10:03 
Заслуженный участник


11/05/08
32166
g______d в сообщении #617088 писал(а):
замкнутый плотно определенный симметрический оператор, удовлетворяющий условиям из первого поста (включая конечномерность ортогонального дополнения к линейной оболочке собственных функций).

Замыкание линейной оболочки собственных векторов -- это инвариантное подпространство. Для симметричного оператора ортогональное дополнение к инвариантному подпространству также является инвариантным. При этом хоть где-то на этом дополнении оператор определён (в противном случае он был бы определён не плотно). Сужение оператора на ортогональное дополнение также симметрично, а поскольку дополнение конечномерно -- на нём заведомо есть собственные векторы.

Т.е. если некоторая система собственных векторов не полна, но ортогональное дополнение к ним конечномерно, то это заведомо не все собственные векторы. Для бесконечномерного дополнения это, разумеется, уже не так.

 Профиль  
                  
 
 Re: Ссылки на примеры "несамосопряжённых" разложений
Сообщение11.09.2012, 13:22 
Аватара пользователя


13/03/11
139
Спб
ewert в сообщении #617031 писал(а):
theambient в сообщении #616890 писал(а):
разве первое не определяет второе?
...

Нет, первое никак не определяет второго.


Хм, если расширить область определения, то образ никак не станет меньше и для более-менее нетривиального оператора должен расшириться.

ewert в сообщении #617031 писал(а):
Последняя фраза принципиально бессмысленна: есть операторы, области определения которых в принципе невозможно расширить без потери их свойств (а именно те свойства и представляют практический интерес).


А для чего расширять? Все равно оператор игнорирует эти элементы, их как-будто бы и нет для него. Какие свойства от этого расширения меняются? Могу предположить, что это что-то связанное с сопряженным оператором.

 Профиль  
                  
 
 Re: Ссылки на примеры "несамосопряжённых" разложений
Сообщение11.09.2012, 16:21 
Заслуженный участник
Аватара пользователя


08/11/11
5940
ewert, да, я к этому и пытался прийти (не был уверен насчет ортогонального дополнения к инвариантному подпространству, но все-таки это правда). Таким образом, оператора со свойствами из первого поста (если я правильно их понял) не существует.

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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