[논문 리뷰] A Brief History of Quaternions and of the Theory of Holomorphic Functions of Quaternionic Variables

Amy Buchmann|arXiv (Cornell University)|2011. 11. 25.

Algebraic and Geometric Analysis참고 문헌 8인용 수 9

한 줄 요약

이 논문은 1843년 해밀턴의 발견과 삼중체 이론의 실패를 비롯해 허니온의 역사적 발전을 추적하며, 원점 통과의 복소수 슬라이스를 통해 허니온 상의 해석 함수를 정의하려는 현대적 노력도 탐색한다. 여기서 함수는 원점 통과의 각 복소수 슬라이스에서 해석적이어야 한다. 주요 기여는 이러한 슬라이스-정규성 조건을 통해 허니온 상의 해석 함수 이론을 일관적으로 수립한 데 있다. 이는 허니온 다항식과 급수에서 해석적 행동을 가능하게 한다.

ABSTRACT

In this paper I will give a brief history of the discovery (Hamilton, 1843) of quaternions. I will address the issue of why a theory of triplets (the original goal of Hamilton) could not be developed. Finally, I will discuss briefly the history of various attempts to define holomorphic functions on quaternionic variables.

연구 동기 및 목표

• 허니온의 역사적 기원을 추적하며, 尤히 1843년 10월 16일 해밀턴의 발견과 삼중체 이론의 실패를 다루는 것.
• 삼중체(세 개의 허수 단위)를 위한 일관된 대수적 구조를 형성할 수 없었던 이유를 설명하고, 이를 바탕으로 네 차원 허니온이 필요하게 된 이유를 밝히는 것.
• 허니온의 맥락에서 해석 함수 이론의 발전을 검토하며, 현대의 슬라이스-정규 함수 개념으로 이르는 과정을 다루는 것.
• 허니온 영역에서 해석 유사 행동을 정의함으로써 복소해석학의 비가환성 대응체를 마련하는 데 기초를 다지는 것.

제안 방법

• 역사적 기록과 수학적 정의를 활용하여, 논문은 비가환 대수적 관계 $i^2 = j^2 = k^2 = ijk = -1$를 통해 해밀턴이 허니온을 발견한 경로를 재구성한다.
• 요소 $q = a + bi + cj + dk$를 갖는 비가환적 복소수 확장인 스칼라체 $\mathbb{H}$를 정의하며, 여기서 $a,b,c,d \in \mathbb{R}$ 이고 곱셈은 허니온 곱셈 규칙에 따라 결정된다.
• 삼중체를 위한 일관된 대수적 구조를 만들 수 없음을 분석함으로써, 이러한 체계가 나눗셈 대수의 성질을 만족할 수 없음을 보여준다.
• 슬라이스-정규성의 개념을 도입한다: 함수 $f: \Omega \to \mathbb{H}$는 각 복소수 선 $L_I = \mathbb{R} + \mathbb{R}I$에 대한 제한이 해석적이면 슬라이스-정규라고 한다.
• 정의를 적용하여 수렴하는 영역에서 단항식 $aq^n$과 급수 $\sum_{n=0}^\infty a_n q^n$이 슬라이스-정규임을 보여준다.
• 역사적 서술을 뒷받침하고 개인적 통찰을 제공하기 위해 독자에게 보내진 해밀턴의 원본 서신을 주요 자료로 사용한다.

실험 결과

연구 질문

• RQ1 왜 복소수와 유사한 성질을 지닌 삼중체를 위한 일관된 대수적 체계를 구축하는 것이 불가능했는가?
• RQ2 해밀턴은 삼중체에서 허니온으로의 전환을 어떻게 추진했으며, 1843년 10월 16일에 어떻게 발견가능한가?
• RQ3 비가환적 구조인 허니온의 맥락에서 해석 함수 개념을 어떻게 일반화할 수 있는가?
• RQ4 의미 있는 방식으로 해석 함수로 간주되기 위해 허니온 함수가 만족해야 할 조건은 무엇인가?
• RQ5 복소해석학의 핵심 특성인 해석성과 급수 표현을 유지하는 바탕으로, 허니온 상의 해석 함수 이론을 구축할 수 있는가?

주요 결과

• 해밀턴은 1843년 10월 16일 더블린의 로열 운하를 따라 산책하면서 허니온을 발견했고, 그의 기본 항등식인 $i^2 = j^2 = k^2 = ijk = -1$을 브로엄 브리지에 새겼다.
• 삼중체 이론의 실패는 세 개의 허수 단위를 가진 일관된 대수적 구조가 존재하지 않아, 특히 결합법칙과 나눗셈 성질을 만족할 수 없기 때문이다.
• 슬라이스-정규성의 개념은 각 복소수 슬라이스 $L_I = \mathbb{R} + \mathbb{R}I$에서의 해석성을 요구함으로써 허니온으로의 해석 함수 일반화에 실현 가능성을 제공한다.
• 계수들이 허니온인 모든 다항식 $f(q) = \sum_{n=0}^n a_n q^n$과 수렴하는 급수 $\sum_{n=0}^\infty a_n q^n$은 슬라이스-정규이다.
• 슬라이스-정규 함수 이론은 기초 결과들이 이미 확립된 바 있어 전망이 밝은 신속히 발전하는 분야이며, 허니온의 수학적 발전이 여전히 활발하고 진화 중임을 시사한다.
• 해밀턴의 개인적 서신은 발견 순간의 정서적·지적 긴장감을 확인하며, 가족과 함께 산책하던 도중 '빛의 순간'이 찾아왔음을 보여준다.