Monday, 17 September 2007

morse theory - Do higher dimensional maxima of a real valued multivariable function form a cell complex?

Suppose f:RnrightarrowRf:RnrightarrowR is a positive real valued function. Let lambda1,ldots,lambdailambda1,ldots,lambdai be the first ii ordered eigenvalues of the Hessian Hess(f)Hess(f). Let v1,ldots,viv1,ldots,vi be the corresponding unit eigenvectors. Suppose V=[v1,ldots,vnd]V=[v1,ldots,vnd]. Define a dddimensional ridge point as a point where VTnablaf=0VTnablaf=0 and where lambda1,ldots,lambdand<0lambda1,ldots,lambdand<0. Each point in the support of ff can then be classified as a ridge point. My question is, does this classification yield a cell complex? Or at least, are the kk dimensional ridge points always bounded by k1k1 dimensional ridge points? This construction seems close enough to a Morse complex but it's different in that I'm only interested in the local maxima, and that two maxima need not be joined by an integral curve. Any help would be appreciated, thanks!

No comments:

Post a Comment