36.多項式環のグレブナー基底
少し話題を変えて多項式環の計算理論をやっておく。PDFにするときは別の章にするかもしれない。
項順序と割り算アルゴリズム
以前、一変数多項式環の整除について学んだ。これと同じことを多変数の多項式についても考えたいのだが、一変数の場合と異なり多項式の次数は自然に定まらない。項順序とは割り算を上手く機能させるために導入する順序であり、この下で多項式の整除を定めることができる。
以下は体とする。変数の多項式環はと略記する。に対し、と略記し、の形をした多項式を項(term)と呼ぶ。特にのとき、の形をした項を単項式(monomial term)と呼ぶ。または多重指数(multi-index)と呼ばれ、をその絶対値、をその階乗などと呼ぶ。一般にゼロでない多項式は、幾つかの項の和で表されるが、これらの項を多項式の項成分と呼ぶ。
多重指数に対する順序関係が項順序(term order)であるとは、以下の三条件を満たすことをいう。
- に対しての何れかが成り立つ。(全順序性)
- ならが成り立つ。(加法性)
- が空でないとき、に最小元が存在する。(整列性)
項順序は目的に応じて色々変えるのが普通だが、基本的には次の三種類の何れかを用いる。
辞書式順序(lexicographic order, lex) であることを、で定める。
次数付き辞書式順序(graded lexicographic order, grlex) であることを、、もしくはかつで定める。
次数付き逆辞書式順序(graded reverse lexicographic order, grevlex) であることを、、もしくはかつで定める。(順序の向きに注意)
上から簡単に説明すると、lexでは前が小さければ小さい。grlexではまず絶対値を比較し、その後lexで比較する。grevlexもまず絶対値で比較するが、後ろが大きければ小さい。
項順序が与えられているとき、ゼロでない多項式に対し次を定める。まず項順序で最大の項成分をで表し、先頭項(leading term)と呼ぶ。先頭項の係数(leading coefficient)はで表し、先頭項の係数をイチとしたもの(leading monomial)をで表す。更にのときをの次数(degree)と呼ぶ。
定理(割り算アルゴリズム) 項順序が与えられた多項式環を考える。多項式及びに対して、次を満たす多項式及びは一意的に定まる。(正確には順序付きのに対して一意に定まる。)
- が成り立つ。
- のとき、任意のに対してはの項成分を割り切らない。
- のとき、をの項成分とすると、任意のに対してはを割り切らない。
- のとき、が成り立つ。特にならの最大がに一致する。
(証明)以下のアルゴリズムで実行する。
- 入力はであり、出力はである。
- まず及びにゼロを代入し、にを代入する。
- (A) もしなら終了する。
- そうでないなら、がを割り切るようなを考え、その全体をとする。
- もしが空ならにを代入し、にを代入し(A)に戻る。
- 空でないなら、としてにを代入し、にを代入し(A)に戻る。
この操作では、とならない限りの次数は真に減少していく。もしアルゴリズムが止まらないとすれば、を考えれば整列性より最小元が存在するため矛盾する。従ってこの操作は有限回で停止する。
とする。の辞書式順序で割り算を実行してみよう。である。以下に途中計算を挙げる。
故にとなる。
項イデアルとグレブナー基底
項イデアル(term ideal)あるいは単項式イデアルとは、単項式から成る生成系を持つイデアルのことを指す。即ちが存在してと表せるイデアルのことを意味する。これを簡単になどと表す。
命題 を項イデアル、を多重指数とする。以下は同値となる。
- である。
- あるが存在してが成り立つ。
(証明)とする。あるが存在してと表せる。ここでと置くと、が成り立つ。故にあるが存在してとなるのでとなる。下から上は明らか。
命題 を項イデアル、とする。以下は同値となる。
- である。
- ならが成り立つ。
(証明)とする。先ほどと同様にと表せる。ならとなるが存在するのでより上の命題からが成り立つ。下から上は明らか。
補題 (ディクソンの補題) を項イデアルとする。このときあるが存在してが成り立つ。
(証明)既にがネーター環であることは示してあるのでは有限生成となる。そこでをその生成元とすれば、と有限個のを用いて表せる。はにより生成されるので、題意を満たす。
因みに直接この補題を示すこともできる。
さて、集合に対し、と置く。も同様に定義する。
先頭項イデアル(leading term ideal)とはのイデアルに対し、で生成されるイデアルのことを指す。
は体なので、一般にが成り立つことに注意する。またイデアルに対しが成り立つ。
定義 をイデアルとする。がのグレブナー基底(Grbner basis)であるとは、
を満たすことをいう。
定理 グレブナー基底は存在する。
が成り立つ。左辺はに等しく、右辺はに等しいので題意が示される。
所感
グレブナー基底があると何が嬉しいかは次回。またグレブナー基底の存在は示したが、その計算方法については何も述べていない。証明を見るとの計算に帰着されてはいるが、一見すると問題は全然簡単になっていないように思える。グレブナー基底を考案したグレブナーの弟子ブッフバーガーが偉いのは、これを計算するアルゴリズムを主張したことにある。計算量的には膨大で、当時はとても人の手に余るものだったが、今はコンピュータが高性能になり計算だけでなく様々な応用が可能となった。
グラフ上の陣取りゲーム
最近グラフ理論を触り始めて、Wikipediaのギャラリーを見たりして楽しんでいる。理論の方は定義や用語は多い一方で、纏まりがある分野ではない印象を受けた。個々のグラフ、つまり数学的な背景があって、そこから導出された対象に限定して議論することが普通みたい。一般的な理論を構築するのは困難で、できたとしても強い結果が得られないのだろう。それだけに興味深い。
ともかくノートに色々グラフを書いてみて、一つ非常に簡単な陣取りゲームを考えた。
有限無向グラフは連結かつ単純であるとする。ゲームは二人で交互に行う。まず初手では自分のコマを好きなの頂点に配置する。配置した頂点は自分の領土になる。二手目以降は自分のコマを隣接した頂点に移動させる。このとき移動させた先が誰の領土でなければ、自分の領土にできる。最後に領土が多かった方の勝ち。
疑問:後手必勝のグラフは存在するか?
小さなグラフだと頂点数が奇数なら先手必勝で偶数なら引き分けになるような気がする。
因みにグラフ上の陣取りには他にボロノイゲームというのがあり、店舗出店のモデルとしても考えられている。グラフの頂点に順に店舗を置いていくのだが、決められた手数で多くの陣地を取れば勝ち。陣地は最も距離が近い店舗のものになる。
江田勝哉 著「数理論理学 使い方と考え方:超準解析の入口まで」 感想
読みました。本書は著者が「はじめに」で述べているように、記述に重きを置いたモデル理論の本。より厳密には一階述語論理の入門書。
論理式の定義から丁寧に説明があり、具体例も多いので良い意味で訓練になる。そこから定義可能性という楽しい話題にも触れる。証明に用いる推論体系はGentzenのLKで、章末には否定について、特に直観主義論理における否定について注意がある。悲しいことにAmazonレビューで色々言われてるが、同レビューで反論、更に著者サイトでも本人による反論があるので気になるなら併せて読むと良い。因みに本書は例に漏れず誤植や誤記がそこそこあるので、訂正PDFはしっかりダウンロードしておこう。なぜなら去年付けで最終講義とあり、いつページが消えるとも分からない。個人的には他にも訂正箇所はありそうだけど。ともかく完全性定理をやってから本書のメインである超準解析に移る。*1
超フィルターを使って超積を作り、それが初等拡大になるようなものを考える。超準解析はそのモデル上で実行され、これがいわゆる無限小や無限大といった昔ながらの解析の手法を数学的に基礎付けるものになっている。最後の章では最近(出版時)の話題としてAsymptotic Coneという構造に触れている。これは先駆者のM.Gromov曰く
定点を選び,ここから一定速度で離れていくとき定点からの距離が一定であるように距離感を調整しながら風景をながめる.この場合,その風景はどのようなものであろうか?
だそうだ。「お前は何を言ってるんだ?」と言いたくなるけど、実際そんな感じなのでまあ良く表現出来ているなぁと感動した。電車で遠くの山に焦点を合わせつつ移り変わる近場の風景をぼんやり眺めてる感じ。Asymptotic Coneを考えると何が嬉しいかと言うと、積の構造を上手く定義できるようになる。つまり体として、その上の解析学を考えることが出来る。例えば微分と差分の繋がりが理論的な枠組みとして捉えることが出来るようになる。これを利用して、定数係数の線型微分方程式がAsymptotic Cone上で満たす差分方程式(これは同一の特性方程式を満たす差分方程式とは異なる)を考え、その解から元の微分方程式の解を構成することができる。これは非常に面白いと思ったけど非線形や偏微分に単純に応用ができるかは不明。差分の初期値問題は簡単なので、そうでない微分の世界との対応は著者も良く分かっていないらしい。Asymptotic Coneは超フィルターや距離の取り方で色々形を変えるのだけれど、一番離れていく動きをするのが多分超離散とかトロピカル化だったりする。この辺の話はちょっと駆け足気味で、出来ればもっとしっかりした内容があると良かった。最後に著者による他書の書評があって、大いに参考になる。
本書の特色として、単に命題と証明を繰り返すのではなく、随所に著者の気持ちが挿入されているので味わいのある文章になっている。その結果「良く分からなさ」が良く分かる文章になっている。これは否定的な意味ではなく、数理論理学が原理的に持つ「良く分からなさ」を明瞭にするという意味で肯定的である。これについても著者は
この本を読めばわかるようになるというわけでもないが,この本を読むなかで,このような状態を受け入れることのできる考え方がどのようなものかがわかるように配慮した
と述べている。読み終えた今となっては確かにそうだと納得する反面、上記が示すように本書の記述は決して簡単ではない。つまり一言一句を何度も繰り返して読み下せば、という枕詞が付く。私にとっては、だが。
著者が読者層をある程度数学の素養を持つ者に想定しているので、ほんとの入門者にはお勧めできないし、もっと簡単な言葉で書かれた本があると思う。個人的には楽しめたし、内容が珍しくて興味深いので良書だと思う。
これで本棚の肥やしが一冊崩れた。基礎論系は知らない間に増えるから困る。
*1:完全性定理までの教科書として元々は書かれていたらしいが。