弗伦齐，V。;洛佩兹·阿巴德，J。;姆博姆博，B。;托多切维奇，S。 （L_p）空间的合并与Ramsey性质。 （英语） Zbl 1465.46013号 高级数学。 369，文章ID 107190，75 p.（2020）. 这篇引人注目的文章提供了不同领域之间的原创和深入的联系。模型理论通过弗雷塞理论发挥了重要作用，弗雷塞理论允许根据有限生成子结构的集合（操作符名{Age}（mathcal{M}）的属性来构造超齐次结构。组合数学是通过Kechris-Pestov-Todorcevic对应出现的，该对应将\（\operatorname{Aut}（\mathcal{M}）\）的极端顺从性与\（\operatorname}Age}（\ mathcal}）的Ramsey属性联系起来。Banach空间的几何学占据了主导地位，因为本文重点讨论了（L_p）-空间的等轴测群的动力学。事实证明，Banach空间\（L_p\）具有强齐性性质：它们特别是几乎可传递的，并且在本工作中有更多的表现。然而，如果\（p\ not=2\），它们是不可传递的，实际上，一个著名的开放问题可以追溯到Mazur，它问一个可分离的可传递Banach空间是否与\（L_2\）等距。下面只是本文结果的一个示例。文章的第一部分是引言，介绍了主要概念，并将整个工作置于适当的框架中。第2节专门介绍了弗雷塞·巴纳赫空间。这个概念和相关概念在关键的定义2.2中定义。如果对于每个整数（k）和每个（epsilon>0），都存在（delta>0）使得对于（E）的任何（k）维子空间（X），等距集上的群（操作符名{Iso}（E））的正则作用在此集上是可传递的。此属性是对应于情况（k=1）的几乎传递性的加强。稍后将在（定理4.1）中显示，如果（1）和（p不=2l）带有（1），那么具有其自然范数的空间（l_p）是Fraíssé。这类空间具有显著的等距性质：例如，可分Banach空间（X）在Fraíssé空间（E）中是有限表示的当且仅当它与（E）的子空间等距（命题2.13）。Fraíssé性质可以相对于有限维赋范空间的族（mathcal{G}）。定义2.20中定义了适当类（mathcal{G}）的Fraíssélimit（operatorname{Flim}\mathcal}）。Fraísséclasses \（\mathcal{G}\）在定义2.23中定义，此类类正是赋范空间的Fraèsse对应（推论2.27）定义的“极限”Fraéspace \（\operatorname{Flim}\mathcal{G}\）的有限维子空间的集合。序列（（lp^n）_n的Fraíssé极限是所有（1）的（l_p。第3节提供了先前结果的晶格版本。这种发展的动机是，当（p\not=2）是一个偶数整数时，空间（L_p）不再是Fraíssé，但尽管它的子空间没有相关的同质性，但它的子格表现得很好。本节的关键结果（定理3.8）是G.Schechtman关于接近于（lp^n）的子空间扰动的一个定理。第4节的主要结果是已经引用的定理4.1：具有其自然范数的空间\（L_p\）是Fraïssé，条件是\（1\leq p<\infty\）和\（p\not=4，6，8，\dots\）。该证明需要详细的技术，例如Hardin-Plotkin-Rudin型的近似等测性原理（见定理4.4）和在给定测度的（p）-特征时计算测度的反演公式（见定义4.12）。在我看来，引理4.22给出的反演公式特别简洁。一些想法可以追溯到由M.格罗莫夫和V.D.米尔曼【《美国数学杂志》105、843–854（1983；Zbl 0522.53039号)]第5节对近似拉姆齐特性（ARP）和相关概念进行了研究。实际上，所有有限维空间的Fraíssé类都有ARP（参见问题5.8）。定理5.10是赋范空间的Kechris-Pestov-Todorcevic对应。序列的ARP被转换为多维Borsuk-Ulam定理（见定义5.14）。本节还介绍了Mazur非线性映射、Lévy族和浓度函数，人们认为畸变和Odell-Schlumprecht定理可能与这部分工作有些关联。最后，第6节回到第3节的晶格考虑。Fraísse Banach格在定义6.1中定义：该定义相当精细，因为Fraí）Banach格子特别是Banach晶格，但不一定是如上所定义的Fraèsse Barach空间。实际上，所有的（L_p）-空间（1）都是FraísséBanach格。本节的主要结果是存在一个可分的（M）-空间，即FraísséBanach格。这个空间实际上是由F.Cabello-Sánchez（命题6.6）构造的传递（不可分！）（M）-空间的子格，它实际上是（mathcal{C}（[0,1]）配备了一些等价的范数（这是不显式的）。定理6.12是Banach格的Kechris-Pestov-Todorcevic对应，因此也是构造新的极易服从群的工具。一份广泛的参考书目总结了这项重要的工作。审核人：Gilles Godefroy（巴黎） 引用于7文件 MSC公司： 46个B04 Banach空间的等距理论 46A22型 Hahn-Banach型定理；职能人员和操作员的延伸和提升 05元55分 广义拉姆齐理论 第37页 涉及变换和具有特殊性质（极小性、距离性、近似性、扩展性等）的群作用的动力系统 46 B42 巴拿赫晶格 关键词：拉姆齐地产;合并;弗雷塞理论;（L_p）空间上的等轴测;超均匀性;极端顺从性 引文：Zbl 0522.53039号 PDF格式BibTeX公司 XML格式引用 \textit{V.Ferenczi}等人，高级数学。369，文章ID 107190，75 p.（2020；Zbl 1465.46013） 全文： 内政部 arXiv公司 参考文献： [1] Alspach，D.，《小到（L_p）空间上的同构》，Ill.J.Math。，27, 300-314 (1983) ·Zbl 0495.46011号 [2] Aviles，A。；Cabello-Sanchez，F。；Castillo，J。；冈萨雷斯，M。；Moreno，Y.，关于类型为\（\mathcal）的Banach空间的超幂{左}_\infty\），Fundam。数学。，222, 195-212 (2013) ·Zbl 1300.46010号 [3] Banach，S.，Théorie des opérations linéaires（1993），《雅克·加贝条件》：《雅克·加贝条件》，第四卷，第128页·Zbl 0067.08902号 [4] 巴托舍娃，D。；Lopez-Abad，J。；卢皮尼，M。；Mbombo，B.，《Banach空间和Choquet单纯形的Ramsey性质及其应用》，C.R.Math。阿卡德。科学。巴黎，355，12，1242-1246（2017）·Zbl 1432.46003号 [5] 巴托舍娃，D。；Lopez-Abad，J。；卢皮尼，M。；Mbombo，B.，Banach空间和Choquet单纯形的Ramsey性质，《欧洲数学杂志》。Soc.（2020），出版中 [6] 本·亚科夫，I。；Berenstein，A。；亨森，C.W。；Usvyatsov，A.，度量结构的模型理论（模型理论及其在代数和分析中的应用），第2卷。模型理论及其在代数和分析中的应用。第2卷，伦敦数学学会讲座笔记系列，第350卷（2008），剑桥大学出版社），315-427·Zbl 1233.03045号 [7] Ben Yaacov，I.，度量结构的弗雷塞极限，J.Symb。日志。，80, 1, 100-115 (2015) ·Zbl 1372.03070号 [8] I.Ben Yaacov，私人通信，2018年。 [9] Billingsley，P.，《概率测度的收敛性》，Wiley Series in Probability and Statistics:Probability and Statistications（1999），Wiley-Interscience Publishation，John Wiley&Sons，Inc.：Wiley-Interscience Publication，John威利父子公司，纽约·Zbl 0172.21201号 [10] Cabello-Sanchez，F.，M-空间的传递性和Wood猜想，数学。程序。外倾角。菲洛斯。《社会学杂志》，124，513-520（1998）·Zbl 0927.46008号 [11] Cabello Sanchez，F。；加布林斯卡-Wę格津，J。；Kubi sh，W.，《几乎普遍配置的准巴拿赫空间》，J.Funct。分析。，267, 744-771 (2014) ·Zbl 1321.46003号 [12] Cuppens，R.，《多元概率分解，概率与数理统计》，第29卷（1975年），学术出版社·Zbl 0363.60012号 [13] 弗莱明，R.J。；Jamison，J.E.，《巴拿赫空间上的等距：函数空间》，查普曼和霍尔/CRC纯数学和应用数学专著和调查，第129卷（2003年），查普门和霍尔/CRC:Chapman和霍尔/CCR博卡拉顿，佛罗里达州·Zbl 1011.46001号 [14] Fraïssé，R.，《秩序固有关系的延伸》，《科学年鉴》。埃及。标准。上级。，71, 363-388 (1954) ·Zbl 0057.04206号 [15] 佐丹奴，T。；Pestov，V.，《与算子代数和遍历理论相关的一些极易服从群》，《数学研究所杂志》。Jussieu，6，2，279-315（2007）·Zbl 1133.22001年 [16] 格雷厄姆·R·L。；Rothschild，B.L.，n参数集的Ramsey定理，Trans。美国数学。《社会学杂志》，159257-292（1971）·Zbl 0233.05003号 [17] 格罗莫夫，M。；Milman，V.D.，等周不等式的拓扑应用，美国数学杂志。，105, 4, 843-854 (1983) ·Zbl 0522.53039号 [18] Gurarǐ，V.I.，普适放置空间，各向同性空间和Banach空间旋转的Mazur问题，Sib。材料Zh。，71002-2013（1966），（俄语）·Zbl 0166.39303号 [19] Halmos，P.R.，测量理论（1950），D.Van Nostrand公司：D.Van Nostrand公司，纽约·兹比尔0040.16802 [20] Hardin，C.，《（L_p）的子空间上的等距图》，印第安纳大学数学系。J.，30，3，449-465（1981）·Zbl 0432.46026号 [21] Henson，C.W.，《巴拿赫空间的非标准船体》，以色列。数学杂志。，25, 1-2, 108-144 (1976) ·Zbl 0348.46014号 [22] 霍奇斯，W.，《模型理论，数学及其应用百科全书》，第42卷（1993），剑桥大学出版社：剑桥大学出版社·Zbl 0789.03031号 [23] M.I.Kadets，《关于子空间之间的间隙的评论》，Funkc。分析。普里洛日。，9, 2, 73-74 (1975) ·Zbl 0325.46020号 [24] Kakutani，S.，抽象（L）-空间的具体表示和平均遍历定理，《数学年鉴》。(2), 42, 523-537 (1941) [25] 新泽西州卡尔顿。；Ostrovski，M.I.，Banach空间之间的距离，论坛数学。，11, 1, 17-48 (1999) ·Zbl 0934.46017号 [26] Kechris，A.S。；佩斯托夫，V.G。；Todorcevic，S.，Fraïssélimits，Ramsey理论，以及自同构群的拓扑动力学，Geom。功能。分析。，15, 1, 106-189 (2005) ·Zbl 1084.54014号 [27] Kechris，A.S。；索基奇，M。；Todorcevic，S.，有限测度代数的Ramsey性质和保测度自同构群的拓扑动力学：一些结果和一个开放问题，（数学基础.数学基础，内容.数学，第690卷（2017），Amer。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence），69-85·Zbl 1423.03113号 [28] 科尔多布斯基，A。；König，H.，《巴拿赫空间等距理论的几个方面》（《巴拿克空间几何手册》，第一卷（2001年），北荷兰人：北荷兰阿姆斯特丹），899-939·Zbl 1005.46005号 [29] 库比西。；Solecki，S.，古拉里空间唯一性的证明，Isr。数学杂志。，195, 1, 449-456 (2013) ·Zbl 1290.46010号 [30] Kubi-sh，W.，度量丰富的类别和近似Fraíssé极限 [31] Lamperti，J.，《关于某些函数空间的等距线》，Pac。数学杂志。，8, 459-466 (1958) ·兹伯利0085.09702 [32] Ledoux，M.，《测量现象的集中》，《数学调查与专著》，第89卷（2001年），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0995.60002号 [33] 林登斯特劳斯，J。；Tzafriri，L.，经典巴纳赫空间。1：序列空间。2.函数空间，数学经典（1996），Springer-Verlag:Springer-Verlag Berlin，xx，432 p·Zbl 0852.46015号 [34] Lupini，M.，《函数分析中的弗雷塞极限》，高等数学。，338, 93-174 (2018) ·Zbl 1405.46041号 [35] Lusky，W.，Gurarij空间非常独特，Arch。数学。（巴塞尔），27627-635（1976）·Zbl 0338.46023号 [36] Lusky，W.，Rudin论文“（L_p）-等距和等量性”的一些结果，印第安纳大学数学系。J.，27，859-866（1978）·Zbl 0368.46033号 [37] 柳斯特尼克。；Shnirel'man，S.，变分问题中的拓扑方法（1930），IssledowatelskǐInstitute Matematiki i Mechaniki pri O.M.G.U.：IssledowskiṸInstutute Matamatiki i Mechaniki pri O.G.U.Moscow，（俄语） [38] 马图舍克，J。；Rödl，V.，《论拉姆齐的球集》，J.Comb。理论，Ser。A、 70、1、30-44（1995）·Zbl 0820.05060号 [39] Matoušek，J.，《利用Borsuk Ulam定理》，（《组合学和几何拓扑方法讲座》，与Anders Björner和Günter M.Ziegler合作撰写。《组合学和几何拓扑方法讲座》，与Anders Björner和Günter M.Ziegler合作撰写，大学文本。（2003），Springer-Verlag：柏林Springer-Verlag）·Zbl 1016.05001号 [40] Maurey，B。；Pisier，G.，《巴纳赫公共空间的分类》（Caractérisation d'une classe d'espaces de Banach par des propriétés de séatoires vectorielles，C.R.Acad.）。科学。巴黎，Sér。A-B、277、A687-A690（1973）·Zbl 0269.46015号 [41] 梅勒雷，J。；Tsankov，T.，通过连续逻辑实现的极易服从群体（2014） [42] 米尔曼，V.D。；Schechtman，G.，《有限维规范空间的渐近理论》，《数学讲义》，第1200卷（1986年），Springer-Verlag:Springer-Verlag Berlin·Zbl 0911.52002号 [43] Odell，E。；罗森塔尔，H.P。；Schlumprecht，Th.，关于Banach空间中的弱零FDD，Isr。数学杂志。，84, 3, 333-351 (1993) ·Zbl 0822.46009号 [44] Oikhberg，T。；Tradacete，P.，《几乎保带》，《实证主义》，21，41333-1423（2017）·Zbl 06816308号 [45] 佩钦斯基，A。；Rolewicz，S.，关于赋范线性空间中等距群的最佳规范，（斯德哥尔摩国际数学大会简短交流（1962）），104 [46] 佩斯托夫，V.，《无限维群的动力学》。Ramsey-Dvoretzky-Milman现象，大学讲座系列，第40卷（2006年），美国数学学会：美国数学学会普罗维登斯，RI，无限维群动力学和Ramsey型现象的修订版[Inst.Mat.Pura.Apl.（IMPA），里约热内卢，2005；MR2164572]·Zbl 1123.37003号 [47] Plotkin，A.I.，由平移算子和（L^p）范数生成的代数，（函数分析，第6期：线性空间中的算子理论（1976），乌尔雅诺夫斯克。戈斯。佩德。仪器：乌尔扬诺夫斯克。戈斯。佩德。乌尔扬诺夫斯克研究所），112-121，（俄语） [48] Randrianantoanina，B.，关于（L_p）的可补子空间的等距稳定性，Isr。数学杂志。，113, 45-60 (1999) ·Zbl 0945.46008号 [49] Rosenthal，H.P.，关于由独立随机变量序列跨越的（L_P（P>2））子空间，Isr。数学杂志。，8, 273-303 (1970) ·Zbl 0213.19303号 [50] Rudin，W.，\（L^p\）-等距和可测性，印第安纳大学数学。J.，25，215-228（1976）·Zbl 0326.46011号 [51] Schechtman，G.，（L_p（0，1））的几乎等距子空间，J.Lond。数学。Soc.（2），20，516-528（1979）·兹伯利0415.46029 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。