2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Кардинал больше соответствующего ординала?
Сообщение22.11.2015, 14:42 
$\aleph_\alpha > \left\lvert\alpha\right\rvert$ для любого ординала $\alpha$ в ZFC? Кажется очевидным, но не могу получить противоречие по индукции для предельного $\alpha$, что $(\forall\beta < \alpha )(\aleph_\beta > \left\lvert\beta\right\rvert) \Rightarrow \aleph_\alpha > \left\lvert\alpha\right\rvert$

 
 
 
 Re: Кардинал больше соответствующего ординала?
Сообщение22.11.2015, 15:06 
Аватара пользователя
Это неверно.
Если мы построим последовательность кардиналов $\kappa_0 = 0$; $\kappa_{n + 1} = \aleph_{\kappa_n}$ и возьмем предел $\kappa = \bigcup\limits_{n\in\omega} \kappa_n$, то $\kappa = \aleph_{\kappa}$.

 
 
 
 Re: Кардинал больше соответствующего ординала?
Сообщение22.11.2015, 15:25 
Xaositect в сообщении #1075680 писал(а):
Это неверно.
Если мы построим последовательность кардиналов $\kappa_0 = 0$; $\kappa_{n + 1} = \aleph_{\kappa_n}$ и возьмем объединение $\kappa = \cup\limits_{n\in\omega} \kappa_n$, то $\kappa = \aleph_{\kappa}$.

Значит, не зря у меня не получилось это доказать. Контринтуитивно, но интересно.
Значит, правильно: $\aleph_\alpha \geqslant \left\lvert\alpha\right\rvert$.
Попробую доказать приведённое вами равенство. Спасибо!

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group