探究度量空間的教學(xué)

賈利東　王慧

摘 要 度量空間是泛函分析中學(xué)習(xí)的第一個(gè)抽象空間，為進(jìn)一步學(xué)習(xí)更一般的Banach空間、Hilbert空間奠定了重要的基礎(chǔ)。通過對”度量空間”教學(xué)設(shè)計(jì)的闡述，使得初學(xué)者能體會到泛函分析的高度概括性、應(yīng)用的廣泛性以及表述形式的簡潔性。

關(guān)鍵詞 度量空間 教學(xué)

中圖分類號：TP391文獻(xiàn)標(biāo)識碼：A

0引言

為了給點(diǎn)集概念一個(gè)空間框架，法國數(shù)學(xué)家弗雷歇首次提出度量空間的定義，奠定了抽象空間的理論。對于初學(xué)者突然面對這么抽象的概念，很自然的會思考：度量空間的產(chǎn)生背景、與其它概念的關(guān)系以及有何應(yīng)用等問題？通過本文對度量空間教學(xué)的設(shè)計(jì)，使更多學(xué)生能體會到度量空間的定義是合情合理的、非常自然的。

1教學(xué)設(shè)計(jì)

1.1來源

（1）人們在處理物理系統(tǒng)的狀態(tài)時(shí)可以通過觀測決定，而這些觀測值總是近似的，人們常常考慮近似值逼近準(zhǔn)確值的任意程度，這反映在數(shù)學(xué)上就是”極限”。

（2）我們都知道微積分的重要性是不言而喻的，然而連續(xù)、微分、積分、級數(shù)等都是由”極限”定義的。

（3）極限概念盡然如此重要，我們希望把這一概念推廣到更一般的空間上，為此，我們下面回顧數(shù)列極限定義。

（4）數(shù)列：，用語言描述為：

1.2在集合上定義距離

（1）我們把極限概念移植到一般空間上的前提是：如何把距離的概念定義在一般集合上。我們首先回顧在平面上兩點(diǎn)之間距離的定義。

（2）設(shè)，是平面上的兩點(diǎn)：，，兩點(diǎn)間的距離為

即是從到上的一個(gè)映射，其中;

同時(shí)上面的距離滿足4條基本性質(zhì)：

① ，即兩點(diǎn)之間的距離大于零;

② ，即任意一點(diǎn)到其自身的距離為零;

③ ，即從到的距離等于從到的距離;

④ ，即兩點(diǎn)之間線段最短。

（3）在一般集合X上定義距離。

① 是從到上的一個(gè)映射，其中;

② 滿足平面距離的四條基本性質(zhì)。

設(shè)計(jì)意圖：培養(yǎng)學(xué)生如何從一個(gè)特殊問題經(jīng)過抽象化得到一般問題的這種方法，在數(shù)學(xué)上叫做”得意忘形”法。

2度量空間的定義

設(shè)是非空集合，對的任意兩點(diǎn)，均有唯一一個(gè)非負(fù)實(shí)數(shù)與之對應(yīng)，且滿足：

設(shè)計(jì)意圖：讓學(xué)生知道：一是證明度量空間關(guān)鍵是證明三角不等式;二是例1說明在同一個(gè)集合上可以定義不同的距離使之成為不同的度量空間;例2說明對于任意非空集合都可以定義度量空間，并且例2經(jīng)常用于舉反例;例3是無窮維的度量空間。

4結(jié)束語

學(xué)習(xí)完度量空間的體會是：將具體問題抽象化是有價(jià)值的.通過以下幾點(diǎn)加以說明：（1）是一個(gè)具體問題被納入抽象空間的框架之內(nèi)，原本很復(fù)雜的對象（函數(shù)，數(shù)列，矩陣，變換，曲線，曲面）現(xiàn)在不過是空間中一個(gè)點(diǎn)而已。無論這個(gè)點(diǎn)內(nèi)部原來有多大的復(fù)雜性，都一概被抹去，在今后的研究中不再起任何作用，這樣導(dǎo)致問題得到簡化。（2）是通過與歐幾里得的對比，抽象空間能獲得一定的直觀形象，因此在抽象空間中進(jìn)行的邏輯論證更好讓人理解.經(jīng)過抽象化處理的問題往往更直觀，這也是泛函分析的奧妙所在。（3）是抽象化方法用高度概括的形式統(tǒng)一了外觀上極不相同的問題，從而溝通了一些初看起來互不相關(guān)的領(lǐng)域，這就為獲取新知識開辟了更多的渠道。

參考文獻(xiàn)

[1] 胡適耕.泛函分析[M].高等教育出版社，2013.

[2] 孫炯等.泛函分析[M].高等教育出版社，2010.

[3] 張恭慶等.泛函分析講義[M].北京：北京大學(xué)出版社，2018.