数学中国

标题: \(\huge^\star\;\color{red}{{\min}\textbf{无穷序数}}\textbf{ = 1st极限序数}\) [打印本页]

作者: elim 时间: 2025-5-30 11:48
标题: \(\huge^\star\;\color{red}{{\min}\textbf{无穷序数}}\textbf{ = 1st极限序数}\)
本帖最后由 elim 于 2026-5-5 14:44 编辑

【定理】最小无穷序数=第一个极限序数
【证明】设\(m\)是最小无穷序数\(\mu\)之前的序数,
\(\qquad\)则\( m\)有限, 其后继非无穷序数\(\mu\). 因此 \(\mu\)
\(\qquad\)是最小非后继序数, 即第一个极限序数．

欢迎光临数学中国 (http://www.mathchina.com/bbs/)