经典粗糙近似的一个公理化刻画

【摘要】 公理化方法是粗糙集理论研究中的一种重要方法,用公理化方法研究粗糙集问题能够抓住问题的数学本质.研究经典粗糙近似算子的公理化刻画.首先,通过概括经典粗糙近似算子的性质给出经典粗糙上、下近似算子的公理化定义;其次,针对经典粗糙上、下近似算子提出两个新的公理组,每组公理独立地刻画所对应的经典粗糙近似算子,利用公理导出算子的其他性质,并证明新公理组与近似算子公理化定义中公理组的等价性;最后,用公理化方法研究非对偶的经典粗糙上、下近似算子复合运算的一些性质.