×

可数离散度量空间上Lipschitz映射的相对秩。 (英语) Zbl 1222.54037号

对于可数离散度量空间(X\),我们用(r_X\)表示所有(连续)函数(X\ to X\)模的Lipschitz函数子半群({mathcal L}_X\_X)。众所周知,这取决于\(X\)的度量,以及西尔皮因斯基【Fundam.Math.24,209-212(1935;Zbl 0011.10607号)]已经表明,\(r_X\)要么是不可数的,要么至多是2。这开启了对更一般度量空间或更一般半群的长期研究。作者坚持半群的原始范围,并证明了关于\(r_X\)精确值的一些结果。例如,如果\(X\)包含Cauchy序列,则\(r_X=1\)。
对于\(f,g\in\mathbb N^\mathbbN),我们为所有\(N)设置\(f\leq g\)当且仅当\(f(N)\leq g(N)\)。定义(不可数)基数\(\mathfrak d\leq 2^{\aleph_0}\)为\(\mathbb N^\mathbb N\)关于此偏序的上尾子集的最小基数。主要结果之一是,如果(X)中的每个开球都是有限的,则(r_X\geq\mathfrak d)。一个更复杂的条件确保了\(r_X\leq\mathfrak d\):如果\(\mathcal U\)是\(X\)的分区,则定义了\(\mathcal U \)上的一种商度量。(r_X\leq\mathfrak d\)的一个充分条件是存在一个分区,该分区的商有有限个开球,且非零距离有界于零之外。在几种自然条件下,这些结果结合起来给出了(r_X=mathfrak d)。例如,该方程适用于\(mathbb N^k),\(k\geq 1)的所有无限子集。事实上,对于一大类可数集(X\subesteq\mathbb R\)也是如此,几乎所有此类集(在Baire范畴的意义上)都是如此。一般来说,对于可数\(X\subseteq\mathbb R\),可以证明\(R_X\)等于1或至少等于\(mathfrak d\)。

MSC公司:

54甲15 变换群和半群(拓扑方面)
54E35个 度量空间,可度量性
20平方米 变换、关系、分区等的半群。
54立方厘米 一般拓扑中的函数空间
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Araújo,J。;Mitchell,J.D.,独立代数自同态幺半群中的相对秩,Monatsh。数学。,151, 1-10 (2007) ·Zbl 1126.20045号
[2] 巴纳赫,S.,Sierpingski先生,基金会。数学。,25, 5-6 (1935)
[3] 巴托斯基,T。;Judah,H。;Shelah,S.,《Cichoán图》,J.符号逻辑,58,401-423(1993)·Zbl 0786.03034号
[4] 伯格曼,G.M。;Shelah,S.,无限对称群的闭子群,代数普遍性,55137-173(2006)·Zbl 1111.20004号
[5] J.西肯。;Pawlikowski,J.,《论平面子集的理想和Cohen reals》,J.符号逻辑,51,560-569(1986)·Zbl 0622.03035号
[6] J.西肯。;J.D.米切尔。;Morayne,M.,用Lipschitz映射生成连续映射,Trans。阿默尔。数学。Soc.,3592059-274(2007)·Zbl 1110.54019号
[7] Fremlin,D.H.,Cichon’s diagram,(Choquet,G.;Rogalski,M.;Saint-Raymond,J.,séminaire Initiationál’Analysis(1984),皮埃尔和玛丽·居里大学),5-01-5-13·Zbl 0559.03029号
[8] Galvin,F.,生成可数排列集,J.伦敦数学。Soc.,51,230-242(1995)·Zbl 0837.20005号
[9] 希金斯,P.M。;J.D.米切尔。;Ruškuc,N.,使用保序映射生成完整变换半群,Glasg。数学。J.,45,557-566(2003)·Zbl 1043.20041号
[10] 希金斯,P.M。;霍伊,J.M。;Mitchell,法学博士。;Ruškuc,N.,变换和关系的无限半群中的可数与不可数秩,Proc。爱丁堡。数学。《社会学杂志》,46,531-544(2003)·Zbl 1043.20040号
[11] 希金斯,P.M。;J.D.米切尔。;莫莱恩,M。;Ruškuc,N.,无限偏序集的自同态的秩性质,Bull。伦敦数学。Soc.,38,177-191(2006)·Zbl 1101.06001号
[12] 霍伊,J.M。;Ruškuc,N。;Higgins,P.M.,关于完全变换半群的相对秩,《通信代数》,26733-748(1998)·Zbl 0902.20027号
[13] 霍伊,J.M。;Ruškuc,N。;Higgins,P.M.,变换半群的生成元和因子分解,Proc。罗伊。Soc.爱丁堡教派。A、 1281355-1369(1998)·Zbl 0920.20056号
[14] Kechris,A.S.,经典描述集理论,Grad。数学课文。,第156卷(1995),Springer-Verlag:Springer-Verlag纽约·Zbl 0819.04002号
[15] Mesyan,Z.,生成无限集的自映射幺半群,半群论坛,75649-676(2007)·Zbl 1133.20050号
[16] 西尔宾斯基(Sierpiánski,W.),苏尔莱斯(Sur les suites infinies de functions définies dans les ensembles quelconques,Fund)。数学。,24, 209-212 (1935)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。