View source for Normed algebra

<!--
n0677701.png
$#A+1 = 4 n = 0
$#C+1 = 4 : ~/encyclopedia/old_files/data/N067/N.0607770 Normed algebra
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

An [[algebra]] over the field of real or complex numbers that is at the same time a [[normed space]] in which multiplication satisfies some continuity condition. The simplest such condition is separate continuity. Generally speaking, this is weaker than joint continuity in the factors. For example, if one defines the algebraic operations on the set of all finite sequences  $  x = ( \epsilon _ {1} \dots \epsilon _ {n} , 0 ,\dots) $
coordinate-wise and the norm by  $  \| x \| = \sum_{k = 1}^\infty  |\epsilon _ {k} | k^{-2}$, 
then there arises an algebra in which the multiplication is separately, but not jointly, continuous. The joint continuity of the multiplication in a normed algebra is equivalent to the existence of a constant  $  C $
such that  $  \| xy \| \leq  C  \| x \|  \| y \| $. 
In this and only in this case the completion has the structure of a normed algebra that extends the original one and is a [[Banach algebra]].


====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top">  M.A. Naimark,   "Normed rings" , Reidel  (1964)  (Translated from Russian)</TD></TR>
</table>