Mathematical Analysis Lecture 20240926_241019_114056
Mathematical Analysis Lecture 20240926_241019_114056
26)
Rmk Let PFAEBEIR
. ,
so we can talk about supA infA , ,
supB inf B
,
infB supA[supB
From the picture above ,
we can
say infAZ ,
Let
-
= -
E 11
=> b
=
130
.
-
,
.
bound of S .
Let Xi =
Xo-Yo ,
where N , is
,
the
largest integer
.
st
X, is still an
upper
bound of S
. I
upper bound Let Yo where N2
That is ,
Xo-" is not an
of S .
Xz = X. -
is
bound
process ,
let Xn =
Xne-Y ,
where Nn is the largest integre st An is.
an
upper
of .
S
xisos
Then we obtain a
sequence
[Xn3n0 Since Nn is .
always positive ,
so
Moreover aeS is
lower bound of MXu3n0
a
.
By completeness of IR
,
any
= EXEnto in IR Let Xn = x
.
converges .
bound of S
Claim .
X =
SupS .
(
We have to show that is
(ii)
X is an
VE30 , seS
upper
St .
S > X-3 (
1 Suppose X is not an
upper
bound of S
, ESES st .
S > X = 5- x70 .
AnIN
.
< XeCS
nIN (x-x) < S-X = 2x-s
Since Loxn
,
ENEN
=
St
X
.
=
, X
2 .
,
Ea30 st .
, .
S
> i .
Then Xh--Nm X-N -Es =
=
,
, ,
.
:=
.
.
.
, ,
Since EXY V
,
so for NIN we have X-& < Xi[XnEX < X +
that is .
IXn-X1<2 · Hence nexn =
X .
(F has MSP.
Thm and Thu 1 90
By 1 88 .
.
.
Vaso , EYEF st .
Pf .
a
m> N then
= .
any
ENEIN st .
nIN = In-x) <E. If n , ,
X+X
-
= - -
So Exn3n ,
is
Cauchy
mIN = In-Xmk/
Pf Let EX3 be Candy Then ENEN st .
n ,
.
,
a
sequence .
UNIN
VINEXN-1Xn < XN )
+
1
particular IX-XN/
,
In ,
<
,
( + (x+
VEN Let M max((xil (2), (Xx 1)
Note that (xnl < (Xil 1
= . . .
-
,
, .
+ .
-
I
M ** ---
intervals [-M 0] and Co 13 and denote
Divide [M M]
,
. into two ,
one
of two intervals which contains infinitely many
his
by Sai , bis .
i .
e
.
# IneI/Xue/a bis] ,,
= 0
.
Divide (a , bi] into 19 ,, thing Ch , , bi]
us
by 162 b2]
and denote of the intervals which containing infinitely many
,
one two
intervals [a be] .
Continue this of
st
process ,
then we obtain a
sequence
,
process , we can
chouse na na- St .
XaE [Ga .
ba].
By MSP .
Sania and base, converge Let Le .
= a , Albe = b
.
b
Note that De-Gem ,REN = b- a =
Dalbe-an) + = =
0 =
= a