복소수

수학에서 복소수(複素數, )는 formula_1 (formula_2는 실수) 꼴의 수이다. 여기서 formula_3는 허수 단위라고 불리는 수이며, formula_4을 만족시킨다. formula_5는 실수부(real part), formula_6는 허수부(imaginary part)라고 한다. 전자•전기를 다루는 계통에서는 전류 기호와의 혼동을 피하기 위해 대신 기호 formula_7를 쓰기도 한다. 복소수의 집합은 체를 이루며, 대수학의 기본 정리가 성립한다. 그러나 실수와 달리 표준적인 전순서를 줄 수 없다. 기하학적 관점에서, 복소수의 공간은 2차원 복소평면과 같으며, 이는 실수 공간을 나타내는 1차원 실수선을 확장하여 얻을 수 있다. 추상대수학적 관점에서, 복소수의 집합은 유일한 2차원 노름 나눗셈 대수이다. 복소수 집합의 기호는 formula_8 또는 formula_9이다.
정의.
복소수체(複素數體, ) formula_8는 formula_11-대수 formula_11의 케일리-딕슨 대수 formula_13(에서 체의 구조만을 기억하여 얻는 체)이다.
구체적으로, 복소수체 formula_8는 집합으로서 formula_15이다. 그 위에는 표준적인 formula_11-벡터 공간 구조가 존재하며, 그 덧셈은 다음과 같다.
여기에 formula_11-대수 구조를 다음과 같이 추가할 수 있다.
그렇다면, 이는 나눗셈 대수를 이루며, 여기서 체를 제외한 구조를 잊으면 복소수체를 얻는다. 또한, 실수 단위 formula_20과 허수 단위 formula_21를 정의하면, 이는 formula_4를 만족시키며, 모든 원소는 formula_23로 쓸 수 있다. 실수체는 formula_24를 통해 자연스럽게 복소수체의 부분 집합 formula_25이라고 생각할 수 있다.
복소수체는 또한 다음과 같이 여러 가지로 정의할 수 있으며, 이들은 서로 동형이다.
선형대수학적 정의.
복소수체 formula_8는 행렬 대수 formula_27의 다음과 같은 부분 대수와 동형이다.
이 경우, 실수 단위와 허수 단위는 각각 다음과 같다.
가환대수학적 정의.
복소수체 formula_8는 실수체 formula_11의, 이차 형식 formula_33에 대한 클리퍼드 대수 formula_34와 동형이다.
구체적으로, 복소수체 formula_8는 다음과 같은 몫환과 동형이다.
이 경우, 실수 단위와 허수 단위는 각각 다음과 같다.
체론적 정의.
복소수체 formula_8는 실수체 formula_11의 대수적 폐포 formula_41와 동형이다. 이 경우, 실수 단위는 자명하며, 허수 단위는 방정식 formula_42의 두 근 가운데 아무런 하나를 취하면 된다.
표기.
복소평면.
복소수는 직교 좌표계나 극좌표계를 갖춘 2차원 유클리드 평면의 점(또는 벡터)과 일대일 대응한다. 이러한 평면을 복소평면이라고 한다.
복소평면의 점은 꼭대깃점을 제외한 리만 구의 점과 일대일 대응한다. 복소평면에 무한대점 하나를 추가하면, 리만 구와 일대일 대응을 갖는 집합을 얻는데, 이를 확장된 복소수라고 한다.
직교 형식.
복소수 formula_43의 직교 형식(直交形式, )은 다음과 같다.
여기서 formula_45를 실수부, formula_46를 허수부라고 한다. 실수부와 허수부는 각각 복소수의 두 좌표축에 대한 사영과 같다. 복소수의 직교 형식은 복소수의 덧셈과 뺄셈에서 편리하게 쓰인다.
극형식.
복소수 formula_43의 극형식(極形式, )은 다음과 같다.
여기서 formula_51를 절댓값, formula_52를 편각이라고 한다. 절댓값은 복소수와 원점 사이의 거리와 같으며, 편각은 복소수와 원점의 연결선과 formula_45축의 사잇각과 같다.
지수 형식.
오일러 공식
에 따라, 복소수 formula_43의 지수 형식(指數形式, )을 얻을 수 있으며, 이는 다음과 같다.
복소수의 극형식과 지수 형식은 복소수의 곱셈과 나눗셈에서 편리하게 쓰인다.
실수부 · 허수부 · 절댓값 · 편각 · 켤레 복소수.
복소수 formula_43의 직교 형식과 극형식과 지수 형식이 다음과 같다고 하자.
그렇다면, 복소수에 대한 다음과 같은 단항 연산들을 정의할 수 있다.
이러한 기호들을 사용하여 복소수의 세 가지 형식을 다시 쓰면 다음과 같다.
연산.
동일성.
두 복소수가 서로 같을 필요충분조건은 실수부와 허수부가 서로 같은 것이다.
덧셈과 뺄셈.
두 복소수의 합은 다음과 같다.
두 복소수의 차는 다음과 같다.
특히, 복소수의 덧셈 역원은 다음과 같다.
복소수의 덧셈은 교환 법칙과 결합 법칙을 만족시킨다.
곱셈과 나눗셈.
두 복소수의 곱셈은 다음과 같다.
두 복소수의 나눗셈은 분모의 켤레 복소수를 분모와 분자에 각각 곱해 구한다. (나누는 수가 0이 아니어야 한다.)
특히, 0이 아닌 복소수의 곱셈 역원은 다음과 같다.
극형식으로 나타낸 복소수
에 대하여 쓰면 다음과 같다.
마찬가지로, 지수 형식으로 나타낸 복소수
에 대하여 쓰면 다음과 같다.
복소수의 곱셈은 교환 법칙과 결합 법칙을 만족시키며, 덧셈에 대한 분배 법칙을 만족시킨다. 이에 따라, 복소수의 집합은 체를 이룬다.
순서체의 실패.
복소수체 위에는 순서체의 구조를 줄 수 없다. 즉, 다음을 만족시키는 전순서 formula_88가 존재하지 않는다.
귀류법을 사용하여, 복소수체가 순서체가 되게 하는 전순서 formula_88가 존재한다고 하자. 그렇다면,
이다. 따라서,
이며,
이며,
이다. 이는 모순이다.
물론, formula_8 위의 순서 관계는 얼마든지 존재한다. 예를 들어, 다음과 같다.
실수부와 허수부.
복소수의 실수부와 허수부는 다음과 같이 나타낼 수 있다.
복소수의 실수부와 허수부에 대하여, 다음 성질들이 성립한다.
절댓값과 편각.
복소수의 절댓값은 다음과 같이 나타낼 수 있다.
복소수의 절댓값은 노름을 이룬다. 즉, 다음 성질들이 성립한다.
복소수의 편각은 다음과 같이 나타낼 수 있다.
복소수의 편각에 대하여, 다음 성질들이 성립한다.
켤레 복소수.
켤레 복소수는 다음과 같이 나타낼 수 있다.
켤레 복소수 formula_119는 대합 노름 대수 자기 동형을 이룬다. 즉, 다음 성질들이 성립한다.
그러나 켤레 복소수는 정칙 함수가 아니다.
종류.
실수와 허수.
복소수 formula_43는 실수부가 0인지와 허수부가 0인지에 따라 다름과 같이 분류된다.
사실, 복소수 formula_43에 대하여, 다음 조건들이 서로 동치이다.
또한, 다음 조건들이 서로 동치이다.
예를 들어, formula_144는 실수이며, formula_145는 허수이며, 이들 가운데 formula_146는 순허수이다.
대수적 수와 초월수.
복소수 formula_43는 어떤 다항식의 근이 될 수 있는지에 따라 다음과 같이 분류된다.
예를 들어, formula_154는 대수적 수이며, formula_155는 초월수이다.
확장.
대수학의 기본 정리에 따르면, 복소수 계수 다항식의 근은 모두 복소수이다. 예를 들어,
는 여전히 복소수이다. 따라서, 복소수는 다항식의 가상의 근을 새로운 원소로서 첨가하는 방식으로는 더 이상 확장되지 않는다. 추상대수학의 용어를 사용하면, 복소수체는 대수적으로 닫힌 체이다.
하지만 복소수에 포함되지 않는 다른 수가 존재하지 않는다는 의미는 아니다. 수라는 것은 인간의 자유로운 상상력을 기반으로 얼마든지 만들 수 있기 때문이다. 예를 들어 formula_157 을 만족하는 formula_45는 복소수가 아니며, 이러한 수를 새로 정의할 수 있다. 초월 확대를 사용하면 얼마든지 복소수체를 더 큰 체로 확장할 수 있다. 또한, 복소수체를 사원수라는 더 큰 나눗셈 대수로 확장할 수 있다. 그러나, 3차원 이상의 formula_11-대수는 체가 될 수 없다.
역사.
역사적으로 음수의 제곱근이 최초로 나타난 것은, 서기 1세기 그리스의 수학자이자 발명가인 알렉산드리아의 헤론이 피라미드의 절단에 대한 부피를 계산할 때이다. 좀 더 명확히 나타난 때는 타르탈리아나 제롤라모 카르다노와 같은 16세기 이탈리아 수학자들이 삼차와 사차 다항방정식의 근에 대한 공식을 발견할 때이다. 그 당시의 수학자들은 이 공식들에서 실수해만을 구하려고 하였지만 그 과정에서 음수의 제곱근이 다루어지는 과정이 필요함을 곧 알 수 있었다. 그 당시에는 음수에 대한 이해도 부족했으므로 복소수는 수로서 인정되지 못했다.
17세기에 르네 데카르트가 처음으로 "허수"라는 용어를 사용하였다. 18세기에 아브라암 드무아브르와 레온하르트 오일러의 복소수에 대한 업적이 있었다. 유명한 드무아브르의 공식에 드무아부르의 업적이 나타나 있다:
그리고 복소해석학에서의 오일러의 공식에서 오일러의 업적을 볼 수 있다:
복소수의 존재성에 대해서는 1799년 카스파르 베셀이 복소수를 기하적인 표현으로 나타냄으로써 비로소 완전히 받아들여졌다. 이것은 수년 후에 카를 프리드리히 가우스가 발견하여 널리 알려져서, 결국 복소수가 매우 중요한 수의 확장으로 받아 들여졌다. 그러나 복소수의 기하학적 표현에 대한 생각은 1685년 존 월리스의 &lt;De Algebra tractatus&gt;에도 나타났다.