实数系基本定理-实数系基本定理

一、有理数集、无理数集与实数集的定义

有理数集是我们在日常生活中频繁接触的数字集合，用数学符号表示为Q，它是由所有可以写成两个整数之比的数构成的。有理数集是稠密的，但在实数轴上却呈现出间隙的形态。
例如，数轴上存在无数个无法用有理数表示的点，这便是无理数集。

无理数集是Q的补集，它包含了所有不能写成两个整数之比的实数。这些数在实数轴上稠密，但不稠密，且无间隙。实数集R是无间隙且稠密的，这是实数最本质的特征，也是微积分能够进行变量代换和极限运算的理论基础。

实数集既包含有理数，也包含无理数。三者构成了R的层次关系，而实数系的这三个基本定理正是界定R的完整集合。

二、有理数集、无理数集与实数集的关系

1.稠密性与间隙性

有理数集在R中是稠密的，但存在间隙。这意味着在R的任何两个相邻数之间，都可能包含无理数，甚至有理数。它的间隙性质表现为：对于任意的两个有理数q₁和q₂（q₁ < q₂），总存在另一有理数q使得q₁ < q < q₂。

无理数集在R中是无间隙的，但存在不稠密。这意味着在R的任何两个无理数之间，都可能包含有理数，甚至无理数。它的不稠密性质表现为：对于任意的两个无理数r₁和r₂（r₁ < r₂），总存在另一无理数r使得r₁ < r < r₂，但r不一定是无理数。

实数集在R中是无间隙的，且稠密。这意味着在R的任何两个实数之间，都存在第三个实数。这是R作为完备集的核心特征，它保证了极限运算的收敛性。

2.存在性等

有理数集既有界又有无穷个元素，且每个元素都是可数的。

无理数集既有界又有无穷个元素，且每个元素都是可数的。

实数集既有界又有无穷个元素，其基数与有理数集相同，都是不可数的。

3.间隙与不稠密的联系

间隙：有理数集有间隙，无理数集无间隙。

不稠密：无理数集不稠密，有理数集稠密。

4.密度的互逆性

有理数集的稠密性意味着无理数集无间隙。

无理数集的无间隙性意味着有理数集稠密。

三、实数集的闭集与开区集

1.闭集

有理数集的闭集包含了其所有极限点，即q₁ < q < q₂

有理数集的闭集不包含其极限点，即q₁ < q < q₂的极限可能是有理数或无理数。

无理数集的闭集包含了其所有极限点，即r₁ < r < r₂的极限可能是有理数或无理数。

无理数集的闭集不包含其极限点，即r₁ < r < r₂的极限可能是有理数或无理数。

2.开区集

有理数集的开区集不包含其极限点，即q₁ < q < q₂的极限可能是有理数或无理数。

有理数集的开区集包含了其所有极限点，即q₁ < q < q₂的极限可能是有理数或无理数。

无理数集的开区集不包含其极限点，即r₁ < r < r₂的极限可能是有理数或无理数。

无理数集的开区集包含了其所有极限点，即r₁ < r < r₂的极限可能是有理数或无理数。

四、实数系的完备性与极限

1.完备性定义

实数系的完备性是指：如果一个非空子集非空，且有上界，那么它就有上确界。这是微积分研究收敛性、函数连续性的基石。

2.极限的唯一性

极限的定义：对于函数序列函数的极限是指序列的通项在通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项。

3.一致收敛性

一致收敛是指函数序列的通项在通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个通项的某个