请输入您要查询的字词:

 

单词 AlternativeDefinitionOfMetricSpace
释义

alternative definition of metric space


1 Definition

The notion of metric space may be defined in a way which makes use only of rational numbersPlanetmathPlanetmathPlanetmath as opposed to real numbers. To avoid mention of real numbers we take a three place relationMathworldPlanetmath as our primitive term instead of the distance function. Thus, one can use this definition to define the set of real numbers as the completion of the set of rational numbers as a metric space. Let + denote the set of strictly positive rational numbers

Definition 1.

A metric space consists of a set X and a relation DX×X×Q+ which satisfiesthe following properties:

  1. 1.

    For all x,yX, it is the case that D(x,y,r) for all r+ if and only if x=y.

  2. 2.

    For all x,yX and all r+, it is the case that D(x,y,r) if and only if D(y,x,r).

  3. 3.

    For all x,yX and all r,s+, if rs and D(x,y,r) then D(x,y,s).

  4. 4.

    For all x,y,zX and all r,s+, if D(x,y,r) and D(y,z,s), then D(x,z,r+s).

2 Equivalence with usual definition

The definition presented above is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to the definition presented inmetric space (http://planetmath.org/MetricSpace).This equivalence isgiven by the following equations which relate the primitive term “D” used in this definition with the primitiveterm “d” of the previous definition:

d(x,y)=inf{rD(x,y,r)}
D(x,y,r)d(x,y)r
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 12:09:34