「度量空間」:各本之異

文出維基大典
[底本][底本]
刪去的內容 新增的內容
HRoestBot
H2NCH2COOH
無編輯摘要
第一行: 第一行:
{{釋義二|subject=數學之度量空間|other=計大小、輕重、長短者|度量衡}}

{{當代數學}}
{{當代數學}}
'''度量空間''',度量之所也。夫'''度量'''者,相去之程也。
'''度量空間''',度量之所也。夫'''度量'''者,相去之程也。

二〇一二年一二月二六日 (三) 〇八時四九分審

註︰蓋當今數學之事,誠難僅以文述,而無符號,故凡數學之文,咸有漢字、拉丁字相易之事,以合文言、數學,則無論文理之人,皆可明之也。

度量空間,度量之所也。夫度量者,相去之程也。

定義

量度空間者,集合也,凡二物之間必有一數,曰度量(「d」)[一]。凡度量者,必以下是從:

  • 二物之度量,非負也。(「」)
  • 二物之度量為零,同乎二物皆一也。(「」)
  • 甲乙之度量,同乎乙甲之度量。(「」)
  • 甲乙之度量,少於甲丙與乙丙度量之和矣(「」)。此謂三角不等式也。

取一物曰心(a),及一正數曰半徑(r)。凡與心之度量小於半徑者,聚以成集,謂開球(「B(b,r)={ x | d(x,a) < r}」)。任意開球之並,曰開集。故度量空間實拓撲空間也。

  • 取一集,凡相異之物,度量為一。此度量空間,其子集皆開集也。
  • 歐幾里德空間者,高維實空間(「」)合一度量也。凡二點,合其差各部之方,再開方,則得歐幾里德度量。(「」)
  • 實高維實空間,凡二點,合其差各部之模,得一度量也。(「」)
  • 範空間者,度量空間也。

  1. 集與己之直積映射實數,即