双対性を持つ無限マトロイド理論 2
前回の続き
前回やり残した証明
マトロイドの双対がマトロイドであることを示したい。前回は(I1), (I2)を示した。
(証明)とする。まずより、あるが存在してを満たす。このときであるためが従う。に対しを拡張したい。及びに対し(I3')を用いれば、あるが存在して
が成り立つ。右辺はと共通部分を持たないのでが分かる。しかし仮定よりは極大元ではないのでが従う。一方左辺よりが分かるから
を得る。適当なを取ればであるからとなる。故に(I3)が示された。
最後に(IM)を示そう。を取る。このときの極大元を見つければよい。まず上の議論と同様にが取れてを満たす。に(IM)を用いればの極大元が存在する。に対して(I3')を用いれば、あるが存在してを満たす。更により、右辺はに含まれる。つまりを得る。
が求める極大元となることを示したい。まずよりである。極大でないと仮定すれば、としてかつを満たすものが取れる。定義よりが存在してを満たすからが成り立つ。特によりである。よってが従う。故にであるから、(I3)を用いてをで拡張してを取りと出来る。このときならとなるのでである。ところでかつよりであるからとなる。これはの取り方に反する。
双対マトロイドを理解する上で大切なことは、対応が独立集合ではなく極大独立集合において与えられていることである。極大なものについて追跡できるような定義になっている。ちなみによりとなることに注意する。
制限
次はマトロイドのへの制限(restriction)を考えたい。実はが再びマトロイドとなる。
補題 (制限に関する双対定理) に対し、
が成り立つ。
(証明)左を仮定しが極大ではないとする。即ちあるがを真に含むとする。より、あるによりと表せる。特にである。故にであるからが従う。(I3')を用いてをで拡張して、としてを満たすように取る。このときだが、もし等号が成り立つとすれば
となり、は極大性に矛盾する。よってを得るが、これも仮定に反する。
より逆も従う。
命題 に対しは条件(I3')を満たす。
(証明)及びを取る。まずに対し(IM)を用いればの極大元が取れる。特にであるからよりが仮定より従う。先の補題よりも極大である。(I3')を用いてをで拡張してとしてを満たすように取る。より
が分かる。故に極大性よりを得る。再び補題よりが従う。ところでより
であるから、確かに(I3')が示される。
定理 に対しはマトロイドとなる。
(証明)(I1)、(I2)、(IM)はの条件から従う。(I3)はに対し、先の補題よりが存在してを満たす。特にが極大でないならであるから、が取れてを満たす。
マトロイド及びに対し、をのへの制限と呼び、とも表す。一般にであるため極大独立集合の追跡はできない。しかし次を考えることで、相補的な結果を得ることができる。
マトロイド及びに対し、をの縮約(contraction)と呼ぶ。*1
参考文献
[1] Henning Bruhn, Reinhard Diestel, Matthias Kriesell, Rudi Pendavingh, Paul Wollan. Axioms for Infinite Matroids. arXiv:1003.3919v3 [math.CO] 23 Feb 2013.
*1:とも表し商マトロイドとも言う。有限マトロイドにおける用語らしい。