Bedingungen für die Zweispiegeligkeit der Automorphismengruppen von Cayleyalgebren.pdfVIP

Some Mathematical Structures of Generalized Rough Sets in Infinite Universes of Discourse Wei-Zhi Wu1 and Ju-Sheng Mi2 1 School of Mathematics, Physics and Information Science Zhejiang Ocean University, Zhoushan, Zhejiang, 316004, P.R. China wuwz@zjou.edu.cn 2 College of Mathematics and Information Science Hebei Normal University, Hebei, Shijiazhuang, 050016, P.R. China mijsh@263.net Abstract. This paper presents a general framework for the study of mathematical structure of rough sets in infinite universes of discourse. Lower and upper approximations of a crisp set with respect to an infinite approximation space are first defined. Properties of rough approximation operators induced from various approximation spaces are examined. The relationship between a topological space and rough approximation oper- ators is further established. By the axiomatic approach, various classes of rough approximation operators are characterized by different sets of axioms. The axiom sets of rough approximation operators guarantee the existence of certain types of crisp relations producing the same operators. The measurability structures of rough set algebras are also investigated. Finally, the connections between rough sets and Dempster-Shafer theory of evidence are also explored. Keywords: Approximation operators, belief functions, binary relations, measurability sets, rough sets, rough set algebras, topological spaces. 1 Introduction The theory of rough sets was originally proposed by Pawlak [20,22] as a formal tool for modelling and processing incomplete information. The basic structure o