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