百科问答小站 logo
百科问答小站 font logo



如何证明这个关于良序集的命题? 第1页

  

user avatar   lljpcz 网友的相关建议: 
      

手机打字,凑合一下

在omega_{1}上定义一个等价关系,两个序数等价当且仅当加法意义下相差一个整数

用omega_{1},模掉这个等价关系。可以证明,每个等价类良序同构于omega,从而可数。具体的操作是把等价类的最小元映到0,其余数类似。

另一方面,可以证明,等价类和没有“前继”的序数一一对应。所以只需要求等价类的个数。

反设等价类至多可数,那么omega_{1}是可数个可数集合的并,从而可数,矛盾。




  

相关话题

  对于很多知乎大佬说的随便一个数学系的学生就能秒杀考研数学? 
  怎样才能快速学会数学分析? 
  数学仅仅是人类创造的工具吗? 
  如何通过很多组相互包含的换算数据求解尽可能精确的换算比例? 
  怎么积∫[0, 1] ln(1+x²)/(1+x) dx? 
  由 x²+x+1=0 得到 3=0 错在何处? 
  无理数为什么能用图形表示出来? 
  高中数学有没有可能在往后的人生中几乎用不到,如果有,那我们学习的意义是什么? 
  数学家在知道哥德尔不完备定理后为何还继续研究数学? 
  如何通俗地解释混沌理论(chaos)和分岔理论(bifurcation)? 

前一个讨论
不知道 PID 是什么的「何同学」是怎么做出来充电桌的?
下一个讨论
如何评价原神1月16日2.4版本更新的最新一期的深渊?





© 2025-01-31 - tinynew.org. All Rights Reserved.
© 2025-01-31 - tinynew.org. 保留所有权利