相交的数学定义

更新时间：2020-07-04

在数学中，相交是两个几何图形之间关系的一种。两个图形相交是指它们有公共的部分，或者说同时属于两者的点的集合不是空集。若两个几何图形在某个地方有且只有有一个交点，则可以称为相切而不是相交。如果两个图形完全重合，则一般不称为相交。

在欧几里得平面上，两条直线要么平行，要么相交，要么重合。这是欧几里得第五公设的推论。相交的两条直线恰好有一个交点。在非欧几何中，按几何特性，可以分为两类。罗巴切夫斯基几何中两条直线要么平行，要么相交，但平行线不止一条。黎曼几何中两条直线总是相交。