This work introduces weakly soft β-open subsets, a new family of soft-open sets. By this family, we expand a soft topology to a soft structure which is neither supra-soft topology nor infra-soft topology. The connections between this class of soft sets and other celebrated classes via soft topology are examined with some elucidative examples. Also, it is established some relationships under conditions of extended and hyperconnected soft topologies. Furthermore, the interior and closure operators are structured along with weakly soft β-open and weakly soft β-closed sets. Finally, the class of weakly soft β-continuous functions is introduced and its main characterizations are studied. It is investigated the systematic relationships and findings that are lost for this kind of soft continuity as well as it is shown the conditions required to maintain some of these relationships such as full, extended and hyperconnected soft topologies.
This paper studies a new family of generalizations of soft-open sets by introducing the concept of weakly soft β-open sets. Now, the development of soft set theory and soft topologies including generalizations of soft-open sets. What follows are instances that illustrate the current research’s motivations and contributions to the current manuscript:
A brief review in the soft set theory
The idea of soft sets (S-sets) was presented by Molodtsov [45] to coping with problems emerging from imperfect information. Molodtsov, in his pioneering work [45], explored and described some applications of S-sets in different disciplines. Then, it has been employed to address many real-life problems [32, 43]. The first attempt to create the frame of S-set theory was carried on by Maji et al. [41]. They formulated some operations over S-sets (soft union and intersection, complement, null and absolute soft sets, etc.) and investigated their basic properties. Then, it was shown some shortcomings of these operations by [6] as well as it was embraced new sorts of these operations in order to be commensurate with their counterparts in the crisp set theory as displayed in [18]. To provide a complete environment to model complicated practical problems, it was integrated S-sets with other instruments of uncertainty such as fuzzy sets [42, 48] and rough sets [3, 43].
A brief review in soft topology
In 2011, it was used S-sets to construct the concept of soft topological space (STS) by Çağman et al. [26] and Shabir and Naz [49], who established the fundamentals of STSs like soft neighbourhoods, soft interior and closure operators, soft separation, etcetera. In [44], the author gave some descriptions of soft regular spaces and adjusted certain gaps of soft Ti-spaces (i = 2, 3). El-Shafei et al. [29] proposed new types of belong and non-belong relations that associate ordinary points with soft sets. They applied these relations to category STSs with respect to a strong family of soft Ti-spaces. Then, these relations were exploited to establish different types of soft spaces which were applied to address some practical issues [17, 28]. Result of inconsiderate the nature of topology in soft settings, some claimed results appeared they have been amended by [8–10, 50]. Kharal and Ahmad [37] studied soft functions between STSs, and then Al-shami [12] adopted another approach to soft functions using soft points. Soft continuity, openness, and closedness were introduced in [51]. Aygünoglu and Aygün [25] familiarized the spaces of soft compact and Lindelöf. Hida [34] embraced another type of soft compactness. Recently, it has been studied the concepts of primal topology [16], Menger [38], almost Menger [39], nearly Menger [40] and expandable [47] spaces in soft settings.
Nowadays, it is well known the important of generalizations of soft-open sets to studying soft topological concepts in a wider class. In this line, Chen [27] offered the class of soft semi-open sets. Akdag [2] defined soft b-open sets and probed main features. The authors of [1, 35] introduced the concept of soft β-open sets and examined soft β-separation axioms. Kandil et al. [36] initiated the notion of soft pre-open. Al-shami and Al-Ghour contributed by soft somewhere dense sets [24] and soft Q-sets [5]. Recently, Al-shami et al. [19, 20] have adopted a new technique inspired from parametric topologies to produce weaker forms of soft α-open and soft semi-open sets. The concepts of covering properties and soft mappings have been extended utilizing some generalizations of soft-open sets like soft regular closed [7] and soft somewhere dense sets [15, 24].
Some applications of soft topological concepts to real-life problems have been presented. Al-shami [13] employed soft separation axioms in soft weak structures to opt for the most favorable tourism programs. He [11] also made use of soft compactness in ordered setting to expect the missing values of information systems. Moreover, he [14] debated nutrition followed by individuals using the idea of soft somewhat open sets. Topologists have also been drawn to the relationships between topological concepts and properties via classical and soft settings. This first contribution was done by Al-shami and Kočinac [23] who showed this navigation between two specific kinds of STSs namely enriched and extended STSs. Following that, the interchangeability of many topological concepts between classical and STSs was investigated, and the conditions under which they are valid were determined. In spite of many researchers and scholars who have discussed and expanded traditional topological concepts in STSs, paramount additions remain possible. Thus, among topological scholars, the study of STSs is a contemporary theme.
Motivations and layout of this work
The first reason for producing this paper is to propose a fresh method for generalizing soft topology that is motivated by its traditional topologies. Second, to provide an entirely novel structure for developing soft topological notions like soft operators and continuity. Of naturally, the researchers can use the suggested class of soft-open sets to investigate other concepts such as soft covering characteristics and separation axioms. Finally, different analogs for each traditional topological notion should be developed to emphasize the significance of the soft topological context. We organized the content of this work as following:
(i) Section 2 of this article assembles the key definitions and features needed to wrap up this subject.
(ii) In Section 3, we provide the concept of weakly soft β-open sets as a new generalization of soft-open sets and examine their main characterizations and relationships with the help of examples.
(iii) The concepts of a weakly soft β-limit soft point and the weakly soft β-interior, weakly soft β-closure, weakly soft β-boundary of a set are developed in Section 4 along with the accompanying formulas.
(iv) Weakly soft β-continuity is a concept that is introduced in Section 5 along with several similar definitions.
(v) Finally, conclusions and the potential future direction of this study, which is to apply the newly proposed class to study other topological concepts as well as investigate their features via the structures of supra-topologies and infra-topologies, will be outlined in Section 6.
Preliminaries
In the following section, we will review the main ideas of soft sets and soft topologies that the article’s content is based on it.
Soft sets
Let TDSFTDW≠ ∅ be a universe of objects and let A be the set of all potential parameters under study along with TDSFTDW. Ordinarily, parameters represent attributes, characteristics, or properties of objects in TDSFTDW.
Definition 2.1. [45] An ordered 2-tuple is said to be an S-set over TDSFTDW, whereas is a function given by and 2TDSFTDW is the power set of TDSFTDW. That is, an S-set over TDSFTDW is a representation given below, which offers a parameterized set of subsets of TDSFTDW. and ;
where every is termed an a-component of .
In the present work, we shall denote S-sets over TDSFTDW by , and so on, and denote the family of all S-sets over TDSFTDW along with A by 2TDSFTDW
A.
Definition 2.2. [6] If for all a ∈ A, then we call a complement of . We use as a symbol for the complement of .
Subsequently, the amended version of the definition of soft functions is exhibited.
Definition 2.6. [12] Given crisp functions λ : TDSFTDW → TDSFTDX and χ : A → E. A soft function λ
χ from 2TDSFTDW
A into 2TDSFTDX
E is defined to be a relation such that each TDSFTDw
a ∈ 2TDSFTDW
A is linked to one and only one TDSFTDx
e ∈ 2TDSFTDX
E such that λ
χ (TDSFTDw
a) = λ (TDSFTDw)
χ(a) for all TDSFTDw
a ∈ 2TDSFTDW
A.
In addition, for each TDSFTDx
e ∈ 2TDSFTDX
E.
Under a soft function λ
χ : 2TDSFTDW
A → 2TDSFTDX
E, the image and pre-image of , is respectively calculated by the next formulas: , and
.
If crisp functions λ and χ are surjective, injective, or bijective, so is the soft function λ
χ.
Proposition 2.7.[37] Let λ
χ : 2TDSFTDW
A → 2TDSFTDX
E be a soft function. If and are respectively S-subsets of and , then
(i) .
(ii) If λ
χ is injective, then .
(iii) .
(iv) If λ
χ is surjective, then
Soft topology
Definition 2.8. [45] A soft topology on TDSFTDW is a subcollection ϒ of 2TDSFTDW
A that obeys the next axioms:
(i) ϒ is closed under finite intersections and arbitrary unions;
(ii) and φ are elements of ϒ.
The triplet (TDSFTDW, ϒ, A) is called a soft topological space (briefly, STS). The terminology of “soft-open set” is given for every member of ϒ and the term of “soft-closed set” is given for an S-set whose complement is a soft-open set.
Definition 2.9. [21] An STS (TDSFTDW, ϒ, A) is said to be full provided that each soft open set that is not null has no empty component.
Proposition 2.10.[45] Let (TDSFTDW, ϒ, A) be an STS. Then we obtain a classical topology (called a parametric topology) for each a ∈ A as follows
Definition 2.11. [45] Let be an S-subset of an STS (TDSFTDW, ϒ, A). Then
(i) and are defined the soft interior and closure of in (TDSFTDW, ϒ
a), respectively.
(ii) and are respectively defined by and , where and are respectively the interior and closure of in (TDSFTDW, ϒ
a).
Definition 2.12. [36] An STS (TDSFTDW, ϒ, A) is called soft hyperconnected if TDSFTDW and φ are the only soft-open sets that are soft-closed sets.
Definition 2.13. [25, 46] Let (TDSFTDW, ϒ, A) be an STS. Then
(i) ϒ is said to be an enriched soft topology on TDSFTDW whenever ϒ includes all pseudo constant S-sets.
(ii) ϒ is said to be an extended soft topology whenever it possesses the property that iff for each a ∈ A.
In [23], it was conducted a comprehensive investigation on two types of soft topologies namely enriched and extended soft topologies. Henceforth, we name such a soft topology an extended soft topology. One of the valuable results demonstrated under this soft topology is the interchangeable property between crisp interior (resp., closure) and soft interior (resp., soft closure) defined over soft topologies and their parametric topologies. The following finding is a crucial step for proving various other results.
Theorem 2.14.[23] An STS (TDSFTDW, ϒ, A) is extended iff and for any S-subset .
Theorem 2.15. [36] Let be an S-subset of an STS (TDSFTDW, ϒ, A). If is soft-open, then
.
Definition 2.16. An S-subset of (TDSFTDW, ϒ, A) is said to be:
Definition 2.17. [51] A soft function is termed soft-continuous whenever is a soft-open set for each soft open over TDSFTDW.
Theorem 2.18.[23] If is soft-continuous, then is continuous for every a ∈ A.
Weakly soft β-open sets and their basic properties
In this segment, we will introduce the notion of weakly soft β-open sets as a new extension of soft-open subsets. We will show that it places between soft β-open and soft somewhere dense sets in an extended soft topological space. Also, we point out that the conditions of full and hyperconnected soft topology are indispensable to preserve some classical relationships. Illustrative examples are built to demonstrate the implementation of some findings and the invalidity of others.
Definition 3.1. An S-subset of (TDSFTDW, ϒ, A) is called weakly soft β-open if for all a ∈ A or for some a ∈ A. That is, is a null S-set or it contains a non-empty β-open component.
We name the complement of a weakly soft β-open set a weakly soft β-closed set.
Proposition 3.2.A subset of (TDSFTDW, ϒ, A) is weakly soft β-closed iff or for some a ∈ A.
Proof. (⇒): Let be a weakly soft β-closed set. Then, or for some a ∈ A. This means that or for some a ∈ A, as required.
(⇐): Let be an S-set such that or for some a ∈ A. Then, or for some a ∈ A. This implies that is weakly soft β-open. Hence, is weakly soft β-closed, as required. □ The classes of weakly soft β-open and weakly soft β-closed subsets are not closed under soft union and soft intersection, as the below example illustrates.
Example 3.3. Let A = {a1, a2} be a set of parameters defined on the set of real numbers and , and ϒ be the soft topology on generated by and i = 1, 2}. Set and over . One can evidently check that and are weakly soft β-open sets. On the other hand, their soft union {(a1, [0, 1] ⋃ {5}) , (a2, [0, 1] ⋃ {5})} is not a weakly soft β-open set because for each a ∈ A. Also, the S-sets and over are weakly soft β-open sets. But their soft intersection {(a1, [0, 1] ⋃ {5}) , (a2, [0, 1] ⋃ {5})} is not a weakly soft β-open set because for each a ∈ A. By taking the complement of the S-sets , and , we have seen that the class of weakly soft β-closed sets need not be closed under soft intersections and unions.
Lemma 3.4.Let (TDSFTDW, τ) be a hyperconnected space. Then
(i) Every non-empty β-open subset of (TDSFTDW, τ) is dense.
(ii) Every superset of a β-open subset of (TDSFTDW, τ) is dense.
Proof. To show (i), let M be a non-empty β-open subset of (TDSFTDW, τ). Then, □ (◊ (□ (M))) ≠ ∅. Therefore, ◊ (□ (M)) is a non-empty open subset. It follows by the condition of hyperconnectedness that □ (◊ (□ (M))) = TDSFTDW. Since □ (◊ (□ (M))) ⊆ □ (M), we obtain the desired result.
The proof of (ii) follows from the fact that superset of a dense subset is also dense □
Proposition 3.5.Let and be respectively soft semi-open and weakly soft β-open subsets of a full and soft hyperconnected STS (TDSFTDW, ϒ, A), then is weakly soft β-open.
Proof. Assume that is a non-null soft semi-open set. Then there is a non-null soft-open subset of . Since ϒ is full, then is a non-empty open set for every a ∈ A. Let be a weakly soft β-open set, then there exists a ∈ A such that is a non-empty β-open subset of (TDSFTDW, ϒ
a). So, by the condition of soft hyperconnected, we get is dense. Consequentially, . It follows from the above lemma that is a non-empty β-open subset of (TDSFTDW, ϒ
a); therefore, its superset is dense as well. Hence, is a weakly soft β-open set. □
Corollary 3.6. Let be soft-open (soft α-open) and be weakly soft β-open subsets of a full and soft hyperconnected STS (TDSFTDW, ϒ, A), then is weakly soft β-open.
Remark 3.7.
(i)If is pseudo constant, then it is a weakly soft β-subset, because for all a ∈ A or for some a ∈ A.
(ii) Any S-subset of (TDSFTDW, T, A) with (resp. ) is weakly soft β-open (resp. weakly soft β-closed).
The subsequent proposition is intelligible.
Proposition 3.8.Any soft topology is a subclass of weakly soft β-open sets.
According to Example 3.3, is weakly soft β-open subset of but not soft-open. Hence, the converse of Proposition 3.8 is false in general.
A criterion that ensures the relationship between weakly soft β-open sets and soft β-open (or soft α-open) is used in the following statements.
Proposition 3.9.If (TDSFTDW, ϒ, A) is extended, then every soft β-open set is a weakly soft β-open set.
Proof. Let soft β-open set. Then . Since ϒ is an extended soft topology, so for all a ∈ A. This means that has a non-empty β-open component and hence, is weakly soft β-open. □
Corollary 3.10. If (TDSFTDW, ϒ, A) is extended, then the class of soft α-open (soft α-open, soft semi-open, soft pre-open, soft b-open) sets is a subset of the class of weakly soft β-open sets.
Proposition 3.11.If (TDSFTDW, ϒ, A) is extended, then the class of weakly soft β-open sets is a subset of the class of soft somewhere dense sets.
Proof. If is a weakly soft β-open set, then there has a non-empty β-open set as a component. Since ϒ is extended, or for some a ∈ A. Now, if , then is soft somewhere dense, and if , then we get , which means that is soft somewhere dense. □
The criterion of “extended soft topology” imposed in Propositions 3.9, 3.11 is irreplaceable, as the following example illustrates:
Example 3.12. Let the universal set be TDSFTDW = {TDSFTDw1, TDSFTDw2, TDSFTDw3} and a set of parameters be the natural numbers set . We define a soft topology over TDSFTDW with as follows for each and for each n ∈ A, where A is any finite subset of . This soft topology is not extended because an S-set for each does not belong to ϒ in spite of {TDSFTDw1} belongs to every parametric topology ϒn. Now, notice that an S-set for each is a soft β-open subset of because it is a soft dense set. In contrast, for all , which means that is not a weakly soft β-open set. Also, it can be remarked that an S-set and for each is a weakly soft β-open subset of because is a non-empty β-open subset of (TDSFTDW, ϒ1). On the other hand, it is not a soft somewhere dense set as .
To elucidate that the reverse of Propositions 3.9 & 3.11 fail, the following examples are proposed:
Example 3.13. Let TDSFTDW = {TDSFTDw1, TDSFTDw2, TDSFTDw3} be a universe and A = {a1, a2} be a parameters set. Take the family ϒ consisting of φ, and the following S-subsets over TDSFTDW with A
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
and
.
Then, (TDSFTDW, ϒ, A) is an extended STS. Remark that an S-set is weakly soft β-open because . While is not a soft β-open set as .
Example 3.14. It can be checked that a soft topology given in Example 3.3 is extended. If we take an S-set , then is soft somewhere dense because . On the other hand, it is not a weakly soft β-open set because and is empty.
Proposition 3.15.If a soft function is both soft-open and soft continuous, then and are weakly soft β-open.
Proof. To prove the image case, we assume that a soft function soft-open and soft-continuous. Let be a weakly soft β-open subset of (TDSFTDW, ϒ, A). Suppose that is non-empty β-open for some a ∈ A. Set χ (a) = a*. By Theorem 2.18, is continuous. The same holds for open functions. We know that λ (□ (V)) ⊆ □ (λ (V)) by continuity of λ and λ (◊ (V)) ⊆ ◊ (λ (V)) by openness of λ, for each subset V of TDSFTDW. This means that .
Therefore, is a non-empty β-open component of ; hence, is a weakly soft β-subset of (TDSFTDW, ϒ, A). □
Proposition 3.16.Let and be weakly soft β-open subsets. Then, is weakly soft β-open.
Proof. Suppose that and are weakly soft β-open subsets and let . Then there are a1, a2 ∈ A such that and are non-empty β-open subsets. Now, (a1, a2) ∈ A × A such that . It follows from the classical topology that is a non-empty β-open subset; so that is a non-empty β-open set. Thus, is a weakly soft β-open subset. □
Weakly β-interior and Weakly β-closure operators
This part applies weakly soft β-open and weakly soft β-closed set to study the concepts of interior, limit points, closure, and boundary of an S-set in an STS. We will evince their fundamentals and look at the relationships among them. Also, we elucidate, with the help of some examples, that the weakly β-interior of an S-subset many not be weakly β-open. The same is true for weakly β-closure of S-sets and weakly β-closed set.
Definition 4.1. The weakly β-interior of an S-set in (TDSFTDW, ϒ, A) is defined to be the soft union of all weakly soft β-open sets that are included in and is symbolized by .
According to Example 3.3, we have
. It can be remarked that {(a1, [0, 1] ⋃ {5}) , (a2, [0, 1] ⋃ {5})} is not a weakly β-open set.
The following propositions have simple proofs, therefore we will skip them.
Proposition 4.2.Let be a subset of (TDSFTDW, ϒ, A) and . Then iff for some weakly soft β-open set .
Proposition 4.3.Let , be S-subsets of (TDSFTDW, ϒ, A). Then
.
if , then .
Corollary 4.4. For any two subsets , of (TDSFTDW, ϒ, A), the next results hold true:
.
.
Proof. It naturally arises from the following:
1. and .
2. and □ Let , , and be S-subsets of an STS given in Example 3.3. We observe the next properties:
1. .
2. whereas .
3. whereas .
4. whereas .
This concludes that the equality of the statements in Proposition 4.3 and Corollary 4.4 may not be hold.
Definition 4.5. The weakly β-closure points of an S-set in (TDSFTDW, ϒ, A) is defined to be the intersection of all weakly soft β-closed sets containing and is symbolized by .
According to Example 3.3, it can be remarked that , whereas {(a1, [0, 1] ⋃ {5}) , (a2, [0, 1] ⋃ {5})} is not a weakly β-closed set.
Proposition 4.6.Let be an S-set in (TDSFTDW, ϒ, A) and . Then iff for each weakly soft β-open set contains TDSFTDw
a we have .
Proof. [⇒] Let . Suppose that there is weakly soft β-open set containing TDSFTDw
a with . Then . Therefore, . Thus . This is a contradiction, which means that , as required.
[⇐] Let for each weakly soft β-open set contains TDSFTDw
a. Suppose that . Then there is a soft β-closed set containing with . So and . This is a contradiction. Hence, the desired result is obtained. □ Corollary 4.7. If such that is a weakly soft β-open set and is an S-set in (TDSFTDW, ϒ, A), then .
Proposition 4.8.The next statements hold true for an S-set in (TDSFTDW, ϒ, A).
.
.
Proof. 1. If , then there is a weakly soft β-open set with . Therefore, and hence . Conversely, if one follow the previous steps to show .
2. Similar to 1. □ One can easily demonstrate the next result, so we will cancel its proof.
Proposition 4.9.Let , be S-subsets of (TDSFTDW, ϒ, A). Then
.
if , then .
.
.
To illustrate that the inclusion relations of Proposition 4.3 is proper, let , , and be S-subsets of an STS given in Example 3.3. We remark the following properties:
1. .
2. whereas .
3.
whereas .
Definition 4.10. A soft point TDSFTDw
a is named a weakly β-boundary point of an S-set in (TDSFTDW, ϒ, A) if TDSFTDw
a belongs to the complement of .
All β-boundary points of , denoted by , is called a weakly β-boundary set.
Proposition 4.11. for every subset of (TDSFTDW, ϒ, A).
Proof.
(De Morgan’s law)
(Proposition 4.8(2)) □
Corollary 4.12. For every subset of (TDSFTDW, ϒ, A), the following properties hold.
.
.
.
.
Proof. 1. Obvious.
2.
.
By 2 of Proposition 4.8 the required relation is obtained.
3. .
4.
. □
Proposition 4.13.For every subsets of (TDSFTDW, ϒ, A), the following properties hold.
.
.
Proof. By substituting in the formula No. 3 of Corollary 4.12, the proof follows. □
Proposition 4.14.Let be a subset of (TDSFTDW, ϒ, A). Then
iff .
iff .
Proof. 1. Suppose that . Then by 4 of Corollary 4.12, and hence . Conversely, let . Since and , by 3 of Corollary 4.12, . Therefore, , as required.
2. Assume that . Then , as required. Conversely, if , then by 3 of Corollary 4.12, and hence , as required. □
Corollary 4.15. Let be a subset of (TDSFTDW, ϒ, A). Then iff .
Definition 4.16. ttyy1 A soft point TDSFTDw
a is said to be a weakly β-limit point of a subset of (TDSFTDW, ϒ, A) if for each weakly soft β-open set containing TDSFTDw
a.
All weakly β-limit points of is called a weakly β-derived set and denoted by .
Proposition 4.17.Let and be subsets of (TDSFTDW, ϒ, A). If , then .
Proof. Straightforward by Definition 4.16. □
Corollary 4.18. Consider and are subsets of (TDSFTDW, ϒ, A). Then:
.
.
Theorem 4.19.Let be a subset of (TDSFTDW, ϒ, A), then .
Proof. The side is obvious. To prove the other side let . Then and . Therefore, there is weakly soft β-open containing TDSFTDw
a with . Thus, . Hence, we find that . □
Corollary 4.20. Let be a weakly soft β-closed subset of (TDSFTDW, ϒ, A), then .
Continuity via weakly soft β-open sets
This part is consecrated to treating with the notion of soft continuity via weakly soft β-open idea. Several characterizations of this type of soft-continuous functions will be studied. Also, we point out that some properties of this kind of soft continuity are disappeared.
Definition 5.1. A soft function λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is said to be weakly soft β-continuous if is weakly soft β-open for each .
One can easily evidence the next result, so we will cancel its proof.
Proposition 5.2.If λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is a weakly soft β-continuous function and ξ
κ : (TDSFTDX, ϒTDSFTDX, A) → (TDSFTDY, ϒTDSFTDY, A) is a soft-continuous function, then ξ
κ ∘ λ
χ is weakly soft β-continuous.
Proposition 5.3.Let λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) be a soft function. Then
(i) If λ
χ is soft-continuous, then λ
χ is weakly soft β-continuous.
(ii) If λ
χ is soft β-continuous (soft α-continuous, soft semi-continuous, soft pre-continuous, soft b-continuous) such that ϒTDSFTDW is extended, then λ
χ is weakly soft β-continuous.
(iii) If λ
χ is weakly soft β-continuous such that ϒTDSFTDW is extended, then λ
χ is soft SD-continuous.
Proof. (i): It holds true by Proposition 3.8.
(ii): It holds true by Proposition 3.9 and Corollary 3.10.
(iii): It holds true by Proposition 3.11. □
Theorem 5.4.A soft function λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is weakly soft β-continuous iff is weakly soft β-closed subset for each .
Proof. ⇒: Let be a soft-closed subset of (TDSFTDX, ϒTDSFTDX, A). Then is weakly soft β-open because is soft-open. Thus, is a weakly soft β-closed set.
⇐: Following similar argument of the necessary part.
□
Theorem 5.5.If λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is weakly soft β-continuous, then the next properties are equivalent.
For each soft-open subset of (TDSFTDX, ϒTDSFTDX, A), .
For each soft-closed subset of (TDSFTDX, ϒTDSFTDX, A), .
for each .
for each .
for each .
Proof. (1 →2): Suppose that is a soft-closed subset of (TDSFTDX, ϒTDSFTDX, A). Then is soft-open. Therefore, . According to Proposition 4.8, .
(2 →3): For any S-set , . Then
.
(3 →4): It is obvious that for each . By 3, we get . Therefore, .
(4 →5): Let be an arbitrary S-set in (TDSFTDX, ϒTDSFTDX, A). Then . So that, . Hence, .
(5 →1): Suppose that is a soft-open subset in (TDSFTDX, ϒTDSFTDX, A). By 5, . But , so , as required. □ The converse of the above theorem fails. To demonstrate that the next example is furnished.
Example 5.6. Let TDSFTDW = {TDSFTDw1, TDSFTDw2, TDSFTDw3} and TDSFTDX = {TDSFTDx1, TDSFTDx2, TDSFTDx3} with A = {a1, a2}. Let and be two soft topologies defined on TDSFTDW and TDSFTDX, respectively, with the same set of parameters A, where
;
;
;
and
.
Consider λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is a soft function, where λ : TDSFTDW → TDSFTDX is defined as follows λ (TDSFTDw1) = λ (TDSFTDw3) = TDSFTDx1 and λ (TDSFTDw2) = TDSFTDx3.
and χ : A → A is the identity function.
Now, which is not a weakly soft β-open subset because ◊ (□ ({TDSFTDw1, TDSFTDw3}) = {TDSFTDw1}. Then λ
χ is not weakly soft β-continuous. On the other hand, ; and , which implies that the characterizations displayed in Theorem 5.5 are satisfied.
In the remaining part of this segment, we define two soft functions namely weakly soft β-open and weakly soft β-closed functions.
Definition 5.7. If the image of each soft-open (resp., soft-closed) set under a soft function λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is weakly soft β-open (resp., weakly soft β-closed), then we call λ
χ a weakly soft β-open (resp., weakly soft β-closed) function.
Theorem 5.8.Let λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) be a soft function and be any S-subset of . Then
If λ
χ is weakly soft β-open, then
.
If λ
χ is weakly soft β-closed, then .
Proof. 1. Let be an S-subset of . Then is a weakly soft β-subset of (TDSFTDX, ϒTDSFTDX, A) and so .
2. Similar to 1. □
Proposition 5.9.The concepts of weakly soft β-open and weakly soft β-closed functions are identical if a soft function is bijective.
Proof. ⇒: Assume that λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) is a bijective soft function and let be a weakly soft β-closed subset of (TDSFTDW, ϒTDSFTDW, A). Since λ
χ is weakly soft β-open, is weakly soft β-open. Then . So that, is a weakly soft β-closed set. Hence, λ
χ is weakly soft β-closed. The converse side is obtained by following a similar argument. □
Proposition 5.10.Let λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) be a weakly soft β-closed function and be a soft-closed subset of . Then λ
χ ∣ TDSFTDY : (TDSFTDY, ϒTDSFTDY, A) → (TDSFTDX, ϒTDSFTDX, A) is weakly soft β-closed.
Proof. By taking a soft-closed subset of (TDSFTDY, ϒTDSFTDY, A) we obtain a soft-closed subset of (TDSFTDW, ϒTDSFTDW, A) with . Since is a soft-closed subset of (TDSFTDW, ϒTDSFTDW, A), then is also a soft-closed subset of (TDSFTDW, ϒTDSFTDW, A). Since , then is a weakly soft β-closed set. Thus, λ
χ ∣ TDSFTDY is a weakly soft β-closed.
□
Proposition 5.11.The next three statements hold for soft functions λ
χ : (TDSFTDW, ϒTDSFTDW, A) → (TDSFTDX, ϒTDSFTDX, A) and ξ
κ : (TDSFTDX, ϒTDSFTDX, A) → (TDSFTDY, ϒTDSFTDY, A).
If λ
χ is soft-open (resp., soft-closed) and ξ
κ is soft j-open (resp., soft j-closed) such that ϒTDSFTDY is extended, then ξ
κ ∘ λ
χ is weakly soft β-open (resp., weakly soft β-closed), where j ∈ {α, semi, pre, b, β}.
If ξ
κ ∘ λ
χ is weakly soft β-open (resp., weakly soft β-closed) and λ
χ is soft-continuous surjective, then ξ
κ is weakly soft β-open (resp., weakly soft β-closed).
If ξ
κ ∘ λ
χ is soft-open (resp., soft-open) and ξ
κ is weakly soft β-continuous (resp., weakly soft β-closed) injective, then λ
χ is weakly soft β-open (resp., weakly soft β-closed).
Proof. We suffice by proving the cases outside the parentheses.
1. Without loss of generality, let j = α. Then consider as a soft-open subset of . So is a soft-open subset of . Thus, is a soft α-open subset. According to Corollary 3.10, is a weakly soft β-open subset. Hence, ξ
κ ∘ λ
χ is weakly soft β-open.
2. Suppose that is a soft-open subset of . Then is a soft-open subset of . Therefore, is a weakly soft β-open subset of . Since λ
χ is surjective, then . Thus ξ
κ is weakly soft β-open.
3. Let be a soft-open subset of . Then is a soft-open subset of . Therefore, is a weakly soft β-open subset of . Since ξ
κ is injective, . Thus, λ
χ is weakly soft β-open. □
Conclusion
This article contributes to the area of soft topologies; especially, to the category of generalizations of soft-open sets. We have displayed the concept of “weakly soft β-open sets” as a novel family of extensions of soft-open subsets. This family is created by the classical topologies induced from the original soft topology. We have discussed the main properties of this family and elucidated its relationships with the celebrated existing generalizations. Some of these relationships are invalid in normal case, so we have provided the necessary conditions to keep them. In particular, we have demonstrated that this family lies between soft β-open and soft somewhere dense subsets provided that a given soft topology is extended. Then, we have studied the concepts of interior and closure operators, boundary, and limit soft points with respect to the families of weakly soft β-open and weakly soft β-closed sets. We have derived their main properties and the formulas that could be used to link them. Ultimately, we have studied the concepts of soft continuity, openness, and closeness inspired by weakly soft β-open and weakly soft β-closed sets.
We draw attention to that some characterizations of soft interior and closure operators and soft continuity have been lost for their analogs types introduced herein. For operators, the loss is due to the differences of components of two distinct soft sets that are in charge of possessing the properties of weakly soft β-open or weakly soft β-closed. Whereas, the loss that occurred for properties of the current soft continuity is due to the inability of determining whether the soft set is weakly soft β-open or not by its weakly soft β-interior soft points.
In upcoming work, we plan to to formulate another type of soft continuity induced from weakly soft β-open sets in a way that preserves the characterizations lost herein. We also want to look at how covering properties and separation axioms work in the context of weakly soft β-open sets. Moreover, the concepts proposed in this manuscript can be navigated to some frameworks such as supra-topology and infra-topology, fuzzy soft topology and multi soft topology.
Competing interests
The authors declare that they have no competing interests.
Footnotes
Acknowledgments
This project was supported by the Deanship of Scientific Research at Prince Sattam Bin Abdulaziz University under the research project (PSAU-2022/01/19703)
References
1.
Abd El-latifA.M. and HosnyR.A., On soft separation axioms via β-open soft sets, South Asian Journal of Mathematics5(6) (2015), 252–264.
2.
AkdagM. and OzkanA., Soft b-open sets and soft b-continuous functions, Math Sci8 (2014), 128.
3.
AlcantudJ.C.R. and MhemdiA., New generalization of fuzzy soft sets: (a, b)-Fuzzy soft sets, AIMS Mathematics8(2) (2023), 2995–3025.
4.
ArockiaraniI. and ArokiaA., lancy, Generalized soft g-closed sets and soft gsβ-closed sets in soft topological spaces, International Journal of Mathematical Archive4(2) (2013), 1–7.
5.
Al-GhourS., Boolean algebra of soft Q-Sets in soft topological spaces, Appl Comput Intell Soft Comput2022 (2022), Article ID 5200590, 9 pages.
6.
AliM.I., FengF., LiuX.Y., MinW.K. and ShabirM., On some new operations in soft set theory, Comput Math Appl57 (2009), 1547–1553.
7.
Al-jarrahH., RawshdehA. and Al-shamiT.M., On soft compact and soft Lindelöf spaces via soft regular closed sets, Afr Mat33(23) (2022). https://doi.org/10.1007/s13370-021-00952-z
8.
Al-shamiT.M., Comments on some results related to soft separation axioms, Afr Mat31 (2020), 1105–1119.
9.
Al-shamiT.M., Comments on “Soft mappings spaces”, The Scientific World Journal2019 (2019), Article ID 6903809.
10.
Al-shamiT.M., Investigation and corrigendum to some results related to g-soft equality and gf-soft equality relations, Filomat33(11) (2019), 3375–3383.
11.
Al-shamiT.M., Compactness on soft topological ordered spaces and its application on the information system, J Math2021 (2021), Article ID6699092, 12 pages.
12.
Al-shamiT.M., Homeomorphism and quotient mappings in infra soft topological spaces, J Math2021 (2021), Article ID 288, 10 pages.
13.
Al-shamiT.M., On soft separation axioms and their applications on decision-making problem, Math Probl Eng2021 (2021), Article ID 8876978.
14.
Al-shamiT.M., Soft somewhat open sets: Soft separation axioms and medical application to nutrition, Comput Appl Math41 (2022). https://doi.org/10.1007/s40314-022-01919-x
15.
Al-shamiT.M., AlshammariI. and AsaadB.A., Soft maps via soft somewhere dense sets, Filomat34 (2020), 3429–3440.
16.
Al-shamiT.M., AmeenZ.A., Abu-GdairiR. and MhemdiA., On primal soft topology, Mathematics11(10) (2023), 2329.
17.
Al-shamiT.M. and El-ShafeiM.E., Partial belong relation on soft separation axioms and decision-making problem, two birds with one stone, Soft Computing24 (2020), 5377–5387.
18.
Al-shamiT.M. and El-ShafeiM.E., T-soft equality relation, Turk JMath44 (2020), 1427–1441.
19.
Al-shamiT.M. and MhemdiA., A weak form of soft α-open sets and its applications via soft topologies, AIMS Mathematics8(5) (2023), 11373–11396.
20.
Al-shamiT.M., MhemdiA. and Abu-GdairiR., A Novel framework for generalizations of soft open sets and its applications via soft topologies, Mathematics11(4) (2023), 840.
21.
Al-shamiT.M., MhemdiA., Abu-GdairiR. and El-ShafeiM.E., Compactness and connectedness via the class of soft somewhat open sets, AIMS Mathematics8(1) (2022), 815–840.
22.
Al-shamiT.M., MhemdiA., RawshdehA. and Al-jarrahH., Soft version of compact and Lindelöf spaces using soft somewhere dense set, AIMS Mathematics6(8) (2021), 8064–8077.
23.
Al-shamiT.M. and KocinacL.D.R., The equivalence between the enriched and extended soft topologies, Applied and Computational Mathematics18(2) (2019), 149–162.
24.
Al-shamiT.M., Soft somewhere dense sets on soft topological spaces, Commun Korean Math Soc33(4) (2018), 1341–1356.
25.
AygünogluA. and AygünH., Some notes on soft topological spaces, Neural Comput Applic21 (2012), 113–119.
26.
CağmanN., KarataşS. and EnginogluS., Soft topology, Comput Math Appl62 (2011), 351–358.
27.
ChenB., Soft semi-open sets and related properties in soft topological spaces, Applied Mathematics and Information Sciences7 (2013), 287–294.
28.
El-ShafeiM.E. and Al-shamiT.M., Applications of partial belong and total non-belong relations on soft separation axioms and decision-making problem, Computational and Applied Mathematics39(3) (2020), 138.
29.
El-ShafeiM.E., Abo-ElhamayelM. and Al-shamiT.M., Partial soft separation axioms and soft compact spaces, Filomat32 (2018), 4755–4771.
30.
El-SheikhS.A., HosnyR.A. and AbdA.M., El-latif, Characterizations of b-soft separation axioms in soft topological spaces, Inf Sci Lett4(3) (2015), 125–133.
31.
FengF., LiC.X., DavvazB. and AliM.I., Soft sets combined with fuzzy sets and rough sets: a tentative approach, Soft Comput14 (2010), 899–911.
32.
HayatK., AliM.I., CaoB. and YangX.P., A new type-2 soft set: Type-2 soft graphs and their applications, Advances in Fuzzy Systems2017 (2017), Article ID 6162753.
33.
HayatK., AliM.I., KaraaslanF., CaoB.Y. and ShahM.H., Design concept evaluation using soft sets based on acceptable and satisfactory levels: an integrated TOPSIS and Shannon entropy, Soft Computing24 (2020), 2229–2263.
34.
HidaT., A comprasion of two formulations of soft compactness, Ann Fuzzy Math Inform8 (2014), 511–524.
35.
HosnyR.A., Properties of soft b-open sets, Sylwan159(4) (2015), 34–49.
36.
KandilA., TantawyO.A.E., El-SheikhS.A. and Abd El-latifA.M., γ’operation and decompositions of some forms of soft continuity in soft topological spaces, Ann Fuzzy Math Inform7 (2014), 181–196.
37.
KharalA. and AhmadB., Mappings on soft classes, New Math Nat Comput7 (2011), 471–481.
38.
KocinacL.D.R., Al-shamiT.M. and ÇetkinV., Selection principles in the context of soft sets: Menger spaces, Soft Comput25 (2021), 12693–12702.
39.
Al-shamiT.M. and KocinacL.D.R., Almost soft Menger and weakly soft Menger spaces, Applied and Computational Mathematics21(1) (2022), 35–51.
40.
Al-shamiT.M. and KocinacL.D.R., , Nearly soft Menger spaces, Journal of Mathematics2020, Article ID 3807418, 9 pages.
41.
MajiP.K., BiswasR. and RoyA.R., Soft set theory, Comput Math Appl45 (2003), 555–562.
42.
MalikN., ShabirM., Al-shamiT.M., GulR. and MhemdiA., Medical decision-making techniques based on bipolar soft information, AIMS Mathematics8(8) (2023), 18185–18205.
43.
MalikN., ShabirM., Al-shamiT.M., GulR., ArarM. and HosnyM., Rough bipolar fuzzy ideals in semigroups, Complex & Intelligent Systems. https://doi.org/10.1007/s40747-023-01132-1
44.
MinW.K., A note on soft topological spaces, Comput Math Appl62 (2011), 3524–3528.
45.
MolodtsovD., Soft set theory-First results, Comput Math Appl37 (1999), 19–31.
46.
NazmulS. and SamantaS.K., Neighbourhood properties of soft topological spaces, Ann Fuzzy Math Inform6 (2013), 1–15.
47.
RawshdehA.A., Al-jarrahH. and Al-shamiT.M., Soft expandable spaces, Filomat37(9) (2023), 2845–2858.
48.
SanabriaJ., RojoK. and AbadF., A new approach of soft rough sets and a medical application for the diagnosis of Coronavirus disease, AIMS Mathematics8(2) (2023), 2686–2707.
49.
ShabirM. and NazM., On soft topological spaces, Comput Math Appl61 (2011), 1786–1799.
50.
SinghA. and NoorieN.S., Remarks on soft axioms, Ann Fuzzy Math Inform14 (2017), 503–513.
51.
ZorlutunaI. and CakirH., On continuity of soft mappings, Appl Math Inf Sci9 (2015), 403–409.