陳淼超

（1東南大學(xué)數(shù)學(xué)系，江蘇南京211189）

（2巢湖學(xué)院數(shù)學(xué)系，安徽巢湖238000）

淺論距離空間的距離函數(shù)與誘導(dǎo)距離函數(shù)的關(guān)系

陳淼超1，2

（1東南大學(xué)數(shù)學(xué)系，江蘇南京211189）

（2巢湖學(xué)院數(shù)學(xué)系，安徽巢湖238000）

本文主要研究的是距離空間的距離函數(shù)何有到距離函數(shù)的關(guān)系，文中給出了分割，分割的加密，可求長曲線以及曲線長度的定義及其相關(guān)性質(zhì)，并對這些性質(zhì)予以了證明。仿照黎曼幾何的做法，通過距離空間的距離函數(shù)給出了距離空間的誘導(dǎo)距離函數(shù)的概念，并證明了在距離空間中，兩點(diǎn)間的誘導(dǎo)距離不小于這兩點(diǎn)的距離。

距離空間；加密；距離函數(shù)；誘導(dǎo)距離函數(shù)

1 引言

距離空間是歐幾里得空間的推廣，被稱為最基本最重要的抽象空間。距離空間的概念起源于德國數(shù)學(xué)家G.康托爾創(chuàng)立的集合論，由法國數(shù)學(xué)家弗雷歇爾于1906年首先給出定義的。1914年豪斯多夫在距離空間的理論方面增添了許多成果，特別是證明了每一個(gè)距離空間能夠并且只能夠按一種方式擴(kuò)展成一個(gè)完全的距離空間。1925年，原蘇聯(lián)數(shù)學(xué)家烏雷松在他去世后發(fā)表的論文中證明了每一個(gè)可分離的距離空間同胚于希爾伯特放團(tuán)體的一個(gè)子集等重要結(jié)果，此后距離空間理論隨著拓?fù)鋵W(xué)的發(fā)展而相繼前進(jìn)，其中，拓?fù)淇臻g的距離化問題是一個(gè)比較重要的問題，20世紀(jì)50年代日本，原蘇聯(lián)，美國數(shù)學(xué)家獲得一系列重要結(jié)果，得到拓?fù)淇臻g可距離化的充要條件。

2 具體模型

在二維歐式空間中，根據(jù)兩點(diǎn)間距離公式以及平面曲線弧長公式，我們就可以對一些曲線求出長度。在黎曼幾何中，考慮平面上給定了一個(gè)區(qū)域Ω，若給了一個(gè)度量函數(shù)ρ，就可以定義關(guān)于區(qū)域Ω中的點(diǎn)，在度量ρ下的距離函數(shù)dρ。仿照黎曼幾何的做法，設(shè)X為一個(gè)距離空間，ρ為X的一個(gè)距離函數(shù)，?P，Q∈X，令ΓX（P，Q）為X中中連接P與Q的所有可求長連續(xù)曲線的集合，這里γ（α）=P， γ（β）＝Q，我們定義P與Q的誘導(dǎo)距離函為：dρ（P，Q）＝inf這樣，我們就給出了一個(gè)新的距離函數(shù)dρ（P，Q），我們稱它為誘導(dǎo)距離函數(shù)。

定義1設(shè)分割T∶α=t0＜t1＜…＜tn=β，T*∶α=s0＜s1＜…＜sm=β.令A(yù)（T）＝{ti}，A（T*）＝{sj}，若A（T）?A（T*），則稱T*為T的加密。

定理1已知在距離空間（X，d）中，γ（t）∶[α，β]→X。為[α，β]到X的連續(xù)映射，也就是說γ（t）表示一條連續(xù)曲線。我們對[α，β]做分割T，設(shè)LT為分割T，下的近似長度，再將T加密得到新的分割T*，設(shè)為曲線在T*分割下的近似長度。

證明：設(shè)分割T∶α=t0＜t1＜…＜tn=β，分割后，對應(yīng)曲線上的點(diǎn)Pi=r（ti），P0，P1，…Pn∈X，那么就得到.因此，如果將原分割加密一個(gè)點(diǎn)s得到一個(gè)新的分割T1∶α=t0＜t1＜…＜tj＜s＜tj+1＜…＜tn-1＜tn=β，其中s對應(yīng)曲線上的點(diǎn)為Q，則

定理2設(shè)（X，ρ）為一個(gè)距離空間，γ（t）∶[α，β]→X.為一連續(xù)曲線，LT為曲線在分割T下的近似曲線長度，則γ為可求長曲線，并且lρ（γ）=l的充要條件為：l＜+∞.

證明：ⅰ）設(shè)lρ（γ）=l證明：

由曲線長度的定義知，?ε＞0，?δ＞0，?T*，λT*＜δ有l(wèi)-ε＜LT*＜l＋ε，由此可得

另一方面，由定理1，?T，可做T*，為T的加密且使λT*＜δ.

所以LT≤LT*≤l＋ε，由此可得

?ε＞0。由上確界的定義知，?T*，使得

設(shè)T*∶α=s0＜s1＜…＜sm=β，令

又因γ連續(xù)，對于T的分點(diǎn)sk.以及?δk＞0，對?t∈（sk－δk，sk＋δk）.

對T∶α=t0＜t1＜…＜tn=β，令λT=當(dāng)λ＜δ時(shí)，

記T**={s0，s1，…，sm}∪{t0，t1，…，tm}，trk-1≤sk≤trk，k=1，2，…，m.

T**是T的加密，同時(shí)也是T*的加密。則由定理1有：

在黎曼幾何中誘導(dǎo)距離函數(shù)的定義：設(shè)Ω?C為一個(gè)區(qū)域，ρ為Ω上的一個(gè)度量，?P，Q，ΓX（P，Q）為Ω中連接P與Q的所有逐段光滑曲線的集合，這里γ（0）＝P，γ（1）＝Q我們定義P與Q在度量ρ下的距離為：dρ（P，Q）=inf{ lρ（γ）∶γ∈ΓD（P，Q）}.在這里我們作假定，任意兩點(diǎn)間都可以用可求長的線連接。仿照黎曼幾何來定義距離空間中的誘導(dǎo)距離函數(shù)。

定義2誘導(dǎo)距離函數(shù)

設(shè)X為一個(gè)距離空間，ρ為X的一個(gè)距離函數(shù)，?P，Q∈X，令ΓX（P，Q）為X中中連接P與Q的所有可求長連續(xù)曲線的集合，這里γ（α）=P，γ（β）=Q，我們定義P與Q的誘導(dǎo)距離函為：dρ（P，Q）=inf {lρ（γ）∶γ∈ΓX（P，Q）}.這樣，我們就給出了一個(gè)新的距離函數(shù)dρ（P，Q），我們稱它為誘導(dǎo)距離函數(shù)。

定理3（X，dρ）是距離空間。

證明：①dρ（P，Q）=inf{ lρ（γ）}，設(shè)LT為lρ（γ）在分割T下的近似曲線長度，則有：

綜上所述，在當(dāng)前新教育背景下，如果想要做好班主任的教育及管理工作，僅僅依靠上述內(nèi)容還不夠。班主任還應(yīng)當(dāng)認(rèn)清教育形式，充分了解班級學(xué)生的思想及心理，提高人格素質(zhì)修養(yǎng)，為學(xué)生充分做好表率作用。班主任應(yīng)當(dāng)明確，身為一名教育工作者，不僅需要傳授學(xué)生們理論知識內(nèi)容，還應(yīng)當(dāng)教會學(xué)生們?nèi)绾螛淞⑵鹫_的人生價(jià)值觀。唯有如此，班主任才能真正提高自己的管理水平及教育能力，從而更好地為班級學(xué)生開展教育管理工作，從而促使學(xué)生們真正做到全面健康的發(fā)展。

②由lρ（γ）＝sup{LT}＝sup

可知dρ（P，Q）＝dρ（Q，P）.

③由dρ（P，Q）=inf{ lρ（γ}），知：?ε＞0，?γ*使lρ（γ*）＜dρ（P，Q）+ε，

則對?P，Q，R∈X，有dρ（P，Q）≤lρ（γ1，γ2）=lρ（γ1）＋lρ（γ2）≤dρ（P，R）+dρ（R，Q）=2ε.

由ε的任意性知：dρ（P，Q）≤dρ（P，R）+≤dρ（R，Q）

由①②③知（X，dρ）是距離空間。

定理4設(shè)（X，ρ）為距離空間，dρ為X上的誘導(dǎo)距離函數(shù)，對?P，Q∈X，則在距離空間（X，ρ）中，有：dρ（P，Q）≥ρ（P，Q）.

證明：在X中任給一條連接P，Q的可求長的連續(xù)曲線γ.

所以lρ（γ*）=sup{LT}≥Lρ（pi，pi+1），

又因?yàn)閐ρ（P，Q）=inf{ lρ（γ}），所以對?ε＞0，?γ*，使lρ（γ*）

所以dρ（P，Q）＋ε＞ρ（P，Q）.

由ε的任意性知：dρ（P，Q）＞ρ（P，Q）.證畢。

[1]劉炳初.泛函分析[M].北京：科學(xué)出版社，1998.

[2]陳景良.近代分析數(shù)學(xué)概要[M].北京：清華大學(xué)出版社，1987.

[3][美]陳熙駒，斯廷路德.拓?fù)鋵W(xué)的首要概念[M].將守方，江澤涵譯.上海：上海科學(xué)技術(shù)出版社，1984.

[4]華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析[M].北京：高等教育出版社，1991.

[5]焦寶聰，王安，王燕生.復(fù)變函數(shù)[M].北京：科學(xué)出版社，2000.

Abstract:This paper mainly studies the relation of metric function and reduced metric functionin in metric space.This paper defines the concept and characteristic of partition,densification partition,rectifiable curve and curve length.Ulteriorly,the paper proves these characteristic.Imitating Riemannian geometry,the paper defines reduced metric in metric space via metric function in metric space.Finally,the paper prove reduced distance is not less than distance between two points in metric space.

Key words:metric；space densification；metric function；reduced metric function

責(zé)任編輯：宏彬

SHALLOWLY DISCUSSION ON THE RELATION OF METRIC FUNCTION AND REDUCED METRIC FUNCTION IN METRIC SPACE

CHEN Miao-chao1,2
（1 Department of mathematics,Southeast University,Nanjing Jiangsu 211189）
（2 Department of Mathematics,Chaohu University,Chaohu Anhui 238000）

O177

A

1672－2868（2010）03－0028－03

2010-03-05

陳淼超（1981-），男，湖北黃梅人。東南大學(xué)數(shù)學(xué)系在讀碩士，研究方向：微分方程。