位相体のソースを表示

'''位相体'''（いそうたい、{{lang-en-short|''topological field''}}）とは、[[密着位相]]ではない位相が入った[[位相空間]]であり、加法、乗法、加法逆元をとる操作および 0 以外の元に対する逆数をとる操作が[[連続写像|連続]]となる[[体 (数学)|体]]<ref>注意：この項では、例として挙げた具体的な場合を除いて、体の乗法の可換性は必ずしも仮定していない。つまり体を[[可換体]]もしくは[[斜体_(数学)|斜体]]の総称として使用している。</ref>のことである。従って、位相体 ''K'' は加法に対する[[位相群]]であり、''K''<sup>&times;</sup> は乗法に対する位相群となる。

== 例 ==
* 任意の体 ''K'' に対して、[[離散位相]]を入れれば位相体になる。
* [[実数]]体は、通常の加法と乗法に対して、[[ユークリッド距離]]を入れることにより位相体になる。
* 有理数体は、通常の加法と乗法に対して、[[p進付値|''p''-進付値]]による[[距離空間|距離]]を入れることにより位相体になる。
* 位相体および位相体の[[環 (数学)|部分環]]は[[位相環]]であるが、逆は必ずしも成り立つとは限らない。つまり、体に位相環となる様に位相を入れても位相体になるとは限らない。例えば、[[有理数]]体 '''Q''' の位相として
: <math>\mathcal{U} = \{ a + b\mathbb{Z} \mid a,\, b\in\mathbb{Q} \}</math>
を開集合系となるようなものを考えるとき、'''Q''' は位相環であるが位相体ではない。

== 性質 ==
=== 開近傍 ===
位相体は加法および乗法で連続であることから、任意の空ではない開集合 ''U'' と ''K'' の点 ''a'' に対して、''U'' + ''a'' は ''a'' の開近傍となる。また、0 でない ''K'' の元 ''a'' に対する ''aU'' および、''U''<sup>&minus;1</sup> は開集合となる。<ref>空ではない集合 ''A'', ''B'' に対して、''A'' + ''B'' := {''x'' + ''y'' | ''x'' &isin; ''A'', ''y'' &isin; ''B'', ''A'' &middot; ''B'' := {''xy'' | ''x'' &isin; ''A'', ''y'' &isin; ''B''}, ''A''<sup>&minus;1</sup> := {''x''<sup>&minus;1</sup> | ''x'' &ne; 0} と定義する。特に[[一元集合]] ''A'' = {''a''} でに対しては括弧を略して、''a'' + ''B'', ''aB'' などと記述する（''B'' が一元集合である場合も同様）。</ref>

このことから、位相体を 0 の[[位相空間#基本近傍系|基本近傍系]]を用いて定義することができる。つまり、体 ''K'' が位相体になるためには、''K'' 上の 0 の基本近傍系を <math style="vertical-align:baseline;">\mathcal{U}</math> としたとき、以下の条件を全て満たすことが必要十分である。
# <math style="vertical-align:baseline;">\mathcal{U}</math> の任意の元 ''U'' に対して、<math style="vertical-align:baseline;">\mathcal{U}</math> の元 ''V'' が存在して、''V'' + ''V'' &sub; ''U''。
# <math style="vertical-align:baseline;">\mathcal{U}</math> の任意の元 ''U'' に対して、<math style="vertical-align:baseline;">-U\in\mathcal{U}</math> 。
# <math style="vertical-align:baseline;">\mathcal{U}</math> の任意の元 ''U'' に対して、<math style="vertical-align:baseline;">\mathcal{U}</math> の元 ''V'' が存在して、<math style="vertical-align:baseline;">V\cdot V\sub U</math> 。
# <math style="vertical-align:baseline;">\mathcal{U}</math> の任意の元 ''U'' に対して、<math style="vertical-align:bottom;">(1+U)^{-1}\in 1+\mathcal{U}</math> 。
# ''K'' の 0 でない任意の元 ''a'' および <math style="vertical-align:baseline;">\mathcal{U}</math> の任意の元 ''U'' に対して、<math style="vertical-align:baseline;">aUa^{-1}\in\mathcal{U}</math> 。

上記の条件のうち、1 と 2 は加法群 ''K'' が位相群になるための条件であり、3, 4, 5 は乗法群 ''K''<sup>&times;</sup> が位相群になるための条件である。

=== ハウスドルフ性 ===
任意の位相体は[[ハウスドルフ空間]]である。逆に、濃度が2以上のハウスドルフ空間は密着空間にはなりえないので、位相体の定義として、
* 加法、乗法、および 0 以外の元に対する除法が連続となり、ハウスドルフ空間となる位相を入れた体
とすることもできる。

=== 連結性 ===
任意の位相体は[[連結空間|連結]]であるか[[完全不連結]]であるかのいずれかであり、連結である位相体の[[標数]]は 0 である。つまり有限体である位相体は完全不連結となる。

=== 局所コンパクト性 ===
任意の[[局所コンパクト]]な位相体は[[第一可算公理]]を満たす。しかし、逆は必ずしも成り立つとは限らない。
例えば、有理数体に[[絶対値]]により得られる距離による位相を入れた場合、第一可算公理を満たすが局所コンパクトではない。

一般に第一可算公理を満たす位相体に対しては、以下のことが成立する。

第一可算公理を満たす位相体を ''K'' とし、局所コンパクトな位相体を ''K''&prime; とする。
''R'' を ''K'' の[[稠密集合|稠密]]な部分環とし、''R''&prime; を ''K''&prime; の部分環で、''R'' と同型であるとする。
''f'' を ''R'' から ''R''&prime; への同型写像としたとき、''K'' から ''K''&prime; の中への同型写像 &phi; で、&phi; を ''R'' に制限したものが ''f'' に一致するものが唯一存在する。

==== 例 ====
以下の位相体は局所コンパクトである。
* 離散位相による位相体
* 実数体 '''R''' に通常の位相（[[絶対値]]が導く距離に関する[[距離空間]]としての位相）を入れたもの
* [[複素数]]体 '''C''' に通常の位相（絶対値によって導かれる距離空間の位相）を入れたもの
* [[p進数|''p''-進数体]] '''Q'''<sub>''p''</sub> に ''p''-進位相（''p''-進付値の導く距離位相）を入れたもの

==== 分類 ====
任意の体に対して、離散位相を入れた位相体は[[局所コンパクト]]になるので、この様な位相体を分類することはできないが、離散位相以外の位相を入れた位相体が局所コンパクトになるのは、かなり限定されることが知られている。そこで、以下において、位相は離散位相ではないとすると、[[局所コンパクト位相体]]は以下の様に分類することができる（以下体として非可換体も考えているので注意されたい。四元数体などがそうである）。

まず、連結である局所コンパクト位相体は、以下のいずれかの体と同型となる。
* 実数体 '''R'''
* 複素数体 '''C'''
* [[四元数]]体 '''H'''

さらに、これらの体の位相は、それぞれの体の絶対値で与えられる距離空間と[[同相]]である。

次に連結ではない連続体は、以下のいずれかの体と同型である。
* ''p''-進体 '''Q'''<sub>''p''</sub> 上の有限次拡大体
* ''p''-進体 '''Q'''<sub>''p''</sub> 上の[[斜体_(数学)#性質・諸概念|有限階数]]の[[斜体_(数学)|斜体]]
* [[有限体]] '''F'''<sub>''q''</sub> 上の一変数[[ローラン級数]]体 '''F'''<sub>''q''</sub>((''t'')) の有限次拡大体
* '''F'''<sub>''q''</sub>((''t'')) の有限階数の斜体

さらに、これらの体の位相は、''p''-進体もしくは有限体上の一変数ローラン級数体上の[[付値#アルキメデス付値|非アルキメデス付値]]によって得られる距離による距離空間と同相である。

以上の結果、位相体が連結であるかないかによらず、局所コンパクトな位相体は[[付値|乗法付値]]で得られる距離の距離空間に同相であり、さらにその距離で[[完備距離空間|完備]]となる。従って局所コンパクトな位相体は、完備な[[付値体]]である。逆に完備な付値体は局所コンパクトであるので、位相体の局所コンパクト性と付値体の完備性は同じになる。

=== 完備化 ===
局所コンパクトである離散ではない位相体は完備であったが、今度は、局所コンパクトではない位相体の完備化を考える。

位相体 ''K'' を位相環とみなすことにより、''K'' の完備な位相環 <math style="vertical-align:baseline;">\scriptstyle\widehat{\!K}</math> が同型を除いて一意的に得ることができるが、<math style="vertical-align:baseline;">\scriptstyle\widehat{\!K}</math> は、一般には体にならず、たとえ体であったとしても位相体であるとは限らない。また位相体であっても乗法に対して完備になるとは限らない。
''K''<sup>&times;</sup> は乗法群であるので、''K''<sup>&times;</sup> の完備化 ''K''&prime; が得られるが、これが体もしくは加法に対して完備な位相体になるとは限らない。

例えば、素数 ''p'' に対して、<math style="vertical-align:bottom;">\mathcal{U}_p</math> を ''p'' 進付値によって得られる距離に対する有理数体の距離位相としたとき、相異なる素数 ''p'', ''q'' に対して、<math style="vertical-align:baseline;">\mathcal{U}</math> を <math style="vertical-align:bottom;">\mathcal{U}_p\cup\mathcal{U}_q</math> の有限個の元の共通部分全体からなる集合とすれば、<math style="vertical-align:bottom;">(\mathbb{Q},\ \mathcal{U})</math> は位相体であるが、完備化は '''Q'''<sub>''p''</sub> &times; '''Q'''<sub>''q''</sub> と同相であり、体ではない。

しかし、<math style="vertical-align:baseline;">\scriptstyle\widehat{\!K}</math> が加法に対して完備な位相体で、局所コンパクトであるか、または可換体である場合、<math style="vertical-align:baseline;">\scriptstyle\widehat{\!K}</math> は乗法に対しても完備となる。従って、''K'' が可換体である場合、''K'' の完備な位相環 <math style="vertical-align:baseline;">\scriptstyle\widehat{\!K}</math> が位相体であれば、乗法に対しても完備となる。このことから、例えば、乗法が可換である[[標数]]が 0 である位相体の完備化が位相体であるならば、複素数体または、ある素数 ''p'' に対する ''p''-進体の部分体と同型となる。

== 注釈 ==
<references />

== 参考文献 ==
* {{Cite book|和書|last=ブルバキ|first=N.|translator=土川真夫・村田全|year=1968|title=ブルバキ数学原論 位相2|publisher=[[東京図書]]|location=東京}}
* {{Cite book|和書|last=ポントリャーギン|first=L.|translator=柴岡泰光・杉浦光夫・宮崎功|year=1957|title=連続群論 上|publisher=[[岩波書店]]|location=東京}}
* {{Cite book|和書|last=ポントリャーギン|first=L.|translator=宮本敏雄・保坂秀正|year=1995|title=数概念の拡張 実数・複素数から4元数・多元数まで ポントリャーギン数学入門双書第5巻|publisher=[[森北出版]]|location=東京}}
* {{Cite book|和書|last=彌永|first=昌吉編|year=1969|title=数論|publisher=岩波書店|location=東京}}

== 関連項目 ==
* [[可換体]]
* [[位相群]]
* [[位相環]]
* [[付値体]]
* [[局所体]]
* [[位相空間]]

{{DEFAULTSORT:いそうたい}}
[[Category:体論]]
[[Category:抽象代数学]]
[[Category:位相幾何学]]
[[Category:数学に関する記事]]

[[en:Topological ring#Topological fields]]