|
[[대수학|대수학 Algebra ]]
|
||||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
| 기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
| 수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
| 다루는 대상과 주요 토픽 | ||||
| 대수적 구조 | ||||
| 군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
| 환(ring) | 아이디얼 | |||
| 체(field) | 갈루아 이론 · 분해체 | |||
| 대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
| 마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
| 선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
| 정리·추측 | ||||
| 대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
| 관련 하위 분야 | ||||
| 범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
| 대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
| 대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
| 대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
| 가환대수학 | 스펙트럼 정리 | |||
| 표현론 | 실베스터 행렬 | |||
| 기타 및 관련 문서 | ||||
| 수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} | |||
|
수 체계 Number Systems |
||||||
|
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-5px -1px -11px; word-break: keep-all" |
사원수 [math(\mathbb H)] · 팔원수 [math(\mathbb O)] | |||||
| ↑ 확장 ↑ | ||||||
| 복소수 [math(\mathbb C)] | ||||||
| ↑ 대수적 폐포, 행렬 표현, 순서쌍 구성 등 ↑ | 허수 [math(\mathbb{C} | |||||
| 실수 [math(\mathbb R)] | ||||||
| ↑ 완비화, 데데킨트 절단 등 ↑ | 무리수 [math(\mathbb{R} \setminus \mathbb{Q} = \mathbb I)] | |||||
| 유리수 [math(\mathbb Q)] | ||||||
| ↑ 곱셈의 역원 ↑ | 정수가 아닌 유리수 [math(\mathbb{Q} \setminus \mathbb{Z})] | |||||
| 정수 [math(\mathbb Z)] | ||||||
| ↑ 덧셈의 역원 ↑ | 음의 정수 [math(\mathbb{Z} \setminus \mathbb{N})] | |||||
| 범자연수 [math(\mathbb N_0)] | ||||||
| ↑ 자연수의 집합론적 구성 ↑ | ||||||
| [math(0)] | ||||||
| 소수 [math(\mathbb P)] · 초실수 [math(\mathbb R^{\ast})] · 대수적 수 [math(\mathbb A)]( 대수적 무리수 [math(\mathbb{A} \cap \mathbb{I})]) · 초월수 [math(\complement {\mathbb A})] · 벡터 공간 [math(\mathbb V)] · 이원수 · 분할복소수 | }}}}}}}}} | |||||
1. 개요
| 複 素 數 | complex number |
2. 설명
복소수란 -1 미만의 모든 마이너스 수에 대한 수학적 공리의 문제를 피하기 위해, 허수를 가지고 만든 식으로, 이 식을 하나의 숫자로 취급한다.허수에 대한 가장 간단한 설명은 [math(X^2=-1 )]일 때 [math(X)]의 값은 i라는 것이다. 이를 달리 말하자면 허수 i 하나만 가지고는 아무리 제곱해봤자 -1만 취급한다는 한계가 있다.
그렇다면 가령 [math(X^2=-4)]에서 [math(X)]는 어떤 숫자로 표현할 수 있을까? 답은 '없다'이다. 허수 i는 똑같은 i나 -1, +1하고 아무리 곱해봤자 무조건 -1이 되는 허상의 수다. -2 이하로 떨어지는 건 불가능하다.
그러니 [math(X^2=-4)]일 때 [math(X)]의 값에 i만 달랑 쓸 수 없다. 그렇게 되면 어떠한 수의 제곱의 근이 마이너스 일 때 그 '어떠한 수'는 제곱근이 무엇이든간에 마이너스이기만 한다면 모두 i하나 밖에 없다는 대참사가 일어난다. 그렇다고 새로운 허수를 모든 숫자와 1대1 대응해서 만들 수는 없는 노릇이다.
그래서 -1보다 작은 마이너스 수를 제곱근으로 삼는 X에 대한 답으로 a+bi를 쓰는 것이다. 전술했듯이 허근 i만 달랑 하나 쓸 수도 없고, 모든 숫자에 대한 허근을 새로 만들 수 없으니, 대신 식으로 답을 도출한 것이다.
때문에 가령 [math(X^2=-4)]에서 [math(X)]를 만족하는 a+bi를 도출한다면, [math( (a+bi)^2 )]= [math(X)]가 가능해진다.
3. 상세
수학에서 실수와 허수의 합의 꼴로써 나타내는 수. 두 실수 [math(a, b)]에 대하여 [math(a+bi)](단, [math(a, b)]는 실수)([math(i)]는 허수단위)[1]와 같이 실수와 허수를 조합하여 나타내는 체(field)가 여러( 複여러 복) 개의 단위( 素본디, 단위 소)로 이루어진 수( 數셈, 숫자 수)라는 데에서 복소수라 하며, 허수단위가 없는 [math(a)]를 실수 부분, 허수 단위가 있는 [math(b)]를 허수 부분이라고 한다.집합 기호는 복소수의 영어 명칭의 첫 글자인 C를 볼드체로 [math(\mathbf{C})]로 쓰거나[2] 겹쳐 [math(\mathbb{C})]로 써서 나타낸다. 변수로서의 표현은 실수에서 [math(x)]를 줄기차게 썼던 것처럼, 보통 [math(z)]를 많이 쓴다.[3]
보통 대한민국 교육 과정에선 고등학교 1학년 공통 수학에서 배운다. 또한 이것이 중등 교육에서의 수 체계의 마지막 확장이다.
복소수 [math(a+bi)]에서 허수 부분의 계수가 0인 것, 즉 [math(b=0)]인 것이 실수, 0이 아닌것([math(b\neq 0)])이 허수이며, 실수 부분인 [math(a=0)]인 것(단, [math(b\neq 0)])을 순허수라고 한다.
복소수 [math(z = a+bi)]에서 허수 부분인 [math(b)]가 [math(-b)]가 된 수를 켤레복소수(complex conjugate)[4]라 하며 [math(\bar{z} = \overline{a+bi}=a-bi)]로 나타낸다.[5][6][7]
실수를 수직선에 나타낼 수 있는 것과 마찬가지로 복소수는 평면상에 나타낼 수 있다. 흔히 직교 좌표계에서 x축을 실수축 [math(\Re ( z ))], y축을 허수축 [math(\Im ( z ))]으로 둔 좌표계를 복소평면이라 한다. 하지만 실수와는 달리 복소수는 순서체가 되지 않는다. 다시 말해 [math(\left\{P, \left\{0\right\}, -P\right\})][8]가 복소수 집합 [math(\mathbb{C})]의 분할이 되면서 [math(x, y\in P \Rightarrow x+y, xy\in P)]를 만족하는 집합 [math(P)]가 존재하지 않는다.
다만 복소수에도 절댓값을 생각할 수는 있다. 좌표평면에서 [math(( x,\ y ))]의 위치 벡터의 크기를 원점에서부터 거리로 [math(\sqrt{x^2+y^2})]로 나타내듯이 [math(z = x+iy)]의 복소평면에서 크기, 즉 절댓값은 [math(\displaystyle |z| = \sqrt{z \bar{z}} = \sqrt{x^2+y^2})]로 나타낸다. 그런데 복소수에 절댓값을 사용한다는 아이디어는 의외로 극좌표와의 유사성을 암시하게 하는 도구로 활용해, 복소수를 절댓값과 편각[9]으로 나타내는 극형식으로 이어지며, 이는 복소지수함수의 정의, 즉 오일러 공식의 탄생으로 이어진다.
정수, 유리수, 실수와는 다르게, 임의의 복소수 계수 n차식은 복소수 계수 1차식 n개의 곱으로 인수분해된다. 따라서 방정식만 고려한다면 복소수를 넘는 수 체계가 반드시 필요한 것은 아니다.[10] 게다가 수학에서는 이미 벡터 공간이라는 강력한 대수구조를 복소수 이상으로 활용하고 있다. 애초에 복소수부터가 실수의 2차원 벡터 공간이다.
허수의 유래는 대수적 필요에 의해 생겨난 것이지만, 복소수를 정의역으로 갖는 함수에 대해 다루는 복소함수론의 영역으로 들어가면 실수 영역에서는 할 수 없었던 온갖 테크닉을 구사할 수 있게 되어 수학과만이 아닌 여러 공과계열 학과에서 복소함수론을 배운다. 예를 들면, 복소평면을 잘 이용하면 실수직선상에서는 잘 적분되지 않는 특이적분(improper integral)을 비교적 쉽게 계산할 수 있으며, 라플라스 변환이나 미분방정식의 풀이에 있어서도 각종 Mapping을 이용하여 풀이를 상당히 단순화할 수 있다.
4. 역사
복소수를 수의 일원으로 받아들이는 것은 수학자들에게도 상당한 거부감이 있었다.고대 그리스 시절부터 허근을 가지는 이차방정식은 수도 없이 있었지만, 중세까지는 자연스레 해가 없다고 하고 넘어가 버리는 것이 보통이었다. (이때는 심지어 음수해도 없다고 부르던 시절이었다.)
16세기쯤 페로, 타르탈리아, 카르다노 등 수학자들의 방정식 풀기 배틀이 시작되면서 복소수는 본격적인 '수'로서 등장하게 된다. 이는 삼차방정식을 풀기 위해서는 아무리 주어진 삼차방정식의 근이 모두 실근일지라도, 그 근을 계산하는 과정에서는 복소수가 반드시 필요했기 때문이다.
이들은 방정식을 기계적으로 풀면서 복소수를 갖다 쓰면서도 속으로는 거부감이 들었다. 사실 누구라도 두 번 곱해서 음수가 되고, 네 번 곱해서 1이 되는 1이 아닌 '무언가'를 처음 보면 당황하는 건 당연할 것이다.
이러한 우여곡절을 거쳐 카르다노는 <위대한 술법(Ars Magna)>[11]에서 복소수를 수로 취급하는 모습을 보인다. 카르다노는 10을 두 부분으로 나누되 곱이 40이 되게 할 수 있는 문제(요즘으로 따지면 [math(a+b=10,ab=40)]의 이차방정식)[12]를 다루면서 '이런 허깨비를 다루는 것은 궤변(sophistic)이지만, 그럼에도 불구하고 풀어나갈 것이다.' 하면서 복소근 2개를 계산하고는 '그다지 큰 양심의 가책을 느낄 필요가 없다. 산술이란 이처럼 오묘하게 풀어나가야 한다. 산술의 목표는 성현이 말하듯 정밀하며 반드시 유용하지만은 않다.' 고 말한다. 음수까지 배척하는 사람들이 대부분이었던 이 시기 기준으로는 카르다노는 상당한 대인배 축에 속했다. 물론 자신의 삼차방정식 해법이 복소수를 사용하니 어느 정도는 당연한 태도였을 것이다.
봄벨리 역시 비슷한 곤경에 처했다. 그는 현대적 표기와 비슷하게 복소수의 네 가지 계산을 규정했지만 여전히 수학자들은 복소수를 쓸데없는 수, 기괴한 수로 취급했다. 데카르트 역시 복소수근을 허구의 수라고 부르며 받아들이지 않았다. 심지어 뉴턴마저 허근의 의미를 인정하지 않았다. 복소수의 출현에 대한 이 같은 강한 배척은 라이프니츠의 다음 글에 잘 나타나 있다.
성령께서 분석을 하는 과정에 범속을 초월한 계시를 보여 주셨다. 그것은 바로 저 이상세계의 전조다. 존재와 존재하지 않음 사이에 나타난 양쪽 모두에 걸쳐 있는 무언가, 우리는 이를 허구의 -1제곱근이라 부른다.[13]
물론 어느 정도 시간이 지나자 이게 유용하다는 것을 깨닫고 자연스레 갖다 쓰게 되었다. 오일러의 교과서 Elements of Algebra에는 대놓고 시작부터 복소수가 튀어나온다! 복소지수, 복소삼각함수 등을 만들고 드 무아브르 공식을 오일러 공식으로 일반화하는 많은 업적을 남긴 것도 오일러이긴 하다. 기호 [math(i)]를 고안한 사람도 오일러였다. 다만 이는 사람들이 하도 [math(\sqrt{-1} \cdot \sqrt{-1} = \sqrt{(-1)\cdot(-1)})] 같은 실수를 해대서 [math(\sqrt{-1})] 대신 별도의 기호를 만들어줬다는 설도 있다. 특히 페르마의 마지막 정리 증명의 출발점[14]이라는 의의가 크다. 그리고 많은 수학자들이 인정하는 세상에서 가장 아름다운 등식인 오일러 등식에서는 복소수의 범위 내의 수 체계인 무리수 [math(e)], [math(π)], 허수 [math(i)], 자연수 1, 정수인 0(혹은 음수인 -1로 치환도 가능)을 모두 사용한다.
대략 가우스 시대에 대수학의 기본정리가 증명된 전후로 현대에 쓰이는 복소수의 기틀이 잡혔다고 평가받는다. 물론 그 가우스 조차도 20살의 어린 시절(1797년)에는 대수학의 기본정리의 틀린 증명을 발표하면서 허수의 진정한 의미가 있는지 의심하기는 했지만, 나이 들어서는 받아들였다. 이의 뒤를 이어 코시 등등이 복소해석학의 기틀을 잡고 리만 곡면 같은 게 나오면서 복소수는 방정식을 넘어선 온갖 분야에 응용되기 시작한다.
5. 복소수의 연산
5.1. 기초 단항 연산
[math(i=\sqrt{-1})], [math(x, y \in \mathbb{R})] 이고 [math(r=\sqrt{x^{2}+y^{2}} \geq 0, \theta \in \mathbb{R})]이라고 할 때, 복소수 [math(z)]를 직교형식, 극형식, 그리고 지수형식으로 나타내면 다음과 같다.[math(z = x + iy = r ( \cos \theta + i \sin \theta ) = r e^{i \theta})]
이렇게 정의한 복소수 [math(z)]에 대해 특수한 단항연산을 몇 가지 정의할 수 있다.
5.1.1. 실수부와 허수부
[math( z \in \mathbb{C})]일 때, [math(\Re ( z ))]를 [math(z)]의 실수부(real part), [math(\Im ( z ))]를 [math(z)]의 허수부(imaginary part)라 하고 다음과 같이 정의한다.[math(\Re ( z ) = \text{Re} ( z ) = \dfrac{z + \overline{z}}{2} = x = r \cos \theta )]
[math(\Im ( z ) = \text{Im} ( z ) = \dfrac{z - \overline{z}}{2i} = y = r \sin \theta )]
이때 실수부와 허수부는 실수임에 주의하자.
[math(\Re, \Im)]은 주로 고급 이론[15]에서 많이 쓰이고 [math(\mathrm{Re}, \mathrm{Im})]은 주로 고등학교/학부 과정에서 많이 쓰인다.[16]
5.1.2. 켤레복소수[17]
[math( z \in \mathbb{C})]일 때, [math(\bar{z})]를 [math(z)]의 켤레복소수(complex conjugate)라 하고 다음과 같이 정의한다.[math(\bar{z} = \Re ( z ) - i \Im ( z ) = x - iy = r ( \cos \theta -i \sin \theta ) = re^{-i \theta})]
켤레복소수는 원래 복소수의 허수부분의 부호를 반대로 바꾼 것이다. 복소평면에서 보면 원래 복소수를 실수축에 대하여 대칭이동한 것과 같으며, 극좌표계로 두면 편각의 부호를 반전시킨 것과 같다. [math(a+bi)]의 켤레복소수는 [math(a-bi)]이고, 이를 간단히 표기하기 위에서 [math(a+bi)] 위에 작대기(macron)를 그어서 표시한다.
물리학 쪽에서는 복소수 [math(z)]의 켤레 복소수 표기를 [math(z^{\ast} )]로 많이 쓰는 편이다.
중등 교육과정에서 등장하는 모든 다항방정식은 허근이 존재할 경우, 그 켤레복소수도 근이 된다.
5.1.3. 절댓값
[math( z \in \mathbb{C})]일 때, [math(|z|)]를 [math(z)]의 절댓값(absolute value)[18]이라 하고 다음과 같이 정의한다.[math(|z| = \sqrt{z \bar{z}} = \sqrt{\Re(z)^2 + \Im(z)^2} = \sqrt{x^2 + y^2} = r)]
복소수의 절댓값은 실수의 절댓값처럼 원점으로부터 거리를 의미한다. 형태를 보면 알겠지만 피타고라스 정리에서 유도된다.
부호 함수([math(\mathrm{sgn})])를 고장내버리는 원흉이기도 한데, 정의가 원래 수와 절댓값이 적용된 수의 몫이기 때문. 그래서 복소수용으로 따로 정의된 함수([math(\mathrm{csgn})])로 부호를 판별해야 한다. 그냥 쓰면 크기가 1이고 방향은 그대로인 단위복소수가 된다. 어디서 많이 봤다고 생각했다면 그거 맞다.
5.1.4. 편각
[math( z \in \mathbb{C})]일 때, [math(\text{arg} ( z ))]를 [math(z)]의 편각(argument)[19]이라 하고 다음과 같이 정의한다.[math(\operatorname{arg}(z) = \operatorname{atan2}(y,x) = \theta \,()] [math(operatorname{mod})][math(\,\,2\pi))]
편각은 복소평면 위에서 실수축와 복소수 [math(z)] 사이의 각의 크기다. 이때 각의 크기는 0보다 크거나 같고 [math(2\pi)]보다 작다.[20][21]
여기서 [math(\operatorname{atan2}(y, x))]라는 함수는 [math(x>0)]일 때 [math(\arctan \Bigl( \dfrac yx \Bigr) \!\in \Bigl( \!-\dfrac\pi2, \dfrac\pi2 \Bigr))]의 값을 갖고, [math(x < 0)]일 때 적절한 역탄젠트 값[22]로 제한해놓고 다음 함수 [math(f(x))]를 생각하자. [math(f(x): \tan{x} \to x)]. 적절한 역탄젠트 값이란 바로 이 함숫값 [math(f\Bigl(\dfrac yx\Bigr))]를 의미한다.]을 가진다.
위의 단항 연산을 가지고 다음 항등식을 꾸밀 수도 있다.
[math(z = \Re ( z ) + i \ \Im ( z ) = |z|( \cos \text{arg} \ z + i \sin \text{arg} \ z ) = |z| e ^{i \ \text{arg} \ z})]
5.1.5. 복소수의 극형식
5.2. 기초 이항 연산
5.2.1. 복소수의 상등[23]
두 복소수 [math(a + ib, c + id)]가 있다고 하자. 두 복소수가 동일할 조건은 다음과 같다.[math( a + ib = c + id \ \Leftrightarrow \ a = c \ \text{and} \ b = d )]
5.2.2. 복소수의 덧셈
두 복소수 [math(a + ib, c + id)]가 있다고 하자. 복소수의 덧셈은 다음과 같이 정의한다.[math((a + ib) + (c + id) = (a + c) + i (b + d))]
특히 복소수의 덧셈은 결합법칙[24]과 교환법칙[25]을 만족한다.
또한 복소수의 덧셈은 항등원 "0"이 존재하고[26], 임의의 복소수에 대하여 덧셈에 대한 그 역원이 항상 존재한다.[27]
복소수 [math(x + iy)]의 덧셈에 대한 역원은 [math(-(x + iy) = (-x) + i(-y))]로 볼 수 있고, 뺄셈을 정의할 수 있다.
[math((a + ib) - (c + id) = (a - c) + i(b - d))]
5.2.3. 복소수의 곱셈
두 복소수 [math(a + ib, c + id)]가 있다고 하자. 복소수의 곱셈은 다음과 같이 정의한다.[math((a + ib) × (c + id) = (ac - bd) + i(ad + bc))]
복소수의 곱셈은 결합법칙[28]과 교환법칙[29]을 만족한다.
또한 복소수의 곱셈은 항등원 "1"이 존재하고[30], 0을 제외한 임의의 복소수에 대하여 곱셈에 대한 그 역원이 항상 존재한다.
복소수 [math(x + iy)]의 곱셈에 대한 역원은 [math(\displaystyle \frac{1}{x + iy} = \frac{x - iy}{(x + iy)(x - iy)} = \frac{x}{x^2 + y^2} - i \frac{y}{x^2 + y^2})]로 볼 수 있고, 나눗셈을 정의할 수 있다. 이는 분모의 켤레복소수를 각각 분모, 분자에 곱해서 분모를 실수로 고치는 것이다.
[math(\displaystyle \frac{a + ib}{c + id} = \frac{ac + bd}{c^2 + d^2} + i \frac{-ad + bc}{c^2 + d^2})]
복소수의 집합 [math(\mathbb{C})]는 체의 공리를 만족하므로 체(field)이다. 더불어 집합 [math(\left\{ 1, i \right\})]를 기저로 갖는 실수체에 대한 2차원 벡터 공간의 구조도 가지고 있다.[31]
6. 행렬 표현과의 관계
복소수는 [math(2 \times 2)] 실행렬로 표현이 가능한데, [math(z = a + bi = \begin{pmatrix} a & b \\ -b & a \end{pmatrix})]으로 표현한다. 여기에서는 행렬 표현과의 연관성을 설명하기 위해 [math(\begin{pmatrix} a & -b \\ b & a \end{pmatrix})]으로 표현한다.설명하기 위해 두 복소수 [math(z_1 = a + bi,\ z_2 = c + di)]가 있다고 하자. 이 둘을 더해보자. 그러면 두 복소수 [math(z_1,\ z_2)]를 더한 것은 이들을 행렬 표현으로 나타내어 더한 것과 같게 된다.
[math(
\begin{matrix}
)]
\begin{matrix}
z_1 + z_2 & = & \left(a + bi\right) + \left(c + di\right) & = & \left(a + c\right) + \left(b + d\right)i \\
& = & \begin{pmatrix} a & -b \\ b & a \end{pmatrix} + \begin{pmatrix} c & -d \\ d & c \end{pmatrix} & = & \begin{pmatrix} a + c & -\left(b + d\right) \\ b + d & a + c \end{pmatrix}
\end{matrix}& = & \begin{pmatrix} a & -b \\ b & a \end{pmatrix} + \begin{pmatrix} c & -d \\ d & c \end{pmatrix} & = & \begin{pmatrix} a + c & -\left(b + d\right) \\ b + d & a + c \end{pmatrix}
)]
행렬표현된 복소수를 곱해보자
[math(
\begin{matrix}
)]
\begin{matrix}
z_1 z_2 & = & \left(a + bi\right) \left(c + di\right) & = & \left(ac - bd\right) + \left(ad + bc\right)i \\
& = & \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \begin{pmatrix} c & -d \\ d & c \end{pmatrix} & = & \begin{pmatrix} ac - bd & -\left(ad + bc\right) \\ ad + bc & ac - bd \end{pmatrix}
\end{matrix}& = & \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \begin{pmatrix} c & -d \\ d & c \end{pmatrix} & = & \begin{pmatrix} ac - bd & -\left(ad + bc\right) \\ ad + bc & ac - bd \end{pmatrix}
)]
복소수의 회전을 설명해보자. 일단 좌표평면 상에서 x축에 대응하는 기저 벡터 [math(\hat i)]와 이를 [math(\dfrac \pi 2)]만큼 돌려 y축에 대응하는 기저 벡터 [math(\hat j)]를 생각해보자. [math(\theta = 0)]일 때 이들 기저 벡터는 다음과 같이 나타낼 수 있다.
[math(
\hat i = \begin{pmatrix} \cos \theta \\ \sin \theta \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} ,~
\hat j = \begin{pmatrix} \cos \left(\theta + \dfrac \pi 2\right) \\ \sin \left(\theta + \dfrac \pi 2\right) \end{pmatrix} = \begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}
)]
\hat i = \begin{pmatrix} \cos \theta \\ \sin \theta \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \end{pmatrix} ,~
\hat j = \begin{pmatrix} \cos \left(\theta + \dfrac \pi 2\right) \\ \sin \left(\theta + \dfrac \pi 2\right) \end{pmatrix} = \begin{pmatrix} -\sin \theta \\ \cos \theta \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}
)]
이를 한 행렬 안에 표기해보면 [math(\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix})]가 되는데, 이는 단위실수 [math(1)]을 행렬 표현으로 나타냈을 때와 같다.
허수단위 [math(i)]를 행렬 표현하면 다음과 같다.
[math(i = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix})]
그리고 이를 계속 곱해보면…
[math(
i^n = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}^n
= \left\{ \begin{array}{lll}
)]
i^n = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}^n
= \left\{ \begin{array}{lll}
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \color{red} = 1 & \color{red} \text{if } n = 0 \\
\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} & = i & \text{if } n = 1 \\
\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} & = -1 & \text{if } n = 2 \\
\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} & = -i & \text{if } n = 3 \\
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \color{red} = 1 & \color{red} \text{if } n = 4
\end{array} \right.\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} & = i & \text{if } n = 1 \\
\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} & = -1 & \text{if } n = 2 \\
\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} & = -i & \text{if } n = 3 \\
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \color{red} = 1 & \color{red} \text{if } n = 4
)]
한편 단위행렬을 각각 [math(\theta = \left\{ \dfrac \pi 2,\ \pi,\ \dfrac{3\pi} 2,\ 2\pi \right\})]만큼 회전시켜 보자. 이해를 돕기 위해 [math(\theta = 0)]인 경우도 같이 표기하였다.
[math(
\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix}
= \left\{ \begin{array}{lll}
)]
\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix}
= \left\{ \begin{array}{lll}
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} &\color{red} = 1 & \color{red} \text{if } \theta = 0 \\
\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} & = i & \text{if } \theta = \dfrac \pi 2 \\
\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} & = -1 & \text{if } \theta = \pi \\
\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} & = -i & \text{if } \theta = \dfrac{3\pi} 2 \\
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \color{red} = 1 & \color{red} \text{if } \theta = 2\pi
\end{array} \right.\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} & = i & \text{if } \theta = \dfrac \pi 2 \\
\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} & = -1 & \text{if } \theta = \pi \\
\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} & = -i & \text{if } \theta = \dfrac{3\pi} 2 \\
\color{red} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} & \color{red} = 1 & \color{red} \text{if } \theta = 2\pi
)]
일반화해보면 [math(i^n = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}^n = \begin{pmatrix} \cos \dfrac {n\pi} 2 & -\sin \dfrac {n\pi} 2 \\ \sin \dfrac {n\pi} 2 & \cos \dfrac {n\pi} 2 \end{pmatrix})] 임을 알 수 있는데, [math(e^{i \frac {n\pi} 2} = \cos \dfrac {n\pi} 2 + i \sin \dfrac {n\pi} 2 = i^n)]임을 생각해보면 복소수를 행렬 표현해도 오일러 공식이 잘 작동함을 알 수 있다.
7. 복소수의 확장
7.1. 사원수(quaternion)
단위수가 [math(i)], [math(j)], [math(k)]까지 존재하며, 각각 [math(i^2 = j^2 = k^2 = ijk = -1)] ([math(i \ne j,\ j \ne k,\ k \ne i)])로 정의되는 수 체계. 곱셈의 교환법칙이 성립하지 않는다. 이걸 연구하는 데 일생을 바친 윌리엄 로원 해밀턴은 결국 별 성과를 얻지 못했다. 사실 상술했듯이 복소수를 넘는 일반화가 반드시 필요한 것도 아니고, 또 이후의 벡터 공간(Vector Space)을 비롯한 추상적인 개념들의 발달로 인해 빛을 보지 못한 케이스라고 할 수 있다. 하지만, 현대에 3차원 컴퓨터 그래픽 또는 비행기 자세 제어 등에서 공간상의 회전을 구현할 때 사원수가 유용하다는 것이 밝혀져서 다시 주목받고 있다.[32] 덤으로, 여기서 약간만 더 나아가면 사영공간([math(\mathbb{R}P^3)][33])이 공간의 회전을 나타낸다는 것도 알 수 있다.참고로 맥스웰 방정식이라 부르는 4개의 방정식은 바로 이 사원수로 쓰인 제임스 크러크 맥스웰의 20개의 방정식을 올리버 헤비사이드가 벡터 해석
7.2. 이원수(dual number)
[math(a+b\epsilon)]의 형태로 표현되며 [math(\epsilon^2 = 0)] ([math(\epsilon \ne 0)])으로 정의된다. 생긴 건 복소수랑 비슷하게 생겼지만 성질은 꽤나 다르다. 간단히 [math(( a+b\epsilon )^2)] = [math(a^2+2ab\epsilon+b^2 \epsilon^2)] = [math(a^2+2ab\epsilon)]에서도 [math((a+bi)^2 = a^2-b^2+2abi)]와는 다른, 상당히 특이한 결과가 나옴을 알 수 있다. 참고로 사원수는 복소수의 확장이지, 이원수의 확장은 아니다.이원수를 복소수와 조합하여 새로운 수 체계를 만들 수 있는데 이는 dual complex numbers([math(a + bi + c\epsilon+ di\epsilon)]으로 표현된다.)라고 부르며, 사원수와 조합될 경우는 dual quaternions라 부르는 수 체계가 나온다.
또한, 이원수의 멱영원 [math(\epsilon)] 역시 오일러 공식이 성립하는데, 이쪽은 멱일원보다 더 황당하게도 1차함수인 [math(e^{\epsilon x}=1+\epsilon x)]으로 나타나게 된다.
7.3. 분할복소수(split-complex number)
이원수와 마찬가지로 [math(a+bj)]의 형태로 표현되며 [math(j^2= 1)] ([math(j \ne \pm 1)])으로 정의되는 수 체계. 여기서의 [math(j)]는 사원수의 [math(j)]와는 전혀 다른 허수 단위이다. 위의 이원수와 합쳐서 고급 수학을 배우려는 아이들을 멘붕시키는 주범.이쪽도 오일러 공식이 적용되는데, 단순 복소수일때 지수함수와 삼각함수를 엮는 [math(e^{i\theta}=\cos \theta+i\sin \theta)]과 비슷하게 지수함수와 쌍곡선함수를 엮는 [math(e^{j x}=\cosh x+j\sinh x)]가 성립한다.
8. 관련 문서
|
수와
연산 Numbers and Operations |
|||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#765432> 수 체계 | 자연수 ( 홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 ( 정수가 아닌 유리수) · 실수 ( 무리수 · 초월수) · 복소수 ( 허수) · 사원수 | |
| 표현 | 숫자 ( 아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법( 과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 · BEAF· 버드 표기법) · 진법 ( 십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 ( 분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 { 유한소수 · 무한소수 ( 순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수 | ||
| 연산 | 사칙연산 ( 덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 ( 이중근호) · 거듭제곱 · 로그 ( 상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자 | ||
| 방식 | 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자 | ||
| 용어 | 이항연산( 표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙 | ||
| 기타 | 수에 관련된 사항 ( 0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 ( 48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기( 바퀴 이론) · 0의 0제곱 | }}}}}}}}} | |
[1]
다만 전기/전자공학과는 전류를 [math(I)]나 [math(i)]로 쓰기 때문에 혼동을 막기 위해 허수단위를 [math(j)]로 쓴다.
[2]
다만 볼드체는
벡터를 뜻하기 때문에 권장하지 않는다.
[3]
단,
해석적 정수론에서는 [math(s)]를 쓰는 것이
불문율인데, 다름아닌
베른하르트 리만이 이렇게 썼기 때문.
[4]
공대 교육과정에서는 주로 공액(
共
軶)복소수로 번역되기도 한다.
[5]
즉 [math(z_1=a+bi)]에 대해 [math((a+bi)+z_2\in\mathbb{R})]를 만족하는 또 다른 복소수 [math(z_2=a+ci)]가 [math(z_1)]의 켤레복소수이다. 즉 [math(z_1+z_2\in\mathbb{R})], [math(\left | b\right |=\left |c\right |\:(b\neq c))]일 때 [math(\overline{z_1}=z_2)].
[6]
다르게 설명하자면 분수 중 허수가 분모에 있을 때 분모를 실수화 시켜주기 위하여 사용되는
합·차 공식([math((a+b)(a-b)=a^2-b^2)])이 이용될 수 있는 수이기도 하다.
[7]
학문에 따라 표기가 다를 수 있다. 그 예로
물리학에서는 켤레 복소수로 [math(z^{\ast})] 표기를 많이 쓴다. 이 경우 원래 별표를 쓰는
수반 연산자(adjoint operator)는
칼표(dagger)를 써서 [math(z^{\dag})]로 표기한다.
[8]
[math(-P=\left\{-x|x\in P\right\})]
[9]
원점에서 복소평면 내 복소수를 잇는 선분과 양의 실수축 사이의 끼인 각.
[10]
복소수는 기본적으로 덧셈, 곱셈, 지수,
테트레이션까지의 기본 연산에 관해 닫혀 있다.
[11]
타르탈리아의 3차방정식의 해법을 베껴서 발표한 바로 그 책이다.
[12]
참고로 위 식은 [math((a-b)^2=-60)]이 나오기 때문에 실근을 갖지 않으며 [math(a=5-\sqrt{-15}, b=5+\sqrt{-15})](혹은 [math(a,b)]가 바뀌어도 무방하다.)이고, 위 [math(a,b)]를 근으로 갖는 방정식은 [math(x^2-10x+40)]이다.
[13]
번역출처: 수학의 역사, 지즈강 지음/ 권수철 옮김/ 출판사 더 숲. 원문은 Acta Eruditorum 중 다음으로 추정. 'C'est pourquoi ils ont invente cet expedient elegant et admirable, ce mircale de l'Analyse, prodige du monde des idees, objet presque amphibie entre l'Etre et le Non-etre, que nous appelons racine imaginaire.' (Leibniz, Gottfried Wilhelm. La naissance du calcul différentiel: 26 articles des" Acta Eruditorum". Vrin, 1989.)
[14]
피에르 드 페르마가 n=4인 경우를 증명해 놓았는데, 오일러가 복소수를 이용해서 n=3의 경우를 증명했다.
[15]
복소해석학,
해석적 정수론 등.
[16]
역으로
TeX 문법은 오히려 흑자체 쪽이 더 쉽다. [math(\Re, \Im)]은 각각
\Re, \Im이고, [math(\mathrm{Re}, \mathrm{Im})]은 가장 간단한 표현이 {\rm Re}, {\rm Im}이고 정석은 \operatorname{Re}, \operatorname{Im}로 길다.
[17]
공액복소수(共軶複素數)라고 부르기도 한다.
[18]
복소해석학 쪽에서는 modulus라 하기도 한다.
[19]
절댓값과 마찬가지로
복소해석학 쪽에서는 phase라 하기도 한다.
[20]
위의 정의에서 [math(\theta)]에 [math(\text{mod} \ 2\pi)]가 붙은 건 이러한 이유 때문이다.
[21]
각의 유일성을 강조하기 위해 앞글자를 대문자로 한 [math(\rm Arg)]라는 표기를 쓰기도 한다.
[22]
탄젠트 함수의 정의역을 [math(\Bigl( -\pi, -\dfrac\pi2 \Bigr) \cup \Bigl( \dfrac\pi2, \pi \Bigr] )
[23]
엄밀히는 이항 연산(binary operation)이 아니라 이항 관계(binary relation)
[24]
[math(\forall u, v, w \in \mathbb{C}, \ (u + v) + w = u + (v + w))]
[25]
[math(\forall z, w \in \mathbb{C}, \ z + w = w + z)]
[26]
[math(\forall z \in \mathbb{C}, \ \exists 0 \in \mathbb{C} \ \text{s.t.} \ z + 0 = 0 + z = z)]
[27]
[math(\forall z \in \mathbb{C}, \ \exists (-z) \in \mathbb{C} \ \text{s.t.} \ z + (-z) = (-z) + z = 0)]
[28]
[math(\forall u, v, w \in \mathbb{C}, \ (u × v) × w = u × (v × w))]
[29]
[math(\forall z, w \in \mathbb{C}, \ z × w = w × z)]
[30]
[math(\forall z \in \mathbb{C}, \ \exists 1 \in \mathbb{C} \ \text{s.t.} \ z × 1 = 1 × z = z)]
[31]
실제로 복소수의 집합을 [math(\mathbb{R}^2)]에 복소수의 곱셈이라는 대수 구조를 추가하여 정의할 수도 있다.
[32]
순수히 복소수를 확장하는 것과 기하학적인 활용 가능성을 생각하며 겸사겸사 만들어낸 것이지만, 기하학적인 측면과 일반화의 측면만 따지면 사원수보다 약간 뒤에 개발된
벡터가 더 좋아서 결국 사원수는 꽤 묻힌 감이 있었다.
[33]
여기서 P는 projective(사영~)를, [math(\mathbb{R})]는 실수를 뜻한다.