数学 › 多様体論 › ストークスの定理

球面は向き付け可能

命題 3.3（「ストークスの定理」§3）・ ✓公理まで証明済み

$S^n$ 上の $n$ 形式 $\mu_p(v_1,\ldots,v_n)=\det(p,v_1,\ldots,v_n)$ は至るところ $0$ でなく、 $S^n$ は向き付け可能である。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

滑らかなレトラクションの非存在✓定理 8.1・ストークスの定理