
3次元幾何学において、ねじれ線とは、交わらず平行でもない2本の線のことです。ねじれ線の簡単な例としては、正四面体の対向する辺を通る2本の線が挙げられます。同一平面上にある2本の線は、必ず交わるか平行になるので、ねじれ線は3次元以上の空間でのみ存在します。2本の線がねじれ線であるのは、それらが同一平面上にない場合のみです。
単位立方体内で4つの点を無作為に均等に選択すると、それらはほぼ確実にねじれ直線のペアを形成します。最初の3点が選択された後、4番目の点がねじれ直線でない直線を形成するのは、最初の3点と同一平面上にある場合に限ります。しかし、最初の3点を通る平面は立方体の測度ゼロの部分集合を形成し、4番目の点がこの平面上にある確率はゼロです。そうでない場合、これらの点によって形成される直線はねじれ直線になります。
同様に、三次元空間では、平行線または交差線にわずかな摂動を加えるだけで、ほぼ確実にそれらはねじれ線となる。したがって、一般の位置にある任意の4点は必ずねじれ線を形成する。
この意味では、ねじれ線が「通常」のケースであり、平行線や交差線は特殊なケースである。

ねじれ直線のペアの各直線が、通過する2 つの点によって定義される場合、これらの 4 つの点は同一平面上には存在せず、したがって、体積がゼロでない正四面体の頂点でなければなりません。逆に、体積がゼロでない正四面体を定義する任意の 2 組の点は、ねじれ直線のペアも定義します。したがって、2 組の点がねじれ直線を定義するかどうかをテストするには、正四面体の 4 つの頂点に関する体積の公式を適用します。1 つの点を、その 3 つの要素が点の 3 つの座標値である1×3 ベクトルaとし、他の点を同様にb、c、dとすると、正四面体の体積の公式がゼロでない結果を与えるかどうかを確認することで、 aとbを通る直線がcとdを通る直線に対してねじれているかどうかを調べることができます。
2つの線をベクトルとして表現する:
のクロス積そして線に垂直です。
線2を平行移動して形成される平面ポイントが含まれていますそして、。
したがって、線1と上述の平面との交点、すなわち線1上で線2に最も近い点は、次のように表される。
同様に、線 2 上で線 1 に最も近い点は、(ここで) で与えられる。)
最寄りの地点そして線1と線2を結ぶ最短の線分を形成する。
2つのねじれ直線上の最も近い点間の距離は、他のベクトルを用いて表現することもできます。
ここで、1×3ベクトルxは、特定の点aを通る直線上の任意の点を表し、bは直線の方向を表し、実数値の値は点が線上のどこにあるかを決定する。同様に、特定の点cを通る線上の任意の点yについて、方向dで決定する。
bとdの外積は直線に垂直であり、単位ベクトルも同様である。
(| b × d |がゼロの場合、直線は平行になり、この方法は使用できません。)
斜線配置とは、すべてのペアが斜線である線の集合のことである。2つの配置は、一方の配置を他方の配置に連続的に変換でき、変換全体を通してすべてのペアの線が斜線のままであるという不変条件が維持される場合に、同位であると言われる。2本の線の任意の2つの配置は同位であることが容易にわかる。また、3次元より高い次元における同数の線の配置は常に同位であるが、3次元では3本以上の線の非同位配置が複数存在する。[ 2 ] R3におけるn本の線の非同位配置の数(n =1から始まる)は、

直線Lを、それと垂直ではないがねじれ角を持つ別の直線M の周りに回転させると、 Lによって掃引される回転面は、1 葉双曲面になります。例えば、図に示されている 3 つの双曲面は、中央の白い垂直線Mの周りに直線Lを回転させることで、このように形成できます。この回転面内のLのコピーは、レギュラスを形成します。双曲面には、M からLと同じ距離にあり、かつ反対の角度を持つ、 Mに対してねじれ角を持つ別の直線群も含まれており、これらが反対のレギュラスを形成します。2 つのレギュラスは、双曲面を線織面として示します。
この線織面のアフィン変換によって、一般にLをL'の周りに回転させて得られる円形断面ではなく楕円断面を持つ面が生成されます。このような面は一葉双曲面とも呼ばれ、やはり互いにねじれ合う2つの線族によって支配されています。 3番目のタイプの線織面は双曲放物面です。一葉双曲面と同様に、双曲放物面も2つのねじれ線族を持ちます。それぞれの線族において、線は互いに平行ではありませんが、共通の平面に平行です。R 3内の任意の3つのねじれ線は、これらのタイプの線織面のちょうど1つ上にあります。[ 3 ]
3本のねじれ線が他の3本のねじれ線と交わる場合、最初の3本の任意の横断線は2番目の3本の任意の横断線と交わる。[ 4 ] [ 5 ]
高次元空間において、次元kの平面はk平面と呼ばれる。したがって、直線は1平面とも呼ばれる。
歪んだ線の概念をd次元空間に一般化すると、i - 平面とj - 平面はi + j < dの場合に 歪んでいる可能性がある。[ 6 ] 3 次元空間の線と同様に、歪んだ平面は平行でも交差もしないものである。
アフィンd空間では、任意の次元の2つの平面は平行になり得る。しかし、射影空間では平行性は存在せず、2つの平面は交差するか、またはねじれ合うかのどちらかである。i平面上の点の集合をI 、 j平面上の点の集合をJとする。射影d空間において、 i + j ≥ dならば、IとJの共通部分は( i + j − d)平面を含まなければならない。(0平面は点である。)
どちらの幾何学においても、IとJがk -平面で交差する場合(k ≥ 0 )、 I ∪ Jの点が( i + j − k ) - 平面を決定します。
{{citation}}ISBN /日付の不一致(ヘルプ)