絶対値が定義できると、差の絶対値として距離を定義できます。その事情はp進の世界でも同じです。2つの有理数の差がpでよく割り切れれば、つまり差のp進絶対値が小さければ、この2つの数を「近い」とみなします。 (%i1) texput(nounify(padic_norm), lambda…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。