First, finite additivity of a set function gives , since . Put . Decomposing any subset into its singleton elements and using induction gives . Fix and let be the number of sets containing it. Its total coefficient in the alternating intersection sum is zero if , and otherwise isby the binomial theorem. These are exactly the coefficients in . Summing against proves the required inclusion-exclusion principle for the additive set function, including signed weights.
Articles by others on the same topic
There are currently no matching articles.