Posetでのメビウスの反転公式に向けて、最後の準備を行います。 今回は前回定義した incidence algebra (隣接代数)の元としての zeta function (ゼータ関数、ζ関数)を導入し、その"逆元"として Möbius function (メビウス関数)を構成します。 用語に関しては前回の記事を踏襲しますので、ご参照ください。 math-topology.hatenablog.com 隣接代数の積に関する「単位元」「逆元」 Zeta function と Möbius function 参考文献 まとめ 次の記事 隣接代数の積に関する「単位元」「逆元」 補題1(関数) L…