📂기하학

가향곡면

Orientable Surface

정의¹

곡면 $M$의 점 $p$를 $p$에서의 노멀벡터로 매핑하는 함수

$$ \nu : M \to S^{2} \text{ with } \nu(p) \text{ normal to } M \text{ at } p $$

가 모든 점에서 연속이면, $M$을 가향곡면^{orientable surface}이라한다.

예시

구 $S^{2}$

$\nu(p)$를 $p$에서의 외향법선벡터^{outward normal vector}라고 하면, $\nu(p) = p$이므로 연속이다. 따라서 구 $S^{2}$는 가향곡면이다.

토러스 $T^{2}$

가향곡면이다.

뫼비우스의 띠

가향곡면이 아니다.

정리

$\mathbb{R}^{3}$의 모든 컴팩트 곡면은 가향곡면이다.