벡터곱 (Vector Product)
R3에서 두 벡터 u,v의 벡터곱 또는 외적(cross product)은 다음 조건을 만족하는 벡터 u∧v∈R3으로 정의된다:
(u∧v)⋅w=det(u,v,w)for all w∈R3.
- u∧v는 u,v가 생성하는 평면에 수직인 벡터이다.
- ∣u∧v∣는 u,v가 생성하는 평행사변형의 넓이이다.
- (u,v,u∧v)는 R3의 양의 방향 기준을 이루는 삼중 기저이다.
벡터곱의 성질
- u∧v=−v∧u
- (au+bw)∧v=a(u∧v)+b(w∧v)
- u∧v=0⟺u,v가 선형 종속
- u∧v⊥u=0, u∧v⊥v=0
외적의 크기
(u∧v)⋅(x∧y)=u⋅xu⋅yv⋅xv⋅y=(u⋅x)(v⋅y)−(u⋅y)(v⋅x)이므로, ∣u∧v∣2=u⋅uv⋅uu⋅vv⋅v=∣u∣2∣v∣2−(u⋅v)2=∣u∣2∣v∣2(1−cos2θ)이다.
따라서,
∣u∧v∣=∣u∣∣v∣sinθ
여기서 θ는 u,v 사이의 각이다. 즉, 외적의 크기는 두 벡터가 생성하는 평행사변형의 넓이이다.
벡터곱의 미분
벡터 함수 u(t),v(t)가 미분 가능할 때,
dtd(u(t)∧v(t))=u′(t)∧v(t)+u(t)∧v′(t)
삼중 벡터곱 항등식
(u∧v)∧w=(u⋅w)v−(v⋅w)u