カラー

定義 4.1（「管状近傍・カラー・イソトピーの拡張」§4）

$X$ を境界付き多様体とする。 $\partial X\times[0,1)$ から $X$ の開集合への微分同相 $c$ で、 $c(x,0)=x$ （ $x\in\partial X$ ）となるものを $\partial X$ のカラー（襟）という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。