「位相体」の版間の差分
削除された内容 追加された内容
とりあえず記述のある位相環にリダイレクト |
「位相体」を「位相環」への転送ではなく、独立した記事にしました。 |
||
1行目:
'''位相体'''(いそうたい、{{lang-en-short|topological field}})とは、[[密着位相]]ではない[[位相]]が入った[[位相空間]]であり、加法、乗法、および 0 以外の元に対する除法が[[連続]]となる[[体]]<ref>注意：この項では、例として挙げた具体的な場合を除いて、体の乗法の可換性は必ずしも仮定していない。つまり体を[[体|可換体]]もしくは[[斜体]]の総称として使用している。</ref>のことである。従って、位相体 ''K'' は加法に対する[[位相群]]であり、<math>\scriptstyle K^{\times}</math> は乗法に対する位相群となる。また、位相体および位相体の[[環|部分環]]は[[位相環]]であるが、逆は必ずしも成り立つとは限らない。つまり、体に位相環となる様に位相を入れても位相体になるとは限らない。
例えば、[[有理数]]体の位相として
{{Indent|<math>
\mathcal{U} = \{ a + b\mathbb{Z}|a,\ b\in\mathbb{Q} \}
</math>}}
とすると、[[位相空間]] <math>(\mathbb{Q},\ \mathcal{U})</math> は位相環であるが位相体ではない。
== 例 ==
* 任意の体 ''K'' に対して、[[離散位相]]を入れれば位相体になる。
* [[実数]]体は、通常の加法と乗法に対して、[[ユークリッド距離]]を入れることにより位相体になる。
* 有理数体は、通常の加法と乗法に対して、[[p進付値|''p''進付値]]による[[距離空間|距離]]を入れることにより位相体になる。
== 性質 ==
=== 開近傍 ===
位相体は加法および乗法で連続であることから、任意の空ではない開集合 ''U'' と ''K'' の点 ''a'' に対して、<math>U+a</math> は ''a'' の開近傍となる。また、0 でない ''K'' の元 ''a'' に対する <math>aU</math> および、<math>U^{-1}</math> は開集合となる。<ref>空ではない集合 ''A'', ''B'' に対して、<math>\scriptstyle A+B=\{x+y|x\in A,\ y\in B\},\ A\cdot B=\{xy|x\in A,\ y\in B\},\ A^{-1}=\{x^{-1}|x\ne 0\}</math> と定義する。特に ''A'' が1点集合であるとき、<math>\scriptstyle a+B,\ aB</math> と記述する(''B'' が1点集合である場合も同様)。</ref>
このことから、位相体を 0 の[[基本近傍系]]を用いて定義することができる。つまり、体 ''K'' が位相体になるためには、''K'' 上の 0 の基本近傍系を <math>\mathcal{U}</math> としたとき、以下の条件を全て満たすことが必要十分である。
# <math>\mathcal{U}</math> の任意の元 ''U'' に対して、<math>\mathcal{U}</math> の元 ''V'' が存在して、<math>V + V \sub U</math> 。
# <math>\mathcal{U}</math> の任意の元 ''U'' に対して、<math>-U\in\mathcal{U}</math> 。
# <math>\mathcal{U}</math> の任意の元 ''U'' に対して、<math>\mathcal{U}</math> の元 ''V'' が存在して、<math>V\cdot V\sub U</math> 。
# <math>\mathcal{U}</math> の任意の元 ''U'' に対して、<math>(1+U)^{-1}-1\in\mathcal{U}</math> 。
# ''K'' の 0 でない任意の元 ''a'' および <math>\mathcal{U}</math> の任意の元 ''U'' に対して、<math>aUa^{-1}\in\mathcal{U}</math> 。
上記の条件のうち、1 と 2 は ''K'' が加法群に対する位相群になるための条件であり、3, 4, 5 は <math>\scriptstyle K^{\times}</math> が乗法群に対する位相群になるための条件である。
=== ハウスドルフ性 ===
任意の位相体は[[ハウスドルフ空間]]である。逆に、体に加法、乗法、および 0 以外の元に対する除法が連続となるが、ハウスドルフ空間とならない位相を入れた場合、その位相は密着位相となるので、位相体の定義として、
* 加法、乗法、および 0 以外の元に対する除法が連続となり、ハウスドルフ空間となる位相を入れた体
とすることもできる。
=== 連結性 ===
任意の位相体は[[連結]]であるか[[完全不連結]]であるかのいずれかであり、連結である位相体の[[標数]]は 0 である。つまり有限体である位相体は完全不連結となる。
=== 局所コンパクト性 ===
任意の[[局所コンパクト]]な位相体は[[第一可算公理]]を満たす。しかし、逆は必ずしも成り立つとは限らない。
例えば、有理数体に[[絶対値]]により得られる距離による位相を入れた場合、第一可算公理を満たすが局所コンパクトではない。
一般に第一可算公理を満たす位相体に対しては、以下のことが成立する。
第一可算公理を満たす位相体を ''K'' とし、局所コンパクトな位相体を <math>\scriptstyle K'\!</math> とする。
''R'' を ''K'' の[[稠密]]な部分環とし、<math>\scriptstyle R'\!</math> を <math>\scriptstyle K'\!</math> の部分環で、''R'' と同型であるとする。
''f'' を ''R'' から <math>\scriptstyle R'\!</math> への同型写像としたとき、''K'' から <math>\scriptstyle K'\!</math> の中への同型写像 φ で、φ を ''R'' に制限したものが ''f'' に一致するものが唯一存在する。
==== 例 ====
以下の位相体は局所コンパクトである。
* 離散位相による位相体
* 実数体 (位相は、[[絶対値]]によって得られる距離に対する[[距離空間]])
* [[複素数]]体 (位相は、絶対値によって得られる距離に対する距離空間)
* [[p進体|''p''進体]] (位相は、''p''進付値によって得られる距離に対する距離空間)
==== 分類 ====
任意の体に対して、離散位相を入れた位相体は局所コンパクトになるので、この様な位相体を分類することはできないが、離散位相以外の位相を入れた位相体が局所コンパクトになるのは、かなり限定されることが知られている。そこで、以下において、位相は離散位相ではないとすると、局所コンパクトな位相体は以下の様に分類することができる。
まず、連結である局所コンパクトな位相体は、以下のいずれかの体と同型となる。
* 実数体
* 複素数体
* [[四元数]]体
さらに、これらの体の位相は、それぞれの体の絶対値で与えられる距離空間と[[同相]]である。
次に連結ではない連続体は、以下のいずれかの体と同型である。
* ''p''進体上の有限次元拡大体
* ''p''進体上の[[斜体_(数学)#性質・諸概念|有限階数]]の[[斜体_(数学)|斜体]]
* [[有限体]]上の一変数[[ベキ級数]]体 <math>\scriptstyle\mathbb{F}_p((t))</math> の有限次元拡大体
* <math>\scriptstyle\mathbb{F}_p((t))</math> の有限階数の斜体
さらに、これらの体の位相は、''p''進体もしくは有限体上の一変数ベキ級数体上の[[付値#アルキメデス付値|非アルキメデス付値]]によって得られる距離による距離空間と同相である。
以上の結果、位相体が連結であるかないかによらず、局所コンパクトな位相体は[[付値|乗法付値]]で得られる距離の距離空間に同相であり、さらにその距離で[[完備]]となる。従って局所コンパクトな位相体は、完備な[[付値体]]である。逆に完備な付値体は局所コンパクトであるので、位相体の局所コンパクト性と付値体の完備性は同じになる。
=== 完備化 ===
局所コンパクトである離散ではない位相体は完備であったが、今度は、局所コンパクトではない位相体の完備化を考える。
位相体 ''K'' を位相環とみなすことにより、''K'' の完備な位相環 <math>\scriptstyle\hat{K}</math> が同型を除いて一意的に得ることができるが、<math>\scriptstyle\hat{K}</math> は、一般には体にならず、たとえ体であったとしても位相体であるとは限らない。また位相体であっても乗法に対して完備になるとは限らない。
<math>\scriptstyle K^{\times}</math> は乗法群であるので、<math>\scriptstyle K^{\times}</math> の完備化 <math>\scriptstyle K'</math> が得られるが、これが体もしくは加法に対して完備な位相体になるとは限らない。
例えば、素数 ''p'' に対して、<math>\mathcal{U}_p</math> を ''p'' 進付値によって得られる距離に対する有理数体の距離位相としたとき、相異なる素数 ''p'', ''q'' に対して、<math>\mathcal{U}</math> を <math>\mathcal{U}_p\cup\mathcal{U}_q</math> の有限個の元の共通部分全体からなる集合とすれば、<math>(\mathbb{Q},\ \mathcal{U})</math> は位相体であるが、完備化は <math>\mathbb{Q}_p\times\mathbb{Q}_q</math> と同相であり、体ではない。
しかし、<math>\scriptstyle\hat{K}</math> が加法に対して完備な位相体で、局所コンパクトであるか、または可換体である場合、<math>\scriptstyle\hat{K}</math> は乗法に対しても完備となる。従って、''K'' が可換体である場合、''K'' の完備な位相環 <math>\scriptstyle\hat{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 field]]
| |||