主题
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 贡献

使用 Wolfram|Alpha 探索

参考文献

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 年。

在 Wolfram|Alpha 中被引用

非阿基米德赋值

请引用为

Alberni, José Gallardo. “非阿基米德赋值。” 来自 MathWorld--Wolfram Web Resource,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/Non-ArchimedeanValuation.html

主题分类