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



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

  

user avatar   lljpcz 网友的相关建议: 
      

手机打字,凑合一下

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

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

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

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




  

相关话题

  是否存在仅由1和2组成的长度为2^n的序列,可以做到在这个序列中取出所有含1和2的长度为n的序列? 
  这道排列组合该如何思考? 
  问一下这个反常积分的敛散性? 
  关于哥德巴赫猜想,有人从哥德尔定理考虑过可证性吗? 
  如何将条件收敛级数 1-1+1/2-1/2+1/3-1/3+1/4-1/4+...证其发散? 
  为什么没有以正右为 0 点并以逆时针转动的手表? 
  如何理解「数学是研究数量关系与空间形式的科学」这句话里「空间形式」的含义? 
  √3 大约是多少?该如何计算? 
  哪个瞬间让你觉得一入数学深似海? 
  在其他宇宙,1+1 可能 = 3 么? 

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





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