Continuity of derivations on topological algebras of power series

Abstract

Let A be an algebra of formal power series in one indeterminate over the complex field, D a derivation on A. It is shown that if A has a Fréchet space topology under which it is a topological algebra, then D is necessarily continuous provided the coordinate projections satisfy a certain equicontinuity condition. This condition is always satisfied if A is a Banach algebra and the projections are continuous. A second result is given, with weaker hypothesis on the projections and correspondingly weaker conclusion.