Bayangkan, ada bola yang terbuat dari materi ajaib, yang permukan bolanya dapat menembus dirinya sendiri. Nah pertanyaannya adalah:
Dapatkah kalian membalikkan permukaan bola tersebut, permukaan luar menjadi dalam, yang dalam jadi luar dengan syarat: tanpa merobek dan tanpa menimbulkan sudut tajam selama proses berlangsung?
Mungkin kalian akan berpikir hal tersebut mudah saja, tinggal dorong bagain atas bola ke bawah dan dorong bagian bawah ke atas. Okey, permukaan bola akan membalik tetapi menimbulkan sudut tajam selama proses berlangsung. Jadi melanggar sayarat.
Jadi gimana dong, bisa atau enggak kita melakukan hal tersebut?
Tenang saja teorema Smale menjamin kita bisa melakukannya. Secara Informal, Teorema Smale menyatakan:
Di Dunia matematatis, kita bisa membalikkan permukaan bola dengan ketentuan-ketentuan berikut: permukaan bolah boleh menembus dirinya sendiri, tidak boleh dirobek, tidak boleh terjadi sudut / lipatan tajam selama proeses berlangsung. (prosesnya dinamakan Eversion)
Meskipun ada teorema yang menjamin tetapi ternyata memvisualisasikan eversion bukanlah hal yang mudah. Silahkan lihat video diatas bagaimana hal tersebut divisualisasikan.
Secara formal teorema Smale mengatakan:
Teorema Smale: Terdapat korespondensi 1-1 dari kelas-kelas homotopy regular dari Imersi (immersions)
Akibat: Sebarang dua Imersi dari pada
merupakan homotopic regular.
Permukaan bola adalah ….
Istilah matematikanya adalah sphere yaitu himpunan semua titik-titikyang berjarak dari titik pusat pada suatu ruang Euclidean.
Untuk selanjutnya saya akan menuliskan (n-1)-sphere sebagai permukaan bola di dimensi n.
Imersi Lingkaran
Suatu Imersi (immersions) adalah fungsi dari lingkaran ke bidang yang daerah hasilnya (image) tidak terdapat sobekan atau sudut tajam tetapi boleh berpotongan dengan dirinya sendiri.
Secara matematis: adalah fungsi
(Fungsi halus orde ke-2) tanpa menghilangkan turunan pertama.

Imersi lingkaran

Bukan Imersi Lingkaran
Imersi 2-sphere
Suatu Imersi adalah fungsi dari 2-sphere ke ruang yang daerah hasilnya selalu berdimensi 2, dan tidak terdapat sobekan maupun lipatan tajam tetapi boleh berpotongan dengan dirinya sendiri. Secara matematis
adalah fungsi
, sedemikian hingga daerah hasil dari
selalu berdimensi 2, untuk semua .

bukan Imersi 2-Sphare
Homotopy Regular
Adalah cara untuk mengkelompokkan Imersi. Homotopy regular adalah keluarga kontinyu dari Imersi yang diparameterkan oleh bilangan real
. Dua Imersi
dikatakan Homotopic Regular, jika terdapat Homotopy Regular
dengan
dan
Yang menarik, Teorema Smale ternyata tidak berlaku di lingkaran, tidak berlaku pada imersi
Referensi: Turning spheresinside-out, Mark Grant, Durham University