- #1
daniel_i_l
Gold Member
- 868
- 0
Let's say that a is an ordinal and it's cantor normal form is:
[tex] a = {\omega^{\beta_1}}c_1 + {\omega^{\beta_2}}c_2 + ... [/tex]
I read that
[tex] a \omega = {\omega^{\beta_1+1}} [/tex]
But I couldn't find a proof anywhere.
Can someone give me a source or point me in the right direction so that I can prove it myself?
Thanks.
[tex] a = {\omega^{\beta_1}}c_1 + {\omega^{\beta_2}}c_2 + ... [/tex]
I read that
[tex] a \omega = {\omega^{\beta_1+1}} [/tex]
But I couldn't find a proof anywhere.
Can someone give me a source or point me in the right direction so that I can prove it myself?
Thanks.