数学 › 代数的位相幾何学 › ホモトピー群とファイブレーション

圧縮の判定法

補題 3.2（「ホモトピー群とファイブレーション」§3）・ ✓公理まで証明済み

$f:(I^n,\partial I^n,J^{n-1})\to(X,A,x_0)$ について、 $\pi_n(X,A,x_0)$ で $[f]=0$ であることと、 $f$ が $\partial I^n$ 上で固定したホモトピーで像が $A$ に入る写像に変形できることは同値である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理証明で参照している 1 件

対のホモトピー長完全列✓定理 3.3・ホモトピー群とファイブレーション