Topological properties of locally finite covering rough sets and K-topological rough set structures

Abstract

The paper initially proves that locally finite covering (LFC-, for short) rough set structures are interior and closure operators. To be precise, given an LFC-space $$(U ,\mathbf{C})$$ , we prove that the lower H-rough set operator $$H_{*}$$ is an interior operator and the upper H-rough set operator $$H^{*}$$ is a closure operator. Besides, we prove a duality of the concept approximations $$(H_{*}, H^{*})$$ and investigate many theoretical and mathematical properties of the H-rough set operators. After pointing out that Khalimsky (K-, for brevity) topological rough set operators have their own features, we prove that the K-topological lower (resp. upper) approximation operator is not an interior (resp. closure) operator from the viewpoint of K-topology. Besides, we intensively investigate theoretical and mathematical properties of the K-topological rough set operators. This research area can be considered as a part of geometric-based rough set theory. These obtained results can promote the studies of rough set theory associated with information geometry, object classification, artificial or computational intelligence, and so on. In the present paper, each of the sets U, $$\mathbf{C}$$ and $$X(\subseteq U)$$ need not be finite.