Taut submanifold

From Wikipedia, the free encyclopedia

In mathematics, a (compact) taut submanifold N of a space form M is a compact submanifold with the property that every distance function

L_q:N\to\mathbf R, L_q(x)=dist(x,q)^2

for

q\in M

which is a Morse function, is perfect.

If N is not compact, one needs to consider the restriction of the Lq to any of their sublevel sets.