主題
Search

非阿基米德賦值


域 K 為任意特徵的域。設 賦值 v:K->R 並 {無窮大} 由以下性質定義

1. v(x)=infty<=>x=0,

2. v(xy)=v(x)+v(y) 對於所有 x,y 屬於 K,以及

3. v(x+y)>=inf{v(x),v(y)}.

那麼 賦值 v 被稱為非阿基米德賦值,並且 域 K 被稱為非阿基米德賦值域。例如,對於 K=有理數域 Q,如果 x 屬於 Q*x 可以分解為 x=p^tx_0,其中 t 屬於整數集合 Z 並且 x_0 的分子和分母都不包含 質數 p。那麼 v(x)=v_p(x)=t 是一個非阿基米德賦值。

另一個例子可以透過令 K=F_r(1/T) 為有限域上的形式洛朗級數域構建,其中 r 個元素 有限域 F_r,取 k=F_r(T)商域 F_r[T]變數 T有限域 F_r 的多項式環),並設定 v(0)=無窮大。如果 x 屬於 k^* 寫成 (1/T)^ax_0,其中 x_0 的分子和分母與 變數 T 互質,那麼 v(x)=a 是一個非阿基米德賦值。

賦值 v 為一個非阿基米德賦值,並設 alpha 屬於實數集合 R0 小於 alpha 小於 1。非阿基米德絕對值 絕對值 |·|_v:K->[0,+無窮大) 透過設定 |x|_v=alpha^(v(x)) 獲得。

絕對值 |·|_v 具有以下性質

1. |x|_v=0<=>x=0

2. |xy|_v=|x|_v|y|_v

3. |x+y|_v<=max{|x|_v,|y|_v} (非阿基米德三角不等式)。

域 K 上的絕對值 絕對值 |·| 是非阿基米德的 當且僅當 |n1|<=1 對於所有 n 屬於整數集合 Z

K 的完備化 K^^ 是度量空間 (K, |·|) 的完備化。在上面的例子中,p-adic 數域 Q_p有理數域 Q 關於賦值 p-進賦值 v_p 的完備化。

非阿基米德完備域滿足以下性質

1. 級數 sum_(n)a_n 收斂 當且僅當 當 n 趨於無窮時,a_n 的極限為 0。(注意對於阿基米德賦值,我們只有 蘊含 蘊含。)

2. 如果 a_n 不等於 0 對於所有 n,那麼 乘積 product_(n)a_n 收斂到一個非零元素當且僅當 當 n 趨於無窮時,a_n 的極限為 1

 R=R_K:={x in K:|x|_v<=1},

因此 賦值環 R域 K 的賦值環,並且

 M=M_K={x in K:|x|_v<1}.

那麼 賦值環 R 是一個區域性環,並且 極大理想 M 是它的極大理想。如果 域 K 是一個非阿基米德完備域,那麼 賦值環 R 是緊緻的,並且 剩餘類域 R/M 是一個有限域。假設 剩餘類域 R/M 的基數為 q,那麼可以進行定義 alpha=1/q,並且絕對值被稱為標準化的。


另請參閱

克拉斯納引理, 非阿基米德域, 非阿基米德幾何

此條目由 José Gallardo Alberni 貢獻

使用 探索

參考文獻

López, B. "Drinfeld 模的解析理論。" 1996 年 9 月 9-14 日 Alden-Biesen Drinfeld 模、模概型和應用研討會論文集 (編輯 E.-U. Gekeler, M. van der Put, M. Reversat, 和 J. Van Geel)。新加坡:World Scientific,第 32-33 頁,1997 年。Goss, D. 函式域算術的基本結構。 柏林:Springer-Verlag,第 35-45 頁,1996 年。Jacobson, N. 基礎代數 II,第二版。 紐約:W. H. Freeman,第 557-618 頁,1989 年。

在 中被引用

非阿基米德賦值

請引用為

Alberni, José Gallardo. “非阿基米德賦值。” 來自 Web Resource,由 Eric W. Weisstein 建立。 https://mathworld.tw/Non-ArchimedeanValuation.html

主題分類