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 is
by 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.
Take the finite ambient set and the additive set function . Disjoint subsets have additive cardinality, so (a) applies and gives
This is the finite inclusion-exclusion principle.
In the set of all permutations, let consist of those fixing . For a prescribed collection of fixed points, its intersection has members. Applying the inclusion-exclusion principle to the complement of gives the number of derangements:
The convergent power series for the exponential function at therefore gives .

Articles by others on the same topic (0)

There are currently no matching articles.