[논문 리뷰] Looking through newly to the amazing irrationals

Pratip Chakraborty|ArXiv.org|2005. 02. 02.

Mathematics and Applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 연속 분수를 이용하여 베어 공간과 무리수의 공간 사이의 호메오멀피즘을 수립하며, 모든 분리 가능하고 0차원의 거리 공간이 무리수에 위상적으로 매장됨을 증명한다. 주요 기여는 이러한 거리 공간들에 대한 유니버설 공간으로서의 무리수의 역할을 드러내는 위상적 동치로서, 위상적 구조를 유지하는 구축 가능하고 연속적이며 전단사인 사상이다.

ABSTRACT

We survay some nice result concerning the irrationals with a metric space point of view.Here is ofcourse nothing new may be or an expert in this field.

연구 동기 및 목표

• 베어 공간과 무리수의 공간 사이의 위상적 동치를 연속 분수를 이용하여 수립하는 것.
• 모든 분리 가능하고 0차원의 거리 공간이 무리수의 부분공간으로 위상적으로 매장될 수 있음을 보이는 것.
• 위상적 성질(열린성, 닫힘성, 연속성 등)을 유지하는 구축 가능한 호메오멀피즘을 제공하는 것.
• 무리수의 공간이 분리 가능하고 0차원의 거리 공간들에 대해 위상적 매장 하에 유니버설 공간임을 보이는 것.
• 닫힌-열린 덮개와 중첩된 간격 체계가 이러한 매장의 구축에 어떻게 기여하는지 형식화하는 것.

제안 방법

• 연속 분수 전개로부터 유도된 중첩된 간격을 이용하여, 무한 수열로 이루어진 베어 공간 ℬ₂(0과 1의 무한 수열의 공간)에서 실수선 ℝ로의 사상 φ를 구성한다.
• 서로 다른 수열일 경우 간격의 끝점이 다름을 이용하여, 서로소인 중첩된 간격의 열을 정의함으로써 단사성을 확보한다.
• ℬ₂ 위의 거리 위상에서 기본 이웃 N(x, 1/n) = {f ∈ ℬ₂ : f_i = x_i for i < n}을 정의하여 위상의 기저를 설정한다.
• ℬ₂의 기본 열린 집합이 ℝ의 열린 간격으로 사상됨을 증명함으로써 φ와 φ⁻¹의 연속성을 확립한다.
• 일반적인 0차원 분리 가능 거리 공간 X에서 인덱스가 ω인 닫힌-열린 덮개 {𝒰_i}의 개념을 적용한다.
• 각 x ∈ X에 대해, f_x(i)가 x ∈ U_{i,j}를 만족하는 유일한 인덱스 j인 ∏_{i<ω} k_i에 속하는 수열 f_x를 할당함으로써, φ: X → ℬ₂의 함수를 정의한다.

실험 결과

연구 질문

• RQ1 무리수의 공간은 분리 가능하고 0차원의 거리 공간들에 대해 유니버설 공간으로 위상적으로 특징지어질 수 있는가?
• RQ2 연속 분수를 이용하여 베어 공간과 무리수 사이에 구축 가능한 호메오멀피즘이 존재하는가?
• RQ3 0차원 거리 공간에서의 닫힌-열린 덮개는 어떻게 무리수에 위상적으로 매장하는 데 사용될 수 있는가?
• RQ4 베어 공간에서 무리수로의 사상 φ에 의해 어떤 위상적 성질이 유지되는가?
• RQ5 무리수의 부분집합이 주어진 분리 가능하고 0차원의 거리 공간과 호메오멀픽이 되는 조건은 무엇인가?

주요 결과

• 베어 공간 ℬ₂에서 무리수로의 사상 φ는 잘 정의된 전단사이고 이중연속 함수이므로, 호메오멀피즘이다.
• 모든 수열 a ∈ ℬ₂와 자연수 n ∈ ℕ에 대해, φ가 기본 열린 이웃 N(a, 1/n)에 의해 사상되는 이미지는 ℝ의 열린 간격이며, n 이 짝수일 경우 ([a₀,…,aₙ],[a₀,…,aₙ+1])이고, n 이 홀수일 경우 ([a₀,…,aₙ+1],[a₀,…,aₙ])이다.
• 무리수의 공간 ℝ∖ℚ는 연속 분수 구성에 의해 베어 공간 ℬ₂와 호메오멀픽이며, 이는 위상적 동치를 수립한다.
• 모든 분리 가능하고 0차원의 거리 공간 X는 φ: X → ℬ₂ ⊂ ℝ를 구성함으로써 무리수의 부분집합과 호메오멀픽임을 보였다. 이 이미지는 ℝ∖ℚ에 속한다.
• 공간 X의 닫힌-열린 덮개 {U_{i,j}}로 이루어진 가족은 φ(X) 위의 위상에 대한 부분기저를 형성하며, φ가 위상적 매장임을 보장한다.
• 이 증명은 정리 2.10(3)의 조건을 만족하는 가 countable하고 중첩된 닫힌-열린 덮개의 가족 {𝒰_i}의 존재에 의존하며, 이러한 호메오멀피즘의 존재를 보장한다.