Matematika adalah ilmu yang mempelajari struktur, pola, kuantitas, ruang, perubahan, dan hubungan melalui penalaran logis serta sistem formal. Sebagai penulis disertasi, kami memiliki rasa ingin tahu yang mendalam dan mempelajari beragam bidang ilmu. Karena itu, memahami matematika bukan sekadar mempelajari angka dan rumus, melainkan juga menelusuri fondasi yang memungkinkan berbagai disiplin ilmu membangun pengetahuan secara sistematis.
Matematika memiliki semboyan Mathesis Scientiarum Genitrix, yang berarti “Matematika adalah Ibu dari Ilmu Pengetahuan”. Ungkapan ini berkaitan dengan Genootschap der Beschouwende en Werkdaadige Wiskunde, sebuah perhimpunan matematika teoretis dan praktis yang didirikan pada 1785 di Leiden, Belanda. Perhimpunan tersebut menggunakan ungkapan itu sebagai semboyan dan kemudian mendirikan lembaga pendidikan teknik dengan nama yang sama.
Belakangan, perkembangan kecerdasan buatan (AI) turut memunculkan persaingan di bidang matematika, khususnya dalam pembuktian teorema dan pemecahan masalah yang kompleks. Berbagai sistem AI berlomba menunjukkan kemampuan komputasi dan penalaran matematis yang semakin canggih. Perkembangan ini mengingatkan kita bahwa matematika bukan sekadar kumpulan rumus yang sudah mapan, melainkan sebuah wilayah pengetahuan yang sangat luas, dengan struktur dan hubungan yang terus dieksplorasi.
Lantas, seberapa luas sebenarnya wilayah matematika? Untuk menjawab pertanyaan ini, kita akan menelusuri peta struktur matematika yang disusun oleh Max Tegmark, profesor fisika di Massachusetts Institute of Technology (MIT), dalam makalah The Multiverse Hierarchy yang diterbitkan pada 2009. Dalam ilustrasinya, Tegmark memetakan hubungan antara berbagai struktur matematika dasar. Ia menjelaskan bahwa panah-panah pada diagram umumnya menunjukkan penambahan simbol dan/atau aksioma baru, sedangkan panah-panah yang bertemu menunjukkan penggabungan struktur-struktur matematika. Menurutnya, pohon struktur tersebut kemungkinan tidak berhingga panjangnya; diagram yang ditampilkan hanyalah sampel kecil dari bagian yang paling dasar.
Kita akan menelusuri peta tersebut dari bagian paling bawah, yakni struktur-struktur matematika yang paling mendasar, kemudian bergerak ke bagian yang lebih tinggi. Dengan mengikuti arah panah dan memperhatikan penambahan simbol, aksioma, serta penggabungan struktur, kita dapat melihat bagaimana sistem matematika yang semakin kompleks dibangun dari fondasi yang lebih sederhana. Sebagaimana ditekankan Tegmark, diagram itu hanyalah cuplikan kecil dari lanskap matematika yang mungkin tidak memiliki batas.
Level 1: Sistem Formal
Dasar dari matematika adalah sistem formal. Sistem formal adalah struktur yang terdiri atas simbol, aturan pembentukan ekspresi, aksioma, dan aturan inferensi yang menentukan bagaimana suatu pernyataan dibentuk dan bagaimana kesimpulan dapat diturunkan secara logis. Sistem formal jika dilengkapi dengan simbol operasi dan aksioma yang mengatur negasi (NOT), konjungsi (AND), disjungsi (OR), serta aturan pengelompokan ekspresi menggunakan tanda kurung, dapat digunakan untuk membangun sistem logika Boolean dan, dengan memenuhi aksioma yang sesuai, membentuk aljabar Boolean dan model.
Level 2: Aljabar Boolean dan Model
Aljabar Boolean adalah struktur aljabar yang memiliki elemen dan operasi yang memenuhi hukum-hukum tertentu, seperti komutativitas, distributivitas, dan komplemen, serta menjadi dasar bagi logika digital dan desain sirkuit komputer. Sistem formal juga dapat menjadi dasar bagi pembentukan model.
Namun, model tidak hanya memerlukan sistem formal, tetapi juga himpunan dan relasi. Himpunan adalah kumpulan objek yang terdefinisi dengan jelas, yang disebut elemen atau anggota himpunan. Himpunan akan menjadi dasar pembentukan relasi melalui produk Kartesian, yaitu himpunan semua pasangan terurut yang dapat dibentuk dari dua himpunan. Jika A dan B adalah dua himpunan, produk Kartesiannya ditulis A x B dan didefinisikan sebagai A x B ={(a,b) | a elemen A, b elemen B}. Relasi adalah himpunan bagian dari produk Kartesian yang menentukan pasangan elemen mana yang memiliki hubungan tertentu. Misalnya, jika A adalah himpunan manusia dan B adalah himpunan bahasa, relasi dapat menyatakan manusia mana yang menguasai bahasa tertentu. Bersama-sama, sistem formal, himpunan, dan relasi dapat digunakan untuk membentuk model. Jadi, model adalah representasi matematis dari suatu objek, sistem, atau fenomena yang dibangun melalui struktur formal, himpunan elemen yang merepresentasikan objek-objek yang dikaji, serta relasi yang menggambarkan hubungan di antara elemen-elemen tersebut, sehingga struktur dan perilakunya dapat dianalisis, dijelaskan, atau diprediksi.
Level 3: Kalkulus Predikat Tingkat Pertama
Aljabar Boolean merupakan jembatan penting antara sistem formal dan kalkulus predikat tingkat pertama (lower predicate calculus), yang menyediakan landasan logis bagi pembentukan teori himpunan sebagai salah satu perangkat matematis untuk membangun model. Aljabar Boolean dapat diperluas dengan menambahkan kuantor, seperti kuantor universal (A terbalik) yang berarti “untuk semua” dan kuantor eksistensial (E terbalik) yang berarti “terdapat”, serta variabel dan predikat, sehingga terbentuk kalkulus predikat tingkat pertama. Kalkulus predikat tingkat pertama adalah sistem logika formal yang memungkinkan kita menyatakan sifat objek, hubungan antarobjek, serta pernyataan umum mengenai anggota suatu domain melalui predikat, variabel, operator logika, dan kuantor. Sebagai contoh, pernyataan “semua manusia akan mati” dapat ditulis (Untuk semua x (Manusia(x) maka Mati(x)). Dengan demikian, jika aljabar Boolean terutama mengolah nilai kebenaran dan hubungan logis antar pernyataan, kalkulus predikat tingkat pertama memperluas kemampuan tersebut dengan memungkinkan kita berbicara secara formal tentang objek, sifat, dan relasi di dalam suatu domain. Perlu dicatat bahwa istilah lower predicate calculus bukanlah istilah baku yang paling umum dalam literatur logika modern; istilah yang lazim digunakan adalah first-order predicate calculus atau first-order logic.
Level 4: Semi-Grup, Bilangan Asli, dan Himpunan
Kalkulus predikat tingkat pertama dapat dikembangkan menjadi berbagai struktur matematika melalui penambahan simbol, operasi, dan aksioma yang berbeda. Ketika dilengkapi dengan operasi biner yang bersifat asosiatif dan memiliki elemen identitas, struktur tersebut dapat membentuk monoid, yaitu struktur aljabar yang terdiri atas suatu himpunan dengan operasi biner asosiatif dan elemen identitas. Jika elemen identitas tidak disyaratkan, struktur yang dihasilkan disebut semigrup, yaitu himpunan yang dilengkapi operasi biner asosiatif. Sementara itu, jika dilengkapi dengan simbol dan aksioma yang mengatur operasi aritmetika serta sifat-sifat bilangan, sistem tersebut dapat digunakan untuk membangun teori bilangan asli. Bilangan asli adalah bilangan yang digunakan untuk menghitung, seperti 1,2,3,..., meskipun dalam beberapa konvensi bilangan asli juga mencakup 0. Di sisi lain, penambahan simbol dan aksioma yang mengatur kesamaan (=), keanggotaan (E), gabungan (U), dan irisan (U terbalik) dapat digunakan untuk merumuskan teori himpunan. Seperti yang telah disebutkan, himpunan adalah kumpulan objek yang terdefinisi dengan jelas, yang disebut elemen atau anggota himpunan. Ketiga jalur ini memperlihatkan bagaimana penambahan perangkat formal yang berbeda dapat menghasilkan struktur matematika dengan fungsi dan karakteristik yang berbeda pula.
Level 5: Grup, Ring, Bilangan Bulat, Ruang Topologis, Geometri Abstrak, dan Relasi
Level 5 terbagi menjadi tiga cabang sesuai dengan tiga jalur pengembangan yang berawal dari kalkulus predikat tingkat pertama, yaitu cabang semigrup (Level 5a), cabang bilangan asli (Level 5b), dan cabang himpunan (Level 5c). Ketiganya memperlihatkan bagaimana penambahan simbol, operasi, dan aksioma yang berbeda dapat menghasilkan struktur matematika dengan karakteristik dan fungsi yang berbeda pula.
Level 5a: Grup dan Ring
Semigrup dapat dikembangkan menjadi struktur aljabar yang lebih kompleks, seperti grup dan gelanggang. Jika suatu semigrup dilengkapi dengan elemen identitas dan setiap elemennya memiliki elemen invers terhadap operasi binernya, struktur tersebut menjadi grup, yaitu himpunan dengan operasi biner yang memenuhi sifat ketertutupan, asosiativitas, keberadaan elemen identitas, dan keberadaan invers bagi setiap elemen. Sementara itu, gelanggang dapat dibentuk dari suatu himpunan yang dilengkapi dengan dua operasi biner, biasanya penjumlahan dan perkalian, yang memenuhi aksioma tertentu. Gelanggang (ring) adalah struktur aljabar yang operasi penjumlahannya membentuk grup abelian, operasi perkaliannya bersifat asosiatif, dan perkalian bersifat distributif terhadap penjumlahan. Dengan demikian, grup menekankan struktur satu operasi yang memiliki invers, sedangkan gelanggang menggabungkan dua operasi yang saling berhubungan melalui hukum distributif.
Level 5b: Bilangan Bulat
Bilangan asli dapat diperluas menjadi bilangan bulat dengan memasukkan bilangan negatif dan mendefinisikan operasi aritmetika yang berlaku pada keseluruhan sistem bilangan tersebut. Bilangan bulat juga dapat dibangun secara abstrak melalui konstruksi aljabar, misalnya dari pasangan bilangan asli yang merepresentasikan selisih, atau melalui gelanggang bilangan bulat. Bilangan bulat adalah himpunan bilangan yang mencakup bilangan negatif, nol, dan bilangan positif, yang biasanya ditulis {Z}={....-3,-2,-1,0,1,2,3,.......). Bilangan bulat memungkinkan operasi penjumlahan, pengurangan, dan perkalian dilakukan tanpa harus keluar dari himpunan tersebut, meskipun pembagian dua bilangan bulat tidak selalu menghasilkan bilangan bulat. Dalam kerangka peta struktur matematika, cabang ini memperlihatkan hubungan antara teori bilangan dan struktur aljabar.
Level 5c: Ruang Topologi, Geometri Abstrak, dan Relasi
Himpunan dapat menjadi dasar bagi pembentukan berbagai struktur matematika, termasuk ruang topologis, geometri abstrak, relasi, dan model. Jika suatu himpunan dilengkapi dengan koleksi bagian-bagian yang ditetapkan sebagai himpunan terbuka dan memenuhi aksioma topologi, struktur tersebut menjadi ruang topologis. Ruang topologis adalah pasangan yang terdiri atas suatu himpunan dan sebuah topologi, yaitu koleksi himpunan bagian yang memuat himpunan kosong dan himpunan semesta serta tertutup terhadap gabungan sembarang dan irisan berhingga. Struktur ini memungkinkan konsep kedekatan, kekontinuan, dan keterhubungan dipelajari tanpa harus bergantung pada pengukuran jarak secara eksplisit.
Himpunan juga menjadi dasar pembentukan relasi melalui produk Kartesian. Produk Kartesian dua himpunan (A) dan (B), yang ditulis (A\times B), merupakan himpunan semua pasangan terurut ((a,b)) dengan (a\in A) dan (b\in B). Relasi antara (A) dan (B) adalah himpunan bagian dari (A\times B) yang menentukan pasangan elemen mana yang memiliki hubungan tertentu. Selanjutnya, himpunan dapat dikembangkan menjadi geometri abstrak dengan menambahkan struktur dan aksioma yang menentukan hubungan geometris, seperti insidensi, ketetanggaan, atau keterhubungan antarobjek. Geometri abstrak adalah kajian mengenai struktur dan hubungan geometris yang didefinisikan secara aksiomatis, tanpa harus selalu bergantung pada konsep ruang dan pengukuran dalam geometri Euclidean. Struktur geometris semacam ini juga dapat dibangun melalui relasi yang ditetapkan di antara elemen-elemen suatu himpunan.
Selain itu, himpunan dapat menjadi dasar bagi pembentukan model ketika elemen-elemennya ditafsirkan sebagai objek dalam suatu domain dan dilengkapi dengan interpretasi bagi simbol, fungsi, serta relasi yang relevan. Model adalah struktur matematis yang memberikan interpretasi konkret terhadap suatu bahasa atau teori formal, sehingga aksioma-aksioma teori tersebut dapat dinilai kebenarannya dalam struktur itu. Dalam pengertian yang lebih luas, model juga dapat merepresentasikan objek, sistem, atau fenomena untuk dianalisis dan dijelaskan. Seperti telah disebutkan sebelumnya, pembentukan model tidak hanya melibatkan himpunan, tetapi juga sistem formal yang menyediakan bahasa dan aksioma, serta relasi yang menggambarkan hubungan antarobjek. Dalam peta struktur yang sedang kita telusuri, Level 5c menandai titik ketika himpunan berkembang menjadi struktur-struktur yang dapat digunakan untuk membangun berbagai cabang matematika dan merepresentasikan sistem yang lebih kompleks. Diagram Tegmark tidak berarti bahwa seluruh perkembangan matematika berhenti pada tingkat ini, melainkan hanya menampilkan sebagian kecil dari pohon struktur matematika yang lebih luas.
Level 6: Grup Abelian, Grup Lie, Grup Dodekahedron, Medan, Bilangan Rasional, dan Ruang Metrik
Level 6 terbagi menjadi empat cabang yang berawal dari struktur matematika pada tingkat sebelumnya, yaitu grup, gelanggang, bilangan bulat, dan ruang topologis. Masing-masing cabang berkembang melalui penambahan sifat, operasi, atau aksioma tertentu sehingga menghasilkan struktur matematika yang lebih khusus. Cabang-cabang tersebut memperlihatkan bagaimana struktur aljabar dapat berkembang menjadi berbagai jenis grup dan medan, bagaimana sistem bilangan diperluas menjadi bilangan rasional, serta bagaimana struktur topologis dapat dilengkapi dengan konsep jarak.
Level 6a: Grup Dodekahedron, Grup Lie, dan Grup Abelian
Grup dapat dikembangkan menjadi berbagai struktur berdasarkan sifat tambahan atau karakteristik khusus yang dimilikinya. Salah satunya adalah grup dodekahedron, yaitu grup simetri dari bangun dodekahedron beraturan yang terdiri atas semua rotasi yang memetakan bangun tersebut kembali ke posisi yang tidak dapat dibedakan dari posisi semula. Grup rotasi dodekahedron beraturan memiliki 60 elemen, sedangkan grup simetri penuhnya, jika rotasi dan refleksi turut diperhitungkan, memiliki 120 elemen. Grup ini merupakan contoh konkret bagaimana konsep abstrak tentang operasi dan simetri dapat diterapkan pada objek geometris.
Jika suatu grup dilengkapi dengan struktur diferensiabel yang sesuai dan operasi grupnya bersifat mulus, struktur tersebut dapat menjadi grup Lie. Grup Lie dibangun di atas konsep manifold riil. Manifold riil sendiri merupakan perluasan dari ruang berdimensi (n), yang biasanya dilambangkan dengan ({R}^n). Ruang ({R}^n) dibangun dengan menggunakan bilangan riil dan struktur ruang vektor. Bilangan riil adalah perluasan bilangan rasional yang mencakup bilangan irasional dan membentuk sistem bilangan yang lengkap. Sementara itu, ruang vektor adalah struktur aljabar yang terdiri atas suatu himpunan vektor, operasi penjumlahan vektor, dan perkalian vektor dengan skalar dari suatu medan, yang memenuhi aksioma tertentu.
Jika medan skalarnya adalah bilangan riil, ruang tersebut disebut ruang vektor riil. Ruang vektor menjadi ruang ({R}^n) ketika vektor-vektornya direpresentasikan sebagai (n)-tupel bilangan riil, yaitu ((x_1,x_2,...,x_n)), dengan operasi penjumlahan vektor dan perkalian skalar yang didefinisikan secara komponen demi komponen. Bilangan riil menjadi dasar pembentukan ({R}^n) karena setiap komponen vektor merupakan elemen dari ({R}). Dengan demikian, ruang ({R}^n) adalah ruang vektor riil berdimensi (n) yang elemennya berupa semua (n)-tupel bilangan riil.
Ruang n menjadi manifold riil apabila dilengkapi dengan atlas yang terdiri atas peta-peta koordinat atau chart yang menghubungkan lingkungan terbuka pada ruang tersebut dengan himpunan terbuka di ({R}^n), serta memenuhi syarat kompatibilitas yang sesuai. Secara umum, manifold riil berdimensi (n) adalah ruang yang secara lokal menyerupai ({R}^n), meskipun secara global bentuk dan strukturnya dapat berbeda dari ruang Euclidean. Atlas yang kompatibel memungkinkan struktur diferensiabel didefinisikan melalui perubahan koordinat yang mulus. Jadi, grup Lie adalah grup yang sekaligus merupakan manifold diferensiabel, dengan operasi perkalian grup dan operasi invers yang bersifat mulus. Struktur ini sangat penting dalam matematika dan fisika karena digunakan untuk mempelajari simetri kontinu, seperti rotasi ruang, serta berbagai transformasi yang mendasari teori fisika modern.
Sementara itu, jika suatu grup memenuhi sifat komutativitas, yaitu (a . b = b . a) untuk setiap pasangan elemen (a) dan (b), grup tersebut disebut grup Abelian. Grup Abelian adalah grup yang operasinya memenuhi seluruh aksioma grup sekaligus bersifat komutatif. Bilangan bulat dengan operasi penjumlahan merupakan salah satu contohnya.
Level 6b: Medan
Gelanggang dapat dikembangkan menjadi medan dengan mensyaratkan bahwa elemen-elemen tak nol memiliki invers terhadap operasi perkalian, disertai dengan aksioma-aksioma lain yang sesuai. Medan adalah struktur aljabar dengan dua operasi, yaitu penjumlahan dan perkalian, yang memenuhi sifat-sifat tertentu: elemen-elemennya membentuk grup Abelian terhadap penjumlahan, elemen tak nol membentuk grup Abelian terhadap perkalian, dan perkalian bersifat distributif terhadap penjumlahan. Dalam definisi medan yang lazim, perkalian bersifat komutatif dan terdapat elemen identitas perkalian yang berbeda dari identitas penjumlahan. Bilangan rasional, bilangan riil, dan bilangan kompleks merupakan contoh medan. Keberadaan invers perkalian memungkinkan pembagian dengan setiap elemen tak nol dilakukan tanpa meninggalkan medan tersebut.
Level 6c: Bilangan Rasional
Bilangan bulat dapat diperluas menjadi bilangan rasional dengan membentuk pasangan bilangan bulat yang merepresentasikan pecahan, kemudian menetapkan aturan kesetaraan dan operasi aritmetika pada pasangan tersebut. Bilangan rasional juga dapat dipahami sebagai medan yang dibangun dari bilangan bulat melalui konstruksi pecahan. Untuk memperoleh bilangan rasional secara khusus, kita perlu menetapkan konstruksi pecahan dari bilangan bulat, bukan sekadar menambahkan sifat komutativitas pada suatu medan. Bilangan rasional adalah bilangan yang dapat dinyatakan sebagai (p/q), dengan (p) dan (q) bilangan bulat serta (q tidak = 0). Himpunan bilangan rasional biasanya dilambangkan dengan {Q} dan mencakup bilangan seperti (1/2), (-3/4), (5), dan (0). Struktur ini tertutup terhadap penjumlahan, pengurangan, perkalian, dan pembagian dengan bilangan rasional tak nol.
Level 6d: Ruang Metrik
Ruang topologis dapat dilengkapi dengan fungsi jarak yang disebut metrik sehingga menjadi ruang metrik. Metrik adalah fungsi yang menetapkan jarak antara setiap pasangan elemen dalam suatu himpunan dan memenuhi empat sifat: jarak tidak negatif, jarak antara dua elemen bernilai nol jika dan hanya jika keduanya sama, jarak bersifat simetris, dan jarak memenuhi ketaksamaan segitiga. Ruang metrik adalah pasangan yang terdiri atas suatu himpunan dan fungsi metrik yang memenuhi sifat-sifat tersebut. Setiap ruang metrik menghasilkan suatu topologi melalui himpunan-himpunan terbuka yang dibentuk menggunakan bola-bola terbuka, meskipun tidak setiap ruang topologis dapat berasal dari sebuah metrik.
Salah satu contoh penting adalah ruang bilangan riil dengan metrik standar (d(x,y)=|x-y|). Bilangan riil adalah sistem bilangan yang mencakup bilangan rasional dan bilangan irasional, seperti (\sqrt{2}) dan (pi). Bilangan riil dapat dibangun dari bilangan rasional melalui konstruksi seperti pemotongan Dedekind atau barisan Cauchy, yang melengkapi kekurangan bilangan rasional dalam merepresentasikan limit. Bilangan riil membentuk medan terurut lengkap, yang berarti bahwa setiap himpunan tak kosong yang terbatas di atas memiliki supremum dalam bilangan riil. Dengan metrik standar, bilangan riil menjadi ruang metrik karena jarak antara dua bilangan ditentukan oleh nilai mutlak selisih keduanya. Jadi, ruang metrik adalah struktur matematis yang menggabungkan suatu himpunan dengan konsep jarak yang memenuhi aksioma metrik, sehingga memungkinkan analisis mengenai kekonvergenan, kontinuitas, dan kedekatan secara sistematis.
Level 7: Grup Lorentz, SU(2), Aljabar, Medan Abelian, Bilangan Riil, Ruang Banach, dan Ruang Terukur
Pada level selanjutnya, keempat cabang struktur matematika terus berkembang melalui penambahan sifat, operasi, dan aksioma baru. Perkembangan ini menghasilkan struktur yang semakin khusus, mulai dari grup Lie yang digunakan untuk menjelaskan simetri dalam fisika, struktur aljabar yang menggabungkan operasi vektor dan perkalian, hingga perluasan sistem bilangan dan ruang yang menjadi dasar analisis matematis modern.
Level 7a: Grup Lorentz dan SU(2)
Grup Lie memiliki berbagai spesialisasi yang ditentukan oleh sifat aljabar dan geometrisnya. Dua contohnya adalah grup Lorentz dan SU(2). Grup Lorentz adalah grup transformasi linear yang mempertahankan interval ruang-waktu dalam relativitas khusus, termasuk transformasi rotasi ruang dan transformasi Lorentz yang menghubungkan pengamat dalam kerangka acuan inersial berbeda. Grup ini menjadi salah satu struktur matematis penting dalam teori relativitas Einstein. Sementara itu, SU(2) adalah grup Lie yang terdiri atas matriks kompleks berukuran (2 x 2) yang bersifat uniter dan memiliki determinan satu. SU(2) berperan penting dalam matematika dan fisika, khususnya dalam teori spin partikel, mekanika kuantum, dan teori grup. Kedua struktur tersebut menunjukkan bagaimana grup Lie dapat dispesialisasikan untuk menggambarkan jenis simetri tertentu.
Level 7b: Aljabar dan Medan Abelian
Medan dapat dikembangkan menjadi struktur aljabar yang lebih luas melalui penambahan operasi dan hubungan dengan ruang vektor. Dalam aljabar abstrak, aljabar atas suatu medan terbentuk ketika suatu ruang vektor dilengkapi dengan operasi perkalian internal yang menggabungkan dua elemennya menjadi elemen lain dalam ruang tersebut dan memenuhi aksioma tertentu, seperti distributivitas terhadap penjumlahan serta kompatibilitas dengan perkalian skalar. Dengan demikian, medan dapat menjadi contoh aljabar atas dirinya sendiri, sedangkan struktur yang lebih kompleks dapat dibentuk dengan menambahkan operasi perkalian yang sesuai. Selain dari medan, aljabar juga dapat dibangun dari ruang vektor. Ruang vektor menjadi aljabar ketika dilengkapi dengan operasi perkalian internal yang memenuhi aksioma aljabar yang ditetapkan. Jadi, aljabar atas suatu medan adalah ruang vektor yang dilengkapi dengan operasi perkalian internal yang kompatibel dengan struktur ruang vektornya.
Medan juga memiliki sifat komutatif pada operasi perkaliannya dalam definisi standar. Dalam konteks ini, medan Abelian merujuk pada medan yang operasi-operasinya bersifat komutatif.
Level 7c: Bilangan Riil
Kelanjutan dari bilangan rasional adalah bilangan riil, yang dapat dibangun melalui konstruksi pemotongan Dedekind. Pemotongan Dedekind adalah pemisahan himpunan bilangan rasional menjadi dua bagian tak kosong yang memenuhi ketentuan tertentu: setiap elemen bagian bawah lebih kecil daripada setiap elemen bagian atas, bagian bawah tertutup terhadap pengambilan bilangan rasional yang lebih kecil, dan bagian bawah tidak memiliki elemen terbesar. Setiap pemotongan semacam ini merepresentasikan suatu bilangan riil, termasuk bilangan irasional yang tidak dapat dinyatakan sebagai pecahan dua bilangan bulat.
Selain melalui pemotongan Dedekind, bilangan riil dapat dibangun dari bilangan rasional dengan melengkapi struktur medan terurutnya. Proses ini melibatkan penambahan relasi urutan (ordering) yang memungkinkan bilangan dibandingkan serta pemenuhan sifat batas atas terkecil (least upper bound property), yaitu sifat bahwa setiap himpunan tak kosong yang memiliki batas atas mempunyai batas atas terkecil atau supremum di dalam bilangan riil. Jadi, bilangan riil adalah sistem bilangan yang membentuk medan terurut lengkap, mencakup bilangan rasional dan irasional, serta memungkinkan analisis limit, kekontinuan, dan berbagai fenomena matematis yang tidak dapat dijelaskan secara lengkap hanya dengan bilangan rasional.
Level 7d: Ruang Banach dan Ruang Terukur (Measurable Spaces)
Ruang metrik dapat dikembangkan menjadi berbagai struktur yang mendukung analisis matematis, termasuk ruang Banach dan ruang terukur. Ruang Banach diperoleh ketika suatu ruang vektor dilengkapi dengan norma yang menghasilkan metrik dan ruang tersebut lengkap terhadap metrik itu. Norma adalah fungsi yang mengukur besar atau panjang suatu vektor dan memenuhi sifat nonnegativitas, definiteness, homogenitas terhadap perkalian skalar, serta ketaksamaan segitiga. Kelengkapan berarti bahwa setiap barisan Cauchy dalam ruang tersebut konvergen menuju suatu elemen yang juga berada di dalam ruang itu. Ruang vektor menjadi ruang Banach apabila dilengkapi dengan norma yang memenuhi aksioma norma dan lengkap terhadap metrik yang diinduksi oleh norma tersebut. Jadi, ruang Banach adalah ruang vektor bernorma yang lengkap terhadap metrik yang ditimbulkan oleh normanya. Struktur ini sangat penting dalam analisis fungsional, persamaan diferensial, dan kajian fungsi.
Sementara itu, ruang terukur dibangun dengan melengkapi suatu himpunan dengan koleksi bagian yang disebut sigma-aljabar dan suatu fungsi ukuran (measure). Sigma-aljabar adalah koleksi himpunan bagian yang memuat himpunan semesta, tertutup terhadap operasi komplemen, dan tertutup terhadap gabungan terhitung. Ukuran adalah fungsi yang memberikan nilai nonnegatif pada setiap anggota sigma-aljabar dan bersifat aditif terhitung untuk himpunan-himpunan yang saling lepas. Dengan demikian, secara formal, ruang terukur adalah pasangan ((X,\Sigma)), dengan (X) sebagai himpunan dan (\Sigma) sebagai sigma-aljabar atas (X). Jika fungsi ukuran (\mu) juga ditambahkan, struktur tersebut disebut ruang berukuran (measure space), yang ditulis ((X,\Sigma,\mu)). Pembedaan ini penting karena ruang terukur belum tentu dilengkapi dengan fungsi ukuran. Struktur tersebut menjadi dasar teori ukuran, teori probabilitas, dan integral Lebesgue.
Level 8: Aljabar Lie, Medan Ganda, Ruang Vektor, Bilangan Kompleks, Ruang Berdimensi (n), Ruang Hilbert, dan Fungsi Riil
Level 8 masih mencakup empat cabang yang berkembang dari struktur-struktur pada level sebelumnya. Pada tahap ini, kita menjumpai sejumlah struktur yang memperluas konsep aljabar, medan, ruang vektor, dan analisis matematis. Ada satu hal yang perlu diperhatikan dalam diagram, yaitu kemunculan operator diferensial pada bagian atas yang tampaknya tidak memiliki jalur pengembangan yang jelas dari struktur sebelumnya. Secara konseptual, operator diferensial berkaitan dengan operator linear dalam banyak konteks, meskipun tidak semua operator diferensial merupakan operator linear dan tidak semua operator linear merupakan operator diferensial. Karena itu, hubungan dalam diagram tersebut perlu diperiksa terhadap sumber aslinya sebelum dianggap sebagai kesalahan penggambaran. Pada level ini, beberapa konsep yang telah dibahas sebelumnya juga muncul kembali karena diagram menunjukkan hubungan antarcabang, bukan semata-mata urutan pengenalan konsep. Bilangan kompleks pun perlu dibahas dari dua sudut pandang: sebagai perluasan medan bilangan riil dan sebagai struktur yang dapat dikonstruksi dari pasangan bilangan riil atau, secara abstrak, dari struktur medan yang sesuai.
Level 8a: Aljabar Lie
Aljabar dapat dikembangkan menjadi aljabar Lie dengan menambahkan operasi biner khusus yang disebut kurung Lie (Lie bracket), yang memenuhi sifat bilinearitas, antisimetri, dan identitas Jacobi. Aljabar Lie juga berkaitan erat dengan manifold riil, khususnya melalui grup Lie. Setiap grup Lie memiliki aljabar Lie yang merepresentasikan struktur lokalnya di sekitar elemen identitas, yang dapat dibangun melalui ruang singgung pada elemen identitas beserta operasi kurung Lie yang sesuai. Namun, manifold riil tidak otomatis menjadi aljabar Lie hanya dengan penambahan suatu sifat; diperlukan struktur ruang vektor pada ruang singgung dan operasi kurung Lie yang memenuhi aksioma aljabar Lie. Jadi, aljabar Lie adalah ruang vektor di atas suatu medan, biasanya bilangan riil atau kompleks, yang dilengkapi dengan operasi kurung Lie untuk menggambarkan struktur simetri infinitesimal dan hubungan antara transformasi-transformasi yang bersangkutan.
Level 8b: Medan Ganda, Ruang Vektor, dan Bilangan Kompleks
Dalam diagram struktur matematika, medan Abelian dapat menjadi titik pengembangan bagi sejumlah struktur, termasuk medan ganda, ruang vektor, dan bilangan kompleks, sedangkan bilangan rasional dan bilangan riil merupakan struktur bilangan yang telah dibahas pada level sebelumnya. Hubungan ini perlu dibaca sebagai peta penambahan simbol dan aksioma, bukan sebagai pernyataan bahwa seluruh struktur tersebut diperoleh melalui satu prosedur konstruksi yang sama.
Medan Abelian dapat dikembangkan menjadi medan ganda (double field) jika dilengkapi dengan operasi dan aksioma tambahan yang ditetapkan oleh sistem formal yang digunakan. Akan tetapi, istilah double field bukan istilah baku dengan satu definisi universal dalam aljabar abstrak. Karena itu, operasi biner ketiga dan aksioma yang dimaksud perlu diperiksa langsung pada diagram atau sumber Tegmark sebelum definisinya dapat dirumuskan secara tepat.
Medan juga dapat menjadi dasar bagi pembentukan ruang vektor melalui penambahan suatu himpunan elemen yang disebut vektor, operasi penjumlahan vektor, serta operasi perkalian skalar dengan elemen-elemen medan. Kedua operasi tersebut harus memenuhi aksioma ruang vektor, termasuk asosiativitas penjumlahan, keberadaan vektor nol dan invers aditif, serta distributivitas perkalian skalar. Jadi, ruang vektor adalah himpunan vektor yang dilengkapi dengan operasi penjumlahan dan perkalian skalar dari suatu medan, yang memenuhi aksioma ruang vektor.
Bilangan rasional dan bilangan riil telah dibahas sebelumnya. Bilangan rasional merupakan medan yang dibentuk melalui konstruksi pecahan dari bilangan bulat, sedangkan bilangan riil merupakan perluasan lengkap dari medan bilangan rasional, misalnya melalui pemotongan Dedekind atau kelas ekuivalensi barisan Cauchy. Adapun bilangan kompleks dapat dibangun dengan memperluas bilangan riil melalui penambahan satuan imajiner (i), yang memenuhi (i^2=-1). Setiap bilangan kompleks dapat ditulis sebagai (a+bi), dengan (a,b\in\mathbb{R}). Bilangan kompleks juga dapat direpresentasikan sebagai pasangan bilangan riil ((a,b)), dengan operasi penjumlahan dan perkalian yang didefinisikan secara khusus. Dalam konstruksi ini, penjumlahan didefinisikan sebagai ((a,b)+(c,d)=(a+c,b+d)), sedangkan perkalian didefinisikan sebagai ((a,b)(c,d)=(ac-bd,ad+bc)). Dengan demikian, bilangan kompleks adalah perluasan medan bilangan riil yang memungkinkan penyelesaian persamaan seperti (x^2+1=0), yang tidak memiliki solusi dalam bilangan riil.
Level 8c: Ruang Berdimensi (n) dan Fungsi Riil
Ruang berdimensi (n), yang lazim ditulis (\mathbb{R}^n), dibangun dari bilangan riil dengan membentuk himpunan semua (n)-tupel bilangan riil. Bilangan riil menjadi dasar pembentukan ruang ini karena setiap koordinat vektor merupakan bilangan riil. Ruang berdimensi (n) juga dapat dipahami sebagai ruang vektor riil berdimensi (n), yang memiliki basis dengan tepat (n) vektor bebas linear. Jadi, ruang (\mathbb{R}^n) adalah ruang vektor riil yang elemennya berupa pasangan terurut berpanjang (n), yaitu ((x_1,x_2,\ldots,x_n)), dengan setiap (x_i\in\mathbb{R}), serta dilengkapi dengan operasi penjumlahan vektor dan perkalian skalar yang didefinisikan secara komponen demi komponen. Ruang ini menjadi landasan bagi geometri analitik, aljabar linear, kalkulus multivariabel, dan berbagai model matematis yang menggunakan banyak variabel.
Sementara itu, fungsi riil adalah fungsi yang memetakan bilangan riil ke bilangan riil, yaitu \(f:\mathbb{R}\rightarrow\mathbb{R}\). Jadi, fungsi riil adalah pemetaan yang setiap unsur domainnya berupa bilangan riil dipasangkan dengan tepat satu nilai riil dalam kodomainnya. Sebagai contoh, \(f(x)=x^2\) merupakan fungsi riil karena setiap bilangan riil \(x\) dipetakan ke bilangan riil \(x^2\).
Level 8d: Ruang Hilbert
Ruang Hilbert merupakan perluasan dari ruang Banach melalui penambahan struktur hasil kali dalam yang memenuhi aksioma tertentu. Hasil kali dalam adalah operasi yang menghubungkan dua vektor dan menghasilkan suatu skalar, sekaligus memungkinkan konsep panjang vektor dan sudut antara dua vektor didefinisikan. Hasil kali dalam menginduksi norma, sedangkan norma tersebut menginduksi metrik. Agar menjadi ruang Hilbert, ruang vektor yang dilengkapi hasil kali dalam harus lengkap terhadap metrik yang diinduksi oleh norma hasil kali dalamnya. Jadi, ruang Hilbert adalah ruang vektor dengan hasil kali dalam yang lengkap terhadap norma yang dihasilkannya. Struktur ini menjadi landasan penting dalam mekanika kuantum, analisis fungsional, teori sinyal, dan kajian fungsi yang hidup dalam ruang berdimensi tak berhingga.
Level 9: Medan Tripel, Operator Linear, Ruang Tensor, Ruang Kompleks Berdimensi N, Fungsi Kompleks, Manifold Riil, Teori Medan Kuantum, dan Distribusi
Pada Level 9, terdapat enam sublevel. Salah satu cabang yang menonjol adalah ruang vektor, yang dalam diagram mengarah pada tiga struktur baru yang belum dibahas pada level sebelumnya, yaitu operator linear, ruang tensor, dan ruang kompleks berdimensi (n). Struktur lain yang muncul pada level ini mencakup medan tripel, fungsi kompleks, manifold riil, dan teori medan kuantum. Kemunculan struktur-struktur tersebut memperlihatkan bagaimana objek matematika yang telah dibangun sebelumnya dapat dikembangkan melalui penambahan operasi, pemetaan, struktur geometris, atau aturan yang lebih khusus.
Level 9a: Medan Tripel
Dalam diagram Tegmark, medan tripel (triple fields) ditampilkan sebagai pengembangan dari medan ganda (double fields) melalui penambahan operasi biner keempat dan aturan atau aksioma yang menyertainya. Namun, istilah medan ganda dan medan tripel bukan klasifikasi baku dalam aljabar abstrak yang memiliki definisi universal. Karena itu, penambahan operasi biner keempat tersebut perlu dipahami sesuai dengan notasi dan aturan yang digunakan dalam diagram, bukan sebagai definisi umum medan dalam matematika.
Secara umum, medan (field) adalah suatu himpunan yang dilengkapi operasi penjumlahan dan perkalian serta memenuhi aksioma tertentu. Kedua operasi tersebut memungkinkan unsur-unsurnya menjalankan operasi aritmetika, termasuk pembagian oleh unsur yang tidak nol. Apabila suatu struktur diperluas dengan operasi tambahan, struktur itu harus didefinisikan melalui aturan yang menjelaskan sifat operasi baru dan hubungannya dengan operasi yang sudah ada.
Level 9b: Operator Linear, Ruang Tensor, dan Ruang Kompleks Berdimensi N
Ruang vektor memiliki sejumlah kemungkinan pengembangan. Pada level ini, tiga struktur yang perlu kita bahas adalah operator linear, ruang tensor, dan ruang kompleks berdimensi (n).
Operator linear merupakan pemetaan antara ruang-ruang vektor yang mempertahankan operasi penjumlahan vektor dan perkalian dengan skalar. Jika (T\rightarrow W) adalah operator linear, maka untuk setiap (u,v\in V) dan skalar (a), berlaku (T(u+v)=T(u)+T(v)) dan (T(av)=aT(v)). Jadi, operator linear adalah pemetaan yang mempertahankan struktur linear ruang vektor. Operator ini dapat digunakan untuk merepresentasikan transformasi seperti rotasi, proyeksi, dan perubahan koordinat, serta berperan penting dalam mekanika kuantum.
Ruang tensor berkaitan dengan konstruksi tensor dari satu atau beberapa ruang vektor. Tensor dapat dipahami sebagai objek matematis yang menggeneralisasi vektor, kovektor, dan matriks, dengan aturan transformasi tertentu ketika basis berubah. Secara formal, ruang tensor dapat dibangun melalui hasil kali tensor (tensor product) dari ruang-ruang vektor dan ruang dualnya. Jadi, ruang tensor adalah ruang vektor yang unsur-unsurnya berupa tensor dan yang memungkinkan operasi linear dilakukan pada objek-objek tersebut. Struktur ini digunakan, antara lain, dalam geometri diferensial, relativitas umum, dan fisika matematis.
Ruang kompleks berdimensi (n) merupakan ruang vektor berdimensi (n) yang menggunakan bilangan kompleks sebagai skalarnya. Ruang ini dapat ditulis sebagai (\mathbb C^n), yaitu himpunan semua (n)-tuple bilangan kompleks, ((z_1,z_2,\ldots,z_n)). Penjumlahan vektor dan perkalian skalar dilakukan pada setiap komponennya. Ruang ini juga dapat dipahami sebagai pengembangan ruang vektor dari medan bilangan kompleks, sebagaimana ruang riil berdimensi (n), (\mathbb R^n), dibangun dengan bilangan riil sebagai skalarnya. Jadi, (\mathbb C^n) adalah ruang vektor berdimensi (n) atas medan kompleks, dengan setiap vektornya memiliki (n) komponen kompleks.
Level 9c: Fungsi Kompleks
Bilangan kompleks menjadi dasar bagi fungsi kompleks ketika digunakan sebagai unsur domain dan kodomain suatu pemetaan. Secara umum, fungsi kompleks adalah fungsi yang memetakan bilangan kompleks ke bilangan kompleks, yang dapat ditulis sebagai (f:\mathbb C\rightarrow\mathbb C). Sebagai contoh, (f(z)=z^2) memetakan setiap bilangan kompleks (z) ke kuadratnya. Fungsi kompleks dapat dipelajari dari berbagai sudut pandang, termasuk kontinuitas, diferensiabilitas kompleks, dan analisis kompleks. Jika fungsi tersebut memenuhi syarat terdiferensialkan secara kompleks pada lingkungan yang sesuai, fungsi itu disebut holomorfik. Dengan demikian, tidak setiap fungsi kompleks otomatis merupakan fungsi holomorfik.
Level 9d: Manifold Riil
Ruang berdimensi (n) dapat dikembangkan menjadi manifold riil apabila dilengkapi struktur topologis yang membuat setiap titik memiliki lingkungan yang secara lokal menyerupai ruang Euclidean (\mathbb R^n). Untuk memperoleh manifold riil yang mulus (smooth real manifold), diperlukan pula kumpulan peta koordinat atau chart yang saling cocok melalui fungsi transisi yang mulus. Jadi, manifold riil adalah ruang yang secara lokal menyerupai ruang riil berdimensi (n), meskipun bentuk keseluruhannya tidak harus berupa (\mathbb R^n).
Sebagai contoh, permukaan bola merupakan manifold riil berdimensi dua: di sekitar setiap titik, permukaannya dapat digambarkan dengan dua koordinat lokal, walaupun permukaan bola secara keseluruhan tidak sama dengan bidang datar. Konsep manifold memungkinkan matematika mempelajari ruang yang melengkung dan memiliki geometri kompleks menggunakan koordinat lokal. Struktur ini penting dalam geometri diferensial dan teori relativitas umum.
Level 9e: Teori Medan Kuantum
Teori medan kuantum (quantum field theory atau QFT) menggabungkan prinsip mekanika kuantum dengan teori medan, terutama dalam kerangka yang konsisten dengan relativitas khusus. Dalam gambaran relativistik yang lazim, medan dikaitkan dengan titik-titik ruang-waktu empat dimensi, yang terdiri atas tiga dimensi ruang dan satu dimensi waktu. Dalam formulasi kuantum, medan tersebut direpresentasikan melalui operator atau, secara lebih tepat dalam banyak formulasi, distribusi bernilai operator yang bekerja pada ruang Hilbert. Struktur matematisnya mencakup ruang keadaan kuantum, operator, hubungan komutasi atau antikomutasi, serta persamaan gerak yang konsisten dengan simetri relativistik.
Dengan demikian, teori medan kuantum tidak sekadar merupakan medan bernilai operator yang memenuhi persamaan diferensial parsial (partial differential equations atau PDE) invarian Lorentz. Formulasi lengkapnya juga membutuhkan aturan kuantisasi, struktur keadaan, dan kondisi konsistensi lainnya. Ruang Hilbert menyediakan kerangka untuk merepresentasikan keadaan kuantum, sedangkan operator digunakan untuk merepresentasikan besaran terukur dan dinamika sistem. Jadi, teori medan kuantum mempertemukan struktur ruang Hilbert, operator linear, dan persamaan medan dalam suatu kerangka fisika matematis.
Hubungan antara operator linear dan operator diferensial terletak pada sifat pemetaannya. Operator diferensial bekerja pada fungsi dengan mengambil turunan, dan operator diferensial linear memenuhi sifat linearitas: turunan dari kombinasi linear fungsi sama dengan kombinasi linear turunannya. Contohnya, operator turunan (D f=f') bersifat linear, begitu pula operator Laplace dalam bentuk standarnya. Namun, tidak semua operator diferensial bersifat linear; operator yang memuat suku nonlinear dapat melanggar sifat tersebut. Sebaliknya, tidak semua operator linear merupakan operator diferensial. Dalam teori medan kuantum, operator linear dan operator diferensial dapat bekerja bersama: operator linear merepresentasikan transformasi atau besaran kuantum, sedangkan persamaan diferensial menjelaskan hubungan dinamis medan terhadap koordinat ruang-waktu.
Level 9f: Distribusi
Distribusi adalah generalisasi fungsi yang didefinisikan sebagai fungsional linear kontinu pada ruang fungsi uji. Jadi, distribusi adalah objek matematis yang memungkinkan fungsi atau medan yang tidak memiliki turunan klasik, seperti fungsi yang sangat tidak teratur atau fungsi delta Dirac, diperlakukan melalui operasi diferensiasi dan integrasi dalam pengertian yang lebih luas.
Level 10: Operator Diferensial, Manifold dengan Medan Tensor, Manifold Kompleks, dan Manifold Metrik
Pada level 10, perkembangan struktur matematika semakin memusat dan dijabarkan dalam empat struktur yiatu operator diferensial, manifold dengan medan tensor, manifold kompleks, dan manifold metrik. Operator diferensial merupakan operator yang bekerja pada fungsi atau medan dengan melibatkan satu atau beberapa operasi diferensiasi. Operator diferensial linear memenuhi sifat linearitas, yaitu operator yang diterapkan pada kombinasi linear beberapa fungsi menghasilkan kombinasi linear dari hasil penerapan operator pada masing-masing fungsi. Jadi, operator diferensial adalah pemetaan yang melibatkan turunan fungsi atau medan untuk menghasilkan fungsi atau medan lain, seperti operator turunan pertama dan operator Laplace.
Manifold dengan medan tensor merupakan manifold riil yang dilengkapi medan tensor, yaitu objek tensor yang didefinisikan secara konsisten pada titik-titik manifold dan mengikuti aturan transformasi tertentu ketika koordinat berubah. Jadi, manifold dengan medan tensor adalah manifold yang setiap titiknya dikaitkan dengan suatu tensor atau keluarga tensor yang bervariasi secara teratur di sepanjang manifold. Struktur ini digunakan dalam geometri diferensial dan fisika, terutama untuk menggambarkan besaran seperti medan metrik, kelengkungan, dan distribusi besaran fisik dalam ruang-waktu.
Manifold kompleks merupakan ruang yang secara lokal menyerupai ruang kompleks berdimensi (n), yaitu (\mathbb C^n), dan dilengkapi atlas berupa peta koordinat kompleks yang fungsi transisinya holomorfik. Jadi, manifold kompleks adalah ruang yang setiap titiknya memiliki lingkungan yang dapat dinyatakan dengan koordinat kompleks, dengan hubungan antarkoordinat yang memenuhi syarat holomorfik. Berbeda dari manifold riil, struktur koordinat pada manifold kompleks harus mempertahankan struktur analitik kompleks. Manifold kompleks digunakan, antara lain, dalam geometri kompleks, analisis kompleks, dan fisika teoretis.
Manifold metrik merupakan manifold yang dilengkapi metrik, yaitu fungsi yang mengukur jarak antara pasangan titik dan memenuhi aksioma metrik. Dalam geometri diferensial, istilah ini perlu dibedakan dari manifold Riemannian, yakni manifold mulus yang dilengkapi tensor metrik Riemannian yang menentukan hasil kali dalam pada setiap ruang singgung. Jadi, manifold metrik adalah manifold yang dilengkapi struktur untuk mengukur jarak atau, dalam konteks geometri diferensial, mengukur panjang, sudut, dan geometri lokal.
Manifold metrik juga dapat dibangun dari manifold riil yang dilengkapi medan tensor apabila tensor tersebut merupakan tensor metrik yang memenuhi syarat-syarat yang sesuai. Pada manifold Riemannian, tensor metrik harus simetris dan positif definit. Dengan struktur ini, panjang kurva, sudut antarkurve, dan jarak geodesik dapat didefinisikan. Jika tensor metrik tidak positif definit, seperti pada geometri Lorentzian dalam relativitas, struktur yang diperoleh bukan manifold Riemannian, melainkan manifold pseudo-Riemannian.
Level 11: Relativitas Umum
Level terakhir merupakan puncak dalam peta struktur matematika Tegmark. Mengingat Tegmark adalah profesor fisika, tidak mengherankan apabila bagian puncak diagram ini menampilkan teori fisika, yaitu relativitas umum. Teori ini memanfaatkan beberapa struktur matematika yang telah dibahas pada level sebelumnya, terutama operator diferensial, manifold dengan medan tensor, dan manifold metrik. Ketiganya memungkinkan ruang-waktu digambarkan sebagai struktur geometris yang memiliki kelengkungan dan dinamika.
Relativitas umum adalah teori gravitasi yang menggambarkan ruang-waktu sebagai manifold pseudo-Riemannian empat dimensi, yang terdiri atas tiga dimensi ruang dan satu dimensi waktu. Geometri ruang-waktu tersebut ditentukan oleh tensor metrik, sedangkan perubahan geometrinya berkaitan dengan distribusi energi dan momentum materi serta medan yang ada di dalamnya. Hubungan ini dinyatakan melalui persamaan medan Einstein, yaitu persamaan diferensial parsial yang menghubungkan kelengkungan ruang-waktu dengan kandungan energi-momentum.
Dalam formulasi yang lebih luas, persamaan medan Einstein dapat digabungkan dengan persamaan medan elektromagnetik Maxwell untuk membentuk teori Einstein–Maxwell. Jika materi juga dimodelkan sebagai fluida sempurna, tensor energi-momentum fluida tersebut turut dimasukkan ke dalam persamaan medan. Dengan demikian, relativitas umum memperlihatkan bagaimana manifold pseudo-Riemannian, medan tensor, dan operator diferensial bekerja bersama dalam satu kerangka matematis untuk menjelaskan gravitasi, struktur ruang-waktu, serta dinamika materi dan energi.
Penutup
Peta struktur matematika di atas membawa kita pada gagasan yang jauh lebih radikal daripada sekadar menunjukkan luasnya cabang matematika dan hubungan di antara struktur-strukturnya. Bagi Tegmark, struktur matematika bukanlah sesuatu yang samar atau semata-mata diciptakan manusia, melainkan sesuatu yang ditemukan melalui penyelidikan matematis. Teorema tetap benar terlepas dari siapa yang membuktikannya, baik manusia, komputer, maupun peradaban alien.
Lebih jauh, Tegmark mengajukan hipotesis bahwa dunia fisik itu sendiri merupakan struktur matematika: bukan hanya sebagian aspeknya yang dapat dijelaskan dengan persamaan, melainkan seluruh realitas fisik yang mungkin bersesuaian secara isomorfik dengan suatu struktur matematika. Dalam pandangan ini, alam semesta bukan sekadar ruang tiga dimensi tempat peristiwa berlangsung, melainkan keseluruhan struktur ruang-waktu beserta medan dan hukum yang mengaturnya. Tegmark mengakui bahwa struktur matematika yang benar-benar bersesuaian dengan alam semesta kita belum tentu telah ditemukan.
Relativitas umum dan teori medan kuantum merupakan kerangka matematis yang sangat kuat, tetapi belum mampu menjelaskan seluruh fenomena, termasuk persoalan gravitasi kuantum. Dari sinilah muncul hipotesis Level IV Multiverse: jika tidak ada alasan mendasar untuk membedakan struktur matematika yang memiliki keberadaan fisik dari yang tidak, mungkin seluruh struktur matematika juga memiliki keberadaan fisik masing-masing.
Dengan demikian, pohon matematika di atas bukan hanya peta abstrak tentang bagaimana struktur-struktur matematika saling berhubungan, melainkan titik berangkat bagi pertanyaan filosofis tentang hakikat realitas: apakah matematika hanya bahasa yang kita gunakan untuk menggambarkan alam semesta, atau justru merupakan struktur dasar yang membentuk realitas itu sendiri?
