モジュラー束と特徴づけ

定義

一般の束において

は常に成り立っていることは既に見たが

のうちのどれか一つでも成り立っていれば全て成り立つ. 実際 $x\le z$ なる任意の $z$ は $z = x\cup z'$ と置けることから M1 と M3 は同等である. 双対的に M2 と M3 も同等であるから, 結局全て同等である.

束 $\mathcal{L}$ が M1, M2, M3 のうちいずれか一つ(従って全て)を満たすとき, $\mathcal{L}$ はモジュラー束であると言う.

M1 と M2 は互いに双対, M3 は自己双対であるから, $\mathcal{L}$ がモジュラー束ならばその双対束 $\mathcal{L}^*$ もモジュラー束である. 故にモジュラー束において成り立つ関係式についてはその双対が成り立つ.

特徴づけ

定理1

束 $\mathcal{L}$ がモジュラー束であるための必要十分条件は, 以下の Hasse 図で表現される部分束が存在しないことである.

モジュラーでない束の Hasse 図

(証明)

図のような部分束が存在すれば, $a\lt b$ 1であるにも関わらず $$a\cup (c\cap b) = a\cup e = a\lt b = f\cap b = (a\cup c)\cap b$$ だから $\mathcal{L}$ はモジュラー束ではない.

逆に $\mathcal{L}$ がモジュラー束でなければ $$x\lt z, x\cup (y\cap z)\lt (x\cup y)\cap z$$ となる $x, y, z$ が存在する. そこで $$e = y\cap z, f = x\cup y, a = x\cup e, b = z\cap f$$ と置くと $$e\le a\lt b\le f, e\le y\le f$$ であるから $$e\le a\cap y\le b\cap y = f\cap z\cap y = f\cap e = e,$$ 従って $$a\cap y = b\cap y = e.$$ 双対的に $$f\ge b\cup y\ge a\cup y = e\cup x\cup y = e\cup f = f$$ なので $$a\cup y = b\cup y = f.$$

このとき $y$ は $a, b$ と比較不能である. 仮に $y\le a$ ならば $a = a\cup y = f$ となり矛盾. $a\le y$ としても $e = a, f = y$ となるので $b\le y$ となり $b = e$ が導かれるので矛盾する. 双対的に $b$ も $y$ と比較不能である.

以上を Hasse 図にすると下図のようになるので十分性も示された.

モジュラーでない部分束を含むことの証明図

(証明終)

  1. $a\le b$ かつ $a\ne b$ を一般に $a\lt b$ と表す.

戻る