正則値と境界付き部分多様体【Milnor, Morse Theory】

この記事の目的は，J. Milnor著「 Morse Theory」における以下の行間を解説することです． ーーーーーー $${M}$$を$${C^\infty}$$級の$${n}$$次元多様体とします． また，$${f\colon M\to \mathbb{R}}$$を$${C^\infty}$$級の関数とします． このとき，$${p\in M}$$が$${f}$$の臨界点であるとは，$${f}$$の微分 $$ f_\ast\colon T_pM\to T_{f(p)