For the surface, first we know that the surface is a two-dimensional to three-dimensional mapping, which can be described in mathematical language as follows:
r:U → V,U⊂R2,V⊂R3
There are countless curves passing through a point P on the surface. These curves are regular curves in the neighborhood of P, and these curves do not self intersect in the neighborhood of P, so this P point is a regular point on the surface. If all points on the surface are regular points, this surface is a regular surface.Next, I will extend this definition to R space, and discuss the inverse image of a regular value.
Let X and Y are smooth mianfolds, a smooth mapping f: X→Y.
If the tangent mapping dfx0 of f at x0 is invertible linear mapping,
Then ∃ V ⊂ X, X0 ∈ V and W ⊂ Y, f(X0) ∈ W, such that f|V= V ≃ W is Differential homeomorphism.
And, for any x ∈ V, y = f(x), then d(f−1)y = (dfx)−1.
Let F: Rn → Rm be a differentiable mapping of an open set U of Rn.