《【點集拓撲學】§21 度量空間與連續(xù)映射》由會員分享，可在線閱讀，更多相關《【點集拓撲學】§21 度量空間與連續(xù)映射（14頁珍藏版）》請在裝配圖網上搜索。
1、第第2章度量空間與連續(xù)映射章度量空間與連續(xù)映射 2.1度量空間與連續(xù)映射度量空間與連續(xù)映射2.2 拓撲空間與連續(xù)映射拓撲空間與連續(xù)映射2.3 鄰域與鄰域系鄰域與鄰域系2.4 導集，閉集，閉包導集，閉集，閉包2.5 內部，邊界內部，邊界2.6 基與子基基與子基2.7 拓撲空間中的序列拓撲空間中的序列2.1度量空間與連續(xù)映射度量空間與連續(xù)映射 首先回憶一下在數學分析中學習過的連續(xù)函數的定義函數f：RR稱為在點R處是連續(xù)的，如果對于任意實數0，存在實數0，使得對于任何xR，當|x-|時,有|f(x)-f()|.為了驗證一個函數在某點處的連續(xù)性往往只要用到關于上述距離的最基本的性質，而與實數的其它性質
2、無關以下，我們從這一考察出發(fā)，抽象出度量和度量空間的概念.0 x0 x定義2.1.1設 X 是一個集合，：XXR如果對于任何 x，y，zX，有(1)(正定性)(x,y)0 并且(x,y)0 當且僅當 x=y；(2)(對稱性)(x,y)=(y,x)；(3)(三角不等式)(x,z)(x,y)+(y,z)；則稱是集合 X 的一個度量 如果是集合 X 的一個度量，稱(X，)是一個度量空間，或稱 X 是一個對于而言的度量空間此外，對于任意兩點 x，yX，實數(x，y)稱為從點 x 到點 y 的距離著重理解：度量的本質是什么？例2.1.1實數空間R對于實數集合 R，定義：RRR 如下：對于任意 x，yR，
3、令(x，y)=|x-y|是R的一個度量，偶對(R，)是一個度量空間度量稱為R的通常度量.例 2.1.2n維歐氏空間對于實數集合 R 的 n 重笛卡兒積RRR定義：R 如下：對于任意x=,y ，nR),(21nxxx),(21nyyynRnRnR12)(iiiyx令(x,y)=是的一個度量，因此偶對(，)是一個度量空間這個度量空間特別地稱為n維歐氏空間 nR例2.1.4離散的度量空間設(X，)是一個度量空間稱(X，)是離散的，或者稱是 X 的一個離散度量，如果對于每一個 xX，存在一個實數 0 使得(x，y)對于任何 yX，xy，成立例如定義：XXR 使得對于任何 x，yX，有(x,y)=容易驗
4、證是 X 的一個離散的度量，因此度量空間(X，)是離散的xyxyx,1,0 x定義2.1.2設(X，)是一個度量空間，xX對于任意給定的實數0，集合 yX|(x，y)記作B(x，)，或 ，稱為一個以x為中心以為半徑的球形鄰域,簡稱為x的一個球形鄰域，有時也稱為x的一個鄰域)(xB此處的球形鄰域是球狀的嗎？定理定理2.1.12.1.1度量空間度量空間 (X(X，)的球形鄰域具有以的球形鄰域具有以下基本性質：下基本性質：(1)(1)每一點每一點 xX,xX,至少有一個球形鄰域，并且至少有一個球形鄰域，并且點點 x x 屬于它的每一個球形鄰域；屬于它的每一個球形鄰域；(2)(2)對于點對于點 xX
5、xX 的任意兩個球形鄰域，存在的任意兩個球形鄰域，存在 x x 的一個球形鄰域同時包含于兩者；的一個球形鄰域同時包含于兩者；(3)(3)如果如果 yX yX 屬于屬于 xX xX 的某一個球形鄰域的某一個球形鄰域，則，則 y y 有一個球形鄰域包含于有一個球形鄰域包含于 x x 的那個球形鄰域的那個球形鄰域.定義2.1.3設 A 是度量空間 X 的一個子集如果 A 中的每一個點都有一個球形鄰域包含于 A(即對于每一個 aA，存在實數0 使得 B(a，)A，則稱 A 是度量空間 X 中的一個開集 注意：此處的開集僅是度量空間的開集 例2.1.5實數空間R中的開區(qū)間都是開集 定理定理2.1.22.
6、1.2度量空間度量空間 X X 中的開集具有以下性中的開集具有以下性質：質：(1)(1)集合集合 X X 本身和空集本身和空集 都是開集；都是開集；(2)(2)任意兩個開集的交是一個開集；任意兩個開集的交是一個開集；(3)任意一個開集族(即由開集構成的族)的并是一個開集 證明根據定理 2.1.1 此外，根據定理2.1.1(3)可見，每一個球形鄰域都是開集 球形鄰域與開集有何聯系？為了討論問題的方便，我們將球形鄰域的概念稍稍作一點推廣 定義 2.1.4設 x 是度量空間 X 中的一個點，U 是X 的一個子集如果存在一個開集 V 滿足條件：xV U，則稱 U 是點 x 的一個鄰域 定理定理 2.1
7、.32.1.3設設 x x 是度量空間是度量空間 X X 中的一個中的一個點則點則 X X的子集的子集 U U 是是 x x 的一個鄰域的充分必要條的一個鄰域的充分必要條件是件是 x x 有某一個球形鄰域包含于有某一個球形鄰域包含于 U U定義2.1.5設 X 和 Y 是兩個度量空間，f:XY，以及 X 如果對于 f()的任何一個球形鄰域B(f(),)，存在的某一個球形鄰域B(,)，使得f(B(，)B(f()，)，則稱映射在點處是連續(xù)的如果映射 f 在 X 的每一個點 xX處連續(xù)，則稱 f 是一個連續(xù)映射0 x0 x0 x0 x0 x0 x 下面的這個定理是把度量空間和度量空間之間的連續(xù)映射的
8、概念推廣為拓撲空間和拓撲空間之間的連續(xù)映射的出發(fā)點 定理定理 2.1.42.1.4設設 X X 和和 Y Y 是兩個度量空間，是兩個度量空間，f f：XYXY以及以及 XX則下述條件則下述條件(1)(1)和和(2)(2)分別等價于條件分別等價于條件(1)(1)*和和(2)(2)*：(1)f(1)f 在點在點 處是連續(xù)的；處是連續(xù)的；(1)(1)*f()f()的每一個鄰域的原象是的每一個鄰域的原象是 的一個鄰域；的一個鄰域；(2)f(2)f 是連續(xù)的；是連續(xù)的；(2)(2)*Y Y中的每一個開集的原象是中的每一個開集的原象是 X X 中的一個開集中的一個開集0 x0 x0 x0 x0 x 從這個定理可以看出：度量空間之間的一個映射是否是連續(xù)的，或者在某一點處是否是連續(xù)的，本質上只與度量空間中的開集有關(注意，鄰域是通過開集定義的)這就導致我們甩開度量這個概念，參照度量空間中開集的基本性質(定理2.1.2)建立拓撲空間和拓撲空間之間的連續(xù)映射的概念作業(yè)作業(yè)：P47 1.2.3.4.
【點集拓撲學】§21 度量空間與連續(xù)映射
