2
$\begingroup$

So basically I want to show:

$\aleph_{\alpha}^{\aleph_{1}} = \aleph_{\alpha}^{\aleph_{0}}\cdot2^{\aleph_1}$ , Where $\omega\leq\alpha<\omega_1$

There is a proof that I found;

$\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0}\cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$

But I don't understand his proof for the limit case of $\alpha$.

To be more specific, I dont understand why $ \left( \sup_{\omega \le \beta < \alpha} \aleph_{\beta}\right)^{\aleph_1} \le \left( \prod_{\omega \le \beta < \alpha} \aleph_{\beta}\right)^{\aleph_1}$

Any insights or help is deeply appreciated.

Cheers

$\endgroup$
  • 1
    $\begingroup$ I guess I could have provided a little more detail in my old question... ;-) $\endgroup$ – Stefan Mesken Jan 29 '18 at 14:54
  • $\begingroup$ Haha, thx, but since you replied, I left one last inquiry on that post, perhaps you could take a look at it ? $\endgroup$ – some1fromhell Jan 30 '18 at 3:06
4
$\begingroup$

For each $\beta$ satisfying $\omega \leq \beta < \alpha$,

$$\aleph_\beta \leq \prod_{\omega \leq \beta < \alpha} \aleph_\beta$$

therefore

$$\sup_{\omega \leq \beta < \alpha} \aleph_\beta \leq \prod_{\omega \leq \beta < \alpha} \aleph_\beta$$

$\endgroup$
4
$\begingroup$

Remember that $\kappa\le\lambda$ implies $\kappa^\mu\le\lambda^\mu$. So this boils down to showing that $$\sup_{\omega\le\beta<\alpha}\aleph_\beta\le\prod_{\omega\le\beta<\alpha}\aleph_\beta.$$

More generally, can you show that if $X$ is a set of nonzero cardinals then $\sup X\le\prod_{\kappa\in X}\kappa$?

$\endgroup$
  • 3
    $\begingroup$ But what if $0\in X$? :) $\endgroup$ – Asaf Karagila Jan 29 '18 at 14:47
  • 3
    $\begingroup$ (God, I hate mathematicians sometimes...) $\endgroup$ – Asaf Karagila Jan 29 '18 at 14:47
  • $\begingroup$ @AsafKaragila ... dangit. $\endgroup$ – Noah Schweber Jan 29 '18 at 15:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.