Weak Approximate Identities in a Normed Algebra

Weak Approximate Identities in a Normed Algebra

Definition: Let $\mathfrak{A}$ be a normed algebra.
1) A net $\{ e(\lambda) \}_{\lambda \in \Lambda}$ is a Weak Left Approximate Identity for $\mathfrak{A}$ if for every $a \in \mathfrak{A}$ and for every $f \in \mathfrak{A}^*$ we have that $f(e(\lambda)a) \to f(a)$.
2) A net $\{ e(\lambda) \}_{\lambda \in \Lambda}$ is a Weak Right Approximate Identity for $\mathfrak{A}$ if for every $a \in \mathfrak{A}$ and for every $f \in \mathfrak{A}^*$ we have that $f(ae(\lambda)) \to f(a)$.
3) A net $\{ e(\lambda) \}_{\lambda \in \Lambda}$ is a Weak Two-Sided Approximate Identity for $\mathfrak{A}$ if it is both a weak left approximate identity for $\mathfrak{A}$ and a weak right approximate identity for $\mathfrak{A}$.

Note that if $\{ e(\lambda) \}_{\lambda \in \Lambda}$ is a weak left approximate identity for $\mathfrak{A}$ then for each $a \in \mathfrak{A}$ and every $f \in \mathfrak{A}^*$ we have that for all $\epsilon > 0$ there exists a $\lambda_0 \in \Lambda$ such that if $\lambda \geq \lambda_0$ then:

(1)
\begin{align} \quad |f(e(\lambda)a) - f(a)| < \epsilon \end{align}
Proposition 1: Let $\mathfrak{A}$ be a normed algebra.
a) If $\mathfrak{A}$ has a bounded weak left approximate identity then $\mathfrak{A}$ has a bounded left approximate identity.
b) If $\mathfrak{A}$ has a bounded weak right approximate identity then $\mathfrak{A}$ has a bounded right approximate identity.
  • Proof of a) Suppose that $\mathfrak{A}$ has a bounded weak left approximate identity. Then there exists a net $\{ e(\lambda) \}_{\lambda \in \Lambda}$ such that for every $a \in \mathfrak{A}$ and for every $f \in \mathfrak{A}^*$ we have that:
(2)
\begin{align} \quad f(e(\lambda)a) \to f(a) \end{align}
  • Let $U$ be the smallest convex set containing $\{ e(\lambda) : \lambda \in \Lambda \}$, that is, $U$ is the closed convex hull of this set.
  • We first show that $U$ is a bounded set. Since $\{ e(\lambda) \}_{\lambda \in \Lambda}$ is a bounded net there exists a $K > 0$ such that $\| e(\lambda) \| \leq K$ for all $\lambda \in \Lambda$. Let $u \in U$. Since $U$ is the convex hull of $\{ e(\lambda) : \lambda \in \Lambda \}$ there exists $\lambda_1, \lambda_2, ..., \lambda_n \in \Lambda$ and $0 \leq \alpha_1, \alpha_2, ..., \alpha_n \leq 1$ with $\alpha_1 + \alpha_2 + ... + \alpha_n = 1$ such that:
(3)
\begin{align} \quad u = \alpha_1e(\lambda_1) + \alpha_2e(\lambda_2) + ... + \alpha_ne(\lambda_n) \end{align}
  • Taking the norm of $u$ gives us that:
(4)
\begin{align} \quad \| u \| \leq \alpha_1 \| e(\lambda_1) \| + \alpha_2 \| e(\lambda_2) \| + ... + \alpha_n \| e(\lambda_n) \| \leq K \sum_{k=1}^{n} \alpha_k = K \end{align}
  • So every $u \in U$ is such that $\| u \| \leq K$, i.e., $U$ is a bounded set.
  • Lastly, since $e(\lambda)a \to a$ weakly, we have that:
(5)
\begin{align} \quad a \in \mathrm{weak-closure} \{ e(\lambda)a : \lambda \in \Lambda \} \end{align}
  • Let $U'$ be the convex hull of $\{ e(\lambda)a : \lambda \in \Lambda \}$. Since $\{ e(\lambda)a : \lambda \in \Lambda \} \subseteq U'$, we have that:
(6)
\begin{align} \quad \mathrm{weak-closure} \{ e(\lambda)a : \lambda \in \Lambda \} \subseteq \mathrm{weak-closure} (U') \end{align}
  • So $a \in \mathrm{weak-closure} (U')$. By Mazur's Theorem, we have that $\mathrm{weak-closure} U' = \mathrm{norm-closure} (U')$. So $a \in \mathrm{norm-closure}(U') = \mathrm{norm-closure}(Ua)$. So for a given $\epsilon > 0$ there exists a $u \in U$ such that:
(7)
\begin{align} \quad \| a - ua \| < \epsilon \end{align}
  • By the proposition on the Approximate Identities in a Normed Algebra page, since $\mathfrak{A}$ is a normed algebra and $U$ is a bounded subset of $\mathfrak{A}$ such that for each $a \in \mathfrak{A}$ and for every $\epsilon > 0$ there exists a $u \in U$ such that $\| a - ua \| < \epsilon$ we have that $\mathfrak{A}$ has a bounded left approximate identity. $\blacksquare$
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License