[Rudin] 251222 학습노트 (Chap 2)

Baby Rudin 독학 노트: Ch.2 Basic Topology (Compact Set & 오답노트)

Principles of Mathematical Analysis (Rudin) 1~2장 학습 점검 및 심화 정리

본 포스팅은 Principles of Mathematical Analysis (일명 Baby Rudin)를 독학하며 작성한 학습 노트의 내용을 바탕으로, 개념이 모호했던 Compact Set(콤팩트 집합) 파트를 보강하고, 오개념을 수정한 오답 노트입니다.

---

1. Compact Set (콤팩트 집합) 핵심 정리

노트 마지막 부분인 2.31부터 2.42까지의 내용을 정리합니다. [cite_start]해석학에서 가장 중요하고 추상적인 개념인 만큼 정확한 정의가 필수적입니다[cite: 522].

2.31 Definition: Open Cover (열린 덮개)

거리 공간 $X$의 부분집합 $E$가 있을 때, 어떤 열린 집합들의 모임 $\{G_\alpha\}$가 $E \subset \bigcup_\alpha G_\alpha$를 만족하면, $\{G_\alpha\}$를 $E$의 Open cover라고 합니다.

2.32 Definition: Compact (콤팩트) ★

집합 $K$의 "모든" 열린 덮개(Open cover)가 "유한한" 부분 덮개(Finite subcover)를 가질 때, $K$를 Compact하다고 합니다.

👉 의미: 무한히 많은 열린 집합으로 덮더라도, 그중 유한 개만으로도 충분히 덮을 수 있다는 뜻. (무한을 유한으로 다루는 도구)

• 2.33 Compactness is Intrinsic: $K \subset Y \subset X$일 때, $K$가 $X$에서 콤팩트인 것과 $Y$에서 콤팩트인 것은 동치입니다. (전체 공간에 의존하지 않는 절대적 성질)
• 2.34 Theorem: 콤팩트 집합의 부분집합들은 모두 Closed(닫힌 집합)입니다.
• 2.35 Theorem: 콤팩트 집합 $K$의 닫힌 부분집합 $F$는 Compact입니다.
• 2.36 Finite Intersection Property: 콤팩트 집합 내의 닫힌 집합들이 유한 교차 성질을 가지면, 전체 교집합도 공집합이 아닙니다.
• 2.38 & 2.40 k-Cells: $\mathbb{R}^k$ 상의 k-cell(폐구간 직육면체)은 Compact입니다.

2.41 Theorem: Heine-Borel Theorem (하이네-보렐 정리)

[cite_start]

유클리드 공간 $\mathbb{R}^k$의 부분집합 $E$에 대하여 다음 두 명제는 동치입니다[cite: 522].

1. $E$ is Closed and Bounded (닫혀있고 유계이다).
2. $E$ is Compact.

※ 중요: 추상적인 'Compact' 개념을 우리가 직관적으로 아는 'Closed & Bounded'로 판별할 수 있게 해주는 강력한 정리입니다. (단, $\mathbb{R}^k$에서만 성립)

---

2. 오답 노트 (Correction Log)

학습 노트 작성 중 발생한 오개념이나 모호한 부분을 교정합니다.

[cite_start]

① Dedekind Cuts (데데킨트 절단) [cite: 282, 291]

User Note: "유리수를 특정 지점에서 잘라서 끊임없이 근사해서 새로운 수에 접근시킬 계획인가?"

Correction: '근사(Approximation)'가 아니라 '정의(Definition)' 그 자체입니다. $\sqrt{2}$로 다가가는 것이 아니라, $p^2 < 2$인 유리수 집합(Cut) 그 덩어리를 $\sqrt{2}$라는 실수로 정의해버리는 방식입니다.

[cite_start]

② Sup/Inf의 포함 관계 [cite: 512, 518]

User Note: "half-closed도 되지 않다? inf는 아니지만."

Correction: 집합 $E$가 유계라면 $\sup E$와 $\inf E$는 실수 상에 반드시 존재합니다. 하지만 그것이 집합 $E$ 안에 포함되느냐는 $E$가 Closed일 때만 보장됩니다. (예: $(0, 1)$의 $\sup$은 1이지만 $1 \notin (0, 1)$)

---

3. Note 확장: 차원과 대수 구조

[cite_start]

노트 여백에 적혀있던 "11차원, 4원수, 2차원 연산"에 대한 심화 해설입니다[cite: 453, 462].

• Q. 2차원 이상의 공간($\mathbb{R}^k$)에서 곱셈은?
  일반적인 벡터 공간 $\mathbb{R}^k$에서는 벡터 간의 곱셈이 정의되지 않습니다. 하지만 $\mathbb{R}^2$에 특수한 곱셈 규칙($(a,b) \times (c,d) = \dots$)을 부여하여 복소평면($\mathbb{C}$)이라는 '체(Field)'를 만듭니다.
• Q. [cite_start]4원수(Quaternions, $\mathbb{H}$)란? [cite: 455]
  $\mathbb{R}^4$ 공간에 곱셈 구조를 부여한 것입니다. 하지만 치명적인 대가가 따르는데, 바로 "교환법칙이 성립하지 않는다($ij \neq ji$)"는 점입니다. 따라서 Field가 아닌 Division Ring(나눗셈 환)으로 분류됩니다.
• Q. [cite_start]11차원 등의 고차원 연산? [cite: 457]
  수학적으로 실수 위에서 '거리(크기)를 보존하며 나눗셈이 가능한 구조'는 1, 2, 4, 8차원($\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$)까지만 존재한다는 것이 증명되어 있습니다 (Hurwitz's Theorem). 11차원 등에서는 우리가 아는 사칙연산 체계를 완벽히 유지할 수 없습니다.

"The only way to learn mathematics is to do mathematics." - Paul Halmos

다음 단계는 Chapter 3. Numerical Sequences and Series입니다. 수열의 극한과 코시 수열로 이어집니다!