사원수

섬네일|브로엄 다리에 새겨진 기념비. 이 곳에서 해밀턴이 사원수를 발견하였다고 한다.
수학에서 **사원수**(四元數, ) 또는 **해밀턴 수**()는 복소수를 확장해 만든 수 체계이다. 네 개의 실수 성분을 가지며, 덧셈과 곱셈의 결합법칙 및 덧셈의 교환법칙을 만족시키지만 곱셈의 교환법칙은 성립하지 않는다.

## 정의
사원수의 집합 \mathbb H는 집합으로서 \mathbb R^4=\{a_0+a_1i+a_2j+a_3k\colon a_0,a_1,a_2,a_3\in\mathbb R\}이다. 이 위에 다음과 같은 덧셈과 곱셈 연산을 정의하여, 환으로 만들 수 있다.

덧셈은 각 성분의 합이다.
:(a_0+a_1i+a_2j+a_3k)+(b_0+b_1i+b_2j+b_3k)=(a_0+b_0)+(a_1+b_1)i+(a_2+b_2)j+(a_3+b_3)k
곱셈은 겹선형 연산이며, 기저 \{1,i,j,k\}에 대하여 다음과 같이 작용한다.

사원수의 기저 \{1,i,j,k\}는 이 곱셈에 대하여 유한군을 이루며, 이를 **[[사원수군]]** Q라고 한다. 즉, 사원수환은 군환 \mathbb R[Q]의 몫
:\mathbb R[Q]/(1+(-1))
과 같다. (군환 \mathbb R[Q]는 8차원 실수 단위 결합 대수이며, 위 아이디얼로 몫을 취하면 4차원 실수 대수를 얻는다.)

이렇게 덧셈과 곱셈을 정의하면, 사원수의 환 \mathbb H는 나눗셈환을 이룬다. 그러나 곱셈의 교환법칙이 성립하지 않으므로, 이는 체를 이루지 않는다.

### 실수부와 허수부
사원수 q=w+xi+yj+zk에 대하여, *w*를 **q**의 **실수부** 또는 **스칼라부** \operatorname{Re}(q), xi+yj+zk를 **q**의 **허수부** 또는 **벡터부** \operatorname{Im}(q)라고 한다. 사원수 q=w+xi+yj+zk의 **켤레 사원수**() \bar q는 그 허수부의 부호를 뒤집은 사원수이다. 즉
:\bar q=\operatorname{Re}(q)-\operatorname{Im}(q)=w-xi-yj-zk.
사원수 *q*의 노름 또는 절댓값 |*q*| 는
:|q| = \sqrt{ q \bar{q}} = \sqrt{x^2+y^2+z^2+w^2}
이다.

## 성질
사원수환 \mathbb H는 노름을 갖춘 나눗셈환이자 \mathbb R-대수이다. 즉, 다음이 성립한다. 임의의 사원수 q_1,q_2,q_3\in\mathbb H에 대하여,
* (덧셈의 교환법칙) q_1+q_2=q_2+q_1
* (덧셈의 결합법칙) (q_1+q_2)+q_3=q_1+(q_2+q_3)
* (곱셈의 결합법칙) (q_1q_2)q_3=q_1(q_2q_3)
* (분배법칙) q_1(q_2+q_3)=q_1q_2+q_1q_3, (q_1+q_2)q_3=q_1q_3+q_2q_3
* (노름과 곱셈의 호환) |q_1q_2|=|q_1|\cdot|q_2|
* (삼각 부등식) |q_1+q_2|\le|q_1|+|q_2|

### 벡터와의 관계
사원수의 실수부는 스칼라로, 허수부는 3차원 벡터로 간주할 수 있다. 즉, 사원수는 스칼라와 3차원 벡터의 순서쌍 q=(w,\mathbf v)으로 간주할 수 있다. 이 경우, 사원수의 합과 곱은 다음과 같다.
:(a,\mathbf u)+(b,\mathbf v)=(a+b,\mathbf u+\mathbf v)
:(a,\mathbf u)(b,\mathbf v)=(ab-\mathbf u\cdot\mathbf v,a\mathbf v+b\mathbf u+\mathbf u\times\mathbf v)

### 행렬 표현
사원수는 2×2 복소 행렬로 다음과 같이 나타낼 수 있다.
:\rho\colon a+bi+cj+dk\mapsto\begin{pmatrix}a+bi&c+di\\-c+di&a-bi\end{pmatrix}=a\sigma_0+ib\sigma_3+ic\sigma_2+id\sigma_1
여기서 \sigma_i는 파울리 행렬이다.
그렇다면 다음이 성립한다. 임의의 사원수 p,q\in\mathbb H에 대하여,
:\rho(p+q)=\rho(p)+\rho(q)
:\rho(pq)=\rho(p)\rho(q)
:\rho(\bar q)=\rho(q)^\dagger
:\Vert q\Vert=\sqrt{q\bar q}=\sqrt{\det\rho(q)}
:\operatorname{Re}q=\frac12\operatorname{tr}\rho(q)
:\rho(\exp(q))=\exp(\rho(q))
마지막 식에서, 우변은 행렬 지수 함수이다.

## 역사
### 해밀턴 이전
레온하르트 오일러는 1748년 5월 4일 크리스티안 골드바흐에게 보낸 편지에서, 오일러의 네 제곱수 항등식을 발표하였다. 이는 두 사원수 a, b에 대하여 |ab|=|a||b|인 것과 같다.

올랭드 로드리그()는 1840년에 오일러의 네 제곱수 항등식을 강체의 회전에 응용하였다.

### 사원수의 발견
해밀턴은 복소수가 2차원 평면상의 점으로 표현될 수 있다는 사실로부터, 3차원 공간에서 점을 표현하는 같은 방법을 찾으려 하였다. 3차원 공간에서의 정점은 3개의 수로 이루어지며, 해밀턴은 그 3개의 수들을 어떻게 더하고 곱할 수 있는지에 관해 생각해왔다. 그러나 그는 두개의 정점간의 나누기를 어떻게 정의할지 알지 못했고, 난관에 부딪히고 말았다.

1843년 10월 16일, 해밀턴은 그의 아내와 더블린의 로열 운하(, )를 걷고 있었다. 브로엄 다리(, 현재는 브룸 다리 )를 걷고 있을 때, 나누기에 관한 해답이 그의 뇌리를 스쳤다. 그는 3개의 성분을 가진 값은 나눗셈을 정의할 수 없지만, 4개의 성분을 가진 값은 나눗셈이 성립할 수 있다는 것을 알아차렸다. 4개의 성분 가운데 세 개를 사용하여 3차원 공간의 직교좌표를 표현할 수 있다. 해밀턴은 이 수체계의 기본 규칙을 다리에 새겨놓았다.
:i^2 = j^2 = k^2 = ijk = -1 \;
해밀턴은 위의 기본적인 규칙을 적용한 4개의 요소를 "사원수"()라고 명명하였다. 이는 (넷, 넷으로 구성된 것)에서 유래한다.

다음날 해밀턴은 이 발견에 대하여 친구 수학자인 존 그레이브스()에게 편지로 적어 보냈다. 이 편지는 저널에 출판되었으며, 편지에서 해밀턴은 다음과 같이 적었다.

해밀턴은 이 발견을 1844년에 〈사원수에 대하여: 또는 대수학에서의 새로운 허수 체계에 대하여〉()라는 제목의 논문으로 출판하였다. 이후 해밀턴은 이 논문의 속편을 17편 더 같은 저널에 수록하였다.

그 후 그는 사원수를 연구하고 알리는데 그의 여생을 바쳤다. 그는 "사원수론자"()라는 학파를 창시하고, 1853년에는 《사원수 강해》()를 출판하였다. 해밀턴 사후, 해밀턴의 아들 윌리엄 에드윈 해밀턴()은 아버지의 마지막 책인 800여 쪽의 《사원수 원론》()을 편집하여 1866년에 출판하였다.

### 해밀턴 사후
해밀턴의 죽음 이후, 그의 제자인 피터 거스리 테이트는 사원수의 연구를 계속하였다. 당시 더블린 트리니티 칼리지에서는 사원수가 의무 수강 과목의 하나였다. 현재는 공간 운동학, 맥스웰 방정식 등의 벡터를 이용하여 설명하는 물리와 기하학의 논제들은 그 당시에는 모두 사원수를 이용하여 설명되었다. 1899년에 국제 사원수 학회()가 설립되었고, 1900년~1913년 동안 《사원수 학회 저널》()을 출판하였다. 전성기 동안 60여 명의 회원을 가졌으나, 제1차 세계 대전 이후 사라졌다.

1880년대 중반부터 조사이어 윌러드 기브스와 올리버 헤비사이드가 제안한 벡터 해석학이 사원수 표현을 대신하기 시작했다. 벡터는 사원수와 같은 현상을 설명하였기 때문에, 고전 사원수 연구에서 많은 아이디어와 용어 등을 빌려왔다. 그러나 벡터 해석이 보다 간결한 개념과 표기법을 가지고 있었기에 사원수는 수학과 물리에서 비주류가 되었다. 이는 해밀턴의 사원수가 이해하기 난해하고, 표기가 친숙하지 않았으며, 그의 저작물에 길고 불분명한 표현이 많았기 때문이다.

그러나 사원수는 20세기 말에 공간상에서의 회전에 관한 사원수의 유용성에 의해서 다시 주목받기 시작했다. 사원수를 이용한 회전의 표현은 행렬을 사용하는 표현에 비해 더욱 간결했고 계산이 빨랐다. 이런 이유로, 사원수는 컴퓨터 그래픽, 제어이론, 신호처리, 자세제어(attitude control), 물리학, 생물정보학, 분자동역학, 컴퓨터 시뮬레이션, 궤도역학(orbital mechanics) 등에 사용되고 있다.

## 각주

* 
* 
* 
* 
* 
* 
* 

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## 같이 보기
* 사원수군
* 팔원수
* 케일리-딕슨 구성
* 사원수 켈러 다양체
* 초켈러 다양체


분류:다원수
분류:합성 대수
분류:윌리엄 로언 해밀턴