Rough sets by reflexive relations and their algebras

这是一份关于论文《Rough sets by reflexive relations and their algebras》（由反射关系定义的粗糙集及其代数）的详细技术总结。

1. 研究背景与问题 (Problem)

• 背景：粗糙集理论最初由 Pawlak 基于等价关系（Equivalence Relation）提出，用于处理不确定性知识。在等价关系下，粗糙集构成的集合 $RS$ 形成一个正则双 Stone 代数（Regular Double Stone Algebra）。
• 扩展与挑战：为了处理更复杂的数据，研究者将等价关系推广为任意二元关系、拟序（Quasiorders）或容差关系（Tolerance relations，即自反且对称的关系）。
  • 对于拟序，$RS$ 是完全分配且空间的格，并可定义 Nelson 代数。
  • 对于容差关系，$RS$ 也是完全分配且空间的格，形成正则伪补 Kleene 代数。
  • 核心问题：当关系 $R$ 仅为自反关系（Reflexive Relation，即 $xRx$对所有$x$成立，但不一定对称或传递）时，$RS$ 本身甚至不一定构成格（Lattice）。此外，现有的代数结构（如 Stone 代数、Kleene 代数）在一般自反关系下的刻画尚不明确。
• 研究目标：
  1. 研究由自反关系 $R$ 诱导的粗糙集偏序集 $RS$ 的 Dedekind-MacNeille 完备化（记为 $DM(RS)$）。
  2. 确定在什么条件下，$DM(RS)$ 构成特定的代数结构，特别是正则伪补 Kleene 代数（Regular Pseudocomplemented Kleene Algebra）和完全分配双 Stone 代数（Completely Distributive Double Stone Algebra）。
  3. 寻找比等价关系更广泛的关系类，使得 $DM(RS)$ 具有与等价关系情形相同的优良代数性质（即正则双 Stone 代数）。

2. 方法论 (Methodology)

• 理论框架：
  • 利用 Dedekind-MacNeille 完备化 将 $RS$嵌入到最小的完备格$DM(RS)$ 中，从而在更广泛的框架下分析结构性质。
  • 结合 格论（Lattice Theory）与 代数逻辑（Algebraic Logic），特别是伪补格（Pseudocomplemented Lattices）、Stone 代数、Kleene 代数及双 Stone 代数的性质。
  • 引入 完全并不可约元（Completely Join-Irreducible Elements）和 核心元素（Core Elements）的概念来刻画格的结构。
• 关键工具：
  • Galois 连接：利用上下近似算子 $(\blacktriangle, \blacktriangledown)$ 和 $(\blacktriangle, \blacktriangledown)$ 之间的对偶性。
  • 核心（Core）：定义 $coreR(x) = \{w \in R(x) \mid w \in R(y) \implies R(x) \subseteq R(y)\}$，用于分析完全并不可约元的性质。
  • 空间格与完全分配性：假设 $DM(RS)$ 是空间格（Spatial Lattice）且完全分配（Completely Distributive），以此推导伪补运算的具体形式。
• 分析路径：
  1. 首先建立 $DM(RS)$ 的伪补运算（Pseudocomplement）和其对偶运算的显式公式。
  2. 分析 $DM(RS)$ 成为正则 Kleene 代数的条件（涉及完全并不可约元的层级结构）。
  3. 分析 $DM(RS)$ 成为 Stone 代数的条件（涉及下近似集的交运算性质）。
  4. 综合上述条件，定义一种新的关系类，使其满足正则双 Stone 代数的要求。

3. 主要贡献与结果 (Key Contributions & Results)

A. 伪补运算的刻画

• 证明了如果上近似集构成的格 $\wp(U)^\blacktriangle$ 是伪补的，那么 $DM(RS)$ 也是伪补的。
• 给出了 $DM(RS)$中元素$(A, B)$的伪补$(A, B)^*$ 的显式公式：
  $$(A, B)^* = (B^* \blacktriangledown \blacktriangle, B^*)$$
  其中 $B^*$ 是 $B$ 在 $\wp(U)^\blacktriangle$ 中的伪补。
• 在 $\wp(U)^\blacktriangle$ 完全分配且空间的情况下，利用“核心”概念给出了 $B^*$ 的构造方法：$B^* = K(B)^{\blacktriangle c \blacktriangle}$。

B. 正则伪补 Kleene 代数的条件

• 定理 5.3：$DM(RS)$ 构成空间、完全分配且正则伪补 Kleene 代数，当且仅当 $\wp(U)^\blacktriangle$ 是一个原子布尔格（Atomistic Boolean Lattice）。
• 这一结果推广了之前关于容差关系的研究，表明只要上近似格是原子布尔格，无论关系是否对称，$DM(RS)$ 都具有正则性。

C. Stone 代数的条件

• 定理 6.4：在 $DM(RS)$是完全分配且空间格的前提下，$DM(RS)$ 构成 Stone 代数当且仅当满足条件 (St1)：
  • 若 $\{x\}^\blacktriangle, \{y\}^\blacktriangle \subseteq \{p\}^\blacktriangle$，则存在 $z \in U$ 使得 $\{z\}^\blacktriangle \subseteq \{x\}^\blacktriangle \cap \{y\}^\blacktriangle$。
• 该条件等价于：对于任意 $p$，$\{p\}^\blacktriangle$ 包含 $\wp(U)^\blacktriangle$ 中恰好一个原子。

D. 新发现：Clinker Equivalence（铆接等价关系）

• 核心创新：作者定义了一类新的自反关系，称为 Clinker Equivalence（铆接等价关系）。
  • 定义：如果集合族 $\{\{x\}^\blacktriangle \mid x \in U\}$ 构成了 $U$ 的一个不可约覆盖（Irredundant Covering），则 $R$ 称为 Clinker Equivalence。
  • 性质：在这种关系下，$\{x\}^\blacktriangle$ 是 $\wp(U)^\blacktriangle$ 的原子，且 $core\check{R}(x) \neq \emptyset$。
• 主要定理 (Theorem 7.2 & Proposition 7.6)：
  • $DM(RS)$ 构成定义在完全分配空间格上的正则双 Stone 代数，当且仅当 $R$ 是一个 Clinker Equivalence。
• 意义：
  • 这是一个比等价关系更广泛的类。例如，在等价关系下，$\{x\}^\blacktriangle$ 是等价类；而在 Clinker Equivalence 下，$\{x\}^\blacktriangle$ 可以是重叠的块（Blocks），只要它们构成不可约覆盖。
  • 这解释了为什么某些非等价关系（如文中图 1 和图 4 的例子）也能产生同构于 $2 \times 3$ 或 $2 \times 2 \times 3$ 的优良代数结构。

4. 具体示例 (Examples)

• 例 1 (Introduction)：$U=\{1, 2, 3\}$，$R(1)=U, R(2)=\{2\}, R(3)=\{1, 3\}$。
  • 该关系不是等价关系（非传递、非对称），但 $DM(RS)$同构于$2 \times 3$，是一个正则双 Stone 代数。
• 例 2 (Example 7.7)：$U=\{1, 2, 3, 4\}$，定义了特定的 $R$。
  • 验证了 $\{\{x\}^\blacktriangle\}$ 构成不可约覆盖，因此 $DM(RS)$ 是正则双 Stone 代数，同构于 $2 \times 2 \times 3$。

5. 意义与结论 (Significance & Conclusion)

• 理论深化：本文成功地将粗糙集代数结构的研究从等价关系、拟序和容差关系推广到了更一般的自反关系。
• 代数分类：明确了 $DM(RS)$ 成为正则 Kleene 代数、Stone 代数以及正则双 Stone 代数的充要条件，特别是引入了“核心”和“不可约覆盖”作为关键判据。
• 新概念提出：提出的 Clinker Equivalence（铆接等价关系）为粗糙集理论提供了一种新的广义等价关系模型。它保留了等价关系在代数结构上的优良性质（正则双 Stone 代数），同时允许更灵活的方向性相似关系（Directional Similarity），这在处理非对称相似性数据（如“肖像像人”但“人像肖像”不成立）时具有重要意义。
• 未来展望：作者指出，Clinker Equivalence 的深入研究和构造将是后续工作的重点。

总结：该论文通过 Dedekind-MacNeille 完备化技术，系统地解决了自反关系下粗糙集代数的结构分类问题，并发现了一类新的关系（Clinker Equivalence），使得粗糙集格能够保持与经典等价关系情形下相同的强代数性质（正则双 Stone 代数），极大地丰富了粗糙集理论的代数基础。