함수의 극한 · Limits of Functions
문제. DEF 4.1과 THM 4.2에서 $p$는 $E$의 극한점이라고 가정하였다. $p \in E$이지만 $E$의 극한점이 아닌 경우에도 다음으로 $\lim_{x \to p} f(x) = q$를 정의할 수 있다: $q \in Y$이 존재하여 임의의 $\varepsilon > 0$에 대해 $\delta > 0$이 존재하여
인 $x$에 대해 $d_Y(f(x), q) < \varepsilon$.
이 정의하에서 다음이 성립하는지 증명하거나 반증하라: $\lim_{x \to p} f(x) = q \iff p_n \neq p$, $\lim p_n = p$인 $E$ 안의 모든 수열에 대해 $\lim f(p_n) = q$.
반증. 일반적으로 성립하지 않는다.
반례. $X = Y = \mathbb{R}$, $E = \{0\} \cup \{1\}$, $p = 0$, $f: E \to \mathbb{R}$을 $f(0) = 0$, $f(1) = 5$로 놓자. $p = 0$은 $E$의 극한점이 아니다 ($E$는 고립점만 가짐).
수정된 정의에서: $0 < d_X(x, 0) < \delta$인 $x \in E$는 $\delta < 1$이면 없다 (공집합). 따라서 "모든 그러한 $x$에 대해"는 자명하게 성립. 즉 임의의 $q \in \mathbb{R}$에 대해 정의가 성립. 특히 $q$가 유일하지 않음.
반면 "$p_n \neq p$, $p_n \to p$인 $E$ 안의 수열"은 존재하지 않는다 ($p_n \in E = \{0,1\}$이고 $p_n \neq 0$이면 $p_n = 1 \not\to 0$). 따라서 "모든 그러한 수열에 대해 $\lim f(p_n) = q$"도 자명하게 임의의 $q$에 대해 성립.
즉 이 경우 양쪽 모두 임의의 $q$에 대해 성립하므로 "동치"는 일단 명제 수준에서는 논리적으로 맞다. 그러나 극한의 유일성이 보장되지 않는다는 점이 본질적 문제이다. 극한 정의로서의 의미를 상실하므로 극한점 조건이 꼭 필요하다.
Problem. Under the extended definition (without $p$ being a limit point), does $\lim_{x \to p} f(x) = q$ iff $\lim f(p_n) = q$ for all sequences $\{p_n\}$ in $E$ with $p_n \neq p$ and $p_n \to p$?
Disprove. Take $E = \{0, 1\}$, $p = 0$ (not a limit point). Both sides are vacuously true for any $q$: on the function side, no $x \in E$ satisfies $0 < |x - 0| < \delta$ for small $\delta$; on the sequence side, no such sequence exists. So uniqueness of the limit fails, showing why the limit point hypothesis is necessary. $\square$
문제. 다음이 동치인가? 증명하거나 반증하라.
(i) $p_n \neq p$, $\lim p_n = p$인 $E$ 안의 모든 $\{p_n\}$에 대해 $\lim f(p_n) = q$.
(ii) $\lim p_n = p$인 $E$ 안의 모든 $\{p_n\}$에 대해 $\lim f(p_n) = q$.
반증. 일반적으로 동치가 아니다.
반례. $X = Y = \mathbb{R}$, $E = \mathbb{R}$, $p = 0$, $q = 0$, $f(x) = 1$ ($x \neq 0$), $f(0) = 7$.
(i) 성립. $p_n \neq 0$, $p_n \to 0$이면 $f(p_n) = 1$ ($\forall n$). 즉 $\lim f(p_n) = 1$. 그러므로 $q = 1$일 때 (i)은 성립. ($q = 0$이면 (i) 불성립. 재정립: $q := 1$로 놓으면 (i) 성립.)
**재반례 구성.** $q = 1$로 놓고, (i) 성립, (ii) 불성립을 보자. $\lim p_n = 0$인 수열이 있으나 어떤 $n$에서 $p_n = 0$인 경우: $p_n = 0$ ($\forall n$). 그러면 $f(p_n) = 7 \not\to 1$. 따라서 (ii)는 성립하지 않음.
즉 (i)은 $p$에서의 함숫값 $f(p)$와 무관하고, (ii)는 $f(p)$를 반드시 포함. 두 조건은 함수 $f$가 $p$에서 연속인지에 대한 추가 조건에 따라 달라진다.
(i) $\iff$ $\lim_{x \to p} f(x) = q$ (by THM 4.2, if $p$ limit point).
(ii) $\iff$ (i)이고 $f(p) = q$. (즉 "연속"에 해당).
Problem. Are (i) $\lim f(p_n) = q$ for all $p_n \neq p$, $p_n \to p$, and (ii) $\lim f(p_n) = q$ for all $p_n \to p$ equivalent?
Disprove. Take $f(x) = 1$ for $x \neq 0$, $f(0) = 7$, $q = 1$. (i) holds but (ii) fails for the constant sequence $p_n = 0$. In fact (ii) $\iff$ (i) + $f(p) = q$, i.e. continuity at $p$. $\square$
문제. $X$가 거리 공간, $E \subset X$, $p$가 $E$의 극한점이라 하자. $E$ 안의 수열 $\{p_n\}$이 존재하여
임을 보여라 (참고: THM 2.80).
증명. $p$가 $E$의 극한점이므로 각 $n \in \mathbb{N}$에 대해 $N_{1/n}(p) \cap (E \setminus \{p\}) \neq \emptyset$. $p_n \in E$를 $0 < d(p, p_n) < 1/n$이 되도록 택한다. 특히 $p_n \neq p$.
EX 3.17에 의해 $\lim p_n = p$.
Problem. If $p$ is a limit point of $E$, show $\exists \{p_n\} \subset E$ with $p_n \neq p$ and $p_n \to p$.
For each $n$, pick $p_n \in E \setminus \{p\}$ with $d(p_n, p) < 1/n$. EX 3.17 gives $p_n \to p$. $\square$
문제. THM 4.8을 증명하라: $p$가 $E$의 극한점이면 $f$가 $p$에서 연속 $\iff \lim_{x \to p} f(x) = f(p)$.
($\Rightarrow$) $f$가 $p$에서 연속이라 하자. $\varepsilon > 0$을 주자. $\delta > 0$이 존재하여 $d_X(x, p) < \delta$이면 $d_Y(f(x), f(p)) < \varepsilon$. 특히 $0 < d_X(x, p) < \delta$인 경우에도 성립. 이는 정확히 $\lim_{x \to p} f(x) = f(p)$의 정의.
($\Leftarrow$) $\lim_{x \to p} f(x) = f(p)$라 하자. $\varepsilon > 0$을 주자. $\delta > 0$이 존재하여 $x \in E$, $0 < d_X(x, p) < \delta$이면 $d_Y(f(x), f(p)) < \varepsilon$.
$x = p$인 경우 $d_Y(f(p), f(p)) = 0 < \varepsilon$. 따라서 $d_X(x, p) < \delta$인 모든 $x \in E$에 대해 $d_Y(f(x), f(p)) < \varepsilon$. 즉 $f$가 $p$에서 연속.
Problem. Prove THM 4.8.
The only difference between continuity at $p$ and $\lim_{x \to p} f(x) = f(p)$ is whether $x = p$ is included. But $d_Y(f(p), f(p)) = 0 < \varepsilon$ always holds, so both are equivalent. $\square$
문제. $(X, d_X), (Y, d_Y)$가 거리 공간, $E \subset X$, $f: E \to Y$, $p \in E$ (극한점이 아닐 수 있음)라 하자. 다음이 동치임을 증명하라:
(i) $p_n \neq p$, $\lim p_n = p$인 $E$ 안의 모든 $\{p_n\}$에 대해 $\lim f(p_n) = f(p)$.
(ii) $\lim p_n = p$인 $E$ 안의 모든 $\{p_n\}$에 대해 $\lim f(p_n) = f(p)$.
증명. (ii) $\Rightarrow$ (i)는 자명.
(i) $\Rightarrow$ (ii): $\{p_n\}$이 $\lim p_n = p$라 하자.
(Case 1) $p_n = p$인 $n$이 유한개: $p_n = p$가 아닌 항들로 이루어진 부분수열 $\{p_{n_i}\}$을 생각하면 $p_{n_i} \neq p$, $p_{n_i} \to p$. (i)에 의해 $\lim f(p_{n_i}) = f(p)$. 나머지 유한개 항에서 $f(p_n) = f(p)$. 전체적으로 $\lim f(p_n) = f(p)$.
(Case 2) $p_n = p$인 $n$이 무한하고 $p_n \neq p$인 $n$도 무한: 유사하게 처리. $p_n = p$인 항은 $f(p_n) = f(p)$. $p_n \neq p$인 부분수열은 $p_n \to p$이므로 (i)에 의해 $f(p_n) \to f(p)$. 두 부분 모두 $f(p)$로 가므로 전체 수열 $f(p_n) \to f(p)$.
(Case 3) $p_n = p$인 $n$이 무한하지만 $p_n \neq p$인 $n$이 유한: 나머지 무한히 많은 $n$에서 $f(p_n) = f(p)$. 유한 예외항 제외하면 상수. 따라서 $f(p_n) \to f(p)$.
(Case 4) 모든 $n$에서 $p_n = p$: $f(p_n) = f(p)$이므로 $\lim = f(p)$.
어느 경우든 $\lim f(p_n) = f(p)$.
Problem. Prove (i) $\iff$ (ii) where (i) is convergence of $f(p_n)$ for $p_n \neq p$, $p_n \to p$, and (ii) for all $p_n \to p$ (regardless of $p_n = p$), both to $f(p)$.
(ii) $\Rightarrow$ (i) trivial. For (i) $\Rightarrow$ (ii): split indices into $\{n : p_n = p\}$ and $\{n : p_n \neq p\}$. On the first $f(p_n) = f(p)$; on the second, a subsequence converges to $p$ ($\neq p$), so (i) applies. Both parts converge to $f(p)$. $\square$
문제. $X, Y$가 집합, $f: X \to Y$가 함수라 하자. 다음을 증명하라:
(a) $\{U_\alpha : \alpha \in A\} \subset 2^X$에 대해 $f\left(\bigcup_\alpha U_\alpha\right) = \bigcup_\alpha f(U_\alpha)$.
(b) $\{V_\alpha : \alpha \in A\} \subset 2^Y$에 대해 $f^{-1}\left(\bigcup_\alpha V_\alpha\right) = \bigcup_\alpha f^{-1}(V_\alpha)$.
(c) $U \subset X$에 대해 $U \subset f^{-1}(f(U))$.
(d) $V \subset Y$에 대해 $f(f^{-1}(V)) \subset V$.
또한 $f(f^{-1}(V)) = V$와 $U = f^{-1}(f(U))$가 일반적으로 성립하지 않음을 반증하고, 성립하는 조건을 찾으라.
(a) $y \in f(\bigcup U_\alpha)$ $\iff$ $\exists x \in \bigcup U_\alpha$ s.t. $f(x) = y$ $\iff$ $\exists \alpha, \exists x \in U_\alpha$ s.t. $f(x) = y$ $\iff$ $\exists \alpha$ s.t. $y \in f(U_\alpha)$ $\iff$ $y \in \bigcup f(U_\alpha)$.
(b) $x \in f^{-1}(\bigcup V_\alpha)$ $\iff$ $f(x) \in \bigcup V_\alpha$ $\iff$ $\exists \alpha, f(x) \in V_\alpha$ $\iff$ $\exists \alpha, x \in f^{-1}(V_\alpha)$.
(c) $x \in U$이면 $f(x) \in f(U)$이므로 $x \in f^{-1}(f(U))$.
(d) $y \in f(f^{-1}(V))$이면 $\exists x \in f^{-1}(V)$ s.t. $y = f(x)$. $x \in f^{-1}(V)$이므로 $f(x) \in V$, 즉 $y \in V$.
$f(f^{-1}(V)) = V$ 반증. $f: \mathbb{R} \to \mathbb{R}$, $f(x) = x^2$, $V = \{-1, 1\}$. $f^{-1}(V) = \{-1, 1\}$, $f(f^{-1}(V)) = \{1\} \neq V$. 성립 조건: $f$가 전사(onto)이면 $V \subset f(X) = \text{range}(f)$ 내에서 $f(f^{-1}(V)) = V$ 성립. 더 강하게 $V \subset f(X)$이면 충분.
$U = f^{-1}(f(U))$ 반증. 위의 예 $f(x) = x^2$, $U = \{1\}$. $f(U) = \{1\}$, $f^{-1}(f(U)) = \{-1, 1\} \neq U$. 성립 조건: $f$가 1-1(단사)이면 $f^{-1}(f(U)) = U$.
Problem. Prove the four properties (a)-(d) for unions and images/preimages, and find conditions for $f(f^{-1}(V)) = V$ and $f^{-1}(f(U)) = U$.
(a)-(d): standard set manipulations. $f(f^{-1}(V)) = V$ iff $V \subset f(X)$ (holds if $f$ onto). $f^{-1}(f(U)) = U$ iff $f$ is injective on $U$ (holds if $f$ 1-1). Counterexamples: $f(x) = x^2$, $V = \{-1, 1\}$, $U = \{1\}$. $\square$
문제. $(X, d_X), (Y, d_Y)$가 거리 공간, $f: X \to Y$가 사상, $X$가 콤팩트라 하자. 다음을 증명하거나 반증하라:
(a) $f$가 $X$에서 유계.
(b) 집합 $\{f(x) : x \in X\} = f(X)$가 $Y$에서 닫힘.
주의. 문제에는 $f$의 연속성 가정이 없음. 따라서 반례가 가능.
(a) 반증. $X = [0,1]$, $Y = \mathbb{R}$, $f(x) = 1/x$ ($x \neq 0$), $f(0) = 0$. $X$는 콤팩트이지만 $f$는 유계가 아님. (연속이 아님을 주의: $f$는 $0$에서 불연속.)
(b) 반증. $X = [0, 1]$, $Y = \mathbb{R}$, $f(x) = x$ ($x \neq 0$), $f(0) = 2$. $f(X) = (0, 1] \cup \{2\}$. 이 집합은 $0$이 극한점이지만 $0 \notin f(X)$이므로 닫혀있지 않다.
보완. $f$가 연속이면 (a), (b) 모두 성립 (COR 4.18 + THM 4.17 + THM 2.63).
Problem. If $X$ compact, $f: X \to Y$ a map (not necessarily continuous), are (a) $f$ bounded, (b) $f(X)$ closed?
Disprove both. Without continuity, neither holds. (a) $f(x) = 1/x$, $f(0) = 0$ on $[0,1]$. (b) $f(x) = x$, $f(0) = 2$ on $[0,1]$; image not closed. With continuity, both hold. $\square$
문제. LEM 4.21(b)를 증명하라: $E \subset \mathbb{R}$, $E \neq \emptyset$이면 $E$ 안의 수열 $\{q_n\}$이 존재하여 $\lim q_n = \inf E$.
증명.
(Case 1) $\inf E \in \mathbb{R}$. 각 $n \in \mathbb{N}$에 대해 LEM 3.37(b)로 $q_n \in E$가 존재하여 $\inf E \leq q_n < \inf E + 1/n$. 따라서 $|q_n - \inf E| < 1/n$이고 EX 3.17에 의해 $\lim q_n = \inf E$.
(Case 2) $\inf E \notin \mathbb{R}$. $E \neq \emptyset$이므로 $\inf E = -\infty$. 임의의 $n$에 대해 $-n$은 $E$의 하계가 아니므로 $q_n \in E$가 존재하여 $q_n < -n$. 모든 $M < 0$에 대해 $n \geq |M|$이면 $q_n < -n \leq M$, 즉 $\lim q_n = -\infty$.
Problem. Prove LEM 4.21(b).
If $\inf E \in \mathbb{R}$: pick $q_n \in E$ with $|q_n - \inf E| < 1/n$ via LEM 3.37(b). If $\inf E = -\infty$: pick $q_n < -n$. $\square$
문제. $X$가 거리 공간, $E \subset X$, $\{a_n\}$이 $E$ 안의 수열, $a \in X$라 하자. $\lim a_n = a$이고 $\{a_n : n \in \mathbb{N}\}$이 무한이면 $a$가 $E$의 극한점임을 보여라.
증명. $\varepsilon > 0$을 임의로 주자. $N_\varepsilon(a) \cap (E \setminus \{a\}) \neq \emptyset$임을 보이면 된다.
$\lim a_n = a$이므로 $N \in \mathbb{N}$이 존재하여 $n \geq N$이면 $a_n \in N_\varepsilon(a)$.
집합 $\{a_n : n \in \mathbb{N}\}$이 무한이므로 $\{a_n : n \geq N\}$도 무한 (유한 개 제거). 따라서 $a_n \neq a$인 $n \geq N$이 존재 (한 값 $a$만 있다면 유한이 됨). 이 $a_n \in N_\varepsilon(a) \cap E \setminus \{a\}$.
$\varepsilon$이 임의이므로 $a$는 $E$의 극한점.
Problem. If $\{a_n\} \subset E$, $a_n \to a$, and range $\{a_n\}$ is infinite, show $a$ is a limit point of $E$.
For $\varepsilon > 0$, find $N$ with $a_n \in N_\varepsilon(a)$ for $n \geq N$. Since range is infinite, $\{a_n : n \geq N\}$ contains some $a_m \neq a$ in $N_\varepsilon(a) \cap E$. $\square$
문제. $E \subset \mathbb{R}$, $E \neq \emptyset$, $\inf E \in \mathbb{R}$이면 $\inf E \in \overline{E}$임을 보여라.
증명. LEM 4.21(b)에 의해 $E$ 안의 수열 $\{q_n\}$이 존재하여 $\lim q_n = \inf E$.
(Case 1) $\{q_n : n \in \mathbb{N}\}$이 무한. EX 4.24에 의해 $\inf E$는 $E$의 극한점, 즉 $\inf E \in E' \subset \overline{E}$.
(Case 2) $\{q_n : n \in \mathbb{N}\}$이 유한. $\{q_n\} = \{\tilde q_1, \ldots, \tilde q_N\} \subset E$. $\min\{\tilde q_i\} = q_{n_0}$으로 놓자. 모든 $n$에 대해 $q_n \geq \min\{\tilde q_i\}$이므로 LEM 4.22에 의해 $\inf E = \lim q_n \geq \min\{\tilde q_i\}$. 한편 $\min\{\tilde q_i\} \in E$이고 $\inf E$는 $E$의 하계이므로 $\inf E \leq \min\{\tilde q_i\}$. 따라서 $\inf E = \min\{\tilde q_i\} \in E \subset \overline{E}$.
Problem. Prove $\inf E \in \overline{E}$ when $\inf E \in \mathbb{R}$.
$q_n \to \inf E$ with $q_n \in E$ (LEM 4.21(b)). If range infinite, $\inf E$ is a limit point (EX 4.24). If finite, $\inf E = \min\{q_n\} \in E$ by LEM 4.22. $\square$
문제. THM 4.27을 THM 3.14와 COR 4.10를 이용하여 (THM 4.17 대신) 증명하라.
증명. $f(p) = M = \sup f$ 부분만 증명.
LEM 4.21(a)에 의해 $f(X) \subset \mathbb{R}$ 안의 수열 $\{a_n\}$이 존재하여 $\lim a_n = \sup f(X) = M$. 각 $a_n \in f(X)$이므로 $a_n = f(p_n)$인 $p_n \in X$이 존재.
$X$가 콤팩트이므로 THM 3.14에 의해 $X$는 점열적 콤팩트. 따라서 $\{p_n\}$의 부분수열 $\{p_{n_i}\}$와 $p \in X$가 존재하여 $\lim p_{n_i} = p$.
$f$가 $p$에서 연속이므로 COR 4.10에 의해 $\lim f(p_{n_i}) = f(p)$.
$\{f(p_{n_i})\} = \{a_{n_i}\}$는 $\{a_n\}$의 부분수열. $\lim a_n = M$이므로 $\lim a_{n_i} = M$.
수열 극한의 유일성(THM 3.4(b))에 의해 $f(p) = M$. 만약 $M = \infty$이면 $f(p)$가 유한값이므로 모순. 따라서 $M \in \mathbb{R}$이고 $f(p) = M$.
Problem. Prove THM 4.27 using THM 3.14 and COR 4.10 instead of THM 4.17.
Take $a_n = f(p_n) \to M = \sup f$. Sequential compactness: $p_{n_i} \to p$. By COR 4.10, $f(p_{n_i}) \to f(p)$. Uniqueness: $f(p) = M$, so $M \in \mathbb{R}$. $\square$
문제. $X$가 거리 공간, $f: X \to \mathbb{R}$, $M = \sup_{p \in X} f(p)$, $m = \inf_{p \in X} f(p)$이라 하자. 다음 네 명제를 증명하거나 반증하라:
(a) $f$가 $X$에서 유계이면 $p, q \in X$가 존재하여 $f(p) = M$, $f(q) = m$.
(b) 집합 $\{f(p) : p \in X\}$가 닫힘이면 $p, q \in X$가 존재하여 $f(p) = M$, $f(q) = m$.
(c) $\{f(p)\}$가 닫혀있고 위로 유계이면 $p \in X$이 존재하여 $f(p) = M$.
(d) $\{f(p)\}$가 닫혀있고 아래로 유계이면 $q \in X$이 존재하여 $f(q) = m$.
(a) 반증. $X = (0, 1)$, $f(x) = x$. $M = 1$, $m = 0$이지만 $f(x) = 1$이나 $f(x) = 0$인 $x \in X$ 없음.
(b) 반증. $X = \mathbb{R}$, $f(x) = \arctan x$. $f(X) = (-\pi/2, \pi/2)$은 닫혀있지 않지만... 이 예로는 부족. $X = \mathbb{R}$, $f(x) = x$. $f(X) = \mathbb{R}$ 닫혀있지만 $M = +\infty$, $m = -\infty$로 $f(p) = M$인 $p$ 없음. (왜냐하면 $\sup$가 $\mathbb{R}$에 있지 않으므로 "$f(p) = M$"도 의미 없음.) 이를 정확히 해석: $M = +\infty$이므로 $f(p) = M$인 $p$는 존재할 수 없다. 따라서 반증됨.
(c) 증명. $\{f(p)\}$가 위로 유계이고 닫혀있으므로 $M = \sup f(X) \in \mathbb{R}$. EX 4.26과 대칭적으로, LEM 4.25에 의해 $M \in \overline{f(X)} = f(X)$ (닫힘). 따라서 $p \in X$가 존재하여 $f(p) = M$.
(d) 증명. (c)와 대칭. $m \in \overline{f(X)} = f(X)$. $q$ 존재.
Problem. For (a) $f$ bounded, (b) $f(X)$ closed, (c) closed+bounded above, (d) closed+bounded below, does the EVT conclusion hold?
(a) False: $f(x) = x$ on $(0,1)$. (b) False: $f(x) = x$ on $\mathbb{R}$, $M = \infty$. (c) True: $M \in \mathbb{R}$, $M \in \overline{f(X)} = f(X)$. (d) True by symmetry. $\square$
문제. COR 4.30을 증명하라.
증명. $X$ 콤팩트, $f: X \to \mathbb{R}$ 연속. THM 4.27에 의해 $p, q \in X$가 존재하여 $f(p) = \sup f(X)$, $f(q) = \inf f(X)$.
$f(p) \in f(X)$이고 $\forall x \in X$, $f(x) \leq \sup f(X) = f(p)$. 따라서 $f(p) = \max f(X)$ 존재.
유사하게 $f(q) = \min f(X)$ 존재.
Problem. Prove COR 4.30.
THM 4.27 gives $p, q$ with $f(p) = \sup$, $f(q) = \inf$. Both are achieved in $f(X)$, so they are $\max f$ and $\min f$. $\square$
문제. $b \in (0, \infty)$이라 하자. $\log x$가 $(0, b)$에서 균등연속이 아님을 보여라. (다음 성질 사용 가능: (1) $\log x - \log y = \log(x/y)$ ($\forall x, y > 0$). (2) $\lim_{x \downarrow 0} \log x = -\infty$, 즉 모든 $M < 0$에 대해 $\delta > 0$이 존재하여 $0 < x < \delta$이면 $\ln x < M$.)
증명. 귀류법으로 $\log$가 $(0, b)$에서 균등연속이라 하자. 그러면 $\varepsilon := 1 > 0$에 대해 $\delta > 0$이 존재하여 $|x - y| < \delta$인 $x, y \in (0, b)$에 대해 $|\log x - \log y| < 1$.
성질 (2)에 의해 $\tilde \delta \in (0, b)$가 존재하여 $0 < x < \tilde \delta$이면 $\ln x < -2$.
$x_0 := \min\{\tilde\delta/2, \delta/2, b/2\}$으로 작은 값을 잡는다. $x_1 := x_0$, $x_2 := x_0/e^{10}$ (충분히 작게).
실제로 더 깔끔하게: $x$를 충분히 작게 취하여 $\log x < -N$ (임의로 큰 $N$). $y := x \cdot e < b$ (충분히 작을 때). $|x - y| = |x(1-e)| = x(e-1)$. $x$가 작으면 $|x-y| < \delta$. 그러나
이건 한계. 더 강한 격차를 만들려면:
재정리. $\delta > 0$이 주어졌다. $N \in \mathbb{N}$을 임의로 크게 잡자. 성질 (2)에 의해 $\tilde \delta_N > 0$이 존재하여 $0 < x < \tilde \delta_N$이면 $\log x < -N$. $\delta' := \min\{\tilde \delta_N, \delta/2, b/2\}$로 놓자. $x := \delta'/2$, $y := \delta'/2 \cdot e^{-N-1}$ (훨씬 작게). $|x - y| < x < \delta'/2 < \delta$이지만 $x/y = e^{N+1}$이므로
이는 균등연속 가정($|\log x - \log y| < 1$)에 모순. 따라서 $\log$는 $(0, b)$에서 균등연속이 아니다.
Problem. Show $\log x$ is not uniformly continuous on $(0, b)$.
Suppose UC with $\varepsilon = 1$: $\exists \delta > 0$. Pick $x$ small with $x < \delta/2, b/2$, then $y = x \cdot e^{-N-1}$ for large $N$. $|x - y| < x < \delta$, but $|\log x - \log y| = N + 1 > 1$. Contradiction. $\square$