[논문 리뷰] Join-semidistributive lattices of relatively convex sets

Kira Adaricheva|arXiv (Cornell University)|2004. 03. 05.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 7

한 줄 요약

이 논문은 X가 선분의 유한한 합집합일 때, ℝⁿ 내 상대적 볼록 집합의 격자가 Join-semidistributive이도록 하는 두 가지 충분조건을 확립한다. 또한 모든 유한한 하한이 존재하는 격자는 기하적 구성법을 통해 이러한 격자에 매장될 수 있음을 증명하며, 유한 격자를 유한한 점 집합 위의 볼록 기하학에 매장시키는 데 새로운 접근법을 제공한다.

ABSTRACT

We give two sufficient conditions for the lattice Co(R^n,X) of relatively convex sets of n-dimensional real space R^n to be join-semidistributive, where X is a finite union of segments. We also prove that every finite lower bounded lattice can be embedded into Co(R^n,X), for a suitable finite subset X of R^n.

연구 동기 및 목표

• X가 선분의 유한한 합집합일 때, ℝⁿ 내 상대적 볼록 집합의 격자가 Join-semidistributive이도록 하는 조건을 조사하는 것.
• 문제 3을 일반화하기 위해 X에 대한 유한성 조건을 제거하면서도 Join-semidistributivity를 유지하는 것.
• 모든 유한한 하한이 존재하는 격자를 ℝⁿ 내 상대적 볼록 집합의 유한 격자로 매장하는 기하적 구성법을 제공하는 것.
• 볼록체와 극점들을 이용하여, 유한한 하한이 존재하는 격자들이 볼록 기하학에 매장될 수 있음을 보여주는 새로운 증명을 제공하는 것.

제안 방법

• {1, ..., n+1}의 부분집합들과 관련된 볼록 다면체의 극점들을 이용해 ℝⁿ 내 유한 집합 X를 구성한다.
• 부울 격자 B_{n+1}의 만남 부분격자 격자에서 ℝⁿ의 유계 볼록 부분집합 격자로의 사상 φ를 정의한다.
• 점 p(i, A)의 볼록체와 특수한 정점 v를 포함한 기하적 구성법을 사용하여 집합 X를 정의하고, 매장이 만남과 합을 유지하도록 보장한다.
• 결과 격자 Co(ℝⁿ, X)가 하한이 존재함을 보이기 위해, 합기본원소들에 D-사이클이 존재하지 않음을 증명한다.
• φ와 Co(ℝⁿ, X)로의 포함 사상의 합성 결과가 만남과 합을 유지함을 확인함으로써, 격자 매장임을 검증한다.
• 유한한 하한이 존재하는 격자들이 Sub_∧B_{n+1}에 매장될 수 있음을 활용하고, 기하적 구성법을 통해 이를 Co(ℝⁿ, X)로 확장한다.

실험 결과

연구 질문

• RQ1 X가 선분의 유한한 합집합일 때, Co(ℝⁿ, X)가 어떤 조건에서 Join-semidistributive이게 되는가?
• RQ2 모든 유한한 하한이 존재하는 격자는 어떤 유한한 X ⊆ ℝⁿ에 대해 Co(ℝⁿ, X) 형태의 격자로 매장될 수 있는가?
• RQ3 다면체의 극점들을 통해 구성된 X의 기하적 구성법이 만남과 합을 모두 유지하는 격자 매장으로 이어지는가?
• RQ4 Co(ℝⁿ, X)에서 D-사이클의 부재는 격자의 하한 존재성과 어떻게 관련되어 있는가?
• RQ5 정점 v와 점 p(i, A)는 매장의 합 보존을 보장하기 위해 어떤 역할을 하는가?

주요 결과

• X가 선분의 유한한 합집합일 때, Co(ℝⁿ, X)가 Join-semidistributive이도록 하는 두 가지 충분조건이 확립되었다.
• {1, ..., n+1}의 부분집합들과 관련된 다면체의 극점들과 중심 정점 v로부터 구성된 X에 대해, Co(ℝⁿ, X)가 하한이 존재하는 것으로 밝혀졌다.
• 모든 유한한 하한이 존재하는 격자는 볼록체와 극점들을 기반으로 한 기하적 구성법을 통해 어떤 유한한 X ⊆ ℝⁿ에 대해 Co(ℝⁿ, X)로 매장될 수 있다.
• φ와 Co(ℝⁿ, X)로의 포함 사상의 합성 결과는 만남과 합을 모두 유지하는 격자 매장이 된다.
• 구성 과정에서 합기본원소들에 D-사이클이 존재하지 않아, Co(ℝⁿ, X)가 하한이 존재한다는 것이 확인되었다.
• 이 결과는 유한 격자들이 볼록 기하학에 매장될 수 있음에 대한 새로운 기하학적 시각을 제공하며, [4]와 [10]의 이전 결과를 보완한다.