Banachi-Tarski paradoks

Banachi–Tarski paradoks on teoreem hulgateoreetilises geomeetrias, mille kohaselt saab kolmemõõtmelises ruumis kera jagada lõplikuks arvuks lõikumatuteks punktihulkadeks ja neid osasid üksnes nihete ja pöörete abil liigutades kokku panna kaks esialgsega ühesugust kera.

Selle teoreemi sõnastasid ja tõestasid poola matemaatikud Stefan Banach ja Alfred Tarski 1924. aastal. Õieti näitasid nad, et kehtib Banachi-Tarski paradoksi üldisem kuju: kui , siis iga kahe tõkestatud mittetühja sisemusega punktihulga korral eukleidilises ruumis  saab esimese hulga jagada lõplikuks arvuks lõikumatuteks punktihulkadeks, millest nihutamiste ja pöörete abil saab kokku panna teise hulga.

Raphael M. Robinson näitas 1947. aastal, et vähim arv tükke, milleks esialgse kera Banachi-Tarski paradoksis jagada saab, on viis: kolmest tükist pannakse kokku üks esialgsega samasugune kera ja ülejäänust kahest teine.

Arvteljel  ega tasandil  Banachi-Tarski paradoks ei kehti, kuid Banachi-Tarski paradoksi ja tema üldisema kujuga analoogilised väited jäävad kehtima, kui lubada lõpliku arvu  asemel loenduvat hulka juppe.

Sõna paradoks kasutatakse siin vastuolu tõttu geomeetrilise vaistuga: kera kahekordistamine juppide pööramise ja nihutamise teel tundub võimatu, sest pööramine ja nihutamine peaksid säilitama ruumala – ometi ruumala kahekordistub. Matemaatikas lahendatakse see vastuolu öeldes, et mõned punktihulgad ruumis võivad olla mõõtumatud, s. t. nii keerulise ehitusega, et nende ruumalast ei saa üldse kõnelda. Seega näitab Banachi-Tarski paradoks vaid, et ruumala mõistet ei saa mõistlikult laiendada kolmemõõtmelise ruumi kõigile punktihulkadele: osadest, milleks kera selles paradoksis jaotatakse, peavad vähemalt mõned olema mõõtumatud.

Banachi-Tarski paradoksi tõestamisel kasutatakse hulgateooria palju vaidlusi tekitanud valikuaksioomi. 1964. aastal näitas Robert Solovay, et Zermelo-Fraenkeli hulgateoorial leidub mudel, kus ruumala mõiste saab laiendada ruumi  kõigile punktihulkadele iga naturaalarvu  korral (vt jaotist Seos valikuaksioomiga), ning järelikult valikuaksioomi kasutamata Banachi-Tarski paradoksi tõestada ei saa.

Kuna valikuaksioomist järeldub, et on olemas mõõtumatud hulgad (näiteks kera osad Banachi–Tarski paradoksis), on mõned matemaatikud otsustanud kasutada ilma valikuaksioomita hulgateooriat. Valdav enamik tänapäeva matemaatikuid aga tunnustab siiski valikuaksioomiga Zermelo-Fraenkeli hulgateooriat ning seega ka Banachi-Tarski paradoksi kehtimist., lk. 276.

 Täpsem sõnastus 
 G-paradokssus ja G-võrdlahutuvus 

Olgu  mingi hulk ning  rühm, mille elemendid on bijektiivsed teisendused hulgal , nii et rühma  tehteks on teisenduste järjest rakendamine.

Öeldakse, et alamhulgad  ja  on -võrdlahutuvad, kui leidub naturaalarv , paarikaupa lõikumatud osahulgad , paarikaupa lõikumatud  ning teisendused  nii, et



Alamhulka  nimetatakse -paradoksseks, kui tal leiduvad lõikumatud alamhulgad  ja  nii, et ,  ja  on -võrdlahutuvad ning  ja  on -võrdlahutuvad.

 Banachi-Tarski paradoks 

Tähistame E(n) abil ruumi  kõigi isomeetriate (s. o. kaugusi säilitavate teisenduste) rühma ning E+(n) abil ruumi  kõigi pöörete ja rööplükete poolt määratud rühma (s. o. rühma, kuhu kuuluvad kõik pöörete ja/või rööplükete järjest rakendamisel saadavad teisendused). Seega E+(n) on rühma E(n) alamrühm: rühma E(n) kuuluvad lisaks pööretele ja rööplüketele veel peegeldused.

Banachi-Tarski paradoksi võib siis sõnastada järgmiselt:
 Iga kera ruumis  on E+(3)-paradoksne.

Banachi-Tarski paradoksi üldistus kõlab nõnda:
 Kui , siis iga kaks tõkestatud mittetühja sisemusega punktihulka ruumis  on E+(3)-võrdlahutuvad.

 Seos valikuaksioomiga 

1964. aastal näitas Robert Solovay, et kui Zermelo-Fraenkeli hulgateooria on kooskõlaline, siis tal leidub ka mudel, kus iga naturaalarvu  korral on olemas niisugune ruumi  kõigil alamhulkadel määratud -invariantne loenduvalt aditiivne mõõt, et ühikkuubi  mõõt on 1., lk. 208-210. Niisuguses mudelis Banachi-Tarski paradoks ilmselt ei kehti.

 Märkused 

 Viiteid 








Kategooria:Mõõduteooria
Kategooria:Rühmateooria