Monthly Archives: October 2016

(f(x) + f'(x)) → A 이면 f(x) → A 이다.

G. H. Hardy 교수님의 책 『A Course of Pure Mathematics』 6장 Derivatives and Integrals 마지막 절 Miscellaneous Examples에는 다음과 같은 문제가 실려 있다(36번). If \(\phi(x) + \phi ' (x) \to a \) as \(x \to \infty\), then \(\phi (x) \to a \). 이 문제를 흔히 Hardy의 문제(Hardy's old problem)라고 부른다. 여기서는 Hardy의 문제의 해설을 살펴보자. Hardy의 문제를 정확하게… Read More »

실수 집합이 비가산임을 증명하는 두 가지 방법

\(E\)가 집합이고 \(E\)로부터 \(\mathbb{N}\)에로의 일대일 함수가 존재할 때 \(E\)를 가산집합(countable set)이라고 부른다. 또한 가산집합이 아닌 집합을 비가산집합(uncountable set)이라고 부른다. 즉 임의의 집합은 원소의 개수에 따라 다음과 같이 분류할 수 있다. 유한집합무한인 가산집합(가부번집합)비가산집합 (물론 비가산집합은 집합의 기수(cardinality)에 따라 여러 가지로 구분할 수 있지만 여기서 논하는 바는 아니다.) 자연수 집합 \(\mathbb{N},\) 정수 집합 \(\mathbb{Z},\) 유리수 집합 \(\mathbb{Q}\)는 모두 가산집합이다. 그러나… Read More »

유리수의 조밀성과 무리수의 조밀성

서로 다른 두 실수 사이에는 반드시 유리수가 존재한다. 이 성질을 유리수의 조밀성이라고 부른다. [사실 '유리수계의 조밀성' 또는 '유리수 집합의 조밀성'이라고 표현해야 정확하지만 관용적으로 '유리수의 조밀성'이라고 표현한다.] 조밀성은 원래 위상공간에서 정의된다. \((X,~\mathcal{T})\)가 위상공간이고 \(E \subseteq X\)라고 하자. 만약 \(X \subseteq \overline{E}\)가 성립하면 '\(E\)는 \(X\)에서 조밀하다'라고 말한다. [여기서 \(\overline{E}\)는 \(E\)의 폐포(closure)를 나타낸다.] 서로 다른 두 실수 사이에 반드시 유리수가 존재한다는… Read More »