代数的組合せ論の問題
7 個の元からなる集合 に、次の被覆関係( は「 は のすぐ上にある」を表す)から生成される半順序 を入れる。
すなわち、 となるのは であるか、 から へ被覆関係をたどって上がれるときである。 のメビウス関数 を
で定めるとき、 を求めよ。
この問題で使うもの
- 半順序集合のメビウス関数(説明と入口の問題)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
半順序集合のメビウス関数の漸化式 を使い、ハッセ図の下の元から順に の値を書き込もう。
ヒント 2
のすぐ上の元(原子) では になる。 では、 より真に下にある元が だけであることに注意する。
ヒント 3
, , となる。あとはこれらの和をとって符号を反転させればよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
から出発して、下の元から順に の値を書き込んでいく。
ステップ 1(最小元): 定義より 。
ステップ 2(): たとえば について、 を満たす は だけなので
も同様で、。
ステップ 3(): を満たす は の 3 つ( は の下にない)。よって
ステップ 4(): は最大元なので、 を満たす は の 6 つ。よって
したがって である。
別解
を下から順に計算する。
- は のすぐ上なので
- について: となる は 。
- について: となる は の 6 個。
検算: は と 以外の元からなる部分順序集合の被約オイラー標数に等しい。この部分集合は、 ( の下に 、頂点 3 個・辺 2 本の連結な木) と孤立点 からなり、連結成分は 3 個で、被約オイラー標数は ではなく 、被約では 。よって で一致する。