「サッカーボールってどんな形だったっけ？」今回は"断片的な情報"からサッカーボールの面の数や構成を計算してみようと思います。 そのうえで、高校数学に登場する以下の定理を活用します。 定理(オイラーの多面体定理) 凸多面体 の頂点の数、辺の数、面の…

前々回、poset におけるメビウスの反転公式を証明しました。 (前々回の記事に関しては下にあるリンクをご利用ください。) 前回は応用例として古典的なメビウスの反転公式と差分と和分の関係を紹介しました。 今回は包除原理(inclusion-exclusion principle)…

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

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

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

本格的にposetでのメビウス反転公式に向けての準備を始めていきます。 今回はposetの定義および poset 上の incidence algebra (隣接代数)の定義を行います。 ※証明は最小限にとどめていますので、何かあればご連絡ください。 (前回は、古典的なメビウスの反…

このシリーズでは高校数学でも話題となることがある(古典的な)メビウスの反転公式について、より一般化された形で導入し、高校数学に出てくる複数の公式を包括的・横断的に証明しようという目論見のもと書いていこうと思います。 ↓YouTubeで概要を動画にまと…