Rough sets by reflexive relations and their algebras

이 논문은 **반사적 관계 (reflexive relation)**에 의해 유도된 **거친 집합 (rough sets)**의 부분 순서 집합의 데데킨드 - 맥네일 (Dedekind-MacNeille) 완비화인 $DM(RS)$위에 정의된 다양한 대수적 구조를 연구합니다. 저자들은$DM(RS)$가 공간적 (spatial) 이고 완전히 분배적인 격자 (completely distributive lattice) 를 형성하는 경우에 초점을 맞추어, 이 격자가 어떤 조건 하에서 정규 의사보완 켈리 대수 (regular pseudocomplemented Kleene algebra) 나 더블 스톤 대수 (double Stone algebra) 가 되는지 규명했습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 연구 배경 및 문제 제기

• 기존 연구: 전통적인 거친 집합 이론 (Pawlak) 은 동치 관계 (equivalence relation) 를 기반으로 하며, 이때 거친 집합의 집합 $RS$는 정규 더블 스톤 대수를 이룹니다. 이후 준서열 (quasiorder) 이나 허용 관계 (tolerance relation) 와 같은 일반화된 관계에 대한 연구가 진행되었으나, 임의의 반사적 관계의 경우 $RS$ 자체가 격자가 아닐 수 있어 연구가 제한적이었습니다.
• 문제점: 임의의 반사적 관계 $R$에 대해 $RS$가 격자가 아닐 수 있으므로, 이를 포함하는 최소의 완비 격자인 **데데킨드 - 맥네일 완비화$DM(RS)$**를 연구 대상으로 삼는 것이 필요합니다.
• 연구 목적: 반사적 관계 (대칭성과 추이성을 만족하지 않을 수 있음) 하에서 $DM(RS)$가 갖는 대수적 성질 (정규성, 더블 스톤 대수 성질 등) 을 결정하는 관계를 특징짓는 것입니다. 특히, 동치 관계보다 더 일반적이면서$DM(RS)$가 정규 더블 스톤 대수가 되는 새로운 관계의 클래스를 찾는 것이 핵심 목표입니다.

2. 방법론

• 수학적 도구:
  • 격자 이론: 완전 분배 격자, 공간 격자 (spatial lattice), 완전히 결합-비가역적 원소 (completely join-irreducible elements), 의사보완 (pseudocomplement), 이중 의사보완 (dual pseudocomplement).
  • 대수 구조: 의사보완 켈리 대수, 더블 스톤 대수, 정규성 (congruence-regularity) 조건.
  • 거친 집합 연산: 하한 근사 ($X^\nabla$), 상한 근사 ($X^\Delta$), 갈루아 연결 (Galois connection).
• 접근 방식:
  1. $DM(RS)$의 원소들을$\wp(U)^\nabla \times \wp(U)^\Delta$의 부분 집합으로 표현하고, 그 연산 구조를 분석합니다.
  2. $\wp(U)^\Delta$ (상한 근사들의 집합) 의 성질 (완전 분배성, 공간성, 원자성 등) 이 $DM(RS)$의 대수적 성질에 미치는 영향을 규명합니다.
  3. 핵심 (Core) 개념 활용: $R(x)$의 '핵 (core)'을 정의하고, 이를 통해 의사보완 연산을 구체적으로 계산합니다.
  4. 정규성 조건 분석: 완전히 결합-비가역적 원소들의 계층 구조 (levels) 가 최대 2 단계인지 여부를 통해 정규성을 판별합니다.

3. 주요 결과 및 기여

A. 의사보완 켈리 대수 (Pseudocomplemented Kleene Algebra)

• 결과: $\wp(U)^\Delta$가 완전 분배 격자이면, $DM(RS)$는 의사보완 켈리 대수가 됩니다.
• 의사보완 연산: $(A, B) \in DM(RS)$에 대한 의사보완은 $(A, B)^* = (B^{*\nabla\nabla}, B^*)$로 주어지며, 여기서 $B^*$는 $\wp(U)^\Delta$ 내의 의사보완입니다.
• 정규성 조건: $DM(RS)$가 정규 (regular) 의사보완 켈리 대수가 되기 위한 필요충분조건은 $\wp(U)^\Delta$가 **원자적 불 대수 (atomistic Boolean lattice)**인 것입니다. 이는 $DM(RS)$의 완전히 결합-비가역적 원소들이 최대 2 개의 계층을 가질 때 성립합니다.

B. 스톤 대수 (Stone Algebra)

• 결과: $DM(RS)$가 스톤 대수가 되기 위한 조건은$\wp(U)^\Delta$가 스톤 대수이며, 특정 조건 (St1, St2) 을 만족하는 것입니다.
• 조건 (St1): 임의의 $x, y, p \in U$에 대해 $\{x\}^\Delta, \{y\}^\Delta \subseteq \{p\}^\Delta$이면, $\{z\}^\Delta \subseteq \{x\}^\Delta, \{y\}^\Delta$를 만족하는 $z \in U$가 존재해야 합니다.
• 의미: 이 조건은 $\wp(U)^\Delta$에서 원자 (atom) 들이 어떻게 포함되는지와 관련이 있으며, 유한 격자의 경우 각 $\{p\}^\Delta$가 정확히 하나의 원자를 포함할 때 스톤 대수가 됨을 의미합니다.

C. 정규 더블 스톤 대수 (Regular Double Stone Algebra) 및 'Clinker Equivalence'

• 핵심 발견: 동치 관계보다 더 일반적이면서 $DM(RS)$가 정규 더블 스톤 대수가 되는 새로운 관계의 클래스를 발견했습니다.
• 조건 (rSt): 모든 $x \in U$에 대해 $\{x\}^\Delta$가 $\wp(U)^\Delta$의 **원자 (atom)**이고, $\text{core}_{\breve{R}}(x) \neq \emptyset$이어야 합니다.
• 새로운 정의: Clinker Equivalence (클링커 동치)
  • 저자들은 위 조건 (rSt) 을 만족하는 반사적 관계를 **'Clinker Equivalence'**라고 명명했습니다.
  • 이는 집합 $\{ \{x\}^\Delta \mid x \in U \}$가 $U$의 **불필요한 중복이 없는 덮개 (irredundant covering)**를 이룰 때 성립합니다.
  • 기하학적 비유: $\{x\}^\Delta$의 형태가 바이킹 배의 돛 (sail) 을 닮았으며, 역사적인 클링커 조립 (clinker-built) 방식에서 유래한 이름입니다.
• 주요 정리: $DM(RS)$가 완전 분배적이고 공간적인 격자 위에서 정규 더블 스톤 대수가 될 필요충분조건은$R$이 Clinker Equivalence인 것입니다.

4. 사례 연구 (Example)

• 동치 관계가 아닌 경우: $U=\{1, 2, 3\}$에서 $R(1)=U, R(2)=\{2\}, R(3)=\{1, 3\}$인 반사적 관계를 고려했을 때, $R$은 동치 관계가 아니지만 $DM(RS)$는$2 \times 3$과 동형인 정규 더블 스톤 대수가 됩니다. 이는 동치 관계가 아닌 경우에도 이러한 대수적 구조가 가능함을 보여줍니다.
• Clinker Equivalence 예시: $U=\{1, 2, 3, 4\}$에 대한 특정 반사적 관계에서 $\{x\}^\Delta$들이 불필요한 중복이 없는 덮개를 이룰 때, $DM(RS)$는$2 \times 2 \times 3$과 동형인 정규 더블 스톤 대수가 됨을 확인했습니다.

5. 의의 및 결론

• 이론적 확장: 기존의 동치 관계 기반 거친 집합 이론을 반사적 관계로 확장하여, $DM(RS)$가 갖는 다양한 대수적 구조 (Kleene, Stone, Double Stone) 를 체계적으로 분류했습니다.
• 새로운 개념 도입: 'Clinker Equivalence'라는 새로운 개념을 도입함으로써, 동치 관계보다 더 넓은 범주에서 정규 더블 스톤 대수 구조를 가질 수 있는 조건을 제시했습니다. 이는 불완전하거나 비대칭적인 정보 (directional similarity) 를 다루는 시스템에서 강력한 수학적 기반을 제공합니다.
• 실용적 가치: 다양한 정보 시스템 (예: 다중 값 정보 시스템, 변수 정밀도 거친 집합 이론) 에서 반사적이지만 대칭적이지 않거나 추이적이지 않은 관계를 사용할 때, 그 구조가 어떤 대수적 성질을 갖는지 예측할 수 있는 기준을 마련했습니다.

요약하자면, 이 논문은 반사적 관계 하의 거친 집합 완비화가 갖는 대수적 구조를 완전히 분배 격자의 관점에서 분석하고, Clinker Equivalence라는 새로운 관계를 통해 정규 더블 스톤 대수 구조를 일반화했다는 점에서 중요한 기여를 했습니다.