×

斯珀纳引理的一个多面体推广。 (英文) Zbl 1015.05089号

设(P)是一个具有(n)(多边形)顶点的(d)-多边形和一个三角剖分(T),三角剖分可以在边界或内部都有额外的(三角剖分)顶点。为(T\)的每个三角剖分顶点\(v\)指定\(p\)的多边形顶点\(p(v)。特别是,这意味着在Sperner标记中,每个多面体顶点都映射到自身。如果(T)中的(d)-单纯形的所有标签都是不同的,则称其为关于(S)的完整单元。作者证明,对于(T)的每个Sperner标记,至少有(n-d)个完整的细胞。给出了两个证明,一个是构造性的,另一个是非构造性的。非构造证明使用了卵石集的概念:这是(P)中的一个有限点集,使得由(P)顶点跨越的任何(d)-单形至多包含该集的一个点。作者证明了(P)包含一个大小为(n-d)的卵石集,然后可以用它来推导上述定理。此外,这产生了一个适用于任意单形覆盖的推广。Sperner的经典引理表示,对于单纯形三角剖分的每个Sperner标记,都有奇数个完整单元。后者已知等价于Brouwer定理,即从圆盘到自身的每个连续映射都存在不动点。

MSC公司:

05年5月 极值集理论
52个B05 多面体和多面体的组合特性(面数、最短路径等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Alekseyevskaya,T.V.,单纯形和腔系统中的组合基,离散数学。,157, 15-37 (1996) ·Zbl 0860.5206号
[2] Atanassov,K.T.,关于Sperner引理,Studia Sci。数学。匈牙利。,第32页,第71-74页(1996年)·Zbl 1012.52501号
[3] 巴内特,D.,凸多面体下界猜想的证明,太平洋数学杂志。,46, 349-354 (1973) ·Zbl 0264.52006年
[4] Billera,L.J。;盖尔费德,I.M。;Sturmfels,B.,二次多面体的对偶性和子式,J.组合理论。B、 57、258-268(1993)·Zbl 0727.05018号
[5] A.Björner、J.Matousek和G.Ziegler,《拓扑组合学》,书稿,编制中。;A.Björner、J.Matousek和G.Ziegler,《拓扑组合学》,书稿,正在准备中。
[6] 下方,A。;布雷姆,美国。;De Loera,J.A。;Richter-Gebert,J.,凸3-多面体的最小单纯形剖分和三角剖分,离散计算。地理。,24, 35-48 (2000) ·Zbl 0966.5209号
[7] De Loera,J.A。;桑托斯,F。;Takeuchi,F.,凸3-多面体剖分的极值性质,SIAM J.离散数学。,14, 143-161 (2001) ·Zbl 0983.5208号
[8] Cohen,D.I.A.,《关于Sperner引理》,J.Combin.理论,2585-587(1967)·Zbl 0163.18104号
[9] 证据中删除了参考。;证据中删除了参考。
[10] Freund,R.M.,有界多面体上Brouwer不动点定理的组合类比,J.组合理论。B、 47192-219(1989年)·Zbl 0723.55001号
[11] 证据中删除了参考。;证据中删除了参考。
[12] 克纳斯特,B。;库拉托夫斯基,C。;Mazurkiewicz,S.,Ein Beweis des Fixpunktsatzes für \(n \)-dimensionale Simpleexe,基金。数学。,14, 132-137 (1929)
[13] Kuhn,H.W.,不动点的单纯形逼近,Proc。国家。阿卡德。科学。,61, 1238-1242 (1968) ·Zbl 0191.54904号
[14] 范德拉恩,G。;Talman博士。;杨,Z.,多面体的交集定理,数学。编程,84,25-38(1999)·Zbl 1050.90575号
[15] Peterson,E.,Sperner引理推广的组合证明(2000),Harvey Mudd学院
[16] 罗斯柴尔德,B.L。;斯特劳斯,E.G.,《关于点的凸壳的三角剖分》,组合数学,5167-179(1985)·Zbl 0571.5202号
[17] Scarf,H.,连续映射不动点的近似,SIAM J.Appl。数学。,15, 1328-1343 (1967) ·兹伯利0153.49401
[18] F.W.Simmons和,F.E.Su,通过Borsuk-Ulam和Tucker的定理进行共识减半,预印本。;F.W.Simmons和,F.E.Su,通过Borsuk-Ulam和Tucker的定理进行共识减半,预印本·Zbl 1027.91047号
[19] Smith,W.D.,《通过双曲体积求(n)-立方体单形性的下限》,特刊:《多面体组合数学》,《欧洲组合杂志》,21,131-137(2000)·Zbl 0982.51015号
[20] Sperner,E.,Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes,Abh.数学。汉堡州立大学,6265-272(1928)
[21] Su,F.E.,租金和谐:公平分割中的Sperner引理,Amer。数学。月刊,106930-942(1999)·Zbl 1010.05077号
[22] Todd,M.J.,《不动点的计算和应用》(1976),Springer-Verlag:Springer-Verlag纽约·Zbl 0327.90018号
[23] Yang,Z.,《计算平衡与不动点》(1999),克鲁沃学术出版社:克鲁沃学术出版商波士顿·Zbl 0947.91060号
[24] 齐格勒,G.M.,《关于多面体的讲座》(1995年),施普林格-弗拉格:纽约施普林格·兹比尔0823.52002
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。