수학에서 **복소수**는 이다.

## 정의
**복소수체** (에서 체의 구조만을 기억하여 얻는 체)이다.

구체적으로, 복소수체 -벡터 공간 구조가 존재하며, 그 덧셈은 다음과 같다.
여기에 -대수 구조를 다음과 같이 추가할 수 있다.
그렇다면, 이는 나눗셈 대수를 이루며, 여기서 체를 제외한 구조를 잊으면 복소수체를 얻는다. 또한, 실수 단위 이라고 생각할 수 있다.

복소수체는 또한 다음과 같이 여러 가지로 정의할 수 있으며, 이들은 서로 동형이다.

### 선형대수학적 정의
복소수체 의 다음과 같은 부분 대수와 동형이다.
이 경우, 실수 단위와 허수 단위는 각각 다음과 같다.

### 가환대수학적 정의
복소수체 와 동형이다.

구체적으로, 복소수체 는 다음과 같은 몫환과 동형이다.
이 경우, 실수 단위와 허수 단위는 각각 다음과 같다.

### 체론적 정의
복소수체 의 두 근 가운데 아무런 하나를 취하면 된다.

## 표기

### 복소평면
복소수는 데카르트 좌표계나 극좌표계를 갖춘 2차원 유클리드 평면의 점(또는 벡터)과 일대일 대응한다. 이러한 평면을 **복소평면**이라고 한다.

복소평면의 점은 꼭대깃점을 제외한 **리만 구**의 점과 일대일 대응한다. 복소평면에 무한대점 하나를 추가하면, 리만 구와 일대일 대응을 갖는 집합을 얻는데, 이를 **확장된 복소수**라고 한다.

### 직교 형식
복소수 의 **직교 형식**은 다음과 같다.
여기서 를 허수부라고 한다. 실수부와 허수부는 각각 복소수의 두 좌표축에 대한 사영과 같다. 복소수의 직교 형식은 복소수의 덧셈과 뺄셈에서 편리하게 쓰인다.

### 극형식
복소수 의 **극형식**은 다음과 같다.
여기서 축의 사잇각과 같다.

### 지수 형식
오일러 공식
에 따라, 복소수 의 **지수 형식**을 얻을 수 있으며, 이는 다음과 같다.
복소수의 극형식과 지수 형식은 복소수의 곱셈과 나눗셈에서 편리하게 쓰인다.

### 실수부 · 허수부 · 절댓값 · 편각 · 켤레 복소수
그렇다면, 복소수에 대한 다음과 같은 단항 연산들을 정의할 수 있다.
이러한 기호들을 사용하여 복소수의 세 가지 형식을 다시 쓰면 다음과 같다.

## 연산

### 동일성
두 복소수가 서로 같을 필요충분조건은 실수부와 허수부가 서로 같은 것이다.

### 덧셈과 뺄셈
두 복소수의 합은 다음과 같다.
두 복소수의 차는 다음과 같다.
특히, 복소수의 덧셈 역원은 다음과 같다.
복소수의 덧셈은 교환 법칙과 결합 법칙을 만족시킨다.

### 곱셈과 나눗셈
두 복소수의 곱셈은 다음과 같다.
두 복소수의 나눗셈은 분모의 켤레 복소수를 분모와 분자에 각각 곱해 구한다. (나누는 수가 0이 아니어야 한다.)
특히, 0이 아닌 복소수의 곱셈 역원은 다음과 같다.
극형식으로 나타낸 복소수
에 대하여 쓰면 다음과 같다.
마찬가지로, 지수 형식으로 나타낸 복소수
에 대하여 쓰면 다음과 같다.
복소수의 곱셈은 교환 법칙과 결합 법칙을 만족시키며, 덧셈에 대한 분배 법칙을 만족시킨다. 이에 따라, 복소수의 집합은 체를 이룬다.

### 순서체의 실패
복소수체 위에는 순서체의 구조를 줄 수 없다. 즉, 다음을 만족시키는 전순서 가 존재하지 않는다.
귀류법을 사용하여, 복소수체가 순서체가 되게 하는 전순서 가 존재한다고 하자. 그렇다면,
이거나
이다. 따라서,
이며,
이며,
이다. 이는 모순이다.
물론, 
\operatorname{Re}z\le\operatorname{Re}w\land
\operatorname{Im}z\le\operatorname{Im}w\qquad z,w\in\mathbb C

### 실수부와 허수부
복소수의 실수부와 허수부는 다음과 같이 나타낼 수 있다.
복소수의 실수부와 허수부에 대하여, 다음 성질들이 성립한다.

### 절댓값과 편각
복소수의 절댓값은 다음과 같이 나타낼 수 있다.
복소수의 절댓값은 노름을 이룬다. 즉, 다음 성질들이 성립한다.
복소수의 편각은 다음과 같이 나타낼 수 있다.
복소수의 편각에 대하여, 다음 성질들이 성립한다.

### 켤레 복소수
켤레 복소수는 다음과 같이 나타낼 수 있다.
켤레 복소수 는 대합 노름 대수 자기 동형을 이룬다. 즉, 다음 성질들이 성립한다.
그러나 켤레 복소수는 정칙 함수가 아니다.

## 종류

### 실수와 허수
복소수 는 실수부가 0인지와 허수부가 0인지에 따라 다름과 같이 분류된다.
사실, 복소수 에 대하여, 다음 조건들이 서로 동치이다.
또한, 다음 조건들이 서로 동치이다.
예를 들어, 는 순허수이다.

### 대수적 수와 초월수
복소수 는 어떤 다항식의 근이 될 수 있는지에 따라 다음과 같이 분류된다.
예를 들어, 는 초월수이다.

## 확장
대수학의 기본 정리에 따르면, 복소수 계수 다항식의 근은 모두 복소수이다. 예를 들어,
는 여전히 복소수이다. 따라서, 복소수는 다항식의 가상의 근을 새로운 원소로서 첨가하는 방식으로는 더 이상 확장되지 않는다. 추상대수학의 용어를 사용하면, 복소수체는 대수적으로 닫힌 체이다.

하지만 복소수에 포함되지 않는 다른 수가 존재하지 않는다는 의미는 아니다. 수라는 것은 인간의 자유로운 상상력을 기반으로 얼마든지 만들 수 있기 때문이다. 예를 들어 -대수는 체가 될 수 없다.

## 역사
역사적으로 음수의 제곱근이 최초로 나타난 것은, 서기 1세기 그리스의 수학자이자 발명가인 알렉산드리아의 헤론이 피라미드의 절단에 대한 부피를 계산할 때이다. 좀 더 명확히 나타난 때는 타르탈리아나 제롤라모 카르다노와 같은 16세기 이탈리아 수학자들이 삼차와 사차 다항방정식의 근에 대한 공식을 발견할 때이다. 그 당시의 수학자들은 이 공식들에서 실수해만을 구하려고 하였지만 그 과정에서 음수의 제곱근이 다루어지는 과정이 필요함을 곧 알 수 있었다. 그 당시에는 음수에 대한 이해도 부족했으므로 복소수는 수로서 인정되지 못했다.

17세기에 르네 데카르트가 처음으로 "허수"라는 용어를 사용하였다. 18세기에 아브라암 드무아브르와 레온하르트 오일러의 복소수에 대한 업적이 있었다. 유명한 드무아브르의 공식에 드무아부르의 업적이 나타나 있다:
그리고 복소해석학에서의 오일러의 공식에서 오일러의 업적을 볼 수 있다:
복소수의 존재성에 대해서는 1799년 카스파르 베셀이 복소수를 기하적인 표현으로 나타냄으로써 비로소 완전히 받아들여졌다. 이것은 수년 후에 카를 프리드리히 가우스가 발견하여 널리 알려져서, 결국 복소수가 매우 중요한 수의 확장으로 받아 들여졌다. 그러나 복소수의 기하학적 표현에 대한 생각은 1685년 존 월리스의 에도 나타났다.