手机浏览器扫描二维码访问
对于一个包含至少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行业。
告白未果,我决定做回低调逆袭者 白夜(重生) 我当过的炮灰都成了宠文男主[快穿] 当绿茶反派男配想上位 宗门全是美强惨,小师妹是真疯批 我说今夜无神,于是众神陨落 盛宠拽后:本宫就爱戏诸王 鬼灭RPG为美好的世界献上帝君 [HP同人] 隐藏在霍格沃茨当教授 本座的猫儿师尊 成就华流天王,从历经生死战开始 快穿之大佬总是在撩我 重生后她燃炸了 [穿书]男主他想弄死我+番外 我把皇子养歪了 [综影视同人] 炮灰终结者 [咒回同人] 全员术师 BOSS伪装白莲花女主杀疯了 肥妃有福,双面王爷倾世妃 忠犬影卫饲养法则
...
家传的钓鳖绝技神奇的鱼竿,奇异的鱼篓,平凡的钓鱼哥开启妖孽人生!...
十五年的付出,却换来无情的杀害。容一重生归来,决定手撕渣男贱女,夺回属于自己的一切。从此斗继母虐继妹,当学霸打流氓虐得渣男渣爹啪啪响。只是她随手拐的帝国总裁未婚夫,是不是太宠了点?送钱送房送公司,还把他自己送上床!路人笑道傅少,听说容家乡下来的姑娘,非要嫁你?傅少眉头一挑不,是我非要娶她。确认过眼神,这就是他帝国总裁豁出命都要宠的女人!...
我只有一点小钱,可架不住女神往死送了,今天送个十几亿的公司,明天送矿我真没多少钱啊...
他是个受尽屈辱的上门女婿,但没人知道,他也是首富家族的公子!...
上三界缺德圣人吴有德,一缕神魂下界寻找代练之身,以期有朝一日能够夺舍摘果。扶桑星废柴倒霉小皇子叶无忧意外得吴有德传承,从此踏上修仙路,搅闹的修仙界鸡飞狗跳,成为修仙界公敌。我就筑个基也要渡劫?元婴期很了不起?在你头顶渡劫你怕不怕?我卖你们的弟子是因为不想杀他们,你们不领情?妹妹,咱们不合适,我有未婚妻,你值得得到一个人全部的爱,那个人不是我。...