とぽろじい　～大人の数学自由研究～

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