ノート:P進付値
表示
v[p](x)とp進絶対値がごっちゃになっていますね。 --以上の署名のないコメントは、203.141.155.228(会話/Whois)さんが 2005年5月31日 (火) 23:54 に投稿したものです(Tunyによる付記)。
定義を見て思ったのですが、条件2は a>0 がいいのではないでしょうか? a≧0だと=0のときに色々矛盾が出てくるような。--Tuny 2011年12月31日 (土) 03:03 (UTC)
- xが0でないことを仮定している時点でaが0になることはないので、前提条件としてa=0を許容しようとしなかろうと特に問題はないです。もっと言ってしまえばaの一意性を確保する必要自体特にないので、負だろうといいといえばいいわけですが。他言語版を見てみると、en:p-adic_numberはa,bがpで割り切れなければ何でもよいとしていてa,bの一意性は完全に捨てていますね。de:p-adische Zahlはnatürlichen Zahlen a, bを用いてと表すとしていて、±をつけることでa,bの符号の任意性をつぶしていますが、それでもaは一意じゃないですし、0はnatürliche Zahlなんでしょうか違うんでしょうか?fr:Nombre p-adiqueでは整数に対して定義してから有理数に対しては差をとることで拡張しているようで、そもそも構成法が違います。それぞれ個性がありますね。--211.1.206.228 2011年12月31日 (土) 23:18 (UTC)
- 理屈は IP さんのおっしゃる通りですが、0 を含めない方が読者の混乱が少ないと見て Tuny さんの提案の通りにしました。--白駒 2012年1月4日 (水) 10:08 (UTC)