台湾
|| 语言:
大陆简体
港澳繁體
台灣正體
推荐
热点
科技
娱乐
游戏
体育
军事
汽车
财经
【原】数学中最重要的公理之一——决定性公理,使得数学中的许多重要结果可以得到证明
老胡说科学
2023-03-23 15:37
决定性公理通常被用于形式化逻辑或数学中,例如在欧几里德几何学中,“任意两点之间可以画出一条直线”和“所有直角都相等”这样的命题被认为是决定性公理。决定性公理的选择通常取决于逻辑或数学体系的目的和性质,不同的公理选择可能导致不同的体系。
考虑以下的“无限博弈”。有两个局中人A和B,依次各给出一个自然数,例如设A为先手。这样,他们就会作出一个自然数的无限序列。如果这个序列是"
最终周期的
"、则 A 胜、否则 B 胜(一个最终周期序列就是像 1、56、4、5、8、3、5、8、3、5、8,3,5,8、3、…这样的序列,经过一定步数以后就会停留在一个反复的模式上。不难看到,B有一个致胜策略,因为最终周期序列是很特殊的。然而,在博弈的任意阶段,A仍然可以制胜(只要B玩得足够糟糕),因为每一个有限序列都是许多最终周期序列的开始的一段。
更一般地说,自然数的无限序列的任意集合S都会给出一个无限博弈:A的目标是使得所得的序列是S的一个元素,B的目标则相反。如果两个局中人之一有一个制胜策略,就说这个博弈是决定性的。我们已经看到,如果S是所有最终周期序列的集合,这个博弈一定是决定性的,而实际上,对于我们不论怎样来写出的S,相应的博弈也一定是决定性的。但是结果是确有不是决定性的博弈存在。
不难作出非决定性的博弈,但是构造这个博弈要用到
选择公理
如下:粗略地说,可以把所有可能的策略的集合良序化(良序原理是等价于选择公理的),所以每一个前面的策略即
前置元
(predecessor)的个数总少于无限序列的个数、把这样的序列放进S或其余集,就使得每一个策略都不能成为任一个局中人的制胜策略,决定性公理宣称,
每一个博弈都是决定性的
。它与选择公理矛盾,但是如果把它加进没有选择公理的策墨罗-弗朗克尔公理系统。它就是一个很有趣的公理。例如,它事实上蕴含了许多实数集合具有惊人的好性质,例如所有的实数集合都是勒贝格可测集合
。决定性公理与大基数理论有密切关系
。
大基数理论是数学中一个分支领域,主要研究无限集合的大小比较问题。在大基数理论中,把一个无限集合的大小称为它的基数,常用符号为 ℵ(阿列夫零),ℵ1,ℵ2 等。在大基数理论中,最著名的结论是康托尔-伯恩斯坦定理,该定理说明任意两个无限集合的基数要么相等,要么存在一个比另一个更大的基数。
另一个重要的概念是连续统假设,它是指不存在一个介于 ℵ0 和 ℵ1 之间的基数。这个假设目前还没有被证明或证伪,是大基数理论中的一个重要问题。
两位数学家证明了p=t,实现了数学上的一个突破,它到底是什么?
Please enable JavaScript to view the
comments powered by Disqus.
相关文章
为你推荐
【原】溱湖之恋图书馆第三十四次被评为【一周之星】
5月前
警惕民众负面情绪过多对社会产生的影响
5月前
中煤集团黄家沟煤矿6·15较大运输事故专项安全风险辨识评估报告(两篇)
5月前
三大“创新养老”悄然兴起,告别“养儿防老”,晚年不用再担忧?
5月前
上海法院对公房居住权纠纷的审判思路和处理原则
5月前
不要再被美国骗了!8个事实,带你看看最真实的美国
5月前
俄罗斯是什么样的生活?一个住了8年的中国人的描述
5月前
知法学术|身份行为之法律适用——以《民法典》第四百六十四条的法律适用为视角
5月前
互殴行为造成损害双方民事赔偿责任比例的划分
5月前
美国的底气究竟是啥?人口比我们少10亿,消费市场却全球最大?
5月前
深化全过程人民民主的人大实践
5月前
每天认识一个国家——克罗地亚🇭🇷
5月前
马看上去处处比驴强,为何至今无法取代驴?驴到底有何特殊能力?
5月前
关于中国地理冷知识,这30个你都知道几个?
5月前
简谈杂叙:印第安人历史
5月前
热门新闻
周热门
马斯克称中国车企对特斯拉构成严峻挑战,极氪辟谣降价
抗癌东东姐姐喊话,弟弟去世的那一刻,是对这个世界的眷恋!
人一旦老了,如果只剩下自己孤零零一个人了,就顺其自然吧
万科获招行牵头200亿银团贷款,霸王茶姬回应“喝完心悸进医院”
支付宝变更为无实际控制人,总结支付宝股权变更历史!
《小先生》:爱与美的纸上课堂和操场
中国在共建“一带一路”国家的能源项目投资占比超40%
阴山脚下的食韵:锅煮乾坤 香飘四海
湖南益阳百米龙舟成功挑战“最长双桡龙舟”世界纪录
之江小学师生:收到总书记回信备受鼓舞
自制潮汕海鲜粥:鲜美可口,香气四溢,超级美味!
酸酸甜甜的菠萝虾仁炒饭:色泽诱人,香气四溢!
建议修复李赦虎故居后续|修复“帝师”故居,彰显文化魅力
首份长三角银行业绿色金融可持续发展报告发布
从代工模式转为品牌输出 家居龙头企业“出海”亮新招
印制电路板市场迎复苏 上市公司东南亚建厂布局提速
今日跌幅TOP榜05-31 08:04
拜登团队称特朗普为“重罪犯”,外媒解读案件走向
国台办就大陆中止ECFA第二批产品关税减让表态
南向资金逆市加仓 港股或转向慢牛演绎格局