is onto, the result follows.
(ii) Suppose that
$S=\{{a}_{1}<{a}_{2}<\cdots \}$
is a set of
$k$
-convergence. Let
${l}_{1},\dots ,{l}_{k},m$
be as in the proof part (i), and let
$R$
be the transformation defined there. If
${f}_{j}({t}_{1},\dots ,{t}_{k})=e\left({l}_{j}{t}_{k}\right)$
,
$j=1,\dots ,k$
, then the averages
$$\frac{1}{N}{\sum}_{n=1}^{N}{R}^{{a}_{n}}{f}_{1}\cdot \dots \cdot {R}^{k{a}_{n}}{f}_{k}=e\left(({l}_{1}+\cdots +{l}_{k}){t}_{k}\right)\cdot \frac{1}{N}{\sum}_{n=1}^{N}e\left({a}_{n}^{k}m\alpha \right)$$
converge in
${L}^{2}\left(\lambda \right)$
as
$N\to \infty $
. Hence, for every
$\alpha \in [0,1)$
the averages
$$\frac{1}{N}{\sum}_{n=1}^{N}e\left({a}_{n}^{k}\alpha \right)$$
converge as
$N\to \infty $
. The spectral theorem gives that for every measure preserving system
$(X,\mathcal{X},\mu ,T)$
and
$f\in {L}^{2}\left(\mu \right)$
the averages
$$\frac{1}{N}{\sum}_{n=1}^{N}{T}^{{a}_{n}^{k}}f$$
converge in
${L}^{2}\left(\mu \right)$
as
$N\to \infty $
, completing the proof. □