Normal (geometry) - Varieties Defined By Implicit Equations in n-dimensional Space

Varieties Defined By Implicit Equations in n-dimensional Space

A differential variety defined by implicit equations in the n-dimensional space is the set of the common zeros of a finite set of differential functions in n variables

The Jacobian matrix of the variety is the k×n matrix whose i-th row is the gradient of fi. By implicit function theorem, the variety is a manifold in the neighborhood of a point of it where the Jacobian matrix has rank k. At such a point P, the normal vector space is the vector space generated by the values at P of the gradient vectors of the fi.

In other words, a variety is defined as the intersection of k hypersurfaces, and the normal vector space at a point is the vector space generated by the normal vectors of the hypersurfaces at the point.

The normal (affine) space at a point P of the variety is the affine subspace passing through P and generated by the normal vector space at P.

These definitions may be extended verbatim to the points where the variety is not a manifold.

Read more about this topic:  Normal (geometry)

Famous quotes containing the words varieties, defined, implicit and/or space:

    Now there are varieties of gifts, but the same Spirit; and there are varieties of services, but the same Lord; and there are varieties of activities, but it is the same God who activates all of them in everyone.
    Bible: New Testament, 1 Corinthians 12:4-6.

    The depth and strength of a human character are defined by its moral reserves. People reveal themselves completely only when they are thrown out of the customary conditions of their life, for only then do they have to fall back on their reserves.
    Leon Trotsky (1879–1940)

    A piece of advice always contains an implicit threat, just as a threat always contains an implicit piece of advice.
    José Bergamín (1895–1983)

    Our passionate preoccupation with the sky, the stars, and a God somewhere in outer space is a homing impulse. We are drawn back to where we came from.
    Eric Hoffer (1902–1983)