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

登录注册

应《网络安全法》要求，自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 ]

回复此楼

» 猜你喜欢

085410 273分调剂已经有3人回复
291分调剂已经有5人回复
计算机22408 281分，求调剂已经有3人回复
305求调剂已经有5人回复
调剂已经有3人回复
316求调剂已经有4人回复
304求调剂（085602，过四级，一志愿985）已经有27人回复
270求调剂已经有3人回复
312求调剂已经有4人回复
272分材料子求调剂已经有40人回复

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 的主题更新

返回列表

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

[考研] 316求调剂 +4	想读研究生( ?∵ 2026-04-07	4/200	2026-04-11 11:43 by zhq0425
[考研] 调剂 +4	电气300求调剂不 2026-04-08	7/350	2026-04-11 10:44 by 紫曦紫棋
[考研] 材料工程085601，270求调剂 +30	@ASDF1234 2026-04-08	32/1600	2026-04-11 10:30 by Delta2012
[考研] 药学专硕调剂 +6	? 一路生?花? 2026-04-10	7/350	2026-04-10 21:08 by zhouxiaoyu
[考研] 22408 366分，本科211，一志愿西工大 +4	Rubt 2026-04-09	4/200	2026-04-10 19:51 by chemisry
[考研] 085404 298分求调剂 +10	呼啦呼啦呼呼呼 2026-04-10	11/550	2026-04-10 16:44 by wangy0907
[考研] 301求调剂 +6	静静想想 2026-04-05	6/300	2026-04-10 09:15 by Delta2012
[考研] 求调剂 +15	张zic 2026-04-05	16/800	2026-04-10 08:12 by kangsm
[考研] 已调剂 +18	柴郡猫_ 2026-04-09	19/950	2026-04-09 22:10 by 柴郡猫_
[考研] 求调剂一志愿西南交通大学085701环境工程 282分 +15	多多爱吃汉堡 2026-04-04	16/800	2026-04-08 11:39 by i_cooler
[考研] 336求调剂，一志愿中科大 +9	墨彧 yuyu 2026-04-06	9/450	2026-04-08 11:24 by 想读书的菌菌
[考研] 调剂求助（生物与医药） +6	@6952 2026-04-06	6/300	2026-04-07 23:52 by lys0704
[考研] 材料工程专业日语生求调剂 +9	111623 2026-04-07	9/450	2026-04-07 23:31 by 一只好果子?
[考研] 331求调剂 +5	张元一 2026-04-07	6/300	2026-04-07 22:13 by hemengdong
[考研] 085100建筑学寻求跨专业调剂一志愿南大294分校级省级国家级奖项若干踏实肯干 +3	1021075758 2026-04-06	4/200	2026-04-07 09:23 by 蓝云思雨
[考研] 071000生物学调剂 +7	拉提桃 2026-04-06	7/350	2026-04-06 18:55 by 52305043001
[考研] 377求调剂 +6	by.ovo 2026-04-05	6/300	2026-04-05 22:18 by dongzh2009
[考研] 302分 085601求调剂推荐 +11	zyx上岸！ 2026-04-05	11/550	2026-04-05 22:13 by dongzh2009
[考研] 生物学308分求调剂（一志愿华东师大） +8	相信必会光芒万� 2026-04-05	10/500	2026-04-05 12:19 by Hdyxbekcb
[考研] 求生物学学硕调剂——364分 +7	云朵遛弯指南 2026-04-04	7/350	2026-04-04 22:49 by zhyzzh