[논문 리뷰] Strong Arcwise Connectedness

Benjamín Espinoza, Paul Gartside외 2명|arXiv (Cornell University)|2012. 09. 24.

Advanced Topology and Set Theory참고 문헌 2인용 수 5

한 줄 요약

이 논문은 임의의 n개의 점을 주어진 순서로 한 개의 호로 모두 방문할 수 있는 위상적 성질인 n-강한 호 연결성(n-strong arc connectedness, n-sac)을 도입하고 분석한다. 이는 평면 연속체가 4-sac일 수 없음을 증명하며, 3-sac 그래프를 완전히 특성화하고, ω-sac 유리 연속체를 구성한다. 기술적 집합론을 통해 n-sac 또는 ω-sac 유리 연속체에 대한 단순한 특성화가 존재하지 않음을 보이며, 이러한 집합들이 Π¹₂-완전하다는 것을 밝힌다.

ABSTRACT

A space is `n-strong arc connected' (n-sac) if for any n points in the space there is an arc in the space visiting them in order. A space is omega-strong arc connected (omega-sac) if it is n-sac for all n. We study these properties in finite graphs, regular continua, and rational continua. There are no 4-sac graphs, but there are 3-sac graphs and graphs which are 2-sac but not 3-sac. For every n there is an n-sac regular continuum, but no regular continuum is omega-sac. There is an omega-sac rational continuum. For graphs we give a simple characterization of those graphs which are 3-sac. It is shown, using ideas from descriptive set theory, that there is no simple characterization of n-sac, or omega-sac, rational continua.

연구 동기 및 목표

• 주어진 순서로 n개의 점을 모두 방문하는 호가 존재하는 위상적 성질인 n-강한 호 연결성(n-sac)을 형식화하고 조사하기.
• 특히 유한 그래프, 정규 연속체 및 유리 연속체와 같은 1차원 공간에서 이 성질의 한계를 규명하기.
• 3-sac 그래프를 완전히 특성화하고, n-sac 또는 ω-sac 유리 연속체에 대해 단순한 특성화가 존재하지 않음을 보여주기.
• 기술적 집합론 도구를 사용하여 n-sac 및 ω-sac 연속체의 클래스의 논리적 복잡도를 규명하고, 이들이 Π¹₂-완전하다는 것을 보여주기.

제안 방법

• 정규화를 위해 t₁=0 및 tₙ=1을 설정하여, 주어진 순서로 서로 다른 점들을 방문하는 순서 있는 호를 통해 n-sac을 정의한다.
• Lemma 1을 사용하여, 유한 집합 F를 제거했을 때 공간이 분리된다면, 그 공간은 (|F|+2)-sac일 수 없음을 보인다.
• 나무와 타일(예: bTₙ)을 사용하여 유리 연속체를 구성함으로써, 불완전한 나무를 임bed하고 연결성 성질을 제어한다.
• Becker와 Ajtai의 방법을 적용하여, NN의 Π¹₂ 부분집합을 R⁴ 내 연속적인 곡선 가중치로 감소시킴으로써, ω-sac 곡선의 집합이 Π¹₂-완전하다는 것을 보인다.
• Menger 큐브와 연속적인 합집합을 사용하여, 연결된 성분 간에 ω-sac 성질을 유지한다.
• ω-sac 곡선이 Π¹₂-완전하다는 사실을 바탕으로, 이들은 분석적(Σ¹₁)이 아니며, 따라서 보편적인 사상이 존재하지 않음을 유추한다.

실험 결과

연구 질문

• RQ1 유한 그래프 중에서 3-sac인 것은 무엇이며, 이를 단순하게 특성화할 수 있는가?
• RQ2 정규 연속체는 ω-sac일 수 있으며, 각 n에 대해 n-sac이지만 (n+1)-sac이 아닌 정규 연속체가 존재하는가?
• RQ3 ω-sac 유리 연속체가 존재하는가? 만약 존재한다면, 이러한 곡선은 단순하게 특성화할 수 있는가?
• RQ4 n-sac 또는 ω-sac 유리 연속체에 대한 단순한 특성화가 존재하는가, 아니면 이 성질 자체가 본질적으로 복잡한가?
• RQ5 RN 내에서 n-sac 및 ω-sac 연속체의 클래스의 논리적 복잡도(보렐 계층 구조 내에서)는 무엇인가?

주요 결과

• 평면 연속체는 4-sac일 수 없으며, 이는 호-절단점 장애와 '출구가 없는 호' 보조정리에 의해 증명된다.
• 3-sac 그래프가 존재하며, 2-sac이지만 3-sac이 아닌 그래프도 존재한다. 또한 3-sac 그래프에 대한 완전한 단순 특성화가 제시된다.
• 모든 n에 대해, n-sac이지만 (n+1)-sac이 아닌 정규 연속체가 존재하지만, 어떤 정규 연속체도 ω-sac이 아니다.
• ω-sac 유리 연속체가 존재하며, 불완전한 나무에 의해 인덱싱된 연속적인 유리 곡선 가중치를 통해 구성된다.
• N ≥ 4일 때, C(RN) 내에서 n-sac 곡선(2 ≤ n 및 n = ω)의 집합은 Π¹₂-완전하며, 이는 더 단순한 특성화가 존재하지 않음을 시사한다.
• 그들의 논리적 복잡도로 인해, 어떤 가 countable 가족의 ω-sac 곡선에서 모든 ω-sac 곡선으로의 보편적인 연속적 사상이 존재하지 않는다.