什么是直线？

什么是直线？或者更加准确的问法是如何定义直线？不知道你有没有思考过这个问题。尽管我们实际生活中都有对直线概念的直观理解，但是考虑到后来非欧几何的问世，我们理应对直线有一个更深刻的认识。

欧几里得的几何原本上是这么定义直线的：“直线是它上面的点一样地平放着的线”，其中线的定义是“线只有长度而没有宽度”。显然在逻辑上这样的定义是极其不严格的，因为什么叫做“一样的平放着”只是一个日常生活中的直观概念。这也就是说欧几里得的几何原本相当于并没有对直线给出定义，尽管直线是几何学最基本的基本概念之一。

可能很多人会认为直线被定义成“两点间最短的线”（在这里就不去区分线段和直线了），然后就觉得在逻辑上就已经定义清楚了。但是这里还有一个问题，那就是什么叫做短？要有长短的概念就要先有距离的概念，而仅仅在几何学内考虑这个问题的话，要丈量距离就必须先有尺，而尺的形状又是直的，因此距离的概念其实是建立在直线的概念之上的。所以如果只考虑几何学那么用距离定义直线就成了循环定义了。

所以在数学上，我们就不能单从几何的角度去定义距离了。为了定义距离，我们需要在空间的每一个无穷小的区域上建立一个笛卡尔坐标系，在每一个小的笛卡尔坐标系内部可以通过普通的解析几何的方法定义出距离，然后在整个路径上对每一个小段上的距离进行叠加，从而定义出两点间连线的距离。之所以能在无穷小区域上建立笛卡尔坐标系，是因为一条曲线在无穷小区域上，我们可以把它近似为一小段直线（这个直线就是我们通常直观认识的直线），这个思想其实在最基础的微积分里面就已经有了。（如果一个空间奇异到在无穷小区域上无法建立笛卡尔坐标系，那么一般我们就不去研究它了。）至于为什么不能直接在大区域上直接建立笛卡尔坐标系来定义距离，原因很简单，坐标轴要画成直线啊，在没有直线概念的时候又哪里来的坐标轴呢…一个能够帮助理解的简单例子是在球面上定义最短线，如果直接建立笛卡尔坐标，其中的坐标轴就用我们直观感受的那种直线的话，那么最短线是必须脱离球面而经过球面之外的空间的。但是在球的表面的每一个无穷小区域上建立微小笛卡尔坐标系，就可以很好的沿着球表面定义出一条最短线。

至此，我们基本上可以把直线就定义成两点间距离最短的线了。但是，一定要知道一点，如此定义并没有定义出唯一一种直线。显然在一个球面上定义出的最短线，在我们看来其实是圆弧；在马鞍面上画出的最短线，在我们看来也是弯弯曲曲的线…他们都属于非欧几何。庞加莱圆盘模型（参见这篇文章）就是非欧几何的一种，按照那里定义的距离，圆盘模型内的直线在我们看来就成了圆弧了。

那么怎么定义才能保证刚才定义出来的直线就是我们通常直观上的直线呢？其实很简单，只要再加上一个公理，即传说中的欧几里得第五公设就可以实现：同一平面内一条线段和另外两条线段相交，若在某一侧的两个内角的和小于两直角，则这两线段经充分延长后在这一侧相交。非欧几何正是做出了与第五公设相反的假设而得名的，给出不同的公理，就会得出各种各样的非欧几何。

至此，我们终于可以引入Hilbert大神对直线的理解了：…