generic 条件

因果的測地線 $\gamma$ が点 $\gamma(s)$ で generic 条件を満たすとは、$k=\dot\gamma(s)$ が時間的なら $E_k|_{k^\perp}\ne0$、ヌルなら $\bar E_k\ne0$ であることをいう。すべての非延長的な因果的測地線がどこかの点で generic 条件を満たすとき、時空は generic 条件を満たすという。