横截相交

hbghlyj

(31.1)定义 M和N在点处横截相交，是指存在x的一个坐标邻域U和同胚(U, U∩M, U∩N) = (R^r+s, R^r×{0}, {0}×R^s)，x必须对应原点。我们说M∩N是横截的，如果它在每一点处是横截的。

例 $y=x^3$或者$y=x$的图象与x轴的交在原点处是横截的，而y=x²的图象与x轴的交就不是横截的。

横截相交与不相切不同
$y=x^3$的图象与x轴在原点处相切，但$y=x^3$的图象与x轴的交在原点处是横截的

hbghlyj

$f_s$与$Z$横截相交，对于几乎所有$s$
Transversality theorem