A problem in my book states to prove $\displaystyle n\cdot \aleph_{\alpha} = \aleph_{\alpha}$ where $\displaystyle n$ is a positive integer.
This problem requires to construct a one-to-one mapping from $\displaystyle \omega_{\alpha} = n\times \omega_{\alpha}$.

I think I found a way to do this using transfinite recursion however it is not explicit. Is that good enough? Because recursion is not actually explicit. Is there an actual way of constructing an explicit correspondence from $\displaystyle \omega_{\alpha}$ to $\displaystyle n\times \omega_{\alpha}$? My intuition begins to break down when dealing with very large sets.

Here is how I was doing it. This is the following transfinite recusion theorem I will use: let $\displaystyle \Omega$ be an ordinal and $\displaystyle A$ a set, given $\displaystyle g: \bigcup_{\alpha < \Omega}A^{\alpha}\mapsto A$ there exists (a unique) function $\displaystyle f: \Omega \mapsto A$ so that $\displaystyle f(\alpha) = g(f|\alpha)$ for all $\displaystyle \alpha < \Omega$.

We begin by well-ordering $\displaystyle n\times \omega_{\alpha}$ lexiographically. Let $\displaystyle S = \bigcup_{\beta < \omega_{\alpha}}(n\times \omega_{\alpha})^{\beta}$. Let $\displaystyle a\not \in n\times \omega_{\alpha}$. Now define a function $\displaystyle g: S\mapsto n\times \omega_{\alpha}$ as $\displaystyle g(x) =\left\{\begin{array}{c} \mbox{least element of } n\times \omega_{\alpha} - \mbox{ran}(x) \mbox{ if }\not = \emptyset \\ a \mbox{ if }=\emptyset \end{array} \right.$. By transfinite recursion there exists a function $\displaystyle f:\omega_{\alpha} \mapsto n\times \omega_{\alpha}$ so that $\displaystyle f(\beta) = g(f|\beta) = \left\{ \begin{array}{c} \mbox{least element of } n\times \omega_{\alpha} - \mbox{ran}(f|\beta) \mbox{ if }\not = \emptyset \\ a\mbox{ if }=\emptyset \end{array} \right.$.

To complete the proof that $\displaystyle f$ provides a bijection we need to do show a few more details. One of them is that $\displaystyle f$ must attain a value of $\displaystyle a$ at some point. Because otherwise we would have an injection from $\displaystyle \omega_{\alpha} $, and arrive at a contradiction from there.

I just do not like this approach because it is not really an explicit mapping.