Seçme Prensipleri Teorisi

‘Kompakt’ terimi, 1904 yılında Maurice Fréchet tarafından, her dizisi yakınsak bir alt diziye sahip olan uzayları tanımlamak için ortaya atılmıştır. Bugün bu tip uzaylara ’dizisel kompakt’ diyoruz. Dizisel kompaktlık, metrik uzaydaki kompaktlık kavramına denktir. Kompaktlığın özelliği uzun ve karmaşık bir tarihe sahiptir. Açıkçası, kompaktlığı tanımlamanın amacı kapalı ve sınırlı aralıkların özelliklerini genel olarak topolojik uzaylara taşımaktır. Bu amaca yönelik önceki girişimler dizisel kompaktlığı, sayılabilir kompaktlığı, Bolzano-Weierstrass özelliğini ve son olarak 1923 yılında P.S. Alexandroff ve Paul Urysohn tarafından öne sürülen kompaktlığın bugünkü tanımını kapsar.