„Banach–Tarski-paradoxon” változatai közötti eltérés

→‎A bizonyítás vázlata: - a zárójel nincs bezárva...
(→‎A bizonyítás vázlata: - a zárójel nincs bezárva...)
:<math>F_2=bS(b^{-1})\cup S(b)</math>.
 
(A ''a'' ''S''(''a''<sup>-1</sup>) jelentése, hogy minden ''S''(''a''<sup>-1</sup>)-beli sztringet balról összefűzünk ''a''-val. Ez a bizonyítás egyik kulcsmomentuma. Most tekintsük a következőt: <math>F_2</math>-t négy részhalmara osztjuk - ''S''(''a''), ''S''(''a''<sup>-1</sup>), ''S''(''b'') és ''S''(''b''<sup>-1</sup>) - (az <math>e</math> ezekben nincs benne, de ezzel ne foglakozzunk, mert a továbbiakban nem lesz jelentősége), aztán "eltoljuk" ''S''(''a''<sup>-1</sup>)-t és ''S''(''b''<sup>-1</sup>)-t rendre ''a''-val és ''b''-vel való szorzással, majd képezzük az egyenlőségek szerinti uniókat, azaz elértük hogy a <math>F_2</math>-t létrehozzuk a 4 részhalmazból kétféleképpen, csupán 2-2 uniójával. Pont ez az amit a gömbökkel akarunk csinálni.
'''2. lépés''' A 3 dimenzióban a <math>F_2</math>-höz hasonlóan viselkedő (vele [[izomorf]]) csoporthoz tekintsük a 3 dimenziós térben 2 egymásra merőleges tengelyt (legyen az x és z tengely) és az ezek körüli - π irracionális többszörösével (pl arccos(1/3))való- elforgatásokat, ''A''-t és ''B''-t. (A 2 dimenziós tér túl "szűk" ehhez, mert ott csak egy tengelyt tudunk választani, így csoportunk kommutatív lenne.)Könnyen belátható, hogy ''A'' és ''B'' pont úgy vislekedik, mint ''a'' és ''b'', így az ''A'' és ''B'' által generált csoport izomorf <math>F_2</math>-vel. Az ''A'' és ''B'' forgatások által generált csoportot nevezzük '''H'''-nak. Természetesen így már '''H''' paradox felbontása is megvan.
6

szerkesztés