수 체계 (Number Systems)
수학에서 다루는 수는 자연수에서 출발하여 점차 확장되어 왔습니다. 각 확장은 기존 체계에서 풀 수 없었던 문제(뺄셈, 나눗셈, 제곱근, 대수방정식의 해)를 해결하기 위해 이루어졌습니다.
사과 3개를 세는 것에서 수학이 시작됩니다. 그런데 빌린 돈을 표현하려면? 음수가 필요합니다. 피자를 나눠 먹으려면? 분수가 필요합니다. 정사각형의 대각선 길이를 재려면? 무리수가 등장합니다. 이처럼 수의 세계는 우리가 풀고 싶은 문제가 늘어날 때마다 함께 넓어져 왔습니다.
이런 곳에 쓰여요
- 은행: 통장 잔고가 마이너스일 때 음수, 이자율 계산에 유리수 사용
- 공학: 교류 전기 회로를 분석할 때 복소수($a + bi$)가 필수
- 건축: 정사각형 타일의 대각선 길이($\sqrt{2}$)처럼 무리수가 실제 측정에 등장
- 컴퓨터: 프로그래밍 언어의 int, float, complex 자료형이 수 체계를 반영
선수 지식: 수와 연산
난이도: ★★☆☆☆ (고등학교 기초)
$$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$자연수와 페아노 공리
자연수(Natural Numbers) $\mathbb{N} = \{0, 1, 2, 3, \ldots\}$는 셈의 기본이 되는 수입니다. (관례에 따라 $0$을 포함하거나 제외하며, 이 문서에서는 $0$을 포함합니다.)
수학자들은 '자연수란 정확히 무엇인가?'라는 질문에 답하기 위해 공리를 세웠습니다. 어렵게 느껴질 수 있지만, 핵심 아이디어는 간단합니다: '0이 있고, 어떤 수 다음에 항상 그 다음 수가 있다'는 것입니다.
페아노 공리 (Peano Axioms)
주세페 페아노(Giuseppe Peano)는 1889년에 자연수를 다음 다섯 가지 공리로 정의하였습니다.
- $0$은 자연수입니다.
- 모든 자연수 $n$에 대하여 후자(Successor) $S(n)$이 존재하며 이것도 자연수입니다.
- $0$은 어떤 자연수의 후자도 아닙니다. (즉, $\forall n, \; S(n) \neq 0$)
- $S(m) = S(n)$이면 $m = n$입니다. (후자 함수는 단사입니다.)
- 수학적 귀납법 공리: $0$을 포함하고, $n$을 포함하면 $S(n)$도 포함하는 자연수의 부분집합은 $\mathbb{N}$ 전체입니다.
후자 함수에 의한 연산 정의
덧셈:
$$a + 0 = a, \qquad a + S(b) = S(a + b)$$곱셈:
$$a \cdot 0 = 0, \qquad a \cdot S(b) = a \cdot b + a$$예시: $2 + 3$을 계산하면 ($2 = S(S(0))$, $3 = S(S(S(0)))$):
$$2 + 3 = 2 + S(2) = S(2 + 2) = S(2 + S(1)) = S(S(2 + 1)) = S(S(S(2 + 0))) = S(S(S(2))) = 5$$자연수의 대수적 성질
| 성질 | 덧셈 | 곱셈 |
|---|---|---|
| 닫힘 | $a + b \in \mathbb{N}$ | $a \cdot b \in \mathbb{N}$ |
| 교환법칙 | $a + b = b + a$ | $a \cdot b = b \cdot a$ |
| 결합법칙 | $(a + b) + c = a + (b + c)$ | $(a \cdot b) \cdot c = a \cdot (b \cdot c)$ |
| 항등원 | $a + 0 = a$ | $a \cdot 1 = a$ |
| 분배법칙 | $a \cdot (b + c) = a \cdot b + a \cdot c$ | |
정렬 원리 (Well-Ordering Principle)
비어 있지 않은 자연수의 부분집합에는 항상 최소 원소가 존재합니다.
이 원리는 수학적 귀납법과 동치이며, 정수론에서 많은 증명의 기초가 됩니다.
정수
정수(Integers) $\mathbb{Z} = \{\ldots, -2, -1, 0, 1, 2, \ldots\}$는 자연수에 $0$과 음수를 추가한 수 체계입니다. 이 확장의 동기는 뺄셈을 항상 가능하게 만드는 것입니다.
왜 음수가 필요할까요? 자연수만으로는 '3 - 5'를 계산할 수 없습니다. 온도가 영하로 내려가거나, 은행 잔고가 마이너스가 되는 상황을 표현하려면 음수가 반드시 필요합니다.
형식적 구성
정수는 자연수 순서쌍 $\mathbb{N} \times \mathbb{N}$에 동치관계를 정의하여 구성됩니다:
$$(a, b) \sim (c, d) \iff a + d = b + c$$순서쌍 $(a, b)$는 직관적으로 $a - b$를 나타냅니다. 예를 들어:
- $(5, 2) \sim (3, 0)$ → 정수 $3$
- $(1, 4) \sim (0, 3)$ → 정수 $-3$
- $(2, 2) \sim (0, 0)$ → 정수 $0$
정수의 성질
| 성질 | 설명 |
|---|---|
| 덧셈에 대한 닫힘 | 두 정수의 합은 정수입니다 |
| 곱셈에 대한 닫힘 | 두 정수의 곱은 정수입니다 |
| 덧셈의 역원 | 모든 정수 $a$에 대해 $-a$가 존재합니다 |
| 영인자 없음 | $a \cdot b = 0$이면 $a = 0$ 또는 $b = 0$ |
| 정렬 원리 | 비어 있지 않은 자연수의 부분집합에는 최소 원소가 존재합니다 |
나눗셈 알고리즘
임의의 정수 $a$와 양의 정수 $b$에 대하여, 다음을 만족하는 유일한 정수 $q$(몫)와 $r$(나머지)이 존재합니다:
$$a = bq + r, \qquad 0 \leq r < b$$예시: $a = 17$, $b = 5$이면 $17 = 5 \cdot 3 + 2$이므로 $q = 3$, $r = 2$입니다.
유리수
유리수(Rational Numbers) $\mathbb{Q}$는 두 정수의 비로 나타낼 수 있는 수입니다. 이 확장의 동기는 나눗셈(0 제외)을 항상 가능하게 만드는 것입니다.
$$\mathbb{Q} = \left\{\frac{a}{b} \;\middle|\; a, b \in \mathbb{Z}, \; b \neq 0\right\}$$형식적 구성
유리수는 $\mathbb{Z} \times (\mathbb{Z} \setminus \{0\})$에 동치관계를 정의하여 구성됩니다:
$$(a, b) \sim (c, d) \iff a \cdot d = b \cdot c$$유리수의 연산
$$\frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd}, \qquad \frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd}$$유리수의 성질
- 체(Field): $(\mathbb{Q}, +, \cdot)$은 체입니다. 모든 $0$이 아닌 유리수에 역수가 존재합니다.
- 조밀성(Density): 임의의 두 유리수 사이에 또 다른 유리수가 존재합니다.
- 소수 표현: 유리수의 소수 표현은 유한소수이거나 순환소수입니다.
- 가산 무한: $\mathbb{Q}$는 가산 무한 집합입니다 (칸토어의 지그재그 논법).
순환소수와 유리수의 관계
정리: 실수가 유리수일 필요충분조건은 소수 표현이 유한하거나 순환하는 것입니다.
예시: $0.333\ldots = 0.\overline{3}$이 유리수임을 보입니다.
$x = 0.\overline{3}$으로 놓으면 $10x = 3.\overline{3}$이므로 $10x - x = 3$, 즉 $x = \frac{1}{3}$입니다.
예시: $0.\overline{142857}$을 분수로 변환합니다.
$x = 0.\overline{142857}$이면 $10^6 x = 142857.\overline{142857}$이므로 $999999x = 142857$, 즉 $x = \frac{142857}{999999} = \frac{1}{7}$입니다.
무리수
무리수(Irrational Numbers)는 유리수로 나타낼 수 없는 실수입니다. 소수 표현이 무한하면서 순환하지 않습니다.
대표적인 무리수
| 수 | 근삿값 | 유형 | 특징 |
|---|---|---|---|
| $\sqrt{2}$ | $1.41421356\ldots$ | 대수적 | 최초로 발견된 무리수 (피타고라스 학파) |
| $\phi = \frac{1+\sqrt{5}}{2}$ | $1.61803398\ldots$ | 대수적 | 황금비, 피보나치 수열의 극한 |
| $\pi$ | $3.14159265\ldots$ | 초월적 | 원주율, 린데만(1882)이 초월성 증명 |
| $e$ | $2.71828182\ldots$ | 초월적 | 자연로그의 밑, 에르미트(1873)가 초월성 증명 |
| $\ln 2$ | $0.69314718\ldots$ | 초월적 | 자연로그 값 |
대수적 수와 초월수
대수적 수(Algebraic Number)는 유리수 계수 다항식의 근이 되는 복소수입니다.
$$\text{대수적 수: } a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 = 0 \text{의 근} \quad (a_i \in \mathbb{Q})$$초월수(Transcendental Number)는 대수적 수가 아닌 수입니다.
- 모든 유리수는 대수적입니다 ($\frac{a}{b}$는 $bx - a = 0$의 근).
- $\sqrt[n]{m}$, $\sqrt{2} + \sqrt{3}$ 등은 대수적 무리수입니다.
- $\pi$, $e$는 초월수입니다.
- 대수적 수의 집합은 가산이므로, "거의 모든" 실수는 초월수입니다.
$\sqrt{2}$가 무리수임의 증명
$\sqrt{2} = \frac{a}{b}$ (기약분수)라 가정합니다. 양변을 제곱하면 $2b^2 = a^2$이므로 $a$는 짝수입니다. $a = 2c$로 놓으면 $2b^2 = 4c^2$, 즉 $b^2 = 2c^2$이므로 $b$도 짝수입니다. 이는 기약분수 가정에 모순됩니다. $\blacksquare$
실수
실수(Real Numbers) $\mathbb{R}$는 유리수와 무리수를 모두 포함하는 수 체계입니다. 실수는 수직선 위의 모든 점에 대응됩니다.
실수의 구성
실수를 엄밀하게 구성하는 두 가지 주요 방법이 있습니다:
| 방법 | 핵심 아이디어 | 창시자 |
|---|---|---|
| 데데킨트 절단 | 유리수를 두 집합으로 "자르고" 절단점을 실수로 정의 | 리하르트 데데킨트 (1872) |
| 코시 수열 | 유리수의 코시 수열의 동치류를 실수로 정의 | 게오르크 칸토어 (1872) |
데데킨트 절단
데데킨트 절단(Dedekind Cut)은 유리수 집합 $\mathbb{Q}$를 두 개의 비어있지 않은 집합 $L$과 $R$로 분할한 것입니다:
- $L \cup R = \mathbb{Q}$, $L \cap R = \emptyset$
- 모든 $l \in L$과 $r \in R$에 대하여 $l < r$
- $L$에 최대 원소가 없음
유리수의 절단 중 $R$에 최소 원소가 없는 것이 바로 무리수에 대응되는 절단입니다. 예를 들어 $L = \{q \in \mathbb{Q} \mid q < 0 \text{ 또는 } q^2 < 2\}$인 절단은 $\sqrt{2}$를 정의합니다.
실수의 완비성 공리
실수의 가장 중요한 성질은 완비성(Completeness)입니다.
이 성질이 $\mathbb{Q}$와 $\mathbb{R}$을 구분짓는 핵심입니다. 예를 들어 $S = \{q \in \mathbb{Q} \mid q^2 < 2\}$는 $\mathbb{Q}$에서 상한이 존재하지 않지만, $\mathbb{R}$에서는 $\sup S = \sqrt{2}$입니다.
완비성의 동치 조건
다음 성질들은 모두 실수의 완비성과 동치입니다:
| 성질 | 내용 |
|---|---|
| 상한 성질 | 위로 유계인 비어있지 않은 집합은 상한을 가진다 |
| 단조수렴 정리 | 유계인 단조수열은 수렴한다 |
| 볼차노-바이어슈트라스 | 유계인 무한수열은 수렴하는 부분수열을 가진다 |
| 코시 수렴 조건 | 코시 수열은 수렴한다 |
| 구간 축소 정리 | 닫힌 유계 구간의 감소하는 열의 교집합은 비어있지 않다 |
실수의 기타 성질
- 순서 완비성: 수직선에 "빈틈"이 없습니다.
- 아르키메데스 성질: 임의의 양의 실수 $\epsilon > 0$과 $M > 0$에 대해 $n\epsilon > M$인 자연수 $n$이 존재합니다.
- 조밀성: 임의의 두 실수 $a < b$ 사이에 유리수와 무리수가 모두 무한히 존재합니다.
- 비가산성: $\mathbb{R}$은 비가산 무한 집합입니다 (칸토어의 대각선 논법).
- 연속체: $|\mathbb{R}| = 2^{\aleph_0}$입니다.
실수의 대수적 성질 요약
$(\mathbb{R}, +, \cdot, \leq)$는 순서체(Ordered Field)입니다:
| 성질 | 덧셈 | 곱셈 |
|---|---|---|
| 교환법칙 | $a + b = b + a$ | $ab = ba$ |
| 결합법칙 | $(a+b)+c = a+(b+c)$ | $(ab)c = a(bc)$ |
| 항등원 | $a + 0 = a$ | $a \cdot 1 = a$ |
| 역원 | $a + (-a) = 0$ | $a \neq 0$이면 $a \cdot a^{-1} = 1$ |
| 분배법칙 | $a(b + c) = ab + ac$ | |
복소수
왜 복소수가 필요한가?
수 체계가 확장되어 온 역사를 떠올려 봅시다. 자연수에서 뺄셈을 하기 위해 정수가, 나눗셈을 하기 위해 유리수가, 수직선의 빈틈을 채우기 위해 실수가 등장하였습니다. 그렇다면 실수 이후에는 더 확장할 필요가 없을까요?
다음 방정식을 풀어 봅시다:
$$x^2 = -1$$어떤 실수를 제곱해도 결과는 반드시 $0$ 이상입니다. 양수를 제곱하면 양수, 음수를 제곱해도 양수, $0$을 제곱하면 $0$입니다. 따라서 $x^2 = -1$을 만족하는 실수 $x$는 존재하지 않습니다.
역사적으로 복소수는 16세기 이탈리아 수학자들이 3차 방정식의 해를 구하는 과정에서 등장하였습니다. 카르다노(Cardano)와 봄벨리(Bombelli)는 실수 해가 존재하는 3차 방정식을 풀 때에도 중간 과정에서 음수의 제곱근이 나타나는 것을 발견하였습니다. 처음에는 이것을 "불가능한 수"라고 불렀지만, 계산 결과가 올바른 실수 해를 주었기 때문에 무시할 수 없었습니다.
허수 단위 $i$의 정의
허수 단위(Imaginary Unit) $i$는 다음을 만족하는 수로 정의합니다:
$$\boxed{i^2 = -1}$$즉, $i$는 "제곱하면 $-1$이 되는 수"입니다. 이 수는 실수 중에는 존재하지 않으므로, 완전히 새로운 종류의 수입니다.
$i$의 거듭제곱은 4개의 값이 반복되는 주기적 패턴을 보입니다:
| 거듭제곱 | $i^1$ | $i^2$ | $i^3$ | $i^4$ | $i^5$ | $i^6$ | $i^7$ | $i^8$ |
|---|---|---|---|---|---|---|---|---|
| 값 | $i$ | $-1$ | $-i$ | $1$ | $i$ | $-1$ | $-i$ | $1$ |
패턴: $i \to -1 \to -i \to 1 \to i \to \cdots$ (4개씩 반복). 따라서 $i^n$의 값은 $n$을 $4$로 나눈 나머지로 결정됩니다.
예시: $i^{23}$을 구합니다. $23 = 4 \times 5 + 3$이므로 $i^{23} = i^3 = -i$입니다.
복소수의 정의: $a + bi$
복소수(Complex Numbers)는 실수 $a$, $b$와 허수 단위 $i$를 이용하여 다음과 같이 표현되는 수입니다:
$$\mathbb{C} = \{a + bi \mid a, b \in \mathbb{R}\}, \quad i^2 = -1$$여기서 각 부분의 이름은 다음과 같습니다:
- $a$: 실수부(Real Part), $\text{Re}(z)$로 표기합니다.
- $b$: 허수부(Imaginary Part), $\text{Im}(z)$로 표기합니다. ($b$ 자체는 실수입니다!)
- $i$: 허수 단위 ($i^2 = -1$)
특수한 경우:
- $b = 0$이면 $z = a$: 실수입니다. 즉, 모든 실수는 복소수의 특수한 경우입니다.
- $a = 0$이면 $z = bi$: 순허수(Pure Imaginary Number)라 합니다. 예: $3i$, $-2i$.
- $a = 0$이고 $b = 0$이면 $z = 0$: 복소수 $0$은 실수이면서 동시에 순허수입니다.
예시:
| 복소수 | 실수부 $a$ | 허수부 $b$ | 분류 |
|---|---|---|---|
| $3 + 2i$ | $3$ | $2$ | 복소수 |
| $-1 - 4i$ | $-1$ | $-4$ | 복소수 |
| $5$ | $5$ | $0$ | 실수 (복소수의 특수한 경우) |
| $7i$ | $0$ | $7$ | 순허수 |
복소수가 같을 조건
두 복소수 $a + bi$와 $c + di$가 같으려면, 실수부끼리 같고 허수부끼리 같아야 합니다:
$$a + bi = c + di \iff a = c \text{ 그리고 } b = d$$이것은 복소수가 실질적으로 두 개의 독립적인 정보(실수부, 허수부)를 담고 있기 때문입니다.
복소평면 (아르강 도표)
실수는 수직선 위의 한 점으로 나타낼 수 있었습니다. 복소수는 어떻게 시각화할까요? 복소수 $z = a + bi$는 복소평면(Complex Plane) 위의 점 $(a, b)$로 나타낼 수 있습니다. 이를 아르강 도표(Argand Diagram) 또는 가우스 평면이라고도 합니다.
- 가로축(Real Axis, 실수축): 실수부 $a$를 나타냅니다.
- 세로축(Imaginary Axis, 허수축): 허수부 $b$를 나타냅니다.
복소수의 덧셈과 뺄셈
복소수의 덧셈과 뺄셈은 실수부끼리, 허수부끼리 따로 계산합니다. 이것은 좌표를 더하는 것과 같은 원리입니다.
$z_1 = a + bi$, $z_2 = c + di$일 때:
$$z_1 + z_2 = (a + c) + (b + d)i$$ $$z_1 - z_2 = (a - c) + (b - d)i$$예시 1 (덧셈): $(3 + 2i) + (1 - 5i)$를 계산합니다.
- 실수부: $3 + 1 = 4$
- 허수부: $2 + (-5) = -3$
- 결과: $(3 + 2i) + (1 - 5i) = 4 - 3i$
예시 2 (뺄셈): $(2 + 7i) - (4 + 3i)$를 계산합니다.
- 실수부: $2 - 4 = -2$
- 허수부: $7 - 3 = 4$
- 결과: $(2 + 7i) - (4 + 3i) = -2 + 4i$
복소수의 곱셈
복소수의 곱셈은 다항식의 곱셈과 같은 방법으로, $i^2 = -1$을 이용하여 정리합니다.
$z_1 = a + bi$, $z_2 = c + di$일 때:
$$z_1 \cdot z_2 = (a + bi)(c + di)$$전개하면:
$$= ac + adi + bci + bdi^2$$$i^2 = -1$을 대입하면:
$$= ac + adi + bci + bd(-1) = (ac - bd) + (ad + bc)i$$예시 1: $(2 + 3i)(1 - i)$를 단계별로 계산합니다.
- 분배법칙으로 전개: $2 \cdot 1 + 2 \cdot (-i) + 3i \cdot 1 + 3i \cdot (-i)$
- 각 항 계산: $= 2 - 2i + 3i - 3i^2$
- $i^2 = -1$ 대입: $= 2 - 2i + 3i - 3(-1) = 2 - 2i + 3i + 3$
- 실수부끼리, 허수부끼리 정리: $= (2 + 3) + (-2 + 3)i = 5 + i$
예시 2: $(1 + i)^2$을 계산합니다.
$$\begin{aligned} (1 + i)^2 &= (1 + i)(1 + i) \\ &= 1 + i + i + i^2 \\ &= 1 + 2i + (-1) \\ &= 2i \end{aligned}$$$(1 + i)$를 제곱하면 순허수 $2i$가 됩니다! 복소수의 곱셈은 실수의 곱셈과는 다른 흥미로운 결과를 보여줍니다.
복소수의 곱셈 공식 요약
| 연산 | 공식 |
|---|---|
| 덧셈 | $(a+bi) + (c+di) = (a+c) + (b+d)i$ |
| 뺄셈 | $(a+bi) - (c+di) = (a-c) + (b-d)i$ |
| 곱셈 | $(a+bi)(c+di) = (ac - bd) + (ad + bc)i$ |
켤레복소수와 절댓값
켤레복소수(Complex Conjugate): 복소수 $z = a + bi$의 켤레복소수 $\overline{z}$는 허수부의 부호만 바꾼 것입니다:
$$\overline{z} = \overline{a + bi} = a - bi$$복소평면에서 켤레복소수는 원래 점을 실수축에 대하여 대칭시킨 점입니다.
절댓값(Modulus, 크기): 복소수 $z = a + bi$의 절댓값 $|z|$는 복소평면에서 원점까지의 거리입니다:
$$|z| = \sqrt{a^2 + b^2}$$이것은 피타고라스 정리에서 직접 나오는 공식입니다. 실수부 $a$와 허수부 $b$를 직각삼각형의 두 변으로 보면, $|z|$는 빗변의 길이입니다.
예시: $z = 3 + 4i$의 절댓값을 구합니다.
$$|z| = \sqrt{3^2 + 4^2} = \sqrt{9 + 16} = \sqrt{25} = 5$$켤레복소수의 핵심 성질
- $\overline{z_1 + z_2} = \overline{z_1} + \overline{z_2}$ (합의 켤레 = 켤레의 합)
- $\overline{z_1 \cdot z_2} = \overline{z_1} \cdot \overline{z_2}$ (곱의 켤레 = 켤레의 곱)
- $z \cdot \overline{z} = a^2 + b^2 = |z|^2$ (항상 $0$ 이상인 실수)
- $z + \overline{z} = 2a = 2\text{Re}(z)$
- $z - \overline{z} = 2bi = 2i \cdot \text{Im}(z)$
- $\overline{\overline{z}} = z$ (켤레를 두 번 취하면 원래대로 돌아옵니다)
복소수의 나눗셈
복소수의 나눗셈은 분모의 켤레복소수를 분자와 분모에 동시에 곱하여, 분모를 실수로 만드는 방법을 사용합니다. 이것을 분모의 유리화(실수화)라 합니다.
$$\frac{z_1}{z_2} = \frac{z_1 \cdot \overline{z_2}}{z_2 \cdot \overline{z_2}} = \frac{z_1 \cdot \overline{z_2}}{|z_2|^2}$$왜 이렇게 하는 걸까요? 분모에 복소수가 있으면 결과가 $a + bi$ 형태로 정리되지 않습니다. 분모에 켤레를 곱하면 $z_2 \cdot \overline{z_2} = |z_2|^2$이 되어 분모가 실수가 됩니다. 그러면 분자만 계산하여 실수부와 허수부를 나누면 됩니다.
예시: $\displaystyle\frac{3 + 2i}{1 - i}$를 계산합니다.
- 분모의 켤레복소수: $\overline{1 - i} = 1 + i$
- 분자, 분모에 동시에 곱합니다: $$\frac{3 + 2i}{1 - i} \cdot \frac{1 + i}{1 + i} = \frac{(3 + 2i)(1 + i)}{(1 - i)(1 + i)}$$
- 분모 계산: $(1 - i)(1 + i) = 1^2 + 1^2 = 2$
- 분자 계산: $(3 + 2i)(1 + i) = 3 + 3i + 2i + 2i^2 = 3 + 5i - 2 = 1 + 5i$
- 결과: $\displaystyle\frac{1 + 5i}{2} = \frac{1}{2} + \frac{5}{2}i$
나눗셈 공식 (정리): $z_1 = a + bi$, $z_2 = c + di$ ($z_2 \neq 0$)일 때:
$$\frac{z_1}{z_2} = \frac{(ac+bd) + (bc-ad)i}{c^2 + d^2}$$극형식 (Polar Form)
복소수를 $a + bi$ 형태(직교 형식)로 표현하는 것 외에, 거리와 각도를 이용하여 표현하는 방법이 있습니다. 이를 극형식(Polar Form)이라 합니다.
- 절댓값(Modulus): $|z| = r = \sqrt{a^2 + b^2}$ (원점에서 점 $z$까지의 거리)
- 편각(Argument): $\arg(z) = \theta$ (양의 실수축에서 반시계 방향으로 잰 각도)
여기서 $\cos\theta = \displaystyle\frac{a}{r}$, $\sin\theta = \displaystyle\frac{b}{r}$ - 극형식: $z = r(\cos\theta + i\sin\theta) = r \cdot \text{cis}(\theta)$
직교 형식과 극형식 사이의 변환:
| 방향 | 변환 공식 |
|---|---|
| 직교 → 극 | $r = \sqrt{a^2 + b^2}$, $\theta = \arctan\displaystyle\frac{b}{a}$ (사분면 주의) |
| 극 → 직교 | $a = r\cos\theta$, $b = r\sin\theta$ |
예시: $z = 1 + \sqrt{3}\,i$를 극형식으로 나타냅니다.
- $r = \sqrt{1^2 + (\sqrt{3})^2} = \sqrt{1 + 3} = \sqrt{4} = 2$
- $\cos\theta = \displaystyle\frac{1}{2}$, $\sin\theta = \displaystyle\frac{\sqrt{3}}{2}$이므로 $\theta = \displaystyle\frac{\pi}{3}$ (60도)
- 극형식: $z = 2\left(\cos\displaystyle\frac{\pi}{3} + i\sin\displaystyle\frac{\pi}{3}\right)$
극형식에서의 곱셈과 나눗셈
$z_1 = r_1 \text{cis}(\theta_1)$, $z_2 = r_2 \text{cis}(\theta_2)$일 때:
$$z_1 \cdot z_2 = r_1 r_2 \, \text{cis}(\theta_1 + \theta_2)$$ $$\frac{z_1}{z_2} = \frac{r_1}{r_2} \, \text{cis}(\theta_1 - \theta_2)$$즉, 곱셈은 절댓값은 곱하고 편각은 더하며, 나눗셈은 절댓값은 나누고 편각은 빼는 것입니다.
오일러 공식
$$\boxed{e^{i\theta} = \cos\theta + i\sin\theta}$$이 놀라운 공식은 지수함수와 삼각함수를 연결합니다. 이 공식 덕분에 극형식을 더 간결하게 쓸 수 있습니다:
$$z = r(\cos\theta + i\sin\theta) = re^{i\theta}$$극형식에서 곱셈과 나눗셈도 지수법칙으로 자연스럽게 유도됩니다:
$$z_1 z_2 = r_1 r_2 \, e^{i(\theta_1 + \theta_2)}, \qquad \frac{z_1}{z_2} = \frac{r_1}{r_2} \, e^{i(\theta_1 - \theta_2)}$$드 무아브르 정리 (De Moivre's Theorem)
오일러 공식에서 자연스럽게 유도되는 정리입니다:
$$\boxed{(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta)}$$왜 이 정리가 성립하는가? 오일러 공식을 사용하면 간단히 확인할 수 있습니다:
$$(\cos\theta + i\sin\theta)^n = (e^{i\theta})^n = e^{in\theta} = \cos(n\theta) + i\sin(n\theta)$$이 정리를 이용하면 삼각함수의 다배각 공식을 유도하거나, 복소수의 $n$제곱근을 구할 수 있습니다.
예시: $(\cos 30° + i\sin 30°)^6$을 계산합니다.
$$(\cos 30° + i\sin 30°)^6 = \cos(6 \times 30°) + i\sin(6 \times 30°) = \cos 180° + i\sin 180° = -1$$복소수의 $n$제곱근
$z = re^{i\theta}$의 $n$제곱근은 정확히 $n$개 존재합니다:
$$w_k = \sqrt[n]{r} \, e^{i(\theta + 2k\pi)/n}, \qquad k = 0, 1, 2, \ldots, n-1$$이 $n$개의 근은 복소평면에서 반지름 $\sqrt[n]{r}$인 원 위에 등간격으로 배치됩니다.
예시: $1$의 세제곱근 ($r = 1$, $\theta = 0$):
$$w_0 = 1, \quad w_1 = e^{2\pi i/3} = -\frac{1}{2} + \frac{\sqrt{3}}{2}i, \quad w_2 = e^{4\pi i/3} = -\frac{1}{2} - \frac{\sqrt{3}}{2}i$$이 세 근을 복소평면에 찍으면 단위원 위에서 정삼각형의 꼭짓점을 이룹니다.
오일러 항등식
오일러 공식에서 $\theta = \pi$를 대입하면 수학에서 가장 아름다운 등식이 나옵니다:
$$e^{i\pi} = \cos\pi + i\sin\pi = -1 + 0 = -1$$양변에 $1$을 더하면:
$$\boxed{e^{i\pi} + 1 = 0}$$이 식에는 수학의 다섯 가지 기본 상수 $e$, $i$, $\pi$, $1$, $0$과 기본 연산(덧셈, 곱셈, 거듭제곱)이 모두 포함되어 있습니다.
대수학의 기본 정리
이 정리가 바로 $\mathbb{C}$가 대수적으로 닫힌 체(Algebraically Closed Field)라고 불리는 이유입니다. 실수 범위에서 풀 수 없었던 모든 다항방정식이 복소수 범위에서 해결됩니다.
예시: $x^2 + 4 = 0$은 실수 범위에서 해가 없지만, 복소수 범위에서는 $x = \pm 2i$라는 두 근을 가집니다:
$$x^2 = -4 \implies x = \pm\sqrt{-4} = \pm 2i$$복소수의 실생활 응용
- 전기공학: 교류(AC) 회로에서 전압과 전류를 복소수로 표현합니다. 저항(R), 인덕턴스(L), 커패시턴스(C)를 포함하는 임피던스(Impedance) $Z = R + jX$ ($j$는 공학에서 $i$ 대신 사용)로 회로를 분석합니다.
- 신호 처리: 푸리에 변환(Fourier Transform)은 신호를 주파수 성분으로 분해하는데, 이 과정에서 복소수 지수함수 $e^{i\omega t}$가 핵심적으로 사용됩니다. 음향, 이미지, 통신 등 모든 디지털 신호 처리의 기반입니다.
- 양자역학: 양자역학의 기본 방정식인 슈뢰딩거 방정식(Schrodinger equation)에 허수 단위 $i$가 직접 등장합니다. 양자 상태를 기술하는 파동함수는 본질적으로 복소수 값을 가집니다.
- 제어 공학: 시스템의 안정성을 판별할 때 전달 함수의 극점(pole)이 복소평면에서 어디에 위치하는지를 분석합니다.
- 유체역학: 2차원 유체 흐름을 복소 함수로 모델링하여, 비행기 날개 주위의 공기 흐름 등을 분석합니다.
- 프랙탈: 만델브로 집합(Mandelbrot set)과 줄리아 집합(Julia set)은 복소수의 반복 연산으로 생성되는 아름다운 기하학적 구조입니다.
사원수와 그 너머
복소수 이후에도 수 체계를 더 확장할 수 있습니다.
사원수 (Quaternions, $\mathbb{H}$)
윌리엄 해밀턴(William Hamilton, 1843)이 발견한 사원수는 4차원 수 체계입니다.
$$q = a + bi + cj + dk, \quad i^2 = j^2 = k^2 = ijk = -1$$핵심 성질: 곱셈의 교환법칙이 성립하지 않습니다. 예를 들어 $ij = k$이지만 $ji = -k$입니다.
| 곱셈 | $1$ | $i$ | $j$ | $k$ |
|---|---|---|---|---|
| $i$ | $i$ | $-1$ | $k$ | $-j$ |
| $j$ | $j$ | $-k$ | $-1$ | $i$ |
| $k$ | $k$ | $j$ | $-i$ | $-1$ |
사원수는 3차원 회전을 표현하는 데 널리 사용됩니다 (컴퓨터 그래픽, 로봇 공학, 항공우주).
팔원수 (Octonions, $\mathbb{O}$)
8차원 수 체계로, 곱셈의 교환법칙뿐 아니라 결합법칙도 성립하지 않습니다.
수 체계 비교표
| 성질 | $\mathbb{N}$ | $\mathbb{Z}$ | $\mathbb{Q}$ | $\mathbb{R}$ | $\mathbb{C}$ |
|---|---|---|---|---|---|
| 덧셈 닫힘 | ✓ | ✓ | ✓ | ✓ | ✓ |
| 곱셈 닫힘 | ✓ | ✓ | ✓ | ✓ | ✓ |
| 뺄셈 닫힘 | ✗ | ✓ | ✓ | ✓ | ✓ |
| 나눗셈 닫힘 ($\neq 0$) | ✗ | ✗ | ✓ | ✓ | ✓ |
| 순서 관계 | 전순서 | 전순서 | 전순서 | 전순서 | ✗ |
| 완비성 | ✗ | ✗ | ✗ | ✓ | ✓ |
| 대수적 닫힘 | ✗ | ✗ | ✗ | ✗ | ✓ |
| 가산성 | 가산 | 가산 | 가산 | 비가산 | 비가산 |
| 대수적 구조 | 모노이드 | 정역 | 체 | 순서체 | 대수적 닫힌 체 |
참고자료
- Rudin, W. — Principles of Mathematical Analysis, McGraw-Hill
- Spivak, M. — Calculus, Cambridge University Press
- Conway, J. H. & Guy, R. K. — The Book of Numbers, Springer
- Stillwell, J. — The Real Numbers, Springer
- Needham, T. — Visual Complex Analysis, Oxford University Press
- 대수학 기초 — 수 체계 위의 연산
- 해석학 — 실수의 완비성 심화
- 집합론 — 수의 집합론적 구성
- 추상대수학 — 체와 대수적 구조
- 정수론 — 정수의 성질 심화