08 The Number E

📘 Chapter 3 — The Number $e$ 통합 강의

---

📍 1. 전체 구조 (Big Picture)

이 절에서는 해석학 전체에서 가장 중요한 상수 중 하나인 $e$를 급수로 정의한다.

• 먼저 \(e=\sum_{n=0}^{\infty}\frac1{n!}\) 로 정의한다.
• 이어서 \(\left(1+\frac1n\right)^n\to e\) 를 증명한다.
• 그 다음 오차 추정을 통해 $e$의 근사가 매우 빠르다는 것을 본다.
• 마지막으로 $e$가 irrational임을 증명한다.

이 절은 이후 Chapter 8의 exponential/logarithmic function의 출발점이다.

---

🔵 2. 원문 기반 정리 (완전 반영)

▪ Definition 3.30

\[e=\sum_{n=0}^{\infty}\frac1{n!}.\]

여기서 $n\ge1$이면 \(n!=1\cdot2\cdot3\cdots n, \qquad 0!=1.\)

partial sums를 \(s_n=1+1+\frac1{2!}+\frac1{3!}+\cdots+\frac1{n!}\) 라 두면 \(s_n<1+1+\frac12+\frac1{2^2}+\cdots+\frac1{2^{n-1}}<3.\) 따라서 급수는 수렴하고, 정의가 타당하다.

▪ Theorem 3.31

\[\lim_{n\to\infty}\left(1+\frac1n\right)^n=e.\]

▪ Proof

다음을 두자. \(s_n=\sum_{k=0}^n\frac1{k!}, \qquad t_n=\left(1+\frac1n\right)^n.\)

이항정리에 의해 \(t_n=1+1+\frac1{2!}\left(1-\frac1n\right)+\frac1{3!}\left(1-\frac1n\right)\left(1-\frac2n\right)+\cdots.\) 따라서 각 항이 대응하는 $1/k!$보다 작거나 같으므로 \(t_n\le s_n.\) Hence \(\limsup t_n\le e.\)

반대로, 고정된 $m$에 대해 $n\ge m$이면 \(t_n\ge 1+1+\frac1{2!}\left(1-\frac1n\right)+\cdots+\frac1{m!}\left(1-\frac1n\right)\cdots\left(1-\frac{m-1}{n}\right).\) 이제 $n\to\infty$를 보내면 \(\liminf t_n\ge 1+1+\frac1{2!}+\cdots+\frac1{m!}=s_m.\) 이것이 모든 $m$에 대해 성립하므로, $m\to\infty$를 보내면 \(e\le \liminf t_n.\) 따라서 \(e\le \liminf t_n\le \limsup t_n\le e,\) 즉 \(t_n\to e.\)

▪ Error estimate

\(e-s_n=\frac1{(n+1)!}+\frac1{(n+2)!}+\cdots\) 이고, \(e-s_n<\frac1{(n+1)!}\left(1+\frac1{n+1}+\frac1{(n+1)^2}+\cdots\right)=\frac1{n!n}.\) 따라서 \(0<e-s_n<\frac1{n!n}.\)

▪ Theorem 3.32

$e$는 무리수이다.

▪ Proof

모순을 위해 $e=p/q$라 하자. 위의 오차 추정에서 $n=q$를 넣으면 \(0<q!(e-s_q)<\frac1q.\) 그런데 \(q!e=q!\frac pq\) 는 정수이고, \(q!s_q=q!\left(1+1+\frac1{2!}+\cdots+\frac1{q!}\right)\) 도 정수이다. 따라서 \(q!(e-s_q)\) 는 정수여야 한다.

하지만 위 부등식은 이것이 0과 1 사이의 정수라고 말한다. 이는 불가능하다. 모순. 따라서 $e$는 무리수이다.

---

🟢 3. 개념 해설 + 엄밀성

왜 $e$를 급수로 정의하는가

이 정의는 매우 강력하다.

• 수렴이 빠르다.
• 오차를 쉽게 estimate할 수 있다.
• 이후 미분 가능한 exponential function으로 자연스럽게 이어진다.

$(1+1/n)^n$과의 연결이 중요한 이유

많은 학생들이 $e$를 먼저 \(\left(1+\frac1n\right)^n\) 의 극한으로 배운다. Rudin은 오히려 급수로 먼저 정의하고, 그 다음 이 극한이 같은 수를 준다는 것을 증명한다. 해석적으로 더 통제하기 쉬운 정의를 먼저 택한 셈이다.

irrationality proof의 핵심

오차가 너무 작아서 정수일 수 없다는 점을 이용한다. 즉 “정수인데 0과 1 사이”라는 불가능한 상황을 만든다.

---

🟡 4. 핵심 사용법 (문제 풀이 연결)

📌 언제 사용하는가

• exponential function의 기초 상수를 정의할 때
• factorial이 들어간 급수의 빠른 수렴을 볼 때
• irrationality proof의 전형을 볼 때

📌 문제 풀이 패턴

1. majorization by geometric series
   $1/n!$를 $1/2^{n-1}$ 같은 geometric tail로 눌러 수렴시킨다.

2. sandwich of limsup/liminf
   $(1+1/n)^n\to e$ 증명에서 결정적이다.

3. integer contradiction pattern
   근사 오차에 factorial을 곱해 정수이면서 0과 1 사이임을 만든다.

---

🔴 5. 대표 문제 & 풀이 전략

실제 계산 감각

오차 추정 \(0<e-s_n<\frac1{n!n}\) 은 $e$를 매우 빠르게 근사할 수 있게 해 준다. 이건 단순한 이론이 아니라 실제 계산에 직접 도움이 된다.

Chapter 8과의 연결

나중에 $e^x$, $e^z$, logarithm을 정의하고 미분할 때, 사실상 이 절에서 정의한 $e$가 출발점이다.

---

⚫ 6. 섹션 체크리스트

• Definition 3.30 포함
• Theorem 3.31 포함
• 오차 추정 포함
• Theorem 3.32 포함
• 문제 풀이 연결 포함
• PDF 원문과 문장 단위 추가 대조 완료

---

⚪ 7. 이해 확인 & 훈련 문제

개념 확인 질문

1. 왜 $\sum 1/n!$는 geometric series와 비교해서 수렴한다고 할 수 있는가?
2. $(1+1/n)^n\to e$ 증명에서 왜 limsup과 liminf를 따로 잡는가?
3. irrationality proof에서 factorial을 곱하는 이유는 무엇인가?

간단한 훈련 문제

1. $s_5$를 계산해 $e$의 근사값을 구해 보라.
2. $0<e-s_3<1/(3!\cdot3)$를 직접 확인하라.
3. $\sum 1/n!$의 tail이 빠르게 작아지는 이유를 설명하라.