[논문 리뷰] Chain intersection closures

Wiesław Kubiś, Franz‐Viktor Kuhlmann|arXiv (Cornell University)|2018. 10. 13.

Advanced Banach Space Theory참고 문헌 7인용 수 2

한 줄 요약

이 논문은 초거량성 및 부분적으로 순서진 값 설정에서 공집합 공간의 체인 교차 닫힘을 조사하며, 구형 완전성 분석을 위한 초직경 개념을 도입한다. 값 집합이 좁고 가산일 경우, 체인 교차 닫힘이 유지된다는 것을 증명하지만, 일반적으로는 이러한 닫힘이 구형 완전성을 유지하지 못함을 보이며, 특히 비가산이고 좁은 공간에서도 마찬가지임을 밝힌다.

ABSTRACT

We study spherical completeness of ball spaces and its stability under expansions. We introduce the notion of an ultra-diameter, mimicking diameters in ultrametric spaces. We prove some positive results on preservation of spherical completeness involving ultra-diameters with values in narrow partially ordered sets. Finally, we show that in general, chain intersection closures of ultrametric spaces with partially ordered value sets do not preserve spherical completeness.

연구 동기 및 목표

• 초거량성 공간에서 유도된 공집합 공간에서 체인 교차 닫힘에 대한 구형 완전성의 안정성 분석.
• 부분적으로 순서진 값 집합을 가진 공집합 공간 분석을 위한 도구로 초직경 개념을 도입하고 체계화하기.
• 공집합 공간을 체인 교차 닫힘으로 확장할 때 구형 완전성이 유지되는 조건을 규명하기.
• 체인 교차 닫힘 과정의 한계를 밝히기 위해 반례를 구성함으로써, 구형 완전성이 실패하는 경우를 규명하기.

제안 방법

• 순서수 α에 대해 초한 재귀를 이용해 체인 교차 닫힘 ciα(B)를 정의하고, 최종적으로 체인 교차 순서 cir(B)를 도출한다.
• 초거량성 거리와 유사한 값을 부분적으로 순서진 집합에 할당하는 함수로서 초직경을 도입한다.
• 값 집합의 초기 부분집합의 구조를 이용해 공집합의 체인 교차를 특성화한다.
• 무한한 반사집합이 없는 좁은 부분순서집합의 개념을 활용해 구형 완전성의 유지성을 증명한다.
• 체인 교차 닫힘 과정에서의 실패를 보여주기 위해 순서수로 색인된 공집합의 가족을 이용해 명시적인 반례를 구성한다.
• 공집합의 대칭성과 포함성 특성을 활용해, 모든 쌍이 가장 작은 공에 포함되는 경우에 공집합 공간으로부터 유도된 초거량성 거리의 표준형을 도출한다.

실험 결과

연구 질문

• RQ1 공집합 공간에서 체인 교차 닫힘으로 넘어갈 때 어떤 조건에서 구형 완전성이 유지되는가?
• RQ2 초직경 개념을 사용해 선형 순서진 값 집합을 초월한 구형 완전성 결과를 일반화할 수 있는가?
• RQ3 정리 1.2에서의 가산성 가정이 체인 교차 닫힘 하에서 구형 완전성 유지에 필수적인가?
• RQ4 구형 완전성인 공집합 공간이 체인 교차 닫힘이고 구형 완전성을 갖는 확장을 갖지 못할 수 있는가?
• RQ5 체인 닫힘 하에서 구형 완전성을 유지하는 데 있어 값 집합의 어떤 구조적 성질(예: 좁음성)이 필수적인가?

주요 결과

• 값 집합이 좁고 가산일 경우, 체인 교차 닫힘 하에서 구형 완전성이 유지되며, 이는 정리 1.2에서 보여진다.
• 선형 순서진 값 집합의 경우, 전체 초거량성 공집합 공간은 이미 체인 교차 닫혀 있으며, 구형 완전성이 유지되며, 이는 정리 1.1에서 보여진다.
• 부분적으로 순서진 값 집합을 가진 가산적이고 구형 완전한 초거량성 공간이 존재하나, 체인 교차 닫힘이고 구형 완전성을 갖는 확장을 갖지 못함을 예제 4.4에서 보여준다.
• 유한 교차에 대해 닫혀 있는 비가산적이고 좁으며 구형 완전한 공집합 공간은 체인 교차 안정성이 없으며, 체인 교차 닫힘이고 구형 완전성을 갖는 확장을 갖지 못함을 예제 4.6에서 보여준다.
• 모든 쌍이 가장 작은 공에 포함되는 공집합 공간에서 유도된 초거량성 거리는 표준적이며, 이러한 공간은 공을 그들의 최소 봉위 거리로 매핑하는 초직경 함수를 갖는다.
• 일반적으로 체인 교차 닫힘은 구형 완전성을 유지하지 못하며, 가산성을 제거하면 좁은 부분순서집합일지라도 마찬가지로 실패함을 보이며, 이는 {T Cα}α<ω1의 둥근 집합이 공집합이 아님을 보여주는 것으로 확인된다.