數學中,特別是點集拓撲學中,緊空間(英語:compact space)是對歐幾里得空間中的有界閉集合的推廣。

歐幾里得空間的所有有界閉集合是緊緻的。例如,在中,單位區間是緊緻的,但整數集合不是(它不是有界的),半開區間也不是(它不是閉合的)。

廣義的定義是如果對於一個拓撲空間的所有開覆蓋,都可以找到有限的子覆蓋,則稱此拓撲空間是緊緻的。[1] 根據海涅-博雷爾定理,歐幾里得空間的子集緊緻當且僅當它「閉集且有界」。

注意:某些作者如布爾巴基使用術語「預緊緻」,並把「緊緻」保留給是豪斯多夫空間並且「預緊緻」的拓撲空間。一個單一的緊緻集合有時稱為緊統(compactum)。在法語的數學著作中,quasi-compact是指緊緻,compact是指緊緻且豪斯多夫,不同於英語。[2]

歷史和動機

術語「緊緻」是莫里斯·弗雷歇在1906年介入的。

很久以來就認識到了像緊緻性這樣的性質對於證明很多有用的定理是必需的。「緊緻」最初是指「序列緊緻」(所有序列都有收斂子序列)。這是在主要研究對象為度量空間時的使用的定義。而通過考慮開覆蓋給出的「覆蓋緊緻」的定義更加有用,因為它能將緊致的概念推廣至更一般的拓撲空間,並且很多結論與在度量空間的已有結果相吻合,特別地,度量空間中「序列緊緻」與「覆蓋緊緻」等價。這種推廣在研究函數空間的時候特別有用,而它們很多都不是度量空間。

研究緊緻空間的主要原因之一是因為它們以某種方式類似於有限集合:有很多結果易於對有限集合證明,其證明可以通過極小的變動就轉移到緊緻空間上。常說「緊緻性是在有限性之後最好的事情」。例如:

  • 假設X豪斯多夫空間,我們有一個X中的點x和不包含xX的有限子集A。則我們可以通過鄰域分離xA:對於每個A中的a,設U(x)和 V(a)分別是包含xa的不相交的鄰域系統。則所有U(x)的交集和所有V(a)的併集就是要求的xA的鄰域。

注意如果A無限的,則證明失敗,因為任意多個x的鄰域的交集可能不是x的鄰域。但這個證明是可以挽救的,如果A是緊緻的:我們可以簡單的選取A的覆蓋{V(a)}的有限子覆蓋。在這種方式下,我們看到在豪斯多夫空間中,任何點都可以通過不包含它的任何緊緻集合的鄰域來分離。事實上,重複這個論證證明了在豪斯多夫空間中任何兩個不相交緊緻集合可以通過領域來分離 -- 注意這正好就是我們在豪斯多夫分離公理中把「點」(就是單元素集合)替代為「緊緻集合」所得到的。涉及緊緻空間的很多論證和結果都服從這個模式。

在度量空間中,所有的有限集都有最大與最小元素。一般而言,無限集可能不存在最大或最小元素(比如R中的(0, 1)),但R中的非空緊子集都有最大和最小元素。在很多情況下,對有限集成立的證明可以擴展到緊緻集。一個簡單的例子是對以下性質的證明:定義在緊緻集上的連續實值函數是一致連續的。

定義

歐幾里得空間中的緊緻性

對於歐幾里得空間子集,下列四個有關緊緻性的條件是等價的:

  • 所有開覆蓋都有有限子覆蓋。這是最常用的定義。
  • 所有在這個集合中的序列都有收斂子序列,且它的極限點屬於這個集合。
  • 這個集合的所有無限子集有在這個集合中的聚集點
  • 這個集合是閉合有界的。這是最容易驗證的定義,例如閉區間或閉n維球。

在其他空間中,這些條件等價與否依賴於該空間的性質。

注意儘管緊緻性是集合自身(和它的拓撲)的性質,閉合性是相對於它所在的空間的;上述「閉合」的定義為在中閉合。而在中閉合的集合不在中閉合,因此一般不是緊緻的。

拓撲空間中的緊緻性

上段中的「有限子覆蓋」性質要比「閉集與有界」更加抽象,但是它在用於 的子集的子空間拓撲時有明顯的好處,省去了使用度量或周圍(ambient)空間的需要。因此緊緻性是個拓撲性質。閉區間[0,1]在某種意義上是本質上緊緻性的,不論它是如何嵌入中的。

拓撲空間緊緻的條件是它的所有開覆蓋都有至少一個有限的子覆蓋。也就是說:

如果對於任意一個由的開子集構成的集合族,使得
總存在一個有限子集,使得
緊致。

其他緊緻的等價定義利用了有限交集性質,如果拓樸空間 X 滿足下面這條件則 X 為緊緻空間:如果 X 中任意一個閉子集的集族 且滿足有限交集性質,則集族 中所有元素的交集為非空集合。[3]。這個定義對偶於使用開集的定義。

某些作者要求緊緻空間還是豪斯多夫的,並把非豪斯多夫的緊緻性叫做預緊緻


度量空間中的緊緻性

度量空間內,緊緻集可以定義為滿足以下任一條件的集合

  • 任意序列收斂子序列且該子序列的極限點屬於該集合(自列緊緻集)。
  • 如果它的所有開覆蓋都有至少一個有限的子覆蓋。
  • 完備完全有界

性質

緊緻集具有以下性質:

其他形式的緊緻性

  • 列緊緻集:每個序列都有收歛的子序列。
  • 可數緊緻集:每個可數的開覆蓋都有一個有限的子覆蓋。
  • 偽緊:所有的實值連續函數都是有界的。
  • 弱可數緊緻:每個無窮子集都有極限點。

度量空間中,以上概念均等價於緊緻集。

以下概念通常弱於緊緻集:

  • 相對緊緻:如果一個子空間Y在母空間X中的閉包是緊緻的,則稱Y是相對緊緻於X
  • 預緊緻集:若空間X的子空間Y中的所有序列都有一個收歛的子序列,則稱YX中的預緊緻集。
  • 局部緊緻空間:如果空間中的每個點都有個由緊緻鄰域組成的局部基,則稱這個空間是局部緊緻空間。

參考文獻

引用

相關條目

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.