Normed Algebra Embeds into Unitization as Closed Ideal
Theorem
Let $\GF \in \set {\R, \C}$.
Let $\struct {A, \norm {\, \cdot \,} }$ be a normed algebra over $\GF$ that is not unital as an algebra.
Let $\struct {A_+, \norm {\, \cdot \,}_{A_+} }$ be the normed unitization of $\struct {A, \norm {\, \cdot \,} }$.
Let:
- $A_0 = \set {\tuple {x, 0} : x \in A} \subseteq A_+$
Then $A_0$ is a closed ideal of $A$.
Proof
From Algebra over Field Embeds into Unitization as Ideal, $A_0$ is an ideal of $A$.
From Norm on Unitization of Normed Algebra is Equivalent to Direct Product Norm, $\norm {\, \cdot \,}_{A_+}$ is equivalent to the direct product norm $\norm {\, \cdot \,}_{A \times \GF}$.
Let $\sequence {\tuple {x_n, 0} }_{n \in \N}$ be a convergent sequence in $\struct {A_+, \norm {\, \cdot \,}_{A_+} }$ with limit $\tuple {x, \lambda} \in A_+$.
From Convergence in Direct Product Norm and Convergent Sequences in Vector Spaces with Equivalent Norms Coincide, we have $x_n \to x$ and $\lambda = 0$.
So every convergent sequence in $A_0$ has a limit in $A_0$.
So by the definition of a closed set in a normed vector space, $A_0$ is closed.
$\blacksquare$