Norm on Unitization of Normed Algebra is Equivalent to Direct Product Norm
Jump to navigation
Jump to search
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 \,}_1 }$ be the normed unitization of $\struct {A, \norm {\, \cdot \,} }$.
Let $\norm {\, \cdot \,}_2$ be the direct product norm on $A \times \GF$.
Then $\norm {\, \cdot \,}_1$ and $\norm {\, \cdot \,}_2$ are equivalent norms.
Proof
Let $u, v \in \R$.
We have:
- $\ds \frac 1 2 \paren {\size u + \size v} \le \frac 1 2 \paren {\max \set {\size u, \size v} + \max \set {\size u, \size v} } = \max \set {\size u, \size v}$
and:
- $\ds \max \set {\size u, \size v} \le \max \set {\size u, \size v} + \min \set {\size u, \size v} = \size u + \size v$
Let $x \in A$ and $\lambda \in \GF$.
Taking $u = \norm x$ and $v = \cmod \lambda$ in the above we obtain:
- $\ds \frac 1 2 \paren {\norm x + \cmod \lambda} \le \max \set {\norm x, \size \lambda} \le \norm x + \cmod \lambda$
That is:
- $\ds \frac 1 2 \norm {\tuple {x, \lambda} }_1 \le \norm {\tuple {x, \lambda} }_2 \le \norm {\tuple {x, \lambda} }_1$
So $\norm {\, \cdot \,}_1$ and $\norm {\, \cdot \,}_2$ are equivalent norms.
$\blacksquare$