在數學上,特別是拓樸學中,開集是一個將實數上的開區間的概念進行抽象化後的一個抽象物件。一個簡單的例子便是在
中,可如此定義:子集
是開集,意思是對於其中任意一點,必有以該點為球心的某個「開球」,仍是
的子集,此處開球收集了在
中,且與球心在一個固定的距離內的全體元素。(或者是說,一個集合是開集,如果這個集合沒有包含著它的邊界點)。然而,一般來說,一個開集也可以很抽象:一串集合列也能被稱作是開集,只要這串集合列滿足以下性質:(1) 任意數量的集合的聯集還是在這個集合列中。(2) 有限數量的集合的交集還是在這個集合列中。(3) 所有集合所在的空間跟空集都要在這個集合列之中。上述的這些條件看起來非常寬鬆,以至於我們有很好的靈活性去選取開集。
在基礎的微積分課程中,通常教科書介紹關於數列的極限時,會借助歐式空間上的距離去描述一個收斂的數列跟點的靠近程度去判斷該點是不是該數列的極限點,不嚴格的講,當數列的項跟點要多靠近有多靠近的時候,就說該點是一個極限點,但是這之中的一個關鍵是空間上的距離,若要推廣至沒有定義距離的空間,欲建立極限的概念,就要用到開集的概念,來提供一個基礎的方式去描述點與點之間的「靠近程度」而不需要仰賴於距離的定義。
一旦我們找定好了開集,我們便可以開始應用開集去定義關於連續,連通還有緊緻等性質的概念了。
满足

的点

着蓝色。满足

的点

着红色。红色的点形成了开集。红色和蓝色的点的并集是闭集。
可以按不同的一般性程度來形式化開集的概念。
對於一個 維歐式空間 的子集 ,如果给定任何在 中的一個點 ,存在一个實數 使得,對任何在 中的點 , 跟 的歐式距離小於 ,會意含著 也屬於在 之中的話,那麼就說子集 是 中的一個開集。可以等價地說:如果所有在 中的點有包含在 中的邻域,則 是开集。
在賦距空间 之中, 的子集 是一個開集,如果给定任何 中的點 ,存在一个实数 使得,如果给定任何 中的點 ,會有 ,则 也屬於 。
等价的说:如果所有 中的点有包含在 中的邻域, 是开集。
這延展了歐式空間的例子,因為帶著有歐式距離的歐式空間也是一個賦距空間。
在拓扑空间中,開集是一項基礎性的概念。我們將從任意集合 出發,再選取 的某個特定的子集族 ,使 中的集合都满足作為開集應有的每一性质。这樣的子集族 被叫做 上的“拓樸”,而这个集合族的成员被叫做拓扑空间 的开集。
更精確地說:給定集合 ,給予一個集合串 里面的每一個元素都是 中的子集。這個集合串 裡面的元素可以被稱為開集當他們滿足以下性質:
- 而且 ( 以及 都是開集)
- 然後有 (開集的任意聯集都是開集)
- 然後有 (開集的任意有限交集都是開集)
开集的拓扑定义推广了度量空间定义:如果你從一个度量空间出發并如上述般定义开集,则所有开集的集合族将形成在这个度量空间上的拓扑。因此自然地,任何度量空间都是拓扑空间。(但有不是度量空间的拓扑空间。)