24小时热门版块排行榜    

查看: 1786  |  回复: 8
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

tigou

木虫 (正式写手)

[求助] 在集合论中引入这个新的公理是否合适?

与无限集基数有关的问题,通常都是异常复杂的。例如连续统假设,在ZFC中既无法证明,也无法推翻。这就引发了一类新的问题,能否在集合论中引入一些新的公理,以获得一些新的结论。

根据化变以及派生映射的定义,可以得到如下定理:

派生单射定理:如果是从的单射,则是从的单射。

推论1:设是两个无限集,分别是其无限子集簇(所有无限子集构成的集合)。如果存在从的单射,则存在从的单射。

考虑推论1的逆命题,如果存在从的单射,则存在从的单射。这个命题在直观上是正确的,但无法在ZFC框架内证明或推翻(至少我证明不了,并且未发现有文献研究过该问题)。因此,建议把这个命题作为一个新的公理引入集合论。一旦引入这个新的公理,我们就可得到另一个符合直观的结论:

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

tigou

木虫 (正式写手)

引用回帖:
3楼: Originally posted by maojun1998 at 2016-02-11 11:14:28
引入这个公理有什么作用吗?

1楼的结束部分就是应用。用文字叙述即,任给两个无限集,两者等势是两者的冥集等势的充要条件。这个命题是广义连续统假设的必要条件,但非充分条件。该命题在ZFC框架内无法证明也无法推翻,不信的可尝试找出证明或反例。但引入新公理后即可证明。换句话说,新公理刻画了无限集与其幂集之间的一种联系,只要两个无限集的幂集之间存在双射,则他们本身之间也必然存在双射。幂集之间的双射可能是混乱的,例如A的某个有限子集对应着B的无限子集,新公理可使混乱的对应整洁化,使一元子集对应一元子集,二元子集对应二元子集,概言之,使任意的具有对应关系的子集的基数相等。

发自小木虫Android客户端
0/0的意义是所有数的集合
5楼2016-02-11 15:11:42
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

shabaolin

铜虫 (著名写手)

路过,感觉是民科!

发自小木虫Android客户端
2楼2016-02-11 07:03:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

maojun1998

银虫 (正式写手)

引入这个公理有什么作用吗?

[ 发自手机版 http://muchong.com/3g ]
wirmüssenwissen.wirwerdeneswissen.
3楼2016-02-11 11:14:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

maojun1998

银虫 (正式写手)

引用回帖:
2楼: Originally posted by shabaolin at 2016-02-11 07:03:56
路过,感觉是民科!

你是没看见民科吧的三江方士……

[ 发自手机版 http://muchong.com/3g ]
wirmüssenwissen.wirwerdeneswissen.
4楼2016-02-11 11:15:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[公派出国] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 LwdutQ8HoqWP 2026-09-13 5/250 2026-09-14 16:25 by Aj1rhIDL5ixY
[教师之家] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-14 16:13 by Aj1rhIDL5ixY
[考研] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-14 16:12 by Aj1rhIDL5ixY
[找工作] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +4 3n8v2C8RimXI 2026-09-13 4/200 2026-09-14 16:00 by Aj1rhIDL5ixY
[博后之家] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +4 3n8v2C8RimXI 2026-09-13 4/200 2026-09-14 15:57 by Aj1rhIDL5ixY
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 3n8v2C8RimXI 2026-09-13 4/200 2026-09-14 15:48 by Aj1rhIDL5ixY
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 3n8v2C8RimXI 2026-09-13 4/200 2026-09-14 15:45 by Aj1rhIDL5ixY
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +4 3n8v2C8RimXI 2026-09-13 4/200 2026-09-14 15:37 by Aj1rhIDL5ixY
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +5 QUjhNVAcOSff 2026-09-13 6/300 2026-09-14 15:21 by Aj1rhIDL5ixY
[考博] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 QUjhNVAcOSff 2026-09-13 4/200 2026-09-14 15:13 by Aj1rhIDL5ixY
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 QUjhNVAcOSff 2026-09-13 3/150 2026-09-14 15:09 by Aj1rhIDL5ixY
[博后之家] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 QUjhNVAcOSff 2026-09-13 4/200 2026-09-14 15:01 by Aj1rhIDL5ixY
[公派出国] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +4 QUjhNVAcOSff 2026-09-13 6/300 2026-09-14 15:00 by Aj1rhIDL5ixY
[基金申请] 求教各位大神:2026教育部人文社科青年基金项目何时公示呀? +5 云宴山人 2026-09-10 7/350 2026-09-14 12:11 by ecnu2013
[找工作] 浙江师范大学是怎么坑我的 +6 recruit123 2026-09-09 6/300 2026-09-14 12:00 by 萨仁其其格
[考研] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +3 QUjhNVAcOSff 2026-09-13 4/200 2026-09-14 10:01 by 23jxep3nCNZb
[考博] 27秋季材料博士申请求助 10+3 Cahal1 2026-09-11 4/200 2026-09-14 08:50 by 北京莱茵编辑
[教师之家] 浙江师范大学是怎么坑我的 +10 recruit123 2026-09-09 15/750 2026-09-13 10:45 by seaskyy
[基金申请] 面上有专家说实验设备不是我们单位的 +6 zj_muchong 2026-09-08 8/400 2026-09-11 06:56 by suifengdao
[有机交流] 科研求助 10+4 我吃一只鱼 2026-09-07 4/200 2026-09-10 08:32 by 0940628
信息提示
请填处理意见