实数系

有理数的稠密性

我们知道。任何两个有理数之间还有有理数,下面证明一个更强的结论

$\color{red}{\textbf{命题1}}$

任意一个开区间内都有无穷多个有理数.

首先, $\forall x \in \mathbb{R}, \forall p \in \mathbb{N}^{+}, \exists q \in \mathbb{Z}$ 使得
$q \leqslant p x<q+1,\mbox{由此得}0 \leqslant x-\frac{q}{p}<\frac{1}{p}$
从而 $\left|x-\frac{q}{p}\right|<\frac{1}{p}$ ,因此,实属都可以用有理数来逼近。
其次,每个开区间内至少有一个有理数。
事实上,对任一开区间 $(a,b),\forall x \in (a,b)$ ,则 $p \in \mathbb{N}^{+}$ 充分大时, $x-\frac{1}{p} \in(a, b)$ ,于是由上面的证明, $x-\frac{1}{p} \in(a, b)$ 使得 $0 \leqslant x-\frac{q}{p} < \frac{1}{p}$ ,因此 $\frac{q}{p} \in(a, b)$
最后,由于每个区间内都有有理数,从而可知每个区间内必有无穷多个有理数.
事实上,若某区间 $[a,b]$ 只有有限个有理数,则可设r是其中最小的有理数,于是子区间 $(a,r)$ ,矛盾。

上确界与下确界

$\color{red}{\textbf{定义1}}$

设S是一个非空数集,如果 $\exists M \in \mathbb{R}$ ,使得 $\forall x \in S$ ,都有 $x \leqslant M$ ,则称 $S$ 是有上界的（boundedabove),而称 $M$ 是 $S$ 的一个上界(upper bound)；
如果 $\exists m \in \mathbb{R}$ ,使得 $\forall x \in S$ ,都有 $x \geqslant m$ ,则称 $S$ 是有下界的(bounded below),而称 $m$ 是 $S$ 的一个下界(lower bound).当数集 $S$ 既有上界,又有下界,则称 $S$ 为有界集.

由此可见, $S \text { 有界 } \Longleftrightarrow \exists C>0$ ,使得 $|x| \leqslant C, \forall x \in S$ 。
显然,任何有限区间 $[a,b]$ 或 $[a,b)$ 或 $(a,b]$ 及其有限个并都是有界集,而自然数集 $\mathbb{N}$ 、有理数集 $\mathbb{Q}$ 以及实数集 $\mathbb{R}$ 都是无界集.
另一方面,对闭区间 $[a,b]$ 而言, $b$ 是它的最小上界,且 $b \in [a,b]$ ,这时 $b$ 是闭区间 $[a,b]$ 的最大数, $b=\max[a,b],a=\min[a,b]$ ,而对区间 $[a,b)$ 来说, $[a,b)$ 没有最大数,但 $b$ 为其最小的上界.我们将把最小上界称为上确界.严格定义如下.

$\color{red}{\textbf{定义2}}$

设 $S$ 是一个非空数集,如果存在实数 $\beta$ 满足下列条件：

$\forall x \in S,x \leqslant \beta;$

$\forall \varepsilon>0, \exists x \in S, \text { 使得 } x>\beta-\varepsilon,$
则称 $\beta$ 为 $S$ 的上确界,记为 $\beta=\sup S$

类似地, $\alpha$ 称为 $S$ 的下确界记为 $\alpha=\inf S$ ,如果

$\forall x \in S, x \geqslant \alpha;$

$\forall \varepsilon>0, \exists x \in S, \text { 使得 }x<\alpha+\varepsilon$

注:由定义可知, $S$ 的上确界 $\beta=\sup S$ 如果存在,则 $\beta$ 是 $S$ 的一个上界,而且是 $S$ 的最小上界,即任何小于 $\beta$ 的数都不是 $S$ 的上界.
例题

设 $S=(0,1), T=\{x \mid x$ 为 $(0,1)\}$ 内的有理数, 則 $\sup S=\sup T=1, \inf S=\inf T=0$ ,但这两个集合都既没有最大数,也没有最小数.

确界存在原理

$\color{red}{\textbf{定理1}}$ (确界原理——实数系连续性定理)

非空有上界的数集必有上确界；非空有下界的数集必有下确界。

$\color{red}{\textbf{命题2}}$

非空数集的上、下确界都是唯一的.

证明:证明下面仅证明上确界的唯一性.设 $\beta_1,\beta_2$ 都是非空数集 $D$ 的上确界,若 $\beta_1<\beta_2$ ,则由 $\beta_2$ 为 $D$ 的上确界的定义知, $\exists x \in D, x>\beta_{1}$ ,但此与 $\beta_1$ 为 $D$ 的上确界矛盾.因此 $\beta_1 \geqslant \beta_2$ 、同理, $\beta_2 \geqslant \beta_1$ .由此知, $\beta_2 = \beta_1$ .

最后编辑于：2020.11.26 12:27:37

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 218,451评论 6赞 506
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 93,172评论 3赞 394
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 164,782评论 0赞 354
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 58,709评论 1赞 294
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 67,733评论 6赞 392
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 51,578评论 1赞 305
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 40,320评论 3赞 418
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 39,241评论 0赞 276
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 45,686评论 1赞 314
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 37,878评论 3赞 336
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 39,992评论 1赞 348
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 35,715评论 5赞 346
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 41,336评论 3赞 330
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 31,912评论 0赞 22
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 33,040评论 1赞 270
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 48,173评论 3赞 370
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 44,947评论 2赞 355

实数系

有理数的稠密性

上确界与下确界

确界存在原理

推荐阅读更多精彩内容