Bifalgorithm post · Brisk · Chapter 1
What is the cardinality of a power set?
What is the cardinality of a power set? (Brisk · Chapter 1) — "Now what’s the cardinality of P(X) for some set X? That’s an interesting question, and one well…
Ideas in this flowchart
- The cardinality of the power set P(X)
- In general, |P(X)| = 2^|X|.
- Each element of X can either be included in or excluded from a subset.
- What choice is made for each element?
- Include the element in the subset.
- Exclude the element from the subset.
- The independent choices for all elements multiply together.
- If |X| = 2, then |P(X)| = 2 × 2.
- If |X| = 3, then |P(X)| = 2 × 2 × 2.
- The result connects to combinatorics and the binary number system.
- Limiting case: X is the empty set, so |X| = 0.
- The empty set has exactly one subset: itself.
- Therefore, |P(X)| = 1 when X is empty.
