【組合せ論】メビウスの反転公式5 「(応用例)古典的なメビウスの反転公式/差分と和分」

前回、poset におけるメビウスの反転公式を証明しました。 (前回の記事に関しては下にあるリンクをご利用ください。) これを用いて、今回からは高校数学でも出会うような「初等的な結果」を導いていこうと思います。 今回はこのシリーズの初回で紹介した古典的なメビウスの反転公式の証明を行います。 また、後半には差分…