Semigroup of nonexpansive mappings on a Hilbert space (Q1110079)

A result of Opial states the following: ``Let X be a uniformly convex Banach space with a weakly continuous duality mapping and let C be a closed convex subset of X. If T:C\(\to C\) is a nonexpansive mapping having at least one fixed point and if \(\lim_{n\to \infty}\| T^ nx- T^{n-1}x\| =0\), then \(T^ ny\) converges weakly to a fixed point of T.'' The present author generalizes this result to right (or left) reversible semitopological semigroups of nonexpansive mappings. Other existence theorems on common fixed points are proved under certain assumptions of existence of an invariant mean and relative compactness or boundedness on the orbits.