注意:这个页面被嵌入许多页面,编辑时请谨慎,并注意<noinclude>和<includeonly>的用法。
Dedekind 分割(戴德金分割、戴德金分划)是一个建立实数完备性的理论。它的目标是构造一个“实数集”,使它能和直线上的点一一对应,而这种构造方式可以形象地理解为将代表实数轴的直线从任意一个位置切开,使得切点所代表的数要么是左端直线的最大数,要么是右端直线的最小数,亦即切点总代表一个实数。
戴德金分割[]
将实数分为两大类 和 ,如果满足条件:
- 和 非空,且 ;
- ,都有 或 ;
- 如果 ,则 ;
那么,这样的分拆叫做实数域的一个分划,记为 , 叫做分划的下类, 叫做分划的上类。
戴德金原理[]
Dedekind 分割(戴德金分划基本定理):对于实数域上的任何一个分划 ,总会有一个实数 ,使得 是下类 的最大数或者上类 的最小数。这等价于对于实数域上的任何一个分划 ,总会有一个实数 ,使得
证明[]
通过实数朴素定义(无限小数公理)可以证明戴德金原理。
应用[]
它可以证明实数完备性的其他等价定理,例如确界定理。
参考资料
- 华东师范大学数学科学学院, 《数学分析(上)(第五版)》, 高等教育出版社, 北京, 2019-05, ISBN
978-7-0405-0694-5
.
数学分析其他学科(学科代码:1103499,GB/T 13745—2009) | |
---|---|
实数理论 | 无限小数公理 ▪ Dedekind 分割 ▪ Cantor 基本列方法 ▪ 确界 ▪ 有界集 ▪ 区间与邻域 ▪ 确界定理 ▪ 区间套定理 ▪ 单调有界定理 ▪ Cauchy 收敛准则 ▪ Bolzano-Weierstrass 定理 ▪ Heine-Borel 定理 ▪ 界点以及界点定理 ▪ 实数的大小比较 ▪ 完全覆盖以及 Botsko 定理 ▪ 内含集列原理 |
不等式 | 基本不等式 ▪ 均值不等式 ▪ Cauchy-Schwarz 不等式 ▪ Bernoulli 不等式 ▪ Jensen 不等式 ▪ Young 不等式 ▪ Hölder 不等式 ▪ Minkowski 不等式 ▪ Chebyshev 同调不等式 ▪ Hadamard 不等式 |
特殊常数 | 自然对数的底 ▪ Euler 常数 ▪ Euler 数 ▪ Bernoulli 数 ▪ Fibonacci 数列 |
场论初步 | 向量值函数 ▪ 向量值函数的微分 ▪ 场 ▪ 梯度 ▪ 通量 ▪ 散度 ▪ 环量 ▪ 旋度 ▪ 保守场 ▪ 平面向量场 ▪ 曲面向量场 |
其他主题 | 符号函数 ▪ 阶乘 ▪ Lagrange 等式 ▪ Dirichlet 函数 ▪ Riemann 函数 ▪ 取整函数 ▪ Dirichlet 级数 ▪ Wallis 公式 ▪ 二項式定理 ▪ 参数曲线 ▪ 函数同调 |
所在位置:数学(110)→ 数学分析(11034)→ 数学分析其他学科(1103499) |