Lingkungan (matematika)

Dalam topologi dan bidang matematika yang terkait, **lingkungan,** disebut juga **persekitaran** atau **kitaran**  () merupakan salah satu konsep dasar dalam ruang topologi. Konsep lingkungan terkait erat dengan konsep himpunan terbuka dan titik dalam. Secara intuitif, lingkungan dari suatu titik adalah himpunan titik yang mengandung titik tersebut, di mana seseorang dapat bergerak beberapa langkah ke segala arah dari titik tersebut tanpa keluar dari himpunan tersebut.
Sifat-sifat matematika yang terkait dengan lingkungan tertentu disebut lokal, sebagai lawan dari global.

## Definisi

### Lingkungan suatu titik

Jika X adalah ruang topologi dan p adalah titik dalam X, lingkungan dari titik p adalah himpunan bagian V dari X yang memuat suatu himpunan terbuka U yang memuat p, sedemikian sehinggap \in U \subseteq V.Definisi ini ekuivalen dengan titik  p \in X yang termasuk interior topologis dari V di dalam X.

Lingkungan V  harus suatu himpunan terbuka dalam X. Akan tetapi ketika V terbuka dalam X, maka V disebut lingkungan buka. Beberapa penulis mensyaratkan bahwa lingkungan harus terbuka, tetapi harus diperhatikan juga kesepakatan tersebut.

Suatu himpunan yang menjadi lingkungan bagi semua titik anggotanya adalah terbuka, karena himpunan itu dapat dinyatakan sebagai gabungan dari himpunan-himpunan buka yang memuat tiap-tiap titiknya. Segiempat tertutup, sebagaimana pada gambar berikut, bukan merupakan lingkungan dari semua titik-titiknya. Itu karena titik pada sudut segiempat tidak termuat dalam sebarang himpunan terbuka yang termuat dalam segiempat.

Koleksi dari semua lingkungan dari suatu titik disebut **' pada titik.

=== Lingkungan suatu himpunan ===
Jika <math>S</math> adalah [[Subset|subhimpunan]] dari suatu ruang topologis <math>X</math>, maka lingkungan dari <math>S</math> adalah himpunan <math>V</math> yang menyertakan suatu himpunan terbuka <math>U</math> yang memuat <math>S</math>:<math display="block">S \subseteq U \subseteq V \subseteq X.</math>Definisi di atas menyatakan bahwa suatu himpunan <math>V</math> adalah lingkungan dari <math>S</math> jika dan hanya jika <math>V</math> adalah lingkungan dari semua titik di dalam <math>S.</math> Lebih lanjut, <math>V</math> adalah lingkungan dari <math>S</math> jika dan hanya jika <math>S</math> adalah subhimpunan dari [[Interior (topologi)|interior]] dari <math>V.</math> Suatu lingkungan dari <math>S</math> yang juga subhimpunan terbuka dari <math>X</math> disebut lingkungan buka dari <math>S.</math> lingkungan dari suatu titik hanyalah kasus istimewa dari definisi ini.

== Ruang metrik ==

Dalam [[ruang metrik]] <math>M = (X, d),</math> himpunan <math>V</math> adalah lingkungan dari suatu titik <math>p</math> jika terdapat suatu [[bola terbuka]] yang berpusat pada titik <math>p</math> dan berjari-jari <math>r>0</math>, sehingga<math display="block">B_r(p) = B(p; r) = \{ x \in X : d(x, p) < r \}</math>termuat di dalam <math>V</math>.

Himpunan <math>V</math> disebut lingkungan seragam dari himpunan <math>S</math> jika terdapat suatu bilangan positif <math>r</math> sehingga untuk semua anggota <math>p</math> dari <math>S</math>, <math display="block">B_r(p) = \{ x \in X : d(x, p) < r \}</math>termuat di dalam <math>V.</math>

Mengikuti syarat yang sama. Untuk <math>r > 0</math>, lingkungan <math>S</math> berjari-jari **r''', yang dilambangkan S_r, adalah himpunan dari semua titik di dalam X yang berjarak kurang daripada r dari S. Definisi lainnya, S_r adalah gabungan dari semua bola terbuka berjari-jari r yang berpusat pada suatu titik di dalam S: S_r = \bigcup\limits_{p\in{}S} B_r(p).Hal ini mengikuti secara langsung bahwa lingkungan berjari-jari r adalah lingkungan seragam, dan bahwa suatu himpunan adalah lingkungan seragam jika dan hanya jika ia memuatu suatu lingkungan berjari-jari r untuk suatu nilai r.

## Contoh

Diketahui bahwa himpunan bilangan real \R dengan ruang metrik Euklides biasa adalah suatu subhimpunan V didefinisikan sebagaiV := \bigcup_{n \in \N} B\left(n\,;\,1/n \right), maka V adalah suatu lingkungan untuk himpunan bilangan asli \N, tetapi sayangnya  suatu lingkungan seragam dari himpunan itu.

## Referensi

* 
* 
* 

## Pranala luar
*