# 허수 이해를 위한 사전 지식 (Prerequisites for Understanding Imaginary Numbers)

허수를 깊이 이해하기 위해서는 몇 가지 중요한 수학적 개념과 이론들이 선행되어야 한다. 이 사전 지식들은 허수의 정의, 성질, 그리고 그것이 수학적 체계에서 어떤 역할을 하는지 이해하는 데 필수적이다. 아래에서는 이러한 사전 지식들을 계층적으로 정리하여 설명한다.

#### 실수 체계 (Real Number System)

허수를 이해하기 위해서는 먼저 실수(real numbers) 체계에 대한 깊은 이해가 필요하다. 실수는 모든 유리수(rational numbers)와 무리수(irrational numbers)를 포함하며, 실수는 직관적으로 연속된 수의 선(line)으로 생각될 수 있다.

* **유리수와 무리수**: 유리수는 두 정수의 비로 표현될 수 있는 수로, 소수점이 끝나거나 반복된다. 무리수는 소수점이 무한히 비반복적으로 이어지는 수로, 대표적으로 $ \sqrt{2} $, $ \pi $ 등이 있다.
* **완비성**: 실수체는 완비성(completeness)을 가진다. 이는 실수의 상한과 하한이 항상 존재함을 의미하며, 실수체의 중요한 특성이다. 완비성은 실수체가 공리적으로 정의될 수 있음을 보장한다.

#### 대수학의 기초 (Fundamentals of Algebra)

허수의 개념은 기본적인 대수학적 연산의 연장선상에서 등장한다. 특히, 다음과 같은 개념들이 중요하다:

* **다항식(Polynomial)**: 다항식은 여러 개의 항(term)으로 구성된 대수적 표현식이다. 예를 들어 $ ax^2 + bx + c $ 같은 2차 다항식이 있다. 실수계에서 다항식의 해를 구하는 과정에서 허수가 자연스럽게 등장한다.
* **근과 계수의 관계**: 다항식의 해(근)는 허수의 도입을 통해 확장될 수 있다. 예를 들어, $ x^2 + 1 = 0 $의 해는 실수계에서는 존재하지 않지만, 허수계에서는 $ x = \pm i $로 표현된다.
* **복소수의 등장 배경**: 허수는 실수 계에서의 다항식의 해를 일반화하기 위해 도입되었다. 이는 결국 복소수체(complex field)로 확장되며, 모든 다항식이 복소수체에서 해를 가진다는 중요한 결과로 이어진다.

#### 수 체계의 확장 (Extension of Number Systems)

허수는 수 체계의 확장의 일환으로 이해할 수 있다. 수 체계는 자연수에서 시작해 정수, 유리수, 실수, 그리고 복소수로 확장된다.

* **자연수에서 복소수까지**: 자연수는 셈을 위한 기초적 수 체계로, 여기에 음의 정수를 포함시켜 정수가 되고, 정수의 비율을 포함시켜 유리수가 된다. 여기에 무리수를 추가하여 실수가 되며, 마지막으로 실수와 허수를 합쳐 복소수로 확장된다.
* **체(field)**: 수 체계의 확장 과정은 체 이론(field theory)의 맥락에서 이해될 수 있다. 실수체는 복소수체의 부분체(subfield)로, 복소수체는 실수체의 위에 정의된 $ i $라는 새로운 원소를 추가함으로써 얻어진다.

#### 복소평면 (Complex Plane)

복소수는 기하학적으로 복소평면(complex plane) 위의 점으로 해석된다. 이 평면은 실수축(real axis)과 허수축(imaginary axis)으로 구성된다.

* **아르간 평면(Argand Plane)**: 복소평면은 복소수를 시각화하기 위한 도구로, 아르간 평면이라고도 불린다. 복소수 $ z = a + bi $는 평면상의 점 $ (a, b) $에 대응된다.
* **극좌표와 복소수**: 복소수는 직교좌표계(cartesian coordinates)뿐만 아니라 극좌표계(polar coordinates)로도 표현된다. 이는 복소수의 크기와 각도를 명확히 나타낼 수 있으며, 허수의 기하학적 성질을 이해하는 데 중요한 역할을 한다.

#### 선형대수학의 기초 (Fundamentals of Linear Algebra)

허수는 선형대수학의 맥락에서도 이해될 수 있다. 선형대수학은 벡터 공간과 행렬을 다루는 수학의 한 분야로, 허수는 여기에서 중요한 역할을 한다.

* **벡터 공간(Vector Space)**: 복소수는 2차원 실수 벡터 공간으로 해석될 수 있다. 이는 복소수의 대수적 연산이 벡터 공간 내의 선형 변환(linear transformation)으로 해석될 수 있음을 의미한다.
* **행렬(Matrix)와 고윳값(Eigenvalue)**: 허수는 행렬의 고윳값 문제에서도 등장한다. 예를 들어, 실수 행렬의 고윳값이 허수로 나타날 수 있으며, 이는 물리학과 공학에서 중요한 의미를 가진다.

***

관련 자료:

* Axler, Sheldon. *Linear Algebra Done Right*. Springer, 2015.
* Hoffman, Kenneth, and Ray Kunze. *Linear Algebra*. Prentice Hall, 1971.
* Rudin, Walter. *Principles of Mathematical Analysis*. McGraw-Hill, 1976.
* Lang, Serge. *Algebra*. Springer, 2002.