[논문 리뷰] On Properties of Nests: Some Answers and Questions

Kyriakos Papadopoulos|arXiv (Cornell University)|2017. 10. 18.

Advanced Algebra and Logic참고 문헌 4인용 수 5

한 줄 요약

이 논문은 순서 이론적 구조, 특히 네스트(nests)와 상호 끼워진 가닥들(interlocking families)과 위상수학적 성질, 특히 순서 가능성(orderability)과 위상군(topological groups)과의 상호작용을 조사한다. 아르스티드 표준위상( Alexandroff topology)과 하향집합(lower sets)을 통해 상호 끼워진 네스트를 특성화하고, 네스트가 유계집합과 군 연산과 어떻게 연결되는지 분석하며, 위상군을 네스트 성질을 통해 특성화하는 데 있어 열린 질문들을 제안한다.

ABSTRACT

By considering nests on a given space, we explore order-theoretical and topological properties that are closely related to the structure of a nest. In particular, we see how subbases given by two dual nests can be an indicator of how close or far are the properties of the space from the structure of a linearly ordered space. Having in mind that the term interlocking nest is a key tool to a general solution of the orderability problem, we give a characterization of interlocking nest via closed sets in the Alexandroff topology and via lower sets, respectively. We also characterize bounded subsets of a given set in terms of nests and, finally, we explore the possibility of characterizing topological groups via properties of nests. All sections are followed by a number of open questions, which may give new directions to the orderability problem.

연구 동기 및 목표

• 공간 내에서 네스트—특히 $T_0$-분리성과 $T_1$-분리성 네스트—가 어떻게 순서 이론적 및 위상수학적 구조를 반영하는지 탐색한다.
• 아르스티드 표준위상과 하향집합을 통해 상호 끼워진 네스트를 특성화하여 순서 가능성 문제의 일반적 해법을 발전시킨다.
• 네스트가 유계집합을 특성화하고 위상군의 구조에 어떻게 기여하는지 조사한다.
• 순서 이론적 도구를 통해 순서 가능성 문제와 군 위상에 대한 향후 연구를 이끄는 열린 질문들을 제안한다.

제안 방법

• 네스트를 부분집합의 전순서 집합으로 간주하여, 어떤 $L \in \mathcal{L}$에 대해 $x \in L$ 이고 $y \notin L$ 이면 $x \triangleleft_{\mathcal{L}} y$ 라 정의함으로써, 집합 위에 부분순서를 유도한다.
• 아르스티드 표준위상을 적용하여, 닫힌 집합과 하향집합을 통해 상호 끼워진 네스트를 특성화하고, 위상수학과 순서 이론을 연결한다.
• 모든 $T \in \mathcal{S}$에 대해 $T = \bigcap\{S : T \subset S, S \in \mathcal{S} \setminus \{T\}\}$ 이고 $T = \bigcup\{S : S \subset T, S \in \mathcal{S} \setminus \{T\}\}$ 를 만족하는 상호 끼워진 가닥 $\mathcal{S}$ 의 개념을 도입한다.
• 가지 $\mathcal{S}$ 가 유도하는 순서 $x \triangleleft_{\mathcal{S}} y$ 를, 어떤 $S \in \mathcal{S}$ 에 대해 $x \in S$ 이고 $y \notin S$ 이면 정의하고, 그 성질을 연구한다.
• 왼쪽 가닥 $\mathcal{L}$ 과 오른쪽 가닥 $\mathcal{R}$ 가 $L^{-1} \in \mathcal{R}$ 이고 $R^{-1} \in \mathcal{L}$ 를 만족하도록 구성함으로써 위상군을 분석한다. 이는 역원 연산과 곱셈의 연속성을 보장한다.
• 역상의 성질을 이용하여 군 연산의 연속성을 증명한다: 곱셈 $f(x,y) = x*y$ 에 대해 $f^{-1}(L) = \bigcup_{x*y \in L} [\pi_1^{-1}(L_x) \cap \pi_2^{-1}(L_y)]$ 이다.

실험 결과

연구 질문

• RQ1 아르스티드 표준위상과 하향집합을 통해 상호 끼워진 네스트를 어떻게 특성화할 수 있는가?
• RQ2 집합의 유계집합은 네스트를 통해 어떻게 특성화할 수 있는가?
• RQ3 네스트에 어떤 조건이 만족되어야 군 연산이 유도된 위상에서 연속이 되는가?
• RQ4 위상군의 구조는 네스트와 그 쌍대(duals)의 성질을 통해 완전히 특성화될 수 있는가?
• RQ5 주어진 군 위상과 동치인 위상을 유도하는 데 필요한 최소한의 순서 이론적 조건은 무엇인가?

주요 결과

• 상호 끼워진 네스트 $\mathcal{S}$ 는 $T = \bigcap\{S : T \subset S, S \in \mathcal{S} \setminus \{T\}\}$ 과 $T = \bigcup\{S : S \subset T, S \in \mathcal{S} \setminus \{T\}\}$ 를 만족하며, 이는 순서 가능성 문제의 일반적 해법을 위한 구조적 기준을 제공한다.
• 순서집합 위의 아르스티드 표준위상은 닫힌 집합을 통해 상호 끼워진 네스트를 특성화할 수 있다: 집합 $T$ 가 아르스티드 표준위상에서 닫혀져 있음과 동시에 하향집합이면서 상호 끼워진 조건을 만족하는 것과 동치이다.
• 네스트 $\mathcal{L}$ 이 $T_0$-분리성임과 유도된 순서 $\triangleleft_{\mathcal{L}}$ 가 선형임은 필요충분조건이며, 이는 분리공리와 순서 구조를 연결한다.
• 군 $G$ 에 대해, $L^{-1} \in \mathcal{R}$ 이고 $R^{-1} \in \mathcal{L}$ 를 만족하는 쌍대 가닥 $\mathcal{L}$ 과 $\mathcal{R}$ 이라면, 역원 함수 $f(x) = x^{-1}$ 는 $\mathcal{L} \cup \mathcal{R}$ 에 의해 유도된 위상에서 연속이다.
• 만약 $\mathcal{L}$ 이 국소 조건 $x*y \in L \Rightarrow \exists L_x, L_y \in \mathcal{L}$ 를 만족하여 $x \in L_x$, $y \in L_y$, 그리고 $L_x * L_y \subset L$ 이면, 곱셈은 $\mathcal{L} \cup \mathcal{R}$ 에 의해 유도된 위상에서 연속이다.
• 곱셈에 대한 집합 $L \in \mathcal{L}$ 의 역상은 $f^{-1}(L) = \bigcup_{x*y \in L} [\pi_1^{-1}(L_x) \cap \pi_2^{-1}(L_y)]$ 로 주어지며, 이는 곱셈 연산이 곱 위상에서 연속임을 증명한다.