数学分析简明教程答案(尹小玲 邓东皋)

第九章 再论实数系

§1 实数连续性的等价描述

2211.{}({},{})1

(1).1; sup 1,inf 0;

(2)[2(2)]; sup ,inf ;

1

(3),1,(1,2,); sup ,inf 2;

1

(4)[1(1)]; n n n n n n n n n n k k n n n n x x x x x x n

x n x x x k x k x x k n x n ++∞-∞=-===+-=+∞=-∞==+==+∞=+=+- 求数列的上下确界若无上下确界则称，是的上下确界

： sup 3,inf 0;

(5) sup 2,inf 1;12(6)cos ; sup 1,inf .132

n n n n n n n n x x x x x n n x x x n π=====-=

==-+2.(),(1)sup{()}inf (); (2)inf{()}sup ().

(1)sup{()},.,();

.0,()..,();

.x D

x D

x D

x D

x D

f x D f x f x f x f x A f x i x D f x A ii x D f x A i x D f x A ii εεε∈∈∈∈∈-=--=-=-∀∈-≤∀>∃∈->-∀∈≥-∀>设在上定义求证：

证明：设即有

对有 对使得 于是有

对有 对0,().inf (),inf (),sup{()}inf ()

x D

x D

x D

x D

x D f x A A f x A f x f x f x ε∈∈∈∈∃∈<-+-==--=-使得 那么即因此有

成立。

(2)inf{()},.,();

.0,()..,();

.0,().sup (),sup (),x D

x D

x D

B f x i x D f x B ii x D f x B i x D f x B ii x D f x B B f x A f x εεεε∈∈∈=-∀∈-≥∀>∃∈-<+∀∈≤-∀>∃∈>---==-设即有

对有 对使得 于是有

对有 对使得 那么即因此有

inf{()}sup ()

x D

x D

f x f x ∈∈-=- 成立。

111222223.sup ,,{},lim ;,

.sup ,.,;.0,,.11,,;

2211

,,;

22n n n n E E E x x x E i E i x E x ii x E x x E x x E x ββββββεεβεββεββ→∞

=∉=∈<>=∀∈≤∀>∃∈+>=∃∈≥≥-=∃∈≥≥-设且试证从中可选取数列且互不相同使得又若则情况又如何？

证明：由于那么可知对有成立对使得 那么

取则使得 取则使得 333330011

,,;

22

11

,,;

22

{},lim {}(),;,,2

,,lim n n n n n n n n n n n x E x x E x x E x x N n N x εββεβββαβ

ααβεβαβε→∞

=∃∈≥≥-=∃∈≥≥-∈=-=∃=

∀>-=->

取则使得 取则使得 我们得到数列且由夹迫性原理可知有成立。

如果有无限个数彼此相同设等于那么必有否则可知对有使得成立这与;,{},{}(;){}.

.,[1,2],{2,1,3,51}n n n n x E x x x ii E E E βββ→∞

=∉<>∈==矛盾但是我们知道矛盾。因此

至多只有有限个数彼此相同我们只需要将中的相同的数剔除剔除到只余一个如果还有有限个彼此相同的数,继续剔除即可就可以得到满足条件的数列如果则可能找不见这样的数列。对于我们可以找见满足条件的数列,但当的时候,我们找不见这样的数列。

124.,,.{}lim ,{},{} .{}lim ,100,,100min{,,,,100},n n n n n n n n n N i x x a x x ii x x N n N x m x x x →∞

→∞

+∞-∞==+∞>>= 试证收敛数列必有上下确界趋于的数列必有下确界趋于的数列必有上确界。证明：对于数列如果有那么可知数列必有上下界那么可知数列必

有上下确界。

若对于数列如果有那么对于存在当时,有成立。

那么我们取可以知道对{}{} .,n n x x x m x iii ∈>-∞于任意可知有成立,于是数列有下界,则由确界定理可以知道此数列必有下确界。同理可证得趋于的数列必有上确界。

5.(1); ;

1

(2); 1;

(3); (1);

1

(4), (1).n n n n n

n x n x n

x n x n

=-=+=-+=-试分别给出满足下列条件的数列：有上确界无下确界的数列含有上确界但不含有下确界的数列既含有上确界又含有下确界的数列既不含有上确界又不含有下确界的数列其中上下确界都有限.

[,]

[,]

',''[,]

[,]

[,]

6.()[,],[,]sup ()inf (),[,]sup

(')('').

sup (),inf (); .[,],(),f x a b x a b f x x a b x a b x a b f x a b a b f x f x a b f x f x f x f x i x a b f x f ωωαβα∈∈∈∈∈=-=-==∀∈≤设在上有界定义求证：

证明：设那么可知对于有121122122112();

.0,'[,],''[,]('),('').

22

,[,],(),();(),(),()(),()()()()x ii x a b x a b f x f x x x a b f x f x f x f x f x f x f x f x f x f x βεε

εαβαβαβαβαβα≥∀>∃∈∈>-<+∀∈<><>-<--<--<成立对于使得 对于有于是 成立,即****

1212**

12**12',''[,]

.

0,,[,],(),(),22

()(),()().

sup

(')(''),[,x x a b f x x a b f x f x f x f x f x f x f x f x a b βεε

εαβαβεαβεαβω∈-∀>∃∈>-<+->--->---=- 由于对于使得即

成立故有 综上可知即

',''[,]

]sup

(')('').

x x a b f x f x ∈=-000000010107.(),11()lim ,.

()()0.

;()0,0,()()3

f f n f f x x x x x n n f x x x f x x x x f x f x ωωωεδδε

→∞⎛

⎫=-+ ⎪⎝

⎭=∀>∃>-<-<设在附近由定义且有界定义

证明：在连续的充要条件为证明：必要性如果在连续,那么对于总当的时候有 成立。 1112001011020120021112

lim

0,,,.211,,,,()(),3()().

3

110,,,,()(n N n N n n n

x x x x x x f x f x n n f x f x N n N x x x x n n f x f x δδεδε

ε→∞=∃><<⎛

⎫∀∈-+-<-< ⎪⎝

⎭-<⎛

⎫∀>∃>∈-+ ⎪⎝

⎭- 由于因此当的时候有即 那么对于由于因此同理我们可

得 综上有对于当的时候,对于有

20012)()()()(),

333

f x f x f x f x εεε

≤-+-<+=