Study of Soft Set Theory, Its Algebra, and Application
CHAPTER ONE
ย Aim andย Objectives
The aim of this dissertation is to study the theory of soft sets, its algebraic structures and application in decisionย making.
In order to achieve this aim, the following objectives are proposed to be accomplished:
- To conduct a systematic and critical study of the concept and fundamentals of soft sets and obtain some new results:
- Clarify some conceptual misunderstandings of the operations ofย Notย set of a set and complement of a set.
- Establish and investigate, with suitable examples, some distributive and absorption properties with respect to various soft set
- Compare soft set operations with their corresponding soft matrix
- To study some algebraic structures of soft sets and formulate some new algebraic structures.
- ย Study soft groups, soft rings, soft semirings, soft
- Formulate certain monoids, semirings, and lattices of soft subsets and partitions of a soft
- To investigate various techniques used in the application of soft sets to decision making problems and exemplify them and set.
CHAPTER TWO
LITERATURE REVIEW
ย In this chapter, an up-to-date literature ย survey of ย the ย concept and ย fundamentals ย of soft set theory, a systematization of various algebraic structures of soft sets and finally,ย someย applicationsย ofย softย setย theoryย inย decisionย makingย areย presented.
Concept and Fundamentals of Soft Setย Theory
The concept and development of soft set theory whose origin could be traced to the work of (Pawlak, 1993) was initiated by (Molodtsov, 1999). Molodtsov proposed that soft set theory is a general mathematical tool for solving complicated problems dealing with vagueness and uncertainties which classical methods and some modern mathematical methods, such as probability theory (Dempster, 1958), fuzzy set the- ory (Zadeh, 1965), rough set theory (Pawlak, 1982), interval mathematics theory (Gorzalzany, 1987), vague theory (Gau and Buchrer, 1993) etc., cannot successfully solve due to inadequacy of their parameterization tools.
Molodtsov (1999) pointed out that soft set theory provides enough parameter and as a result accommodates initial approximate descriptions of an object. This, makes soft set theory free from the above difficulty and becomes very convenient and easily applicable in practice. Molodtsov (1999) therefore defined a soft set as a parameterized family of subsets of a universe set, where each element is considered as the set of approximate elements of the soft set. He also successfully applied soft setย theoryย inย areasย suchย asย smoothnessย ofย functionsย (whereย heย comparedย smoothness of functions as being similar to continuity of functions in the classical case), game theory, operations research, Rieman and Perron integrations, probability theory and measurement theory, and introduced the basic notions of the theory of soft sets.
Based on the work of( Molodtsov,1999), (Maji et al., 2003) initiated the theoretical studyย ofย theย softย setย theory.ย Thisย includes,ย theย definitionย ofย softย subset,ย softย superset, equalityย ofย softย sets,ย complementย ofย aย softย setย amongย others,ย withย someย illustrative examples. Soft binary operations such as AND, OR, union and intersection operations were also defined. Verification of De Morganโs law and a number of re- sults on soft set theory were presented. For the purpose of storing a soft set in a computer,ย theyย representedย aย softย setย inย theย formย ofย aย table.
Pei and Miao (2005) discussed the relationship between soft sets and information systems and showed that soft sets are a class of special information systems.
Yang (2008) was the first to point out error in the work of (Maji et al., 2003 ) by giving a counter example.
Ali et al., (2009) also pointed out several assertions in (Maji et al., 2003) that are not true in general by counter examples Some new operations such as ย restricted ย union, restricted intersection, restricted difference and extended intersection were furtherย introduced. ย Moreoverย theย notionย ofย complementย ofย aย softย setย wasย improved
Advertisements
and that certain De Morganโs laws hold in soft set theory with respect to these new operations. Ali et al., (2009) also remarked that the incorrectness of the assertions mentioned above may be as a result of the way and manner some of the related notions were defined.
Gong et al., (2010) proposed the concept of bijective soft set and some of its operations such as the restricted AND and the relaxed AND operations.
Dependency between two bijective soft sets and the bijective soft decision system was also defined. Finally an application of bijective soft set in decision making problem was given.
CHAPTER THREE
FUNDAMENTALS OF SOFT SET THEORY
In this chapter, a systematic and critical study of the fundamentals of soft set theory, which include operations on soft sets and their properties, soft set relations and functions, and matrix representation of soft sets are presented. Some new results on properties of soft set operations are also presented.
Basic Definitions andย Results
Inย thisย section,ย someย basicย definitionsย andย resultsย onย softย setsย withย suitableย examples, muchย ofย whichย wereย introducedย inย (Molodtsov,ย 1999,ย Majiย etย al.,ย 2003,ย Pieย andย Mio, 2005, Ali et al., 2009) areย given.
Molodtsov (1999) in his pioneer work therefore defined soft set as follows:
Definition 3.1.1: Soft set (Molodtsov, 1999)
Let U be an initial universe set and E a set of ย parameters with respect to U. Let ย ย P (U ) denote the power set of U and A โ E. A pair (F, A) is called a soft set over U, where F is a mapping given by ย F ย : A โ P(U). ย In other words, a soft set over ย ย ย ย aย universeย Uย isย aย parameterizedย familyย ofย subsetsย ofย theย universeย U.ย Forย eโA, F(e) may be considered as the set of e- elements or e- approximate elements of theย soft set (F, A).ย Thus,
(F, A) ={ย F(e)โ P (Uย ): eโA โ E}ย .
As an illustration, let us consider the following example:
CHAPTER FOUR
ALGEBRA OF SOFT SETS
Inย thisย chapter,ย softย groups,ย softย rings,ย softย semi-rings,ย andย softย latticesย areย presented. Finally, monoids, semirings and lattices of soft subsets and partitions of a soft set areย developed.
ย Softย Groups
Soft groups and their substructures, such as soft subgroup, soft normal subgroup, and soft group homomorphism and isomorphism were introduced in (Aktas and Cagman, 2007) and further studied in (Sezgin and Atagun, 2011). The concept of soft set over a group given in the following is the basic tool to define a soft group. Definition 4.1.1
Let G be a group and A be a non empty set. ย Let F be a set โvalued function from ย ย ย ย ย ย ย ย Aย toย G,ย definedย as:ย F(x)ย =ย {yย โย G:ย (x,ย y)ย โย R,ย xย โย Aย andย yย โย G},ย whereย RโAย x
Then, (F,A) is called a soft set over a group G. ย It may be observed that the function F: Aโโ P(G), in fact, defines the relation R:AโโG ย given by ย ย R=ย {ย (x,ย y)ย โย AxG,ย xย โย Aย andย yย โย F(x)}.
CHAPTER FIVE
APPLICATIONS OF SOFT SET THEORY IN DECISION MAKING
A number of researchers [Maji et al.,(2002), Chen et al., (2005), Cagman and Enginoglu,(2010), Mitra et al.,(2012), Samsiah and Mohamad,(2012)] etc., have applied the concepts of soft set theory to real life problems involving uncertainties. Such problems involve decision making, medical diagnosis, forecasting, among others. In this chapter, some typical applications using different approaches, especially in decision making, is discussed, and compared. The parameter reduction in soft set theory which was employed by some researchers is first described.
CHAPTER SIX
SUMMARY, CONCLUSION AND RECOMMENDATIONS
ย ย Summary
This dissertation, consisting of six chapters, presents a systematic study of soft set theory, its algebras and applications in decision making.
In chapter one, a general introduction of the dissertation, which includes the background of the study, motivation and justification of the study, the aim and objectives amongst others, isย presented.
An up- to- date literature survey of the development of soft set theory, in respect of fundamentals, algebraic structures and applications in decision making, is presented in chapter two.
Chapter three presents a comprehensive and critical study of the fundamentals of soft set theory: soft set operations, soft set relations and functions, ย soft matrices ย and their properties and some new results, mainly on the distributive and absorption properties, with respect to various soft set operations are presented. ย In addition, ย soft set operations are shown to be equivalent to their corresponding soft matrix operations. This chapter forms a stepping stone to the study of the underlying algebraicย structuresย andย applicationsย inย theย forthcomingย chapters.
A study of various soft set algebras such as soft groups, soft rings, soft semirings, and soft lattices, which have been developed so far in the literature, is presented in chapter four. The main contribution in the part of the dissertation is formulation ย and exemplification of monoids, semirings and lattices of soft subsets and partitions of a softย set.
In chapter five, techniques of applications of soft set theory in decision making are presented.
Finally, conclusion and recommendations of the dissertation are presented.
Conclusion
In this dissertation, fundamentals of soft set theory, various algebraic structures of soft sets and their applications in decision making have been critically studied and some new results obtained.
The following new results are the main contributions of this dissertation: Let (F,A) , (G,B) and (H,C) be soft sets over a common universe. Then,
Distributiveย Properties-Propositionย 3.2.2ย (Singhย andย Onyeozili,ย 2012A, 2012B,ย 2012C)
(i)ย ย (F,ย A)โชหย ((G,ย B)ย โฉฮตย (H,ย C))ย ฦ=ย ((F,ย A)โชห(G,ย B))ย โฉฮตย ((F,ย A)โชห(H,ย C))
(ii)ย ย (F,ย A)ย โฉฮตย ((G,ย B)โชห(H,ย C))ย ฦ=ย ((F,ย A)ย โฉฮตย (G,ย B))ย โชหย ((F,ย A)ย โฉฮตย (H,ย C))
(iii) (F, A)โชRย ((G, B) รRย (H, C)) ฦ= ((F, A) โชRย (G, B)) รRย ((F, A) โชRย (H, C))
(iv) (F, A)โฉฮตย ((G, B) รRย (H, C)) ฦ= ((F, A) โฉฮตย (G, B)) รRย ((F, A) โฉฮตย (H, C))
(v)ย ย (F,ย A)โชหย ((G,ย B)ย รRย (H,ย C)) ((F,ย A)โชห(G,ย B))ย รRย ((F,ย A)โชห(H,ย C))
(vi)ย ย (F,ย A)ย โชRย ((G,ย B)โชห(H,ย C))ย =ย ((F,ย A)ย โชRย (G,ย B))ย โชหย ((F,ย A)ย โชRย (H,ย C))
(vii)ย ย (F,ย A)โฉหย ((G,ย B)ย โฉฮตย (H,ย C))ย =ย ((F,ย A)โฉห(G,ย B))ย โฉฮตย ((F,ย A)โฉห(H,ย C))
(viii)ย ย (F,ย A)โชหย ((G,ย B)ย โชRย (H,ย C))ย ฦ=ย ((F,ย A)โชห(G,ย B))ย โชRย ((F,ย A)โชห(H,ย C))
(ix)ย ย (F,ย A)ย โฉฮตย ((G,ย B)โฉห(H,ย C))ย ฦ=ย ((F,ย A)ย โฉฮตย (G,ย B))ย โฉหย ((F,ย A)ย โฉฮตย (H,ย C))
(x)ย ย (F,ย A)ย ย โงย ((G,ย B)ย รRย (H,ย C))ย =ย ((F,ย A)ย โฉห(G,ย B))ย รRย ((F,ย A)โฉห(H,ย C))
(xi)ย ย (F,ย A)ย โจย ((G,ย B)ย รRย (H,ย C))ย ฦ=ย ((F,ย A)ย โฉห(G,ย B))ย รRย ((F,ย A)โฉห(H,ย C))
[Proofs, see pageย 44]
Absorptionย Propertiesย andย Absorptionย Inclusionsย (Singhย andย Onyeozili,2012A)
ย Absorption Properties-Proposition2.1
(i)ย ย (F,ย A)โชหย ((F,ย A)โฉห(G,ย B))ย =ย (F,ย A)
(ii)ย ย (F,ย A)โฉหย ((F,ย A)โชห(G,ย B))ย =ย (F,ย A)
(iii) (F, A) โชRย ((F, A) โฉฮตย (G, B)) = (F, A) (iv) (F, A) โฉฮตย ((F, A) โชRย (G, B)) = (F, A)
[Proofs, see page 38 ]
Absorption Inclusions-Propositionย 3.2.3
(i)ย ย (F,ย A)ย โชRย ((F,ย A)โฉห(G,ย B))ย โห(F,ย A)
(ii)ย ย (F,ย A)โฉหย ((F,ย A)ย โชRย (G,ย B))ย โห(F,ย A),
(iii)ย ย (F,ย A)โชหย ((F,ย A)ย โฉฮตย (G,ย B))ย โห(F,ย A),ย ย and (iv)ย ย (F,ย A)ย โฉฮตย ((F,ย A)โชห(G,ย B))ย โห(F,ย A).
[Proofs see page 51 ]
Formulationย ofย Monoids,ย Semiringsย andย Latticesย ofย Softย subsetsย and Partitions of a softย set
Commutative, Idempotent Monoids and Semirings of Soft Subsets of a SoftSet
-
- Monoids
- (SS(F,A),ย โย โย {โชห,โฉห})ย ย areย ย commutative,ย ย idempotentย ย monoidsย ย withย ย ฮฆหโ ย ย as the identity
- (SS(F,A),โชR)ย isย aย commutative,ย idempotentย monoidย withย ฮฆหAย ย asย theย identity
- (SS(F,A), โฉR) is a commutative, idempotent monoid with (F, A) as the identity
Semirings
ย (SS(F,A),โชห,โชR)ย isย aย commutative,ย idempotentย semiringย withย identityย ele- mentย ฮฆหโ ย ย .
(SS(F,A),โฉR,
element (F,A).
โชห)ย ย isย ย aย ย commutative,ย ย idempotentย ย semiringย ย withย ย identity
(SS(F,A),โชR,โฉห)ย isย aย commutative,ย idempotentย semiringย withย identityย ele- mentย ฮฆหAย ย .
(SS(F,A),
elementย ฮฆหโ ย ย .
โฉห,โชRย ย )ย ย isย ย aย ย commutative,ย ย idempotentย ย semiringย ย withย ย identity
(SS(F,A), โชR, โฉR) is a commutative, idempotent semiring with identity elementฮฆหAย ย
(SS(F,A), โฉR,โชR} ) is a commutative, idempotent semiring with identity elementย (F,A).
(SS(F,A),
โฉห,ย ย โฉRย ย )ย ย isย ย aย ย commutative,ย ย idempotentย ย semiringย ย withย ย identity
elementย ฮฆหย ย โ ย ย .
(SS(F,A),ย โชห,ย โฉR}ย )ย isย aย commutative,ย idempotentย semiringย withย identity
elementย ฮฆหย ย โ .
[Proofs, see page 96 ]
Bounded, Distributive Lattices of Soft Subsets of a Softย Set
ย (SS(F,ย A),ย โฉห,โชRย )ย andย (SS(F,ย A),ย โชR,โฉห),ย ย and
(ii)ย ย (SS(F,ย A),ย โฉR,ย โชห)ย andย (SS(F,ย A),ย โชห,ย โฉR)
are bounded, distributive lattices. [Proofs, see page 98 ]
Commmutative, Idempotent Monoids and Semirings of Partitions of a Softย Set
- Monoids
1 ( โ(F, A), H) is a commutative, idempotent monoid. 2 (โ(F, A) H) is a commutative, idempotentย monoid.
B.ย Semirings
- (โ(F, A), H, H) with the partition consisting of the single block as the identity
- (โ(F, A), H,H) with the partition consisting of the singleton blocks as the identity
[Proofs see page 99 ]
Bounded, Distributive Lattices of Partitions of a Softย Set
(i) (โ(F, A), HE, HR),
- (โ(F, A), H R, H E),and
- (โ(F, A), H, H) and (iv) (โ(F, A), H , H) are bounded , distributive [Proofs, see page 102 ]
Recommendations
Since soft set theory is a relatively new area in mathematics and also has been recognized to be important in applications to real life decision making problems involving uncertainties, the following recommendations may be taken into consideration:
In view of the techniques of soft set theory being relatively simpler and widely applicable, researches in various hybrid theories like fuzzy soft sets, multi soft sets, soft multi sets, etc., are promising(Maji et al., 2001,
Alkhazaleh et al., 2011, Pinaki and Samanta, 2012, Singh et al., 2014, are som specific references).
Also, as studies in the area of soft topological analysis are appearing recently (Cagman, et al., 2011, Shabir and Naz, 2011, Tariq and Salma, 2014, are some representative references), it may be a promising research area to obtain some deep mathematical results.
In view of the aforesaid facts, soft set theory could be inculcated into the curricula of studies, both at undergraduate and postgraduate levels.
LIST OF PUBLICATIONS
Journal Papers
- Singh, D., Onyeozili, I.A. (2012). Some Conceptual Misunderstandings ofthe Fundamental of Soft Set ARPN Journal of Systems and Software, 2(9):251-254.
- Singh, D., Onyeozili, I.A. (2012). Notes on Soft Matrices Operations. ARPN Journal of Science and Technology,2(9):861-869.
- Singh, D., Onyeozili, I.A. (2012). ย Some Results On Distributive and Absorp- ย tionPropertiesย ofย Softย ย IOSRย Journalย ofย Mathematics,ย 4(2):18-30.
- Singh, D., Onyeozili, I.A. (2012). On Some New Properties of Soft Set Oper- ations. International Journal of Computer Applications,59(4):39-44.
- Singh, D., ย Onyeozili, ย I.A. (2013). ย Matrix Representation of Soft Sets and ย Its Application to Decision Making Problem. The International Journalof Engineering And Science, 2(2):48-56.
- Singh, D., Onyeozili, I.A., Alkali, A. J. (2014). Notes on Multi Soft Matrices. Journalofย Emergingย Trendsย inย Computingย andย Informationย Sciences,ย 5(5):421- 427.