첫 번째 기둥: 필드 구조

계산이 막힐 때

친구와 피자를 나눠 먹는다고 생각해 봅시다. 피자 3판을 5명이 똑같이 나눠 먹으려면? 각자 $\frac{3}{5}$판씩 먹으면 됩니다. 그런데 잠깐, 초등학교 저학년 때는 이 계산이 불가능했습니다. 자연수만 알던 시절에는 $3 \div 5$라는 나눗셈 자체가 '답이 없는' 문제였으니까요.

이처럼 수학에서 가장 기본적인 질문 중 하나는 "언제 계산이 막힘없이 가능한가?"입니다. 해석학의 첫 걸음은 바로 이 질문에서 시작합니다.

수 체계의 진화: 계산의 자유로움을 향하여

자연수에서 정수로

자연수 $\mathbb{N} = \{1, 2, 3, \ldots\}$에서는 덧셈과 곱셈은 자유롭습니다:

• $3 + 5 = 8$ ✓
• $3 \times 5 = 15$ ✓

하지만 뺄셈에서 막힙니다:

• $3 - 5 = ?$ ✗

이를 해결하기 위해 음의 정수를 도입하여 정수 $\mathbb{Z} = \{\ldots, -2, -1, 0, 1, 2, \ldots\}$로 확장합니다.

정수에서 유리수로

정수에서는 덧셈, 뺄셈, 곱셈이 자유롭지만, 나눗셈에서 다시 막힙니다:

• $3 \div 2 = ?$ ✗

이를 해결하기 위해 분수를 도입하여 유리수 $\mathbb{Q} = \{\frac{p}{q} : p, q \in \mathbb{Z}, q \neq 0\}$로 확장합니다.

💭 잠깐, 생각해 봅시다!
유리수에서는 사칙연산이 완전히 자유로울까요? 0으로 나누는 것을 제외하면 모든 계산이 가능할까요?

역사 속의 수학자들

이러한 수 체계의 확장은 단순한 논리적 필요가 아니라, 인류 문명의 실제적 필요에서 비롯되었습니다:

• 고대 바빌로니아 (기원전 2000년경): 토지 측량과 상업 거래를 위해 분수 체계 개발
• 7세기 인도: 브라마굽타(Brahmagupta)가 음수를 '빚'의 개념으로 체계화
• 9세기 이슬람: 알콰리즈미(Al-Khwarizmi)가 대수 방정식을 통해 유리수 체계 완성

특히 음수의 도입은 오랜 논쟁을 거쳤습니다. 16세기까지도 많은 유럽 수학자들은 음수를 "허구의 수(imaginary number)" 또는 "불합리한 수(irrational number)"라고 불렀습니다. 데카르트(Descartes)조차 음수를 "거짓 수"라고 불렀죠.

필드(Field): 사칙연산의 완전한 체계

【직관】 Intuition - 일상적 계산 경험

필드는 우리가 일상에서 하는 계산이 모두 가능한 수 체계입니다. 계산기에서 사칙연산 버튼(+, -, ×, ÷)을 누를 때, 0으로 나누는 경우만 제외하면 항상 답이 나오는 것처럼요.

【통찰】 Insight - 핵심 아이디어

필드의 핵심은 두 가지입니다:
1. 닫혀있음(closure): 연산 결과가 다시 같은 체계 안에 있음
2. 역원(inverse)의 존재: 모든 연산을 '되돌릴' 수 있음

예를 들어:

• $a + b$의 결과를 되돌리려면? $-b$를 더하면 됩니다
• $a \times b$의 결과를 되돌리려면? $b^{-1}$을 곱하면 됩니다 (단, $b \neq 0$)

【정립】 Formalization - 엄밀한 수학적 정의

정의 1.1 (필드, Field)
집합 $F$와 두 연산 $(+, \cdot)$이 다음 공리를 만족하면 $(F, +, \cdot)$를 필드라 한다:

1. 덧셈 구조: $(F, +)$는 다음을 만족한다

   • (A1) 결합법칙: $\forall a,b,c \in F$, $(a + b) + c = a + (b + c)$
   • (A2) 항등원: $\exists 0 \in F$ s.t. $\forall a \in F$, $a + 0 = a$
   • (A3) 역원: $\forall a \in F$, $\exists (-a) \in F$ s.t. $a + (-a) = 0$
   • (A4) 교환법칙: $\forall a,b \in F$, $a + b = b + a$

2. 곱셈 구조: $(F \setminus \{0\}, \cdot)$는 다음을 만족한다

   • (M1) 결합법칙: $\forall a,b,c \in F$, $(a \cdot b) \cdot c = a \cdot (b \cdot c)$
   • (M2) 항등원: $\exists 1 \in F \setminus \{0\}$ s.t. $\forall a \in F$, $a \cdot 1 = a$
   • (M3) 역원: $\forall a \in F \setminus \{0\}$, $\exists a^{-1} \in F$ s.t. $a \cdot a^{-1} = 1$
   • (M4) 교환법칙: $\forall a,b \in F$, $a \cdot b = b \cdot a$

3. 분배법칙: $\forall a,b,c \in F$, $a \cdot (b + c) = a \cdot b + a \cdot c$

Remark. 사실 (A1)-(A4)와 (M1)-(M4)는 대수적으로 같은 구조를 갖고 있습니다. 이러한 연산 구조를 가진 집합을 아벨 군(abelian group)이라고 합니다.

이 정의를 다시 해석하면:

• "모든 원소가 덧셈 역원을 가진다" = 뺄셈이 항상 가능
• "0이 아닌 모든 원소가 곱셈 역원을 가진다" = 나눗셈이 항상 가능 (0 제외)

구체적인 예시와 반례

필드인 것들 ✓

예제 1.1 [🟢 기본]

유리수 $\mathbb{Q}$가 필드임을 확인해 봅시다.

• 덧셈의 닫혀있음: $\frac{a}{b} + \frac{c}{d} = \frac{ad + bc}{bd} \in \mathbb{Q}$ ✓
• 곱셈의 닫혀있음: $\frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd} \in \mathbb{Q}$ ✓
• 역원의 존재: $\frac{a}{b}$의 덧셈 역원은 $-\frac{a}{b}$, 곱셈 역원은 $\frac{b}{a}$ (단, $a \neq 0$) ✓

예제 1.2 [🟡 표준]

실수 $\mathbb{R}$와 복소수 $\mathbb{C}$도 필드입니다. 특히 복소수는:
$\mathbb{C} = \{a + bi : a, b \in \mathbb{R}, i^2 = -1\}$

복소수 $z = a + bi$의 곱셈 역원은?
$z^{-1} = \frac{a - bi}{a^2 + b^2} \quad (z \neq 0)$

필드가 아닌 것들 ✗

예제 1.3 [🟢 기본]

정수 $\mathbb{Z}$는 필드가 아닙니다. 왜일까요?

🤔 독자의 의문: "정수도 사칙연산이 되는데 왜 필드가 아니죠?"

반례를 봅시다: $2 \in \mathbb{Z}$의 곱셈 역원은 $\frac{1}{2}$이어야 하는데, $\frac{1}{2} \notin \mathbb{Z}$입니다!

예제 1.4 [🔴 도전]

$\mathbb{Z}_6 = \{0, 1, 2, 3, 4, 5\}$에서 덧셈과 곱셈을 modulo 6으로 정의하면 필드가 될까요?

힌트: $2 \times 3 = 0 \pmod{6}$임을 관찰하세요. 이것이 의미하는 바는?

⚠️ 주의! 흔한 오개념

"연산이 정의되어 있으면 필드다" ✗
"0으로 나누는 것만 빼면 필드다" ✗

필드가 되려면 모든 공리를 만족해야 합니다. 특히 영인자(zero divisor)가 없어야 합니다!

고등학교 수학과의 연결

📚 고교과정 연계

고등학교에서 배운 "실수의 성질"이 바로 필드 공리입니다:

• 교환법칙, 결합법칙, 분배법칙
• 항등원(0과 1), 역원의 존재

다만 고등학교에서는 이를 '당연한 성질'로 받아들였지만, 대학 수학에서는 이것이 필드를 정의하는 공리임을 명확히 합니다.

왜 필드 구조가 중요한가?

필드는 해석학의 기초입니다. 극한, 연속, 미분, 적분 등 모든 해석학적 개념은 필드 구조 위에서 정의됩니다. 특히:

1. 극한의 정의: $|a_n - L| < \epsilon$에서 뺄셈과 절댓값이 필요
2. 미분의 정의: $\frac{f(x+h) - f(x)}{h}$에서 나눗셈이 필요
3. 적분의 정의: 리만 합에서 덧셈과 곱셈이 필요

더 생각해볼 문제들

연습문제 [💎 프로젝트]

1. 유한체 $\mathbb{Z}_p$ (p는 소수)가 필드임을 증명하고, Julia로 사칙연산을 구현해보세요.

2. 다음 집합이 적절한 연산 하에서 필드가 되는지 탐구해보세요:

   • $\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} : a, b \in \mathbb{Q}\}$
   • 이진 소수점으로 표현 가능한 모든 수의 집합

📌 CheckPoint

이번 절의 핵심:

• ✅ 필드는 사칙연산(0으로 나누기 제외)이 자유로운 수 체계
• ✅ 유리수, 실수, 복소수는 필드이지만 정수는 아님
• ✅ 필드의 공리: 덧셈과 곱셈이 각각 아벨 군을 이루고 분배법칙이 성립
• ✅ 해석학의 모든 이론은 필드 구조 위에서 전개됨

---

다음 절 미리보기
필드에서 사칙연산은 자유롭지만, 아직 '크기 비교'는 할 수 없습니다. $a < b$라는 부등호는 어떻게 정의할까요? 복소수에서는 왜 크기 비교가 불가능할까요? 다음 절에서는 필드에 '순서'를 부여하는 방법을 알아보겠습니다.