The quadratic form gradient gives . Since is invertible, this linear map is nonzero exactly when . The regular level set theorem therefore makes every nonzero point of a smooth point of dimension . If , the entire level set is smooth.
If and the level set contains a nonzero point, the form is an indefinite quadratic form. Its only singular point is the origin. To prove this rather than merely observe a vanishing derivative, use Sylvester's law of inertia to write with both sign spaces nonzero. The null vectors span the whole ambient space. Their straight-line curves through the origin lie in the cone. If a relatively open neighborhood of the origin in the cone were an embedded submanifold, its tangent space would contain all these directions and hence have dimension . It would then be open in the ambient space, impossible for the zero set of this nonzero quadratic form. Thus the smooth locus is .
Three levels of an indefinite quadratic form in three dimensions
. Original diagrams and generic model calculations generated by the adjacent Python script. Details. Articles by others on the same topic
There are currently no matching articles.
