外積

定義 2.2（「空間座標と空間ベクトル」§2）

$u=(u_1,u_2,u_3)$ 、 $v=(v_1,v_2,v_3)$ に対し

u\times v=(u_2v_3-u_3v_2,\ u_3v_1-u_1v_3,\ u_1v_2-u_2v_1)

を $u$ と $v$ の外積という。成分は、 $2\times3$ 行列 $(u\ v)^{\mathsf T}$ の 2 次の小行列式である。

閉包の状態

定義

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

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

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