해밀턴의 사원수가 가지는 과학적인 의미는?

[유토피아]

해밀턴 이전

레온하르트 오일러는 1748년 5월 4일 크리스티안 골드바흐에게 보낸 편지^[1] 에서, 오일러의 네 제곱수 항등식을 발표하였다. 이는 두 사원수 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">a</span>}}$ {\displaystyle a} , ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">b</span>}}$ {\displaystyle b} 에 대하여 ${\displaystyle <span\; style="font-size:\; 14pt;">|</span>}$ a b | = | a | | b | {\displaystyle |ab|=|a||b|} 인 것과 같다.

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

사원수의 발견

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

1843년 10월 16일, 해밀턴은 그의 아내와 더블린의 로열 운하(영어: Royal Canal, 아일랜드어: An Chanáil Ríoga)을 걷고 있었다. 브로엄 다리(Brougham Bridge, 현재는 브룸 다리 Broom Bridge)를 걷고 있을 때, 나누기에 관한 해답이 그의 뇌리를 스쳤다. 그는 3개의 성분을 가진 값은 나눗셈을 정의할 수 없지만, 4개의 성분을 가진 값은 나눗셈이 성립할 수 있다는 것을 알아차렸다. 4개의 성분 가운데 세 개를 사용하여 3차원 공간의 직교좌표를 표현할 수 있다. 해밀턴은 이 수체계의 기본 규칙을 다리에 새겨놓았다.

${\displaystyle {\mathrm{<span\; style="font-size:\; 14pt;">i</span>}}^{}}$ 2 = j 2 = k 2 = i j k = − 1 {\displaystyle i^{2}=j^{2}=k^{2}=ijk=-1\;}

해밀턴은 위의 기본적인 규칙을 적용한 4개의 요소를 "사원수"(영어: quaternion 쿼터니언^[*])라고 명명하였다. 이는 라틴어: quaterniō 콰테르니오^[*](넷, 넷으로 구성된 것)에서 유래한다.

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

“	이로부터 나는 3차원 값을 다루기 위해서는 일종의 "4차원 공간"이 필요하다는 사실을 알아차렸다네. 대수학적으로 생각하자면, ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">i</span>}}$ {\displaystyle i} 또는 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">j</span>}}$ {\displaystyle j} 와 다른 제3의 허수 기호 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">k</span>}}$ {\displaystyle k} 가 필요하며, 이는 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">i</span>}}$ {\displaystyle i} 와 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">j</span>}}$ {\displaystyle j} 의 곱과 같다네. 그래서 나는 ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">a</span>}}$ + i b + j c + k d {\displaystyle a+ib+jc+kd} 또는 ${\displaystyle <span\; style="font-size:\; 14pt;">(</span>}$ a , b , c , d ) {\displaystyle (a,b,c,d)} 와 같은 꼴의 "사원수"를 도입하게 되었소. […] 사원수의 허수 성분은 방향을 가진 세기와 비슷하며, 실수 성분은 방향을 갖지 않은 에너지와 비슷하다고 생각되는군. 이는 일종의 방향의 산법(算法)을 구성하게 될 것이라네. 이것은 아직 매우 모호하지만, 그 앞에 서술한 것들은 모두 명확하고 수학적이기를 바라오. And here there dawned on me the notion that we must admit, in some sense, a fourth dimension of space for the purpose of calculating with triplets; or transferring the paradox to algebra, must admit a third distinct imaginary symbol ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">k</span>}}$ {\displaystyle k} , not to be confounded with either ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">i</span>}}$ {\displaystyle i} or ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">j</span>}}$ {\displaystyle j} , but equal to the product of the first as multiplier, and the second as multiplicand; and therefore was led to introduce quaternions, such as ${\displaystyle \mathrm{<span\; style="font-size:\; 14pt;">a</span>}}$ + i b + j c + k d {\displaystyle a+ib+jc+kd} , or ${\displaystyle <span\; style="font-size:\; 14pt;">(</span>}$ a , b , c , d ) {\displaystyle (a,b,c,d)} . […] There seems to me to be something analogous to polarized intensity in the pure imaginary part; and to unpolarized energy (indifferent to direction) in the real part of a quaternion: and thus we have some slight glimpse of a future Calculus of Polarities. This is certainly very vague, but I hope that most of what I have said above is clear and mathematical.	”
	— [3]

해밀턴은 이 발견을 1844년에 〈사원수에 대하여: 또는 대수학에서의 새로운 허수 체계에 대하여〉(영어: On Quaternions; or on a new System of Imaginaries in Algebra)라는 제목의 논문으로 출판하였다.

 이후 해밀턴은 이 논문의 속편을 17편 더 같은 저널에 수록하였다.

그 후 그는 사원수를 연구하고 알리는데 그의 여생을 바쳤다. 그는 "사원수론자"(Quaternionists)라는 학파를 창시하고, 1853년에는 《사원수 강해》(영어: Lectures on Quaternions)^[22] 를 출판하였다. 해밀턴 사후, 해밀턴의 아들 윌리엄 에드윈 해밀턴(영어: William Edwin Hamilton)은 아버지의 마지막 책인 800여 쪽의 《사원수 원론》(영어: Elements of Quaternions)을 편집하여 1866년에 출판하였다.^[23]

해밀턴 사후

해밀턴의 죽음 이후, 그의 제자인 피터 거스리 테이트는 사원수의 연구를 계속하였다.

 당시 더블린 트리니티 칼리지에서는 사원수가 의무 수강 과목의 하나였다.

현재는 공간 운동학, 맥스웰 방정식 등의 벡터를 이용하여 설명하는 물리와 기하학의 논제들은 그 당시에는 모두 사원수를 이용하여 설명되었다.

1899년에 국제 사원수 학회(영어: International Association for Promoting the Study of Quaternions and Allied Systems of Mathematics)가 설립되었고, 1900년~1913년 동안 《사원수 학회 저널》(영어: Bulletin of the Association Promoting the Study of Quaternions and Allied Systems of Mathematics)을 출판하였다.^[24] 전성기 동안 60여 명의 회원을 가졌으나, 제1차 세계 대전 이후 사라졌다.

1880년대 중반부터 조사이어 윌러드 기브스와 올리버 헤비사이드가 제안한 벡터 해석학이 사원수 표현을 대신하기 시작했다.

벡터는 사원수와 같은 현상을 설명하였기 때문에, 고전 사원수 연구에서 많은 아이디어와 용어 등을 빌려왔다.

그러나 벡터 해석이 보다 간결한 개념과 표기법을 가지고 있었기에 사원수는 수학과 물리에서 비주류가 되었다.

이는 해밀턴의 사원수가 이해하기 난해하고, 표기가 친숙하지 않았으며, 그의 저작물에 길고 불분명한 표현이 많았기 때문이다.

그러나 사원수는 20세기 말에 공간상에서의 회전에 관한 사원수의 유용성에 의해서 다시 주목받기 시작했다.

사원수를 이용한 회전의 표현은 행렬을 사용하는 표현에 비해 더욱 간결했고 계산이 빨랐다.

이런 이유로, 사원수는 컴퓨터 그래픽, 제어이론, 신호처리, 자세제어(attitude control), 물리학, 생물정보학, 분자동역학, 컴퓨터 시뮬레이션, 궤도역학(orbital mechanics) 등에 사용되고 있다.

[유토피아]

이미 우리조산들은 사원수론의 대가임이 알려져 있습니다. 즉 세상을 기화수토의 4원소설로 설명한 것입니다.