NISHIO Hirokazu[Translate]
包除原理とメビウスの反転公式

有限集合 S のべき集合 2^S 上で定義された関数 f, g が
{\displaystyle g(A)=\sum _{B\subseteq A}f(B)}
を満たすならば、
{\displaystyle f(A)=\sum _{B\subseteq A}(-1)^{\left|A\setminus B\right|}g(B).}
この形は半順序集合 2^S の隣接代数におけるメビウスの反転公式となる。


"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]