Taut submanifold

From HandWiki
Revision as of 06:29, 7 February 2021 by imported>LinuxGuru (fix)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In mathematics, a (compact) taut submanifold N of a space form M is a compact submanifold with the property that for every [math]\displaystyle{ q\in M }[/math] the distance function

[math]\displaystyle{ L_q:N\to\mathbf R,\qquad L_q(x) = \operatorname{dist}(x,q)^2 }[/math]

is a perfect Morse function.[citation needed]

If N is not compact, one needs to consider the restriction of the [math]\displaystyle{ L_q }[/math] to any of their sublevel sets.

References