应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 在集合论中引入这个新的公理是否合适？
91/1返回列表
查看: 1831  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

tigou

木虫 (正式写手)

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

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

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

派生单射定理：如果是从到的单射，则是从到的单射。

推论1：设和是两个无限集，和分别是其无限子集簇（所有无限子集构成的集合）。如果存在从到的单射，则存在从到的单射。

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

» 猜你喜欢
0/0的意义是所有数的集合
1楼 2016-02-10 11:58:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

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 ]
赞一下(1人) 回复此楼
wirmüssenwissen.wirwerdeneswissen.
4楼2016-02-11 11:15:39
已阅   回复此楼   关注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的回帖

tigou

木虫 (正式写手)
引用回帖:
5楼: Originally posted by tigou at 2016-02-11 15:11:42
1楼的结束部分就是应用。用文字叙述即，任给两个无限集，两者等势是两者的冥集等势的充要条件。这个命题是广义连续统假设的必要条件，但非充分条件。该命题在ZFC框架内无法证明也无法推翻，不信的可尝试找出证明或 ...

用相对标准的语言表述:
设A和B是两个无限集，P(A)和P(B)分别是其幂集，只要P(A)和P
(B)等势，则必存在从P(A)到P(B)的双射f，使得
赞一下 回复此楼
0/0的意义是所有数的集合
6楼2016-02-11 15:42:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)
引用回帖:
6楼: Originally posted by tigou at 2016-02-11 15:42:52
用相对标准的语言表述:
设A和B是两个无限集，P(A)和P(B)分别是其幂集，只要P(A)和P
(B)等势，则必存在从P(A)到P(B)的双射f，使得
\forall x\in P(A)...

选择公理也可用化变的元映射进行表示。

任给非空集A和B，若元映射

满足

则存在映射

满足


用化变的视角不难看出，连续统假设和选择公理有一个共同的特点，即与无限集的幂集紧密相关。并且都试图通过与幂集相关的某些性质找出与原集相关的性质。本帖建议的新公理也体现着同样的努力方向。我的感触是，利用派生映射、化变等概念，可以方便地从给定集合的相关性质出发，找到其幂集的对应性质；但反过来的过程则要复杂得多，需要引入若干新的公理才能进行逆推。

例如，如果甲乙两个集合等式，则它们的幂集也等势。这个结论可轻松证明，但反过来，如果甲乙两个集合的幂集等势，则甲乙两个集合本身是否也等势？这个命题却难得要命，可能在ZF和ZFC中都无解，并且与连续统假设密切相关（但并无等价）。更重要的是，这个命题在直觉上是正确的，其正确性比选择公理和连续统假设更直观。

还有一个更简洁的命题可导出选择公理：

任给非空集A，存在映射
赞一下 回复此楼
0/0的意义是所有数的集合
7楼2016-02-16 15:01:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zaomingyi

金虫 (小有名气)
后排围观民科，看到化变的时候我一愣，然后反应过来这民科我见过啊2333

发自小木虫Android客户端
赞一下 回复此楼
8楼2016-02-16 17:50:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)
引用回帖:
8楼: Originally posted by zaomingyi at 2016-02-16 17:50:08
后排围观民科，看到化变的时候我一愣，然后反应过来这民科我见过啊2333

不管你怎么冷嘲热讽，都是你的自由。但既然这里是学术论坛，还是希望你表现出一点基本的素养出来。既然你认为化变概念是民科（的胡说八道），那么你能不能指出化变的定义哪里不符合数学规范了呢？

真不知道你们这部分人是什么心态，批评对方从来不指出具体错误，直接就带个帽子就是了。如果我告诉你，我准备用以化变论为工具给出四色定理的一个不同传统的证明思路，你肯定会笑掉大牙的。到那时还要引入更多的相关的新概念，岂不是更要遭人耻笑？我的确担心到时候可能都没人审稿，所以先拿一些简单的问题测试下。

有可能的确是我错了，假如你能指出一些（哪怕是一点）具体错误，也将感激不尽。谢谢。
赞一下 回复此楼
0/0的意义是所有数的集合
9楼2016-02-16 18:56:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 tigou 的主题更新
91/1返回列表
普通表情 龙 兔 虎 猫
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[公派出国] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 xvJS1BYDxvBS 2026-10-31 6/300 2026-11-02 00:29 by xzcv0Tehd8lQ
[基金申请] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +5 xvJS1BYDxvBS 2026-10-31 10/500 2026-11-02 00:24 by xzcv0Tehd8lQ
[找工作] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +5 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-02 00:15 by xzcv0Tehd8lQ
[公派出国] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +6 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-02 00:11 by xzcv0Tehd8lQ
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 19/950 2026-11-02 00:02 by xzcv0Tehd8lQ
[博后之家] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 16/800 2026-11-01 23:55 by xzcv0Tehd8lQ
[考研] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:27 by xzcv0Tehd8lQ
[博后之家] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 22:24 by xzcv0Tehd8lQ
[考博] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:11 by xzcv0Tehd8lQ
[基金申请] 售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急 +5 1uaZt2kAZj2S 2026-10-31 5/250 2026-11-01 21:45 by xzcv0Tehd8lQ
[教师之家] 售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急 +6 X5bHxOULxFqb 2026-10-30 16/800 2026-11-01 21:19 by xzcv0Tehd8lQ
[考研] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 19:50 by xzcv0Tehd8lQ
[博后之家] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 16:58 by BCdvBAEpt3zm
[硕博家园] 越来越担心硕士毕业后没有竞争力了 +9 zuesli 2026-10-27 15/750 2026-11-01 12:59 by Equinoxhua
[考研] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 12:38 by BCdvBAEpt3zm
[硕博家园] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +4 1uaZt2kAZj2S 2026-10-30 17/850 2026-11-01 12:24 by BCdvBAEpt3zm
[硕博家园] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +4 X5bHxOULxFqb 2026-10-30 18/900 2026-11-01 12:11 by BCdvBAEpt3zm
[论文投稿] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +5 X5bHxOULxFqb 2026-10-30 26/1300 2026-11-01 10:22 by BCdvBAEpt3zm
[论文投稿] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 03:59 by YXM1FDCSE8Bn
[硕博家园] 申博自荐 2篇一区TOP+1篇EI+2公开发明专利 2027博士申请 +3 小小阿光 2026-10-27 3/150 2026-10-29 23:56 by 起风了的快乐
信息提示
关闭
请填处理意见
关闭