距离
距离是对两个物体或位置间相距多远的数值描述，是个不具方向性的标量，且不为负值。
在物理或日常使用中，距离可以是个物理长度，或某个估算值，指人、动物、交通工具或光线之类的媒介由起点至终点所经过的最短路径长。
在数学里，距离是个称之为度量的函数，为物理距离这个概念之推广。度量是个函数，依据一组特定的规则作用，且有具体的方法可用来描述一些空间内的元素互相“接近”或“远离”。除了欧氏空间内常见的距离定义外，在图论与统计学等数学领域里，亦存在其他的“距离”概念。在大多数的情形下，“从<math>A</math>至<math>B</math>的距离”与“从<math>B</math>至<math>A</math>的距离”的意义是相同的。
两点间的距离公式[编辑]
欧几里得距离[编辑]
在解析几何里，xy-平面上两点的距离可使用距离公式求得。<math>(x_1,y_1)</math>与<math>(x_2,y_2)</math>间之距离为：
- <math>d=\sqrt{(\Delta x)^2+(\Delta y)^2}=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}.\,</math>
同样地，给定三维空间里的两个点<math>(x_1,y_1,z_1)</math> 与<math>(x_2,y_2,z_2)</math>，其间之距离为：
- <math>d=\sqrt{(\Delta x)^2+(\Delta y)^2+(\Delta z)^2}=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2+(z_2-z_1)^2}.</math>
这些公式可以很容易地透过建构直角三角形，并利用勾股定理来导出。在平面上，可取得平行于坐标轴的两股长求出斜边长；在三维空间里，可由垂直于平面的一股与将第一个直角三角形的斜边作为另一股来求解。在研究复杂的几何时，此类距离称之为欧几里得距离，因为此类距离用到的勾股定理，于非欧几何内并不成立。此一距离公式亦可延伸用来取得弧长公式。
其他范数[编辑]
在欧氏空间<math>\mathbb{R}^n</math>里，两点间的距离通常由欧几里得距离（2-范数距离）所给出。不过，有时也会使用由其他范数导出之距离。
对于点<math>(x_1,x_2,\ldots,x_n)</math>与点<math>(y_1,y_2,\ldots,y_n)</math>，p阶明可夫斯基距离（p-范数距离）定义为：
| 1-范数距离 | x_i - y_i \right|</math> |
| 2-范数距离 | x_i - y_i \right|^2 \right)^{1/2}</math> |
| p-范数距离 | x_i - y_i \right|^p \right)^{1/p}</math> |
| 无限范数距离 | x_i - y_i \right|^p \right)^{1/p}</math> |
| x_1 - y_1|, |x_2 - y_2|, \ldots, |x_n - y_n| \right).</math> |
p 不一定要是整数，但不可以小于 1，不然三角不等式不会成立。
2-范数距离为欧几里得距离，是勾股定理在两维以上空间之推广。2-范数距离为两个点间使用直尺量测时所得之数值，为距离的“直观”概念。
1-范数距离亦称为“计程车范数”或曼哈顿距离，因为此一距离为汽车在以方形规划（且假设无单行道）的城市里驾驶之距离。
无限范数距离亦称为切比雪夫距离。在二维空间里，为国王在棋盘上的两个方块间移动所需之最少步数。
p-范数很少使用 1、2 与无限大以外的值，但可见于超椭圆内。
在物理空间里，欧几里得距离是最自然的形式，因为刚体的长度于此一距离下不会因旋转而改变。
距离的变分法公式[编辑]
在空间内，两个点 <math>A = \vec{r}(0)</math> 与 <math>B = \vec{r}(T)</math> 间的欧几里得距离可写成变分法的形式，其距离为下列积分的最小值：
- <math>
D = \int_0^T \sqrt{\left({\partial \vec{r}(t) \over \partial t}\right)^2} \, dt </math>
其中，<math>\vec{r}(t)</math>为两点间的轨迹（路径）。积分的值<math>D</math>表示该轨迹之长度。两点间的距离为该积分的最小值，且会在<math>r = r^{*}</math>时求得，其中的<math>r = r^{*}</math>为最佳轨迹。在熟悉的欧氏空间里，该最佳轨迹为一直线。每个人都知道，两点间的最短距离为直线。直线在形式上可透过解上式之欧拉-拉格朗日方程式求得。在非欧流形（弯曲空间）里，该空间的性质可使用度量张量<math>g_{ab}</math>来表示，而被积的函数则需修改为<math>\sqrt{g^{ac}\dot{r}_c g_{ab}\dot{r}^b}</math>。须注意，上式使用了爱因斯坦求和约定。
推广至更高维对象[编辑]
两个对象间的欧几里得距离亦可推广至两个对象不再是个点，而是更高维之流形（如曲线）的情形，所以除了谈论两点间的距离外，亦可讨论两条线间的距离之类的概念。
集合间及一点与一集合间之距离[编辑]
物体间可以有不同的距离定义。例如，天体间的距离即有表面间距离与中心间距离两种。近地轨道的物体适用前者，并以高度标示该物体与地球表面的距离；其他如地球与月球间之距离，则适用后者。
两个非空集合间之距离的常见定义如下：
- 两个非空集合间的距离为两者内各自的点之间的距离之下确界，这是距离这一词在日常中的含义，即
- <math>d(A,B)=\inf_{x\in A, y\in B} d(x,y).</math>
- 此类距离是个对称预度量。若两个集合有部分接触或重叠，即不是“可分”的，因为这两个不同但接触或重叠的集合之距离为零。此外，该距离亦不满足三角不等式。因此，只有在某些特殊情况下，此类距离才能构成度量空间。
- 豪斯多夫距离是先取一集合内的点至另一集合各个点之距离的下确界，再取这些距离之上确界所得到的值，与两个集合互换所得之值的最大值。亦即，令<math>X</math>与<math>Y</math>为度量空间<math>(M.d)</math>内的子集，则赫斯多夫距离为
- <math>d_{\mathrm H}(X,Y) = \max\{\,\sup_{x \in X} \inf_{y \in Y} d(x,y),\, \sup_{y \in Y} \inf_{x \in X} d(x,y)\,\}\mbox{.} \! </math>
- 此类距离会构成度量空间的一非空紧致子集，该子集亦会是个度量空间。
点线面间的距离公式[编辑]
在点、直线与平面之间的距离多采上述的第一种定义。这些对象在笛卡儿坐标系下的距离公式列举如下：
点到直线的距离[编辑]
若在平面坐标几何上的直线定义为<math>ax+by+c=0</math>，点的坐标为<math>(x_0,y_0)</math>，则两者间的距离为：
- <math>d = \frac{\left|ax_0 + by_0 + c\right|}{\sqrt{a^2+b^2}} </math>
异面直线间的距离[编辑]
设两直线的方程分别为：
- <math>\frac{x-x_1}{L_1} = \frac{y-y_1}{M_1} = \frac{z-z_1}{N_1}</math>
- <math>\frac{x-x_2}{L_2} = \frac{y-y_2}{M_2} = \frac{z-z_2}{N_2}</math>
则，该两直线间的距离
- <math>d = \left|
\frac{\begin{vmatrix} x_2-x_1 & y_2-y_1 & z_2-z_1 \\ L_1 & M_1 & N_1 \\ L_2 & M_2 & N_2 \end{vmatrix}} {\sqrt{ \begin{vmatrix} M_1&N_1 \\ M_2&N_2 \end{vmatrix}^2 + \begin{vmatrix} N_1&L_1 \\ N_2&L_2 \end{vmatrix}^2 + \begin{vmatrix} L_1&M_1 \\ L_2&M_2 \end{vmatrix}^2 }} \right| </math>
点到平面的距离[编辑]
若点坐标为<math>(x_0,y_0,z_0)</math>，平面为<math>Ax+By+Cz+D=0</math>，则点到平面的距离为：
- <math>d = \frac{\left|Ax_0+By_0+Cz_0+D\right|}{\sqrt{A^2+B^2+C^2}}</math>
两平行直线[编辑]
若直线分别为<math>ax+by+c_1=0</math>，和<math>ax+by+c_2=0</math>，则两者间的距离为：
- <math>d = \frac{\left|c_1-c_2\right|}{\sqrt{a^2+b^2}}</math>
两平行平面间的距离[编辑]
若两平行平面分别为<math>Ax+By+Cz+D_1=0</math>和<math>Ax+By+Cz+D_2=0</math>，则两者间的距离为：
- <math>d = \frac{\left|D_1-D_2\right|}{\sqrt{A^2+B^2+C^2}}</math>
广义距离泛函[编辑]
当需要处理的新对象为更广义的对象（不再只是个点）时，不可扩展性、曲率限制与非局部互动等额外概念需要被加入距离的概念之内。两个流形间的距离为一标量，可由最小化广义距离泛函（表示两个流形间的变换）而导出：
- <math>
\mathcal {D} = \int_0^L\int_0^T \left \{ \sqrt{\left({\partial \vec{r}(s,t) \over \partial t}\right)^2} + \lambda \left[\sqrt{\left({\partial \vec{r}(s,t) \over \partial s}\right)^2} - 1\right] \right\} \, ds \, dt </math>
上面的二重积分是两个聚合物结构间的广义距离泛函。<math>s</math>是空间参数，<math>t</math>是伪时间（轨迹参数）。亦即，<math>\vec{r}(s,t=t_i)</math> 为时间 <math>t_i</math> 时的聚合物结构，且以<math>s</math>作为其线段之参数。类似地，<math>\vec{r}(s=S,t)</math> 则为无限小之线段由结构 <math>\vec{r}(s,0)</math> 变换成结构 <math>\vec{r}(s,T)</math> 的轨迹。其中的<math>\lambda</math>为拉格朗日乘数，用来确保聚合物的长度在变换的过程中维持不变。若两个聚合物不可扩展，则两者间之变换最小距离不会只有直线运动，即使是在欧几里得度量之上。此类广义距离可适用于蛋白质折叠的问题上[1][2]。此类广义距离可类比弦论里的南部-后藤作用量，但无法完全地对应，因为三维空间里的欧几里得距离不等价于古典相对论弦中最小化的时空距离。
一般度量[编辑]
在数学里，集合<math>M</math>上的距离函数为一函数<math>d:M\times M\rightarrow R</math>，其中<math>R</math>为实数集，且满足下列条件：
- <math>d(x,y)\geq 0</math>，且<math>d(x,y)= 0</math>当且仅当<math>x=y</math>。（两个不同的点间之距离为正值，且仅在同个点间的距离为零。）
- <math>d(x,y)=d(y,x)</math>。（对称性：不论方向为何，距离不变。）
- <math>d(x,z)\leq d(x,y)+d(y,z)</math>。（三角不等式：两点间的距离是所有路径里的最短距离。）
举例而言，两个实数<math>x</math>与<math>y</math>间的距离通常定义为：<math>d(x,y)=\left \vert x-y \right \vert</math>。此一定义满足上述三个条件，且会对应至实数线上的标准拓扑。不过，集合上的距离是可选择的，例如下面的定义：<math>d(x,y)=0</math>，若<math>x=y</math>，否则为 1。此一定义亦符合度量的三个条件，但会形成一个完全不同的拓扑，称之为“离散拓扑”；在此一定义里，数字间无法随意地接近。
图论[编辑]
其他“距离”[编辑]
下面为名称中带有“距离”的名词：
参见[编辑]
|
|
|
