Banach–Tarski paradoks jedan je od najzanimljivijih rezultata iz teorije skupova, a često izaziva čuđenje i sumnju kod onih koji ga prvi put čuju. Ideja da se iz jedne čvrste kugle može, uz određen skup apstraktnih rezova, složiti dvije kugle istog oblika i veličine, naizgled krši zakone fizike i svakodnevnog iskustva. U ovom članku pokušat ćemo objasniti osnovni princip paradoksa, razjasniti zašto je on matematički valjan, a istovremeno zašto ga ne možemo provesti u stvarnom svijetu.
Sadržaj...
Osnovna ideja paradoksa
Paradoks se temelji na svojstvu trodimenzionalnog prostora da se određeni skupovi mogu razdvojiti na vrlo neobične podskupove. Ti podskupovi nisu “obični” dijelovi koje možemo nacrtati ili izrezati nožem – oni su beskonačni i ne-mjerljivi, a njihova struktura je toliko složena da ne zadovoljava intuitivne geometrijske pojmove. Kada se takvi podskupovi pomiču, rotiraju i kombiniraju, moguće je dobiti dva nova skupa koji su, po definiciji, identični izvornom skupu.
Ključni matematički alat koji omogućuje ovu konstrukciju je aksiom izbora. On dopušta da se iz svakog ne-praznog skupa odabere jedan element, čak i ako nema konkretan algoritam za takav odabir. Zahvaljujući tom aksiomu, moguće je izabrati elemente iz beskonačno mnogo podskupova i time izgraditi “ne-mjerljive” dijelove potrebne za paradoks.
Zašto paradoks ne funkcionira u fizičkom svijetu?
Postoje dva temeljna razloga zbog kojih se Banach–Tarski paradoks ne može realizirati u stvarnosti.
- Fizička struktura materije – Svaki objekt sastavljen je od atoma i molekula, a ti čestice imaju konačnu veličinu. Bez obzira na to koliko precizno reznice izvedemo, ne možemo razdvojiti materiju na dijelove koji su manje od atomskog skalara. Paradoks zahtijeva podskupove koji su, po definiciji, ne-mjerljivi i ne-konkretni, što je u suprotnosti s granicama materijalne strukture.
- Aksiom izbora i ne-konstruibilnost – Iako aksiom izbora vrijedi u mnogim granama matematike, on ne pruža konkretan način za odabir elemenata. To znači da ne postoji algoritam koji bi fizičaru omogućio da “izreže” potrebne dijelove iz materijalnog objekta. Paradoks ostaje čisto teorijski, bez praktične primjene.
Zbog ovih ograničenja, paradoks ne mijenja naše svakodnevno razumijevanje volumena i mase. On je demonstracija kako apstraktna matematika može proizvesti rezultate koji su u suprotnosti s našim iskustvom, ali ne i s fizikalnim zakonima.
Matematički okvir i povijesni kontekst
Paradoks je prvi put formuliran 1924. godine od strane poljskog matematičara Stefana Banacha i poljskog matematičara Alfreda Tarskog. Njihovo otkriće temeljilo se na ranijim radovima Georga Cantora o beskonačnim skupovima i na razvoju teorije mjere. U to vrijeme je aksiom izbora još uvijek bio predmet rasprava, a Banach i Tarski su pokazali da njegovo prihvaćanje dovodi do iznenađujućih posljedica.
U matematičkoj literaturi paradoks se najčešće izlaže kroz pojam paradoksalnog razlaganja. To je postupak u ko
