RATIO MATHEMATICA 27 (2014) 37-47 ISSN:1592-7415 Multivalued linear transformations of hyperspaces R. Ameria, R. A. Borzooeib, K. Ghadimic a School of Mathematics, Statistic and Computer Sciences, College of Science, University of Tehran,Tehran, Iran rameri@ut.ac.ir b Department of Mathematics, Shahid Beheshti University, Tehran, Iran, borzooei@sbu.ac.ir c Department of Mathematics, Payame Noor University, Tehran, Iran, ghadimi@phd.pnu.ac.ir Abstract The purpose of this paper is the study of multivalued linear trans- formations of hypervector spaces (or hyperspaces) in the sense of Tallini. In this regards first we introduce and study various multi- valued linear transformations of hyperspaces and then constitute the categories of hyperspaces with respect the different linear transforma- tions of hyperspaces as the morphisms in these categories. Also, we construct some algebraic hyperoperations on HomK (V, W ), the set of all multivalued linear transformations from a hyperspace V into hy- perspaces W , and obtaine their basic properties. Finally, we construct the fundamental functor F from HVK , category of hyperspaces over field K into VK , the category of clasical vector space over K. Key words: hypervector space, multivalued linear transforma- tion, category,fundamental relation 2000 AMS: 20N20 37 R. Ameri, R. A. Borzooei and K. Ghadimi 1 Introduction The theory of algebraic hyperstructures is a well-established branch of classical algebraic theory. Hyperstructure theory was first proposed in 1934 by Marty, who defined hypergroups and began to investigate their properties with applications to groups, rational fractions and algebraic functions [15]. It was later observed that the theory of hyperstructures has many applications in both pure and applied sciences; for example, semi-hypergroups are the simplest algebraic hyperstructures that possess the properties of closure and associativity. The theory of hyperstructures has been widely reviewed ([11], [12], [13],[14] and [20])( for more see [2, 3, 5, 6, 7, 8, 9]). M.S. Tallini introduced the notion of hyperspaces(hypervector spaces) ([17], [18] and [19]) and studied basic properties of them. R. Ameri and O. Dehghan [2] introduced and studied dimension of hyperspaces and in [16] M. Motameni et. el. studied hypermatrix. R. Ameri in [1] introduced and studied categories of hypermodules. In this paper we introduce and study various types of multivalued linear transformations of hyperspaces. We will proceed by constructing various categories of hyperspaces based on various multilinear linear transformations of hyperspaces. Also, we construct some hyperalgebraic structures on (HomK(V, W ). Finally, we construct the fundu- mental functor from category of hyperspaces and multilinear transformations, as morphisms into the category of vectorspces. 2 Preliminaries The concept of hyperspace, which is a generalization of the concept of ordinary vector space. Definition 2.1. Let H be a set. A map . : H × H −→ P∗(H) is called hyperoperation or join operation, where P∗(H) is the set of all non-empty subsets of H. The join operation is extended to subsets of H in natural way, so that A.B is given by A.B = ⋃ {a.b : a ∈ A and b ∈ B}. the notations a.A and A.a are used for {a}.A and A.{a} respectively. Gen- erally, the singleton {a} is identified by its element a. Definition 2.2. [17] Let K be a field and (V, +) be an abelian group. We define a hyperspace over K to be the quadrupled (V, +,◦, K), where ◦ is a 38 Multivalued linear transformations of hyperspaces mapping ◦ : K ×V −→ P∗(V ), such that the following conditions hold: (H1) ∀ a ∈ K, ∀ x, y ∈ V, a◦ (x + y) ⊆ a◦x + a◦y, right distributive law, (H2) ∀ a, b ∈ K, ∀ x ∈ V, (a + b) ◦x ⊆ a◦x + b◦x, left distributive law, (H3) ∀ a, b ∈ K, ∀ x ∈ V, a◦ (b◦x) = (ab) ◦x, associative law, (H4) ∀ a ∈ K, ∀ x ∈ V, a◦ (−x) = (−a) ◦x = −(a◦x), (H5) ∀ x ∈ V, x ∈ 1 ◦x. Remark 2.3. (i) In the right hand side of (H1) the sum is meant in the sense of Frobenius, that is we consider the set of all sums of an element of a◦x with an element of a◦y. Similarly we have in (H2). (ii) We say that (V, +,◦, K) is anti-left distributive, if ∀ a, b ∈ K, ∀ x ∈ V, (a + b) ◦x ⊇ a◦x + b◦x, and strongly left distributive, if ∀ a, b ∈ K, ∀ x ∈ V, (a + b) ◦x = a◦x + b◦x, In a similar way we define the anti-right distributive and strongly right dis- tributive hyperspaces, respectvely. V is called strongly distributive if it is both strongly left and strongly right distributive. (iii) The left hand side of (H3) means the set-theoretical union of all the sets a◦y, where y runs over the set b◦x, i.e. a◦ (b◦x) = ⋃ y∈b◦x a◦y. (iv) Let ΩV = 0 ◦ 0V , where 0V is the zero of (V, +), In [17] it is shown if V is either strongly right or left distributive, then ΩV is a subgroup of (V, +). Let V be a hyperspace over a field K. W ⊆ V is a subhyperspace of V , if W 6= ∅, W −W ⊆ W, ∀a ∈ K, a◦W ⊆ W. Example 2.4. [2] Consider abelian group (R2, +). Define hyper-compositions{ ◦ : R×R2 −→ P∗(R2) a◦ (x, y) = ax×R and { � : R×R2 −→ P∗(R2) a� (x, y) = R×ay. Then (R2, +,◦, R) and (R2, +,�, R) are a strongly distributive hyperspaces. 39 R. Ameri, R. A. Borzooei and K. Ghadimi Example 2.5. [2] Let (V, +, ., K) be a classical vector space and P be a subspace of V . Define the hyper-composition{ ◦ : K ×V −→ P∗(V ) a◦x = a.x + P. Then it is easy to verify that (V, +,◦, K) is a strongly distributive hyperspace. Example 2.6. [?] In (R2, +) define the hyper-composition ◦ as follows: ∀a ∈ R,∀x ∈ R2 : a◦x = { line ōx if x 6= 0V {0V} if x = 0V , where 0V = (0, 0). Then (R2, +,◦, R) is a strongly left, but not right distribu- tive hyperspace. Proposition 2.7. [?] Every strongly right distributive hyperspace is strongly left distributive hyperspace. Let (V, +) be an abelian group, Ω a subgroup of V and K a field such that W = V/Ω is a classical vector space over K. If p : V −→ W is the canonical projection of (V, +) onto (W, +) and set:{ ◦ : K ×V −→ P∗(V ) a◦x = p−1(a.p(x)). Then (V, +,◦, K) is a strongly distributive hyperspace over K. Moreover every strongly distributive hyperspace can be obtained in such a way. Proposition 2.8. [?] If (V, +,◦, K) be a left distributive hyperspace, then for all a ∈ K and x ∈ V 1) 0 ◦x is a subgroup of (V, +); 2) ΩV is a subgroup of (V, +); 3) a◦ 0V = ΩV = a◦ ΩV ; 4) ΩV ⊆ 0 ◦x; 5) x ∈ 0 ◦x ⇐⇒ 1 ◦x = 0 ◦x ⇐⇒ a◦x = 0 ◦x, ∀a ∈ K. Remark 2.9. Let (V, +,◦, K) be a hyperspace and W be a subhyperspace of V . Consider the quotient abelian group (V/W, +). Define the rule{ ∗ : K ×V/W −→ P∗(V/W ) (a, x + W ) 7−→ a◦x + W. Then it is easy to verify that (V/W, +,∗, K) is a hyperspace over K and it is called the quotient hyperspace of V over W . 40 Multivalued linear transformations of hyperspaces 3 Multivalued linear transformations Definition 3.1. Let V and W be two hyperspaces over a field K. A mul- tivalued linear transformation (MLT ) T : V −→ P∗(W ) is a mapping such that : ∀x, y ∈ V,∀a ∈ K 1) T (x + y) ⊆ T (x) + T (y); 2) T (a◦x) ⊆ a◦T (x); 3) T (−a) = −T (a). Remark 3.2. (i) In Definition 3.1(1) and (2), if the equality holds, then T is called a strong multivalued linear transformation (SMLT ). (ii) In Definition 3.1, if we consider T as a mapping T : V −→ W , then is it is called a linear transformation. Here we consider only inclusion and equality cases. (iii) If T is a MLT , then 0 ∈ T (x), since T (x) 6= ∅, so ∃y ∈ T (x); 0 = y −y ∈ T (x) −T (x) = T (x) + T (−x) = T (x + (−x)) = T (x−x) = T (0). Definition 3.3. [1] Let V and W be two hyperspaces over a field K and T : V −→ P∗(W ) be a SMLT . Then multivalued kernel and multivalued image of T , denoted by KerT and ImT , respectively, are defined as follows: KerT = {x ∈ V | 0W ∈ T (x)}; and ImT = {y ∈ W | y ∈ T (x) for some x ∈ V}. Remark 3.4. (i) Note that KerT 6= ∅, by Remark 3.2(iii). (ii) For hyperspaces V and W over a field K, by HomK(V, W ) and HomsK(V, W ), we mean the set of all MLT and SMLT , respectively and sometimes we use morphism instead multivalued linear transformation, re- spectively. Also, by homK(V, W ) and hom s K(V, W ), we mean the set of all linear transformation LT and strong linear transformation SLT respectively and sometimes we use morphism instead multivalued , respectively. In the following we briefly introduced the categories of hyperspaces and study the relationship between monomorphism, epimorphism, isomorphism andmonic, epic and iso objects in these category. Definition 3.5. The category of hyperspaces over a field K denoted by HVK is defined as follows: 1) The objects of HVK are all hyperspaces over K; 41