Tag Archives: Real Number System

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

\(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 »