奥斯特洛夫斯基定理

奥斯特洛夫斯基定理是一个关于有理数绝对赋值的定理。于1916年由亚历山大·奥斯特洛夫斯基证明。该定理说明,任何非平凡的有理数Q绝对赋值要么等价于通常实数域的绝对赋值,要么等价于p进数的绝对赋值。

定义

定义两个绝对赋值 是等价的,如果存在一个实数c>0,使得:

这是比两绝对赋值结构的拓扑同构的更严格的定义。

任何域的平凡绝对赋值被定义为:

有理数的实绝对赋值是正规实绝对赋值,定义为:

有时下标被写成下标1。

给定素数pp进赋值的定义如下:

任何非零的有理数x可以唯一写成。其中整数abp两两互质。n是整数。xp进赋值为:

另一个奥斯特洛夫斯基定理

另一个奥斯特洛夫斯基定理指出,任何阿基米德绝对赋值完备域(从代数结构拓扑结构方面)同构于实数域复数域。这有时也称为奥斯特洛夫斯基定理。

参考

  • Gerald J. Janusz. 2nd edition. American Mathematical Society. 1996, 1997. ISBN 0-8218-0429-4.
  • Nathan Jacobson. 2nd ed. W H Freeman. 1989. ISBN 0-7167-1933-9.
  • Alexander Ostrowski. . Acta Mathematica 2nd ed. 1918, 41 (1): 271–284. ISSN 0001-5962. doi:10.1007/BF02422947.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.