Top Qs
Timeline
Chat
Perspective
Paradoxical set
From Wikipedia, the free encyclopedia
Remove ads
Remove ads
In set theory, a paradoxical set is a set that has a paradoxical decomposition. A paradoxical decomposition of a set is two families of disjoint subsets, along with appropriate group actions that act on some universe (of which the set in question is a subset), such that each partition can be mapped back onto the entire set using only finitely many distinct functions (or compositions thereof) to accomplish the mapping. A set that admits such a paradoxical decomposition where the actions belong to a group is called -paradoxical or paradoxical with respect to .

Paradoxical sets exist as a consequence of the Axiom of Infinity. Admitting infinite classes as sets is sufficient to allow paradoxical sets.
Remove ads
Definition
Suppose a group acts on a set . Then is -paradoxical if there exists some disjoint subsets and some group elements such that:[1]
and
Remove ads
Examples
Summarize
Perspective
Free group
The Free group F on two generators a,b has the decomposition where e is the identity word and is the collection of all (reduced) words that start with the letter i. This is a paradoxical decomposition because
Banach–Tarski paradox
The most famous example of paradoxical sets is the Banach–Tarski paradox, which divides the sphere into paradoxical sets for the special orthogonal group. This result depends on the axiom of choice.
Remove ads
See also
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads