次元定理を3つの部分空間に拡張した際のズレ

　 $K$ を体、 $V$ を $K$ 上の有限次元ベクトル空間とします(よく分からない場合、 $V$ は $R^{n}$ や $C^{n}$ だと思って下さい。)。 $V$ の2つの部分空間 $W_{1}, W_{2}$ に対しては、(部分空間の)次元定理と呼ばれる等式
$\dim (W_{1} + W_{2}) = \dim W_{1} + \dim W_{2} - \dim (W_{1} \cap W_{2})$
が成り立ちます。では3つの部分空間の場合はどうでしょうか。 $W_{1}, W_{2}, W_{3}$ を $V$ の部分空間とし、次のような拡張を考えてみます。

問.
$\begin{matrix} (*) & \dim (W_{1} + W_{2} + W_{3}) = \dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} \cap W_{2}) - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3}) + \dim (W_{1} \cap W_{2} \cap W_{3}) \end{matrix}$
は成り立つか?

　結果を知らない方は、ぜひ考えてみて下さい。
(続きは↓スクロール)

　結論から言うと、上の問の答えは「必ずしも成り立つとは限らない」となります~~(まあタイトルでズレって言ってるし)~~。例を挙げると、 $R^{2}$ の標準基底を ${e_{1}, e_{2}}$ として
$W_{1} = ⟨ e_{1} ⟩, W_{2} = ⟨ e_{2} ⟩, W_{3} = ⟨ e_{1} + e_{2} ⟩$
とすれば、左辺は $2$ ,右辺は $3$ となり、成り立ちません。
　成り立つ場合もあります。例えば $R^{3}$ の標準基底を ${e_{1}, e_{2}, e_{3}}$ として
$W_{1} = ⟨ e_{1} ⟩, W_{2} = ⟨ e_{2} ⟩, W_{3} = ⟨ e_{3} ⟩$
とすれば、両辺とも $3$ となり、成り立ちます。

　さて、あるとき筆者はこの結果を知り、「 $(*)$ の両辺の差は何によって決まるのか？特に、両辺が等しくなるのはどのような時か？」ということが気になりました。調べてもいまいち「これだ」という結果は出てこなかったので、自力で考え、一応自分なりの結論は得られました。この記事は、得られた結論、およびその他試行錯誤の過程で得られたものをまとめたものです。
　結論は「ホモロジー群の次元として」の節にあります。下記の $ρ$ の定義さえ読んでいただければ、途中の節を飛ばして「ホモロジー群の次元として」を読むことも可能です。

$ρ$ の定義

　( $(*)$ の右辺) $-$ ( $(*)$ の左辺)を $ρ (W_{1}, W_{2}, W_{3})$ と書くことにします。すなわち

$ρ (W_{1}, W_{2}, W_{3}) = (\dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} \cap W_{2}) - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3}) + \dim (W_{1} \cap W_{2} \cap W_{3})) - \dim (W_{1} + W_{2} + W_{3})$

と定めます。これは筆者独自の記号です。なぜこの順で差を取るのかというと、後で示すように、こうすると必ず $ρ (W_{1}, W_{2}, W_{3}) \geq 0$ となるからです。
　まず、定義からすぐに

$ρ (W_{1}, W_{2}, W_{3})$ は $W_{1}, W_{2}, W_{3}$ について対称。

が分かります。

特別な場合

　 $W_{1}, W_{2}, W_{3}$ が特別な条件を満たすときの $ρ$ の値を調べてみます。

$W_{1} + W_{2} + W_{3} = W_{1} \oplus W_{2} \oplus W_{3}$ ならば $ρ (W_{1}, W_{2}, W_{3}) = 0$
ある $i, j$ (ただし $i \neq j$ )について $W_{i} \subset W_{j}$ が成り立つならば $ρ (W_{1}, W_{2}, W_{3}) = 0$

$W_{1} + W_{2} + W_{3} = W_{1} \oplus W_{2} \oplus W_{3}$ ならば、 $(*)$ の両辺はともに
$\dim W_{1} + \dim W_{2} + \dim W_{3}$
となることが容易に確かめられる。したがって $ρ (W_{1}, W_{2}, W_{3}) = 0$ .
$W_{1} \subset W_{2}$ としてよい。このとき
$((*) の左辺) = \dim (W_{2} + W_{3})$
となる。一方 $(*)$ の右辺については、 $W_{1} \cap W_{2} = W_{1}, W_{1} \cap W_{2} \cap W_{3} = W_{1} \cap W_{3}$ を用いると
$\begin{array}{rcl} ((*) の右辺) & = & \dim W_{1} + \dim W_{2} + \dim W_{3} - \dim W_{1} - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3}) + \dim (W_{1} \cap W_{3}) \\ = & \dim W_{2} + \dim W_{3} - \dim (W_{2} \cap W_{3}) \\ = & \dim (W_{2} + W_{3}) \end{array}$
となる。したがって $ρ (W_{1}, W_{2}, W_{3}) = 0$ .

(1)と(2)は対照的な状況ですが、どちらも $ρ = 0$ となりました。 $W_{1}, W_{2}, W_{3}$ の重なりが小さい時と大きい時で差がある、といった直感的に分かりやすい性質が見つかれば嬉しかったのですが、どうやらそういった性質は無いようです。

$(*)$ の証明の失敗例とそこから得られること

　一度冒頭の問題に戻ります。一目見て、「2つの部分空間についての次元定理を用いて $+$ を $\cap$ に変換していく」という方針で証明できるのでは、と思った方もいるのではないでしょうか(私は思いました)。この方針で進めるとどこが引っかかるのか、確かめてみます。
$\begin{array}{rcl} \dim (W_{1} + W_{2} + W_{3}) & = & \dim ((W_{1} + W_{2}) + W_{3}) \\ = & \dim (W_{1} + W_{2}) + \dim W_{3} - \dim ((W_{1} + W_{2}) \cap W_{3}) \end{array}$
　この次は $\dim ((W_{1} + W_{2}) \cap W_{3}) = \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3}))$ と分配法則のような計算をしたくなるところですが、これが誤りです。実際、上で挙げた $R^{2}$ での例を当てはめれば、必ずしも成り立たないことが確かめられます。ちなみに
$(W_{1} + W_{2}) \cap W_{3} \supset (W_{1} \cap W_{3}) + (W_{2} \cap W_{3})$
であることはすぐに分かるので、 $\dim ((W_{1} + W_{2}) \cap W_{3}) \geq \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3}))$ が常に成り立ちます。
　仮に $\dim ((W_{1} + W_{2}) \cap W_{3}) = \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3}))$ が成り立つとすれば、上の計算から続けて
$\begin{array}{rcl} = & \dim (W_{1} + W_{2}) + \dim W_{3} - \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3})) \\ = & \dim W_{1} + \dim W_{2} - \dim (W_{1} \cap W_{2}) + \dim W_{3} - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3}) + \dim (W_{1} \cap W_{2} \cap W_{3}) \end{array}$
となり、 $(*)$ が成り立ちます。

　上で行った計算は、
$\begin{array}{rcl} ((*) の左辺) & = & \dim (W_{1} + W_{2}) + \dim W_{3} - \dim ((W_{1} + W_{2}) \cap W_{3}) \\ ((*) の右辺) & = & \dim (W_{1} + W_{2}) + \dim W_{3} - \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3})) \end{array}$
が成り立つことを意味します。辺々の差を取ることにより、以下が得られます。

$ρ (W_{1}, W_{2}, W_{3}) = \dim ((W_{1} + W_{2}) \cap W_{3}) - \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3}))$

このことと、上で述べた $(W_{1} + W_{2}) \cap W_{3} \supset (W_{1} \cap W_{3}) + (W_{2} \cap W_{3})$ から

$ρ (W_{1}, W_{2}, W_{3}) \geq 0$

さらに

以下は同値:
(1) $ρ (W_{1}, W_{2}, W_{3}) = 0$
(2) $(*)$ が成り立つ。
(3) $(W_{1} + W_{2}) \cap W_{3} = (W_{1} \cap W_{3}) + (W_{2} \cap W_{3})$

が従います。

$ρ$ の色々な表示

　前節のもの以外にも、 $ρ$ は色々な表示を持つことが分かりました。下にリストアップしますが、そのままでは読み取りづらいので、後に続く文と並行して読んでください。

以下の値は $ρ (W_{1}, W_{2}, W_{3})$ に等しい:
(1) $(\dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} \cap W_{2}) - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3}) + \dim (W_{1} \cap W_{2} \cap W_{3})) - \dim (W_{1} + W_{2} + W_{3})$
(2) $\dim ((W_{1} + W_{2}) \cap W_{3}) - \dim ((W_{1} \cap W_{3}) + (W_{2} \cap W_{3}))$
(3) $\dim ((W_{1} + W_{2}) \cap W_{3}) + \dim (W_{1} \cap W_{2} \cap W_{3}) - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3})$
(4) $\dim (W_{1} \cap W_{2} \cap W_{3}) - (\dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} + W_{2}) - \dim (W_{1} + W_{3}) - \dim (W_{2} + W_{3}) + \dim (W_{1} + W_{2} + W_{3}))$
(5) $\dim ((W_{1} + W_{3}) \cap (W_{2} + W_{3})) - \dim ((W_{1} \cap W_{2}) + W_{3})$
(6) $\dim (W_{1} + W_{3}) + \dim (W_{2} + W_{3}) - \dim ((W_{1} \cap W_{2}) + W_{3}) - \dim (W_{1} + W_{2} + W_{3})$
また、(2),(3),(5),(6)は添え字を入れ替えたものも等しい。

(1)は定義そのもの、(2)は前節で示したもので、(3)は(2)の第2項を次元定理で書き換えたものです。
また、(3)に現れる4つの部分空間は $W_{1} + W_{2}, W_{1} \cap W_{2}, W_{1}, W_{2}$ それぞれと $W_{3}$ の共通部分になっています。
(4),(5),(6)の証明は後述しますが、これらは「(1),(2),(3)の(和空間の意味での) $+$ と $\cap$ を入れかえて全体を $- 1$ 倍したもの」です。試行錯誤の中で見つけたものですが、なぜこれが成り立つのか、筆者は直感的には理解できていません。
「添え字を入れ替えたものも等しい」の部分は、 $ρ$ の対称性から従います。

(4)を示す。(1)と(4)から $\dim (W_{1} \cap W_{2} \cap W_{3})$ と $- \dim (W_{1} + W_{2} + W_{3})$ を除いたものはそれぞれ
$\dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} \cap W_{2}) - \dim (W_{1} \cap W_{3}) - \dim (W_{2} \cap W_{3})$
$- (\dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} + W_{2}) - \dim (W_{1} + W_{3}) - \dim (W_{2} + W_{3}))$
であり、これらが等しいことを言えばよい。後者から前者を引いて整理すると
$\begin{array}{rcl} \dim (W_{1} + W_{2}) & + \dim (W_{1} \cap W_{2}) - \dim W_{1} - \dim W_{2} \\ + & \dim (W_{1} + W_{3}) & + \dim (W_{1} \cap W_{3}) - \dim W_{1} - \dim W_{3} \\ + & \dim (W_{2} + W_{3}) & + \dim (W_{2} \cap W_{3}) - \dim W_{2} - \dim W_{3} \end{array}$
となり、これは $0$ である。
(5),(6) については、(1)から(2),(3)を示したのと全く同じ流れで(4)から示せる。

(5)に現れる部分空間については、
$(W_{1} + W_{3}) \cap (W_{2} + W_{3}) \supset (W_{1} \cap W_{2}) + W_{3}$
が成り立つことが容易に分かります。したがって、

以下は同値:
(1) $ρ (W_{1}, W_{2}, W_{3}) = 0$
(2) $(*)$ が成り立つ。
(3) $(W_{1} + W_{2}) \cap W_{3} = (W_{1} \cap W_{3}) + (W_{2} \cap W_{3})$
(4) $(W_{1} + W_{3}) \cap (W_{2} + W_{3}) = (W_{1} \cap W_{2}) + W_{3}$
(3),(4)については、添え字を入れ替えたものも同値である。

が言えます。

ホモロジー群の次元として

　ここからは少し詳しい人向けです。この節の末尾にある解釈が「自分なりの結論」です。
　ホモロジー群を扱いますが、鎖複体のホモロジー群の定義だけ知っていれば十分です。

鎖複体のホモロジー群の定義(群論の知識が必要です)

　アーベル群と群準同型のなす列
$\dots ⟶ A_{i + 1} \overset{f_{i}}{\to} A_{i} \overset{f_{i - 1}}{\to} A_{i - 1} ⟶ \dots$
(長さは有限でも、片側に無限でも、両側に無限でも良い)があって、任意の $i$ について $f_{i - 1} \circ f_{i} = 0$ を満たすとき、この列を鎖複体と呼び、剰余群 $Ker (f_{i - 1}) / Im (f_{i})$ のことを $i$ 次ホモロジー群と呼びます。ちなみに、添え字が減っていくのではなく増えていく場合、コホモロジー群と言います。
ホモロジー群がすべて $0$ であるような鎖複体を完全列(または完全系列)と言います。
各 $A_{i}$ が $K$ 上のベクトル空間で、各 $f_{i}$ が $K$ -線形写像であるとき、ホモロジー群も $K$ 上のベクトル空間になります。

　部分空間 $W_{1}, W_{2}, W_{3}$ から自然に定まる鎖複体があり、そのホモロジー群の次元として $ρ$ が現れることが分かりました。

以下の列は鎖複体である。
$0 ⟶ W_{1} \cap W_{2} \cap W_{3} \overset{φ_{2}}{\to} (W_{1} \cap W_{2}) \oplus (W_{1} \cap W_{3}) \oplus (W_{2} \cap W_{3}) \overset{φ_{1}}{\to} W_{1} \oplus W_{2} \oplus W_{3} \overset{π}{\to} W_{1} + W_{2} + W_{3} ⟶ 0$
ここで、
$φ_{2} (a) = (a, a, a)$
$φ_{1} (a_{12}, a_{13}, a_{23}) = (a_{12} - a_{13}, a_{23} - a_{12}, a_{13} - a_{23})$
$π (a_{1}, a_{2}, a_{3}) = a_{1} + a_{2} + a_{3}$
である。さらに、 $W_{1} + W_{2} + W_{3}$ を $0$ 次とし、右から左に向かって $0$ 次、 $1$ 次、 $2$ 次、 $3$ 次として $i$ 次ホモロジー群を $H_{i}$ とおくと、
(1) $H_{0} = H_{2} = H_{3} = 0$
(2) $\dim H_{1} = ρ (W_{1}, W_{2}, W_{3})$
が成り立つ。

鎖複体であることはすぐに分かる。
$H_{0} = 0$ は $π$ が全射であることと同値であり、これは明らか。
$H_{3} = 0$ は $φ_{2}$ が単射であることと同値であり、これも明らか。
$H_{2} = 0$ を示す。 $Ker (φ_{2}) \subset Im (φ_{1})$ を示せば良い。任意に $(a_{12}, a_{13}, a_{23}) \in Ker (φ_{2})$ をとると、
$a_{12} - a_{13} = a_{23} - a_{12} = a_{13} - a_{23} = 0$
より $a_{12} = a_{13} = a_{23}$ である。この等しい元を $a$ とおくと $a \in W_{1} \cap W_{2} \cap W_{3}$ であり、 $φ (a) = (a_{12}, a_{13}, a_{23}) \in Im (φ_{1})$ .
最後に $\dim H_{1} = ρ (W_{1}, W_{2}, W_{3})$ を示す。まず $\dim (Ker (π))$ を考える。準同型定理から $(W_{1} \oplus W_{2} \oplus W_{3}) / Ker (π) ≅ Im (π)$ であり、 $π$ が全射であることと合わせて
$\begin{array}{rcl} \dim (Ker (π)) & = & \dim (W_{1} \oplus W_{2} \oplus W_{3}) - \dim (W_{1} + W_{2} + W_{3}) \\ = & \dim W_{1} + \dim W_{2} + \dim W_{3} - \dim (W_{1} + W_{2} + W_{3}) \end{array}$
を得る。次に $\dim (Im (φ_{1}))$ を考える。準同型定理から $((W_{1} \cap W_{2}) \oplus (W_{1} \cap W_{3}) \oplus (W_{2} \cap W_{3})) / Ker (φ_{1}) ≅ Im (φ_{1})$ であり、 $H_{2} = 0$ であったから $Ker (φ_{1}) = Im (φ_{2}),$ さらに $φ_{2}$ は単射であったから $Im (φ_{2}) ≅ W_{1} \cap W_{2} \cap W_{3}$ . したがって
$\begin{array}{rcl} \dim (Im (φ_{1})) & = & \dim ((W_{1} \cap W_{2}) \oplus (W_{1} \cap W_{3}) \oplus (W_{2} \cap W_{3})) - \dim (W_{1} \cap W_{2} \cap W_{3}) \\ = & \dim (W_{1} \cap W_{2}) + \dim (W_{1} \cap W_{3}) + \dim (W_{2} \cap W_{3}) - \dim (W_{1} \cap W_{2} \cap W_{3}) \end{array}$
を得る。以上の結果を用いて $\dim (Ker (π)) - \dim (Im (φ_{1}))$ を計算すると $ρ (W_{1}, W_{2}, W_{3})$ に一致することが分かり、したがって $\dim H_{1} = \dim (Ker (π)) - \dim (Im (φ_{1})) = ρ (W_{1}, W_{2}, W_{3})$ となる。

以下は同値:
(1) $ρ (W_{1}, W_{2}, W_{3}) = 0$
(2) $(*)$ が成り立つ。
(3) 定理7の鎖複体において $H_{1} = 0$
(4) 定理7の鎖複体が完全列。

　調べたところ、 MathOverflowに定理7と同じような内容がありました。一般の個数の部分空間に対して同様のことが言えるようです。文献もあるようですが、確認できていません。

　この結果から、 $ρ$ について1つの解釈が得られます。まず、 $Ker (π)$ は $W_{1}, W_{2}, W_{3}$ の元の組 $(a_{1}, a_{2}, a_{3})$ で、 $a_{1} + a_{2} + a_{3} = 0$ を満たすもの全体の集合です。このことから、 $\dim (Ker (π))$ という値は $W_{1}, W_{2}, W_{3}$ の元がどのぐらい多くの関係式を持つかを表していると言えます。一方 $Im (φ_{1})$ は
$(a, - a, 0), (b, 0, - b), (0, c, - c)$
の形の元で生成される空間です。これらは $a + (- a) + 0 = 0$ などの自明な関係式に対応しています。このことから、 $\dim (Im (φ_{1}))$ という値は、 $W_{1}, W_{2}, W_{3}$ の元の間の関係式のうち、自明なものがどのぐらいあるかを表していると言えます。したがって、 $ρ (W_{1}, W_{2}, W_{3})$ という値は、 $W_{1}, W_{2}, W_{3}$ の元が非自明な関係式をどのぐらい持っているかを表している、と解釈できます。
　この解釈から、 $(*)$ が成り立つのは $W_{1}, W_{2}, W_{3}$ の元が非自明な関係式を持たないときである、と言えます。

おまけ　一般の加群への拡張

　 $R$ を環、 $M$ を左 $R$ 加群とし、 $N_{1}, N_{2}, N_{3}$ を $M$ の部分 $R$ 加群とします。一般の $R$ 加群に対して次元は定義されませんが、前節と同様に複体を構成することはできます。

以下の列は鎖複体である。
$0 ⟶ N_{1} \cap N_{2} \cap N_{3} \overset{φ_{2}}{\to} (N_{1} \cap N_{2}) \oplus (N_{1} \cap N_{3}) \oplus (N_{2} \cap N_{3}) \overset{φ_{1}}{\to} N_{1} \oplus N_{2} \oplus N_{3} \overset{π}{\to} N_{1} + N_{2} + N_{3} ⟶ 0$
ここで、
$φ_{2} (a) = (a, a, a)$
$φ_{1} (a_{12}, a_{13}, a_{23}) = (a_{12} - a_{13}, a_{23} - a_{12}, a_{13} - a_{23})$
$π (a_{1}, a_{2}, a_{3}) = a_{1} + a_{2} + a_{3}$
である。さらに、 $N_{1} + N_{2} + N_{3}$ を $0$ 次とし、右から左に向かって $0$ 次、 $1$ 次、 $2$ 次、 $3$ 次として $i$ 次ホモロジー群を $H_{i}$ とおくと、 $H_{0} = H_{2} = H_{3} = 0$ が成り立つ。

このときの $H_{1}$ は、 $N_{1}, N_{2}, N_{3}$ の元の間に非自明な関係式がどのぐらいあるかを表していると解釈できます。

投稿日：2023年12月4日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

koumei

2663

(2023/11/30)別名義を使ってましたが、OMCでの名義に揃えました。

他の人のコメント

コメントはありません。

読み込み中

koumei

次元定理を3つの部分空間に拡張した際のズレ

$\rho$の定義
特別な場合
$(*)$の証明の失敗例とそこから得られること
$\rho$の色々な表示
ホモロジー群の次元として
おまけ　一般の加群への拡張

次元定理を3つの部分空間に拡張した際のズレ

ρの定義

特別な場合

(∗)の証明の失敗例とそこから得られること

ρの色々な表示

ホモロジー群の次元として

おまけ 一般の加群への拡張

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$ρ$ の定義

$(*)$ の証明の失敗例とそこから得られること

$ρ$ の色々な表示

おまけ　一般の加群への拡張