【組合せ論】メビウスの反転公式4 「 Poset における メビウスの反転公式の証明」

いよいよ今回は Poset におけるメビウスの反転公式を証明しようと思います。 証明の肝となるのは、 zeta function (ゼータ関数、ζ関数) の逆元として Möbius function (メビウス関数)が与えられることです。 このことは前回に詳細を紹介していますので、気になる方は前回の記事をどうぞ。 math-topology.hatenablog.com メ…