Bagian dalam (topologi)

Dalam matematika, terutama dalam topologi, **bagian dalam** (atau **interior**) dari suatu himpunan bagian H pada ruang topologis X adalah gabungan dari semua himpunan bagian dari H yang terbuka pada X. Suatu titik yang berada pada interior dari H disebut sebagai **titik interior** (atau **titik dalam**) dari H.

Interior dari H merupakan komplemen dari penutup komplemen dari H. Melalui hal ini, interior dan penutup merupakan konsep yang dual.

**Bagian luar** (atau **eksterior**) dari himpunan H adalah komplemen dari penutup H, yaitu himpunan titik-titik yang tidak berada pada himpunan tersebut, maupun pada batas himpunannya. Interior, batas, dan eksterior dari suatu himpunan bagian bersama-sama mempartisi seluruh ruang menjadi tiga bagian (atau kurang, jika salah satunya kosong).

Interior dan eksterior dari suatu kurva tertutup adalah konsep yang sedikit berbeda; lihat teorema kurva Jordan.

## Definisi
### Titik interior
Jika H merupakan himpunan bagian dari ruang Euklides, maka x dikatakan sebagai *titik interior* dari H jika terdapat bola terbuka yang berpusat pada x dan termuat sepenuhnya pada H. Ilustrasinya dapat dilihat pada bagian pendahuluan dari artikel ini.

Definisi ini dapat diperumum untuk sembarang himpunan bagian H pada suatu ruang metrik X dengan metrik d. Titik x dikatakan sebagai *titik interior* jika terdapat suatu bilangan riil r > 0 sedemikian sehingga a \in H ketika jarak d(x, \, a) .

Definisi ini dapat diperumum untuk ruang topologis dengan mengganti "bola terbuka" menjadi "himpunan terbuka". Jika H merupakan himpunan bagian dari ruang topologis X, maka x dikatakan sebagai *titik interior* dari H pada X jika x termuat pada suatu himpunan terbuka dari X yang seluruhnya termuat pada H. Secara ekuivalen, x adalah titik interior dari H jika H merupakan persekitaran dari x.

### Interior dari suatu himpunan
Interior dari himpunan bagian H pada suatu ruang topologis X, ditulis sebagai \operatorname{int}_X H atau \operatorname{int} H atau H^{\circ}, dapat didefinisikan melalui beberapa cara yang ekuivalen, diantaranya:
# \operatorname{int} H adalah himpunan bagian terbuka terbesar dari X yang termuat pada H.
# \operatorname{int} H adalah gabungan semua himpunan bagian terbuka dari X yang termuat pada H.
# \operatorname{int} H adalah himpunan semua titik interior dari H.
Jika ruang X dapat dipahami dari konteks yang diberikan sebelumnya, notasi yang lebih pendek \operatorname{int} H lebih diminati daripada \operatorname{int}_X H.

### Contoh

# Dalam setiap ruang, interior dari himpunan kosong ialah himpunan kosong.
# Dalam setiap ruang X, jika H \subseteq X, maka \operatorname{int} H \subseteq H.
# Jika X = <math>\mathbb{R}</math> (dengan topologi baku), maka \operatorname{int} \! \left( \left[ 0, \, 1 \right] \right) = \left( 0, \, 1 \right) sedangkan interior dari himpunan bilangan rasional merupakan himpunan kosong. Secara simbolis, maka \operatorname{int} \mathbb{Q} = \varnothing.
# Jika X = <math>\mathbb{C}</math>, maka \operatorname{int} \! \left( \left\{ z \in \mathbb{C} : \left| z \right| \leq 1 \right\} \right) = \left\{ z \in \mathbb{C} : \left| z \right| .
# Dalam setiap ruang Euklides, interior dari sembarang himpunan hingga merupakan himpunan kosong.

Dalam himpunan semua bilangan riil, dapat digunakan beberapa topologi lain (selain topologi baku), diantaranya:
# Jika digunakan topologi limit bawah, maka \operatorname{int} \! \left( \left[ 0, \, 1 \right] \right) = \left[ 0, \, 1 \right).
# Jika digunakan topologi yang setiap himpunan bersifat terbuka, maka \operatorname{int} \! \left( \left[ 0, \, 1 \right] \right) = \left[ 0, \, 1 \right].
# Jika digunakan topologi dimana himpunan yang bersifat terbuka hanyalah himpunan kosong dan \mathbb{R} itu sendiri, maka \operatorname{int} \! \left( \left[ 0, \, 1 \right] \right) = \varnothing.

Contoh-contoh di atas menunjukkan bahwa interior dari suatu himpunan bergantung pada topologi dari ruang yang mendasarinya. Dua contoh terakhir merupakan kasus khusus dari teorema berikut:
# Dalam setiap ruang diskret, setiap himpunan sama dengan interiornya, sebab setiap himpunan bersifat terbuka.
# Dalam setiap ruang takdiskret X, oleh karena himpunan yang bersifat terbuka hanyalah \varnothing dan X itu sendiri, maka \operatorname{int} X = X dan untuk sembarang H \subset X, maka \operatorname{int} H = \varnothing.

### Sifat-sifat
Diberikan suatu ruang topologis \left( X, \, T \right). Diambil sembarang A \subseteq X dan B \subseteq X.
# \operatorname{int} A merupakan himpunan terbuka pada X.
# Jika A terbuka pada X, maka A \subseteq B jika dan hanya jika A \subseteq \operatorname{int} B.
# \operatorname{int} A merupakan himpunan bagian terbuka dari A ketika A diberikan topologi subruang.
# A merupakan himpunan bagian terbuka dari X jika dan hanya jika A = \operatorname{int} A.
# *Intensif*: \operatorname{int} H \subseteq H.
# *[[Idempoten]]*: \operatorname{int} \left( \operatorname{int} A \right) = \operatorname{int} A.
# *Mengawetkan / [[Sifat distributif|mendistribusikan]] operasi irisan*: \operatorname{int} (A \cap B) = (\operatorname{int} A) \cap (\operatorname{int} B).  Operator interior secara umum tidak mendistribusikan operasi gabungan, sebab hanya terjamin relasi \operatorname{int} (A \cup B) \supseteq (\operatorname{int} A) \cup (\operatorname{int} B) dan kesamaan mungkin saja tidak berlaku. Sebagai contoh, jika X = \mathbb{R}, A = \left[ 0, \, 1 \right], dan B = \left( 1, \, 2 \right), maka (\operatorname{int} A) \cup (\operatorname{int} B) = \left( 0, \, 1 \right) \cup \left( 1, \, 2 \right) \subset \left( 0, \, 2 \right) = \operatorname{int} (A \cup B)
# *Monoton tak turun terhadap* \subseteq: Jika A \subseteq B, maka \operatorname{int} A \subseteq \operatorname{int} B.

Sifat lainnya antara lain:
# Jika A tertutup dan \operatorname{int} B = \varnothing, maka \operatorname{int} (A \cup B) = \operatorname{int} A.

### Hubungan dengan penutup
Pernyataan-pernyataan di atas akan tetap bernilai benar jika semua simbol/kata
: "interior", "int", "terbuka", "himpunan bagian", dan "terbesar"
berturut-turut diganti dengan
: "penutup", "cl", "tertutup", "superhimpunan", dan "terkecil"
dan simbol-simbol berikut ditukar:
# \subseteq ditukar dengan \supseteq
# \cup ditukar dengan \cap
Untuk lebih lengkapnya, lihat bagian operator interior di bawah atau artikel aksioma penutup Kuratowski.

## Operator interior

**Operator interior** \operatorname{int}_X merupakan dual dari operator penutup, yang ditulis sebagai \operatorname{cl}_X atau dengan garis atas —, dalam artian bahwa
\operatorname{int}_X H = \left( \overline{H^{\mathsf{c}}} \right)^{\mathsf{c}}
dan juga
\overline{H} = \left( \operatorname{int}_X (H^{\mathsf{c}}) \right)^{\mathsf{c}}
dengan X menyatakan ruang topologis yang memuat H, dan simbol \phantom{l}^{\mathsf{c}} menyatakan operasi komplemen himpunan. Akibatnya, teori abstrak mengenai operator penutup dan aksioma penutup Kuratowski siap untuk diterjemahkan ke dalam bahasa operator interior, dengan mengganti himpunan menjadi komplemennya pada X.

Secara umum, operator interior tidak bersifat komutatif dengan operasi gabungan. Akan tetapi, hasil berikut berlaku pada ruang metrik lengkap:

Hasil di atas mengakibatkan bahwa setiap ruang metrik lengkap merupakan ruang Baire.

## Eksterior dari suatu himpunan
**Eksterior** dari himpunan bagian H pada ruang topologis X, ditulis sebagai \operatorname{ext}_X H atau \operatorname{ext} H, adalah himpunan terbuka terbesar yang saling lepas dengan H, yaitu gabungan semua himpunan terbuka pada X yang saling asing dengan H. Eksterior merupakan interior dari komplemen, yang sama dengan komplemen dari penutup. Secara simbolis, maka
\operatorname{ext} H = \operatorname{int} H^{\mathsf{c}} = \left( \overline{H} \right)^{\mathsf{c}}

Serupa seperti sebelumnya, interior merupakan eksterior dari komplemen. Secara simbolis maka,
\operatorname{int} H = \operatorname{ext} H^{\mathsf{c}}

Interior, batas, dan eksterior dari himpunan H bersama-sama mempartisi seluruh ruang menjadi tiga bagian (atau kurang, jika salah satunya merupakan himpunan kosong). Secara simbolis, maka
X = \operatorname{int} H \; \cup \; \partial H \; \cup \; \operatorname{ext} H
dengan \partial H menyatakan batas dari H. Interior dan eksterior selalu bersifat terbuka, sedangkan batas bersifat tertutup.

Beberapa sifat dari operator eksterior berbeda dengan operator interior, diantaranya:
# Operator eksterior membalik urutan himpunan bagian: Jika A \subseteq B, maka \operatorname{ext} B \subseteq \operatorname{ext} A.
# Operator eksterior tidak bersifat idempoten. Operator eksterior memiliki sifat bahwa \operatorname{int} A \subseteq \operatorname{ext} \left( \operatorname{ext} A \right).

## Lihat juga
* Interior aljabar
* DE-9IM
* Aljabar interior
* Teorema kurva Jordan
* Interior kuasi-relatif

## Referensi

## Pranala luar
*