Normed Algebras and Seminormed Algebras
Algebra Norms and Algebra Seminorms
Recall that if $X$ is a linear space then a norm on $X$ is a function $\| \cdot \| : X \to [0, \infty)$ that satisfies the following properties:
- 1. $\| x \| = 0$ if and only if $x = 0$.
- 2. $\| \alpha x \| = |\alpha| \| x \|$ for all $x \in X$ and for all $\alpha \in \mathbf{F}$.
- 3. $\| x + y \| \leq \| x \| + \| y \|$ for all $x, y \in X$.
The pair $(X, \| \cdot \|)$ is called a normed linear space. If a function $p : X \to [0, \infty)$ satisfies only properties 2 and 3 then $p$ is said to be a seminorm on $X$ and the pair $(X, p)$ is said to be a seminormed linear space.
We have recently defined what an algebra is - a linear space $\mathfrak{A}$ with an additional operation $\cdot : \mathfrak{A} \times \mathfrak{A} \to \mathfrak{A}$ which satisfies:
- 1. $a \cdot (b \cdot c) = (a \cdot b) \cdot c$ for all $a, b, c \in \mathfrak{A}$.
- 2. $a \cdot (b + c) = a \cdot b + a \cdot c$ for all $a, b, c \in \mathfrak{A}$.
- 3. $(\alpha a ) \cdot b = \alpha (a \cdot b) = a \cdot (\alpha b)$, for all $a, b, c \in X$ and all $\alpha \in \mathbf{F}$.
We will now extend the concept of a norm and seminorm on a linear space to a norm and seminorm on an algebra. We will case these algebra norms and algebra seminorms.
Definition: Let $\mathfrak{A}$ be a be an algebra. A function $\| \cdot \| : \mathfrak{A} \to [0, \infty)$ is said to be an Algebra Norm (or simply Norm) on $\mathfrak{A}$ if $p$ satisfies the following properties: 1) $\| a \| = 0$ if and only if $a = 0$. 2) $\| \alpha a \| = |\alpha| \| a \|$ for all $a \in \mathfrak{A}$ and for all $\alpha \in \mathbf{F}$. 3) $\| a + b \| \leq \| a \| + \| b \|$ for all $a, b \in \mathfrak{A}$. 4) $\| a \cdot b \| \leq \| a \| \| b \|$ for all $a, b \in \mathfrak{A}$. A function $\| \cdot \| : \mathfrak{A} \to [0. \infty)$ is said to be an Algebra Seminorm on $\mathfrak{A}$ if $\| \cdot \|$ satisfies properties 2, 3, and 4. |
Normed Algebras and Seminormed Algebras
Definition: A Normed Algebra is a pair consisting of an algebra $\mathfrak{A}$ and an algebra norm $\| \cdot \|$ on $\mathfrak{A}$. A Seminormed Algebra is a pair consisting of an algebra $\mathfrak{A}$ and a seminormed algebra on $\mathfrak{A}$. |
Let $\mathfrak{A}$ be a normed algebra. Then $\mathfrak{A}$ can be viewed as a metric space with the metric defined by:
(1)Definition: A Complete Normed Algebra or Banach Algebra is a normed algebra $\mathfrak{A}$ for which $X$ is complete as a metric space with metric $d(a, b) = \| a - b \|$. |