An Absolutely New Attempt to Vague Soft Bitopological Spaces Basis at Newly Defined Operations regarding Vague Soft Points

Abstract

In this study, new operations of union, intersection, and complement are defined with the help of vague soft sets in a new way that is in both true and false statements, union is defined with maximum, and intersection is defined with minimum. On the basis of these operations, vague soft topology is defined. Pairwise vague soft open sets and pairwise vague soft closed sets are defined in vague soft bitopological structures (VSBTS). Moreover, generalized vague soft open sets are introduced in VSBTS concerning soft points of the space. On the basis of generalized vague soft open sets, separation axioms are also introduced. In continuation, these separations axioms are engaged with other important results in VSBTS.

1. Introduction

Fuzzy set theory [1] is the most importantly effective way to deal with vagueness and incomplete data, and it is being developed and used in various fields of science. Fuzzy set theory is the most attractive approach to address the uncertain situation. It is an entirely different approach in comparison to probability theory. It may be used in such situations where probability theory is getting failed. However, it has a shortcoming, i.e., it only addresses the membership value and is at a loss to address the nonmembership value. Atanassov [2] bridged the gap in fuzzy set theory with a new way and introduced the concept of intuitionistic fuzzy set theory. This approach supposes membership value and nonmembership value.

Molodtsov [3] shaked the pillars of set theory and installed the concept of soft set theory (SS) to address the uncertainty in a meaningful way. Soft set theory (SST) has a big hand as an application in many fields like function smoothness, Riemann integration, measurement theory, and game theory [4]. The concept of vague set theory which is generalization of fuzzy set theory was suggested by Gau and Buehrer [5]. A vague set is defined as truth-membership function and false membership function.

Wei et al. [6] combined the soft set and vague set structures and leaked out the concept of vague to soft set theory. Huang et al. [7] deeply studied [6] and pointed out some incorrect results. They verified the incorrect result with examples and gave some more new definitions. Wang and Li [8] initiated the concept of vague soft topological structures with title topological structure of vague soft sets. The authors discussed the basic concepts related to vague soft topological and studied the results in vague soft topology. Wang and Li [8] initiated the concept of vague soft topological structures with title topological structure of vague soft sets. They authors discussed the basic concepts related to vague soft topological and studied the results in vague soft topology. For better understanding, the authors provided number of examples.

Mukherjee and Das [9] studied the concept of neutrosophic bipolar vague soft sets and some of its operations. It is the combination of neutrosophic bipolar vague sets and soft sets. Furthermore, the authors developed a decision-making method based on neutrosophic bipolar vague soft set. A numerical example has been shown. Some new operations on neutrosophic bipolar vague soft set have also been designed.

The organization of the study is as follows. We first attempted the fundamentals definitions of vague soft set including complement, subsets, equal sets, null set, absolute set, union, and intersection in a new approach. On the basis of these concepts, vague soft topological structure is defined that are useful for subsequent discussions. Al-Quran and Hassan [10] extended the notion of classical soft set to neutrosophic vague soft sets by applying the theory of soft sets to neutrosophic vague soft sets to make more effective results. They defined new operations. Finally, they applied the theory to decision-making problems. An ample of examples is provided to make the results more effective in this direction.

In our study, we worked with the new operations which are entirely different from references [5, 6]. Then, unlike references [7, 8], vague soft topological structure is reconstructed. In Section 2, some basic operators are introduced in a new way. In Section 3, vague soft bitopology (VSBT) is addressed with ample of examples. Some results, union, and intersection are also studied (VSBT). In Section 4, some main results are addressed. In Section 5, main more results are addressed. In Section 6, some concluding remarks and future work are addressed.

2. Preliminaries

In this section, some fundamental concepts are addressed.

Definition 1. Let be key set (KS) and set of parameters. Let signifies power set of all vague sets on . Then, a vague soft set over is a set defined by a set-valued function representing a mapping , where is called the approximate function of the vague soft set . It can be written as a set of ordered pairs:

Definition 2. Let be a vague soft set over key set The complement of is signified as and is defined as follows: . It is clear that

Definition 3. and be two vague soft subsets over key set . is supposed to be vague soft subset of if , , . It is signified as is said to be equal to if is a vague soft subset of and is a vague soft subset of . It is symbolized as .

Definition 4. Let be two vague soft subsets over key set , so that . Then, their union is signified as and is defined as , where

Definition 5. If , be two vague soft subsets over key set , such that . Then, their intersection is signified as and is defined as , where

Definition 6. If be a vague soft set over key set, is said to be a null vague soft set (NVSS). If .
It is signified as .

Definition 7. If be a vague soft over key set, is an absolute vague soft set if , and .

Definition 8. If VSS be the family of all VS soft sets and , then is said to be a VS soft topology on if belong to , the union of any number of VS soft sets in belong to , and the intersection of a finite number of vague soft sets in belong to . Then, is said to be a vague soft topology over .

Definition 9. Let be the family of all vague soft sets over key set . Then, is called a vague soft point, for every ∈, and is defined as follows:

Definition 10. Let be over KS . if

Definition 11. be a vague soft topological space over and be a vague soft over . Vague soft set in is called a vague soft nbhd of the vague soft point , if there exists a NS open set , such that .

3. Vague Soft Bitopological Structure

In this part, the concept of vague soft bitopological space is defined. Furthermore, new types of open and closed sets have been introduced in the same space. Example of vague soft bitopological space is given. Intersection of vague soft bitopological space is addressed. Union of two vague soft bitopological spaces need not be vague soft topological space. This situation is established with example. Pairwise vague soft open and soft closed sets are addressed in vague soft bitopological space. Some theorems related to this concept are also addressed.

Definition 12. If and are two VSTS, then is called VSBTS. Let be vague soft bitopological space. A vague soft set is said to be open in if there exists a vague soft open set in and vague soft open set in , such that . The vague soft set is said to be close in if its complement is open in .

Example 1. Let , , , and , where , and being vague soft sets are as follows:Then, , , , , and , , , , .
Therefore, , are on , so is VSBTS.

Theorem 1. Let be a VSBTS. Then, is on .

Proof. (1) and (3) are obvious. For (2), we proceed as follows: let . Then, and . Since , are vague soft topologies on , then and . Therefore, .

Remark 1. Let be VSBTS; then, need not be VSBTS on .

Example 2. Let , , and , where , and being vague soft sets are as follows:Here, is not a vague soft topology on . Since, .

Definition 13. Let be VSBTS. Then, a vague soft setis called as a pairwise vague soft open set if there exist a vague soft open set in and a vague soft open set in , such that for all ,

Definition 14. Let be VSBTS. Then, a vague soft setis called as PVSOS if there exist a vague soft open set in and a vague soft open set in , such that for all ,The set of all pairwise vague open sets in is denoted by PVSO .

Definition 15. Let be VSBTS. Then, a vague soft setis called as a pairwise vague soft closed set (PVSC) if is . It is clear that is a PVSC set if there exist in and VSOC in , such that for all ,The set of all in is denoted by .

Theorem 2. be . In this case,(1)(2)If , then (3)If , then

Proof. (1)Since , , then and are (2)Since , there exist , , such that for all . Then, As , are on , and  Therefore, (3)Since , there exist and , such that for all . Then,Then, as , and .

Definition 16. Let be . closure of , denoted by , is the intersection of all containing , i.e.,It is clear that is the smallest containing .

Theorem 3. Let and . Then,(1) and (2)(3) is a PVSCS if (4) if (5)(6), i.e., is PVSCS

Proof. It is obvious.

Theorem 4. Let be , . Then, if and only if for all , where is any containing , and is the family of all containing , .

Proof. Let , and suppose that there exists , such that . Then, . Thus, , which implies , a contradiction.
Conversely, ; then, . Therefore, by hypothesis, , a contradiction.

4. Main Results

In this section, some new definitions are introduced in vague soft bitopological spaces. All these definitions are the backbone for the upcoming study. Among these definitions, definition (3) became source of motivation for our results which are discussed in this section and in the next section. All the results discussed in this section are discussed with respect to soft points of the spaces.

Definition 17. Let be over be a set over . Then, is(1)Vague soft semiopen if (2)Vague soft preopen (3)Vague and vague soft close if .

Definition 18. Let be over , are VS points If there exist open sets and , such that . Then, is called a space.

Definition 19. Let be over , and are points. If there exist -open sets , such that and . Then, is called a space.

Definition 20. Let be over are points. If open set , , such that , , and . Then, is called a space.

Example 3. Let , the set of conditions by . Let us consider , , , and be points. Then, the family , , is Also, . Thus, be . Also, is structure.

Theorem 5. Let be . Then, be a structure if and only if each point is -closed.

Proof. Let be over and be an arbitrary point. We establish is a soft -open set. Let . Then, either or or . This means that are two distinct points. Thus, or or or or or or or . Since be a structure, there exists a -open set , so that and . Since, . So, . Thus, is a -open set, i.e., is a -closed set. Suppose that each point is -closed. Then, is a -open set. Let . Thus, , and . So, be a - space.

Theorem 6. Let be over the father set . Then, is space if and only if for distinct points , , there exists a -open set , containing but not , such that .

Proof. Let be two points in space. Then, there exists disjoint open sets , such that . Since implies . Next, suppose that , there exists a -open set