Complex definable equivalence relations and applications

复杂可定义的等价关系及应用

• 批准号: 0100439
• 负责人: Su Gao
• 金额: $ 6.75万
• 依托单位: University of North Texas
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-01 至 2005-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0100439&HistoricalAwards=false
• 关键词: Complex; definable; equivalence; relations; applications

This project concerns definable equivalence relations and classification problems that are more complex than the isomorphism of countable structures. One of the main focuses is the universal orbit equivalence relation, namely, the most complex equivalence relation induced by a Borel action of a Polish group. The investigator studies topics such as (1) the Urysohn universal metric space, the isometry group and its actions, (2) actions of the unitary group, and (3) classification problems for various topological spaces. The obvious connections of these topics to analysis, geometry and topology also bring together the development of descriptive set theory and other fields of mathematics.The descriptive set theory of definable equivalence relations has provided a standard scale on which complexity of various classification problems in mathematics can be measured. The low end of this scale is very well understood through the previous work in the field. But there has been relatively little information known for the high end. The investigator seeks to advance the knowledge of complex definable equivalence relations. Through this research it is hopeful that not only the complexity or difficulty of the mathematical problems involved can be better understood but also methods to deal with complicated and large-scale systems can be obtained and applied to other fields of mathematics and sciences.

这个项目关注可定义的等价关系和分类问题，这些问题比可数结构的同构更复杂。其中一个主要的焦点是普适轨道等价关系，即波兰群的Borel作用所引起的最复杂的等价关系。研究课题包括：（1）Urysohn泛度量空间、等距群及其作用、（2）酉群的作用、（3）各种拓扑空间的分类问题。这些主题与分析、几何和拓扑学的明显联系也使描述集合论和其他数学领域的发展结合在一起。可定义等价关系的描述集合论提供了一个标准尺度，可以在此尺度上衡量数学中各种分类问题的复杂性。通过以前在该领域的工作，可以很好地理解这一尺度的低端。但高端的信息相对较少。调查旨在推进复杂的可定义的等价关系的知识。通过这项研究，不仅可以更好地理解所涉及的数学问题的复杂性或困难性，而且可以获得处理复杂和大规模系统的方法，并将其应用于其他数学和科学领域。