The notion of int-soft subfields, int-soft algebras over int-soft subfields, and int-soft hypervector spaces are introduced, and their properties and characterizations are considered. In connection with linear transformations, int-soft hypervector spaces are discussed.
1. Introduction
The hyperstructure theory was introduced by Marty [1] at the 8th congress of Scandinavian Mathematicians in 1934. Since then many researchers have worked in these areas, for example, hyper-MV-algebras, hyper-BCK/BCI/BCC-algebras, hyper-BL-algebras, hyperlattices, and so forth. As a generalization of fuzzy vector spaces, the fuzzy hypervector spaces are studied by Ameri and Dehghan (see [2, 3]).
Various problems in system identification involve characteristics which are essentially nonprobabilistic in nature [4]. In response to this situation Zadeh [5] introduced fuzzy set theory as an alternative to probability theory. Uncertainty is an attribute of information. In order to suggest a more general framework, the approach to uncertainty is outlined by Zadeh [6]. To solve complicated problem in economics, engineering, and environment, we cannot successfully use classical methods because of various uncertainties typical for those problems. There are three theories: theory of probability, theory of fuzzy sets, and the interval mathematics which we can consider as mathematical tools for dealing with uncertainties. But all these theories have their own difficulties. Uncertainties cannot be handled using traditional mathematical tools but may be dealt with using a wide range of existing theories such as probability theory, theory of (intuitionistic) fuzzy sets, theory of vague sets, theory of interval mathematics, and theory of rough sets. However, all of these theories have their own difficulties which are pointed out in [7]. Maji et al. [8] and Molodtsov [7] suggested that one reason for these difficulties may be due to the inadequacy of the parametrization tool of the theory. To overcome these difficulties, Molodtsov [7] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. Molodtsov pointed out several directions for the applications of soft sets. At present, works on the soft set theory are progressing rapidly. Maji et al. [8] described the application of soft set theory to a decision making problem. Maji et al. [9] also studied several operations on the theory of soft sets. Chen et al. [10] presented a new definition of soft set parametrization reduction and compared this definition to the related concept of attributes reduction in rough set theory. The algebraic structure of set theories dealing with uncertainties has been studied by some authors. Çağman et al. [11] introduced fuzzy parameterized (FP) soft sets and their related properties. They proposed a decision making method based on FP-soft set theory and provided an example which shows that the method can be successfully applied to the problems that contain uncertainties. Feng [12] considered the application of soft rough approximations in multicriteria group decision making problems. Aktaş and Çağman [13] studied the basic concepts of soft set theory and compared soft sets to fuzzy and rough sets, providing examples to clarify their differences. They also discussed the notion of soft groups. After that, many algebraic properties of soft sets are studied (see [14–24]).
In this paper, we introduce the notion of int-soft subfields, int-soft algebras over int-soft subfields, and int-soft hypervector spaces. We study their properties and characterizations. In connection with linear transformations, we discuss int-soft hypervector spaces.
2. Preliminaries
A soft set theory is introduced by Molodtsov [7], and Çağman and Enginoğlu [25] provided new definitions and various results on soft set theory.
In what follows, let U be an initial universe set and E be a set of parameters. Let 𝒫(U) denote the power set of U and A,B,C,…⊆E.
Definition 1 (see [7, 25]).
A soft set (f~,A) over U is defined to be the set of ordered pairs
(1)(f~,A):={(x,f~(x)):x∈E,f~(x)∈𝒫(U)},
where f~:E→𝒫(U) such that f~(x)=∅ if x∉A.
For any sets X and Y, let μ:X→Y be a function and (f~,X) and (g~,Y) be soft sets over U.
The soft set
(2)μ-1(g~,Y)={(x,μ-1(g~)(x)):x∈X,μ-1(g~)(x)∈𝒫(U)},
where μ-1(g~)(x)=g~(μ(x)), is called the soft preimage of (g~,Y) under μ.
The soft set
(3)μ(f~,X)={(y,μ(f~)(y)):y∈Y,μ(f~)(y)∈𝒫(U)},
where
(4)μ(f~)(y)={⋃x∈μ-1(y)f~(x)ifμ-1(y)≠∅,∅otherwise,
is called the soft image of (f~,X) under μ.
A map ∘:H×H→P*(H) is called a hyperoperation or join operation, where P*(H) is the set of all nonempty subsets of H. The join operation is extended to subsets of H in natural way, so that A∘B is given by
(5)A∘B=⋃{a∘b∣a∈A,b∈B}.
The notations a∘A and A∘a are used for {a}∘A and A∘{a}, respectively. Generally, the singleton {a} is identified by its element a.
Definition 2 (see [26]).
Let F be a field and (V,+) be an abelian group. A hypervector space over F is defined to be the quadruplet (V,+,∘,F), where “∘” is a mapping
(6)∘:F×V⟶P*(V),
such that for all a,b∈F and x,y∈V the following conditions hold:
a∘(x+y)⊆a∘x+a∘y,
(a+b)∘x⊆a∘x+b∘x,
a∘(b∘x)=(ab)∘x,
a∘(-x)=(-a)∘x=-(a∘x),
x∈1∘x.
A hypervector space (V,+,∘,F) over a field F is said to be strongly left distributive (see [2]) if it satisfies the following condition:
(7)(∀a∈F)(∀x,y∈V)(a∘(x+y)=a∘x+a∘y).
3. Int-Soft Algebras over an Int-Soft Field
In what follows let F be a field unless otherwise specified.
Definition 3.
A soft set (f~,F) over F is called an int-soft subfield of F if the following conditions are satisfied:
(∀a,b∈F)(f~(a+b)⊇f~(a)∩f~(b)),
(∀a∈F)(f~(-a)⊇f~(a)),
(∀a,b∈F)(f~(a)∩f~(b)⊆f~(ab)),
(∀a∈F)(a≠0⇒f~(a)⊆f~(a-1)).
Proposition 4.
If (f~,F) is an int-soft subfield of F, then
(∀a∈F)(f~(a)⊆f~(0)),
(∀a∈F)(a≠0⇒f~(a)⊆f~(1)),
f~(1)⊆f~(0).
Proof.
(1) For all a∈F, we have
(8)f~(0)=f~(a+(-a))⊇f~(a)∩f~(-a)=f~(a).
(2) Let a∈F be such that a≠0. Then
(9)f~(1)=f~(aa-1)⊇f~(a)∩f~(a-1)=f~(a).
(3) It is by (1).
It is easy to show that the following theorem holds.
Theorem 5.
A soft set (f~,F) over F is an int-soft subfield of F if and only if the nonempty γ-inclusive set
(10)iF(f~;γ):={a∈F∣γ⊆f~(a)}
of (f~,F) is a subfield of F for all γ∈𝒫(U).
Definition 6.
Let V be an algebra over F and let (f~,F) be an int-soft subfield of F. A soft set (g~,V) is called an int-soft algebra over (f~,F) if it satisfies the following conditions:
(∀x,y∈V)(g~(x+y)⊇g~(x)∩g~(y)),
(∀a∈F)(∀x∈V)(g~(ax)⊇f~(a)∩g~(x)),
(∀x,y∈V)(g~(xy)⊇g~(x)∩g~(y)),
(∀x∈V)(f~(1)⊇g~(x)).
Proposition 7.
Let V be an algebra over F and let (f~,F) be an int-soft subfield of F. If (g~,V) is an int-soft algebra over (f~,F), then f~(0)⊇g~(x) for all x∈V.
Proof.
For any x∈V, we have f~(0)⊇f~(1)⊇g~(x).
Theorem 8.
Let V be an algebra over F and let (f~,F) be an int-soft subfield of F. Then a soft set (g~,V) is an int-soft algebra over (f~,F) if and only if the following conditions are valid:
Assume that (g~,V) is an algebra over (f~,F). Using (1) and (2) of Definition 6, we have
(11)g~(ax+by)⊇g~(ax)∩g~(by)⊇(f~(a)∩g~(x))∩(f~(b)∩g~(y))
for all a,b∈F and x,y∈V.
Conditions (2) and (3) are by Definition 6 (3) and Definition 6 (4), respectively.
Conversely, suppose that the inclusions of Theorem 8 hold for all a,b∈F and x,y∈V. Then
(12)g~(x+y)=g~(1x+1y)⊇(f~(1)∩g~(x))∩(f~(1)∩g~(y))=g~(x)∩g~(y).
The condition (3) and Proposition 4 (3) imply that f~(0)⊇f~(1)⊇g~(x) for all x∈V. Thus
(13)g~(ax)=g~(ax+0x)⊇(f~(a)∩g~(x))∩(f~(0)∩g~(x))=(f~(a)∩g~(x))∩g~(x)=f~(a)∩g~(x)
for all a∈F and x∈V. Therefore (g~,V) is an algebra over (f~,F).
Theorem 9.
Let V and W be algebras over F. For any algebraic homomorphism μ:V→W, we have the following.
If (g~,W) is an int-soft algebra over (f~,F), then the soft preimage μ-1(g~,W) of (g~,W) under μ is also an int-soft algebra over (f~,F).
If (g~,V) is an int-soft algebra over (f~,F), then the soft image μ(g~,V) of (g~,V) under μ is also an int-soft algebra over (f~,F).
Proof.
(1) For any a,b∈F and x,y∈V, we have
(14)μ-1(g~)(ax+by)=g~(μ(ax+by))=g~(aμ(x)+bμ(y))⊇(f~(a)∩g~(μ(x)))∩(f~(b)∩g~(μ(y)))=(f~(a)∩μ-1(g~)(x))∩(f~(b)∩μ-1(g~)(y)),μ-1(g~)(xy)=g~(μ(xy))=g~(μ(x)μ(y))⊇g~(μ(x))∩g~(μ(y))=μ-1(g~)(x)∩μ-1(g~)(y),
and f~(1)⊇g~(μ(x))=μ-1(g~)(x). Therefore, by Theorem 8, μ-1(g~,W) is an algebra over (f~,F).
(2) Let y1,y2∈W. If μ-1(y1)=∅ or μ-1(y2)=∅, then
(15)μ(g~)(y1)∩μ(g~)(y2)=∅⊆μ(g~)(y1+y2).Assume that μ-1(y1)≠∅ and μ-1(y2)≠∅. Then μ-1(y1+y2)≠∅, and so
(16)μ(g~)(y1+y2)=⋃x∈μ-1(y1+y2)g~(x)⊇⋃x1∈μ-1(y1)x2∈μ-1(y2)g~(x1+x2)⊇⋃x1∈μ-1(y1)x2∈μ-1(y2)(g~(x1)∩g~(x2))=(⋃x1∈μ-1(y1)g~(x1))∩(⋃x2∈μ-1(y2)g~(x2))=μ(g~)(y1)∩μ(g~)(y2).
For any y∈W and a∈F, we have
(17)μ(g~)(ay)=⋃μ(x)=ayg~(x)=⋃μ(x)=yg~(ay)⊇⋃μ(x)=y(f~(a)∩g~(y))=f~(a)∩⋃μ(x)=yg~(y)=f~(a)∩μ(g~)(y).
For all y1,y2∈W, if at least one of μ-1(y1) and μ-1(y1) is empty, then the inclusion
(18)μ(g~)(y1)∩μ(g~)(y1)⊆μ(g~)(y1y2)
is clear. Assume that μ-1(y1)≠∅ and μ-1(y2)≠∅. Then
(19)μ(g~)(y1)∩μ(g~)(y2)=(⋃x1∈μ-1(y1)g~(x1))∩(⋃x2∈μ-1(y2)g~(x2))=⋃x1∈μ-1(y1)x2∈μ-1(y2)(g~(x1)∩g~(x2))⊆⋃x1∈μ-1(y1)x2∈μ-1(y2)g~(x1x2)=⋃x∈μ-1(y1y2)g~(x)=μ(g~)(y1y2).
Since f~(1)⊇g~(x) for all x∈V, it follows that
(20)f~(1)⊇⋃x∈μ-1(y)g~(x)=μ(g~)(y)
for all y∈W. Therefore μ(g~,V) is an algebra over (f~,F).
4. Int-Soft Hypervector SpacesDefinition 10.
Let V be a hypervector space over F and (f~,F) an int-soft subfield of F. A soft set (g~,V) over V is called an int-soft hypervector space of V related to (f~,F) if the following assertions are valid:
(∀x,y∈V)(g~(x+y)⊇g~(x)∩g~(y)),
(∀x∈V)(g~(-x)⊇g~(x)),
(∀a∈F)(∀x∈V)(⋂y∈a∘xg~(y)⊇f~(a)∩g~(x)),
f~(1)⊇g~(θ) where θ is the zero of (V,+).
Proposition 11.
Let V be a hypervector space over F and (f~,F) an int-soft subfield of F. If (g~,V) is an int-soft hypervector space of V related to (f~,F), then
g~(θ)⊆f~(0),
(∀x∈V)(g~(x)⊆g~(θ)),
(∀x∈V)(g~(x)⊆f~(0)).
Proof.
It is an immediate consequence of Definition 10 and Proposition 4.
Proposition 12.
Let V be a hypervector space over F. If (g~,V) is an int-soft hypervector space of V related to an int-soft subfield (f~,F) of F, then
(21)(∀x∈V)(g~(x)=⋂y∈1∘xg~(y)).
Proof.
Let x∈V. Since x∈1∘x by (H5), we have g~(x)⊇⋂y∈1∘xg~(y). Using Definition 10 (3)
(22)⋂y∈1∘xg~(y)⊇f~(1)∩g~(x)⊇g~(x).
Hence g~(x)=⋂y∈1∘xg~(y) for all x∈V.
Theorem 13.
Assume that a hypervector space V over F is strongly left distributive. Let (f~,F) be an int-soft subfield of F. Then a soft set (g~,V) over V is an int-soft hypervector space of V related to (f~,F) if and only if the following conditions are true:
⋂z∈a∘x+b∘yg~(z)⊇(f~(a)∩g~(x))∩(f~(b)∩g~(y)),
g~(x)⊆f~(1)
for all a,b∈F and all x,y∈V.
Proof.
Assume that (g~,V) is an hypervector space of V related to (f~,F). The second condition follows from Proposition 11 (2) and Definition 10 (4). Let a,b∈F and x,y∈V. Then
(23)⋂z∈a∘x+b∘yg~(z)=⋂z∈u+vu∈a∘x,v∈b∘yg~(z)⊇(f~(a)∩g~(x))∩(f~(b)∩g~(y)).
Conversely suppose the conditions (1) and (2) are true. For all x,y∈V, we have
(24)g~(x+y)⊇⋂z∈1∘x+1∘yg~(z)⊇(f~(1)∩g~(x))∩(f~(1)∩g~(y))⊇g~(x)∩g~(y).
Since (f~,F) is a subfield of F, we have g~(a)⊆f~(1)⊆f~(0) and g~(a)⊆f~(1)⊆f~(-1). Note that 0∈0∘x for all x∈V. It follows that
(25)g~(-x)⊇⋂y∈0∘x+(-1)∘xg~(y)⊇(f~(0)∩g~(x))∩(f~(-1)∩g~(x))=g~(x)∩g~(x)=g~(x)
for all x∈V. Let a∈F and x∈V. Then
(26)⋂y∈a∘xg~(y)⊇⋂y∈u+vu∈0∘x,v∈a∘xg~(y)⊇(f~(0)∩g~(x))∩(f~(a)∩g~(x))=g~(x)∩(f~(a)∩g~(x))=f~(a)∩g~(x).
Clearly, f~(1)⊇g~(θ). Therefore (g~,V) is an int-soft hypervector space of V related to (f~,F).
Theorem 14.
Let V be a hypervector space over F and (f~,F) an int-soft subfield of F. If a soft set (g~,V) over V is an int-soft hypervector space of V related to (f~,F), then the nonempty γ-inclusive set
(27)iV(g~;γ):={x∈V∣γ⊆g~(x)}
of (g~,V) is a subhypervector space of V over the field iF(f~;γ) for all γ∈𝒫(U).
Proof.
Let x,y∈iV(g~;γ). Then g~(x)⊇γ and g~(y)⊇γ. It follows that
(28)g~(x-y)=g~(x+(-y))⊇g~(x)∩g~(-y)⊇g~(x)∩g~(y)⊇γ.
Hence x-y∈iV(g~;γ). Note that iF(f~;γ) is a subfield of F (see Theorem 5). Let a∈iF(f~;γ),x∈iV(g~;γ), and y∈a∘x. Then
(29)g~(y)⊇⋂z∈a∘xg~(z)⊇f~(a)∩g~(x)⊇γ,
and so y∈iV(g~;γ) which shows that a∘x⊆iV(g~;γ). Therefore iV(g~;γ) is a hypervector space over the field iF(f~;γ) for all γ∈𝒫(U).
Let V and W be hypervector spaces over F. A mapping T:V→W is called linear transformation (see [3]) if it satisfies the following:
(∀x,y∈V)(T(x+y)=T(x)+T(y)),
(∀a∈F)(∀x∈V)(T(a∘x)⊆a∘T(x)).
Theorem 15.
Let V and W be hypervector spaces over F and let (f~,F) be an int-soft subfield of F. For any linear transformation T:V→W, if (g~,W) is an int-soft hypervector space of W related to (f~,F), then T-1(g~,W) is an int-soft hypervector space of V related to (f~,F).
Proof.
Let a,b∈F and x,y∈V. Since T is a linear transformation, we have
(30)⋂z∈a∘x+b∘yT-1(g~)(z)=⋂z∈a∘x+b∘yg~(T(z))=⋂u∈a∘x,v∈b∘yg~(T(u+v))⊇⋂T(u)∈a∘T(x)T(v)∈b∘T(y)g~(T(u+v))⊇(g~(T(x))∩f~(a))⋂(g~(T(y))∩f~(b))=(T-1(g~)(x)∩f~(a))⋂(T-1(g~)(y)∩f~(b)).
Obviously, f~(1)⊇T-1(g~)(x) for all x∈V. It follows from Theorem 13 that T-1(g~,W) is a hypervector space of V related to (f~,F).
Theorem 16.
Let V and W be hypervector spaces over F and let (f~,F) be an int-soft subfield of F. For any linear transformation T:V→W, if (g~,V) is an int-soft hypervector space of V related to (f~,F), then T(g~,V) is an int-soft hypervector space of W related to (f~,F).
Proof.
Let a,b∈F and x,y∈W. If at least one of T-1(x) and T-1(y) is empty, then the inclusion
(31)⋂z∈a∘x+b∘yT(g~)(z)⊇(f~(a)∩T(g~)(x))⋂(f~(b)∩T(g~)(y))
is clear. Assume that T-1(x) and T-1(y) are nonempty. Then there exists u,v∈V such that T(u)=x and T(v)=y. Thus
(32)a∘x+b∘y=a∘T(u)+b∘T(v)⊇T(a∘u)+T(b∘v)=T(a∘u+b∘v)
since T is linear. Hence a∘u+b∘v⊆T-1(a∘x+b∘y). Then
(33)⋂w∈a∘x+b∘yT(g~)(w)=⋂w∈a∘x+b∘yT(z)=wg~(z)⊇⋂u∈T-1(x),v∈T-1(y)z=z1+z2,z1∈a∘u,z2∈b∘v(g~(z1)∩g~(z2))⊇(f~(a)∩g~(u))⋂(f~(b)∩g~(v))=(f~(a)∩T(g~)(x))⋂(f~(b)∩T(g~)(y)).
Obviously, f~(1)⊇T(g~)(x) for all x∈W. Therefore T(g~,V) is a hypervector space of W related to (f~,F) by Theorem 13.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
This work (RPP-2012-021) was supported by the fund of Research Promotion Program, Gyeongsang National University, 2012. The third author would like to thank Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, for financial support.
MartyF.Sur une generalization de la notion de groupeProceedings of the 8th Congress des Mathematiciens Scandinaves1934Stockholm, Sweden4549AmeriR.DehghanO.Fuzzy hypervector spaces based on fuzzy singletons201161102933294310.1016/j.camwa.2011.02.042MR2799818ZBL1222.03057AmeriR.DehghanO. R.Fuzzy hypervector spaces200820089295649MR2425458ZBL1211.1500210.1155/2008/295649ZadehL. A.From circuit theory to system theory196250856865MR0136298ZadehL. A.Fuzzy sets19658338353MR0219427ZBL0139.24606ZadehL. A.Toward a generalized theory of uncertainty (GTU)—an outline20051721-214010.1016/j.ins.2005.01.017MR2153009ZBL1074.94021MolodtsovD.Soft set theory—first results1999374-5193110.1016/S0898-1221(99)00056-5MR1677178ZBL0936.03049MajiP. K.RoyA. R.BiswasR.An application of soft sets in a decision making problem2002448-91077108310.1016/S0898-1221(02)00216-XMR1937568ZBL1044.90042MajiP. K.BiswasR.RoyA. R.Soft set theory2003454-555556210.1016/S0898-1221(03)00016-6MR1968545ZBL1032.03525ChenD.TsangE. C. C.YeungD. S.WangX.The parameterization reduction of soft sets and its applications2005495-675776310.1016/j.camwa.2004.10.036MR2135211ZBL1074.03510ÇağmanN.ÇitakF.EnginogluS.FP-soft set theory and its applications201122219226MR2827238FengF.Soft rough sets applied to multicriteria group decision making2011216980MR2819395AktaşH.ÇağmanN.Soft sets and soft groups2007177132726273510.1016/j.ins.2006.12.008MR2323240ZBL1119.03050AcarU.KoyuncuF.TanayB.Soft sets and soft rings201059113458346310.1016/j.camwa.2010.03.034MR2646316ZBL1197.03048AtagünA. O.SezginA.Soft substructures of rings, fields and modules201161359260110.1016/j.camwa.2010.12.005MR2764054ZBL1217.16041FengF.JunY. B.ZhaoX.Soft semirings200856102621262810.1016/j.camwa.2008.05.011MR2460071ZBL1165.16307JunY. B.Soft BCK/BCI-algebras20085651408141310.1016/j.camwa.2008.02.035MR2437308ZBL1184.06014JunY. B.KimH. S.NeggersJ.Pseudo d-algebras2009179111751175910.1016/j.ins.2009.01.021MR2518540JunY. B.LeeK. J.KhanA.Soft ordered semigroups2010561425010.1002/malq.200810030MR2598835ZBL1191.06009JunY. B.LeeK. J.ParkC. H.Soft set theory applied to ideals in d-algebras200957336737810.1016/j.camwa.2008.11.002MR2488608JunY. B.LeeK. J.ZhanJ.Soft p-ideals of soft BCI-algebras200958102060206810.1016/j.camwa.2009.07.072MR2557528ZBL1188.06015JunY. B.ParkC. H.Applications of soft sets in ideal theory of BCK/BCI-algebras2008178112466247510.1016/j.ins.2008.01.017MR2416992ZBL1184.06014ParkC. H.JunY. B.ÖztürkM. A.Soft WS-algebras200823331332410.4134/CKMS.2008.23.3.313MR2427145ZBL1168.06305ZhanJ.JunY. B.Soft BL-algebras based on fuzzy sets20105962037204610.1016/j.camwa.2009.12.008MR2595978ÇağmanN.EnginoğluS.Soft set theory and uni-int decision making2010207284885510.1016/j.ejor.2010.05.004MR2670615ZBL1205.91049TalliniM. S.Hypervector spacesProceedings of the 4th International Congress on AHA1990167174