Regular value

From Diffgeom
Revision as of 19:51, 18 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Symbol-free definition

Given a smooth map of differential manifolds, a point in the image manifold is termed a regular value for the smooth map if every point in its inverse image is a regular point, i.e. if the map from the tangent space at any point in the inverse image, is surjective.

Note that any point whose inverse image is empty, is by definition a regular value.

Definition with symbols

Let f:M \to N be a smooth map of differential manifolds. A point p \in N is termed a regular value of f if for every m \in f^{-1}(\{p\}), the induced map (df)_m: T_mM \to T_pN, is surjective.