手机浏览器扫描二维码访问
对于一个包含至少2个集合的、对并运算封闭的有限集合族,至少存在一个元素,使得它在至少一半的集合里出现过。
我们来解读一下这个猜想说的啥。
首先集合,就是包含了一系列元素的合集,这里面的元素既可以是数字,也可以是变量等。
例如这是一个我们常见的数集,而且是有限的(只包括3个元素):{1,2,3}
至于无限数集,就像是自然数集、有理数集、整数集这种由无限个元素组成的集合。
当然,集合也有集合,它们组合起来,就可以被叫做集族,例如下图中F就是一个集族:
在这些集族中,有一类特殊的集族对并运算封闭。
对集族中的集合而言,并运算就是对两个集合求并集;至于并运算封闭,即是指在对任意两个集合进行并运算后,其结果仍然在这个集族中。
以下面这个集族为例:{1}{1,2}{1,2,3}{1,2,3,4}
无论是对{1}、{1,2}求并集,还是对{2,3,4}、{1}求并集,还是对{1,2}、{2,3,4}求并集……任意两个集合求并集,其结果都会在这个集族中。
所以,上面这个集族就符合并封闭集合这一要求,而并封闭猜想也正是基于此而提出。
值得注意的是,这一猜想中的“一半”是紧致的,毕竟对于任何一个集合的子集族,所有的元素恰好在一半的集合里出现过。
它于1979年被一个叫PéterFrankl的数学家提出,所以也一度被叫做Frankl猜想。
看起来似乎不难,然而到实际解决时,一众数学家才发现这并不简单。
达特茅斯学院数学教授PeterWinkler曾经在1987年就这个猜想给出尖锐的评价:
并封闭集合猜想确实很有名,除了它的起源和它的答案。
为了解决这个问题,数学家们也已经尝试过不少方法。
例如有人试着给猜想加上一些限制条件,让它在这些情况下成立。
像是将它和图论中的二分图(BipartiteGraph)联系起来,证明具备其中某种性质的集族,在这个猜想的条件下成立。
又或是给其中的元素加以限制,再加以证明……
BUT,无论是哪种方法,距离真正需要证明的猜想都还差不少距离。
来自哥伦比亚大学的助理教授WillSawin对此评价称:
它看起来似乎是个不难解决的东西,毕竟长得和那种“容易解决的问题”很像。
然而,如今却没有任何一个证明能真正搞定它。
问题就这样进度缓慢,直到2022年秋天,谷歌研究员JustinGilmer借着朋友结婚的契机,回到了罗格斯大学校园。
Gilmer回母校的时间是2022年10月,此时距他毕业离开数学学术圈,已过去7年。这些年来,他自觉无心专注纯数学领域,转而自学编程,投身了IT行业。
好运撞末日 仙骨 偏偏宠上你 沉睡千年醒来,749局找上门 包青天断案传奇故事汇 跨越阶层的恋爱 造孽啊,曹贼竟是我自己 在明末奋斗 尘封的仙路 邪灵战神 开局被渣,反手投资女帝无敌 神奇宝贝:开局十连抽,获得梦幻 剑神韩友平第一部 大清话事人 一本杂录 柯南!快看,你爸爸过来了! 春过辽河滩 开局成为峰主,打造万古不朽仙门 高冷学神之攻略手册 都市重生:我在七日世界刷神宠
玄幻爽文九天大陆,天穹之上有九条星河,亿万星辰,皆为武命星辰,武道之人,可沟通星辰,觉醒星魂,成武命修士。传说,九天大陆最为厉害的武修,每突破一个境界,便能开辟一扇星门,从而沟通一颗星辰,直至,让九重天上,都有自己的武命星辰,化身通天彻地的太古神王。亿万生灵诸天万界,秦问天笑看苍天,他要做天空,最亮的那颗星辰...
嫁给我,我可以替你报仇。陆白,亚洲第一跨国集团帝晟集团总裁,商业界最可怕的男人。传闻他身后有着最庞大的金融帝国,身边从未有过什么女人,传说他是夏儿想,管他呢,安心地做她的总裁夫人虐虐渣最好不过了。只是婚后生活渐渐地不一样了,看着报纸上帝晟总裁的采访,安夏儿方了你你你什么意思,不是说好我们隐婚的么老...
本书架空,考据慎入 新书锦衣血途发布,欢迎收藏! 这里不是春秋战国,也不是东汉末年! 似曾相识的齐楚秦魏,截然不同的列国争雄! 来自现...
王虎穿越了,而且悲催的成了五指山下的一只老虎。我去,这是要做猴哥虎皮裙的节奏?王虎表示不服。作为一只21世纪穿越来的新时代老虎,怎么着也要和猴哥拜把子,做兄弟啊!此时此刻齐天大圣孙悟空被压五行山马上就满五百年,再有十年,波澜壮阔,影响三界格局的西天取经之旅就要开始,看王虎如何在其中搅动三界风云,与猴哥一起再掀万...
最强系统,我就是最强!还有谁?叶风看着众多的天骄,脸色淡定无比!获得最强系统,经验可复制对方的功法神通,可升级功法神通品阶无所不能,唯有最强!碾压苍穹,打爆世间一切不服者!...
一朝重生,亲爹从军阵亡,亲娘病死,留下体弱的弟弟和青砖瓦房几间。无奈家有极品亲戚,占了我家房还想害我姐弟性命!幸得好心夫妻垂帘,才有这安稳日子过。偶然山中救得老道一位,得其倾囊相授修得一身好武艺。骤闻亲爹消息,变身潇洒少年郎,入了天下闻名的孟家军,立军功当将军,可是那个总阴魂不散的小王爷是要搞哪样?虾米?威胁我?...