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 human race is a zone of living things that should be defined by tracing its confines.
    Italo Calvino (1923–1985)

    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)

    Here in the U.S., culture is not that delicious panacea which we Europeans consume in a sacramental mental space and which has its own special columns in the newspapers—and in people’s minds. Culture is space, speed, cinema, technology. This culture is authentic, if anything can be said to be authentic.
    Jean Baudrillard (b. 1929)