数学 > 数论
[提交于 2025年8月21日
]
标题: 线性序和实数轴
标题: Linear Orders and the Real Line
摘要: 密集线性序(有/无端点)、可分线性序、完备线性序、线性序的可数链条件、Suslin线/Suslin树以及Suslin问题的定义。Cantor定理的陈述和证明,该定理将(Q,<)表征为在同构意义下唯一的可数密集线性序,没有端点,该推论将(R,<)表征为在同构意义下唯一的可分完备密集线性序,没有端点,每个可数线性序都可以嵌入到(Q,<)中(因此,嵌入到(R,<)中)。解释为什么Suslin线和Suslin树是等价的,什么是Aronszjan线/树,它是Suslin线/树的一个弱化形式。Suslin问题的历史和独立性。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.