はじめに
距離函数
集合上の距離函数とは、次を満たす写像をいう。
- (正定値性) 任意のについてであり、
- (対称律) 任意のについて
- (三角不等式) 任意のについて
この距離函数の定義を見たとき、なぜ終域がに限定されているのだろうと疑問を持ちました。当時はまぁそんなものかとスルーしていたのですが、最近ふと思い出して一般化してみようと思いました。
思い付きを書き綴ったので、話が散らかって読みづらい点があるかもしれません。ご容赦ください。
距離函数の一般化
距離函数の一般化
を(単位的かつ可換な)順序環とする。集合上の値距離函数とは、次を満たす写像をいう。
- (正定値性) 任意のについてであり、
- (対称律) 任意のについて
- (三角不等式) 任意のについて
定義1とほぼ同じです。違いは終域がからになったことのみです。全順序群や順序体でも同様に定義できますが、今回扱うトピックが主に環についてのものなので終域は環としました。以下、と書いたら順序環を表すものとします。一般化距離函数の例を見てみましょう。
にマンハッタン距離を入れるとこれは値距離函数とみなせます。値距離函数(つまり普通の距離函数)ともみなせますのであまり面白くない例ですが。
写像を考えるとこれは上の値距離函数になります。実際正定値性と対称律は明らかで、三角不等式はについてが成り立つことからを代入することにより示されます。
以下ではこれをの自然な距離と呼ぶことにします。
距離が定まると位相が定まります。といっても距離位相は通常の距離に対して定義されるものですので、一応定義しておきます。
一般化距離による位相
集合上に値距離函数が定められているとする。の部分集合が開であることを、任意のに対して
が成り立つことであると定める。の開部分集合全体をとするとは位相空間の公理を満たすので、これをによる距離位相と呼ぶ。
多項式環
正直なところ、面白い順序環("数"っぽいもの以外を元にもつ環)を多項式環以外に思いつきませんでした。
多項式の辞書式順序
について
でを定めるとき、とは
を満たす非負整数が存在することをいう。また、この順序をの辞書式順序と呼ぶ。
例えば、の元として です。証明は省略しますが、これは全順序であってはこの順序について順序環を成します。この順序環に自然な距離を入れると、この距離位相に関しては位相環になります。本筋からは外れますがきれいだと思ったので証明しておきます。
多項式環の位相
辞書式順序を備えた順序環に自然な距離を入れると、距離位相については位相環となる。
(ただし)を任意にとる。また、に対してと定める。
より示された。
なお、順序環の自然な距離による位相が必ずしも位相環を作るとは限りません。実際、に次の順序(辞書式順序の逆)を入れると反例になります:
について
でを定め、とする。このときとは、
を満たす以下の非負整数が存在することをいう。
点列の極限と多項式環の完備化
距離空間を見ると極限を考えたくなります。一般化距離空間における点列の極限を定義します。
点列の極限
を値距離函数を備えた一般化距離空間とし、点列を考える。について
が成り立つとき、この点列がに収束するといい、や (as )などと書くことにする。
通常の距離空間での定義と同様です。例としてで定まる上の点列の極限を考えます。任意にをとって、「の次の係数は非零」を満たすようにをとります。このときですから、任意のについてが成り立ちます。以上よりが得られました。
次に順序環を完備化します。
順序環の完備化
に自然な距離が入っているとする。上のCauchy列(定義は省略)全体の集合に
で定義される加法演算と乗法演算をいれるとは環になる。イデアルによる剰余環をの完備化と呼び、と書くことにする。
が上記の演算によって環になることやがのイデアルとなることの証明は省略します。は、直感的にはの元を収束値の違いのみで区別したものものです(収束列でないCauchy列があり得るので正確な表現とは言えませんが)。集合としては
で定まる同値関係でを割ったものと一致します。また、定数列を含む剰余類をと同一視することで、自然にとみなせます。
いよいよ本稿のメインテーマである多項式環の完備化です。
をとると、がCauchy列であることから任意の非負整数に対してが存在し、
が成り立つ。したがっての第項より後は次の係数が一定値となる。よってをの次の係数とすればこれはの取り方に依らず、しかも代表元の取り方にも依らずに定まる。このを用いて
を考えるとこれはwell-definedな同型写像である。
やっていることは射影極限に似ていますが、こちらの方が自然な感じがします。また、任意のに対してであるという意味で
が成り立ちます。これと同様のことは形式的冪級数環でも成り立ちます(同型なので当たり前)が、極限が定義されていないので「には次未満の項がないから無限和のうちを含む項は高々有限個で各係数を決定するのに必要なのは実質的に有限和のみであってこの表記は正当」などと御託を並べることになります。今回の構成では環に極限が定義されているため、無限和を直接扱うことができるという強みがあります。
しかし…
色々と調べていたら、順序位相なるものの存在を知りました。
順序位相
を全順序集合とし、に対して
とおく。を準開基とする位相をの順序位相という。
そして、この記事で定義した順序環の自然な距離位相は順序位相に一致します。順序位相自体は代数構造と無関係に定義できるので、一般化距離は順序位相の下位互換という感じです。また、
完備化 (環論) - Wikipedia
にある方法で位相環を完備化できるようです。ということでこの記事は車輪の再発明となりました。