版块导航: 正在加载中...

登录注册

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

24小时热门版块排行榜

返回列表

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

[交流] 可导出选择公理和广义弱连续统假设的备选公理

选择公理和广义弱连续统假设有一个共同的特征：把两者分别当成待证明的命题，则当命题中出现的集合都是有限集或可数集时，该命题对ZF成立。
命题1：若非空集 $X$ 满足 $\forall x\in X,x\ne\emptyset$ , 则 $\exists Y,\forall x\in X,|x\cap Y|=1$ 。 $X$ 为有限集时, 命题1成立。
命题2： $|A|<|B|\Rightarrow|P(A)|<|P(B)|$ 。当 $A,B$ 都是可数集时，命题2成立。

      只要注意到以上共性，就容易产生这样的联想，是否存在一个更强的公理能同时导出选择公理和广义弱连续统假设，并使更多的新命题成立？
      这里给出一个备选公理，姑且称之为标准扩张公理，供有兴趣的虫友参考或批判。
   为了严格表述标准扩张公理，先引入几个预备概念。 $V$ 表示全体集合组成的类， $V_0$ 表示全体有限集组成的类， $V_1$ 表示全体可数无限集组成的类。称类函数 $f:V\to V$ 为标准类函数，如果函数值的表达式是一个单一公式。例如，集合与其幂集之间的对应关系就构成一个标准类函数；通常意义的分段函数不是标准类函数。

      标准扩张公理：任给标准类函数 $f:V\to V$ ，如果命题
$P(x_1,x_2,\dots,x_n,f(x_1),f(x_2),\dots,f(x_n))$
当
$(1)~~\{x_i|i=1,2,\dots,n\}\subseteq V_1$
时成立，若在条件(1)的情况下无法判定真伪或无实例，且当
$(2)~~\{x_i|i=1,2,\dots,n\}\subseteq V_0$
时成立，则
$P(x_1,x_2,\dots,x_n,f(x_1),f(x_2),\dots,f(x_n))$
对任意无限集都成立。

[ Last edited by tigou on 2016-6-18 at 07:59 ]

回复此楼

» 猜你喜欢

299求调剂已经有6人回复
083200学硕321分一志愿暨南大学求调剂已经有3人回复
初始318分求调剂（有工作经验）已经有3人回复
二本跨考郑大材料306英一数二已经有3人回复
化学求调剂已经有5人回复
一志愿中国石油大学（华东）本科齐鲁工业大学已经有3人回复
332求调剂已经有4人回复
265求调剂已经有9人回复
328求调剂，英语六级551，有科研经历已经有8人回复
求调剂已经有3人回复

0/0的意义是所有数的集合

1楼 2016-06-17 12:31:20

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

给定标准类函数
$f:V\to V,f(x)=\{y|z\in y\to z\in x\}$
和命题
$P(x_1,x_2,f(x_1),f(x_2)):|x_1|<|x_2|\Rightarrow |f(x_1)|}<|f(x_2)|.$
则广义弱连续统假设就是标准扩张公理的推论。

赞一下

回复此楼

0/0的意义是所有数的集合

2楼2016-06-17 12:46:25

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

给定标准类函数
$f:V\to V,f(x)=\{y|\forall z\in x(|z\cap y|=1)\}$
和命题
$P(x,f(x)): (\forall z\in x(z\ne\emptyset))\Rightarrow f(x)\ne\emptyset.$

则选择公理也是标准扩张公理的推论。

赞一下

回复此楼

0/0的意义是所有数的集合

3楼2016-06-17 12:55:37

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

给定标准类函数
$f_{\kappa}:V\to V,f_{\kappa}(x)=\{y:\forall z\in x(|z\cap y|=\kappa)\}$
和命题
$(\forall \lambda\ge\kappa>0\forall z\in x(|z|\ge\lambda))\Rightarrow f_{\kappa}(x)\ne\emptyset.$

这就是标准扩张公理可以导出的强选择公理（比选择公理更强的命题）。

赞一下

回复此楼

0/0的意义是所有数的集合

4楼2016-06-17 13:17:39

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

为什么要在标准扩张公理中给出两个优先权不一致的条件？因为某些命题对条件（2）成立对条件（1）确却不成立；或者对条件（1）成立对条件（2）却不成立。我们认为，以条件（1）为基础的扩张更保险（当然这种主张的正确性目前仅处于信仰层面，没有更基础的逻辑保证，未来如果发现矛盾，则应当放弃这种主张）。

考虑如下例子。给定标准类函数
$f_{\kappa}:V\to V,f_{\kappa}(x)=\{y:y\subseteq x\wedge|y|=\kappa\}$
和命题
$|f_2(x)|>|x|.$

这个命题对于基数大于等于4的有限集都成立，但对可数无限集不成立。

一个相关的命题是
$(0<\kappa<|x|)\Rightarrow |f_{\kappa}(x)|=|x|.$
这个命题对有限集不成立，但对可数无限集成立。在承认标准扩张公理的前提下，这个命题对所有的无限集都成立。

赞一下

回复此楼

0/0的意义是所有数的集合

5楼2016-06-17 13:37:58

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

补充一个条件，标准扩张公理中的类函数不能是常值函数。如果不增加这个条件，则标准扩张公理将存在反例，例如：

给定标准类函数
$f:V\to V,f(x)=\omega$
和命题
$|f(x)|\ge|x|.$
显然这个命题对所有可数集都成立，但对不可数集不成立。

赞一下

回复此楼

0/0的意义是所有数的集合

6楼2016-06-17 14:30:26

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

tigou

木虫 (正式写手)

数学EPI: 1
应助: 3 (幼儿园)
金币: 2477.6
散金: 252
红花: 4
帖子: 709
在线: 225.9小时
虫号: 3724311
注册: 2015-03-10
专业: 数论

标准扩张公理相当强悍，还可推出如下结论：连续统假设不成立，马丁公理不成立。

这个公理对ZF的独立性是显然的。因为选择公理等对ZF的独立性已被证明，如果标准扩张公理不独立，则选择公理等也不独立。故标准扩张公理对ZF是独立的。剩下的问题是证明标准扩张公理与ZF是相容的。如果相容性也得到证明，则公理集论的面貌将大变样。

欢迎批评和交流。

赞一下

回复此楼

0/0的意义是所有数的集合

7楼2016-06-24 10:13:46

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 tigou 的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[考研] 化学求调剂 +4	临泽境llllll 2026-03-17	5/250	2026-03-21 02:23 by JourneyLucky
[考研] 求调剂 +3	Ma_xt 2026-03-17	3/150	2026-03-21 02:05 by JourneyLucky
[考研] 一志愿华中科技大学，080502，354分求调剂 +5	守候夕阳CF 2026-03-18	5/250	2026-03-21 01:06 by JourneyLucky
[考研] 一志愿华南师大 070300（化学）304分求调剂 +3	0703武芊慧雪304 2026-03-18	3/150	2026-03-21 00:48 by JourneyLucky
[考研] 一志愿重庆大学085700资源与环境专硕，总分308求调剂 +3	墨墨漠 2026-03-18	3/150	2026-03-21 00:39 by JourneyLucky
[考研] 317求调剂 +8	申子申申 2026-03-19	13/650	2026-03-21 00:09 by 刘国森
[考研] 一志愿中海洋材料工程专硕330分求调剂 +8	小材化本科 2026-03-18	8/400	2026-03-20 23:16 by JourneyLucky
[考研] 290求调剂 +7	^O^乜 2026-03-19	7/350	2026-03-20 21:43 by JourneyLucky
[考研] 材料学求调剂 +4	Stella_Yao 2026-03-20	4/200	2026-03-20 20:28 by ms629
[考研] 招收调剂硕士 +4	lidianxing 2026-03-19	12/600	2026-03-20 12:25 by lidianxing
[考研] 085410人工智能专硕317求调剂（0854都可以） +4	xbxudjdn 2026-03-18	4/200	2026-03-20 09:07 by 不168
[考研] 求调剂 +3	暗涌afhb 2026-03-16	3/150	2026-03-20 00:28 by 河南大学校友
[论文投稿] 申请回稿延期一个月，编辑同意了。但系统上的时间没变，给编辑又写邮件了，没回复 10+3	wangf9518 2026-03-17	4/200	2026-03-19 23:55 by babero
[考研] 085601材料工程专硕求调剂 +10	慕寒mio 2026-03-16	10/500	2026-03-19 15:26 by 丁丁*
[考研] 0703化学 305求调剂 +4	FY_yy 2026-03-14	4/200	2026-03-19 05:54 by anny19840123
[考研] 0854可跨调剂，一作一项核心论文五项专利，省、国级证书40+数一英一287 +8	小李0854 2026-03-16	8/400	2026-03-18 14:35 by 搏击518
[考研] 268求调剂 +8	一定有学上- 2026-03-14	9/450	2026-03-17 17:47 by laoshidan
[考研] 材料专硕326求调剂 +6	墨煜姒莘 2026-03-15	7/350	2026-03-17 17:10 by ruiyingmiao
[考研] 326求调剂 +4	诺贝尔化学奖觊� 2026-03-15	7/350	2026-03-16 17:11 by 诺贝尔化学奖觊�
[考研] 326求调剂 +3	mlpqaz03 2026-03-15	3/150	2026-03-16 07:33 by Iveryant