Topological algebra

A topological algebra ${\displaystyle A}$ over a topological field ${\displaystyle K}$ is a topological vector space together with a bilinear multiplication

${\displaystyle \cdot :A\times A\to A}$,

${\displaystyle (a,b)\mapsto a\cdot b}$

that turns ${\displaystyle A}$ into an algebra over ${\displaystyle K}$ and is continuous in some definite sense. Usually the continuity of the multiplication is expressed by one of the following (non-equivalent) requirements:

• joint continuity:[1] for each neighbourhood of zero ${\displaystyle U\subseteq A}$ there are neighbourhoods of zero ${\displaystyle V\subseteq A}$ and ${\displaystyle W\subseteq A}$ such that ${\displaystyle V\cdot W\subseteq U}$ (in other words, this condition means that the multiplication is continuous as a map between topological spaces ${\displaystyle A\times A\to A}$), or
• stereotype continuity:[2] for each totally bounded set ${\displaystyle S\subseteq A}$ and for each neighbourhood of zero ${\displaystyle U\subseteq A}$ there is a neighbourhood of zero ${\displaystyle V\subseteq A}$ such that ${\displaystyle S\cdot V\subseteq U}$ and ${\displaystyle V\cdot S\subseteq U}$, or
• separate continuity:[3] for each element ${\displaystyle a\in A}$ and for each neighbourhood of zero ${\displaystyle U\subseteq A}$ there is a neighbourhood of zero ${\displaystyle V\subseteq A}$ such that ${\displaystyle a\cdot V\subseteq U}$ and ${\displaystyle V\cdot a\subseteq U}$.

(Certainly, joint continuity implies stereotype continuity, and stereotype continuity implies separate continuity.) In the first case ${\displaystyle A}$ is called a "topological algebra with jointly continuous multiplication", and in the last, "with separately continuous multiplication".

A unital associative topological algebra is (sometimes) called a topological ring.

The term was coined by David van Dantzig; it appears in the title of his doctoral dissertation (1931).

1. Fréchet algebras are examples of associative topological algebras with jointly continuous multiplication.

2. Banach algebras are special cases of Fréchet algebras.

3. Stereotype algebras are examples of associative topological algebras with stereotype continuous multiplication.

• Topological algebra in nLab

• Beckenstein, E.; Narici, L.; Suffel, C. (1977). Topological Algebras. Amsterdam: North Holland. ISBN 9780080871356.CS1 maint: ref=harv (link)
• Akbarov, S.S. (2003). "Pontryagin duality in the theory of topological vector spaces and in topological algebra". Journal of Mathematical Sciences. 113 (2): 179–349. doi:10.1023/A:1020929201133.CS1 maint: ref=harv (link)
• Mallios, A. (1986). Topological Algebras. Amsterdam: North Holland. ISBN 9780080872353.CS1 maint: ref=harv (link)
• Balachandran, V.K. (2000). Topological Algebras. Amsterdam: North Holland. ISBN 9780080543086.CS1 maint: ref=harv (link)
• Fragoulopoulou, M. (2005). Topological Algebras with Involution. Amsterdam: North Holland. ISBN 9780444520258.CS1 maint: ref=harv (link)