2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Функан, спектральная проекция
Сообщение23.11.2010, 08:28 
Заслуженный участник


05/06/08
1097
Известно (Conway, A course in functional analysis, Proposition VII.4.11), что
Цитата:
Пусть $A$ - унитальная банахова алгебра (над $\mathbb C$), $a \in A$, $\sigma(a) = F_1 \cup F_2$, где $F_1,F_2$ - непустые дизъюнктные замкнутые множества. Тогда существует нетривиальный идемпотент $e$ такой, что
а) $ba = ab \Rightarrow be = eb$
б) если $a_1 := ae, a_2 := a(1-e)$, то $a=a_1+a_2, \ a_1 a_2 = a_2 a_1 = 0$
в) $\sigma(a_i) = F_i \cup \{ 0 \}$

(доказывается с помощью функционального исчисления)

Теперь меня интересует упражнение оттуда же VII.4.9, в котором
Цитата:
Пусть $X$ - банахово пространство, $A \in \mathcal B(X)$, $\sigma(A) = F_1 \cup F_2$, где $F_1,F_2$ - непустые дизъюнктные замкнутые множества. Тогда существуют топологически дополнительные подпространства $X_1, X_2 \subset X$ (которые само собой замкнуты), т.е. $X = X_1 \oplus X_2$, что
a) $BA = AB \Rightarrow B X_i \subset X_i$
b) Если $A_i := A|_{X_i}$, то $\sigma(A_i) = F_i$
c) Существует такой изоморфизм $R: X \to X_1 \oplus X_2$, что $R A R^{-1} = A_1 \oplus A_2$


Я доказал a), c); разумеется в качестве $X_1$ берем образ идемпотента $E$ из предложения выше, в качестве $X_2$ - ядро. Тогда, как известно, они будут топ. дополнительными и пункты a), c) доказываются с помощью все того же предложения.
В b) довольно легко дойти до $F_i \setminus \{ 0 \} \subset \sigma(A_i) \subset F_i \cup \{ 0 \}$, тут нужно разложить $AE$ и $A(1-E)$ как в пункте c) этого же упражнения.
Но вот дальше проблема с нулевым элементом спектра. Если $A$ обратим, то все показывается легко.
А вот если нет - то непонятно.

Как же показать, что $0 \in F_i \Leftrightarrow 0 \in \sigma(A_i)$, при условии что $0 \in \sigma(A)$?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

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



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

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


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

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