双対性を持つ無限マトロイド理論 1
大学に通ったことのある人なら、線型独立、あるいは一次独立という言葉を聞いたことがあるだろう。ベクトルの集まりに対して独立か従属のいずれかが決まり、極大な独立部分集合を基底と呼んだ。線型代数はこの基底を取るところから始まるといっても過言ではない。さて、今挙げた一次独立という概念が「有限的」であると感じた人はいるだろうか。まず有限個のベクトルに対して「線型和がゼロなら係数が同時にゼロ」であるときに独立と定め、無限個のベクトルに対しては「任意の有限部分集合が独立」のときに独立と定める。この定義は根本的に異なるため一貫性に欠けると感じた人もいると思う。*1
マトロイドという数学的対象がある。これはベクトル空間における一次独立・一次従属の概念を、有限集合の範疇で抽象化したものである。グラフ理論やコンピュータ数学の要請でよく研究されているのだが、その理由として双対性を持つことと様々な言い換えが存在することが挙げられる。マトロイドを無限集合に対して考えようとする動きは古くからあった。先ほどのように「有限的」に定義することは流れとしては自然であるが、双対性や言い換えを持たせることができない。今回紹介するHenningら五名による論文[1]では、この問題を解決する「無限マトロイド」の新たな公理系が述べられている。最近(といっても2013年)の結果ではあるが、「有限的」マトロイドを含むこともあり重要な結果だと思われる。*2
マトロイドの公理と双対
論文では幾つかの公理系の紹介から始まり最終的に全ての同値性を示すが、今回は独立公理系のみを扱う。全体集合に対し、集合族が以下の四条件を満たすとき組はマトロイドであるという。
- (I1) を満たす。
- (I2) を満たす。つまり部分集合を取る操作で閉じている。
- (I3) に対してが存在してが成り立つ。
- (IM) はに対する条件(M)を満たす。
ここでに対する条件(M)とは、以下の極大条件を指す。
- (M) に対しは極大元を持つ。
このときの元を独立といい、極大な独立元を基底という。記号としてを定めておく。
補題 マトロイドに対し次の条件(I3')が成り立つ。
- (I3') に対し、あるが存在してが成り立つ。
(証明)条件(IM)をに対して用いれば、の極大元が存在する。とすれば条件(I3)よりが存在してとなる。これはよりの極大性に矛盾する。
に対し
と定める。ただしはにおけるの補集合を指す。このとき
とおくと次の定理が成り立つ。
定理 がマトロイドならもマトロイドであり、つまりの基底全体はに一致する。
(証明)よりに対する条件(IM)から極大元を得る。特にでもあるからが従う。故にであり、またを得る。よって条件(I1), (I2)については良い。
次にであることを示す。としてがを満たすとする。まずの定義より、あるが存在してが成り立つ。またはによりと表せるので、が従う。この式はより等号が成り立つのでを得る。よってとなる。逆は定義より明白。
(I3), (IM) は込み入ってるので次回。
以上よりマトロイドに対しをの双対と呼ぶ。
所感
いい加減タイトル詐欺が続くのもアレなんで適当に面白そうな話題で、取りあえず公理と双対の紹介だけ。論文にある証明は確かに書いてあることは正しいのだけど、しばしばstraight-forwardに導出できないのが辛い。必要なポイントはきちんと抑えてあるのに流し読みできないのは読み手側の問題なのだろう。
参考文献
[1] Henning Bruhn, Reinhard Diestel, Matthias Kriesell, Rudi Pendavingh, Paul Wollan. Axioms for Infinite Matroids. arXiv:1003.3919v3 [math.CO] 23 Feb 2013.