【摘 要】
:
Borel归约是描述集合论中的—个基本概念,我们经常用它来比较不同等价关系的复杂度。在所有这些等价关系中,lp(p≥1)类型等价关系有着非常重要的作用。R.Doughter和G.Hjorth[9]证明了对1≤p≤q<∞,lp等价关系能够Borel归约到lp等价关系。这是一个漂亮的结果,但是我们仍然想知道lp(p≥1)类型等价关系究竟有多复杂,比如,S.Gao[13]提出对1≤p<∞,lp等价关系是
论文部分内容阅读
Borel归约是描述集合论中的—个基本概念,我们经常用它来比较不同等价关系的复杂度。在所有这些等价关系中,lp(p≥1)类型等价关系有着非常重要的作用。R.Doughter和G.Hjorth[9]证明了对1≤p≤q<∞,lp等价关系能够Borel归约到lp等价关系。这是一个漂亮的结果,但是我们仍然想知道lp(p≥1)类型等价关系究竟有多复杂,比如,S.Gao[13]提出对1≤p<∞,lp等价关系是否是{lp:p<q}的最大下界。如果这个问题的答案是否定的,那么对1≤p≤q<∞,lp和lp之间究竟有多复杂的Borel归约结构?对于任意函数f:[0,1]→R+,我们考察[0,1]ω上的关系Ef:对任意的x,y∈[0,1]ω,(x,y)∈Ef(?)∑n<ω,(|y(n)-x(n)|)<∞.当f是一个Borel函数并且Ef是一个等价关系时,我们给出了Ef间相互归约与不归约的一些结果。进一步,我们证明了偏序结构(P(ω)/Fin,(?))能够被嵌入到Ef类型等价关系中。利用这个结果,我们证明了对任意的1≤p<g<∞,(P(ω)ωFin,(?))能够被嵌入到lp等价关系与lp等价关系之间,从而说明了lp等价关系与lp等价关系之间有连续统多个Borel不相容的等价关系。文章的主要结构安排如下:第一章是引言。在这一章中,我们简要介绍了关于经典描述集合论、有效描述集合论、不变量描述集合论的一些历史背景,然后我们给出等价关系与Borel归约的一些基本定义。最后,我们给出了一些标志性等价关系之间的Borel归约图,并简要介绍了本文的背景和主要结果。第二章是预备知识。在这一章中,我们给出了一些在后面章节中将要用到的基本符号。同时,我们列出了一些Ef类型等价关系归约与不归约的已知结果。第三章是关于Ef类型等价关系归约与不归约的一些结果。在这一章中,我们主要给出了一些便于应用的Ef类型等价关系归约与不归约的结果,这些结果是基于第二章的已知结果推导出来的,同时,我们给出了关于函数近似与序列近似的一些性质。第四章是本论文的核心部分。在这一章中,我们证明了两个主要结果:一个是偏序结构(P(ω)/Fin,(?))能够被嵌入到Ef类型等价关系中,另一个是对任意的1≤p<q<∞,(P(ω)/Fin,(?))能够被嵌入到lp等价关系与lp等价关系之间,这蕴含着在lp等价关系与lp等价关系之间有连续统多个Borel不相容的等价关系。最后,我们又给出了这一命题的单独证明。
其他文献
在这篇文章中,我们用Abbes和Saito的分歧理论研究离散赋值环上概型的l-进层的临近闭链。论文的第一部分中,我们给出Deligne-Kato公式的一个新证明。Deligne-Kato公式是计算严格Henselian离散赋值环上相对光滑曲线上的l-进层的临近闭链的维数的一个公式。Deligne考虑了没有垂直分歧的层,之后Kato将其推广到任意的层。我的方法建立在Abbes和Saito的理论的基础
胚胎干细胞(Embryonic stem cell,ESC)在适当体外培养条件下具有无限自我更新能力以及分化成体内所有细胞类型的潜能。这些特性使得ESC在再生医学中具有广泛的应用前景。ESC的快速增殖能力能保障充足的细胞数目应用于临床治疗;而维持基因组稳定性对ESC在临床应用的安全性至关重要。因此,研究ESC独特的细胞周期调控机制以维持快速增殖,以及ESC在快速增殖的同时,如何维持其基因组稳定性,
飞秒激光在空气中的成丝现象是当前科研领域的热门话题,其复杂的物理机制以及巨大的应用潜力引起了人们的广泛关注。一方面,飞秒激光成丝过程中存在复杂的非线性过程,例如自聚焦、光致电离、自相位调制、自陡峭等,这导致飞秒激光在光丝内传输时脉冲形状发生复杂的时空演变;另一方面,脉冲性质的演化过程携带了成丝现象中非线性光学过程的重要信息。如果测量出飞秒激光脉冲在成丝中的演化过程,可以更加深入地了解光丝内部所发生
本文的主要结果是一些关于对相邻部分进行限制的分拆和有序分拆的等式,其中包括两个关于overpartition的Rogers-Ramanujan型等式,由Andrews给出的两个Rogers-Ramanujan型等式的组合证明,一个揭示了anti-lecture hall有序分拆和overpartition之间的深层关系的等式,以及对首部分限制的lecture hall分拆的生成函数式。欧拉分拆定理
本文主要研究的是排列和上升序列。有禁排列是由Knuth首先提出来的,并且它在过去的二十年间成为了比较活跃的研究领域。上升序列是由Bousquet-Melou,Claesson,Dukes和Kitaev在研究(2+2)-free偏序集时提出来的。上升序列与(2+2)-free偏序集,非负的上三角矩阵以及Stoimenow’s匹配有非常密切的关联。在本文中,我们主要关注021-有禁上升序列和132-有
保守的Paf1复合物是一个多功能的复合物。在酵母中由Paf1, Ctr9, Leo1,Cdc73和Rtf1组成,而人源Paf1复合物还包括Ski8。在转录延伸过程中,Paf1复合物与活性基因的启动子和编码区相联系。Cdc73和Rtf1对Paf1复合物与染色质之间的联系是必需的。此外,Paf1复合物与FACT, Spt4-Spt5和TFIIS之间的相互作用也能够调节Paf1复合物向染色质的募集过程。