# 사원수 (Quaternion)의 개요

#### 사원수의 정의

사원수(Quaternion)는 복소수(Complex number)의 확장으로, 4차원의 수 체계를 나타낸다. 사원수는 실수 성분(real component)과 세 개의 허수 성분(imaginary components)으로 구성되며, 다음과 같은 형태로 표현된다:

$$
q = a + bi + cj + dk
$$

여기서 $ a $, $ b $, $ c $, $ d $는 실수이며, $ i $, $ j $, $ k $는 허수 단위이다. 이 허수 단위들은 다음과 같은 곱셈 규칙을 따른다:

$$
i^2 = j^2 = k^2 = ijk = -1
$$

$$
ij = k, \quad ji = -k
$$

$$
jk = i, \quad kj = -i
$$

$$
ki = j, \quad ik = -j
$$

이 곱셈 규칙은 사원수가 비가환적(non-commutative)임을 나타낸다. 즉, 일반적으로 $ pq \neq qp $이다.

#### 사원수의 대수 구조

사원수는 실수에 대한 4차원 벡터 공간을 형성하며, 또한 대수적 구조를 가지는 비가환 환(non-commutative ring)이다. 이는 사원수가 실수 성분에 대한 벡터 공간(vector space)일 뿐만 아니라, 사원수 간의 덧셈과 곱셈이 정의된 대수적 구조를 형성하기 때문이다.

사원수 대수는 다음과 같은 연산이 정의된다:

* **덧셈**: 사원수의 덧셈은 성분별로 이루어진다.

$$
(a + bi + cj + dk) + (e + fi + gj + hk) = (a+e) + (b+f)i + (c+g)j + (d+h)k
$$

* **곱셈**: 사원수의 곱셈은 분배법칙과 허수 단위의 곱셈 규칙을 이용하여 계산된다.

$$
(a + bi + cj + dk)(e + fi + gj + hk) = (ae - bf - cg - dh) + (af + be + ch - dg)i + (ag - bh + ce + df)j + (ah + bg - cf + de)k
$$

* **켤레(conjugate)**: 사원수 $ q = a + bi + cj + dk $의 켤레는 다음과 같이 정의된다.

$$
q^\* = a - bi - cj - dk
$$

* **노름(norm)**: 사원수 $ q $의 노름은 사원수와 그 켤레의 곱의 제곱근으로 정의된다.

$$
|q| = \sqrt{q q^\*} = \sqrt{a^2 + b^2 + c^2 + d^2}
$$

#### 사원수의 기하학적 해석

사원수는 4차원 공간에서 회전과 같은 기하학적 변환을 표현하는 데 유용하다. 특히, 단위 사원수(unit quaternion)는 3차원 공간에서의 회전을 나타낼 수 있다. 단위 사원수는 노름이 1인 사원수로 정의된다.

$$
|q| = 1
$$

단위 사원수 $ q $는 다음과 같이 3차원 벡터 $ \vec{v} $를 회전시킬 수 있다.

$$
\vec{v}' = q \vec{v} q^\*
$$

여기서 $ \vec{v} $는 순수 허수 사원수(purely imaginary quaternion)로 해석된다.

#### 사원수의 미분과 적분

사원수 함수의 미분과 적분은 복소해석학에서의 개념을 확장한 것이다. 사원수 함수 $ f(q) $의 미분은 다음과 같이 정의될 수 있다:

$$
\frac{df}{dq} = \lim\_{\Delta q \to 0} \frac{f(q + \Delta q) - f(q)}{\Delta q}
$$

사원수의 비가환적 성질로 인해, 사원수 미분 방정식(quaternionic differential equation)은 복소수 미분 방정식보다 복잡한 구조를 가질 수 있다.

#### 사원수 대수의 특성

사원수 대수는 수체(field)가 아닌 환(ring)이다. 즉, 모든 사원수에 대해 역원이 존재하지 않으며, 특히 노름이 0인 사원수의 역원은 정의되지 않는다. 또한, 사원수 대수는 비가환적이기 때문에 사원수의 곱셈 순서는 중요하다. 이러한 특성들은 사원수 대수를 연구하는 데 있어서 중요한 요소이다.

***

관련 자료:

* Hamilton, W. R. (1844). *On Quaternions*. Proceedings of the Royal Irish Academy.
* Ward, J. P. (1997). *Quaternions and Cayley Numbers: Algebra and Applications*. Springer.