|
Size: 552
Comment: Initial commit
|
Size: 751
Comment: Cardinality 2
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 23: | Line 23: |
| The set of these subsets is called the '''power set''' of ''A''. This is notated as ''𝒫(A)'' (note the calligraphic P). | The set of these subsets is called the '''power set''' of ''A''. This is notated as ''𝒫(A)'' (note the calligraphic P) and it can be expressed as ''{B | B ⊆ A}''. It can be proven that if ''|A| = n'', then ''|𝒫(A)| = 2^n^''. Furthermore '''Cantor's theorem''' proves that ''|A| < |𝒫(A)|'' for any set ''A''. |
Power Set
A power set is the set of all subsets.
Contents
Description
Consider a set A = {x,y,z}. There exist 8 unique subsets of A, including the empty set and A itself.
{ } a.k.a. Ø
{x}
{y}
{z}
{x y}
{x z}
{y z}
{x y z}
The set of these subsets is called the power set of A. This is notated as 𝒫(A) (note the calligraphic P) and it can be expressed as {B | B ⊆ A}.
It can be proven that if |A| = n, then |𝒫(A)| = 2n. Furthermore Cantor's theorem proves that |A| < |𝒫(A)| for any set A.