基于Galois联络的粗糙集公理化方法

Galois联络与粗糙集是两个不同的研究分支,本文基于Galois联络,给出经典粗糙集的公理化刻画提出了两组与Galois联络密切相关的公理GC与GC’,用这两组公理刻画了经典粗糙近似算子证明了满足公理GC或GC’的论域幂集上的一元算子总对应于某一经典二元关系,使得由二元关系诱导的粗糙近似算子就是该一元算子。