shù xué yìng yòng shù xué > kōng jiān
   kōng jiān ( metricspace), shì zhǒng tuò kōng jiān shàng de tuò yóu zhǐ dìng de jué dìng
   shè x shì fēi kōng , x bèi chēng wéi kōng jiānshì zhǐ zài x shàng dìng liǎo 'èr yuán shí zhí hán shù mǎn xià sān tiáo jiàn :
  1)( fēi xìng) p(x,y)>=0, ér qiě de chōng yào tiáo jiàn shì x=y;
  2)( duìchèn xìng) p(x,y)=p(y,x);
  3)( sān jiǎo děng shì) p(x,z)<=p(x,y)+p(y,z) duì rèn de x zhōng de x,y,z dōuchéng
   zhè p jiào zuò x shàng de p wéi de kōng jiān zuò( x, p) .