Definition of Ridges and Valleys in N Dimensions
In its broadest sense, the notion of ridge generalizes the idea of a local maximum of a real-valued function. A point in the domain of a function is a local maximum of the function if there is a distance with the property that if is within units of, then . It is well known that critical points, of which local maxima are just one type, are isolated points in a function's domain in all but the most unusual situations (i.e., the nongeneric cases).
Consider relaxing the condition that for in an entire neighborhood of slightly to require only that this hold on an dimensional subset. Presumably this relaxation allows the set of points which satisfy the criteria, which we will call the ridge, to have a single degree of freedom, at least in the generic case. This means that the set of ridge points will form a 1-dimensional locus, or a ridge curve. Notice that the above can be modified to generalize the idea to local minima and result in what might call 1-dimensional valley curves.
This following ridge definition follows the book by Eberly and can be seen as a generalization of some of the abovementioned ridge definitions. Let be open an open set, and be smooth. Let . Let be the gradient of at, and let be the Hessian matrix of at . Let be the ordered eigenvalues of and let be a unit eigenvector in the eigenspace for . (For this, one should assume that all the eigenvalues are distinct.)
The point is a point on the 1-dimensional ridge of if the following conditions hold:
- , and
- for .
This makes precise the concept that restricted to this particular -dimensional subspace has a local maxima at .
This definition naturally generalizes to the k-dimensional ridge as follows: the point is a point on the k-dimensional ridge of if the following conditions hold:
- , and
- for .
In many ways, these definitions naturally generalize that of a local maximum of a function. Properties of maximal convexity ridges are put on a solid mathematical footing by Damon and Miller. Their properties in one-parameter families was established by Keller.
Read more about this topic: Ridge Detection
Famous quotes containing the words definition of, definition, valleys and/or dimensions:
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“I see an America whose rivers and valleys and lakes, hills and streams and plains; the mountains over our land and nature’s wealth deep under the earth, are protected as the rightful heritage of all the people.”
—Franklin D. Roosevelt (1882–1945)
“Why is it that many contemporary male thinkers, especially men of color, repudiate the imperialist legacy of Columbus but affirm dimensions of that legacy by their refusal to repudiate patriarchy?”
—bell hooks (b. c. 1955)