Published online by Cambridge University Press: 09 April 2009
Let P be the algebra of polynomials in one inderminate x over the complex field C. Suppose ∥ · ∥ is a norm on P such that the coefficient functionals cj: ∑αix1 → αj (j = 0,1,2,…) are all continuous with respect to ∥·∥, and Let K ⊂ C be the set of characters on P which are ∥·∥-continuous. then K is compact, C\K is connected, and 0∈K. K. Let A be the completion of P with respect to ∥·∥. Then A is a singly generated Banach algebra, with space of characters (homeomorphic with) K. The functionals cj have unique extensions to bounded linear functionals on A, and the map a →∑Ci(a)xi (a ∈ A) is a homomorphism from A onto an algebra of formal power series with coefficients in C. We say that A is an algebra of power series if this homomorphism is one-to-one, that is if a ∈ A and a≠O imply cj(a)≠ 0 for some j.