Ruang terhubung

Dalam topologi dan cabang-cabang matematika yang terkait, ruang terhubung (bahasa Inggris: connected space) adalah ruang topologi yang tidak dapat dinyatakan sebagai gabungan dari dua subhimpunan tak kosong yang terlepas atau lebih. Keterhubungan adalah salah satu sifat topologi utama yang digunakan untuk membedakan ruang topologi.

Subruang terhubung dan tak terhubung dari $\mathbb {R} ^{2}$

Pada gambar dari atas hingga bawah: ruang warna merah $A$, ruang warna merah muda $B$, ruang warna kuning $C$ dan ruang warna jingga $D$ disebut ruang terhubung, sedangkan ruang warna hijau $E$ (yang terdiri dari subhimpunan $E_{1}$, $E_{2}$, $E_{3}$ dan $E_{4}$) disebut ruang tak terhubung. Selain itu, ruang $A$ dan $B$ juga disebut ruang terhubung sederhana (yaitu mempunyai genus 0), sedangkan $C$ dan $D$ bukan ruang terhubung sederhana sebab $C$ mempunyai genus 1 dan $D$ mempunyai genus 4.

Subhimpunan dari ruang topologi $X$ adalah himpunan terhubung jika ia adalah ruang yang terhubung ketika dipandang sebagai subruang dari $X$.

Ada beberapa syarat yang terkait tetapi lebih kuat, seperti keterhubungan lintasan (path connectedness), ruang terhubung sederhana (simply connected), dan ruang terhubung-$n$ ($n$-connected). Gagasan terkait lainnya adalah ruang terhubung lokal (locally connected), yang tidak menyiratkan dari sifat keterhubungan.

Definisi formal

Sebuah ruang topologi $X$ dikatakan tak terhubung jika $X$ adalah gabungan dari dua himpunan terbuka takkosong saling lepas. Hal ini berlaku untuk sebaliknya, $X$ dikatakan terhubung jika $X$ bukan merupakan gabungan dari dua himpunan tersebut. Selain itu, sebuah subhimpunan dari ruang topologi disebut terhubung jika ia terhubung terhadap topologi subruangnya.

Berikut adalah syarat-syarat yang mirip dengan definisi dari ruang topologi $X$:

1. $X$ disebut terhubung, dalam artian bahwa $X$ tidak dapat dibagi menjadi dua himpunan terbuka takkosong yang saling lepas.
2. Subhimpunan dari $X$ yang merupakan himpunan terbuka dan tertutup hanyalah $X$ dan himpunan kosong.
3. Subhimpunan dari $X$ dengan batas kosong hanyalah $X$ dan himpunan kosong.
4. $X$ tidak dapat ditulis sebagai gabungan dari dua himpunan terpisah takkosong.
5. Semua fungsi yang kontinu dari $X$ ke $\{0,1\}$ bernilai konstan, dengan $\{0,1\}$ melambangkan ruang dua titik yang mempunyai topologi diskret.

Menurut sejarah, formulasi modern dari gagasan keterhubungan tersebut, yang mengatakan bahwa $X$ tidak dapat dibagi menjadi dua himpunan terpisah, merupakan formulasi yang pertama kali ditemukan secara pisah oleh N.J. Lennes, Frigyes Riesz, dan Felix Hausdorff pada awal abad ke-20.

Contoh

• Interval tertutup $[0,2]$ dalam topologi ruang bagian standar merupakan himpunan terhubung; walaupun hal tersebut dapat, sebagai contoh, ditulis sebagai gabungan dari $[0,1)$ dan $[1,2]$ serta himpunan kedua tidak terbuka dalam topologi yang dipilih dari $[0,2]$.
• Gabungan dari $[0,1)$ dan $(1,2]$ adalah himpunan tak terhubung, dan kedua interval tersebut terbuka di ruang topologi standar $[0,1)\cup (1,2]$.
• $(0,1)\cup \{3\}$ merupakan himpunan tak terhubung.
• Sebuah subhimpunan konveks dari $\mathbb {R} ^{n}$ disebut terhubung, atau lebih tepatnya terhubung sederhana.
• Sebuah bidang Euklides yang tidak memuat titik asal, $(0,0)$, disebut terhubung, tetapi sisanya tidak terhubung. Ruang Euklides dimensi tiga tanpa ada titik asal disebut terhubung, dan bahkan disebut terhubung sederhana. Sebaliknya, ruang Euklides dimensi satu tanpa ada titik asal disebut tidak terhubung.

Bacaan lebih lanjut

• Munkres, James R. (2000). Topology, Second Edition. Prentice Hall. ISBN 0-13-181629-2. 
• (Inggris) Weisstein, Eric W. "Connected Set". MathWorld. 
• V. I. Malykhin (2001) [1994], "Ruang terhubung", dalam Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 
• Muscat, J; Buhagiar, D (2006). "Connective Spaces" (PDF). Mem. Fac. Sci. Eng. Shimane Univ., Series B: Math. Sc. 39: 1–13. Diarsipkan dari versi asli (PDF) tanggal 2016-03-04. Diakses tanggal 2010-05-17.  .