数学 › 多様体論 › 部分多様体と正則値定理
臨界点・臨界値・正則値
を滑らかな写像とする。 が全射でない点 を臨界点、臨界点の像を臨界値という。 の点で臨界値でないもの（ の像に入っていない点を含む）を正則値という。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
数学 › 多様体論 › 部分多様体と正則値定理
を滑らかな写像とする。 が全射でない点 を臨界点、臨界点の像を臨界値という。 の点で臨界値でないもの（ の像に入っていない点を含む）を正則値という。
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。