On a result of Turpin
A topological algebra (t.a.) is a topological vector space (t.v.s.) equipped with a separately continuous associative multiplication. It is a locally convex algebra (l.c.-algebra) if the underlying t.v.s. is locally convex. A completely metrizable t.a. is said to be a \(B_0\)-algebra, its multiplication must then be jointly continuous. The authors study the following properties of an l.c.-algebra \(A\) (here \(N(A)\) denotes a basis of neighbourhoods of the zero element): {\parindent=0.9cm \begin{itemize} \item[(\(P_1\))] For each \(V\) in \(N(A)\), there is a \(U\in N(A)\) with \(u^n\subset V\) for all natural \(n\). \item[(\(P_2\))] For any \(V\in N(A)\), there is a \(U\in N(A)\) so that \({1\over n!}\sum x_{j_1}\dots x_{j_n}\in V\) for \(x_1,\dots,x_n\in U\), the summation is taken over all permutations. \item[(\(P_3\))] The topology of \(A\) can be given by means of a family \((p_\alpha)\) of seminorms, so that for each \(\alpha\) there is an index \(\beta\) with \(p_\alpha(x^n)\leq[p_\beta(x)]^n\) for all \(x\) in \(A\) and all natural \(n\). \item[(\(P_4\))] The sequence of power maps \(x\mapsto x^n\), \(x\in A\), is equicontinuous at zero. \item[(\(P_5\))] Entire functions operate on \(A\), i.e., for each entire function \(\sum a_nz^n\) the series \(\sum a_nx^n\) converges in \(A\) for all its elements \(x\). \end{itemize}} The authors show that (\(P_2\),), (\(P_3\)) and (\(P_4\)) are equivalent for all t.a. (Proposition 2.1). In the case of a unital \(B_0\)-algebra \(A\), these conditions are equivalent with (\(P_5\)) (Corollary 2.3). If the topology of \(A\) is given by means of a family (\(p_\alpha\)) of seminorms satisfying \(p_\alpha(x^2)\leq[p_\alpha(x)]^2\), then the map \(x\mapsto x^{-1}\) is continuous. If, moreover, \(A\) is a complete \(Q\)-algebra (i.e., its set of invertible elements is open), then \(A\) satisfies (\(P_4\)) and (\(P_5\)) (Proposition 2.5). For an arbitrary t.a., the condition (\(P_1\)) is equivalent with the fact that \(A\) is locally idempotent, i.e., it has a basis \(N(A)\) consisting of sets satisfying \(U^2\subset U\).
- Equicontinuity of power maps in locally pseudo-convex algebras.
- Polynomials and multilinear mappings in locally convex algebras
- Entire functions and equicontinuity of power maps in Baire algebras
- A non-m-convex algebra on which operate all entire functions
- Inverse map and equicontinuity of power maps in locally convex algebras
- A non-m-convex algebra on which operate all entire functions
- A Spectral Theory for Locally Convex Algebras
- Concerning entire functions in $B_{0}$-algebras
- Entire functions and \(m\)-convex structure in commutative Baire algebras
- Entire functions and equicontinuity of power maps in Baire algebras
- Entire functions in Bo-algebras
- Equicontinuity of power maps in locally pseudo-convex algebras.
- scientific article; zbMATH DE number 3212419 (Why is no real title available?)
- scientific article; zbMATH DE number 3310387 (Why is no real title available?)
- scientific article; zbMATH DE number 3350577 (Why is no real title available?)
- Locally multiplicatively-convex topological algebras
- Polynomials and multilinear mappings in topological vector-spaces
- The space 𝐿^{𝜔} and convex topological rings
- Topologically algebraic algebras
- scientific article; zbMATH DE number 3929718 (Why is no real title available?)
- A $B_{0}$-algebra without generalized topological divisors of zero
- Polynomials and multilinear mappings in locally convex algebras
- scientific article; zbMATH DE number 2147152 (Why is no real title available?)
- On some von~Neumann topological algebras
This page was built for publication: On a result of Turpin
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q346896)
