有異面垂直這個定義嗎

有異面垂直這個定義。
兩異面直線所成角的定義：過空間任一點O分別作兩異面直線的平行線a，b，這兩直線a，b所成角［0度，90度］叫異面直線成的角，90度時，稱兩直線垂直。
注意：a，b垂直交于O，但兩異面直線并無公共點。
擴展資料
異面垂直直線，異面指的是位置關(guān)系，垂直指的是方向關(guān)系
歐式空間中的任一直線由兩個量唯一決定：
1、方向（表示方向的非零向量，包括正反），
2、位置（可取直線上任意一點確定），兩直線垂直指的是方向的關(guān)系，與位置無關(guān)，所以只要考慮確定兩直線的方向向量點積是否為零，所以異面垂直也是垂直。
3、位置（可取直線上任意一點確定），兩直線垂直指的是方向的關(guān)系，與位置無關(guān)，所以只要考慮確定兩直線的方向向量點積是否為零，所以異面垂直也是垂直。

算的
只要是直線與一個平面垂直，直線肯定是與這個平面內(nèi)的所有直線垂直
異面和垂直并不矛盾
空間內(nèi)的直線的相互關(guān)系包括：相交
平行
異面
相交和平行即共面