{{위키데이터 속성 추적}}
[[추상대수학]]에서 '''분할복소수'''(分割複素數, {{llang|en|split-complex number}})는 [[가환환]] <math>\mathbb R[\mathrm j]/(\mathrm j^2 - 1)</math>의 원소이다. 즉, 그 대수는 [[실수체]]에 1의 또다른 제곱근 <math>\mathrm j</math>를 추가하여 얻어지는 대수 체계이다.

== 정의 ==
=== 직접적 정의 ===
분할복소수들은 실수 [[가환환|가환]] [[결합 대수]]를 이루며, 이는 다음과 같다.
:<math>\tilde{\mathbb C}=\mathbb R[\mathrm j]/(\mathrm j^2 - 1)</math>
이는 2차원 [[실수 벡터 공간]]을 이루며, 그 [[기저 (선형대수학)|기저]]는 <math>\{1,\mathrm j\}</math>이다. 이 기저에서, 분할복소수의 곱셈은 구체적으로 다음과 같다.
:<math>(a,b) \cdot (c, d) = (ac + bd, bc + ad)</math>
즉,
:<math>(a+b\mathrm j)(c+d\mathrm j) = (ac+bd) + (bc+ad)\mathrm j</math>
이다.

=== 두 실수체의 직합 ===
[[실수체]] <math>\mathbb R</math>의, 스스로와의 [[직접곱]]을 생각하자.
:<math>\mathbb R\oplus\mathbb R</math>
즉, 그 위의 곱셈은 다음과 같다.
:<math>(a,b)(c,d) = (ac,bd)\qquad\forall a,b,c,d\in\mathbb R</math>
이는 실수 가환 [[결합 대수]]로서 분할복소수의 대수와 동형이다. 구체적으로, 이 경우
:<math>1_{\mathbb R\oplus\mathbb R} = (1,1)</math>
이므로,
:<math>\mathrm j = (1,-1)</math>
를 정의하자. 그렇다면, <math>\mathrm j^2 = 1</math>이 되어,
:<math>\mathbb R\oplus\mathbb R\cong\mathbb R[\mathrm j]/(\mathrm j^2 - 1)</math>
임을 알 수 있다. 물리학적으로, 이 정의는 [[빛원뿔 좌표계]]를 사용하는 것에 해당한다.

=== 행렬을 통한 정의 ===
분할복소수의 대수 <math>\tilde{\mathbb C}</math>는 충실한 2차원 표현을 가지므로, 이는 2×2 실수 행렬로 정의될 수 있다.

구체적으로, <math>\mathrm j</math>를 [[항등원]]의 스칼라배가 아니지만, 제곱이 1인 임의의 2×2 실수 행렬로 잡으면, 이는 분할복소수의 행렬 표현을 정의한다. 특히, 다음과 같은 선택이 편리하다.
:<math>\mathrm j = \begin{pmatrix}0&1 \\ 1 & 0\end{pmatrix}</math>
즉,
:<math>a+b\mathrm j = \begin{pmatrix}
a&b\\b&a
\end{pmatrix}</math>
이다.

== 연산 ==
=== 켤레 ===
분할복소수의 환은 다음과 같은 [[대합 (수학)|대합]]을 갖는다.
:<math>\overline{(-)} \colon \tilde{\mathbb C} \to \tilde{\mathbb C}</math>
:<math>a + b\mathrm j \mapsto a - b\mathrm j</math>
이는 [[실수 선형 변환]]이자 [[환 준동형]]이다.

분할복소수의 2×2 행렬 표현에서, 이는 다음과 같은 연산에 해당한다.
:<math>M \mapsto \mathsf CM\mathsf C</math>
:<math>\mathsf C = \begin{pmatrix}1&0\\0&-1\end{pmatrix}</math>
:<math>\mathsf C^2 = 1_{2\times2}</math>

=== 절댓값 ===
분할복소수의 [[실수 벡터 공간]] 위에는 다음과 같은 [[비퇴화 이차 형식]]이 존재한다.
:<math>|z|^2 = z \bar z \in \mathbb R\qquad\forall z\in\tilde{\mathbb C}</math>
즉,
:<math>|a+b\mathrm j|^2 = a^2 - b^2 \in \mathbb R\qquad\forall a,b\in\mathbb R</math>
이다. 이는 다음과 같이 곱셈을 보존한다.
:<math>|xy|^2 = |x|^2|y|^2\qquad\forall x,y\in\tilde{\mathbb C}</math>
이는 [[양의 정부호]]가 아니라 부정부호이다. 즉, 음의 값을 가질 수 있다.

=== 지수 함수 ===
분할복소수에 대하여, 다음과 같은 [[지수 함수]]를 정의할 수 있다.
:<math>\exp(a+b\mathrm j) = \exp(a)\left(\cosh b + (\sinh b)\mathrm j\right)\qquad\forall a,b\in\mathbb R</math>
이는 다음과 같은 성질을 만족시킨다.
:<math>\exp(x+y) = \exp(x)\exp(y) \qquad\forall x,y\in\tilde{\mathbb C}</math>
또한, 이를 [[실수체]]에 제한할 경우, 이는 실수의 [[지수 함수]]와 일치한다.

분할복소수의 2×2 행렬 표현에서, 이는 [[행렬 지수 함수]]와 일치한다.

== 성질 ==
분할복소수의 대수는 2차원 실수 [[가환환|가환]] [[결합 대수]]이다. 이는 [[정역]]이 아니며, 예를 들어 다음과 같이 [[영인자]]를 갖는다.
:<math>(1+\mathrm j)(1-\mathrm j) = 0</math>
사실, <math>|xy|^2=|x|^2|y|^2</math>이므로, 분할복소수가 [[영인자]]일 [[필요 충분 조건]]은 그 제곱 절댓값이 0인 것이다.

<math>\tilde{\mathbb C}\cong\mathbb R\oplus\mathbb R</math>이므로, 분할복소수의 [[환의 스펙트럼]]은 두 실수 0차원 [[아핀 공간]]의 [[분리합집합]]이다.
:<math>\operatorname{Spec}(\mathbb R) = \mathbb A^0_{\mathbb R}\sqcup\mathbb A^0_{\mathbb R}</math>

== 역사 ==
[[파일:Sir James Cockle, first Chief Justice of Queensland, 1876.jpg|섬네일|오른쪽|제임스 코클]]
1848년에 제임스 코클({{llang|en|James Cockle}}, 1819~1895)이 분할복소수에 해당하는 대수 체계를 최초로 사용하였다.<ref name="Cockle">{{저널 인용|이름=James |성=Cockle|날짜=1849|url=https://www.biodiversitylibrary.org/item/20121#page/51/mode/1up|제목= On a New Imaginary in Algebra|저널=Philosophical Magazine|권=34|쪽=37–47|언어=en}}</ref> 코클은 이를 “실수 테사린”({{llang|en|real tessarine}})이라고 불렀다. 코클은 원소 <math>\mathrm j</math>를 “불가능성”({{llang|en|impossibility}})을 나타내는 것으로 해석하였다. 이에 대하여, 코클은 다음과 같이 적었다.
{{인용문2|불가능성을 나타내는 기호는 적절할 뿐만 아니라, 대수 연구의 다양한 주제를 정확하게 분류하고, 실재하지 않는 값과 존재 불가능한 값들을 구별하려면, 사실 불가결하다.<br>
{{lang|en|A symbol for impossibility is not only desirable, but actually necessary, provided that we wish to classify with accuracy the various subjects of algebraic research, and to distinguish those which are unreal from those which are impossible.}}}}
이 기호 <math>\mathrm j</math>의 제곱의 값을 코클은 다음과 같이 ‘유도’하였다. 우선,
:<math>0' = 1 + \sqrt j</math><ref name="Cockle"/>{{rp|39, (1)}}
이다. (여기서, <math>0'</math>은 코클의 기호 체계에서 단순히 값이 0인 상태가 아니라 “절대적 부재”({{llang|en|absolute negation of existence}})를 뜻한다.) 이에 따라
:<math>+\sqrt j = -1</math><ref name="Cockle"/>{{rp|40, §2}}
이며, 따라서
:<math>j^2 = 1</math><ref name="Cockle"/>{{rp|40, §2}}
이다. 이에 대하여 코클은 음수의 제곱이 양수인 것에 착안하여 다음과 같이 적었다.
{{인용문2|이 기호[''j'']의 성질은 사실 거의 선험적으로 유추될 수 있다. […] 순수한 불가능성 — 동시에 양수이자 음수인 값 — 의 제곱은 가능한 값으로 취급되어야 한다. 모순은 제곱을 하면 사라진다 […]<br>
{{lang|en|This symbol possesses the character which we might, almost, have anticipated for it ''à priori''. […] the square of a Pure Impossible — of a quantity taken as simultaneously positive and negative — is to be treated as possible. The contradiction vanishes on squaring, […]}}
|<ref name="Cockle"/>{{rp|38}}
}}

[[윌리엄 킹던 클리퍼드]]도 이러한 대수 체계를 사용하였으며,<ref>{{저널 인용|이름=William Kingdon|성= Clifford|저자링크=윌리엄 킹던 클리퍼드|제목=Further notes on biquaternions|언어=en}}</ref> 클리퍼드는 이를 “모터”({{llang|en|motor}})라고 불렀다.

== 같이 보기 ==
* [[민코프스키 공간]]
== 참고 문헌 ==
{{각주}}

[[분류:가환대수학]]
[[분류:합성 대수]]
[[분류:다원수]]