The behavior of discrete-event systems, in which the individual components move from event to event rather than varying continuously through time, is often described by systems of linear equations in max-min algebra, in which classical addition and multiplication are replaced by ⊕ and ⊗, representing maximum and minimum, respectively. Max-min equations have found a broad area of applications in causal models, which emphasize relationships between input and output variables. Many practical situations can be described using max-min systems of linear equations. We shall deal with a two-sided max-min system of linear equations with unknown column vector x of the form A⊗x⊕c=B⊗x⊕d, where A, B are given square matrices, c, d are column vectors and operations ⊕ and ⊗ are extended to matrices and vectors in the same way as in the classical algebra. We give an equivalent condition for its solvability. For a given max-min objective function f, we consider optimization problem of type f⊤⊗x→max or min constraint to A⊗x⊕c=B⊗x⊕d. We solve the equation in the form f(x)=v on the set of solutions of the equation A⊗x⊕c=B⊗x⊕d and extend the problem to the case of an interval function f and an interval value v. We define several types of the reachability of the interval value v by the interval function f and provide equivalent conditions for them.
Citation: Helena Myšková, Ján Plavka. Optimizing the max-min function with a constraint on a two-sided linear system[J]. AIMS Mathematics, 2024, 9(4): 7791-7809. doi: 10.3934/math.2024378
[1] | M. Kanta Rao, Ch. N. Satish Kumar . Influence of fly ash on hydration compounds of high-volume fly ash concrete. AIMS Materials Science, 2021, 8(2): 301-320. doi: 10.3934/matersci.2021020 |
[2] | Ketut Aswatama Wiswamitra, Sri Murni Dewi, Moch. Agus Choiron, Ari Wibowo . Heat resistance of lightweight concrete with plastic aggregate from PET (polyethylene terephthalate)-mineral filler. AIMS Materials Science, 2021, 8(1): 99-118. doi: 10.3934/matersci.2021007 |
[3] | G. Sri Harsha, P. Poluraju, Veerendrakumar C. Khed . Computation of shear strength equation for shear deformation of reinforced concrete deep beams using finite element method. AIMS Materials Science, 2021, 8(1): 42-61. doi: 10.3934/matersci.2021004 |
[4] | Salmia Beddu, Mushtaq Ahmad, Daud Mohamad, Muhamed Imran bin Noorul Ameen, Zarina Itam, Nur Liyana Mohd Kamal, Nur Amalina Nadiah Basri . Utilization of fly ash cenosphere to study mechanical and thermal properties of lightweight concrete. AIMS Materials Science, 2020, 7(6): 911-925. doi: 10.3934/matersci.2020.6.911 |
[5] | Ayad Ramadan . Shear crack control for a reinforced concrete T-beam using coupled stochastic-multi-objective optimization methods. AIMS Materials Science, 2023, 10(6): 1077-1089. doi: 10.3934/matersci.2023057 |
[6] | Grzegorz Ludwik Golewski . Mechanical properties and brittleness of concrete made by combined fly ash, silica fume and nanosilica with ordinary Portland cement. AIMS Materials Science, 2023, 10(3): 390-404. doi: 10.3934/matersci.2023021 |
[7] | Reginald Umunakwe, Ifeoma Janefrances Umunakwe, Uzoma Samuel Nwigwe, Wilson Uzochukwu Eze, Akinlabi Oyetunji . Review on properties of hybrid aluminum–ceramics/fly ash composites. AIMS Materials Science, 2020, 7(6): 859-870. doi: 10.3934/matersci.2020.6.859 |
[8] | Sougata Chattopadhyay, Umamaheswari N . Numerical investigation of steel-concrete composite beams using flexible shear connectors. AIMS Materials Science, 2022, 9(5): 668-683. doi: 10.3934/matersci.2022041 |
[9] | Pedro Folhento, Manuel Braz-César, Rui Barros . Cyclic response of a reinforced concrete frame: Comparison of experimental results with different hysteretic models. AIMS Materials Science, 2021, 8(6): 917-931. doi: 10.3934/matersci.2021056 |
[10] | Stelladriana Volpe, Andrea Petrella, Valentino Sangiorgio, Michele Notarnicola, Francesco Fiorito . Preparation and characterization of novel environmentally sustainable mortars based on magnesium potassium phosphate cement for additive manufacturing. AIMS Materials Science, 2021, 8(4): 640-658. doi: 10.3934/matersci.2021039 |
The behavior of discrete-event systems, in which the individual components move from event to event rather than varying continuously through time, is often described by systems of linear equations in max-min algebra, in which classical addition and multiplication are replaced by ⊕ and ⊗, representing maximum and minimum, respectively. Max-min equations have found a broad area of applications in causal models, which emphasize relationships between input and output variables. Many practical situations can be described using max-min systems of linear equations. We shall deal with a two-sided max-min system of linear equations with unknown column vector x of the form A⊗x⊕c=B⊗x⊕d, where A, B are given square matrices, c, d are column vectors and operations ⊕ and ⊗ are extended to matrices and vectors in the same way as in the classical algebra. We give an equivalent condition for its solvability. For a given max-min objective function f, we consider optimization problem of type f⊤⊗x→max or min constraint to A⊗x⊕c=B⊗x⊕d. We solve the equation in the form f(x)=v on the set of solutions of the equation A⊗x⊕c=B⊗x⊕d and extend the problem to the case of an interval function f and an interval value v. We define several types of the reachability of the interval value v by the interval function f and provide equivalent conditions for them.
To deal with vagueness and uncertainty existing in practical situations, e.g., social science, economics, engineering, and medical science, it has been proposed various mathematical instruments. The recent one, introduced by Molodtsov [33], is a soft set whose parameterizations are adequate to process uncertainties and are free from the inherent limitations of the previous instruments. The advantages of soft sets and their applications to different scopes were elaborated in the pioneering work of Molodtsov [33]. In 2002, Maji et al. [30] proposed a technique to handle decision-making problems using soft sets, which was then developed by many researchers. The basic ideas of soft set theory (operators and operations) were initiated by [31]. Then, the authors of [5] showed the awkwardness of these ideas and updated to be consistent with their analogs in the crisp set theory. Also, it was taken advantage of the parameterization families of soft sets to establish several types of operators and operations between soft sets as illustrated in [14,35]. To raise the efficiency of soft set theory to cope with uncertain and complicated issues, it has been hybridized with other vague instruments like fuzzy and rough sets as debated in [13,40,41].
The year 2011 is the birth of topology induced from soft sets. It was defined by Shabir and Naz [42] and Çaǧman et al. [21] at the same time. Their approaches differ in the way of choosing the set of parameters as variable or constant. Herein, we follow the line of Shabir and Naz, which stipulate the necessity of a constant set of parameters for each element of the soft topology. Afterward, the field of soft topology attracted many researchers and intellectuals who studied the ideas of classical topology via soft topology. Min [32] described the shape of soft open and closed subsets of soft regular spaces and proved the systematic relation between soft T2 and soft T3-spaces. El-Shafei et al. [24] founded a strong family of soft Ti-spaces that preserves more features of classical separation axioms. El-Shafei and Al-shami [23] established another type of soft separation axioms and evinced their relationships with the previous types. Important adjustments for the previous studies of soft separation axioms have been conducted by some authors [8,43]. Recently, Al-shami [11] has investigated how soft separation axioms are applied to select the optimal alternatives for tourism programs.
Aygünoǧlu and Aygün [20] familiarized the concepts of compact and Lindelöf spaces. Hida [27] presented and described other kinds of compactness. The concepts of covering properties have been popularized with respect to soft regular closed [6], soft somewhat open sets [15] and soft somewhere dense set [17]. An interesting application of soft compactness to information systems was provided by Al-shami [9]. The correspondence between enriched and extended soft topologies was proved by Al-shami and Kočinac [18]. They also pointed out that many topological properties are transposable between this type of soft topology and their parametric topologies.
The notion of functions between soft topological spaces was defined by Kharal and Ahmad [28], which it refined using the crisp functions and soft points by Al-shami [10]. Specific sorts of soft functions such as soft continuous, open, and closed functions were discussed in [44]. The concepts of Menger spaces [29], maximal topologies [4] and expandable spaces [36] were integrated via soft settings as well. The authors of [26,37,38,39] studied topological structures inspired by the hybridizations of soft sets with fuzzy sets and neutrosophic sets. To expand the topological ideas and relax topological conditions, generalizations of soft open sets have been probed. The main contributions to this topic were done by Chen [22], Akdag and Ozkan [1], Al-shami [7] and Al-Ghour [3] who respectively put forward the concepts of soft semi-open, α-open, somewhere dense and Q-sets. Al-shami et al. [16] defined the concept of weakly soft semi-open sets and debated its main characterizations. Al-shami [12] exploited soft somewhat open sets to discover to what extent the nutrition followed by individuals is convenient for the needs of their bodies.
The motivations for writing this article are, first, to suggest a new approach to generalizing soft topology inspired by its classical topologies. Second, to offer a new framework to produce soft topological concepts such as soft operators and continuity, which are achieved in this work. Of course, the researchers can explore other notions like soft covering properties and separation axioms via the proposed class of weakly soft α-open sets. Finally, to enhance the importance of the soft topological environment to create various analogs for each classical topological concept.
The content of this study is regulated as follows. In Section 2, we gather the most essential definitions and properties that are necessary to make this manuscript self-contained. Then, Section 3 provides a novel approach to introduce a new generalization of soft open sets, namely, weakly soft α-sets. It constructs an illustrative example to describe its main characteristics. Section 4 applies this generalization to establish the concepts of weakly soft α-interior, weakly soft α-closure, weakly soft α-boundary, and weakly soft α-limit soft points and explores the relationships between them. Section 5 discusses the idea of weakly soft α-continuity and elucidates that the equivalent conditions of soft continuity are invalid for this type of continuity. We close this work with some conclusions and proposed future work in Section 6.
In this segment, we recapitulate the fundamentals that are required for the readers to become conscious of the manuscript's context.
Definition 2.1. [33] A soft set over a nonempty (crisp) set Σ is a set-valued function F from nonempty set of parameters Δ to the power set 2Σ of Σ; it is denoted by the ordered pair (F,Δ).
That is, a soft set (F,Δ) over Σ≠∅ provides a parameterized collection of subsets of Σ; so it may represented as follows
(F,Δ)={(δ,F(δ)):δ∈ΔandF(δ)∈2Σ}, |
where each F(δ) is termed a δ-component of (F,Δ). We denote the family of all soft sets over Σ with a set of parameters Δ by 2ΣΔ.
Through this manuscript, (F,Δ),(G,Δ) denote soft sets over Σ.
Definition 2.2. [31,34] A soft set (F,Δ) is called:
(i) Absolute, symbolized by ˜Σ, if F(δ)=Σ for all δ∈Δ.
(ii) Null, symbolized by ϕ, if F(δ)=∅ for all δ∈Δ.
(iii) A soft point if there are δ∈Δ and σ∈Σ with F(δ)={σ} and F(a)=∅ for all a∈Δ−{δ}. A soft point is symbolized by σδ. We write σδ∈(F,Δ) if σ∈F(δ).
(iv) Pseudo constant if F(δ)=Σ or ∅ for all δ∈Δ.
Definition 2.3. [25] We call (F,Δ) a soft subset of (G,Δ) (or (G,Δ) a soft superset of (G,Δ)), symbolized by (F,Δ)˜⊆(G,Δ) if F(δ)⊆G(δ) for each δ∈Δ.
Definition 2.4. [5] If G(δ)=Σ−F(δ) for all δ∈Δ, then we call (G,Δ) a complement of (F,Δ). The complement of (F,Δ) is symbolized by (F,Δ)c=(Fc,Δ).
Definition 2.5. [14] Let (F,Δ) and (G,Δ) be soft sets. Then:
(i) (F,Δ)˜⋃(G,Δ)=(H,Δ), where H(δ)=F(δ)⋃G(δ) for all δ∈Δ.
(ii) (F,Δ)˜⋂(G,Δ)=(H,Δ), where H(δ)=F(δ)⋂G(δ) for all δ∈Δ.
(iii) (F,Δ)∖(G,Δ)=(H,Δ), where H(δ)=F(δ)∖G(δ) for all δ∈Δ.
(iv) (F,Δ)×(G,Δ)=(H,Δ), where H(δ1,δ2)=F(δ1)×G(δ2) for all (δ1,δ2)∈Δ×Δ.
The adjusted version of the definition of soft functions is given in the following.
Definition 2.6. [10] Let M: Σ→Υ and P: Δ→Ω be crisp functions. A soft function MP of 2ΣΔ into 2ΥΩ is a relation such that each σδ∈2ΣΔ is related to one and only one ϵω∈2ΥΩ such that
MP(σδ)=M(σ)P(δ) for all σδ∈2ΣΔ. |
In addition, M−1P(ϵω)=˜⋃σ∈M−1(ϵ)δ∈P−1(ω)σδ for each ϵω∈2ΥΩ.
That is, the image of (F,Δ) and pre-image of (G,Ω) under a soft function MP: 2ΣΔ→2ΥΩ are respectively given by:
MP(F,Δ)=˜⋃σδ∈(F,Δ)MP(σδ,), |
and
M−1P(G,Ω)=˜⋃ϵω∈(G,Ω)M−1P(ϵω). |
A soft function is described as surjective (resp., injective, bijective) if its two crisp functions satisfy this description.
Proposition 2.7. [28] Let MP: 2ΣΔ→2ΥΩ be a soft function and let (F,Δ) and (G,Δ) be soft subsets of ˜Σ and ˜Υ, respectively. Then
(i) (F,Δ)˜⊆M−1P(MP(F,Δ)).
(ii) If MP is injective, then (F,Δ)=M−1P(MP(F,Δ)).
(iii) MP(M−1P(G,Ω))˜⊆(G,Ω).
(iv) If MP is surjective, then MP(M−1P(G,Ω))=(G,Ω).
Definition 2.8. [33] A subfamily T of 2ΣΔ is said to be a soft topology if the following terms are satisfied:
(i) ˜Σ and ϕ are elements of T.
(ii) T is closed under the arbitrary unions.
(iii) T is closed under the finite intersections.
We will call the triplet (Σ,T,Δ) a soft topological space (briefly, softTS). Each element in T is called soft open and its complement is called soft closed.
Definition 2.9. [33] For a soft subset (F,Δ) of a softTS (Σ,T,Δ), the soft interior and soft closure of (F,Δ), denoted respectively by int(F,Δ) and cl(F,Δ), are defined as follows:
(i) int(F,Δ)=˜⋃{(G,Δ)∈T:(G,Δ)˜⊆(F,Δ)}.
(ii) cl(F,Δ)=˜⋂{(H,Δ):(F,Δ)˜⊆(H,Δ) and (Hc,Δ)∈T}.
Definition 2.10. [15] A softTS (Σ,T,Δ) is called full if every non-null soft open set has no empty component.
Proposition 2.11. [33] Let (Σ,T,Δ) be a softTS. Then
Tδ={F(δ):(F,Δ)∈T} |
is a topology on Σ for every δ∈Δ. We will call this topology a parametric topology.
Definition 2.12 [33] Let (F,Δ) be a soft subset of a softTS (Σ,T,Δ). Then (int(F),Δ) and (cl(F),Δ) are respectively defined by
int(F)(δ)=int(F(δ)), |
and
cl(F)(δ)=cl(F(δ)), |
where int(F(δ)) and cl(F(δ)) are respectively the interior and closure of F(δ) in (Σ,Tδ).
Definition 2.13. [20,34] Let (Σ,T,Δ) be a softTS.
(i) If all pseudo constant soft sets are elements of T, then T is called an enriched soft topology.
(ii) T with the property "(F,Δ)∈T iff F(δ)∈Tδ for each δ∈Δ" is called an extended soft topology.
A comprehensive investigation of the extended and enriched soft topologies was comported on [18]. The corresponding between these kinds of soft topologies was one of the valuable results attained in [18]. Henceforth, this sort of soft topology will be called an extended soft topology. Under this soft topology, it was elucidated several consequences that associated soft topology with its parametric topologies. De facto, the next result will be a key point in the proof of many results.
Theorem 2.14. [18] A softTS (Σ,T,Δ) is extended iff (int(F),Δ)=int(F,Δ) and (cl(F),Δ)=cl(F,Δ) for any soft subset (F,Δ).
Definition 2.15. A soft subset (F,Δ) of (Σ,T,Δ) is said to be:
(i) soft α-open [1] if (F,Δ)˜⊆int(cl(int(F,Δ))).
(ii) soft semi-open [22] if (F,Δ)˜⊆cl(int(F,Δ)).
(iii) soft β-open [2] if (F,Δ)˜⊆cl(int(cl(F,Δ))).
(iv) soft sw-open [19] if (F,Δ)=ϕ or int(F,Δ)≠ϕ.
Definition 2.16. [44] A soft function MP: (Σ,TΣ,Δ)→(Υ,TΥ,Δ) is said to be soft continuous if M−1P(F,Δ) is a soft open set where (F,Δ) is soft open.
Theorem 2.17. [18] If MP: (Σ,T,Δ)→(Υ,S,Ω) is soft continuous, then h: (Σ,Tδ)→(Υ,SP(δ)) is continuous for each δ∈Δ.
We introduce the main idea of this manuscript called "weakly soft α-open sets" in this section. We show that this class of soft subset is a novel extension of soft open subsets and it lies between soft α-open and soft sw-open subsets of extended soft topology. Additionally, we construct some counterexamples to point out some divergences between this class and other extensions such as this class is not closed under soft unions. Among other obtained results, we investigate how this class behaves with respect to topological properties and the product of soft spaces.
Definition 3.1. A soft subset (F,Δ) of (Σ,T,Δ) is called weakly soft α-open if it is a null soft set or there is a component of it which is a nonempty α-open set. That is, F(δ)=∅ for all δ∈Δ or
∅≠F(δ)⊆int(cl(int(F(δ)))) |
for some δ∈Δ.
We call (F,Δ) a weakly soft α-closed set if its complement is weakly soft α-open.
Proposition 3.2. A subset (F,Δ) of (Σ,T,Δ) is weakly soft α-closed iff
(F,Δ)=˜Σ |
or
cl(int(cl(F(δ))))⊆F(δ)≠Σ |
for some δ∈Δ.
Proof. "⇒": Let (F,Δ) be a weakly soft α-closed set. Then,
(Fc,Δ)=ϕ, |
or
∅≠Fc(δ)⊆int(cl(int(Fc(δ)))), |
for some δ∈Δ. This means that
(F,Δ)=˜Σ, |
or
cl(int(cl(F(δ))))⊆F(δ)≠Σ, |
for some δ∈Δ, as required.
"⇐": Let (F,Δ) be a soft set such that
(F,Δ)=˜Σ, |
or
cl(int(cl(F(δ))))⊆F(δ)≠Σ, |
for some δ∈Δ. Then,
(Fc,Δ)=ϕ, |
or
∅≠Fc(δ)⊆int(cl(int(Fc(δ)))), |
for some δ∈Δ. This implies that (Fc,Δ) is weakly soft α-open. Hence, (F,Δ) is weakly soft α-closed, as required.
The following example clarifies that the family of weakly soft α-open (weakly soft α-closed) subsets is not closed under soft union or soft intersection.
Example 3.3. Let R be the set of real numbers and Δ={δ1,δ2} be a set of parameters. Let T be the soft topology on R generated by
{(δi,F(δi)):F(δi)=(ai,bi);ai,bi∈R; ai≤ bi and i=1,2}. |
Set
(F,Δ)={(δ1,(0,1)),(δ2,[0,1])}, |
and
(G,Δ)={(δ1,[0,1]),(δ2,(0,1))}, |
over R. It is obvious that (F,Δ) and (G,Δ) are both weakly soft α-open and weakly soft α-closed. On the other hand, their soft union is not weakly soft α-open and their soft intersection is not weakly soft α-closed. Also,
(H,Δ)={(δ1,(1,6)),(δ2,[2,3])} |
and
(K,Δ)={(δ1,[2,3]),(δ2,(1,6))} |
are both weakly soft α-open and weakly soft α-closed sets over R. But their soft intersection is not weakly soft α-open and their soft union is not weakly soft α-closed.
Proposition 3.4. Let (Σ,T,Δ) be a full softTS with the property of soft hyperconnected. Then the soft intersection of soft α-open and weakly soft α-open subsets is weakly soft α-open.
Proof. Assume that (F,Δ) and (G,Δ) are respectively soft α-open and weakly soft α-open sets. Then there exist a non-null soft open set (U,Δ) and δ∈Δ such that (U,Δ)˜⊆(F,Δ) and G(δ) is a nonempty α-open subset of (Σ,Tδ). So there exists a nonempty open subset Vδ of G(δ). This means that T contains a non-null soft open set (V,Δ) with V(δ)=Vδ. Since T is soft hyperconnected and full, we get Vδ∩U(δ)≠∅. Therefore, G(δ) and U(δ) have a nonempty intersection. It follows from general topology that G(δ)∩U(δ) is a nonempty α-open subset of (Σ,Tδ). Hence, (F,Δ)˜∩(G,Δ) is a weakly soft α-open set.
Corollary 3.5. Let (Σ,T,Δ) be a full softTS with the property of soft hyperconnected. Then the soft intersection of soft open and weakly soft α-open subsets is weakly soft α-open.
Remark 3.6. Every pseudo constant soft subset (F,Δ) is a weakly soft α-subset because F(δ)=∅ for all δ∈Δ or int(F(δ))=Σ for some δ∈Δ.
The next propositions are obvious.
Proposition 3.7. Every soft open set is weakly soft α-open.
Proposition 3.8. Any soft subset (F,Δ) of (Σ,T,Δ) with F(δ)=Σ (resp., F(δ)=∅) is weakly soft α-open (resp., weakly soft α-closed).
In the next result we provide a condition that guarantees the relation between weakly soft α-open sets and some generalizations of soft open sets.
Proposition 3.9. If (Σ,T,Δ) is extended, then every soft α-open set is weakly soft α-open.
Proof. Let (F,Δ) be a non-null soft α-open set. Then
(F,Δ)˜⊆int(cl(int(F,Δ))). |
Since T is an extended soft topology, we get
F(δ)⊆int(cl(int(F(δ)))) |
for each δ∈Δ. This implies that there is a component of (F,Δ) which is a nonempty α-open subset. Hence, (F,Δ) is weakly soft α-open.
Following similar arguments one can prove the other cases.
Proposition 3.10. If (Σ,T,Δ) is extended, then every weakly soft α-open set is soft sw-open.
Proof. Let (F,Δ) be a non-null weakly soft α-open set. Then there is a component of (F,Δ) which is a nonempty α-open set. So int(F(δ))≠∅ for some δ∈Δ. Since T is extended, we get
int(F,Δ)=(int(F),Δ)≠ϕ. |
This completes the proof.
The next example elaborates that a condition of "extended soft topology" furnished in Propositions 3.9 and 3.10 is indispensable.
Example 3.11. Let Σ={σ1,σ2,σ3} be unverse and Δ={δ1,δ2} be a parameters set. Take the family T consisting of ϕ, ˜Σ and the following soft subsets over Σ with Δ
(F1,Δ)={(δ1,{σ1}),(δ2,∅)}, |
(F2,Δ)={(δ1,∅),(δ2,{σ1})}, |
(F3,Δ)={(δ1,Σ),(δ2,{σ1})}, |
(F4,Δ)={(δ1,{σ1}),(δ2,Σ)}, |
(F5,Δ)={(δ1,{σ1}),(δ2,{σ1})}, |
(F6,Δ)={(δ1,{σ1}),(δ2,{σ2,σ3})}, |
and
(F7,Δ)={(δ1,{σ2,σ3}),(δ2,{σ1})}. |
Then, (Σ,T,Δ) is a softTS. Remark that a soft set
(H,Δ)={(δ1,{σ1,σ2}),(δ2,{σ1,σ2})} |
is soft α-open because
int(cl(int(H,Δ)))=˜Σ. |
But it is not a weakly soft α-open set because
int(cl(int(H(δ1))))=int(cl(int(H(δ2))))={σ1}⊉ |
Also, a soft set
(G, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \{\sigma_3\})\} |
is a weakly soft \alpha -open set because
int(cl(int(G(\delta_1)))) = G(\delta_1). |
But it is not a soft sw -open set because int(G, \Delta) = \phi .
To demonstrate that the converse of Propositions 3.9 and 3.10 fail, the following example is shown.
Example 3.12. Let \Sigma = \{\sigma_1, \sigma_2, \sigma_3\} be unverse and \Delta = \{\delta_1, \delta_2\} be a parameters set. Take the family \mathcal{T} consisting of \phi , \widetilde{\Sigma} and the following soft subsets over \Sigma with \Delta
(F_1, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \{\sigma_2, \sigma_3\})\}, |
(F_2, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \{\sigma_1\})\}, |
(F_3, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \emptyset)\}, |
(F_4, \Delta) = \{(\delta_1, \emptyset), (\delta_2, \{\sigma_1\})\}, |
(F_5, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \emptyset)\}, |
(F_6, \Delta) = \{(\delta_1, \emptyset), (\delta_2, \{\sigma_2, \sigma_3\})\}, |
(F_7, \Delta) = \{(\delta_1, \Sigma), (\delta_2, \{\sigma_1\})\}, |
(F_8, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \Sigma)\}, |
(F_9, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \Sigma)\}, |
(F_{10}, \Delta) = \{(\delta_1, \Sigma), (\delta_2, \{\sigma_2, \sigma_3\})\}, |
(F_{11}, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \{\sigma_1\})\}, |
(F_{12}, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \{\sigma_2, \sigma_3\})\}, |
(F_{13}, \Delta) = \{(\delta_1, \Sigma), (\delta_2, \emptyset)\}, |
and
(F_{14}, \Delta) = \{(\delta_1, \emptyset), (\delta_2, \Sigma)\}. |
Then, (\Sigma, \mathcal{T}, \Delta) is an extended soft _{TS} . Remark that a soft set
(H, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \{\sigma_3\})\} |
is weakly soft \alpha -open. But it is not a soft \alpha -open set because
int(cl(int(H, \Delta))) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \emptyset)\}\not\supseteq (H, \Delta). |
Also, a soft set
(G, \Delta) = \{(\delta_1, \{\sigma_1, \sigma_2\}), (\delta_2, \emptyset)\} |
is soft sw -open because
int(G, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \emptyset)\}\neq \phi. |
But it is not a weakly soft \alpha -open set because
int(cl(int(G(\delta_1)))) = \{\sigma_1\}\not\supseteq G(\delta_1) |
and G(\delta_2) is empty.
Proposition 3.13. The image and pre-image of weakly soft \alpha -open set under a soft bi-continuous function (soft open and continuous) is weakly soft \alpha -open.
Proof. To show the case of image, let \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}, \Delta)\rightarrow (\Upsilon, \mathcal{S}, \Omega) be a soft bi-continuous function and let (F, \Delta) be a weakly soft \alpha -subset of (\Sigma, \mathcal{T}, \Delta) . Suppose that there exists \delta\in \Delta such that F(\delta) is a nonempty \alpha -open subset and let \mathrm{P}(\delta) = \omega . According to Theorem 2.17, it follows from the soft bicontinuity of \mathrm{M}_\mathrm{P} that \mathrm{M} : (\Sigma, \mathcal{T}_\delta)\rightarrow (\Upsilon, \mathcal{S}_{\mathrm{P}(\delta) = \omega}) is a bicontinuous function.
It is well known that a continuity of \mathrm{M} implies that \mathrm{M}(cl(V))\subseteq cl(\mathrm{M}(V)) , and an openness of \mathrm{M} implies that \mathrm{M}(int(V))\subseteq int(\mathrm{M}(V)) for each subset V of \Sigma . This implies that
\mathrm{M}(F(\delta))\widetilde{\subseteq} \mathrm{M} (int(cl(int(F(\delta))))\widetilde{\subseteq} int(cl(int(\mathrm{M}(F(\delta))))). |
According to Definition 2.16, we find that \mathrm{M}(F(\delta)) is a nonempty \alpha -open subset of \mathrm{M}_\mathrm{P}(F, \Delta) ; hence, \mathrm{M}_\mathrm{P}(F, \Delta) is a weakly soft \alpha -open subset of (\Sigma, \mathcal{T}, \Delta) .
Corollary 3.14. The property of being a weakly soft \alpha -open set is a topological property.
Proposition 3.15. The product of two weakly soft \alpha -open sets is weakly soft \alpha -open.
Proof. Suppose that (F, \Delta) and (G, \Delta) are weakly soft \alpha -open subsets and let
(H, \Delta\times \Delta) = (F, \Delta)\times(G, \Delta). |
Then there are \delta_1, \delta_2\in \Delta such that F(\delta_1) and G(\delta_2) are nonempty \alpha -open subsets. Now, (\delta_1, \delta_2)\in \Delta\times \Delta such that
H(\delta_1, \delta_2) = F(\delta_1)\times G(\delta_2). |
As we know from the classical topology the product of two nonempty \alpha -open subsets is still a nonempty \alpha -open subset; therefore, H(\delta_1, \delta_2) is a nonempty \alpha -open subset. Hence, (H, \Delta\times \Delta) is a weakly soft \alpha -open subset.
As an expected line of this type of study, we build the operators of interior, closure, boundary, and limit inspired by the class of weakly soft \alpha -open and weakly soft \alpha -closed sets. We elucidate their master properties and scrutinize the relationships among them. By some counterexamples, we illustrate that the weakly \alpha -interior (resp., weakly \alpha -closure) of soft subset need not be weakly \alpha -open (resp., weakly \alpha -closed) sets, in general.
Definition 4.1. The weakly \alpha -interior points of a subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) , denoted by int_{w\alpha}(F, \Delta) , is defined as the union of all weakly soft \alpha -open sets contained in (F, \Delta) .
By Example 3.3 we remark that the weakly \alpha -interior points of a subset need not be a weakly \alpha -open set. That is,
int_{w\alpha}(F, \Delta) = (F, \Delta) |
does not imply that (F, \Delta) is a weakly \alpha -open set.
One can easily prove the next propositions.
Proposition 4.2. Let (F, \Delta) be a subset of (\Sigma, \mathcal{T}, \Delta) and \sigma_\delta\in \widetilde{\Sigma} . Then \sigma_\delta\in int_{w\alpha}(F, \Delta) iff there is a weakly soft \alpha -open set (G, \Delta) contains \sigma_\delta such that (G, \Delta)\widetilde{\subseteq}(F, \Delta) .
Proposition 4.3. Let (F, \Delta) , (G, \Delta) be soft subsets of (\Sigma, \mathcal{T}, \Delta) . Then
(i) int_{w\alpha}(F, \Delta)\widetilde{\subseteq} (F, \Delta) .
(ii) if (F, \Delta)\widetilde{\subseteq}(G, \Delta) , then int_{w\alpha}(F, \Delta)\widetilde{\subseteq} int_{w\alpha}(G, \Delta) .
Corollary 4.4. For any two subsets (F, \Delta) , (G, \Delta) of (\Sigma, \mathcal{T}, \Delta) , we have the following results:
(i) int_{w\alpha}[(F, \Delta)\widetilde{\bigcap}(G, \Delta)] \widetilde{\subseteq}int_{w\alpha}(F, \Delta)\widetilde{\bigcap}int_{w\alpha}(G, \Delta) .
(ii) int_{w\alpha}(F, \Delta)\widetilde{\bigcup}int_{w\alpha}(G, \Delta) \widetilde{\subseteq}int_{w\alpha}[(F, \Delta)\widetilde{\bigcup} (G, \Delta)] .
Proof. It automatically comes from the following:
(i) (F, \Delta)\widetilde{\bigcap}(G, \Delta) \widetilde{\subseteq}(F, \Delta) and (F, \Delta)\widetilde{\bigcap}(G, \Delta) \widetilde{\subseteq}(G, \Delta) .
(ii) (F, \Delta)\widetilde{\subseteq} [(F, \Delta)\widetilde{\bigcup} (G, \Delta)] and (G, \Delta)\widetilde{\subseteq} [(F, \Delta)\widetilde{\bigcup} (G, \Delta)]. Let
(E, \Delta) = \{(\delta_1, \{5\}), (\delta_2, \{6, 7\})\}, |
(F, \Delta) = \{(\delta_1, (1, 2)), (\delta_2, [1, 2])\}, |
(G, \Delta) = \{(\delta_1, (2, 3)), (\delta_2, [2, 3])\}, |
(H, \Delta) = \{(\delta_1, \emptyset), (\delta_2, (0, 1])\}, |
and
(J, \Delta) = \{(\delta_1, (0, 1]), (\delta_2, \emptyset)\} |
be soft subsets of a soft _{TS} given in Example 3.3. We remark the following properties:
(i) (E, \Delta)\widetilde{\not\subseteq}int_{w\alpha}(E, \Delta) = \phi .
(ii) int_{w\alpha}(E, \Delta)\widetilde{\subseteq}int_{w\alpha}(H, \Delta), whereas (E, \Delta)\widetilde{\not\subseteq}(H, \Delta) .
(iii) int_{w\alpha}[(F, \Delta)\widetilde{\bigcap}(G, \Delta)] = \phi, whereas int_{w\alpha}(F, \Delta)\widetilde{\bigcap}int_{w\alpha}(G, \Delta) = \{(\delta_1, \emptyset), (\delta_2, \{2\})\} .
(iv)
int_{w\alpha}(H, \Delta)\widetilde{\bigcup}int_{w\alpha}(J, \Delta) = \{(\delta_1, (0, 1)), (\delta_2, (0, 1))\}, |
whereas
int_{w\alpha}[(H, \Delta)\widetilde{\bigcup} (J, \Delta)] = \{(\delta_1, (0, 1]), (\delta_2, (0, 1])\}. |
Hence, the inclusion relations of Proposition 4.3 and Corollary 4.4 are proper.
Definition 4.5. The weakly \alpha -closure points of a subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) , denoted by cl_{w\alpha}(F, \Delta) , is defined as the intersection of all weakly soft \alpha -closed sets containing (F, \Delta) .
By Example 3.3 we remark that the weakly \alpha -closure points of a subset need not be a weakly \alpha -closed set. That is, cl_{w\alpha}(F, \Delta) = (F, \Delta) does not imply that (F, \Delta) is a weakly \alpha -closed set.
Proposition 4.6. Let (F, \Delta) be a subset of (\Sigma, \mathcal{T}, \Delta) and \sigma_\delta\in \widetilde{\Sigma} . Then \sigma_\delta\in cl_{w\alpha}(F, \Delta) iff (G, \Delta)\widetilde{\bigcap} (F, \Delta)\neq\phi for each weakly soft \alpha -open set (G, \Delta) contains \sigma_\delta .
Proof. [\Rightarrow] Let \sigma_\delta\in cl_{w\alpha}(F, \Delta) . Suppose that there is weakly soft \alpha -open set (G, \Delta) containing \sigma_\delta with
(G, \Delta)\widetilde{\bigcap} (F, \Delta) = \phi. |
Then
(F, \Delta)\widetilde{\subseteq}(G^c, \Delta). |
Therefore,
cl_{w\alpha}(F, \Delta)\widetilde{\subseteq}(G^c, \Delta). |
Thus
\sigma_\delta\not\in cl_{w\alpha}(F, \Delta). |
This is a contradiction, which means that
(G, \Delta)\widetilde{\bigcap} (F, \Delta)\neq\phi, |
as required.
[\Leftarrow] Let
(G, \Delta)\widetilde{\bigcap}(F, \Delta)\neq\phi |
for each weakly soft \alpha -open set (G, \Delta) contains \sigma_\delta . Suppose that
\sigma_\delta\not\in cl_{w\alpha}(F, \Delta). |
Then there is a weakly soft \alpha -closed set (H, \Delta) containing (F, \Delta) with \sigma_\delta\not\in (H, \Delta) . So
\sigma_\delta\in (H^c, \Delta), |
and
(H^c, \Delta)\widetilde{\bigcap} (F, \Delta) = \phi. |
This is a contradiction. Hence, we obtain the desired result.
Corollary 4.7. If
(F, \Delta)\widetilde{\bigcap}(G, \Delta) = \phi |
such that (F, \Delta) is a weakly soft \alpha -open set and (G, \Delta) is a soft set in (\Sigma, \mathcal{T}, \Delta) , then
(F, \Delta)\widetilde{\bigcap}cl_{w\alpha}(G, \Delta) = \phi. |
Proof. Obvious.
Proposition 4.8. The following properties hold for a subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) .
(i) [int_{w\alpha}(F, \Delta)]^c = cl_{w\alpha}(F^c, \Delta) .
(ii) [cl_{w\alpha}(F, \Delta)]^c = int_{w\alpha}(F^c, \Delta) .
Proof. (i) If
\sigma_\delta \notin [int_{w\alpha}(F, \Delta)]^c, |
then there is a weakly soft \alpha -open set (G, \Delta) with
\sigma_\delta\in (G, \Delta)\widetilde{\subseteq}(F, \Delta). |
Therefore,
(F^{c}, \Delta)\widetilde{\bigcap}(G, \Delta) = \phi, |
and hence,
\sigma_\delta \notin cl_{w\alpha}(F^c, \Delta). |
Conversely, if \sigma_\delta \notin cl_{w\alpha}(F^c, \Delta) we can follow the previous steps to verify \sigma_\delta \notin [int_{w\alpha}(F, \Delta)]^c .
(ii) Following similar approach given in (i).
The next proposition is easy, so we omit its proof.
Proposition 4.9. Let (F, \Delta) , (G, \Delta) be soft subsets of (\Sigma, \mathcal{T}, \Delta) . Then
(i) (F, \Delta)\widetilde{\subseteq} cl_{w\alpha}(F, \Delta) .
(ii) if (F, \Delta)\widetilde{\subseteq}(G, \Delta) , then cl_{w\alpha}(F, \Delta)\widetilde{\subseteq} cl_{w\alpha}(G, \Delta) .
Corollary 4.10. The following results hold for any subsets (F, \Delta) , (G, \Delta) of (\Sigma, \mathcal{T}, \Delta) .
(i) cl_{w\alpha}[(F, \Delta)\widetilde{\bigcap}(G, \Delta)] \widetilde{\subseteq}cl_{w\alpha}(F, \Delta) \widetilde{\bigcap}cl_{w\alpha}(G, \Delta) .
(ii) cl_{w\alpha}(F, \Delta)\widetilde{\bigcup}cl_{w\alpha}(G, \Delta) \widetilde{\subseteq}cl_{w\alpha}[(F, \Delta)\widetilde{\bigcup} (G, \Delta)] .
Proof. It automatically comes from the following:
(i) (F, \Delta)\widetilde{\bigcap}(G, \Delta) \widetilde{\subseteq}(F, \Delta) and (F, \Delta)\widetilde{\bigcap}(G, \Delta) \widetilde{\subseteq}(G, \Delta) .
(ii) (F, \Delta)\widetilde{\subseteq} [(F, \Delta)\widetilde{\bigcup} (G, \Delta)] and (G, \Delta)\widetilde{\subseteq} [(F, \Delta)\widetilde{\bigcup} (G, \Delta)] .
Let
(E, \Delta) = \{(\delta_1, \mathbb{R}), (\delta_2, [0, 1))\}, |
(F, \Delta) = \{(\delta_1, (1, 2)), (\delta_2, [1, 2])\}, |
(G, \Delta) = \{(\delta_1, (2, 3)), (\delta_2, [2, 3])\}, |
and
(H, \Delta) = \{(\delta_1, \mathbb{R}), (\delta_2, (0, 1])\} |
be soft subsets of a soft _{TS} given in Example 3.3. We remark the following properties:
(i) cl_{w\alpha}(E, \Delta) = \{(\delta_1, \mathbb{R}), (\delta_2, [0, 1])\}\widetilde{\not\subset}(E, \Delta) .
(ii) cl_{w\alpha}(E, \Delta)\widetilde{\subseteq}cl_{w\alpha}(H, \Delta), whereas (E, \Delta)\widetilde{\not\subseteq}(H, \Delta) .
(iii) cl_{w\alpha}[(F, \Delta)\widetilde{\bigcap}(G, \Delta)] = \{(\delta_1, \emptyset), (\delta_2, \{2\})\} , whereas cl_{w\alpha}(F, \Delta)\widetilde{\bigcap}cl_{w\alpha}(G, \Delta) = \{(\delta_1, \{2\}), (\delta_2, \{2\})\} .
Hence, the inclusion relations of Proposition 4.9 and Corollary 4.10 are proper.
Definition 4.11. A soft point \sigma_\delta is said to be a weakly \alpha -boundary point of a subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) if \sigma_\delta belongs to the complement of int_{w\alpha}(F, \Delta)\widetilde{\bigcup} int_{w\alpha}(F^c, \Delta) .
All \alpha -boundary points of (F, \Delta) is called a weakly \alpha -boundary set, denoted by b_{w\alpha}(F, \Delta) .
Proposition 4.12.
b_{w\alpha}(F, \Delta) = cl_{w\alpha}(F, \Delta)\widetilde{\bigcap} cl_{w\alpha}(F^c, \Delta) |
for every subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) .
Proof.
\begin{eqnarray*} b_{w\alpha}(F, \Delta)& = &[int_{w\alpha}(F, \Delta)\widetilde{\bigcup} int_{w\alpha}(F^c, \Delta)]^c\\ & = & [int_{w\alpha}(F, \Delta)]^c\widetilde{\bigcap}[int_{w\alpha}(F^c, \Delta)]^c\; \; \; (De\ \ Morgan's\ \ law)\\ & = &cl_{w\alpha}(F^c, \Delta)\widetilde{\bigcap} cl_{w\alpha}(F, \Delta)\; \; \; (Proposition\ \ 4.8(ii)). \end{eqnarray*} |
Corollary 4.13. For every subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) , the following properties hold.
(i) b_{w\alpha}(F, \Delta) = b_{w\alpha}(F^c, \Delta) .
(ii) b_{w\alpha}(F, \Delta) = cl_{w\alpha}(F, \Delta)\setminus \; int_{w\alpha}(F, \Delta) .
(iii) cl_{w\alpha}(F, \Delta) = int_{w\alpha}(F, \Delta)\widetilde{\bigcup}\; b_{w\alpha}(F, \Delta) .
(iv) int_{w\alpha}(F, \Delta) = (F, \Delta)\setminus \; b_{w\alpha}(F, \Delta) .
Proof. (i) Obvious.
(ii) b_{w\alpha}(F, \Delta) = cl_{w\alpha}(F, \Delta)\widetilde{\bigcap} cl_{w\alpha}(F^c, \Delta) = cl_{w\alpha}(F, \Delta)\setminus \; [cl_{w\alpha}(F^c, \Delta)]^c. By (ii) of Proposition 4.8 we obtain the required relation.
(iii) int_{w\alpha}(F, \Delta)\widetilde{\bigcup}\; b_{w\alpha}(F, \Delta) = int_{w\alpha}(F, \Delta)\widetilde{\bigcup}\; [cl_{w\alpha}(F, \Delta)\setminus \; int_{w\alpha}(F, \Delta)] = cl_{w\alpha}(F, \Delta) .
(iv)
\begin{eqnarray*} (F, \Delta)\setminus \; b_{w\alpha}(F, \Delta)& = &(F, \Delta)\setminus \; [cl_{w\alpha}(F, \Delta)\setminus \; int_{w\alpha}(F, \Delta)]\\ & = &(F, \Delta)\widetilde{\bigcap}[cl_{w\alpha}(F, \Delta)\widetilde{\bigcap} (int_{w\alpha}(F, \Delta))^c]^c\\ & = &(F, \Delta)\widetilde{\bigcap}[(cl_{w\alpha}(F, \Delta))^c \widetilde{\bigcup} \; int_{w\alpha}(F, \Delta)]\\ & = &[(F, \Delta)\widetilde{\bigcap}(cl_{w\alpha}(F, \Delta))^c] \widetilde{\bigcup}[(F, \Delta)\widetilde{\bigcap} \; int_{w\alpha}(F, \Delta)]\\ & = &int_{w\alpha}(F, \Delta). \end{eqnarray*} |
Proposition 4.14. Let (F, \Delta), (G, \Delta) be subsets of (\Sigma, \mathcal{T}, \Delta) , the following properties hold.
(i) b_{w\alpha}(int_{w\alpha}(F, \Delta))\widetilde{\subseteq} b_{w\alpha}(F, \Delta) .
(ii) b_{w\alpha}(cl_{w\alpha}(F, \Delta))\widetilde{\subseteq} b_{w\alpha}(F, \Delta) .
Proof. By substituting in the formula No. (iii) of Corollary 4.13, the proof follows.
Proposition 4.15. Let (F, \Delta) be a subset of (\Sigma, \mathcal{T}, \Delta) . Then
(i) (F, \Delta) = int_{w\alpha}(F, \Delta) iff b_{w\alpha}(F, \Delta)\widetilde{\bigcap}(F, \Delta) = \phi .
(ii) (F, \Delta) = cl_{w\alpha}(F, \Delta) iff b_{w\alpha}(F, \Delta)\widetilde{\subseteq}(F, \Delta) .
Proof. (i) Suppose that
(F, \Delta) = int_{w\alpha}(F, \Delta). |
Then by (iv) of Corollary 4.13,
(F, \Delta) = int_{w\alpha}(F, \Delta) = (F, \Delta)\setminus b_{w\alpha}(F, \Delta), |
and hence,
b_{w\alpha}(F, \Delta)\widetilde{\bigcap}(F, \Delta) = \phi. |
Conversely, let \sigma_\delta \in (F, \Delta) . Since \sigma_\delta \notin b_{w\alpha}(F, \Delta) and \sigma_\delta \in cl_{w\alpha}(F, \Delta) , by (iii) of Corollary 4.13, \sigma_\delta \in int_{w\alpha}(F, \Delta) . Therefore,
int_{w\alpha}(F, \Delta) = (F, \Delta), |
as required.
(ii) Assume that
(F, \Delta) = cl_{w\alpha}(F, \Delta). |
Then
b_{w\alpha}(F, \Delta) = cl_{w\alpha}(F, \Delta)\widetilde{\bigcap} cl_{w\alpha}(F^c, \Delta) \widetilde{\subseteq} cl_{w\alpha}(F, \Delta) = (F, \Delta), |
as required.
Conversely, if b_{w\alpha}(F, \Delta)\widetilde{\subseteq}(F, \Delta) , then by (iii) of Corollary 4.13,
cl_{w\alpha}(F, \Delta)\widetilde{\subseteq} int_{w\alpha}(F, \Delta)\widetilde{\bigcup} (F, \Delta) = (F, \Delta), |
and hence,
cl_{w\alpha}(F, \Delta) = (F, \Delta), |
as required.
Corollary 4.16. Let (F, \Delta) be a subset of (\Sigma, \mathcal{T}, \Delta) . Then
int_{w\alpha}(F, \Delta) = (F, \Delta) = cl_{w\alpha}(F, \Delta), |
iff
b_{w\alpha}(F, \Delta) = \phi. |
Definition 4.17. A soft point \sigma_\delta is said to be a weakly \alpha -limit point of a subset (F, \Delta) of (\Sigma, \mathcal{T}, \Delta) if
[(G, \Delta)\backslash \sigma_\delta]\bigcap (F, \Delta)\neq \phi, |
for each weakly soft \alpha -open set (G, \Delta) containing \sigma_\delta .
All weakly \alpha -limit points of (F, \Delta) is called a weakly \alpha -derived set and denoted by l_{w\alpha}(F, \Delta) .
Proposition 4.18. Let (F, \Delta) and (G, \Delta) be subsets of (\Sigma, \mathcal{T}, \Delta) . If (F, \Delta)\widetilde{\subseteq}(G, \Delta) , then l_{w\alpha}(F, \Delta)\widetilde{\subseteq} l_{w\alpha}(G, \Delta) .
Proof. Straightforward by Definition 4.17.
Corollary 4.19. Consider (F, \Delta) and (G, \Delta) are subsets of (\Sigma, \mathcal{T}, \Delta) . Then:
(i) l_{w\alpha}[(F, \Delta)\widetilde{\bigcap}(G, \Delta)]\widetilde{\subseteq} l_{w\alpha}(F, \Delta)\widetilde{\bigcap}\; l_{w\alpha}(G, \Delta) .
(ii) l_{w\alpha}(F, \Delta)\widetilde{\bigcup}\; l_{w\alpha}(G, \Delta)\widetilde{\subseteq} l_{w\alpha}[(F, \Delta)\widetilde{\bigcup} (G, \Delta)] .
Theorem 4.20. Let (F, \Delta) be a subset of (\Sigma, \mathcal{T}, \Delta) , then
cl_{w\alpha}(F, \Delta) = (F, \Delta)\widetilde{\bigcup}\; l_{w\alpha}(F, \Delta). |
Proof. The side
(F, \Delta)\widetilde{\bigcup}\; l_{w\alpha}(F, \Delta)\widetilde{\subseteq} cl_{w\alpha}(F, \Delta) |
is obvious. To prove the other side let
\sigma_\delta\not\in[(F, \Delta)\widetilde{\bigcup}l_{w\alpha}(F, \Delta)]. |
Then \sigma_\delta\not\in (F, \Delta) and \sigma_\delta\not\in l_{w\alpha}(F, \Delta) . Therefore, there is weakly soft \alpha -open (G, \Delta) containing \sigma_\delta with
(G, \Delta)\widetilde{\cap} (F, \Delta) = \phi. |
Thus, \sigma_\delta\not\in cl_{w\alpha}(F, \Delta) . Hence, we find that
cl_{w\alpha}(F, \Delta) = (F, \Delta)\widetilde{\bigcup} l_{w\alpha}(F, \Delta). |
Corollary 4.21. Let (F, \Delta) be a weakly soft \alpha -closed subset of (\Sigma, \mathcal{T}, \Delta) , then l_{w\alpha}(F, \Delta)\widetilde{\subseteq} (F, \Delta) .
This is the last main section we dedicate to tackling the concept of soft continuity via weakly soft \alpha -open sets. We establish its main characterizations and show that loss of the property says that "weakly \alpha -interior of the soft subset is weakly soft \alpha -open" leads to evaporating some descriptions of this type of soft continuity. An elucidative counterexample is supplied.
Definition 5.1. A soft function \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is said to be weakly soft \alpha -continuous if the inverse image of each soft open set is weakly soft \alpha -open.
It is straightforward to prove the next result, so omit its proof.
Proposition 5.2. If \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is a weakly soft \alpha -continuous function and \mathrm{N}_\mathrm{K} : (\Upsilon, \mathcal{T}_\Upsilon, \Delta)\rightarrow (\Gamma, \mathcal{T}_{\Gamma}, \Delta) is a soft continuous function, then \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -continuous.
Proposition 5.3. Every soft continuous function is weakly soft \alpha -continuous.
Proof. It follows from Proposition 3.7.
Proposition 5.4. Let \mathrm{M}_\mathrm{P}:(\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) be a soft function such that \mathcal{T}_\Sigma is extended. Then
(i) If \mathrm{M}_\mathrm{P} is soft \alpha -continuous, then \mathrm{M}_\mathrm{P} is weakly soft \alpha -continuous.
(ii) If \mathrm{M}_\mathrm{P} is weakly soft \alpha -continuous, then \mathrm{M}_\mathrm{P} is soft sw -continuous.
Proof. It respectively follows from Propositions 3.9 and 3.10.
Proposition 5.5. A soft function \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is weakly soft \alpha -continuous iff the inverse image of every soft closed subset is weakly soft \alpha -closed.
Proof. Necessity: suppose that (F, \Delta) is a soft closed subset of (\Upsilon, \mathcal{T}_\Upsilon, \Delta) . Then (F^{c}, \Delta) is soft open. Therefore,
\mathrm{M}_\mathrm{P}^{-1}(F^{c}, \Delta) = \widetilde{\Sigma}- \mathrm{M}_\mathrm{P}^{-1}(F, \Delta) |
is weakly soft \alpha -open. Thus, \mathrm{M}_\mathrm{P}^{-1}(F, \Delta) is a weakly soft \alpha -closed set.
Following similar argument one can prove the sufficient part.
Theorem 5.6. If \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is weakly soft \alpha -continuous, then the next properties are equivalent.
(i) For each soft open subset (F, \Delta) of (\Upsilon, \mathcal{T}_\Upsilon, \Delta) , we have \mathrm{M}_\mathrm{P}^{-1}(F, \Delta) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)) .
(ii) For each soft closed subset (F, \Delta) of (\Upsilon, \mathcal{T}_\Upsilon, \Delta) , we have \mathrm{M}_\mathrm{P}^{-1}(F, \Delta) = cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)) .
(iii) cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta))\widetilde{\subseteq} \mathrm{M}_\mathrm{P}^{-1}(cl(F, \Delta)) for each (F, \Delta)\widetilde{\subseteq} \widetilde{\Upsilon} .
(iv) \mathrm{M}_\mathrm{P}(cl_{w\alpha}(G, \Delta))\widetilde{\subseteq} cl(\mathrm{M}_\mathrm{P}(G, \Delta)) for each (G, \Delta)\widetilde{\subseteq} \widetilde{\Sigma} .
(v) \mathrm{M}_\mathrm{P}^{-1}(int(F, \Delta))\widetilde{\subseteq} int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)) for each (F, \Delta)\widetilde{\subseteq} \widetilde{\Upsilon} .
Proof. (i) \rightarrow (ii) : Suppose that (F, \Delta) is a soft closed subset of (\Upsilon, \mathcal{T}_\Upsilon, \Delta) . Then (F^{c}, \Delta) is soft open. Therefore,
\mathrm{M}_\mathrm{P}^{-1}(F^c, \Delta) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F^c, \Delta)). |
According to Proposition 4.8, we obtain
\mathrm{M}_\mathrm{P}^{-1}(F, \Delta) = cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)). |
(ii) \rightarrow (iii) : For any soft set (F, \Delta)\widetilde{\subseteq}\widetilde{\Upsilon} , we have
\mathrm{M}_\mathrm{P}^{-1}(cl(F, \Delta)) = cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(cl(F, \Delta))). |
Then
cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta))\widetilde{\subseteq} cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1} (cl(F, \Delta))) = \mathrm{M}_\mathrm{P}^{-1}(cl(F, \Delta)). |
(iii) \rightarrow (iv) : It is obvious that
cl_{w\alpha}(G, \Delta)\widetilde{\subseteq}cl_{w\alpha} (\mathrm{M}_\mathrm{P}^{-1}(\mathrm{M}_\mathrm{P}(G, \Delta))) |
for each (G, \Delta)\widetilde{\subseteq}\widetilde{\Sigma} . By (iii), we get
cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(\mathrm{M}_\mathrm{P}(G, \Delta))) \widetilde{\subseteq}\mathrm{M}_\mathrm{P}^{-1}(cl(\mathrm{M}_\mathrm{P}(G, \Delta))). |
Therefore,
\mathrm{M}_\mathrm{P}(cl_{w\alpha}(G, \Delta)\widetilde{\subseteq} \mathrm{M}_\mathrm{P}(\mathrm{M}_\mathrm{P}^{-1}(cl(\mathrm{M}_\mathrm{P}(G, \Delta))))\widetilde{\subseteq}cl(\mathrm{M}_\mathrm{P}(G, \Delta)). |
(iv) \rightarrow (v) : Let (F, \Delta) be an arbitrary soft set in (\Upsilon, \mathcal{T}_\Upsilon, \Delta) . Then
\mathrm{M}_\mathrm{P}(cl_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F^c, \Delta)) \widetilde{\subseteq} cl(\mathrm{M}_\mathrm{P}(\mathrm{M}_\mathrm{P}^{-1}(F^c, \Delta))) \widetilde{\subseteq} cl(F^c, \Delta) |
So that,
cl_{w\alpha}((\mathrm{M}_\mathrm{P}^{-1}(F, \Delta))^c)\widetilde{\subseteq}\mathrm{M}_\mathrm{P}^{-1}((int(F, \Delta))^c. |
Hence,
\mathrm{M}_\mathrm{P}^{-1}(int(F, \Delta))\widetilde{\subseteq} int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)). |
(v) \rightarrow (i) : Suppose that (F, \Delta) is a soft open subset in (\Upsilon, \mathcal{T}_\Upsilon, \Delta) . By (v), we obtain
\mathrm{M}_\mathrm{P}^{-1}(F, \Delta) = \mathrm{M}_\mathrm{P}^{-1}(int(F, \Delta)) \widetilde{\subseteq} int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)). |
But
int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta))\widetilde{\subseteq} \mathrm{M}_\mathrm{P}^{-1}(F, \Delta), |
so
\mathrm{M}_\mathrm{P}^{-1}(F, \Delta) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)), |
as required.
The converse of the above theorem fails. To demonstrate that the next example is furnished.
Example 5.7. Let \Sigma = \{\sigma_1, \sigma_2, \sigma_3\} and \Upsilon = \{\upsilon_1, \upsilon_2\} with \Delta = \{\delta_1, \delta_2\} . Let
\mathcal{T}_\Sigma = \{\phi, \widetilde{\Sigma}, (F, \Delta), (G, \Delta)\} |
and
\mathcal{T}_\Upsilon = \{\phi, \widetilde{\Upsilon}, (H, \Delta)\} |
be two soft topologies defined on \Sigma and \Upsilon , respectively, with the same set of parameters \Delta , where
(F, \Delta) = \{(\delta_1, \{\sigma_1\}), (\delta_2, \{\sigma_1\})\}, |
(G, \Delta) = \{(\delta_1, \{\sigma_2, \sigma_3\}), (\delta_2, \{\sigma_2, \sigma_3\})\}, |
and
(H, \Delta) = \{(\delta_1, \{\upsilon_1\}), (\delta_2, \{\upsilon_1\})\}. |
Consider \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is a soft function, where \mathrm{M} : \Sigma \to \Upsilon is defined as follows
\mathrm{M}(\sigma_1) = \mathrm{M}(\sigma_2) = \upsilon_1\ \text{and}\ \ \mathrm{M}(\sigma_3) = \upsilon_2, |
and \mathrm{P}:\Delta \to \Delta is the identity function.
Now,
\mathrm{M}^{-1}_\mathrm{P}(H, \Delta) = \{(\delta_1, \{\sigma_1, \sigma_2\}), (\delta_2, \{\sigma_1, \sigma_2\})\}, |
which is not a weakly soft \alpha -open subset because
int(cl(int(\{\sigma_1, \sigma_2\}))) = \{\sigma_1\}. |
Then \mathrm{M}_\mathrm{P} is not weakly soft \alpha -continuous. On the other hand,
\mathrm{M}_\mathrm{P}^{-1}(\phi) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(\phi)), |
\mathrm{M}_\mathrm{P}^{-1}(\widetilde{\Upsilon}) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(\widetilde{\Upsilon})), |
and
\mathrm{M}_\mathrm{P}^{-1}(H, \Delta) = int_{w\alpha}(\mathrm{M}_\mathrm{P}^{-1}(H, \Delta)), |
which means that the all properties given in Theorem 5.6 hold true.
Now, we introduce the concepts of weakly soft \alpha -open, weakly soft \alpha -closed and weakly soft \alpha -homeomorphism functions.
Definition 5.8. A soft function \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is called:
(i) weakly soft \alpha -open provided that the image of each soft open set is weakly soft \alpha -open.
(ii) weakly soft \alpha -closed provided that the image of each soft closed set is weakly soft \alpha -closed.
Theorem 5.9. Let \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) be a soft function and (F, \Delta) be any soft subset of \widetilde{\Sigma} . Then
(i) If \mathrm{M}_\mathrm{P} is weakly soft \alpha -open, then \mathrm{M}_\mathrm{P}(int(F, \Delta))\widetilde{\subseteq} int_{w\alpha}(\mathrm{M}_\mathrm{P}(F, \Delta)) .
(ii) If \mathrm{M}_\mathrm{P} is weakly soft \alpha -closed, then cl_{w\alpha}(\mathrm{M}_\mathrm{P}(F, \Delta)) \widetilde{\subseteq} \mathrm{M}_\mathrm{P}(cl(F, \Delta)) .
Proof. (i) Let (F, \Delta) be a soft subset of \widetilde{\Sigma} . Then \mathrm{M}_\mathrm{P}(int(F, \Delta)) is a weakly soft \alpha -open subset of (\Upsilon, \mathcal{T}_\Upsilon, \Delta) and so
\mathrm{M}_\mathrm{P}(int(F, \Delta)) = int_{w\alpha}(\mathrm{M}_\mathrm{P}(int(F, \Delta))) \widetilde{\subseteq} int_{w\alpha}(\mathrm{M}_\mathrm{P}(F, \Delta)). |
(ii) The proof is similar to that of (i).
Proposition 5.10. A bijective soft function \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is weakly soft \alpha -open iff it is weakly soft \alpha -closed.
Proof. Necessity: let (F, \Delta) be a weakly soft \alpha -closed subset of (\Sigma, \mathcal{T}_\Sigma, \Delta) . Since \mathrm{M}_\mathrm{P} is weakly soft \alpha -open, \mathrm{M}_\mathrm{P}(F^c, \Delta) is weakly soft \alpha -open. By bijectiveness of \mathrm{M}_\mathrm{P} , we obtain
\mathrm{M}_\mathrm{P}(F^c, \Delta) = (\mathrm{M}_\mathrm{P}(F, \Delta))^c. |
So that, \mathrm{M}_\mathrm{P}(F, \Delta) is a weakly soft \alpha -closed set. Hence, \mathrm{M}_\mathrm{P} is weakly soft \alpha -closed. To prove the sufficient, we follow similar approach.
Proposition 5.11. Let \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) be a weakly soft \alpha -closed function and \widetilde{\Gamma} be a soft closed subset of \widetilde{\Sigma} . Then \mathrm{M}_\mathrm{P}\mid_\Gamma : (\Gamma, \mathcal{T}_{\Gamma}, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) is weakly soft \alpha -closed.
Proof. Suppose that (F, \Delta) is a soft closed subset of (\Gamma, \mathcal{T}_{\Gamma}, \Delta) . Then there is a soft closed subset (G, \Delta) of (\Sigma, \mathcal{T}_\Sigma, \Delta) with
(F, \Delta) = (G, \Delta)\widetilde{\bigcap} \widetilde{\Gamma}. |
Since \widetilde{\Gamma} is a soft closed subset of (\Sigma, \mathcal{T}_\Sigma, \Delta) , then (F, \Delta) is also a soft closed subset of (\Sigma, \mathcal{T}_\Sigma, \Delta) . Since,
\mathrm{M}_\mathrm{P}\mid_\Gamma (F, \Delta) = \mathrm{M}_\mathrm{P}(F, \Delta), |
then \mathrm{M}_\mathrm{P}\mid_\Gamma (F, \Delta) is a weakly soft \alpha -closed set. Thus, \mathrm{M}_\mathrm{P}\mid_\Gamma is a weakly soft \alpha -closed.
Proposition 5.12. The next three statements hold for soft functions \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) and \mathrm{N}_\mathrm{K} : (\Upsilon, \mathcal{T}_\Upsilon, \Delta)\rightarrow (\Gamma, \mathcal{T}_{\Gamma}, \Delta) .
(i) If \mathrm{M}_\mathrm{P} is soft open and \mathrm{N}_\mathrm{K} is soft \alpha -open such that \mathcal{T}_{\Gamma} is extended, then \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -open.
(ii) If \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -open and \mathrm{M}_\mathrm{P} is surjective soft continuous, then \mathrm{N}_\mathrm{K} is weakly soft \alpha -open.
(iii) If \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is soft open and \mathrm{N}_\mathrm{K} is injective weakly soft \alpha -continuous, then \mathrm{M}_\mathrm{P} is weakly soft \alpha -open.
Proof. (i) Take
(F, \Delta)\neq {\phi} |
as a soft open subset of \widetilde{\Sigma} . So
\mathrm{M}_\mathrm{P}(F, \Delta)\neq {\phi} |
is a soft open subset of \widetilde{\Upsilon} . Thus, \mathrm{N}_\mathrm{K}(\mathrm{M}_\mathrm{P}(F, \Delta)) is a soft \alpha -open subset. According to Proposition 3.9, \mathrm{N}_\mathrm{K}(\mathrm{M}_\mathrm{P}(F, \Delta)) is a weakly soft \alpha -open subset. Hence, \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -open.
(ii) Suppose that (F, \Delta)\neq {\phi} is a soft open subset of \widetilde{\Upsilon} . Then
\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)\neq {\phi} |
is a soft open subset of \widetilde{\Sigma} . Therefore, (\mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P})(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)) is a weakly soft \alpha -open subset of \widetilde{\Gamma} . Since \mathrm{M}_\mathrm{P} is surjective, then
(\mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P})(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta)) = \mathrm{N}_\mathrm{K}(\mathrm{M}_\mathrm{P}(\mathrm{M}_\mathrm{P}^{-1}(F, \Delta))) = \mathrm{N}_\mathrm{K}(F, \Delta). |
Thus, \mathrm{N}_\mathrm{K} is weakly soft \alpha -open.
(iii) Let (F, \Delta)\neq {\phi} be a soft open subset of \widetilde{\Sigma} . Then
(\mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P})(F, \Delta)\neq {\phi} |
is a soft open subset of \widetilde{\Gamma} . Therefore, \mathrm{N}_\mathrm{K}^{-1}(\mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P}(F, \Delta)) is a weakly soft \alpha -open subset of \widetilde{\Upsilon} . Since \mathrm{N}_\mathrm{K} is injective,
\mathrm{N}_\mathrm{K}^{-1}(\mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P}(F, \Delta)) = (\mathrm{N}_\mathrm{K}^{-1} \mathrm{N}_\mathrm{K})(\mathrm{M}_\mathrm{P}(F, \Delta)) = \mathrm{M}_\mathrm{P}(F, \Delta). |
Thus, \mathrm{M}_\mathrm{P} is weakly soft \alpha -open.
We cancel the proof of the next finding because it can be obtained following similar approach of the above proposition.
Proposition 5.13. The next three statements hold for soft functions \mathrm{M}_\mathrm{P} : (\Sigma, \mathcal{T}_\Sigma, \Delta)\rightarrow (\Upsilon, \mathcal{T}_\Upsilon, \Delta) and \mathrm{N}_\mathrm{K} : (\Upsilon, \mathcal{T}_\Upsilon, \Delta)\rightarrow (\Gamma, \mathcal{T}_{\Gamma}, \Delta) .
(i) If \mathrm{M}_\mathrm{P} is soft closed and \mathrm{N}_\mathrm{K} is soft \alpha -closed, then \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -closed.
(ii) If \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is weakly soft \alpha -closed and \mathrm{M}_\mathrm{P} is surjective soft continuous, then \mathrm{N}_\mathrm{K} is weakly soft \alpha -closed.
(iii) If \mathrm{N}_\mathrm{K}\circ \mathrm{M}_\mathrm{P} is soft closed and \mathrm{N}_\mathrm{K} is injective weakly soft \alpha -continuous, then \mathrm{M}_\mathrm{P} is weakly soft \alpha -closed.
Definition 5.14. A bijective soft function \mathrm{M}_\mathrm{P} in which is weakly soft \alpha -continuous and weakly soft \alpha -open is called a weakly soft \alpha -homeomorphism.
It is well known that soft topology is defined as a family of soft sets fulfilling the basic axioms of general topology and creates a family of general topologies. it is crucial to examine the connections between these classical topologies and the soft topology that they generate. In this paper, we have benefited from the fruitful variety existing via soft topology to introduce a novel class of generalizations of soft open subsets called "weakly soft \alpha -open sets", which we have constructed using its corresponding notion via parametric topologies.
First, we have studied the basic properties of this class and showed that this class lost the property of closing under arbitrary soft unions, which is satisfied by the previous famous generalizations. With respect to its relationship with the previous generalizations, we have demonstrated that it lies between soft \alpha -open and soft sw -open subsets of extended (hyperconnected) soft topology. Then, we have introduced the concepts of interior, closure, boundary, and limit soft points via weakly soft \alpha -open and weakly soft \alpha -closed sets. We have scrutinized main their characterizations and inferred the formulas that connected each other. In the end, we have discussed the concepts of soft continuity, openness and closeness defined by weakly soft \alpha -open and weakly soft \alpha -closed sets.
Among the unique properties obtained in this study is that most descriptions of soft continuity have been evaporated for this type of continuity, which is due to the loss of the properties report that "a soft subset (F, \Delta) is weakly soft \alpha -open iff int_{w\alpha}(F, \Delta) = (F, \Delta) " and "a soft subset (F, \Delta) is weakly soft \alpha -closed iff cl_{w\alpha}(F, \Delta) = (F, \Delta) ". To illustrate these divergences between this class and other generalizations, we have provided some counterexamples. To avoid this irregular behavior, we plan to produce another type of soft continuity inspired by weakly soft \alpha -open sets. Moreover, we intend to discuss other topological ideas that can be formulated using this class of soft sets, e.g., covering property and separation axioms.
This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2023/R/1444).
The authors declare that they have no competing interests.
[1] |
A. Aminu, P. Butkovič, Introduction to max-linear programming, IMA J. Manag. Math., 20 (2009), 233–249. https://doi.org/10.1093/imaman/dpn029 doi: 10.1093/imaman/dpn029
![]() |
[2] |
P., M. MacCaig, On the integer max-linear programming problem, Discrete Appl. Math., 162 (2014), 128–141. https://doi.org/10.1016/j.dam.2013.08.007 doi: 10.1016/j.dam.2013.08.007
![]() |
[3] | R. Cuninghame-Green, Minimax algebra, Berlin: Springer, 1979. https://doi.org/10.1007/978-3-642-48708-8 |
[4] | M. Fiedler, J. Nedoma, J. Ramík, J. Rohn, K. Zimmermann, Linear optimization problems with inexact data, New York: Springer, 2006. https://doi.org/10.1007/0-387-32698-7 |
[5] | M. Gavalec, J. Plavka, Monotone interval eigenproblem in max-min algebra, Kybernetika, 46 (2010), 387–396. |
[6] | M. Gavalec, K. Zimmermann, Solving systems of two-sided (max, min)-linear equations, Kybernetika, 46 (2010), 405–414. |
[7] |
M. Hladík, On approximation of the best case optimal value in interval linear programming, Optim. Lett., 8 (2014), 1985–1997. https://doi.org/10.1007/s11590-013-0715-5 doi: 10.1007/s11590-013-0715-5
![]() |
[8] |
M. Hladík, How to determine basis stability in interval linear programming, Optim. Lett., 8 (2014), 375–389. https://doi.org/10.1007/s11590-012-0589-y doi: 10.1007/s11590-012-0589-y
![]() |
[9] |
J. Loetamonphong, S. C. Fang, R. E. Young, Multi-objective optimization problem with fuzzy relation equations constraints, Fuzzy Set. Syst., 127 (2002), 141–164. https://doi.org/10.1016/S0165-0114(01)00052-5 doi: 10.1016/S0165-0114(01)00052-5
![]() |
[10] |
H. Myšková, Interval systems of max-separable linear equations, Linear Algebra Appl., 403 (2005), 263–272. https://doi.org/10.1016/j.laa.2005.02.011 doi: 10.1016/j.laa.2005.02.011
![]() |
[11] |
H. Myšková, Control solvability of interval systems of max-separable linear equations, Linear Algebra Appl., 416 (2006), 215–223. https://doi.org/10.1016/j.laa.2005.11.008 doi: 10.1016/j.laa.2005.11.008
![]() |
[12] | H. Myšková, An iterative algorithm for testing solvability of max-min interval systems, Kybernetika, 48 (2012), 879–889. |
[13] | H. Myšková, On an algorithm for testing T4 solvability of max-min interval systems, Kybernetika, 48 (2012), 924–938. |
[14] |
H. Myšková, Interval max-plus systems of linear equations, Linear Algebra Appl., 437 (2012), 1992–2000. https://doi.org/10.1016/j.laa.2012.04.051 doi: 10.1016/j.laa.2012.04.051
![]() |
[15] |
J. Plavka, On eigenproblem for circulant matrices in max-algebra, Optimization, 50 (2001), 477–483. https://doi.org/10.1080/02331930108844576 doi: 10.1080/02331930108844576
![]() |
[16] | E. Sanchez, Medical diagnosis and composite advances, In: Fuzzy set theory and applications, 1979,437–444. |
[17] | Y. Tsukamoto, T. Terano, Failure diagnosis by using fuzzy logic, In: 1977 IEEE conference on decision and control including the 16th symposium on adaptive processes and a special symposium on fuzzy set theory and applications, New Orleans, 1977, 1390–1395. https://doi.org/10.1109/CDC.1977.271521 |
[18] | N. N. Vorobjov, Extremal algebra of positive matrices, Elektronische Datenverarbeitung und Kybernetik, 3 (1967), 39–71. |
[19] |
Y. K. Wu, S. M. Guu, Minimizing a linear function under a fuzzy max-min relational equation constraint, Fuzzy Set. Syst., 150 (2005), 147–162. https://doi.org/https://doi.org/10.1016/j.fss.2004.09.010 doi: 10.1016/j.fss.2004.09.010
![]() |
[20] | L. A. Zadeh, Toward a theory of max-min systems, In: Aspects of network and systems theory, 1971. |
[21] | K. Zimmermann, Extremální algebra (in Czech), 1976. |
1. | Sayedali Mostofizadeh, Kong Fah Tee, Static and Seismic Responses of Eco-Friendly Buried Concrete Pipes with Various Dosages of Fly Ash, 2021, 11, 2076-3417, 11700, 10.3390/app112411700 | |
2. | Kong Fah Tee, Sayedali Mostofizadeh, Soil–pipe interaction and structural response under static and seismic loading for geopolymer concrete pipes, 2024, 9, 2364-4176, 10.1007/s41062-023-01357-6 | |
3. | Grzegorz Ludwik Golewski, Mechanical properties and brittleness of concrete made by combined fly ash, silica fume and nanosilica with ordinary Portland cement, 2023, 10, 2372-0484, 390, 10.3934/matersci.2023021 | |
4. | Jia Jun Yee, Sheh Ching Khong, Kong Fah Tee, Gimbun Jolius, Siew Choo Chin, Spent coffee grounds enhanced compressive strength of cement mortar: an optimization study, 2024, 6, 3004-9261, 10.1007/s42452-024-06077-9 |