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.
“Manners have been somewhat cynically defined to be a contrivance of wise men to keep fools at a distance. Fashion is shrewd to detect those who do not belong to her train, and seldom wastes her attentions.”
—Ralph Waldo Emerson (1803–1882)
“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)
“No being exists or can exist which is not related to space in some way. God is everywhere, created minds are somewhere, and body is in the space that it occupies; and whatever is neither everywhere nor anywhere does not exist. And hence it follows that space is an effect arising from the first existence of being, because when any being is postulated, space is postulated.”
—Isaac Newton (1642–1727)