Difference between revisions of "Normed algebra"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
m (latex details) |
||
| Line 11: | Line 11: | ||
{{TEX|done}} | {{TEX|done}} | ||
| − | An [[ | + | 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 \| = \ | + | 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 $ | 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 \| $. | 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 [[ | + | 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==== | ====References==== | ||
| − | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.A. Naimark, "Normed rings" , Reidel (1964) (Translated from Russian)</TD></TR></table> | + | <table> |
| + | <TR><TD valign="top">[a1]</TD> <TD valign="top"> M.A. Naimark, "Normed rings" , Reidel (1964) (Translated from Russian)</TD></TR> | ||
| + | </table> | ||
Latest revision as of 17:38, 13 January 2024
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
| [a1] | M.A. Naimark, "Normed rings" , Reidel (1964) (Translated from Russian) |
Normed algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Normed_algebra&oldid=48022