Permanently Singular Elements in a Banach Algebra with Unit

Permanently Singular Elements in a Banach Algebra with Unit

Recall from the Boundary Points of Inv(A) are Topological Divisors of Zero in a Banach Algebra with Unit page that if $\mathfrak{A}$ is a Banach algebra with unit and $a \in \partial (\mathrm{Inv}(\mathfrak{A}))$ then $a$ is a topological divisor of zero.

Given any normed algebra with unit $\mathfrak{A}$, we can consider a point $a \in \mathrm{Sing}(\mathfrak{A})$. If $\mathfrak{B}$ is a normed algebra extension of $\mathfrak{A}$ then the point $a$ may or may not be a singular element of $\mathfrak{A}$. We give a special name to a point $a$ which is singular in every normed algebra extension $\mathfrak{B}$ of $\mathfrak{A}$.

Definition: Let $\mathfrak{A}$ be a normed algebra with unit. A point $a \in \mathrm{Sing}(\mathfrak{A})$ is said to be Permanently Singular if for every normed algebra extension $\mathfrak{B}$ of $\mathfrak{A}$ we have that $a \in \mathrm{Sing}(\mathfrak{B})$.

If $\mathfrak{A}$ is a normed algebra with unit then another normed algebra with unit $\mathfrak{B}$ is said to be an extension of $\mathfrak{A}$ if: $\mathfrak{A} \subseteq \mathfrak{B}$; the norm on $\mathfrak{B}$ when restricted to $\mathfrak{A}$ is norm equivalent to the norm on $\mathfrak{A}$; and the unit of $\mathfrak{B}$ is equal to the unit of $\mathfrak{A}$.

Proposition 1: Let $\mathfrak{A}$ be a normed algebra with unit. If $a$ is a left topological divisor of zero or a right topological divisor of zero then $a$ is permanently singular.
  • Proof: Let $a \in \mathrm{Sing}(\mathfrak{A})$ be a left topological divisor of zero. Suppose instead that there exists an normed algebra extension $\mathfrak{B}$ of $\mathfrak{A}$ such that $a \not \in \mathrm{Sing}(\mathfrak{B})$. Then $a$ is invertible in $\mathfrak{B}$. So there exists a $y \in \mathfrak{B}$ such that $ay = ya = 1$.
  • Since $a$ is a left topological divisor of zero there exists a sequence of points $(y_n)$ with $\| y_n \|_{\mathfrak{A}} = 1$ for all $n \in \mathbb{N}$ such that:
(1)
\begin{align} \quad \lim_{n \to \infty} \| ay_n \|_{\mathfrak{B}} = 0 \end{align}
  • Then for every $n \in \mathbb{N}$:
(2)
\begin{align} \quad \| y_n \|_{\mathfrak{B}} = \| 1 y_n \|_{\mathfrak{B}} = \| ya y_n \|_{\mathfrak{B}} \leq \| y \|_{\mathfrak{B}} \| xy_n \|_{\mathfrak{B}} \end{align}
  • Since $\mathfrak{B}$ is a normed algebra extension of $\mathfrak{A}$, we have that $\| \cdot \|_X$ is norm equivalent to $\| \cdot \|_W$ when restricted to $X$. In particular, there exists a number $M > 0$ such that $\| x \|_{\mathfrak{A}} \leq M \| x \|_{\mathfrak{B}}$ for all $x \in \mathfrak{A}$. Since $(y_n)$ is a sequence in $\mathfrak{A}$, the above inequality tells us that for every $n \in \mathbb{N}$:
(3)
\begin{align} \quad \| y_n \|_{\mathfrak{A}} \leq M \| y \|_{\mathfrak{B}} \| ay_n \|_{\mathfrak{B}} \end{align}
  • Taking the limit of both sides of the inequality at $n \to \infty$ gives us that $1 \leq 0$, a contradiction. Therefore the assumption that $a$ is not permanently singular is false. Thus, $a$ is permanently singular.
  • An analogous argument shows that if $a$ is a right topological divisor of zero then $a$ is also permanently singular. $\blacksquare$
Corollary 2: Let $\mathfrak{A}$ be a Banach algebra with unit. If $a \in \partial (\mathrm{Inv}(\mathfrak{A}))$ then $a$ is permanently singular.
  • Proof: Let $a \in \partial (\mathrm{Inv}(\mathfrak{A}))$. From the Theorem mentioned on the top of the page, $a$ is thus a topological divisor of zero. By Proposition 1, $a$ is permanently singular. $\blacksquare$
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License