法映射

法映射(normal mapping)連續函式的定義域fl ( fl C R")到R"的一個子集類的映射.對uEC0 (,(Z )，記X(y>=X}(y)是在點y的支撐平面的斜率的集，即X(y)={pER"}u(x)G<u(y)十p·(二一y>，dxE}}. X:y--}X(y)是由口到R"的子集類的映射，稱為由u所確定的法映射.對上接觸集j.+若且唯若yEr+}X(y)非空.若uEC'(}(l)，則在T+上X.

法映射(normal mapping)連續函式的定義域fl ( fl C R")到R"的一個子集類的映射.對uEC0 (,(Z )，記X(y>=X}(y)是在點y的支撐平面的斜率的集，即X(y)={pER"}u(x)G<u(y)十p·(二一y>，dxE}}. X:y--}X(y)是由口到R"的子集類的映射，稱為由u所確定的法映射.對上接觸集j.+若且唯若yEr+}X(y)非空.若uEC'(}(l)，則在T+上X(婦一Du(婦，即X是u在T十上的梯度向量場.若

則