Although the individual ergodic theorem of G. D. Birkhoff is sharper than the mean ergodic theorem of J. von Neumann, it was soon evident that the measure-theoretic formulation obscured the greater generality of the latter result. Thus various authors-notably F. Riesz [28] and Yosida and Kakutani[33]-extended the mean ergodic theorem to an abstract theorem asserting the convergence to a fix point of the means Tnx = (n + l)~122oT'x, where T is a linear transformation of a Banach space E into itself. Alaoglu and Birkhoff [l] then replaced the iterates (T'~) by a semi-group G of linear transformations and showed that convergence of certain general means of transforms of an element x of E is equivalent to the existence and uniqueness of a fix point y in the closed convex hull of the orbit of x under G. The persistence of the customary countability and uniform boundedness restrictions on G in their work, however, severely limits the generality.A fresh abstraction is thus required, not only to subsume present results in a sharper and more transparent form, but to extend the domain of the ergodicity phenomena.In Part I we study a semi-group G of linear transformations operating on a space £, G ordinarily being restricted by an "ergodicity" condition of the weakest type. We derive criteria for the validity of a mean ergodic theorem in an arbitrary locally-convex linear topological space £. Specializing £ to a Banach space E, we obtain not only standard theorems as obvious corollaries of the general theory, but significantly new results. For example, we obtain a mean ergodic theorem for an arbitrary bounded Abelian semi-group G on the one hand, and Fejér's theorem as an ergodic theorem for an unbounded semigroup on the other. The role played by weak compactness in E and (weak) quasi-compactness of the operators F of G is clarified, as well as the relation of ergodic theory to the mean value problem for generalized almost periodic functions, the relation being particularly simple in case the underlying group is Abelian.In Part II we consider a locally-compact Abelian group G acting as translations on the Banach algebra C(G) of bounded continuous complex-valued