이진수 메트릭으로 보는 히네보렐 정리

논문은 크게 네 부분으로 구성된다. 서론에서는 전통적인 히네‑보렐 정리의 교육적 배경을 언급하며, 학생들이 흔히 겪는 “열린 덮개에서 유한 부분덮개를 찾는 과정”이 직관적으로 어려움을 느낀다고 지적한다. 이어서 저자들은 “새로운 증명”을 제시하기 위해 이진수열 공간에 초거리를 정의하고, 이를 통해 콤팩트성을 보이겠다고 선언한다. 두 번째 장에서는 핵심 조합적 보조정리인 Brouwer의 팬 정리를 소개한다. 정의에 따르면, 모든 무한 이진수열이 어떤 유한 비트 문자열 집합 \(B\)의 초기 구간에 포함된다면, 실제로는 그 집합 안에 유한 부분집합 \(A\)만으로도 같은 성질을 만족한다. 저자는 이 정리를 두 가지 독립적인 증명으로 제시한다. 첫 번째 증명은 König의 무한 트리 보조정리를 활용한다. 트리를 구성해 각 정점이 두 자식(0과 1)을 갖도록 하고, \(B\)에 포함된 초기 구간을 제외한 트리를 만든다. 이 트리는 무한히 깊어지며, König의 보조정리에 의해 무한 경로가 존재한다. 그 경로가 만드는 무한 이진수열은 어떤 \(B\)의 초기 구간에도 속하지 않으므로 가정에 모순이 된다. 두 번째 증명은 논리학의 Gödel 완비성 정리를 이용한다. 각 비트 문자열 \(b\in B\)에 대해 부정 절(clause) \(N(b)=\neg