27.11 내적(Inner Product)의 공리적 정의와 유클리드 내적