注意：二元函数p(,)满足下列性质：对x,y,之∈R”有 0p(x,y≥0，p(x,y)=0当且仅当x=y; op(x,y)=p(y,x); op(x,y)<p(x,z)+p(z,y). 问题： ●一般的抽象空间中如何定义距离？ 。为什么要在一般的抽象空间中定义距离？ 日间4二#主12刀双 张样：上将交通大学数学系第八讲、存在唯一性定理的证明：距离空间和压缩映射原理5øµ ºÍ ρ(·,·) ˜ve5üµÈ ∀x, y,z ∈ R n k ρ(x, y) ≥ 0, ρ(x, y) = 0 Ö= x = y; ρ(x, y) = ρ(y, x); ρ(x, y) ≤ ρ(x,z) +ρ(z, y). ØKµ òуñòm•X¤½¬Âlº èüoá3òуñòm•½¬Âlº ‹å: ˛°œåÆÍÆX 1l˘!3çò5½ny²µÂlòm⁄ÿ†Nn