主題
Search

p-adic 範數


任何 非零 有理數 x 可以表示為

 x=(p^ar)/s,
(1)

其中 p素數rs 是不可被 p 整除整數,並且 a 是唯一的整數 xp-adic 範數定義為

 |x|_p=p^(-a).
(2)

也定義 p-adic 值

 |0|_p=0.
(3)

例如,考慮分數

 (140)/(297)=2^2·3^(-3)·5·7·11^(-1).
(4)

它具有以下 p-adic 絕對值

|(140)/(297)|_2=1/4
(5)
|(140)/(297)|_3=27
(6)
|(140)/(297)|_5=1/5
(7)
|(140)/(297)|_7=1/7
(8)
|(140)/(297)|_(11)=11.
(9)

非零有理數 xp-adic 範數可以使用 Wolfram 語言計算如下。

  PadicNorm[x_Integer, p_Integer?PrimeQ] :=
    p^(-IntegerExponent[x, p])
  PadicNorm[x_Rational, p_Integer?PrimeQ] :=
    PadicNorm[Numerator[x], p] /
      PadicNorm[Denominator[x], p]

p-adic 範數滿足以下關係

1. |x|_p>=0 對於所有 x,

2. |x|_p=0 當且僅當 x=0 時,

3. |xy|_p=|x|_p|y|_p 對於所有 xy,

4. |x+y|_p<=|x|_p+|y|_p 對於所有 xy ( 三角不等式 ), 以及

5. |x+y|_p<=max(|x|_p,|y|_p) 對於所有 xy ( 強三角不等式 )。

在上面,關係 4 可以從關係 5 輕易推匯出,但是關係 4 和 5 在更一般的賦值理論中是相關的。

p-adic 範數是 p-adic 數代數的基礎。


另請參閱

最大整除指數, p-adic 數

使用 探索

請引用為

Weisstein, Eric W. “p-adic 範數。” 來自 Web 資源。 https://mathworld.tw/p-adicNorm.html

學科分類