리 군
리 군 SU(2)의 곱셈 연산에 해당하는 매끄러운 함수