No label defined (Q4935845)

The author proves a strong ergodic theorem for noncommutative semigroups and non-Lipschitzian functions. Let \(G\) be a semitopological semigroup (\(G\) is a semigroup with a Hausdorff topology so that \(s\mapsto t\cdot s\) and \(s\mapsto s\cdot t\) are continuous), \(C\) a nonempty closed convex subset of a Banach space \(X\) and \( \mathcal{T}=\{T(t):t\in G\}\) a semitopological semigroup on \(C\) (for each \( t\in G, T(t):C\rightarrow C\) is affine). Let \(m(G)\) be the Banach space of bounded real-valued functions on \(G\) with the \(\sup \) norm and \(u\) an almost-orbit of \(\mathcal{T}\) (\(u:G\rightarrow C\) is continuous and \( \inf_{s\in G}\sup_{t\in G}\sup_{h\in G}\) \(\left\|u(hts)-T(h)(ts)\right\|=0).\) Let \(D\subset m(G)\) be a subspace invariant under \(r_{s}\) and \(l_{s}\) (\((r_{s}f)(t)=f(ts), (l_{s}f)(t)=f(st)\)) and containing constant functions as well as \(t\rightarrow \left\langle u(t),x^{\ast }\right\rangle \) for each \(x^{\ast }\in X^{\ast }.\) Supposing that: \(\mathcal{T}\) is equicontinuous on \(C\) (\(\lim_{x\rightarrow x_{0}}\sup_{t\in G}\left\|T(t)x-T(t)x_{0}\right\|=0\) for each \(x_{0}\in G);\) \(D\) has an invariant mean and \{\(\mu _{\alpha }:\alpha \in A\}\) is a strongly regural net of \(D^{\ast } (\sum_{\alpha \in A}\left\|\mu _{\alpha }\right\|<+\infty ,\) \(\lim_{\alpha \in A}\mu _{\alpha }(1)=1,\) \( \lim_{\alpha \in A}\left\|\mu _{\alpha }-r_{s}^{\ast }\mu _{\alpha }\right\|=0\) for each \(s\in G);\) then \(\int u(ht)d\mu _{\alpha }(t)\) converges strongly, uniformly in \(h\in G, \) to an element which is a common fixed point of \(\mathcal{T}.\)