MATH1090 · 4
本章骨架 · 序与完备性
按笔记顺序列出已记录到网上的定义与定理陈述,并连回有记录关系的确切证明步骤。
6 节公开笔记中,0 节已有陈述记录到网上。本页只列出这些陈述,并非本章全部定理;有记录的关系仍在逐条审核。
全序与有序域
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
上下界、上确界与下确界
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
完备性与 Q 的缺口
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
实数公理与第一次近似构造
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
Dedekind 分割与 Q 的嵌入
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。
小数展开与无理数
已记录 0 条定理 · 0 个定义
本节的陈述尚未记录到网上。请阅读原笔记中的定义与定理。