分析和代數原理(4)
拓撲空間
稱非空集合 的拓撲 是 的一個子集族,若(1) (2) 中任意集合的並集是 中的集合 (3) 中有限多個集合的交集是 中的集合。稱定義了拓撲 的集合 是拓撲空間,記作 。在明確 上的拓撲之後,就可以簡記為拓撲空間 ,而默認它的拓撲。
從現在開始,有時會稱集合中的元素是一個點。 是拓撲空間,稱 的任意子集 是開集,此時若點 ,則稱 是 的鄰域;同樣若 則稱 是 的鄰域 。稱 是閉集,若 是開集。稱 的開子集族 是一個拓撲基,若 是 中一些開集的並集。稱拓撲空間 是一個Hausdorff空間,若任意不同兩點有不相交鄰域。
設 是從具有拓撲基 的拓撲空間 映到拓撲空間 的映射。稱 是 關於 的極限,記作 ,若任意鄰域 , 使 。稱從拓撲空間 映到 的映射 在點 連續,若 , 使 。若 , 都連續,則稱 是 上的連續映射。
定理 是拓撲空間 映到 的映射,那麼 在 上連續當且僅當 中任意閉集的原像是 中閉集。
換句話說,上述定理說明連續映射把閉集映成閉集,同樣,開集映成開集。類似於同構,針對與拓撲空間,我們有同胚:稱兩個拓撲空間 和 同胚,若它們之間可以建立同胚映射 ,其中 是連續的雙射,且 也連續。由於建立了同胚映射的拓撲空間之間,開集和閉集分別相互一一對應,從而相當於兩空間上給出的是相同的拓撲。
對於複合映射,有下面兩個命題。
命題 拓撲空間 和 分別有拓撲基 和 ,且映射 滿足 , 使 ,而映射 關於 有極限, 是拓撲空間,那麼複合映射的極限 存在並且 。
命題 拓撲空間 間有映射 和 ,若 在 連續, 在 連續且 ,那麼 在 連續。
現在引入緊集的概念。稱一個開集族 是集合 的開覆蓋,若 ;若能夠選出有限多個開集 ,使 ,則稱開集族 是 的有限子覆蓋。稱拓撲空間 的子集 是緊集,若 的任意開覆蓋存在有限子覆蓋。若 本身也是緊集,則稱拓撲空間 是緊的。
引理(Heine-Borel) 若 是Hausdorff空間 中的緊集,那麼 是閉集。
引理(Cauchy-Cantor) 若 ,其中 是緊集,那麼 非空。
上述兩個引理是所謂「實數系六大定理」的其中二者的拓撲描述。
定理 拓撲空間之間的連續映射,使緊集的像是緊集。
這個定理直接給出了:
命題(Weierstrass) 從拓撲緊集 映到實數的連續映射 在 中可以取到最大值 和最小值 。
一般,在討論實數的拓撲性質時,是把實數看做度量空間,它的開集就是開球。
稱拓撲空間 是連通的,若 中除了 和 沒有其他既開又閉集。稱 是子集 上由 導出的誘導拓撲,若 。稱 是 誘導拓撲定義的拓撲子空間。稱 是連通集,若它作為誘導拓撲定義的拓撲子空間是連通的。
命題 非空集合 是連通集,當且僅當 。
命題 從連通拓撲空間映到拓撲空間的連續映射,使映射的像是連通集。
度量空間
稱 是集合 上的度量,並稱 是一個度量空間,若 ,(1) (2) (3) 。
稱 是開球,或 的 鄰域,若 。稱 是開集,若 。稱開集 是 的一個鄰域,若 。稱 是閉集,若 是開集。可以驗證,度量空間中的緊集都是閉集。在度量空間中,拓撲基一般就採用開球的集合。
稱度量空間 和 是等距的,如果有等距映射 使 , 且 是雙射。類似於同構和同胚,兩個等距的度量空間本質上是一樣的。
稱拓撲空間 是可度量化的,若存在度量 使 中的開集和 的開集一致。稱拓撲空間中的一個拓撲基是可數基,若它和 等勢;此時稱拓撲空間是第二可數的。稱拓撲空間是正規的,若它的任意兩個不相交閉集有不相交鄰域。
定理(Urysohn) 第二可數正規Hausdorff拓撲空間可度量化。
這個定理,使得我們可以在性質良好的拓撲空間上定義度量,從而拓撲空間上的一切定義和結論都可轉移到度量空間上。
稱 是 的內點,若 ;外點,若 是 的內點;邊界點,若 既不是 的內點也不是外點。稱 是 的極限點,或聚點,若 , 是無窮集。稱 和它在 中所有極限點的集合是 的閉包,記作 。
稱 是 在 上的振幅。
定理(Cauchy) 是從具有拓撲基 的拓撲空間 映到完備度量空間 的映射,那麼 關於 有極限,當且僅當 , 使 。
稱 是度量空間子集 的直徑。上述Cauchy定理的直接推論是下述的:
命題 度量空間 和 之間的映射 在點 連續,當且僅當 。其中 ,拓撲基是 時的任一 的鄰域族。
關於連續點處的像集的直徑,有如下命題,它說明像是有界集:
命題 拓撲空間到度量空間的映射 在 連續,那麼 使 。
稱從 映到拓撲空間 的映射是一個點列(或序列,數列等),通常把這一些可數的點的集合記成 。從點列 中任意選出一些點,按原來的順序排列,構成新的點列 ,稱 是 的一個子列。稱拓撲空間 中的點列 收斂於 ,若 使 , 。稱度量空間 中的點列 收斂於 ,若 ,使 , ,記作 。
命題 度量空間 是緊的,當且僅當任意 到 的點列有收斂到 中的子列。
稱度量空間 中的點列 是基本列,若 ,使 , 。稱度量空間 是完備度量空間,若 中每個基本列都收斂。稱 是拓撲空間中的稠密集,若 ,集合 非空,其中 是 的鄰域。稱度量空間 是 的子空間,若 ,且 , 。稱完備度量空間 是度量空間 的完備化空間,若 中有稠密的子空間與 等距。
命題 任意度量空間都有完備化空間。
稱度量空間 和 之間的映射 在 上一致連續,若 使 滿足 。
命題 若映到度量空間上的映射 在度量空間的緊子集 上連續,則它在 上一致連續。
推薦閱讀:
※數學建模競賽的一些心得體會(關於每年的比賽)
※Mirror descent: 統一框架下的first order methods
※求分析下炸金花的概率有什麼?
※從外微分到微分幾何(一)
※偏科只能偏數學(五)
TAG:數學 |