×

一种描述Baire 1类函数的游戏。(\(\西格玛\)。) (英语) Zbl 1454.26005号

概括地说[J.杜帕克,J.Symb。日志。66,第1期,第56–86页(2001年;Zbl 0979.03039号)]在所谓的橡皮擦游戏中,作者描述了一个游戏,它可以作为一个真正的工具来刻画任意两个波兰(可分离,完全可度量)空间\(X\)和\(Y\)之间的Baire一函数。也就是说,给定(f冒号X到Y),玩家I和II交替地从(X)和(Y)中选择点:我任意选择(X_0),然后(在选择了(Y_{n-1}之后)(X_n在X中),(n\ge1),以便(d_X(X_{n-1},X_n)le2^{1-n});在I选择了\(x_n\),\(n\ge0\)后,玩家II选择一个点\(y_n\ in y\)。如果\(\lim_ny_n=f(\limn_nx_n)\),球员II获胜,否则我获胜。
本文的第一(主要)部分致力于证明主要结果(定理1.1):(1)当(f)是Baire策略时,Player II有一个获胜策略;(2) 如果(f)不是拜尔的策略,球员I有获胜策略。在第二部分中,作者描述了(在X为零维的情况下)上述刻划与Baire一类刻划之间的联系,并用第一返回可恢复性的概念[U.B.达尔基M.J.埃文斯Mathematika 42,第1期,第43–48页(1995年;Zbl 0822.54012号)]。

MSC公司:

第26页第21页 实际函数的分类;集合与函数的Baire分类
03E15年 描述性集合论
05年5月54日 描述性集合理论(Borel集、解析集、射影集等的拓扑方面)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Andretta,A.,《关于Wadge确定性的更多信息》。《纯粹与应用逻辑年鉴》,第144卷(2006年),第1-3期,第2-32页·Zbl 1110.03046号
[2] Carroy,R.,参加第一节Baire课。《数学逻辑季刊》,第60卷(2014年),第1-2期,第118-132页·Zbl 1326.03058号
[3] Darji,U.B.和Evans,M.J.,《恢复Baire 1函数》。Mathematika,第42卷(1995年),第1期,第43-48页·Zbl 0822.54012号
[4] Duncan,J.和Solecki,S.,恢复超度量空间上的Baire一函数。《伦敦数学学会公报》,第41卷(2009年),第4期,第747-756页·Zbl 1175.26003号
[5] Duparc,J.、Wadge层级和Veblen层级。I.有限秩Borel集,本期刊,第66卷(2001年),第1期,第56-86页·Zbl 0979.03039号
[6] Kechris,A.S.,《经典描述性集合论》,《数学研究生文本》,第156卷,施普林格出版社,纽约,1995年·Zbl 0819.04002号
[7] Lecomte,D.,我们如何恢复Baire一类函数?Mathematika,第50卷(2003年),第1-2期,第171-198页(2005年)·Zbl 1078.26005号
[8] Ros,L.M.,分段可定义函数类的博弈表示。《数学逻辑季刊》,第57卷(2011年),第1期,第95-112页·Zbl 1215.03060号
[9] Nobrega,H.,固定baire类函数的游戏,预印本。
[10] Semmes,B.,游戏、树和Borel函数,阿姆斯特丹大学博士论文,2009年。
[11] Wadge,W.W.,《Baire空间上的可约性和确定性》,ProQuest LLC,密歇根州安阿伯,博士论文,加州大学伯克利分校,1983年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不声称其完整性或完全匹配。