ハンドルの生成

$M_0$ を空でない閉 $(n-1)$ 次元多様体、$0\le\lambda\le n-1$ とする。$M_0\times[0,1]$ の上に、臨界点が指数 $\lambda$ と $\lambda+1$ のちょうど 2 つで、ある小さい球の外では射影 $\mathrm{pr}_2$ に一致する Morse 関数 $M_0\times[0,1]\to[0,1]$ が存在する。指数 $\lambda$ の臨界点での値は、指数 $\lambda+1$ の臨界点での値より小さく取れる。