an/n ---> t (p進距離で収束)となるのである。
さて非存在を示そう。コーシー列ならば特に
|ap^n/p^n-ap^(n+1)/p^(n+1)|pが小さくならねばならぬ、すると
pap^n-ap^(n+1)がp^(n+1)よりはるかに沢山 p で割れなければならぬが そもそも an<=n なので無理である。 p 進物理学は遠い…
(おまけ : p 進距離をはじめて聞く人の為に)
p を素数として|n|p を
n が p でちょうどk 回割れるとき p-kと定めたものがp 進絶対値です。三角不等式を示して見ましょう…
Written by 立川裕二。メールは こちらにお願いします。