賈利東 王慧
摘 要 度量空間是泛函分析中學(xué)習(xí)的第一個(gè)抽象空間,為進(jìn)一步學(xué)習(xí)更一般的Banach空間、Hilbert空間奠定了重要的基礎(chǔ)。通過(guò)對(duì)”度量空間”教學(xué)設(shè)計(jì)的闡述,使得初學(xué)者能體會(huì)到泛函分析的高度概括性、應(yīng)用的廣泛性以及表述形式的簡(jiǎn)潔性。
關(guān)鍵詞 度量空間 教學(xué)
中圖分類(lèi)號(hào):TP391文獻(xiàn)標(biāo)識(shí)碼:A
0引言
為了給點(diǎn)集概念一個(gè)空間框架,法國(guó)數(shù)學(xué)家弗雷歇首次提出度量空間的定義,奠定了抽象空間的理論。對(duì)于初學(xué)者突然面對(duì)這么抽象的概念,很自然的會(huì)思考:度量空間的產(chǎn)生背景、與其它概念的關(guān)系以及有何應(yīng)用等問(wèn)題?通過(guò)本文對(duì)度量空間教學(xué)的設(shè)計(jì),使更多學(xué)生能體會(huì)到度量空間的定義是合情合理的、非常自然的。
1教學(xué)設(shè)計(jì)
1.1來(lái)源
(1)人們?cè)谔幚砦锢硐到y(tǒng)的狀態(tài)時(shí)可以通過(guò)觀測(cè)決定,而這些觀測(cè)值總是近似的,人們常??紤]近似值逼近準(zhǔn)確值的任意程度,這反映在數(shù)學(xué)上就是”極限”。
(2)我們都知道微積分的重要性是不言而喻的,然而連續(xù)、微分、積分、級(jí)數(shù)等都是由”極限”定義的。
(3)極限概念盡然如此重要,我們希望把這一概念推廣到更一般的空間上,為此,我們下面回顧數(shù)列極限定義。
(4)數(shù)列:,用語(yǔ)言描述為:
1.2在集合上定義距離
(1)我們把極限概念移植到一般空間上的前提是:如何把距離的概念定義在一般集合上。我們首先回顧在平面上兩點(diǎn)之間距離的定義。
(2)設(shè),是平面上的兩點(diǎn):,,兩點(diǎn)間的距離為
即是從到上的一個(gè)映射,其中;
同時(shí)上面的距離滿(mǎn)足4條基本性質(zhì):
① ,即兩點(diǎn)之間的距離大于零;
② ,即任意一點(diǎn)到其自身的距離為零;
③ ,即從到的距離等于從到的距離;
④ ,即兩點(diǎn)之間線(xiàn)段最短。
(3)在一般集合X上定義距離。
① 是從到上的一個(gè)映射,其中;
② 滿(mǎn)足平面距離的四條基本性質(zhì)。
設(shè)計(jì)意圖:培養(yǎng)學(xué)生如何從一個(gè)特殊問(wèn)題經(jīng)過(guò)抽象化得到一般問(wèn)題的這種方法,在數(shù)學(xué)上叫做”得意忘形”法。
2度量空間的定義
設(shè)是非空集合,對(duì)的任意兩點(diǎn),均有唯一一個(gè)非負(fù)實(shí)數(shù)與之對(duì)應(yīng),且滿(mǎn)足:
設(shè)計(jì)意圖:讓學(xué)生知道:一是證明度量空間關(guān)鍵是證明三角不等式;二是例1說(shuō)明在同一個(gè)集合上可以定義不同的距離使之成為不同的度量空間;例2說(shuō)明對(duì)于任意非空集合都可以定義度量空間,并且例2經(jīng)常用于舉反例;例3是無(wú)窮維的度量空間。
4結(jié)束語(yǔ)
學(xué)習(xí)完度量空間的體會(huì)是:將具體問(wèn)題抽象化是有價(jià)值的.通過(guò)以下幾點(diǎn)加以說(shuō)明:(1)是一個(gè)具體問(wèn)題被納入抽象空間的框架之內(nèi),原本很復(fù)雜的對(duì)象(函數(shù),數(shù)列,矩陣,變換,曲線(xiàn),曲面)現(xiàn)在不過(guò)是空間中一個(gè)點(diǎn)而已。無(wú)論這個(gè)點(diǎn)內(nèi)部原來(lái)有多大的復(fù)雜性,都一概被抹去,在今后的研究中不再起任何作用,這樣導(dǎo)致問(wèn)題得到簡(jiǎn)化。(2)是通過(guò)與歐幾里得的對(duì)比,抽象空間能獲得一定的直觀形象,因此在抽象空間中進(jìn)行的邏輯論證更好讓人理解.經(jīng)過(guò)抽象化處理的問(wèn)題往往更直觀,這也是泛函分析的奧妙所在。(3)是抽象化方法用高度概括的形式統(tǒng)一了外觀上極不相同的問(wèn)題,從而溝通了一些初看起來(lái)互不相關(guān)的領(lǐng)域,這就為獲取新知識(shí)開(kāi)辟了更多的渠道。
參考文獻(xiàn)
[1] 胡適耕.泛函分析[M].高等教育出版社,2013.
[2] 孫炯等.泛函分析[M].高等教育出版社,2010.
[3] 張恭慶等.泛函分析講義[M].北京:北京大學(xué)出版社,2018.