Unit 1 — Pengantar dan Ruang Topologis
21 Agustus 2026
Unit ini merupakan terjemahan dan adaptasi Bahasa Indonesia atas
Algebraic Topology karya David Michael Roberts (2019), tepatnya
Notes.tex baris 134–348 pada commit
b947ad2e9f9e301bfe24590a9db653bc54fa1a53. Karya sumber
tersedia di bawah Creative Commons
Attribution 4.0 International. Perubahan pada unit ini meliputi
penerjemahan, pemformatan ulang agar mudah dibaca, pemberian pengenal
stabil, pemindahan satu latihan dari catatan pinggir ke blok latihan,
penjelasan kasus keluarga kosong pada topologi awal, dan koreksi
identitas invers sumber dari
dan
menjadi
dan
.
Materi pendamping penguasaan setelah teks inti ditulis khusus untuk
edisi ini dan juga tersedia di bawah CC BY 4.0. Edisi ini bersifat
independen dan tidak menyiratkan dukungan atau pengesahan dari penulis
sumber.
Topologi aljabar mempelajari pemetaan
atau, lebih tepatnya, pemetaan semacam itu yang “berperilaku baik”. Pemetaan tersebut juga harus mengirim fungsi kontinu antarruang ke pemetaan aljabar dengan tetap menghormati komposisi (jadi, pemetaan itu berupa funktor). Selain itu, ruang yang dibangun dari ruang-ruang yang lebih sederhana semestinya dikirim ke objek aljabar yang dibangun secara serasi dari komponen-komponen yang lebih sederhana.
Di sini, “ruang” secara kasar berarti ruang topologis hingga deformasi—biasanya hingga homotopi, meskipun tidak selalu demikian. Kelas-kelas ekuivalensi semacam ini disebut tipe homotopi. “Objek aljabar” dapat berarti grup (abelian), gelanggang, modul, atau bahkan kompleks rantai dari objek-objek tersebut.
Catatan. Kompleks rantai adalah suatu jenis barisan pemetaan tertentu, .
Contoh 1.1. Bagaimana kita dapat menentukan apakah permukaan bola dan torus dapat dideformasikan satu sama lain? Bagaimana kita membuktikan bahwa deformasi semacam itu tidak mungkin?
Contoh 1.2. Sebagai contoh positif, kita dapat menciutkan dengan mengirim . Pemetaan komposit ini dapat dideformasikan secara kontinu menjadi pemetaan identitas. Jadi, dimensi tidak selalu dipertahankan.
Contoh 1.3. Mungkinkah ?
Pertama-tama kita perlu memahami bagaimana ruang dibangun.
Ingat kembali definisi berikut.
Prasyarat sumber. Topologi dan Analisis III.
Definisi 1.1 (topologi). Suatu topologi pada himpunan adalah koleksi yang terdiri atas subset-subset dan memenuhi:
Di sini adalah himpunan indeks. Jika , kita mengatakan bahwa terbuka. Suatu ruang topologis adalah himpunan yang dilengkapi dengan topologi .
Contoh 1.4. Pada himpunan bilangan real, topologi Euklides (atau topologi “biasa”) didefinisikan dengan menyatakan bahwa suatu himpunan terbuka jika dan hanya jika himpunan itu merupakan gabungan selang-selang terbuka . Gabungan kosong juga diperbolehkan dan menghasilkan .
Topologi diskret pada himpunan diperoleh dengan mengambil sebagai koleksi semua subset . Topologi indiskret diperoleh dengan mengambil .
Definisi tersebut ringkas, tetapi bukan selalu cara terbaik untuk mendefinisikan topologi. Kita juga akan menggunakan lingkungan.
Definisi 1.2 (lingkungan). Dalam topologi pada , suatu himpunan disebut lingkungan dari titik jika terdapat himpunan terbuka dengan .
Contoh 1.5. Ambil dengan topologi Euklides. Himpunan , , dan semuanya merupakan lingkungan dari setiap , tetapi bukan lingkungan dari . Sebagai contoh yang sedikit lebih rumit, merupakan lingkungan dari setiap dan setiap .
Contoh 1.6. Misalkan adalah ruang metrik. Topologi metrik didefinisikan dengan menyatakan bahwa subset terbuka jika dan hanya jika, untuk setiap , terdapat sehingga bola terbuka . Bola terbuka yang berpusat di merupakan lingkungan dari ; demikian pula bola tertutup berjari-jari positif.
Pendekatan berikut lebih konkret dan memungkinkan kita mendefinisikan topologi secara ringkas.
Definisi 1.3 (basis lingkungan). Suatu basis lingkungan pada himpunan adalah keluarga , dengan setiap merupakan koleksi tak kosong yang terdiri atas subset-subset , sehingga untuk setiap berlaku:
Himpunan-himpunan dalam disebut lingkungan dasar dari .
Sebagai contoh, jika adalah ruang topologis, kita memperoleh basis lingkungan dengan mendefinisikan sebagai koleksi semua lingkungan dari . Kita juga memperoleh basis lingkungan dengan mendefinisikan sebagai koleksi semua himpunan terbuka yang memuat .
Jika adalah basis lingkungan pada , definisikan subset sebagai -terbuka jika dan hanya jika, untuk setiap , terdapat dengan .
Proposisi 1.1. Himpunan-himpunan -terbuka membentuk suatu topologi pada .
Bukti. Kita memeriksa ketiga aksioma topologi.
Topologi pada proposisi ini disebut topologi yang dibangkitkan oleh . Lingkungan dalam topologi ini adalah himpunan yang memuat suatu lingkungan dasar: merupakan lingkungan dari jika terdapat dengan .
Dengan basis lingkungan pada , kita dapat mengenali penutupan suatu himpunan sebagai koleksi titik yang memenuhi: untuk setiap , terdapat .
Contoh 1.7. Pada ruang metrik , bola-bola terbuka membentuk basis lingkungan pada , dan topologi yang dibangkitkannya adalah topologi metrik.
Dengan demikian, banyak definisi yang dikenal dari ruang metrik tetap berlaku untuk ruang topologis asalkan dapat dirumuskan menggunakan lingkungan dasar. Salah satu yang terpenting adalah kontinuitas.
Definisi 1.4 (kontinuitas). Misalkan dan masing-masing merupakan basis lingkungan pada himpunan dan . Fungsi disebut kontinu jika, untuk setiap dan , himpunan memuat suatu lingkungan dasar dari .
Definisi ini merupakan perumuman besar dari definisi kontinuitas –.
Latihan 1.1. Buktikan bahwa jika kontinu menurut definisi di atas, maka kontinu untuk topologi yang dibangkitkan oleh basis lingkungan pada dan .
Ingat bahwa kontinuitas untuk topologi berarti terbuka untuk setiap himpunan terbuka .
Sebagai pemeriksaan kewajaran, fungsi identitas pada ruang memang kontinu. Setiap fungsi menuju ruang indiskret juga kontinu, demikian pula setiap fungsi dari ruang diskret.
Definisi 1.5 (homeomorfisme). Fungsi kontinu disebut homeomorfisme jika terdapat fungsi kontinu dengan dan . Dalam keadaan ini, dan disebut homeomorfik.
Sekarang kita perlu menjelaskan cara membangun ruang baru serta pemetaan kontinu yang menghubungkannya dengan ruang asal.
Definisi 1.6 (topologi awal). Misalkan adalah himpunan; , , adalah keluarga himpunan yang dilengkapi basis lingkungan; dan adalah keluarga fungsi. Topologi awal pada dibangkitkan oleh basis lingkungan berikut: suatu himpunan bagian merupakan lingkungan dasar dari jika dan hanya jika berbentuk
untuk beberapa dan . Untuk keluarga kosong, irisan kosong ditafsirkan sebagai .
Latihan 1.2. Buktikan bahwa koleksi pada Definisi 1.6 benar-benar merupakan basis lingkungan.
Konstruksi ini merangkum topologi produk. Untuk dan proyeksi , , topologi awal adalah topologi produk. Konstruksi yang sama juga menghasilkan topologi subruang: ambil injeksi lalu berikan topologi awal.
Lema 1.1 (sifat universal topologi awal). Setelah diberi topologi awal, setiap fungsi kontinu. Selain itu, fungsi kontinu jika dan hanya jika kontinu untuk setiap .
Bagian ini merupakan materi baru untuk edisi Bahasa Indonesia. Tujuannya bukan mengganti latihan sumber, melainkan menyediakan bukti lengkap, pemeriksaan konsep, dan satu perhitungan deformasi yang menutup hasil belajar Unit 1.
Misalkan terbuka dalam topologi pada yang dibangkitkan oleh . Kita harus membuktikan bahwa terbuka dalam topologi pada yang dibangkitkan oleh .
Ambil . Karena dan bersifat -terbuka, terdapat dengan . Kontinuitas menurut Definisi 1.4 memberi lingkungan dasar yang memenuhi
Jadi setiap titik memiliki lingkungan dasar yang termuat dalam . Artinya, bersifat -terbuka. Karena hal ini berlaku untuk setiap terbuka, kontinu untuk topologi-topologi yang dibangkitkan tersebut.
Tuliskan anggota calon basis di sebagai , dengan .
Ketiga aksioma basis lingkungan terpenuhi. Jika kosong, satu-satunya irisan yang diperlukan adalah irisan kosong , dan argumen yang sama tetap berlaku.
Untuk , prabayangan adalah salah satu lingkungan dasar pembangkit di . Jadi setiap kontinu.
Jika kontinu, komposisi kontinu karena komposisi fungsi kontinu bersifat kontinu. Sebaliknya, anggap setiap kontinu. Untuk lingkungan dasar di sekitar , kita mempunyai
Setiap faktor di ruas kanan memuat suatu lingkungan dasar dari . Dengan aksioma irisan berhingga untuk basis lingkungan di , irisannya juga memuat suatu lingkungan dasar dari . Jadi kontinu.
Definisikan dengan , dan misalkan adalah inklusi. Jelas .
Untuk membandingkan dengan identitas pada , gunakan
Koefisien di dalam kurung selalu positif, sehingga . Selain itu, dan . Jadi adalah homotopi dari identitas ke . Jika , maka dan untuk setiap . Homotopi ini menetapkan titik demi titik. Dengan demikian, memang merupakan retrak deformasi dari .
Pemeriksaan konsep. Contoh ini tidak mengatakan bahwa homeomorfisme boleh mengubah dimensi. Contoh ini mengatakan bahwa tipe homotopi dapat sama walaupun dimensi ruang berbeda. Perbedaan antara homeomorfisme dan ekuivalensi homotopi akan menjadi pusat unit berikutnya.