Dalam matematika, khususnya topologi umum, kekompakan (bahasa Inggris: compactness) adalah sifat yang memperumum gagasan subhimpunan tertutup dan subhimpunan terbatas dari
Ruang Euklides. Gagasan tersebut dapat menjadi presisi dengan mengatakan tak ada "bulatan kosong" atau "titik akhir yang hilang" di dalam suatu
Ruang, dalam artian bahwa harus ada nilai limit dari titik di
Ruang. Sebagai contoh, interval (0,1) bukan
kompak sebab interval tersebut tidak punya nilai limit dari 0 dan 1, sedangkan [0,1]
kompak sebab mempunyai nilai limit dari 0 dan 1. Dengan cara yang serupa,
Ruang bilangan rasional
Q
{\displaystyle \mathbb {Q} }
bukan
kompak sebab ada bulatan kosong yang tak berhingga banyaknya nilai-nilai limit dari bilangan irasional.
Ruang bilangan real
R
{\displaystyle \mathbb {R} }
bukan
kompak sebab tidak mempunyai nilai limit dari
+
∞
{\displaystyle +\infty }
dan
−
∞
{\displaystyle -\infty }
, tetapi garis bilangan real yang diperluas adalah
kompak sebab mengandung nilai limit dari tak terhingga.
Definisi
= Definisi sampul terbuka
=
Secara formal,
Ruang topologi X disebut
kompak jika masing-masing sampul terbuka memiliki sub-sampul terhingga. Ini mengartikan bahwa X
kompak jika untuk setiap koleksi C dari subhimpunan dari X sehingga
X
=
⋃
x
∈
C
x
{\displaystyle X=\bigcup _{x\in C}x}
,
akan ada subhimpunan terhingga F dari C sedemikian rupa sehingga
X
=
⋃
x
∈
F
x
.
{\displaystyle X=\bigcup _{x\in F}x.}
= Kekompakan himpunan bagian
=
Subhimpunan K dari
Ruang topologis X dikatakan
kompak jika subhimpunan itu
kompak sebagai subruang (dalam subruang topologi). Ini mengartikan bahwa K adalah
kompak jika untuk setiap koleksi sebarang C dari subhimpunan terbuka dari X sehingga
K
⊆
⋃
c
∈
C
c
{\displaystyle K\subseteq \bigcup _{c\in C}c}
,
akan ada subhimpunan terhingga F dari C sedemikian rupa sehingga
K
⊆
⋃
c
∈
F
c
{\displaystyle K\subseteq \bigcup _{c\in F}c}
.
Kekompakan merupakan sifat "topologis". Ini mengaritkan bahwa jika
K
⊂
Z
⊂
Y
{\displaystyle K\subset Z\subset Y}
, dengan subhimpunan Z dilengkapi dengan topologi subruang, maka K
kompak di Z jika dan hanya jika K
kompak di Y.
Referensi
Bibiliografi
Alexandrov, Pavel; Urysohn, Pavel (1929), "Mémoire sur les espaces topologiques compacts", Koninklijke Nederlandse Akademie van Wetenschappen Te Amsterdam, Proceedings of the Section of Mathematical Sciences, 14 .
Arkhangel'skii, A.V.; Fedorchuk, V.V. (1990), "The basic concepts and constructions of general topology", dalam Arkhangel'skii, A.V.; Pontrjagin, L.S., General topology I, Encyclopedia of the Mathematical Sciences, 17, Springer, ISBN 978-0-387-18178-3 .
Arkhangel'skii, A.V. (2001) [1994], "Compact space", dalam Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 .
Bolzano, Bernard (1817), Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reele Wurzel der Gleichung liege, Wilhelm Engelmann (Purely analytic proof of the theorem that between any two values which give results of opposite sign, there lies at least one real root of the equation).
Borel, Émile (1895), "Sur quelques points de la théorie des fonctions", Annales Scientifiques de l'École Normale Supérieure, 3, 12: 9–55, doi:10.24033/asens.406 , JFM 26.0429.03
Boyer, Carl B. (1959), The history of the calculus and its conceptual development, New York: Dover Publications, MR 0124178 .
