베어 카테고리 정리

완비 거리공간은 nowhere dense인 집합들의 가산합집합이 될 수 없습니다 — 이것이 Baire Category Theorem입니다. [0,1][0, 1]의 유리수를 하나씩 피하는 중첩 닫힌구간 IkI_k를 따라가면, 길이가 00으로 수렴하는 교집합 속에 무리수 한 점이 남습니다.

X=⋃n=1∞En, int⁡(En‾)=∅ impossible if X completeX = \bigcup_{n=1}^{\infty} E_n,\ \operatorname{int}(\overline{E_n}) = \varnothing \ \text{impossible if } X \text{ complete}
B‾(xk+1,rk+1)⊆B(xk,rk)∖Ek+1‾, rk+1<rk/2 ⟹ x∈⋂kB‾(xk,rk), x∉Ek ∀k\overline{B}(x_{k+1}, r_{k+1}) \subseteq B(x_k, r_k) \setminus \overline{E_{k+1}},\ r_{k+1} < r_k/2 \ \Longrightarrow\ x \in \bigcap_k \overline{B}(x_k, r_k),\ x \notin E_k\ \forall k

이 씬이 포함된 학습 경로

예제

Baire Category Theorem을 증명하세요: 완비 거리공간 XX가 nowhere dense인 집합들의 가산합집합 X=⋃n=1∞EnX = \bigcup_{n=1}^{\infty} E_n으로 표현되는 것은 불가능합니다. 즉 완비 거리공간은 자기 자신 안에서 meagre(제1 범주)가 될 수 없습니다.

X=⋃n=1∞En,int⁡(En‾)=∅  ∀nX = \bigcup_{n=1}^{\infty} E_n, \qquad \operatorname{int}(\overline{E_n}) = \varnothing \ \ \forall n
B‾(xk+1,rk+1)⊆B(xk,rk)∖Ek+1‾,0<rk+1<rk/2\overline{B}(x_{k+1}, r_{k+1}) \subseteq B(x_k, r_k) \setminus \overline{E_{k+1}}, \qquad 0 < r_{k+1} < r_k/2
stage 6: I6=[0.75, 0.8125]I_6 = [0.75,\, 0.8125], 생존자 x≈0.78125x \approx 0.78125 — q1=0q_1 = 0, q2=1q_2 = 1을 구간 안에서 회피했고, 나머지는 이미 밖에 있었습니다. 이 중첩 닫힌구간들이 증명의 중첩 닫힌공 B‾(xk,rk)\overline{B}(x_k, r_k)에 해당합니다.
증명 보기
  1. E1E_1이 nowhere dense이므로 int⁡(E1‾)=∅\operatorname{int}(\overline{E_1}) = \varnothing이고, U1=X∖E1‾U_1 = X \setminus \overline{E_1}은 비어 있지 않은 열린집합입니다. x1∈U1x_1 \in U_1을 잡으면 B(x1,ρ)⊆U1B(x_1, \rho) \subseteq U_1인 ρ>0\rho > 0이 있고, r1=min⁡(ρ/2,1/2)r_1 = \min(\rho/2, 1/2)로 두면 닫힌공 B‾(x1,r1)⊆U1\overline{B}(x_1, r_1) \subseteq U_1이며 r1<1r_1 < 1입니다.
  2. 귀납적으로 B‾(xk,rk)\overline{B}(x_k, r_k)가 잡혔다고 하자. V=B(xk,rk)∖Ek+1‾V = B(x_k, r_k) \setminus \overline{E_{k+1}}은 비어 있지 않은 열린집합입니다: B(xk,rk)B(x_k, r_k)가 비어 있지 않은 열린집합인데, 만약 B(xk,rk)⊆Ek+1‾B(x_k, r_k) \subseteq \overline{E_{k+1}}이라면 B(xk,rk)⊆int⁡(Ek+1‾)=∅B(x_k, r_k) \subseteq \operatorname{int}(\overline{E_{k+1}}) = \varnothing이 되어 모순이기 때문입니다. xk+1∈Vx_{k+1} \in V를 잡고 반지름을 rk/2r_k/2보다 작게, 그리고 VV 안에 닫힌공이 들어가도록 줄이면 B‾(xk+1,rk+1)⊆B(xk,rk)∖Ek+1‾\overline{B}(x_{k+1}, r_{k+1}) \subseteq B(x_k, r_k) \setminus \overline{E_{k+1}}, 0<rk+1<rk/20 < r_{k+1} < r_k/2를 얻습니다.
  3. 수열 (xk)(x_k)는 Cauchy입니다: m>km > k이면 xm∈B‾(xk+1,rk+1)⊆B(xk,rk)x_m \in \overline{B}(x_{k+1}, r_{k+1}) \subseteq B(x_k, r_k)이므로 d(xk,xm)<rkd(x_k, x_m) < r_k이고, rk<2−(k−1)r1→0r_k < 2^{-(k-1)} r_1 \to 0이기 때문입니다. XX가 완비이므로 xk→x∈Xx_k \to x \in X인 극한이 존재합니다.
  4. 고정된 kk에 대해 꼬리 (xm)m≥k(x_m)_{m \ge k}는 닫힌집합 B‾(xk,rk)\overline{B}(x_k, r_k) 안에 있으므로 극한 x∈B‾(xk,rk)x \in \overline{B}(x_k, r_k)입니다. 따라서 모든 kk에 대해 x∈⋂kB‾(xk,rk)x \in \bigcap_k \overline{B}(x_k, r_k)이고, x∈B‾(x1,r1)⊆X∖E1‾x \in \overline{B}(x_1, r_1) \subseteq X \setminus \overline{E_1}이며 j≥2j \ge 2에 대해 x∈B‾(xj,rj)⊆B(xj−1,rj−1)∖Ej‾x \in \overline{B}(x_j, r_j) \subseteq B(x_{j-1}, r_{j-1}) \setminus \overline{E_j}이므로, x∉Ejx \notin E_j가 모든 jj에 대해 성립합니다.
  5. 그런데 x∈X=⋃jEjx \in X = \bigcup_j E_j이므로 어떤 jj에 대해 x∈Ejx \in E_j이어야 합니다 — 모순입니다. 따라서 완비 거리공간은 nowhere dense 집합들의 가산합집합이 될 수 없습니다. 직관: nowhere dense 집합은 "구멍"을 남기고, 완비성은 그 구멍들을 따라 내려간 극한점을 공간 안에 붙잡아 둡니다.

모델의 중첩구간을 이용해 [0,1][0, 1] 안에 무리수가 존재함을 증명하세요: [0,1][0, 1]의 유리수를 q1,q2,…q_1, q_2, \dots로 열거하고 각 단계에서 구간 안에 들어온 qkq_k를 피하는 닫힌구간 IkI_k를 잡습니다. 길이 ℓk=bk−ak→0\ell_k = b_k - a_k \to 0임을 보이고 (유리수가 조밀하다는 것을 이용), ⋂kIk={x}\bigcap_k I_k = \{x\}인 점 xx가 모든 qkq_k와 다름을 보이세요.

qk∈Ik−1 ⟹ ℓk=ℓk−1/4,qk∉Ikq_k \in I_{k-1} \ \Longrightarrow \ \ell_k = \ell_{k-1}/4, \quad q_k \notin I_k
ℓk→0,⋂k=1∞Ik={x},x≠qk ∀k\ell_k \to 0, \qquad \bigcap_{k=1}^{\infty} I_k = \{x\}, \qquad x \ne q_k \ \forall k
stage 14: I14=[0.80859375, 0.8125]I_{14} = [0.80859375,\, 0.8125] (길이 1/2561/256), 생존자 x≈0.810546875x \approx 0.810546875 — q1=0q_1 = 0, q2=1q_2 = 1, q7=3/4q_7 = 3/4, q11=4/5q_{11} = 4/5를 구간 안에서 회피했고, xx는 열거된 14개의 유리수 모두와 다릅니다.
증명 보기
  1. 구성에 의해 각 IkI_k는 닫힌구간이고 Ik+1⊆IkI_{k+1} \subseteq I_k이며, qkq_k가 Ik−1I_{k-1} 안에 들어오면 길이가 1/41/4로 줄어드는 IkI_k를 잡아 qk∉Ikq_k \notin I_k가 됩니다 (qkq_k가 이미 밖에 있으면 Ik=Ik−1I_k = I_{k-1}).
  2. 길이가 00으로 수렴함을 보입니다. 단계 KK 이후로 더 이상 "적중"이 없다고 가정하면, n≥Kn \ge K인 모든 nn에 대해 In=IKI_n = I_K이고 길이는 양수로 고정됩니다. 그런데 IKI_K는 양의 길이를 가지므로 유리수를 무한히 많이 포함하고, 각 유리수는 열거에서 정확히 한 번씩 등장하므로, m>Km > K이면서 qm∈IKq_m \in I_K인 mm이 존재합니다. 그러면 Im−1=IK∋qmI_{m-1} = I_K \ni q_m이므로 단계 mm은 적중 — 모순입니다. 따라서 적중은 무한히 많이 일어나고, 매번 길이가 1/41/4이 되므로 ℓk→0\ell_k \to 0입니다.
  3. R\mathbb{R}의 완비성에 의해 (중첩구간 정리), 길이가 00으로 가는 중첩 닫힌구간들의 교집합은 정확히 한 점입니다: ⋂kIk={x}\bigcap_k I_k = \{x\}. 그리고 x∈Ikx \in I_k이면서 qk∉Ikq_k \notin I_k이므로, x≠qkx \ne q_k가 모든 kk에 대해 성립합니다.
  4. {qk}\{q_k\}는 [0,1][0, 1]의 모든 유리수를 열거하므로, xx는 [0,1][0, 1] 안의 무리수입니다. 따라서 [0,1]=⋃k{qk}[0, 1] = \bigcup_k \{q_k\} — 점들의 가산합집합 — 일 수 없고, [0,1][0, 1]은 비가산입니다. 이것이 Baire 정리의 한 점 버전(point-set version)입니다: 한 점짜리 집합은 R\mathbb{R}에서 nowhere dense이므로, 완비인 [0,1][0, 1]이 점들의 가산합집합이면 Baire 정리에 모순됩니다.

[아이디어 스케치 — 완전한 증명이 아닙니다] C[0,1]C[0, 1]에 sup norm ∥f∥∞\|f\|_\infty를 주면 완비 거리공간이 됩니다. m≥1m \ge 1에 대해 Fm={f:∃x ∀y ∣f(x)−f(y)∣≤m∣x−y∣}F_m = \{f : \exists x\ \forall y\ |f(x) - f(y)| \le m|x-y|\}라 두세요. 각 FmF_m이 closed nowhere dense임(스케치)을 이용해, "어느 점에서도 미분 가능하지 않은 함수가 typical하다" — 즉 comeager — 는 아이디어를 설명하세요. 아래의 closed/nowhere dense 검증은 스케치이며, 완전히 증명하지 않습니다.

Fm={f∈C[0,1]:∃x ∀y ∣f(x)−f(y)∣≤m∣x−y∣}F_m = \{f \in C[0,1] : \exists x\ \forall y\ |f(x) - f(y)| \le m|x-y|\}
differentiable somewhere⊆⋃m=1∞Fm(meagre)\text{differentiable somewhere} \subseteq \bigcup_{m=1}^{\infty} F_m \quad \text{(meagre)}
stage 10: I10=[0.796875, 0.8125]I_{10} = [0.796875,\, 0.8125], 생존자 x≈0.8046875x \approx 0.8046875 — 세 번의 축소로 q1q_1, q2q_2, q7q_7을 구간 안에서 회피했습니다. 같은 중첩공 아이디어를 C[0,1]C[0, 1]에 적용하면 미분 불가능한 함수가 typical해집니다.
증명 보기
  1. [스케치] FmF_m은 닫힌집합입니다. fj∈Fmf_j \in F_m이 fj→ff_j \to f (uniformly)이고 각 fjf_j의 witness가 xjx_j — 즉 ∣fj(xj)−fj(y)∣≤m∣xj−y∣|f_j(x_j) - f_j(y)| \le m|x_j - y| — 라 하자. Bolzano–Weierstrass로 부분수열 xj′→xx_{j'} \to x를 잡으면, 부등식을 극한으로 넘겨 ∣f(x)−f(y)∣≤m∣x−y∣|f(x) - f(y)| \le m|x - y|를 얻으므로 f∈Fmf \in F_m입니다.
  2. [스케치] FmF_m은 nowhere dense입니다. f∈Fmf \in F_m와 ε>0\varepsilon > 0가 주어지면, 먼저 ff를 ε/2\varepsilon/2 이내에서 piecewise-linear pp로 근사하고(uniform continuity), 그 위에 진폭 <ε/2<\varepsilon/2이면서 기울기가 pp의 기울기보다 mm 이상 큰 미세한 톱니파(zigzag)를 얹습니다. 그러면 어떤 후보점 xx에서도 근처의 톱니 하나가 mm-Lipschitz bound를 깨뜨리므로, 섭동된 gg는 FmF_m에 속하지 않으면서 ∥g−f∥∞<ε\|g - f\|_\infty < \varepsilon입니다. 닫힌집합이므로 내부는 비어 있습니다.
  3. 어느 점에서든 미분 가능한 함수는 ⋃mFm\bigcup_m F_m에 속합니다. f′(x0)f'(x_0)이 존재하면, ∣y−x0∣<δ|y - x_0| < \delta에서는 ∣f(y)−f(x0)∣≤m1∣y−x0∣|f(y) - f(x_0)| \le m_1|y - x_0| (m1≥∣f′(x0)∣+1m_1 \ge |f'(x_0)| + 1)이고, ∣y−x0∣≥δ|y - x_0| \ge \delta인 먼 점에서는 유계성으로 ∣f(y)−f(x0)∣≤2∥f∥∞≤2∥f∥∞δ∣y−x0∣|f(y) - f(x_0)| \le 2\|f\|_\infty \le \frac{2\|f\|_\infty}{\delta}|y - x_0|입니다. 정수 m≥max⁡(m1,2∥f∥∞/δ)m \ge \max(m_1, 2\|f\|_\infty/\delta)를 잡으면 모든 yy에 대해 ∣f(y)−f(x0)∣≤m∣y−x0∣|f(y) - f(x_0)| \le m|y - x_0| — 즉 f∈Fmf \in F_m입니다.
  4. 따라서 "어느 점에서든 미분 가능한 함수들" ⊆⋃m=1∞Fm\subseteq \bigcup_{m=1}^{\infty} F_m은 nowhere dense 집합들의 가산합집합 — meagre입니다. 그 여집합인 "어디서도 미분 가능하지 않은 함수들"은 comeager이며, Baire 정리(문제 1)에 의해 비어 있지 않을 뿐 아니라 조밀합니다. 다시 강조합니다: 위의 closed/nowhere dense 검증은 아이디어 스케치이며, 완전한 증명은 여기서 다루지 않습니다.

4. 위상