ecall range of set

시
L B U B
( ]
,

,
.

, greatest LB
임 least

,
U -
B .

A =
E KEQI KR L 2
y
내 Sup A =
V또 [ uot in A ! )

80 ,
L ,
U B .

P.

: f KEc s that is bound above has the L .

U .
B

0
Thm ) Let s ba an ordered set with LwBz P .

③
let
ㅡ
B cs be a
noempty set that is bounded below

let 0
L be the sat af al oner bounds Of B .

Then ,

: ) sup L exist in S

: : ) If we let α= sup L than α= inf B

Pd >

:) ,
③ since B F & so m e can choose b EB

by def of L KeE 티 l드 b ⇒ b i5 bound ofL

, ,
upper
= -
s hans L
. U B
. P
> suPL exist

: : ) hat shon , a is L B of
[
ue .

.
B …

Ca )

비 7 oannot be L z of B ( b )
β α a .
-
…

br la ) He < acasup L ) ,
l camnt be a m UB . . f 나
,

4 B CB
4 Hl < a cannotbe in "

일
.

>
: α ≤ b and 비 b EB .
contradict ↓

→ tlEl lE α ⇒ l ≤ BA
a <

1
,

br cb )
,
f
X
then
β sine i
supti , . a = β

) f β El and as β
FIELD

def ) field F with addition (+ )

y
2
A
E
is a
set operations

multiplication L ,
]

which batisfy follo

the wing axioms

For addition tx 야 F

1
, Y ,
xty

( AJ k x
1 y E F ,
xty =
Y+ 가

비 u , y E F ( xty ) += x + Cy + Z )
,

희 o tF st - a +x
=
x Ux EF
,

eF -9 oy xk -

st xtc - a
)

b mnl 유사 m
래 키 F s t 1 "c x θ cEF diff

1
,

은 위의 내용과 거의 .

[M )
,

히 비야 ,
7
I st
윈야 ( k . t

( D) distribution ruless
-

비 , y ,고 EF , xKy + Z ) =
xy + KZ

2 tn but * )t π
→
e .

g -
) Q 7
x
5
: =
( 01 ,
,
7

.
3
.
43 00 d 5 .
( π : smNt Fleld )
,

F is fceld
poposition ) Let

1 .
비 asy ,
ZE F

faL
i x+ y =
xx 고 then = z Pf ) = y + = Y
+ ( x +L - 라) ) = y
+x + l -x)

b ) : f xty 그 C tlen y =
⑦ =
( dty ] + L - x ) =
( x + Z ) + ( -

x )

CJ : f xty = 정
then = -x =
저 ( pt - x ) ) =
2+ 0

d ) -

( -x ) = x =
Z

N
등둥 의 방식으로 증명 가능 .
2 .
AK , Y, ZEF 3 t ①
,

서) : f xyf xz then Y = Z

b) : f xy =
c ten 여

CJ if 2 xy 수 then
y =
때
d ) 림) = 가

3 . + x , Y
, EF

[ □
a
) O 그

b ) : f 2 o ,
yFo then xyFp

C ) < x) 4 = ( xy ) = K )
(
y
-

dL ) l - a ) l -y )
=
cy
def ) An ordered field is a field k that is also a n orderedset st .

: ] Kx y .
,
ZEF , xcy implles β+ Z < Y + Z

:: ) Kc , YEF xxo and y 7 . implies x 3 y 30

,

Zf x 3 o 내 saly x is po sitive
,

If
:
xK ∞
,
"
negative

If x ? O
,
" hon -

hegative

If x ≤ o
,
" hon -

positive

propostkion > let F be an ordeled field

Vx ,
Y, Z ,
W ER he have

; ) If 230 then -

c < a und Vice versa

ii ) If x3 Y 7 를 then 4 < x 고
9
o x
,

If xco
, Y 2 Z then cy > KZ

ii : ) 코f xFo then xz 78
.

:v) iIf <

o
xcy , then oay * sx
일
Real Field

isomar phism
M
def > TVen
exist a UNIawE ordered field IR With Lv B R

Moreover ,R comtalns Q as a subfield

G R
'

s
popositiom = IR
'
s
poposition .

Pf by bedekind -

cantor in 1872 .

L " Appendix A 게자세한 증명

pf ) only sKetch

1 . ion of
construct 1 R from
②

def > subset of zatisfies the bllowing

R

a is a cut .

: ) α F 01 α Fa
.

) f
i : 고
PE α
,
qER ,
qap then AEa
i ]
: "
If PE α then pE f br sone AEa

eg - )
α= E
xEaQI xz ( 23 >
α is cat