Definition 10 (Davvaz [3]) Let be a set and be a subset of The hyperoperation is defined as follows: Let If then. Definition 11 Let be a group and be a vague soft ...
Soft hypergroups and soft hypergroup homomorphism Ganeshsree Selvachandran and Abdul Razak Salleh Citation: AIP Conf. Proc. 1522, 821 (2013); doi: 10.1063/1.4801211 View online: http://dx.doi.org/10.1063/1.4801211 View Table of Contents: http://proceedings.aip.org/dbt/dbt.jsp?KEY=APCPCS&Volume=1522&Issue=1 Published by the American Institute of Physics.
Additional information on AIP Conf. Proc. Journal Homepage: http://proceedings.aip.org/ Journal Information: http://proceedings.aip.org/about/about_the_proceedings Top downloads: http://proceedings.aip.org/dbt/most_downloaded.jsp?KEY=APCPCS Information for Authors: http://proceedings.aip.org/authors/information_for_authors
Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
Soft Hypergroups and Soft Hypergroup Homomorphism Ganeshsree Selvachandran and Abdul Razak Salleh School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 UKM Bangi Selangor DE, Malaysia Abstract. Soft set is a general mathematical tool for dealing with uncertainties and imprecision. Many complicated problems in economics, engineering, environment, social science, medical science and other fields involve uncertain data. These problems cannot be solved using existing classical methods such as fuzzy set theory and rough set theory. Hence the concept of soft sets was introduced as a new mathematical tool for dealing with uncertainties that is free from the difficulties affecting the existing methods. The theory of hyperstructures and hyperalgebra on the other hand, was introduced as an extension of the classical theory of sets as well as the theory of abstract algebra. This theory states that in an algebraic hyperstructure, the composition of two elements is a set. The study of soft hyperstructures which is an extension of the theory of soft sets and the theory of algebraic hyperstructures began with the introduction of the notion of soft hypergroupoids and soft subhypergroupoids. In this paper, we study the theory of soft hyperalgebra by introducing the notion of soft hypergroups and soft subhypergroups as an extension of the notion of soft sets, algebraic hyperstructures and soft hyperstructures. This is followed by the introduction of the notion of soft homomorphism of hypergroups. Furthermore the basic properties and structural characteristics of these notions are studied and discussed. Keywords: Soft Hypergroups, Soft Hyperstructures, Soft Hypergroup Homomorphism PACS: 02.10.De, 02.10.Hh, 01.30.Cc
INTRODUCTION Hyperstructure theory was first introduced in 1934 by a French mathematician, Marty at the 8th Congress of Scandinavian Mathematicians. In a classical algebraic structure, the composition of two elements is an element while in an algebraic hyperstructure, the composition of two elements is a set. Since the introduction of the notion of hyperstructure, comprehensive research has been done on this topic and the notions of hypergroupoid, hypergroup, hyperring and hypermodule have been introduced. A recent book by Corsini and Leoreanu [2] expounds on the applications of hyperstructures in the areas of geometry, hypergraphs, binary relations, lattices, fuzzy sets and rough sets, automation, cryptography, combinatorics, codes, artificial intelligence and probability theory. The concept of ܪఔ - structures introduced by Vougiouklis [6] constitute a generalization of the well-known algebraic hyperstructures such as hypergroups, hyperrings and hypermodules. Some axioms pertaining to the abovementioned hyperstructures such as the associative law and the distributive law are replaced by their corresponding weak axioms. The study of soft hyperstructures was initiated by Yamak et al. [8] as an extension to the theory of soft sets and the theory of hyperstructures. They defined the notion of soft hypergroupoids and soft subhypergroupoids and proceeded to study some of the basic properties of these concepts. In this paper we define the notion of soft hypergroups and soft subhypergroups as a generalization of the notion of soft sets, hypergroups and soft hyperstructures. This is followed by the introduction of the notion of soft homomorphism of hypergroups. Some properties of these notions are then studied and discussed.
Preliminaries In this section, some well-known and useful definitions pertaining to hypergroup theory, soft hyperstructures, soft sets and vague soft sets will be presented. These definitions and concepts will be used throughout this chapter. Throughout this chapter, let ܪbe a hypergroup, ܧbe a set of parameters and ܧ ؿ ܣ. Definition 1 (Marty [4]) A hypergroup ܪۃǡ ۄלis a set ܪequipped with an associative hyperoperation ሺלሻǣ ܪൈ ܪ՜ ܲሺܪሻ which satisfies the reproduction axiom given by ܪ ל ݔൌ ݔ ל ܪൌ ܪfor all ݔin ܪ. Proceedings of the 20th National Symposium on Mathematical Sciences AIP Conf. Proc. 1522, 821-827 (2013); doi: 10.1063/1.4801211 © 2013 AIP Publishing LLC 978-0-7354-1150-0/$30.00
821 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
Definition 2 (Marty [4]) A subset ܭof ܪis called a subhypergroup if ܭۃǡ ۄלis a hypergroup. Definition 3 (Molodtsov [5]) Let ܷ be an initial universe set and let ܣbe the set of parameters. Let ܲሺܷሻ denote the power set of ܷǤ A pair ሺܨǡ ܣሻ is called a soft set over ܷ, where ܨis a mapping given by ܨǣ ܣ՜ ܲሺܷሻ. Definition 4 (Xu et al.[7]) Let ܷ be a universe, ܧbe a set of parameters, ܸሺܷሻ be the power set of vague sets on ܷ and ܧ ك ܣǤ A pair ሺܨ ǡ ܣሻ is called a vague soft set over ܷ where ܨ is a mapping given by ܨ ǣ ܣ՜ ܸሺܷሻ and ܸሺܷሻ is the power set of ܷ. In other words, a vague soft set over ܷ is a parametrized family of vague sets of the universe ܷ. Every set ܨ ሺ݁ሻ for all ݁߳ܣ, from this family may be considered as the set of ݁ െapproximate elements of the vague soft set ሺܨ ǡ ܣሻ. Hence the vague soft set ሺܨ ǡ ܣሻ can be viewed as consisting of a collection of approximations of the following form: ൫ܨ ǡ ܣ൯ ൌ ൛ܨ ሺ݁ ሻǣ݅ ൌ ͳǡ ʹǡ ͵ǡ ǥ ൟ ൌ ሼൣݐிሺሻ ሺݔ ሻǡ ͳ െ ݂ிሺ ሻ ሺݔ ሻ൧Ȁݔ ݅ ൌ ͳǡ ʹǡ ͵ǡ ǥ ሽ for all ݁߳ ܣand for all ܷ߳ݔ. Definition 5 (Molodtsov [5]) Let ሺܨǡ ܣሻand ሺܩǡ ܤሻ be soft sets over ܷǤ Then ሺܨǡ ܣሻ is a soft subset of ሺܩǡ ܤሻ if (i) (ii)
ܤ ؿ ܣand ܣ߳߳ǡ ܨሺߝሻܩሺߝሻ are the same approximations.
ሺܩǡ ܤሻǤ In this case, ሺܩǡ ܤሻ is said to be soft superset of ሺܨǡ ܣሻ and this is This relationship is denoted as ሺܨǡ ܣሻ ؿ ሺܨǡ ܣሻǤ denoted as ሺܩǡ ܤሻ ـ Definition 6 (Ali et al. [9]) The extended intersection (union resp.) of two soft sets ሺܨǡ ܣሻ and ሺܩǡ ܤሻ over a common universe ܷ is the soft set ሺܪǡ ܥሻ, where ܥൌ ܤ ܣǡܥ߳ߝǡ ܨሺߝሻǡߝ ܣ אെ ܤ ܪሺߝሻ ൌ ቐ ܩሺߝሻǡߝ ܤ אെ ܣ ܨሺߝሻ תሺ Ǥ ሻܩሺߝሻǡߝ ܤ ת ܣ אǤ ሺܩǡ ܤሻ ൌ ሺܪǡ ܥሻ. This is denoted by ሺܨǡ ܣሻ ת Definition 7 (Maji et al. [10]) If ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are two soft sets then ̶ሺܨǡ ܣሻሺǤሻሺܩǡ ܤሻ̶ is a soft set denoted by ሺܨǡ ܣሻ רሺ שǤ ሻሺܩǡ ܤሻ and is defined by: ሺܨǡ ܣሻ רሺ שǤ ሻሺܩǡ ܤሻ ൌ ሺܪǡ ܣൈ ܤሻǡ where ܪሺߙǡ ߚሻ ൌ ܨሺߙሻ תሺ Ǥ ሻܩሺߚሻǡ ሺߙǡ ߚሻ߳ ܣൈ ܤ. Definition 8 (Ali et al. [9]) Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft sets over a common universe ܷ such that ് ܤ ת ܣ. The restricted intersection (restricted union resp.) of ሺܨǡ ܣሻ and ሺܩǡ ܤሻ is denoted by ሺܨǡ ܣሻ ڑሺ ࣬Ǥ ሻሺܩǡ ܤሻ and is defined as ሺܨǡ ܣሻ ڑሺ ࣬Ǥ ሻሺܩǡ ܤሻ ൌ ሺܪǡ ܥሻ , where ܥൌ ܤ ת ܣand for all ߝ߳ ܥ, ܪሺܿሻ ൌ ܨሺܿሻ ת ሺ Ǥ ሻܩሺܿሻ. Soft Hypergroups In this section, the notion of soft hypergroups are introduced. This is an extension to the concepts of soft sets, hypergroups and soft hypergroupoids. Using the definition of soft hypergroups that are introduced here, some new properties of soft hypergroups are obtained. Lastly some fundamental properties of soft hypergroups are studied and investigated. From now on, let ܪbe a hypergroup ܪۃǡ ( ۄלor ܪఔ -group), ܧbe a set of parameters and ܧ ك ܣ.
822 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
Definition 9 Let ሺܨǡ ܣሻ be a non-null soft set over ܪǤ Then ሺܨǡ ܣሻ is called a soft hypergroup over ܪif ܨሺݔሻ is a subhypergroup of ܪfor all ߳ݔሺܨǡ ܣሻ. Definition 10 (Davvaz [3]) Let ܪbe a set and ܨ be a subset of ܪǤ The hyperoperation ܪ לൈ ܪ՜ ܲሺܪሻ is defined as follows: Let ݔǡ ܪ߳ݕǤ If ܨ ሺݔሻ ܨ ሺݕሻǡ then ݕ ל ݔൌ ݔ ל ݕൌ ൛ܪ߳ݐ ݐǡ ܨ ሺݔሻ ܨ ሺݐሻ ܨ ሺݕሻൟǤ Definition 11 Let ܺ be a group and ሺܨ ǡ ܣሻ be a vague soft set over ܺǤ Then ሺܨ ǡ ܣሻ is a vague soft group over ܺ if and only if for all ܽ߳ ܣand ݔǡ ܺ߳ݕǡ the following conditions are satisfied: (i) (ii)
ݐிೌ ሺݕݔሻ ൛ݐிೌ ሺݔሻǡ ݐிೌ ሺݕሻൟ and ͳ െ ݂ிೌ ሺݕݔሻ ൛ͳ െ ݂ிೌ ሺݔሻǡ ͳ െ ݂ிೌ ሺݕሻൟǡ i.e. ܨ ሺݕݔሻ ቀܨ ሺݔሻǡ ܨ ሺݕሻቁǡ
ݐிೌ ሺି ݔଵ ሻ ݐிೌ ሺݔሻ and ͳ െ ݂ிೌ ሺି ݔଵ ሻ ͳ െ ݂ிೌ ሺݔሻǡ i.e. ܨ ሺି ݔଵ ሻ ܨ ሺݔሻǡ
i.e. for each ܽ߳ܣǡ ܨ is a vague subgroup of ܺ in Rosenfeld’s sense. Definition 12 Let ሺܨ ǡ ܣሻ be a non-empty vague soft set over ܪǤ Then ሺܨ ǡ ܣሻ is a vague soft hypergroup over ܪif for each ܽ߳ሺܨ ǡ ܣሻ the following conditions are satisfied: (i) (ii) (iii)
For all ݔǡ ܪ߳ݕǡ ሼݐிೌ ሺݔሻǡ ݐிೌ ሺݕሻሽ ሼݐிೌ ሺݖሻǣ ݕ ל ݔ߳ݖሽ and ሼͳ െ ݂ிೌ ሺݔሻǡ ͳ െ ݂ிೌ ሺݕሻሽ ሼͳ െ ݂ிೌ ሺݖሻǣ ݕ ל ݔ߳ݖሽǡ i.e. ൛ܨ ሺݔሻǡ ܨ ሺݕሻൟ ൛ܨ ሺݖሻǣ ݕ ל ݔ߳ݖൟǡ For all ݓǡ ܪ߳ݔthere exists ܪ߳ݕsuch that ݕ ל ݓ߳ݔand ൛ݐிೌ ሺݓሻǡ ݐிೌ ሺݔሻൟ ݐிೌ ሺݕሻ and ൛ͳ െ ݂ிೌ ሺݓሻǡ ͳ െ ݂ிೌ ሺݔሻሽ ͳ െ ݂ிೌ ሺݕሻǡ i.e. ൛ܨ ሺݓሻǡ ܨ ሺݔሻൟ ܨ ሺݕሻǡ For all ݓǡ ܪ߳ݔthere exists ܪ߳ݖsuch that ݓ ל ݖ߳ݔand ൛ݐிೌ ሺݓሻǡ ݐிೌ ሺݔሻൟ ݐிೌ ሺݖሻ and ൛ͳ െ ݂ிೌ ሺݓሻǡ ͳ െ ݂ிೌ ሺݔሻሽ ͳ െ ݂ிೌ ሺݖሻǡ i.e. ൛ܨ ሺݓሻǡ ܨ ሺݔሻൟ ܨ ሺݖሻǤ
Conditions (ii) and (iii) represent the left and right reproduction axioms respectively. Therefore ܨ is a non-empty vague subhypergroup of ܪin Rosenfeld’s sense for each ܽ߳൫ܨ ǡ ܣ൯Ǥ Proposition 1 Let ሺܪǡ כሻ be a group. If ሺܨ ǡ ܣሻ is a vague soft group over ሺܪǡ כሻǡ then ሺܨ ǡ ܣሻ is a soft hypergroup over ሺܪǡ לሻǤ Proof. Let ሺܨ ǡ ܣሻ be a vague soft group over ሺܪǡ כሻ and ሺܪǡ לሻ be a hypergroup with hyperoperation as given in Definition 10. Then for all ݔǡ ߳ݕሺܪǡ כሻǡ ܨ ሺݕݔሻ ൛ܨ ሺݔሻǡ ܨ ሺݕሻൟ and ܨ ሺି ݔଵ ሻ ܨ ሺݔሻǤ Thus for each ݔǡ ߳ݕሺܪǡ כሻǡ the following is obtained: ൛ܨ ሺݖሻ ݕ ל ݔ߳ݖ ൟ ൌ ൛ܨ ሺݖሻ ܨ ሺݔሻ ܨ ሺݖሻ ܨ ሺݕሻൟ ൌ ܨ ሺݔሻ ൛ܨ ሺݔሻǡ ܨ ሺݕሻൟǡ which means that ൛ܨ ሺݔሻǡ ܨ ሺݕሻൟ ൛ܨ ሺݖሻ ݕ ל ݔ߳ݖ ൟǤ Therefore condition (i) of Definition 12 has been verified. Now let ݓǡ ܪ߳ݔǤ Thus if ܨ ሺݓሻ ܨ ሺݔሻǡ then ܨ ሺݓሻ ܨ ሺݔሻ ܨ ሺݔሻ which implies that ( ݔ ל ݓ߳ݔby Definition 12 and if ܨ ሺݔሻ ܨ ሺݓሻǡ then we have ܨ ሺݔሻ ܨ ሺݔሻ ܨ ሺݓሻ which also implies that ݓ ל ݔ߳ݔǤ As such, we have ܽ ל ݔ߳ݔൌ ܽ ݔ לǤ Hence if we let ݕൌ ݔǡ then for any case, we obtain ൛ܨ ሺݔሻǡ ܨ ሺݓሻൟ ܨ ሺݕሻǤ Therefore condition (ii) of Definition 12 has been verified. Thus it has been proven that ܨ is a subhypergroup of ሺܪǡ לሻǤ Hence ൫ܨ ǡ ܣ൯ is a soft hypergroup over ሺܪǡ לሻǤ ז Theorem 1 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪǤ Then the extended intersection of ሺܨǡ ܣሻ and ሺܩǡ ܤሻ is a soft hypergroup over ܪif it is non-null. ሺܩǡ ܤሻ, denoted by ሺܨǡ ܣሻ ת
823 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
ሺܩǡ ܤሻ ൌ ሺܪǡ ܥሻǡ where ܥൌ ܤ ܣand for all ߳ݔሺܪǡ ܥሻǡ Proof. By Definition 6, ሺܨǡ ܣሻ ת ܨሺݔሻ ܣ א ݔെ ܤǡ ܪሺݔሻ ൌ ቐܩሺݔሻ ܤ א ݔെ ܣǡ ܨሺݔሻ ܩ תሺݔሻܤ ת ܣ א ݔǤ Since ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are both non-null soft sets over ܪ, it follows that ሺܪǡ ܥሻ is also a non-null soft set over ܪfor all the three possible cases for ݔ. If ܣ߳ݔെ ܤ, then ܪሺݔሻ ൌ ܨሺݔሻ is a non-null subhypergroup of ܪbecause ሺܨǡ ܣሻ is a soft hypergroup over ܪ. If ܤ߳ݔെ ܣ, then ܪሺݔሻ ൌ ܩሺݔሻ is a non-null subhypergroup of ܪsince ሺܩǡ ܤሻ is a soft hypergroup over ܪǤ If ܤ ת ܣ߳ݔ, then ܪሺݔሻ ൌ ܨሺݔሻ ܩ תሺݔሻ ് since ܨሺݔሻ ് and ܩሺݔሻ ് are both subhypergroups of ܪand therefore their intersection must be non-null too. Thus in any case, ܪሺݔሻ is a ሺܩǡ ܤሻ is a soft subhypergroup of ܪǤ Hence it follows that ሺܪǡ ܥሻ is a soft hypergroup over ܪi.e. ሺܨǡ ܣሻ ת hypergroup over ܪǤ ז ሺܩǡ ܤሻ is a soft hypergroup over Corollary 1 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪǤ Then ሺܨǡ ܣሻ ש ܪif it is non-null. ሺܩǡ ܤሻ ൌ ሺܪǡ ܣൈ ܤሻǡ where ܪሺݔǡ ݕሻ ൌ ܨሺݔሻ ܩ ሺݕሻ for all ሺݔǡ ݕሻ߳ሺܪǡ ܣൈ Proof. By Definition 7, ሺܨǡ ܣሻ ש ܤሻǤ Given that ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are both soft hypergroups over ܪ, by Definition 9, both ሺܨǡ ܣሻ and ሺܩǡ ܤሻ must be non-null. Thus ܨሺݔሻ is a non-null subhypergroup of ܪfor all ߳ݔሺܨǡ ܣሻ and ܩሺݕሻ is a non-null subhypergroup of ܪfor all ߳ݕሺܩǡ ܤሻǤ Therefore for all ሺݔǡ ݕሻ߳ሺܪǡ ܣൈ ܤሻ, ܪሺݔǡ ݕሻ ൌ ܨሺݔሻ ܩ ሺݕሻ ് , where ܪሺݔǡ ݕሻ is a non-null subhypergroup of ܪfor all ሺݔǡ ݕሻ߳ሺܪǡ ܣൈ ܤሻ. Hence, by Definition 9, ሺܪǡ ܣൈ ܤሻ is a soft ሺܩǡ ܤሻ is a soft hypergroup over ܪǤ hypergroup over ܪ, which means that ሺܨǡ ܣሻ ש ז Definition 13 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪଵ and ܪଶ respectively. The product of ሺܨǡ ܣሻ and ሺܩǡ ܤሻ is defined as ሺܨǡ ܣሻ ൈ ሺܩǡ ܤሻ ൌ ሺܪǡ ܣൈ ܤሻ, where ܪሺݔǡ ݕሻ ൌ ܨሺݔሻ ൈ ܩሺݕሻ for all ሺݔǡ ݕሻ߳ሺܪǡ ܣൈ ܤሻǤ Corollary 2 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪଵ and ܪଶ respectively. Then the product of ሺܨǡ ܣሻ and ሺܩǡ ܤሻ, denoted by ሺܨǡ ܣሻ ൈ ሺܩǡ ܤሻ is a soft hypergroup over ܪଵ ൈ ܪଶ . Proof. Assume that ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are two soft hypergroups over ܪଵ and ܪଶ respectively. Thus, ܨሺݔሻ ് is a subhypergroup of ܪଵ for all ߳ݔሺܨǡ ܣሻ and ܩሺݕሻ ് is a subhypergroup of ܪଶ for all ߳ݕሺܩǡ ܤሻǤ As such, ܪሺݔǡ ݕሻ ൌ ܨሺݔሻ ൈ ܩሺݕሻ ് is a subhypergroup of ܪଵ ൈ ܪଶ for all ሺݔǡ ݕሻ߳ሺܪǡ ܣൈ ܤሻǤ Hence ሺܪǡ ܣൈ ז ܤሻ is a soft hypergroup over ܪଵ ൈ ܪଶ i.e. ሺܨǡ ܣሻ ൈ ሺܩǡ ܤሻ is a soft hypergroup over ܪଵ ൈ ܪଶ . Soft Hypergroup Homomorphism We begin this section by presenting the notion of good and inclusion homomorphism of hypergroups introduced by Corsini [1] and the notion of soft functions introduced by Yamak et al. [8]. These notions are then used in the context of soft hypergroups to define the notion of soft hypergroup homomorphism. We then proceed to study some properties of this notion. Definition 14 (Corsini [1]) Let ሺܪଵ ǡ ڄሻ and ሺܪଶ ǡ כሻ be two hypergroups. The map ݂ ܪ ଵ ՜ ܪଶ is called a good (resp. inclusion) homomorphism if for all ݔǡ ܪ߳ݕଵ ǡ the following relationship holds: ݂ሺݕ ڄ ݔሻ ൌ ݂ሺݔሻ ݂ כሺݕሻ ൫Ǥ ݂ሺݕ ڄ ݔሻ ݂ كሺݔሻ ݂ כሺݕሻ൯. Definition 15 (Yamak et al. [8]) Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft sets over ܷ and ܷԢ respectively, ݂ ܷ ՜ ܷԢ, ݃ ܣ ՜ ܤbe two functions. Then we say that the pair ሺ݂ǡ ݃ሻ is a soft function from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ denoted by ሺ݂ǡ ݃ሻǣ ሺܨǡ ܣሻ ՜ ሺܩǡ ܤሻ if it satisfies ݂൫ܨሺݔሻ൯ ൌ ܩ൫݃ሺݔሻ൯ for all ܣ߳ݔǤ If ݂ and ݃ are injective (resp. surjective, bijective), then ሺ݂ǡ ݃ሻ is said to be injective (resp. surjective, bijective). The notion of soft hypergroup homomorphism is now introduced using the notion of good and inclusion homomorphism and soft functions given above.
824 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
Definition 16 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪଵ and ܪଶ respectively and let ሺ߮ǡ ߰ሻ be a soft function from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ. Then ሺ߮ǡ ߰ሻis called a soft inclusion (resp. good) homomorphism of hypergroups if the following conditions are satisfied: (i) (ii) (iii)
߮ is a an inclusion (resp. good) homomorphism from ܪଵ to ܪଶ Ǥ ߰ is a function from ܣinto ܤǤ ߮൫ܨሺݔሻ൯ ൌ ܩ൫߰ሺݔሻ൯ቀǤ ߮൫ܨሺݔሻ൯ ܩ ك൫߰ሺݔሻ൯ቁ for all ߳ݔሺܨǡ ܣሻ.
Theorem 2 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ሺܪଵ ǡ לሻ and ሺܪଶ ǡ כሻ respectively. Let ሺ߮ǡ ߰ሻ be a soft good homomorphism from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ and let ߰ ܣ ՜ ܤbe an injective mapping. Then ൫߮ሺܨሻǡ ߰ሺܣሻ൯ is a soft hypergroup over ܪଶ . Proof. Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ሺܪଵ ǡ לሻ and ሺܪଶ ǡ כሻ respectively. Then ܨሺݔሻ is a nonnull subhypergroup of ܪଵ for all ߳ݔሺܨǡ ܣሻǤ Since ሺ߮ǡ ߰ሻ is a soft good homomorphism from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ, the following relationship holds true: ൫߮ሺܨሻǡ ߰ሺܣሻ൯ ൌ ߰൫ሺܨǡ ܣሻ൯ Now let ߳ݕ൫߮ሺܨሻǡ ߰ሺܣሻ൯Ǥ Then there exists ߳ݔሺܨǡ ܣሻ such that ݕൌ ߰ሺݔሻǤ Thus, ߮ሺܨሻ൫߮ሺݔሻ൯ is a nonnull subhypergroup of ܪଶ for all ߳ݔሺܨǡ ܣሻǤ However, ߮ሺܨሻ൫߮ሺݔሻ൯ ൌ ൫߮ሺܨሻ൯ሺݕሻ for all ߳ݔሺܨǡ ܣሻ and ߳ݕ൫߮ሺܨሻǡ ߰ሺܣሻ൯Ǥ As such, ൫߮ሺܨሻ൯ሺݕሻ is a non-null subhypergroup of ܪଶ for all ߳ݕ൫߮ሺܨሻǡ ߰ሺܣሻ൯Ǥ ז Hence ൫߮ሺܨሻǡ ߰ሺܣሻ൯ is a soft hypergroup over ܪଶ Ǥ Theorem 3 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ሺܪଵ ǡ לሻ and ሺܪଶ ǡ כሻ respectively. Let ሺ߮ǡ ߰ሻ be a soft inclusion homomorphism from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ. Then ቀ߮ ିଵ ൫ܩ ൯ǡ ߰ ିଵ ሺܤሻቁ is a soft hypergroup over ܪଵ if it is non-null. Proof. Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ሺܪଵ ǡ לሻ and ሺܪଶ ǡ כሻ respectively. Then ܩሺݕሻ is a nonnull subhypergroup of ܪଶ for all ߳ݕሺܩǡ ܤሻ. Due to the fact that ሺ߮ǡ ߰ሻ is a soft inclusion homomorphism from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ, the following relationship holds: ൫߮ ିଵ ሺܩሻǡ ߰ ିଵ ሺܤሻ൯ ି ߰ كଵ ൫ሺܩǡ ܤሻ൯ Now let ߳ݔ൫߮ ିଵ ሺܩሻǡ ߰ ିଵ ሺܤሻ൯Ǥ Then there exists ߳ݕሺܩǡ ܤሻ such that ߰ሺݔሻ ൌ ݕǤ As such, ߮ ିଵ ሺܩሻ൫߰ ିଵ ሺݕሻ൯ is a non-null subhypergroup of ܪଵ for all ߳ݕሺܩǡ ܤሻǤ Thus, ߮ ିଵ ሺܩሻ൫߰ ିଵ ሺݕሻ൯ ك ൫߮ ିଵ ሺܩሻ൯ሺݔሻ since ߮ is an inclusion homomorphism. Therefore, ൫߮ ିଵ ሺܩሻ൯ሺݔሻ is a also a non-null subhypergroup of ܪଵ for all ߳ݔ൫߮ ିଵ ሺܩሻǡ ߰ ିଵ ሺܤሻ൯Ǥ Hence ൫߮ ିଵ ሺܩሻǡ ߰ ିଵ ሺܤሻ൯ is a soft hypergroup over ܪଵ Ǥ ז Theorem 2 and 3 proves that the image and pre-image of a soft hypergroup is also a soft hypergroup. Theorem 4 Let ܪଵ ǡ ܪଶ and ܪଷ be non-null hypergroups and let ሺܨǡ ܣሻǡ ሺܩǡ ܤሻ and ሺܬǡ ܥሻ be soft hypergroups over ܪଵ ǡ ܪଶ and ܪଷ respectively. Let ሺ߮ǡ ߰ሻ ሺܨǡ ܣሻ ՜ ሺܩǡ ܤሻ and ሺ߮ ᇱ ǡ ߰ ᇱ ሻ ሺܩǡ ܤሻ ՜ ሺܬǡ ܥሻ be two soft good (resp. inclusion) homomorphisms respectively. Then ሺ߮ ᇱ ߮ לǡ ߰ ᇱ ߰ לሻ is a soft good (resp. inclusion) homomorphism from ሺܨǡ ܣሻ to ሺܬǡ ܥሻ. Proof. Suppose that ሺ߮ǡ ߰ሻ is a soft good (resp. inclusion) homomorphism from ሺܨǡ ܣሻ to ሺܩǡ ܤሻ. Then ߮ ܪ ଵ ՜ ܪଶ is a good (resp. inclusion) homomorphism from ܪଵ to ܪଶ , ߰ ܣ ՜ ܤis a function from ܣinto ܤand it satisfies the condition ߮൫ܨሺݔሻ൯ ൌ ܩ൫߰ሺݔሻ൯ ቀǤ ߮൫ܨሺݔሻ൯ ܩ ك൫߰ሺݔሻ൯ቁ for all ߳ݔሺܨǡ ܣሻǤ Now let ሺ߮ ᇱ ǡ ߰ ᇱ ሻ be a soft good (resp. inclusion) homomorphism from ሺܩǡ ܤሻ to ሺܬǡ ܥሻǤ Similarly, ߮ ᇱ ܪ ଶ ՜ ܪଷ is a good (resp. inclusion) homomorphism from ܪଶ to ܪଷ and ߰ ᇱ ܤ ՜ ܥis a function from ܤinto ܥand for all ߳ݔሺܩǡ ܤሻ the following condition is satisfied:
825 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
߮ ᇱ ൫ܩሺݔሻ൯ ൌ ܬ൫߰ ᇱ ሺݔሻ൯ ቀǤ ߮ ᇱ ൫ܩሺݔሻ൯ ܬ ك൫߰ ᇱ ሺݔሻ൯ቁ. Therefore, ߮ ᇱ ܪ ߮ לଵ ՜ ܪଷ is a good (resp. inclusion) homomorphism from ܪଵ to ܪଷ and ߰ ᇱ ܣ ߰ ל՜ ܥis a function from ܣinto ܥǤ Thus, ሺ߮ ᇱ ߮ לǡ ߰ ᇱ ߰ לሻ is a soft function by Definition 15. Furthermore, for all ߳ݔሺܨǡ ܣሻ ሺ߮ ᇱ ߮ לሻ൫ܨሺݔሻ൯ ൌ ߮ ᇱ ቀ߮൫ܨሺݔሻ൯ቁ ൌ ߮ ᇱ ሺܩሺ߰ሺݔሻሻሻ ൌ ܬሺ߰ ᇱ ሺ߰ሺݔሻሻሻ
൬Ǥ ߮ كᇱ ቀ߮൫ܨሺݔሻ൯ቁ൰ ൫Ǥ ߮ كᇱ ሺܩሺ߰ሺݔሻሻሻ൯ ൫Ǥ ܬ كሺ߰ ᇱ ሺ߰ሺݔሻሻሻ൯
ൌ ܬ൫ሺ߰ ᇱ ߰ לሻሺݔሻ൯. ቀǤ ܬ ك൫ሺ߰ ᇱ ߰ לሻሺݔሻ൯ቁǤ Thus by Definition 16, ሺ߮ ᇱ ߮ לǡ ߰ ᇱ ߰ לሻ satisfies all the conditions required for a soft function to be a soft good (resp. inclusion) homomorphism of hypergroups. Hence ሺ߮ ᇱ ߮ לǡ ߰ ᇱ ߰ לሻ is a soft good (resp. inclusion) homomorphism from ሺܨǡ ܣሻ to ሺܬǡ ܥሻ. ז Soft Subhypergroups In this section, the notion of soft subhypergroups over a hypergroup is introduced. This notion is an extension to the notion of soft hypergroups and soft subsets. We then proceed to study and investigate some basic properties of this concept. Definition 17 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪ. Then ሺܨǡ ܣሻ is called a soft subhypergroup of ሺܩǡ ܤሻǡ denoted by ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻ, if the following conditions are satisfied: (i) ܤ ك ܣǡ (ii) ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for all ߳ݔሺܨǡ ܣሻǤ Theorem 5 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪand let ሺܨǡ ܣሻ كሺܩǡ ܤሻ. Then ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻǤ Proof. Suppose that ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are two soft hypergroups over ܪǤ Then ܨሺݔሻ and ܩሺݔሻ are non-null subhypergroups of ܪ. If ሺܨǡ ܣሻ is a soft subset of ሺܩǡ ܤሻ denoted by ሺܨǡ ܣሻ كሺܩǡ ܤሻ, then by Definition 5, ܤ ك ܣ and ܨሺݔሻ ܩ كሺݔሻ for all ߳ݔሺܨǡ ܣሻ. Thus, ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for all ߳ݔሺܨǡ ܣሻ. Therefore, since ܤ ك ܣand ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for all ߳ݔሺܨǡ ܣሻ, by Definition 17, it can be concluded that ז ሺܨǡ ܣሻ is a soft subhypergroup of ሺܩǡ ܤሻ i.e. ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻ. Theorem 6 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪand let ሺܨǡ ܣሻ be a soft subhypergroup of ሺܩǡ ܤሻ. ෩ ሺܩǡ ܤሻ is a soft subhypergroup of ሺܩǡ ܤሻ if it is non-null. Then ሺܨǡ ܣሻ ڑ Proof. Suppose that ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are soft hypergroups over ܪ. Then ܨሺݔሻ is a non-null subhypergroup of ܪfor all ߳ݔሺܨǡ ܣሻ and ܩሺݕሻ is a non-null subhypergroup of ܪfor all ߳ݕሺܩǡ ܤሻǤ Furthermore, assume that ሺܨǡ ܣሻ is a soft subhypergroup over ሺܩǡ ܤሻǤ Then by Definition 17, ܤ ك ܣand ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for ෩ ሺܩǡ ܤሻ ൌ ሺܪǡ ܥሻǡ where ܥൌ ് ܤ ת ܣand ܪሺݔሻ ൌ ܨሺݔሻ ת all ߳ݔሺܨǡ ܣሻ . Now by Definition 8, ሺܨǡ ܣሻ ڑ ܩሺݔሻ for all ߳ݔሺܪǡ ܥሻǤ As such, it can be concluded that ܥൌ ܤ ك ܤ ת ܣi.e. ܤ ك ܥǤ Since ܨሺݔሻ ് and ܩሺݔሻ ് ǡ it follows that ܪሺݔሻ ൌ ܨሺݔሻ ܩ תሺݔሻ ് too. Thus for all ߳ݔሺܪǡ ܥሻǡ ܪሺݔሻ ൌ ܨሺݔሻ ܩ תሺݔሻ is a non-null subhypergroup of ܩሺݔሻ since ܨሺݔሻ is a subhypergroup of ܩሺݔሻǤ Hence ሺܪǡ ܥሻ is a soft subhypergroup over ෩ ሺܩǡ ܤሻ is a soft subhypergroup over ሺܩǡ ܤሻǤ ሺܩǡ ܤሻ i.e. ሺܨǡ ܣሻ ڑ ז Corollary 3 Let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪand let ሺܨǡ ܣሻ be a soft subhypergroup of ሺܩǡ ܤሻǤ ࣬ ሺܩǡ ܤሻ is a soft subhypergroup of ሺܩǡ ܤሻ if it is non-null. Then ሺܨǡ ܣሻ Proof. The proof is similar to that of Theorem 6 and is straightforward using Definition 8.
ז
Theorem 7 Let ߮ ܪ ଵ ՜ ܪଶ be a good homomorphism of hypergroups and let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪଵ Ǥ If ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻ, then ሺ߮ሺܨሻǡ ܣሻ ௌ ሺ߮ሺܩሻǡ ܤሻǤ
826 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions
Proof. Suppose that ሺܨǡ ܣሻ and ሺܩǡ ܤሻ are two soft hypergroups over ܪଵ Ǥ Then ܨሺݔሻ and ܩሺݕሻ are non-null subhypergroups of ܪଵ for all ߳ݔሺܨǡ ܣሻ and ߳ݕሺܩǡ ܤሻ respectively. Now if ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻǡ then by Definition 17, ܤ ك ܣand ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for all ߳ݔሺܨǡ ܣሻǤ Let ߮ be a good homomorphism of hypergroups from ܪଵ to ܪଶ Ǥ As such, ߮ሺܨሻሺݔሻ ൌ ߮൫ܨሺݔሻ൯ and ߮ሺܩሻሺݔሻ ൌ ߮൫ܩሺݔሻ൯ are both non-null subhypergroups of ሺ߮ሺܨሻǡ ܣሻ and ሺ߮ሺܩሻǡ ܤሻ respectively. Furthermore, since ܨሺݔሻ is a subhypergroup of ܩሺݔሻ for all ߳ݔሺܨǡ ܣሻǡ ߮ሺܨሻሺݔሻ ൌ ߮൫ܨሺݔሻ൯ is a subhypergroup of ߮ሺܩሻሺݔሻ ൌ ߮൫ܩሺݔሻ൯ for all ߳ݔሺܨǡ ܣሻǤ Thus ሺ߮ሺܨሻǡ ܣሻ is a soft hypergroup over ሺ߮ሺܩሻǡ ܤሻ for all ߳ݔሺ߮ሺܨሻǡ ܣሻǤ Hence by ז Definition 17, ሺ߮ሺܨሻǡ ܣሻ is a soft subhypergroup of ሺ߮ሺܩሻǡ ܤሻ, denoted by ሺ߮ሺܨሻǡ ܣሻ ௌ ሺ߮ሺܩሻǡ ܤሻǤ Theorem 8 Let ߮ǣܪଵ ՜ ܪଶ be a good homomorphism of hypergroups and let ሺܨǡ ܣሻ and ሺܩǡ ܤሻ be two soft hypergroups over ܪଶ . If ሺܨǡ ܣሻ ௌ ሺܩǡ ܤሻ, then ሺ߮ ିଵ ሺܨሻǡ ܣሻ ௌ ሺ߮ ିଵ ሺܩሻǡ ܤሻǤ ז
Proof. The proof is similar to that of Theorem 7.
CONCLUSIONS In this paper, we have introduced the notion of soft hypergroups as an extension of the notion of soft sets, soft hyperstructures and hypergroups. Other related concepts such as the homomorphism of soft hypergroups and soft subhypergroups were also introduced. Several fundamental properties of soft hypergroups were also presented and studied. To extend our work in this paper, other concepts related to the notion of soft hypergroups such as soft quotient hypergroups and soft cyclic hypergroups can be studied and explored.
ACKNOWLEDGEMENTS The financial support received from Universiti Kebangsaan Malaysia, Faculty of Science and Technology under grant No. UKM–DLP–2011–038 is gratefully acknowledged.
REFERENCES 1. P. Corsini, “Introduction to Hypergroup Theory”, in Prolegomena of Hypergroup Theory, Tricesimo: Aviani Editor, 1993, pp. 86–95. 2. P. Corsini and V. Leoreanu-Fotea, “On Hypergroups and Hyperrings” in Applications of Hyperstructures Theory: Advances in Mathematics, Netherlands: Kluwer Academic Publishers, 2003, pp. 131–133. 3. B. Davvaz, Fuzzy Sets and Systems 101, 191–195 (1999). 4. Marty, Sur Une Generalisation de la Notion de Groupe, Proceedings of the 8 th Congress des Mathematiciens Scandinaves, Stockholm, 1934, pp. 45–49. 5. D. Molodtsov, Computers and Mathematics with Applications 37(4–5), 19–31 (1999). 6. T. Vougiouklis, Discrete Mathematics 155, 259–265 (1996). 7. W. Xu, J. Ma, S. Wang and G. Hao, Computers and Mathematics with Applications 59, 787–794 (2010). 8. S. Yamak, O. Kacanzi and B. Davvaz, Computers and Mathematics with Applications 62, 797–803 (2011). 9. M.I. Ali, F. Feng, X. Liu, W.K. Min and M. Shabir, Computers and Mathematics with Applications 57(9), 1547–1553 (2009). 10. P.K. Maji, R. Bismas and A.R. Roy, Computers and Mathematics with Applications 45, 555–562 (2003).
827 Downloaded 28 Apr 2013 to 113.23.130.2. This article is copyrighted as indicated in the abstract. Reuse of AIP content is subject to the terms at: http://proceedings.aip.org/about/rights_permissions