距离
两点间的距离公式
欧几里得距离
在解析几何里,xy-平面上两点的距离可使用距离公式求得。( x 1 , y 1 ) 与 ( x 2 , y 2 ) 间之距离为:
同样地,给定三维空间里的两个点 ( x 1 , y 1 , z 1 ) 与 ( x 2 , y 2 , z 2 ),其间之距离为:
这些公式可以很容易地透过建构直角三角形,并利用勾股定理来导出。在平面上,可取得平行于座标轴的两股长求出斜边长;在三维空间里,可由垂直于平面的一股与将第一个直角三角形的斜边作为另一股来求解。在研究复杂的几何时,此类距离称之为欧几里得距离,因为此类距离用到的勾股定理,于非欧几何内并不成立。此一距离公式亦可延伸用来取得弧长公式。
其他范数
在欧氏空间 R 里,两点间的距离通常由欧几里得距离(2-范数距离)所给出。不过,有时也会使用由其他范数导出之距离。
对于点 ( x 1 , x 2 , ..., x n ) 与点 ( y 1 , y 2 , ..., y n ),p阶明可夫斯基距离(p-范数距离)定义为:
p 不一定要是整数,但不可以小于 1,不然三角不等式不会成立。
2-范数距离为欧几里得距离,是勾股定理在两维以上空间之推广。2-范数距离为两个点间使用直尺量测时所得之数值,为距离的“直观”概念。
1-范数距离亦称为“计程车范数”或曼哈顿距离,因为此一距离为汽车在以方形规划(且假设无单行道)的城市里驾驶之距离。
无限范数距离亦称为切比雪夫距离。在二维空间里,为国王在棋盘上的两个方块间移动所需之最少步数。
p-范数很小使用 1、2 与无限大以外的值,但可见于超椭圆内。
在物理空间里,欧几里得距离是最自然的形式,因为刚体的长度于此一距离下不会因旋转而改变。
距离的变分法公式
在空间内,两个点 A = r → → --> ( 0 ) {\displaystyle A={\vec {r}}(0)} 与 B = r → → --> ( T ) {\displaystyle B={\vec {r}}(T)} 间的欧几里得距离可写成变分法的形式,其距离为下列积分的最小值:
其中, r → → --> ( t ) {\displaystyle {\vec {r}}(t)} 为两点间的轨迹(路径)。积分的值 D 表示该轨迹之长度。两点间的距离为该积分的最小值,且会在 r = r ∗ ∗ --> {\displaystyle r=r^{*}} 时求得,其中的 r = r ∗ ∗ --> {\displaystyle r=r^{*}} 为最佳轨迹。在熟悉的欧氏空间里,该最佳轨迹为一直线。每个人都知道,两点间的最短距离为直线。直线在形欧拉可拉格朗日式之欧拉-拉格朗日方程式求得。在非欧流形(弯曲空间)里,该空间的性质可使用度量张量 g a b {\displaystyle g_{ab}} 来表示,而被积的函数则需修改为 g a c r ˙ ˙ --> c g a b r ˙ ˙ --> b {\displaystyle {\sqrt {g^{ac}{\dot {r}}_{c}g_{ab}{\dot {r}}^{b}爱因斯坦求和约定意,上式使用了爱因斯坦求和约定。
推广至更高维物件
两个物件间的欧几里得距离亦可推广至两个物件不再是个点,而是更高维之流形(如曲线)的情形,所以除了谈论两点间的距离外,亦可讨论两条线间的距离之类的概念。
集合间及一点与一集合间之距离
d ( A , B ) > d ( A , C ) + d ( C , B )
物体间可以有不同的距离定义。例如,天体间的距离即有表面间距离与中心间距离两种。近地轨道的物体适用前者,并以高度标示该物体与地球表面的距离;其他如地球与月球间之距离,则适用后者。
两个非空集合间之距离的常见定义如下:
两个非空集合间的距离为两者内各自的点之间的距离之下确界,这是距离这一词在日常中的含义,即
郝斯多夫距离是先取一集合内的点至另一集合各个点之距离的下确界,再取这些距离之上确界所得到的值,与两个集合互换所得之值的最大值。亦即,令 X 与 Y 为度量空间 (M, d) 内的子集,则赫斯多夫距离为
点线面间的距离公式
在点、直线与平面之间的距离多采上述的第一种定义。这些物件在笛卡儿座标系下的距离公式列举如下:
若在平面坐标几何上的直线定义为 ax + by + c = 0,点的座标为( x 0 , y 0 ),则两者间的距离为:
设两直线的方程分别为:
则,该两直线间的距离
若点坐标为( x 0 , y 0 , z 0 {\displaystyle x_{0},y_{0},z_{0}} ),平面为 Ax + By + Cz + D =0,则点到平面的距离为:
若直线分别为 ax + by + c 1 = 0,和 ax + by + c 2 = 0,则两者间的距离为:
若两平行平面分别为 Ax + By + Cz + D 1 = 0 和 Ax + By + Cz + D 2 = 0,则两者间的距离为:
广义距离泛函
当需要处理的新物件为更广义的物件(不再只是个点)时,不可扩展性、曲率限制与非局部互动等额外概念需要被加入距离的概念之内。两个流形间的距离为一标量,可由最小化广义距离泛函(表示两个流形间的转换)而导出:
上面的二重积分是两个聚合物结构间的广义距离泛函。s 是空间参数,t 是伪时间(轨迹参数)。亦即, r → → --> ( s , t = t i ) {\displaystyle {\vec {r}}(s,t=t_{i})} 为时间 t i {\displaystyle t_{i}} 时的聚合物结构,且以 s 作为其线段之参数。类似地, r → → --> ( s = S , t ) {\displaystyle {\vec {r}}(s=S,t)} 则为无限小之线段由结构 r → → --> ( s , 0 ) {\displaystyle {\vec {r}}(s,0)} 转换成结构 r → → --> ( s , T ) {\displaystyle {\vec {r}}(s,T)} 的轨迹。其中的 λ λ --> {\displaysty拉格朗日乘数mbda } 为拉格朗日乘数,用来确保聚合物的长度在转换的过程中维持不变。若两个聚合物不可扩展,则两者间之转换最小距离不会只有直线运动,即使是在欧几里得度量之上。此类广义距离可适用于蛋白质折叠的问题上 。此类广义距离可类比弦论里的南部-后藤作用量,但无法完全地对应,因为三维空间里的欧几里得距离不等价于古典相对论弦中最小化的时空距离。
一般度量
在数学里,集合 M 上的距离函数为一函数d: M × M → R,其中 R 为实数集,且满足下列条件:
d(x,y) ≥ 0,且 d(x,y) = 0 当且仅当 x = y。(两个不同的点间之距离为正值,且仅在同个点间的距离为零。)
d(x,y) = d(y,x)。(对称性:不论方向为何,距离不变。)
d(x,z) ≤ d(x,y) + d(y,z)。(三角不等式:两点间的距离是所有路径里的最短距离。)
此一距离函数称之为度量。具有度量之集合,称为度量空间。
举例而言,两个实数 x 与 y 间的距离通常定义为:d(x,y) = |x − y|。此一定义满足上述三个条件,且会对应至实数线上的标准拓扑。不过,集合上的距离是可选择的,例如下面的定义:d(x,y) = 0,若x = y,否则为 1。此一定义亦符合度量的三个条件,但会形成一个完全不同的拓扑,称之为“离散拓扑”;在此一定义里,数字间无法随意地接近。
图论
在图论里,两个顶点间的距离为这些顶点间最短路径之长度。
其他“距离”
下面为名称中带有“距离”的名词:
堪培拉距离
切比雪夫距离
能量距离,为统计观测量间的距离函数
汉明距离与李距离,用于编码理论中
KL距离,用来量测两个概率分布间的差异
编辑距离
马氏距离,用于统计学里。
参见
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值