- E.g. ∀a,b∈R, a<b,[a,b],[a,b),(a,b],(a,b)等區間的內部都是 (a,b),外部都是 (−∞,a)∪(b,∞),邊界都是 {a,b}。
E.g. S={(x,y)∈R2∣xy≥0}, 則 S是兩坐標軸以及第一、三象限內所有點所成的集合。 S的內部是第一、三象限內所有點所成的集合。外部是第二、四象限內所有點所成的集合,邊界是兩坐標上所有點所形成的集合。
根據上述定義,可知 ∀S⊂Rk,以下性質成立:
- S0⊂S。(集合的內部為集合的子集合)
- Se=(Rk−S)0, Se⊂Rk−S。
- S0,Se,Sb 三個集合兩兩不相交,且 S0∪Se∪Sb=Rk。
- Sb=(Rk−S)b。
- S0 為開集合。
- S0=S⇔S為開集合。
- (S0)0=S0.
- ∀U⊂Rk and U⊂S⇒U⊂S0,即 S0為包含於 S的最大開集合。
- S⊂Q⇒S0⊂Q0.
- (S∩Q)0=S0∩Q0.
定義:開集合(open set)
- S⊂Rk,若集合 S中的每個點都是 S的內點時,則稱此集合為開集合(open set)。
- ∀x∈S∃r>0∋Br(x)⊂S.
- E.g. (a,b)為實數集合中的開集合。
- E.g. {(x,y)∈R2∣x2+y2<1 為 R2中的開集。但{(x,y)∈R2∣x2+y2≤1}不是,因為此集合包含了邊界點。
Theorem: Rk中的全體開集合構成 Rk上的一個拓樸結構。
- ϕ,Rk都是 Rk中的開集合。
- Rk中的任一組開集合的聯集仍是 Rk中的開集合。
- Rk中有限多個開集合的交集仍然 RK中的開集合。(無限多個開集合的交集可能會收斂至一點,而非開集合)
- Proof(1)
- ∵ϕ不含任何點,所以 ϕ沒有任何點可以做為其邊界,因此 ϕ為開集合。
- ∀x∈Rk, B1(x)⊂Rk,所以 Rk為開集合。(QED).
- Proof(2)
- 令 Uα∣α∈I 為 Rk中開集所成形的集合族(family), U=∪α∈IUα.
- 若 x∈U 則 ∃α∈I∋x∈Uα.
- 因為 Uα 為開集合,所以存在 r>0∋Br(x)⊂Uα⇒Br(x)⊂U (QED).
- Proof(3)
- 若 ∩i=1nUi=ϕ,則此交集為開集。
- 令 ∩i=1nUi≠phi, 則 ∀i=1,2,⋯,n, x∈Ui.
- 因為 Ui 為開集合, ∴∀i∃ri>0∋Bri(x)⊂Ui.
- 令 r=min{r1,r2,⋯,rn}⇒Br(x)⊂Bri(x)⊂Ui.
- ∴Br(x)⊂U
E.g. ∀n∈N, Un=(n−1,n1) 均為開集合,但是 ∩n=1∞Un={0}不是開集合。
Theorem:
Rk中,每個開球都是開集合。
- Proof:
- 令 Br(x) 為 Rk中的開球.
- ∀yinBr(x), ∥y−x∥<r⇒s=r−∥y−x∥>0.
- 若 z∈Bs(y)⇒∥z−y∥<s.
- ∴∥z−x∥≤∥z−y∥+∥y−x∥<s+∥y−x∥=r,
- z∈Br(x)⇒Bs(y)⊂Br(x),即 y 為 Br(x)的一個內點。
- 因為 Br(x)中每一個點都是內點,所以 Br(x)為開集合 (QED)。
Theorem:開集合的充要條件。
- ϕ≠U⊂Rk為非空開集合 ⇔ U 可表示為一組 k維開球的聯集。
- 表示為可數集的聯集時,使用可數個即足夠。
- Proof :( ⇐)
- 若 U可表示為一組 k維開球的聯集,則依前述定理已證明 U為開集合 (QED)。
- Proof ( ⇒)
- 若 ϕ≠U⊂Rk為非空開集合,則依開集合定義, ∀x∈U∃r>0∋Brx(x)⊂U,可得出 U=∪{Brx(x)∣x∈U} (QED).
Theorem:上述定理在實數時可用更直覺方式表示。
- i 實數 R 中的每個非空開集合都可以表示為可數個兩兩不相交的開區間之聯集。(開區間可為有限或無限個)
- Proof:
- 令 U⊂R為一個非空開集合。
- ∀x∈U,考慮包含於 U且包含 x 的所有開區間所形成的集合族 Ix={(a,b)∣x∈(a,b)⊂U}.
- ∵x∈U0∴∃r>0∋(x−r,x+r)⊂U, 所以 Ix不是空集合。
- 因為 Ix的每個開區間都包含 x,所以 Ix中所有開區間的聯集仍然是一個包含 x的開區間,記為 (a(x),b(x)), ∴x∈(a(x),b(x))⊂U.
- ∴U cup{(a(x),b(x))∣x∈U}.
- 若 x,y∈U 且 (a(x),b(x))∩(a(y),b(y))≠ϕ,則其聯集 (a(x),b(x))∪(a(y),b(y))為一開區間,其包含 x且包含於 U,因此為 Ix的元素。
- 依定義可知 (a(x),b(x))∪(a(y),b(y))⊂(a(x),b(x)) 則 (a(y),b(y))⊂(a(x),b(x)).
- 同理可得 (a(x),b(x))⊂(a(y),b(y)), 因此對於 U中任意兩點 x,y,兩區間 (a(x),b(x)),(a(y),b(y))只有重合或是不相交兩種可能關係。
- 在 U中選取一子集 V 使得 {(a(x),b(x))∣x∈V}中每一對開集合區間都兩兩不相等,且 {(a(x),b(x))∣x∈V}={(a(x),b(x))∣x∈U},因此 U=∪{(a(x),b(x))∣x∈U} (QED).
E.g. (0,1)−{2−n∣n∈N}⊂R為一開集合,因為其可表示為 ∪n=1∞(2−n,2−n+1.