24小时热门版块排行榜    

Znn3bq.jpeg
查看: 3859  |  回复: 2

tigou

木虫 (正式写手)

[交流] 通俗讲解良序定理的证明过程 已有1人参与

我在小木虫上经常提问,大约有三分之一的机会可获得有益的应助。老是问问题有些过意不去,今天也贡献一个学习体会,希望对部分虫友有帮助。我真正理解良序定理是最近几天的事。以前不理解有两个原因,一个是自己笨不能理解集合论教材的表述方式,第二个原因是中外集合论教材都有一个共同的毛病,混用映射与映射的值域,导致读者在理解超限归纳法的时候容易出现混乱。
        言归正传。在选择公理的基础上证明良序定理的通俗思路是这样的:任给非空集,存在一个

上的选择函数。也就是说,的定义域是,值域是。用选择函数中的元素进行排序, 最小元即。第二个元素即。依次类推。超限递归定理保证,存在一个唯一的以全体序数为定义域的类映射满足,任给序数

其中表示上的限制,同时约定。最后证明, 存在一个最小的序数使得。这样, 中的每一个元素都编上了一个比小的序号,这种按序号大小生成的序就是上的良序。
回复此楼

» 猜你喜欢

0/0的意义是所有数的集合
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hylpy

专家顾问 (知名作家)

唵嘛呢叭咪吽


小木虫: 金币+0.5, 给个红包,谢谢回帖
有问号可能是因为多了空格,楼主可以修改的
凡事,一笑而过。。。。。。
2楼2017-01-09 18:27:53
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
2楼: Originally posted by hylpy at 2017-01-09 18:27:53
有问号可能是因为多了空格,楼主可以修改的

没人参与时可修改主楼,一旦有人参与,就不能修改主楼了。这里再试试。
0/0的意义是所有数的集合
3楼2017-01-09 22:10:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 tigou 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 296求调剂 +6 汪!?! 2026-04-09 6/300 2026-04-11 11:25 by zhq0425
[考研] 085404 293求调剂 +9 勇远库爱314 2026-04-06 10/500 2026-04-11 10:36 by 紫曦紫棋
[考研] 一志愿西北工业大学289 085602 +31 yang婷 2026-04-10 32/1600 2026-04-11 10:13 by only周
[考研] 0854调剂 +8 950824he@ 2026-04-09 8/400 2026-04-11 10:11 by zhq0425
[考研] 材料工程日语考生求调剂 +5 0856?调剂 2026-04-10 5/250 2026-04-10 20:45 by yukihao
[考研] 求调剂 材料与工程 324分 专硕 +19 翩翩一书生 2026-04-10 21/1050 2026-04-10 11:41 by wp06
[考研] 347材料专硕求调剂 +19 zj8215216 2026-04-06 19/950 2026-04-10 09:36 by 690616278
[考研] 08600生物与医药-327 +10 18755400796 2026-04-05 10/500 2026-04-10 08:14 by kangsm
[考研] 已调剂 +18 柴郡猫_ 2026-04-09 19/950 2026-04-09 22:10 by 柴郡猫_
[考研] 材料专硕初试分332一志愿西北工业大学, +12 故人?? 2026-04-09 12/600 2026-04-09 18:34 by Ccclqqq
[考研] 085501机械英二77总分294求调剂,接受跨专业学习 +6 守法公民亓纪 2026-04-08 6/300 2026-04-09 15:55 by wp06
[考研] 265求调剂 +4 风说她早忘了 2026-04-07 4/200 2026-04-09 13:59 by only周
[考研] 070300化学学硕311分求调剂 +18 梁富贵险中求 2026-04-04 20/1000 2026-04-09 11:18 by 哒哒哒呱呱呱
[考研] 材料考研求调剂总分280 +30 mkjlz1 2026-04-06 35/1750 2026-04-08 21:25 by cyh—315
[考研] 336求调剂,一志愿中科大 +9 墨彧 yuyu 2026-04-06 9/450 2026-04-08 11:24 by 想读书的菌菌
[考研] 326分,一志愿沪9,求生物学调剂 +4 刘墨墨 2026-04-05 4/200 2026-04-08 06:22 by lijunpoly
[考研] 机械调剂 +3 zzzbcb 2026-04-07 3/150 2026-04-07 22:19 by hemengdong
[考研] 生物工程求调剂 +13 喜欢还是不甘心 2026-04-05 13/650 2026-04-07 16:55 by Ecowxq666!
[考研] 331求调剂 +8 于征yz 2026-04-05 8/400 2026-04-06 00:54 by fmesaito
[考研] 328分调剂 +6 门men 2026-04-04 6/300 2026-04-05 13:40 by imissbao
信息提示
请填处理意见