p進解析(2)冪級数の原点での連続性
前回:p進解析(1)冪級数の収束半径 - 数学大好き宣言!
次回:p進解析(3)一致の定理 - 数学大好き宣言!
pを素数、をp進数列とする。
が(vはある整数)のとき収束すれば、
からへの関数が定まる。
定理:はx=0で連続である。
証明:だから、を示せばよい。
rをを満たすあるp進数とする。のとき
だから. よって
より は収束するから、
よっては有界だから、 は有界。よってのとき は0に収束するから、
も0に収束する。
よって