Sme definitns ;

I ≤ [0 , )

处 : =
{ fx ) =
q xck [
. i * x]
1 “
→

咋淡了
EI : =
T fixIERIl a
n
homddl
x hax 作 * ][
川 品
= 1=
^ε [x ,

VrGI

dalledweramegent
[
}
=
fx =^anx ^ G
作[[ , * ]] a
法|

l
x

筑品
≤ E E [□ Fontaine s field
'
= .

TFGK [[X
'
1 anp bonded & anyo n1 n
}
|
X ]]
.

}
,

WhaeC = { fxaq . [ [ x ,
x ]
+
品
+ ) s
ε+ {
co,
Rr
0

R
,

:= : =

^1
秒 的
q继 )
]

=
K [区] ] ]

R Rinll called Robba

: =

品 nhy

计 {
品
: =
「
「
《
言
口
二
行
 a" ) 地" ii "
和[ 区] ☆ {
t
{ ≤ E ≤ { E EEt
EE
-

= -

n ① ∅
K kio
=
" ) ≤
Ri "
≤ kii " E .

ER .

≤ KI [xx ]
↓

anly
not

Lets
shudy sme
basr prpertes of these
lys .

Atethat aset, (KX) EEEq [ [ X X] ] ,

But qI [ X, X 7 ] i 3 not
any
( ↑= ) x ^= ^
)
d

以 .
吾
? x

The situutoni different fr

3

c :

leel : li ) GE B a domah & l 1 , defmes a nrm

onE
Λ
lii ) C= (
allx) ,
11 )

prot :
cil UfN) gxiE 出 ,

兹 xh 品xl
deme fHx 1gx )
::
= 1x 台
言
力
力
 This 3
i
welldefmed : Iaabel maxlad hal
≤ ,
}
>
0 when k , t∞

check
Mon
anty
it p routhe to ths B ,

e .

g .

fgx 1
) ( hx ) )

) 丰 ( txt )
医品可
x

点 ct
磊1 ) xm

( tinahheca ) xm

上
abeCtl
瓶
: )
e ) xm
≤ maxTlaal lbel c0l
, ,

}
→
0
Kl + leHt| y 0= f ( x ( gxhlx))
)

To she that E' a

3
dimenk
, wehone to ue

norm on
C ,
ive .we hanetocherk 11 ,
ndeedghes a nom
.

hst rote that I 1 ,deme a nm on the

E [ x X ] ] [ ]& ths 1 umplete

"

addithe
B

gup
,

想要有 hy suchne 就只能在 E 上了

Some ths i 3 maxmal suleet n KEIX X7]such thut
,
。
二
二
心
二音
广
音
 Ifixll ,
makes sene
,
io .
Lanventsenes withhonded ,
coeffi

Thus it suffices tocheak 1 fg 1

, = 1 f 1 ,191 ,
ff 9Ec
.

some an - o n
- - p
,

we let Nhe mmmul . s t .f1 = 1 anl

lut m he mmmal s . t . 19 |= labl

= ) ( als l 1 al tner & lanl ≥ laul Vk

labp lbel tecm & lbul ≥ lhel te

Thus
Aubu up lakbel ,

=
ele
he哥
|≤ laml

&
l 滋wekhe |=| aqbut 就tb)
= 1 a~ bul

| f 9 | Fla |= 1 fl , l 91 ,
- ) 11 ,
gues a nm on 是 ,

& CB a dimh .
 aomplement :
( . [ EX , X " ] ] [
]
B ampletewirt .
11 ,

let ( tni = XhEI

[ x, X
]a be a
camdhy q
iiviv t . .
11 ,

i . e .

( for tul-

,
≡s 盟
lan ,h
-

am , nl
(* )
-

JO n m
-
1+∞
,

Uh , an , k
-

am , k | -
→ 0 n
,
mxt ∞

lankIn nk
semene
s 3 candy
i

7 ao , : k
= 照 an k ,
ok exBt

的 s (fo - fml slan, am kl

=
(* ) n -1 ,
-

k ,

→t ∞
) 0 m
-
-

FiX m
,
ome am k ,
3
i
bomded
,

So 3 Go , k ,

= )
% q [[
←
x
x
, + ] ]了

& to fm desmad
as
= ,

#
-
。
 Λ
( iil Uw ne C
pme = ( ( x), 11 .
)

Ch the one hend VHEaKXX EGE ,

1 ^aaxkl =naa
-

| f( x

, 1

> O N 1f ∞
-

Thus ECix 13 derse m C .

On the other hond ,we dau ( a ,

11 ) ,
is amplete ,

et ) EG be Couchy wart 11
a
aey
,
.

wite = nxk
h

Byassmpim Ifo fm
, - l . -) 0 n, myts (* )

i . e .

sup | an k Am
,
-

, b | -

→ 0 n, m y +∞
-

IupartintrUKG ,
Thn , kln iBa Canchy
sequme
of q ao ki
,
=
an ,k GOK exist

Write fo
= 0
,
kxk
的 (* 1 , ktn -1 ∞ 贸
| Go k
,
-
au , kl -
00 m yto
-

,
 H % fml .

ie . fo =
和exi 3 t

Ne howe to check Go, h

- 0
ks - ∞

VE , 0
,
aM , s
. t
. 1 fo fm |< E -

= ) 190 , k
-
am , lcE UK
= ) 190 , k |≤ε+ 1 am , kl VK

=
感nl 90 k, |≤ε to

by arbittanyness
the ,
G 0
,
k
-
> 0 ky -
∞

i . e .
foG 6E
#
 tem : Ʃ= G@ 法) B a
field .

proot :Ideal :UfxEr Hx L |

Assme all = f such NB mhmal

We assme aw = L
mery

\
then
fixl = 1 - glxy

)
^
x flx) , ( 14 g (x)+ 9 ix) t … = I

fix1 =
p (x) g (x )

(x) ( 1 h (x) )
p
-

lhcx) |
k

Thus it nedme to
poly case .

i . e , wekneed loshw KX) EE

k
造 = Eh ian ths

)
, ang .

αX
5 -

heenselwecom redme to c
s ase

?!1 '

) =I
- )
( 1 αX ) ( 4 α x+α^x
-
+ . .
甘
 Λ
lemmli) ( : [ ] , 11 x )
= K [区] ] f ε q [a ] ] anso10 l
Λ F [ [ x] ] [ 0]
( ii )
( k [x] ,
11 ) =ft (a [ x] ] τ 六 ]
) | an yo
-

n -
7tr
} =
R
Λ
( iii )
( kC ( x1)
,
11 ) =
)6 [ x, x]| ar
E: = Gx [
0
o nmyn |
Λ

,
q [ x, ] 园

x NonthengyutyeXXsmommtpe
i
(
) 的[ ,x

键焱 M
X
区

r
∴
前 m .

prot :
NAtethat all of
thee ycontah h ( qixx"] ]

& qlx x ' ] ] ,

] 3
amplete wort . 11
,

we can hen tHem h qiix, X ] ][ ]

Li )
.

Thtrally , IX] . 13dhie h fEqi区 ] | Go n ]

Gimem ful
Canily
.

% =
和品 ε
q [[ x ,x * ] ] τ去]

Where ao k ,
:
nam k ,
UK

). Go ,
kEq
,
90 , k -

am hl
,
→ 0 m
-

t∞
|

= VE 00
,
aM

a t s ao , h qu hl c
ε
,
. -

. 1
「
「
「
一
二
一
》
。
。
二
 = ) 1 a |≤ Et lam,nl
,
n
tk

= 190 |≤ E
,
6

=
Go , k
= 0

}
i , e .
fo ε ifε qia]lanyo n - 14 o
.

cii )
.
Tirally ,KIX ]D dane M
]
Sfa ()
x

Gmer fmEK [ [ ] 法 ] x

喜
am , nx
^

fo 品名 Gonx ,
.
= =
"
w r. t . 11

ε q [ [ x x+ )] [孩了
,

Thus it
suffiles to shw that
Gn
- ) o ntp

,
which 3 the same asthe
roof of ( i)

( iii "
.

Trvially ,
Ellx1 .
)
sdee
BGE
.

Glen mEE
a
fo =
品 fm =
点 . nX ” w rt . .
.
11 ,

where Aom W
: h
amis min EE
Thus it cheak
suffies G 0
-

) 0 n
-
> 0
to , n

which efllens
3
tom
amin -
o ns
om
 lem
: (
i) R = R++ if

R+Λε t =Ʃ
t
( ii )

prof V 总 anx
"

( i)
”
:
,

anx ^ε
计总 品 Riry
R
=

=7
到anXu ε Kin" ) a< 1

ie 点 anx ^ε
Rrv
, tEf & anx^ε kio
" )
=
k
+

We are dme .

( ii )
anx
品 ^ε Rtnif

,
三 anx" ε
Rt =
) an = o nco

& alrn -
so
torel
n )
-
∞

.
anx^ε if
an B bonded

否
mx ^ε it
甘
言
 K 10tmite ext
Gr := k
I ≤ [ 01 )

紧
谈影
X D ( r) : = A ([ 0, r ))

We home a
map
㡭
KI → C ( AI ( L ) L )
,

f (x ) '
→ fx )

Lemma : li ) RI B a domeh

The abve
cii )
map 3
i
hjerme my map
hus
k Wecam idemtify
flxlwmith fx )

prot
∵
fix anmyenton
) Al [ n
, n
)

x
3

: Li ) Mote that k , εK
) [ [ X, 1 ] ]
x

业
Iixl . i 3 well -

defhed
saop lalructs
li .
e . ( fix| rct∞ )

flx1 glx) 看 1: nhahe x ^ε KI

.
:

.
IfGLt =
1 f 19 t VEEI
二
厂
 ) RI B a dmh

( li ) -
additue v

multplicathe :

i . e .

否 hhbe 3 x ^= akxk 在 xe
V
xEAI ( L )
reason
:~
尝 e) x

^ 点以 x 在 xl =点xhhexl
k0 N
orlelsu

=| KMTvanxk 1 belxel ,

7
-
0
Nyt∞

Mewhn
Aylerthe :
polygom
H
一
鼠
言
 Tho Ampostot lemeas ;

? ?
t !
fok then fokyx
×
⇐ fε CCAΨ q ) ,
¢0 )

ie f
has no rorns M AI ( A0 )

pod 三川 uk
“

村
∵ ,

⇐
㉑
by
WederstrassRepuratm
Thm ,

whoe K
fx1= π

) H
Ux ← x N

But thas no ho fix 1 Ux ER #

) = )

,
le
: flx )EkIv
"

tHhen TFAE
)
( i )
f Etn"
? !
ε

( i) # zf ) i Miteon 3 ir )
?!?

cilil the fmum st, Ifls 3 bomded so 1

一
 prrot of
*
hemenl :

o
*

[ i ) = ) lii ) rewton polygom

Ths 想篮 , at
2hos onzk |

( li ) = li ) .
fixs mimo [
cament on s
D
fx)ετ
'" " N ,

) ie , agoRis
)

( ii )≤ ) ( iii )
,

s . t fx941=L (
1 , | 9|
,

f = L
,

renton
poly 不会出现下述情形 =>| f 1, ct ∞
= H
ε E [ r,)

≈
? ! !
鼠
 Th ( Maymal hapal ) Asan rop 1
符 品哟
( “

Ufx) ERiu "

flr
, =
maxlfel
xε A[ )⑤
( )
,
r
0

In partmulen . RI →CLALE
④p G B

Rmh :
Brmetic
ThB ' embeddny
Dfase和 Qp
e
wirit
g fix
.
.
the nm
)= L
abme
1 . (*
.

- <l
fx )

prol
.

xply
r
f x) kxl
( =

|≤ | fixr
V 1 XFL

hally ,1
1 fx
= r

fnd partulor
The it
suffires to a me

atffti10
stept :
redve to the
ply nmral cuse .

fi
let 0 = alrr = : 1 anlpm
Nc . CM

Thms fx = anx ”
”

) " anx anx

"
1 kfixr 11 <
fix
×
XNManxn
N
-N r

anewxn 9a1
Thusit
aaffme sr
shw max

*|= r
~ =

=
glx1lr

S:
Mn assme fix1 =
aot aix tit anxn

We mtay asphe r
=l ( by
amalher firx) )
十
一
一
十
言
 & assme ( fix) 1 ,
= I

TMu we want to fud × x= )

s. t . | fex) |= I

Yn =
1 v

Asm n≥
,
2 , flx ) = 0 +x (
a a , + ax+ tmxny )

是 wwt

ly Wentn poly , 1 α ky

= ) | f ( ) |=| n +α<|= 1
x 01
a =
1

= 11
fi * ,

as desmed 业
 册
Eir1
li Kevllis Biout domnh & )B PID
”
li : )
REr ,
SJ BPID Eer .

B PID ,

ciiil R iB Riront dimerh

prot piri : F
< ? =< H )

: Li
i , e ,
≥ε n
→
1

[ r En ]
M R
,

t H)
s . .
( F G ,
) =<

EG )
BnERtV
,
"
H
=FAn tGn am ,

θ fix / 6
{τ u " ) m , ∞= ) H=FAntGn [r " τr )
cR R
,

←
,

Ecf ,
G3 ,
as dested

By lumal ,fx ) =Px) gix) P poly gEkI

=

with og hanly no zhw M iriy

lemaf g(x )
K
ε )
X

We
mey usne Px'| , h

/ 9( )| fexl
=

x 1
, ,

≈
7 gix )
ε Ei )

Somilamly , = l

Dε Een )

ie ,

g 1x) ε
[ e)
Ths Een " B aPID
二
 ]
f (x) okins
( ii ) Usy
Maninpilygm ;

fix has
hitelymery hos n ir s .
]
.

= 1 fixkgx ) gX )EK
XU(x ) =π(
) XE(f )

lummglx kin
ε
)

) RIrisl B a PID ,

2 f fix 1
El 了

fx ( 1

)
=* g( x )

=) | Hix | ,
=
*1
19 ,

= )
g /x ) 6
x
g (x) ε¢τ / ns ]

s
Ein
,
) B a PID

)
( iii ) Rt
"
"

Fa ,
Fr ε

"
Rin LF ) aF
In
,
( F , Fi ) =
byli )
人
 [S D
cam Vascl , ( FE | F/ M R
,

:
F ,
E(

Thm , R +Fk F

" s ,)
= UF Rs , + FR τ
rsScrC
1

) )
= UFRES
rSar
1
<

FR

reasm
clorm
of ;
F =
π ( **
X加 GE ( F ) ME (Fr )
.

≤ -|
rN )

= ()
pes "
Ths n ( F , Fr )

X 0 E [ F ) El 后 )

Er 1 No ) < S

But TI ixk ) B amite ppoduet ,

X6 ε E( 有)ME ( Fr )

≤1 NokS
[s )
= ) a mit m R

= (t
,
FD ,
as desmal
=
(

业
一二
烈 : i )
CE += Et Λ E

( ii )ε t
=是去 ]
 海 : θ f , gR ,
1 fg 1 , =| H 1 , 19 ) ,

poot : .
if 14H ) ,
t∞

, "
then
fgEn are
)

1
fg hasmitely tho nearl
mony
) so are
feg
τ ", )
← )
f g {,
ε

=>
| f1 ,
ctr
& 19 | , ct ∞

,
f
1 fg 1 , =+∞

= | f 1
, =t ∞ n 1i = t∞

#
牛。
 antyiiEt ? a
fied .

E +| o
*
ii "
(
R =

pproot : ftex1 oEf

[ n,)
( x) ε { ary

fuxs hen mitelyay mcniy

nots
= 由> r sit ,

fix) has o nots m [ r " 1 )

ε ktr
'
)
f
( glx 1=
x/
1
ag )

(别
*
Guess ;
r
→,
√ 19
l =+
gheas
fritely
√ =
7
ga ετ
r ", 1 ) mery noot
BD

ie .

fs i 't oh Ef

( iil ufEkx
τ nD
i. e
. fg = ag K
1
ε

=> | H 1 | 9 ) :1
,
,
=> 1f1 ,
cto

i. e

,f ε E 10 .
#
心
 x

anly
)
x道1
=
1 . 4:

prot E Ekt
+
: ,

) ≤ kt)
x x
= [
ε

if
x

Comesely fak 0)
kt
.

.
, = R

i
goRt L
,
()
gx
,
=
.
e , a + s
t
f1x
/

)f
.ghas ne ho h
AI( φp )
lemarf 6 it

=
1 f ε 1x

Antty of
: 号 Ghulkthasno poles

K
then 岳 ε

prof : Rt i 3Biount domh ,

Thu ( 9 h ) =L
mny
we ussme ,

)
Bynssumplm , hto on [o , )

= h ε kt 1 x
甘
非
 = 7
号 Rt ε

autly :
mulkt) n Et = ulE )

proof ;
七奇 = {
cul收 ) ^

=1 . f
, gokt aphe )
=
f &g has no ammm
h

hElt 1
fmitely m [ r, )
may hos

But f =
hg m
[ r
, )

) g hes no awon [ ri )

f has
mitely meny
hos m [r , )

hrally
f & ghuve fmitely mary hos m [u , r ]
hath
3
fl g havemitely mny
os om o ,
r )

llemal ,
=
f
ga {
c 0. )
=
{
f

-
)
号 culk )

CAntly
:
删 : ( R
i "
x
.
qin )
+

( ii ) R = R
+
Ef

prot KEr " " RtEin "

,
i k= 品 R
YEir , " =k ε f
: ( =
+
" )

"
bujaki
品

( il a gtakt
"!
sit }
.

I oarot gt Tdmn of g ]
甘
一
心
甘
 g gth
=

???
&

恤
T : ET = E

×
pmot :
.
EtEE u

E B
amplete √

Et iB deme M E
0”
E
≤ ≤
.

Q( X 1 ) 六了 EETEE
Λ
.

q . ( x ) )六] = E

ET =
E
冄