[논문 리뷰] A class of infinite convex geometries

Kira Adaricheva, J. B. Nation|arXiv (Cornell University)|2015. 01. 17.

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

한 줄 요약

이 논문은 폐쇄 레이티스가 강하게 코아토믹하고 공간적인 무한 볼록 기하학의 한 클래스를 도입하고 특성화하며, 유한 볼록 기하학의 성질을 무한 설정으로 확장한다. 이 레이티스에서 반교환 성질이 모든 커버가 단일 원소 추가에 해당함과 동치임을 증명하고, 이러한 기하학에 대한 다수의 동치 특성화를 제공하며, 대수적 폐쇄 체계 이외의 예도 포함한다.

ABSTRACT

Various characterizations of finite convex geometries are well known. This note provides similar characterizations for possibly infinite convex geometries whose lattice of closed sets is strongly coatomic and lower continuous. Some classes of examples of such convex geometries are given.

연구 동기 및 목표

• 유한 볼록 기하학의 잘 알려진 특성화를 무한 볼록 기하학의 한 클래스로 확장하기 위해.
• 반교환 성질과 레이티스 구조(강하게 코아토믹하고 공간적임)가 일관된 무한 기하적 프레임워크를 보장하는 조건을 규명하기 위해.
• 프레임워크의 일반성을 보여주기 위해 비대수적 폐쇄 체계를 포함한 풍부한 예를 제공하기 위해.
• 지역 분배성과 하부 반모듈레리티가 제안된 레이티스 조건 하에서 반교환 성질과 동치인지 조사하기 위해.
• 미래 연구에서 강하게 코아토믹성을 약화된 원소 간격으로 완화할 가능성 탐색하기 위해.

제안 방법

• 폐쇄 집합의 레이티스가 강하게 코아토믹하고 공간적임을 보장하는 폐쇄 체계에 집중하며, 이는 모든 원소가 완전히 합 기초 원소의 합임을 보장한다.
• 반교환 성질(AEP)을 중심 기하 조건으로 적용하며, 이를 다음과 같은 함의로 정의한다: A에 x를 추가하면 y가 닫히고, y를 추가하면 x가 닫히지 않으며, 유일하게 x=y일 때만 가능하다.
• 반교환 성질과 레이티스에서의 모든 커버가 단일 원소 추가에 해당함(즉, A≺B일 때 |B\A|=1)이라는 성질이 동치임을 이용한다.
• 합 기초성, 완전히 합 기초 원소, 필터 레이티스 등의 레이티스 이론 도구를 사용하여 구조를 분석한다.
• 비대수적 예를 구성하며, 예를 들어 ω 위의 폐쇄 체계에서 닫힌 집합이 유한 집합 또는 0을 포함하는 집합인 경우를 통해 이 클래스의 풍부성을 보여준다.
• 유한 분배 레이티스의 필터 레이티스를 분석하여, 강하게 코아토믹하고 하부 연속적이며 국소적으로 분배 가능한 볼록 기하학의 예를 생성한다.

실험 결과

연구 질문

• RQ1 어떤 무한 볼록 기하학이 유한 볼록 기하학의 핵심 특성화를 유지하는가?
• RQ2 강하게 코아토믹하고 공간적인 무한 레이티스에서 반교환 성질은 어떻게 행동하는가?
• RQ3 강하게 코아토믹인 무한 레이티스에서 반교환 성질이 단일 원소 커버 성질(|B\A|=1 for A≺B)로 특성화될 수 있는가?
• RQ4 강하게 코아토믹하고 하부 연속적인 비대수적 예가 존재하는가?
• RQ5 강하게 코아토믹이고 공간적인 레이티스의 클래스에서 국소 분배성과 하부 반모듈레리티가 동치인가?

주요 결과

• 강하게 코아토믹 폐쇄 체계에서 반교환 성질은 레이티스에서의 모든 커버가 단일 원소 추가임과 동치이다 (즉, A≺B일 때 |B\A|=1).
• 강하게 코아토믹 레이티스에서 모든 영이 아닌 합 기초 원소는 완전히 합 기초 원소이며, 이는 공간성 분석을 단순화한다.
• 유한 집합 또는 0을 포함하는 집합이 닫힌 집합인 ω 위의 폐쇄 체계의 폐쇄 집합 레이티스는 비대수적이고 강하게 코아토믹하며 하부 연속적인 볼록 기하학이다.
• 유한 분배 레이티스의 필터 레이티스는 강하게 코아토믹하고 하부 반모듈레리티가 있으며, 국소적으로 분배 가능하고 공간적인 볼록 기하학을 생성한다.
• 강하게 코아토믹하고 공간적인 레이티스의 클래스는 볼록 기하학에 대한 다수의 동치 특성화를 지원하며, 이를 통해 유한 결과를 무한 경우로 확장한다.
• 논문은 지역 분배성과 하부 반모듈레리티가 강하게 코아토믹성과 공간성 조건만으로도 반교환 성질과 동치인지 여부를 열어두고 있다.