Topological Separation Axioms and Compactness of Generalized Approximation Spaces
Generalized approximation spaces are studied from topological point of view.In terms of induced topologies defined by R-open sets,some new separation axioms T0,T1,and topological compactness of generalized approximation spaces are introduced.It is proved that T0 separation axiom is stronger than Ta0,while T1 is equivalent to Ta1 of generalized approximation spaces.It is also proved that relational compactness is stronger than topological compactness for generalized approximation spaces.Some examples are constructed to illustrate distinctions between some separation axioms,and reveal that topological compactness does not imply relational compactness of generalized approximation spaces.