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



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

  

user avatar   lljpcz 网友的相关建议: 
      

手机打字,凑合一下

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

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

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

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




  

相关话题

  一堆密堆积的球之间的间隙在一起看起来是什么样子的? 
  你都见过什么样的理科盲? 
  收敛的有理系数幂级数个数可数么? 
  数学物理定理是道家的道么? 
  如何评价菲尔兹奖得主 Vladimir Voevodsky? 
  数学中有哪些表面没有关系但是内在有深刻联系的问题? 
  理想细绳随机切为n段,为什么最短段长度的期望为原长的1/n²? 
  有什么途径可以补齐自己数学知识的短板? 
  初等数学并不能严格定义自然数、整数、有理数、实数等,可为什么能用初等数学方法证明根号 2 是无理数? 
  小学2年级学生能掌握微积分吗? 

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





© 2024-05-12 - tinynew.org. All Rights Reserved.
© 2024-05-12 - tinynew.org. 保留所有权利