A minimal axiom group for rough set based on quasi-ordering

Rough set axiomatization is one aspect of rough set study to characterize rough set theory using dependable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation, but rough set theory based on reflexive and transitive relation (called quasi-ordering) has wide applications in the real world. To characterize topological rough set theory, an axiom group named RT, consisting of 4 axioms, is proposed. It is proved that the axiom group reliability in characterizing rough set theory based on similar relation is reasonable. Simultaneously, the minimization of the axiom group, which requires that each axiom is an equation and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.

An Equilibrium Version of Set-Valued Ekeland Variational Principle and its Applications to Set-Valued Vector Equilibrium Problems

By using Gerstewitz functions, we establish a new equilibrium version of Ekeland varia- tional principle, which improves the related results by weakening both the lower boundedness and the lower semi-continuity of the objective bimaps. Applying the new version of Ekeland principle, we obtain some existence theorems on solutions for set-valued vector equilibrium problems, where the most used assumption on compactness of domains is weakened. In the setting of X complete metric spaces （Z, d）, we present an existence result of solutions for set-valued vector equilibrium problems, which only requires that the domain X C Z is countably compact in any Hausdorff topology weaker than that induced by d. When （Z, d） is a Fechet space （i.e., a complete metrizable locally convex space）, our existence result only requires that the domain C Z is weakly compact. Furthermore, in the setting of non-compact domains, we deduce several existence theorems on solutions for set-valued vector equilibrium problems, which extend and improve the related known results.

Vectorial Ekeland variational principle for systems of equilibrium problems and its applications

For a family of vector-valued bifunctions,we introduce the notion of sequentially lower monotonity,which is strictly weaker than the lower semi-continuity of the second variables of the bifunctions.Then,we give a general version of vectorial Ekeland variational principle(briefly,denoted by EVP) for a system of equilibrium problems,where the sequentially lower monotone objective bifunction family is defined on products of sequentially lower complete spaces(concerning sequentially lower complete spaces,see Zhu et al(2013)),and taking values in a quasi-ordered locally convex space.Besides,the perturbation consists of a subset of the ordering cone and a family {p_i}_(i∈I) of negative functions satisfying for each i∈I,p_i(x_i,y_i) = 0 if and only if x_i=y_i.From the general version,we can deduce several particular equilibrium versions of EVP,which can be applied to show the existence of solutions for countable systems of equilibrium problems.In particular,we obtain a general existence result of solutions for countable systems of equilibrium problems in the setting of sequentially lower complete spaces.By weakening the compactness of domains and the lower semi-continuity of objective bifunctions,we extend and improve some known existence results of solutions for countable system of equilibrium problems in the setting of complete metric spaces(or Fréchet spaces).When the domains are non-compact,by using the theory of angelic spaces(see Floret(1980)),we generalize some existence results on solutions for countable systems of equilibrium problems by extending the framework from reflexive Banach spaces to the strong duals of weakly compactly generated spaces.