17:
48:(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
670:
816:
297:
393:
535:
465:
703:
201:
181:
161:
141:
106:
86:
66:
882:
872:
563:
712:
206:
24:
is that a ball can be decomposed into a finite number of point sets and reassembled into two balls identical to the original.
908:
302:
470:
400:
852:
832:
826:
21:
836:
45:
903:
40:. A paradoxical decomposition of a set is two families of disjoint subsets, along with appropriate
878:
112:
840:
679:
186:
166:
146:
126:
91:
71:
51:
16:
897:
41:
550:
115:. Admitting infinite classes as sets is sufficient to allow paradoxical sets.
29:
665:{\displaystyle F=\{e\}\cup X(a)\cup X(a^{-1})\cup X(b)\cup X(b^{-1})}
705:
is the collection of all (reduced) words that start with the letter
15:
811:{\displaystyle X(a)\cup aX(a^{-1})=F=X(b)\cup bX(b^{-1}).}
292:{\displaystyle A_{1},...,A_{n},B_{1},...,B_{m}\subseteq A}
835:, which divides the sphere into paradoxical sets for the
715:
682:
566:
473:
403:
305:
209:
189:
169:
149:
129:
94:
74:
54:
388:{\displaystyle g_{1},...,g_{n},h_{1},...,h_{m}\in G}
831:The most famous example of paradoxical sets is the
203:-paradoxical if there exists some disjoint subsets
810:
697:
664:
529:
459:
387:
291:
195:
175:
155:
135:
100:
80:
60:
530:{\displaystyle A=\bigcup _{i=1}^{m}h_{i}(B_{i})}
460:{\displaystyle A=\bigcup _{i=1}^{n}g_{i}(A_{i})}
877:(Second ed.). Cambridge University Press.
111:Paradoxical sets exist as a consequence of the
709:. This is a paradoxical decomposition because
8:
579:
573:
88:-paradoxical or paradoxical with respect to
871:Wagon, Stan; Tomkowicz, Grzegorz (2016).
793:
744:
714:
681:
650:
610:
565:
518:
505:
495:
484:
472:
448:
435:
425:
414:
402:
373:
348:
335:
310:
304:
277:
252:
239:
214:
208:
188:
168:
148:
128:
93:
73:
53:
863:
7:
14:
802:
786:
774:
768:
753:
737:
725:
719:
692:
686:
659:
643:
634:
628:
619:
603:
594:
588:
524:
511:
454:
441:
1:
839:. This result depends on the
925:
853:Pathological (mathematics)
824:
874:The Banach–Tarski Paradox
676:is the identity word and
38:paradoxical decomposition
837:special orthogonal group
299:and some group elements
812:
699:
666:
560:has the decomposition
531:
500:
461:
430:
389:
293:
197:
177:
157:
137:
102:
82:
62:
25:
833:Banach–Tarski paradox
827:Banach–Tarski paradox
821:Banach–Tarski paradox
813:
700:
667:
532:
480:
462:
410:
390:
294:
198:
178:
158:
138:
103:
83:
63:
22:Banach–Tarski paradox
19:
909:Geometric dissection
713:
698:{\displaystyle X(i)}
680:
564:
471:
401:
303:
207:
187:
167:
147:
127:
92:
72:
52:
36:is a set that has a
808:
695:
662:
556:on two generators
527:
457:
385:
289:
193:
173:
153:
133:
98:
78:
58:
26:
884:978-1-107-04259-9
196:{\displaystyle G}
176:{\displaystyle A}
156:{\displaystyle A}
136:{\displaystyle G}
113:Axiom of Infinity
101:{\displaystyle G}
81:{\displaystyle G}
61:{\displaystyle G}
44:that act on some
916:
889:
888:
868:
817:
815:
814:
809:
801:
800:
752:
751:
704:
702:
701:
696:
671:
669:
668:
663:
658:
657:
618:
617:
536:
534:
533:
528:
523:
522:
510:
509:
499:
494:
466:
464:
463:
458:
453:
452:
440:
439:
429:
424:
394:
392:
391:
386:
378:
377:
353:
352:
340:
339:
315:
314:
298:
296:
295:
290:
282:
281:
257:
256:
244:
243:
219:
218:
202:
200:
199:
194:
182:
180:
179:
174:
162:
160:
159:
154:
142:
140:
139:
134:
123:Suppose a group
107:
105:
104:
99:
87:
85:
84:
79:
67:
65:
64:
59:
924:
923:
919:
918:
917:
915:
914:
913:
894:
893:
892:
885:
870:
869:
865:
861:
849:
841:axiom of choice
829:
823:
789:
740:
711:
710:
678:
677:
646:
606:
562:
561:
547:
542:
514:
501:
469:
468:
444:
431:
399:
398:
369:
344:
331:
306:
301:
300:
273:
248:
235:
210:
205:
204:
185:
184:
165:
164:
145:
144:
125:
124:
121:
90:
89:
70:
69:
50:
49:
34:paradoxical set
12:
11:
5:
922:
920:
912:
911:
906:
896:
895:
891:
890:
883:
862:
860:
857:
856:
855:
848:
845:
825:Main article:
822:
819:
807:
804:
799:
796:
792:
788:
785:
782:
779:
776:
773:
770:
767:
764:
761:
758:
755:
750:
747:
743:
739:
736:
733:
730:
727:
724:
721:
718:
694:
691:
688:
685:
661:
656:
653:
649:
645:
642:
639:
636:
633:
630:
627:
624:
621:
616:
613:
609:
605:
602:
599:
596:
593:
590:
587:
584:
581:
578:
575:
572:
569:
546:
543:
541:
538:
526:
521:
517:
513:
508:
504:
498:
493:
490:
487:
483:
479:
476:
456:
451:
447:
443:
438:
434:
428:
423:
420:
417:
413:
409:
406:
384:
381:
376:
372:
368:
365:
362:
359:
356:
351:
347:
343:
338:
334:
330:
327:
324:
321:
318:
313:
309:
288:
285:
280:
276:
272:
269:
266:
263:
260:
255:
251:
247:
242:
238:
234:
231:
228:
225:
222:
217:
213:
192:
172:
152:
143:acts on a set
132:
120:
117:
97:
77:
57:
13:
10:
9:
6:
4:
3:
2:
921:
910:
907:
905:
902:
901:
899:
886:
880:
876:
875:
867:
864:
858:
854:
851:
850:
846:
844:
842:
838:
834:
828:
820:
818:
805:
797:
794:
790:
783:
780:
777:
771:
765:
762:
759:
756:
748:
745:
741:
734:
731:
728:
722:
716:
708:
689:
683:
675:
654:
651:
647:
640:
637:
631:
625:
622:
614:
611:
607:
600:
597:
591:
585:
582:
576:
570:
567:
559:
555:
552:
544:
539:
537:
519:
515:
506:
502:
496:
491:
488:
485:
481:
477:
474:
449:
445:
436:
432:
426:
421:
418:
415:
411:
407:
404:
396:
382:
379:
374:
370:
366:
363:
360:
357:
354:
349:
345:
341:
336:
332:
328:
325:
322:
319:
316:
311:
307:
286:
283:
278:
274:
270:
267:
264:
261:
258:
253:
249:
245:
240:
236:
232:
229:
226:
223:
220:
215:
211:
190:
170:
150:
130:
118:
116:
114:
109:
95:
75:
55:
47:
43:
42:group actions
39:
35:
31:
23:
18:
873:
866:
830:
706:
673:
557:
553:
548:
397:
122:
110:
37:
33:
27:
395:such that:
904:Set theory
898:Categories
859:References
551:Free group
545:Free group
119:Definition
68:is called
30:set theory
795:−
778:∪
746:−
729:∪
652:−
638:∪
623:∪
612:−
598:∪
583:∪
482:⋃
412:⋃
380:∈
284:⊆
847:See also
540:Examples
46:universe
163:. Then
881:
672:where
879:ISBN
549:The
467:and
32:, a
20:The
558:a,b
183:is
28:In
900::
843:.
108:.
887:.
806:.
803:)
798:1
791:b
787:(
784:X
781:b
775:)
772:b
769:(
766:X
763:=
760:F
757:=
754:)
749:1
742:a
738:(
735:X
732:a
726:)
723:a
720:(
717:X
707:i
693:)
690:i
687:(
684:X
674:e
660:)
655:1
648:b
644:(
641:X
635:)
632:b
629:(
626:X
620:)
615:1
608:a
604:(
601:X
595:)
592:a
589:(
586:X
580:}
577:e
574:{
571:=
568:F
554:F
525:)
520:i
516:B
512:(
507:i
503:h
497:m
492:1
489:=
486:i
478:=
475:A
455:)
450:i
446:A
442:(
437:i
433:g
427:n
422:1
419:=
416:i
408:=
405:A
383:G
375:m
371:h
367:,
364:.
361:.
358:.
355:,
350:1
346:h
342:,
337:n
333:g
329:,
326:.
323:.
320:.
317:,
312:1
308:g
287:A
279:m
275:B
271:,
268:.
265:.
262:.
259:,
254:1
250:B
246:,
241:n
237:A
233:,
230:.
227:.
224:.
221:,
216:1
212:A
191:G
171:A
151:A
131:G
96:G
76:G
56:G
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.