24小时热门版块排行榜    

查看: 3942  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 什么时候开奖? +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[基金申请] 让我中一个面上吧! +12 大萍1987 2026-08-20 15/750 2026-08-23 20:44 by 大萍1987
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +4 process2012 2026-08-23 5/250 2026-08-23 19:58 by jurkat.1640
[基金申请] 今天放榜吗? +15 布布和一二 2026-08-19 16/800 2026-08-23 09:55 by 张春生
[基金申请] 93BebMhtakh前后11位开头都是大写 +7 且听虎啸 2026-08-17 8/400 2026-08-22 21:55 by 医学老男孩
[基金申请] 只有每年这种时候来逛逛小木虫 +24 yaoyewhu2008 2026-08-20 26/1300 2026-08-22 17:43 by kammury
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[基金申请] 人气不行了 +8 fansofjerry 2026-08-21 8/400 2026-08-22 16:30 by zyqchem
[基金申请] 时间戳今天,20号变了 +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +16 医学老男孩 2026-08-20 20/1000 2026-08-21 21:13 by Ldrop2023
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 感觉是下周放榜了 +7 angus9576 2026-08-17 12/600 2026-08-21 13:38 by weiyin
[基金申请] 我面上完蛋了 +7 且听虎啸 2026-08-20 8/400 2026-08-21 12:31 by 酷酷墨镜
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[论文投稿] 投稿咨询 +5 wwm09 2026-08-17 7/350 2026-08-21 10:11 by 期刊论文帮手
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 时间戳变了,能看出什么问题? +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
信息提示
请填处理意见