有理数
各种各样的数 |
基本 |
延伸 |
其他 |
数学上,可以表达为两个整数比的数(, )被定义为有理数,例如,0.75(可被表达为);整数和整数分数统称为有理数。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/Number-systems.svg/220px-Number-systems.svg.png)
与有理数相对的是无理数,如无法用整数比表示。
有理数与分数形式的区别,分数形式是一种表示比值的记法,如 分数形式是无理数。
所有有理数的集合表示为Q,Q+,或。定义如下:
词源
编辑有理数在英文中称作rational number,来自拉丁语rationalis,意为理性的;词根ratio,拉丁语意为理性、计算。[1]代表“比例”的英文ratio一词在历史上出现得要比有理数(rational number)一词更晚,前者最早有记录是1660,而后者是1570年。[2][3]
运算
编辑有理数集对加、减、乘、除四则运算是封闭的,亦即有理数加、减、乘、除有理数的结果仍为有理数。有理数的加法和乘法如下:
两个有理数 和 相等当且仅当
有理数中存在加法和乘法的逆:
- 时,
两数相乘,同号得正异号得负,并把绝对值相乘。
古埃及分数
编辑古埃及分数是分子为1、分母为正整数的有理数。每个有理数都可以表达为有限个两两不等的古埃及分数的和。例如:
对于给定的正有理数,存在无穷多种表达成有限个两两不等的古埃及分数之和的方法。
形式构建
编辑数学上可以将有理数定义为建立在整数的有序对上 的等价类,这里 不为零。我们可以对这些有序对定义加法和乘法,规则如下:
为了使 ,定义等价关系 如下:
这种等价关系与上述定义的加法和乘法上是一致的,而且可以将Q定义为整数有序对关于等价关系~的商集: 。例如:两个对 和 是相同的,如果它们满足上述等式。(这种构建可用于任何整数环,参见商域。)
定义大小
编辑Q上的大小可以定义为:
- 当且仅当
- 并且
- 并且
然后 是指 但 。亦可在“小于”概念之上引入“大于”的概念,即: 当且仅当 。此排序中,每一对有理数 之间皆可比较,必有且仅有以下关系之一:
- , , 。
性质
编辑有理数是特征为0的域最小的一个:所有其他特征为0的域都包含 的一个拷贝(即存在一个从 到其中的同构映射)。
所有有理数的集合是可数的,亦即是说 的基数(或势)与自然数集合 相同,都是阿列夫数 ,这是因为可以定义一个从有理数集 映至自然数集合的笛卡尔积 的单射函数,而 是可数集合之故。因为所有实数的集合是不可数的,所以从勒贝格测度来看,可以认为绝大多数实数不是有理数。
有理数的序是个稠密序:任何两个有理数之间存在另一个有理数,事实上是存在无穷多个。此外,有理数集也没有最大和最小元素,所以是无端点的可数稠密全序(dense linear order without endpoints)。康托尔同构定理说明,任何无端点的可数稠密全序必定序同构于有理数的序,换言之,若不辨同构之异,则有理数的大小序是唯一具此性质的序结构。
实数
编辑有理数是实数的稠密子集:每个实数都有任意接近的有理数。一个相关的性质是,仅有理数可化为有限连分数。
依照它们的序列,有理数具有一个序拓扑。有理数是实数的(稠密)子集,因此它同时具有一个子空间拓扑。采用度量 ,有理数构成一个度量空间,这是 上的第三个拓扑。幸运的是,所有三个拓扑一致并将有理数转化到一个拓扑域。有理数是非局部紧致空间的一个重要的实例。这个空间也是完全不连通的。有理数不构成完备的度量空间;实数是 的完备集。
p进数
编辑除了上述的绝对值度量,还有其他的度量将 转化到拓扑域:
设 是素数,对任何非零整数 设 ,这里 是整除 的 的最高次幂;
另外 。对任何有理数 ,设 。
则 在 上定义了一个度量。
度量空间 不完备,它的完备集是p进数域 。
参见
编辑参考文献
编辑- ^ 三平方の定理 (ピタゴラスの定理) の歴史 - 何ゆえ有理数と呼ぶか ? - 名前の由来 -. asait.world.coocan.jp. [2020-10-09]. (原始内容存档于2016-01-12).
- ^ Oxford English Dictionary 2nd. Oxford University Press. 1989. Entry ratio, n., sense 2.a.
- ^ Oxford English Dictionary 2nd. Oxford University Press. 1989. Entry rational, a. (adv.) and n.1, sense 5.a.
- ^ 菲赫金哥尔茨; 杨弢亮 译; 叶彦谦 译; 郭思旭 校. 微积分学教程(第一卷) 第8版. 高等教育出版社. : 2. ISBN 5-9221-0436-5.