OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A358152型 一组n个元素上的严格闭包运算符的数目,这样每个点和不包含该点的每个集都可以用clopen集分隔。 4
1, 1, 2, 8, 121 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,3
评论
如果空集是闭合的,则闭包运算符是严格的。
如果p是H的元素,A是X\H的子集,则X中的点p和不包含p的X的子集A由集合H分隔。
另外,在Chepoi意义下,一组n个元素上的S_3凸性的个数。
参考文献
G.M.Bergman,“格、闭包算子和Galois连接”,第173-212页,“普通代数和普遍构造的邀请”,Springer(2015)。
链接
维克托·切波伊,凸结构中两个凸集的分离
示例
a(3)=8闭集系统:
{{}, {1, 2, 3}}
{{}, {1}, {2, 3}, {1, 2, 3}}
{{},{2},{1,3},{1,2,3}}
{{}, {3}, {1, 2}, {1, 2, 3}}
{{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {1, 2, 3}}
{{}, {1}, {2}, {3}, {1, 2}, {2, 3}, {1, 2, 3}}
{{},{1},{2},{3},{1,3},{2,3},{1,2,3}}
{{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
数学
分隔对Q[F_,n_]:=全部为真[
展平[(x|->({x,#}和/@选择[F,FreeQ[#,x]&]))/@范围[n],
1] ,成员Q[F,
_?(H|->带有[{H1=补码[Range[n],H]},
成员Q[F,H1]和成员Q[H,#[[1]
]&&子集Q[H1,#[[2]]
]])]&];
表[长度@选择[选择[
子集[子集[范围[n]],
而且[
成员Q[#,{}],
成员Q[#,范围[n]],
子集Q[#,交集@@@元组[#,2]]&
],分隔对Q[#,n]&],{n,0,4}]
交叉参考
囊性纤维变性。A334255型A358144型A356544飞机.
关键词
非n坚硬的更多改变
作者
田维拉西奇2022年11月1日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年5月21日17:00。包含372738个序列。(在oeis4上运行。)