Коммутативные банаховы алгебры

Докажите предложение 11.2.

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

Если $X$ — компактное хаусдорфово пространство, покажите, что существует естественное взаимно однозначное соответствие между замкнутыми подмножествами $X$ и замкнутыми идеалами $C(X)$.

Докажите, что многочлены плотны в алгебре полидиска $A\left(U^{n}\right)$. (См. теорему 11.7). Указание: если $f \in A\left(U^{n}\right), 0 < r < 1$, и $f_{r}$ определена формулой $f_{r}(z) = f(r z)$, то $f_{r}$ является суммой абсолютно (следовательно, равномерно) сходящегося кратного степенного ряда на $\bar{U}^{n}$.

Пусть $A$ — коммутативная банахова алгебра, $x \in A$, и $f$ голоморфна в некотором открытом множестве $\Omega \subset \mathcal{C}$, содержащем область значений $\hat{x}$. Докажите, что существует $y \in A$, такое что $\hat{y} = f \circ \hat{x}$, то есть такое что $h(y) = f(h(x))$ для каждого комплексного гомоморфизма $h$ алгебры $A$. Докажите, что $y$ однозначно определяется $x$ и $f$, если $A$ полупроста.

Пусть $A$ и $B$ — коммутативные банаховы алгебры, $B$ полупроста, $\psi : A \rightarrow B$ — гомоморфизм, область значений которого плотна в $B$, и $\alpha : \Delta_{B} \rightarrow \Delta_{A}$ определена формулой

Докажите, что $\alpha$ — гомеоморфизм $\Delta_{B}$ на компактное подмножество $\Delta_{A}$. [Тот факт, что $\psi (A)$ плотно в $B$, влечёт, что $\alpha$ взаимно однозначно и что топология $\Delta_{B}$ является слабой топологией, индуцированной преобразованиями Гельфанда элементов $\psi (x)$, для $x \in A$.

Пусть $A$ — алгебра диска, пусть $B = C(K)$, где $K$ — дуга в единичном круге, и пусть $\psi$ — отображение ограничения $A$ в $B$. Этот пример показывает, что $\alpha \left(\Delta_{B}\right)$ может быть собственным подмножеством $\Delta_{A}$, даже если $\psi$ взаимно однозначно.

Найдите пример, в котором $\psi (A) = B$, но $\alpha \left(\Delta_{B}\right) \neq \Delta_{A}$.

В примере $11.13(b)$ утверждалось, что $\hat{A} \neq C(\Delta )$. Найдите несколько доказательств этого.

Какие свойства меры Лебега используются в примере 11.13(f)? Можно ли заменить меру Лебега любой положительной мерой, не изменив ни один из результатов?

Дополните детали для последнего абзаца примера 11.13(f).

Пусть $C^{\prime }$ — алгебра всех непрерывно дифференцируемых комплексных функций на единичном интервале $[0,1]$, с поточечным умножением, нормированная формулой

Пусть $A$ — алгебра диска. Сопоставим каждой $f \in A$ функцию $f^{*} \in A$ по формуле

Тогда $f \rightarrow f^{*}$ — инволюция на $A$.

Покажите, что коммутирующие идемпотенты имеют расстояние $\geq 1$. Точнее, если $x^{2} = x$, $y^{2} = y, x y = y x$ для некоторых $x$ и $y$ в банаховой алгебре, то либо $x = y$, либо $\left\| x-y\right\| \geq 1$. Покажите, что это может не выполняться, если $x y \neq y x$.

Если $x y = y x$ для некоторых $x$ и $y$ в банаховой алгебре, докажите, что

Пусть $t$ — большое положительное число, и определим норму на $\varphi^{2}$ формулой

Пусть $A$ — алгебра всех комплексных 2×2-матриц, с соответствующей операторной нормой:

Для $y \in A$ пусть $y^{*}$ — сопряжённо-транспонированная матрица к $y$. Рассмотрим фиксированный $x \in A$, а именно,

Докажите следующие утверждения.

Комплексная функция $\phi$, определённая на $\mathbb {R}^{n}$, называется положительно определённой, если

для любого выбора $x_{1}, \ldots , x_{r}$, в $\mathbb {R}^{n}$ и для любого выбора комплексных чисел $c_{1}, \ldots , c_{r}$.

Пусть $\Delta$ — пространство максимальных идеалов коммутативной банаховой алгебры $A$. Назовём замкнутое множество $\beta \subset \Delta$ $A$-границей, если максимум $\left|\hat{x}\right|$ на $\Delta$ равен его максимуму на $\beta$, для каждой $x \in A$. (Тривиально, $\Delta$ является $A$-границей).

Докажите, что пересечение $\partial_{A}$ всех $A$-границ является $A$-границей. $\partial_{A}$ называется границей Шилова алгебры $A$. Терминология подсказана свойством максимума модуля голоморфных функций. Например, когда $A$ — алгебра диска, то $\partial_{A}$ — единичная окружность, являющаяся топологической границей $\Delta$, замкнутого единичного круга.

Набросок доказательства: сначала покажите, что существует $A$-граница $\beta_{0}$, минимальная в том смысле, что никакое собственное подмножество $\beta_{0}$ не является $A$-границей. (Частично упорядочьте семейство $A$-границ по включению множеств и т.д.). Затем выберите $h_{0} \in \beta_{0}$, выберите $x_{1}, \ldots , x_{n} \in A$ с $\hat{x}_{i}\left(h_{0}\right) = 0$, и положим

Поскольку $\beta_{0}$ минимальна, существует $x \in A$ с $\left\| \hat{x}\right\|_{\infty } = 1$ и $\left|\hat{x}(h)\right| < 1$ на $\beta_{0}-V$. Если $y = x^{m}$ и $m$ достаточно велико, то $\left|\hat{x}_{i} \hat{y}\right| < 1$ на $\beta_{0}$, для всех $i$. Следовательно, $\left\| \hat{x}_{i} \hat{y}\right\|_{\infty } < 1$. Заключите отсюда сначала, что $\left|\hat{y}(h)\right| = \left\| \hat{y}\right\|_{\infty }$ только в $V$, следовательно, что $V$ пересекает каждую $A$-границу $\beta$, и, наконец, что $h_{0} \in \beta$. Таким образом, $\beta_{0} \subset \beta$, и $\beta_{0} = \partial_{A}$.

Пусть $A$ — банахова алгебра, $m$ — целое число, $m \geq 2, K < \infty$, и

для каждой $x \in A$. Покажите, что существуют константы $K_{n} < \infty$, при $n = 1,2,3, \ldots$, такие что

(Это расширяет теорему 11.12).

Пусть $\left\{ \omega_{n}\right\} (-\infty < n < \infty )$ — положительные числа, такие что $\omega_{0} = 1$, и

для всех целых $m$ и $n$. Пусть $A = A\left\{ \omega_{n}\right\}$ — множество всех комплексных функций $f$ на целых числах, для которых норма

конечна. Определим умножение в $A$ формулой

Пусть $\Delta$ — пространство максимальных идеалов $L^{\infty }(m)$, как в разделе 11.13. Покажите, что

Пусть $L^{\infty }(m)$ — как выше, и докажите: если $f_{n} \in L^{\infty }(m)$ и $f_{n} \rightarrow 0$ в слабой топологии $L^{\infty }(m)$, то $\int_{0}^{1}\left|f_{n}\right|^{p} d m \rightarrow 0$ для каждого $p \in (0, \infty )$. Покажите, построив пример, что обратное неверно.

Докажите следующее частичное обращение теоремы 11.31: если $F$ — ограниченный линейный функционал на $B^{*}$-алгебре $A$, и $\left\| F\right\| = F(0) = 1$, то $F$ положителен.

Указание: выберем $x \in A, \left\| x\right\| \leq 1$, положим $F\left(x x^{*}\right) = \alpha +\beta i$,

при $-\infty < t < \infty$. Используйте теорему 11.28, чтобы показать, что $\sigma \left(x x^{*}\right) \subset [0,1]$ и что, следовательно,

Продолжите, как в лемме 5.26.

В $\mathbb {C}^{2}$ пусть $K_{1}$ состоит из всех точек $\left(e^{i \theta }, e^{-i \theta }\right)$, и пусть $K_{2}$ состоит из точек $\left(e^{i \theta }, e^{i \theta }\right), 0 \leq \theta \leq 2 \pi$. Из этих окружностей покажите, что $K_{1}$ полиномиально выпукла, а $K_{2}$ — нет. А что насчёт $K_{3} = \left\{ (\cos \theta , \sin \theta ): 0 \leq \theta \leq \pi \right\}$?

Покажите, что матрица $M$ размера 3-на-3 коммутирует с

Выведите отсюда, что централизаторы (см. раздел 11.21) не обязаны быть коммутативными.