[논문 리뷰] Convexities on ordered structures have their Krein--Milman theorem

Paul Poncet|arXiv (Cornell University)|2013. 01. 04.

Advanced Algebra and Logic참고 문헌 41인용 수 3

한 줄 요약

이 논문은 추상적 볼록성과 연속 레이스 이론을 사용하여 순서 구조를 가진 대수적 구조, 특히 반순서구조에 대해 고전적 Krein–Milman 정리의 유사 정리를 수립한다. 국소적으로 볼록인 위상 반순서구조에서, 어떤 직선도 포함하지 않는 국소적으로 컴팩트하고 약하게 닫힌 볼록 부분집합은 그 극단점들의 약하게 닫힌 볼록 캄프의 합집합임을 증명한다.

ABSTRACT

We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use arguments from continuous lattice theory and abstract convexity theory.

연구 동기 및 목표

• 고전적 Krein–Milman 정리를 선형적이지 않은 순서 구조, 예를 들어 반순서구조와 격자로 확장하는 것.
• 부분순서집합, 반순서구조, 격자에서의 볼록성 구조를 연구하며, 특히 부분반순서구조와 부분격자에 초점을 맞춘다.
• 볼록 부분집합이 극단점들에 의해 생성되는 조건을 설정하여 Krein–Milman 성질과 유사한 성질을 확립하는 것.
• 국소 볼록성, 컴팩트성, 소형 반순서구조 등의 위상적 및 순서이론적 성질이 이러한 정리들을 가능하게 하는 역할을 분석하는 것.
• 볼록 기하학, Helly 수, 반순서구조의 깊이 간의 상호작용을 극단점의 구조와 연관지켜보는 것.

제안 방법

• 반순서구조에서 볼록 부분집합을 부분반순서구조로 정의하기 위해 추상 볼록성 이론과 연속 레이스 이론을 사용한다.
• 반순서구조의 기본 정리(콤팩트 반순서구조의 정리)를 적용하여 반순서구조의 대수적 성질과 위상적 성질을 연결한다.
• 연속 반순서구조 준동형사상 [0,1]에 의한 약한 위상을 정의하여 약하게 닫힘의 개념을 설정한다.
• 콤팩트 부분순서집합에서 최소 원소에 관한 Wallace의 보조정리를 적용하여 극단점의 존재를 확보한다.
• 소형 반순서구조(국소 볼록성) 개념을 포함한 도메인 이론적 방법을 사용하여 구조적 통제를 확보한다.
• 반순서구조의 깊이와 넓이를 통해 볼록 기하학과 Helly 수를 분석하고, 이를 극단점의 구조와 연결한다.

실험 결과

연구 질문

• RQ1 선형적이지 않은, 아이디포텐트 대수적 구조인 반순서구조에 대해 Krein–Milman 정리를 일반화할 수 있는가?
• RQ2 어떤 조건에서 위상 반순서구조의 볼록 부분집합이 극단점들의 약하게 닫힌 볼록 캄프가 되는가?
• RQ3 부분반순서구조, 순서-볼록 부분격자, 대수적 부분격자와 같은 볼록성 구조는 순서 구조 내 볼록 기하학과 어떻게 관련되는가?
• RQ4 Helly 수와 넓이가 볼록 집합을 생성하는 데 필요한 극단점의 수를 특징짓는 데 어떤 역할을 하는가?
• RQ5 대수적 볼록성과 함께 분해 가능 격자를 갖는 분해 가능 격자가 Krein–Milman 성질을 만족하는가?

주요 결과

• 국소적으로 볼록인 위상 반순서구조에서, 어떤 직선도 포함하지 않는 국소적으로 컴팩트하고 약하게 닫힌 볼록 부분집합은 그 극단점들의 약하게 닫힌 볼록 캄프의 합집합이다.
• 비선형 반순서구조 환경에서 '직선'의 개념이 적절히 정의되었으며, 이는 선형 공간에서의 고전적 개념을 일반화한다.
• 유한 넓이 $b$를 갖는 반순서구조에서는 Minkowski 유사 정리가 성립한다: 모든 점은 최대 $b$개의 극단점들의 합집합으로 표현된다.
• 반순서구조의 깊이와 Helly 수가 일치하며, 이 불변량은 컴팩트 볼록 부분집합 내 극단점의 수를 결정한다.
• 순서-대수적 볼록성과 함께 격자가 볼록 기하학을 이루는 것은 그 격자가 사슬일 때이고, 이러한 사슬은 위상적으로 호환 가능한 경우 Krein–Milman 성질을 만족한다.
• 대수적 볼록성에서 극단점이 되는 이중-기저원소의 존재는 일반적으로 보장되지 않으며, 유한 분해 가능 격자에서도 마찬가지이다.