minimal unitizations of algebras with additional structure

Given a (non-unital) algebra (http://planetmath.org/Algebra) there is a procedure to add an unit to it (parent entry (http://planetmath.org/Unitization)). When the algebra has some additional structure (topological structure, for example), it is often useful to endow the same structure on the minimal unitization of the algebra.

All the algebras are to be considered non-unital.

0.1 Topological Algebras

Let $𝒜$ be a topological algebra algebra over a (topological) field $𝕂$. Let $\widetilde{𝒜}$ be its minimal unitization.

Then $\widetilde{𝒜}=𝒜\oplus 𝕂$ is a topological algebra with the product topology.

0.2 Normed and Banach Algebras

Let $𝒜$ be a normed algebra over $𝕂$ ($=ℝ$ or $ℂ$) with norm $\parallel \cdot \parallel$. Let $\widetilde{𝒜}$ be its minimal unitization.

Then $\widetilde{𝒜}$ is a normed algebra under the norm $\parallel \cdot {\parallel }_u$:

$${\parallel a+\lambda \parallel }_u=\parallel a\parallel +|\lambda |,a\in 𝒜,\lambda \in 𝕂$$

Moreover, if $𝒜$ is a Banach algebra, then $\widetilde{𝒜}$ is a Banach algebra with the norm $\parallel \cdot {\parallel }_u$.

0.3 *-algebras

Let $𝒜$ be a *-algebra over an involutory field (http://planetmath.org/InvolutaryRing) $𝕂$. Let $\widetilde{𝒜}$ be its minimal unitization.

Then $\widetilde{𝒜}$ is a *-algebra with involution given by:

$${(a+\lambda )}^{*}=a^{*}+\overline{\lambda }\mathit{\hspace{1em}\hspace{1em} }a\in 𝒜,\lambda \in 𝕂$$

0.4 Topological *-algebras, Normed *-algebras and Banach *-algebras

Let $𝒜$ be a topological *-algebra over $ℂ$. Let $\widetilde{𝒜}$ be its minimal unitization.

Then $\widetilde{𝒜}$ is a topological *-algebra with the product topology and the involution defined above.

Also, if $𝒜$ is a normed *-algebra (Banach -*algebra), then $\widetilde{𝒜}$ is also a normed *-algebra (Banach *-algebra) under the above involution and the norm $\parallel \cdot {\parallel }_u$.

0.5 C*-algebras

Let $𝒜$ be a $C^{*}$-algebra (http://planetmath.org/CAlgebra) with norm $\parallel \cdot \parallel$. Let $\widetilde{𝒜}$ be its minimal unitization.

Then $\widetilde{𝒜}$ is $C^{*}$-algebra under the norm $\parallel \cdot {\parallel }_L$:

$${\parallel a+\lambda \parallel }_L=\underset{\parallel b\parallel =1}{sup}\parallel ab+\lambda b\parallel ,a\in 𝒜,\lambda \in ℂ$$

This norm comes from regarding elements of $\widetilde{𝒜}$ as left on $𝒜$. The norm $\parallel \cdot {\parallel }_L$ is to the norm $\parallel \cdot {\parallel }_u$.