Next Article in Journal
The Boundary Integral Equation for Kinetically Limited Dendrite Growth
Next Article in Special Issue
Quantum Chromodynamics and the Hyperbolic Unitary Group SUh(3)
Previous Article in Journal
Application of Migrating Optimization Algorithms in Problems of Optimal Control of Discrete-Time Stochastic Dynamical Systems
Previous Article in Special Issue
“Computational Mathematics and Mathematical Physics”—Editorial I (2021–2023)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Congruence Representations via Soft Ideals in Soft Topological Spaces

by
Zanyar A. Ameen
1,* and
Mesfer H. Alqahtani
2
1
Department of Mathematics, College of Science, University of Duhok, Duhok 42001, Iraq
2
Department of Mathematics, University College of Umluj, University of Tabuk, Tabuk 48322, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(11), 1015; https://doi.org/10.3390/axioms12111015
Submission received: 21 September 2023 / Revised: 24 October 2023 / Accepted: 27 October 2023 / Published: 28 October 2023
(This article belongs to the Special Issue Computational Mathematics and Mathematical Physics)

Abstract

:
This article starts with a study of the congruence of soft sets modulo soft ideals. Different types of soft ideals in soft topological spaces are used to introduce new weak classes of soft open sets. Namely, soft open sets modulo soft nowhere dense sets and soft open sets modulo soft sets of the first category. The basic properties and representations of these classes are established. The class of soft open sets modulo the soft nowhere dense sets forms a soft algebra. Elements in this soft algebra are primarily the soft sets whose soft boundaries are soft nowhere dense sets. The class of soft open sets modulo soft sets of the first category, known as soft sets of the Baire property, is a soft σ -algebra. In this work, we mainly focus on the soft σ -algebra of soft sets with the Baire property. We show that soft sets with the Baire property can be represented in terms of various natural classes of soft sets in soft topological spaces. In addition, we see that the soft σ -algebra of soft sets with the Baire property includes the soft Borel σ -algebra. We further show that soft sets with the Baire property in a certain soft topology are equal to soft Borel sets in the cluster soft topology formed by the original one.

1. Introduction

Molodtsov [1] suggested the theory of soft sets through set-valued mappings as an important alternative to some preexisting mathematical techniques for dealing with uncertainty. Soft sets differ from probability theory, fuzzy set theory, and rough set theory in that accurate quantities such as membership grade and probability are not required. Due to the fact that in the majority of realistic scenarios, the underlying possibilities and grade of membership are not well understood enough to support the use of actual valuations, this feature makes certain applications possible. The idea of soft sets has received a lot of attention since it was first proposed, including several fruitful applications (see [2,3,4,5,6]).
A number of researchers have utilized soft set theory to numerous structures of mathematics, including soft ideal theory [7], soft group theory [8], soft ring theory [9], soft algebras, and soft σ -algebras [10,11], etc.
One of the structures is soft topology established in [12,13] as a mixture of the classical topology and soft set theory. The work of Çağman et al. [12] and Shabir and Naz [13] had a significant impact on the development of soft topology. Then, many traditional topological notions have been generalized and applied to soft set contexts, such as soft compact spaces [14], soft paracompact spaces [15], soft extremally disconnected spaces [16], soft separation axioms [13,17,18,19], soft separable spaces [17], and soft connected spaces [15].
It is known that soft open sets are the building blocks of soft topology, but other classes of soft sets can contribute to the growth of soft topology. Namely, soft ω -open [20], soft dense [21], soft codense [22], soft nowhere dense [21], and soft meager (first category soft set) [21]. A question here would be: Can we construct a scheme for defining a category of soft sets that includes the earlier classes of soft sets? The main objective of this work is to introduce the concept of congruence modulo a soft ideal in soft topological spaces, which is the property that classifies soft open sets with respect to the given soft ideal. This technique is applied to define certain weak classes of soft open sets. The class of soft sets with the Baire property is one of the classes generated by soft open sets modulo soft sets of the first category. This class is vast and contains all the above-mentioned soft sets in soft topological spaces and even soft Borel sets.
This paper contributes to the advancement of the area of soft topology by introducing the class of soft sets with the Baire property. Soft sets with the Baire property can be represented in multiple different forms. Additionally, soft sets with the Baire property lead to the growth of soft measure and soft game theories, as they are approximately soft open sets and nicely related to soft Borel sets.
The paper’s primary portion is structured as follows: In Section 2, we provide a summary of the soft set theory and soft topology literature. Section 3 presents the concept of congruence of soft sets modulo a soft ideal. In Section 4, we introduce the class of soft open sets modulo a soft ideal. We establish a result representing this class of soft open sets modulo a soft ideal. In Section 5, we study the family of soft open sets modulo soft nowhere dense sets and find some of its characterizations. Section 6 defines soft sets with the Baire property in soft topological spaces, followed by some operations. Additionally, we demonstrate some properties and representations of such soft sets. Section 7 ends the work with a brief conclusion and possible lines of research.

2. Preliminaries

Let I be any index set, β ˜ be a family that contains our parameters, and 2 X be the collection of the whole subsets of a universal set X.
Definition 1 
([1]). Let β β ˜ . A soft set is defined to be the ordered pair ( E , β ) = { ( μ , E ( μ ) ) : μ β } such that E : β 2 X is a mapping. In other word, a soft set ( E , β ) over X can be expressed by
( E , β ) = ( μ , E ( μ ) ) : μ β , E ( μ ) 2 X .
Observe that one can directly extend a soft set ( E , β ) to the soft set ( E , β ˜ ) by E ( μ ) = for each μ β ˜ β .
The set of all soft subsets over X with respect to β is symbolized by S S ( X ^ ) .
Definition 2 
([4]). Let ( E , β ) S S ( X ^ ) . A soft set ( E , β ) c = ( E c , β ) is said to be the soft complement ( E , β ) for which E c : β 2 X is a mapping that is defined by E c ( μ ) = X E ( μ ) for each μ β .
Notice that ( ( E , β ) c ) c = ( E , β ) .
Definition 3 
([23]). Let ( E , β ) S S ( X ^ ) . Then, ( E , β ) is said to be null relates to β, denoted by Φ, if E ( μ ) = for all μ β . It is absolute relates to β, denoted by X ^ , if E ( μ ) = X for all μ β .
The null and absolute soft sets relate to β ˜ are denoted by Φ β ˜ and ( X , β ˜ ) , respectively.
Evidently, Φ c = X ^ and X ^ c = Φ .
Definition 4 
([24,25]). Let ( E , β ) S S ( X ^ ) . Then, ( E , β ) is called a soft element, denoted by x μ , if E ( μ ) = { x } and F ( ν ) = for all ν β with μ ν , where μ β and x X .
The soft element is called a soft point in [26]. We prefer to use the concept of soft point in the sequel.
By a statement x μ ( E , β ) we mean x E ( μ ) . By S P ( X ^ ) , we denote the set of all soft points over X along with E.
Definition 5 
([27]). A soft set ( E , β ) is said to be finite if E ( μ ) is finite for each μ β . Otherwise, it is called infinite. The same can be said of a countable soft set.
Definition 6 
([4,28]). Let β , λ β ^ . It is said that ( E , β ) is a soft subset of ( F , λ ) , written by ( E , β ) ˜ ( F , λ ) , if β λ and E ( μ ) F ( μ ) for all μ β . And ( E , β ) is soft equal to ( F , β ) , written by ( E , β ) = ( F , λ ) , if ( E , β ) ˜ ( F , λ ) and ( F , λ ) ˜ ( E , β ) .
Definition 7 
([23,29]). Let { ( E i , β ) : i I } be a collection of soft sets over X. For all i I ,
1.
The soft union of ( E i , β ) is a soft set ( E , β ) = ˜ i I ( E i , β ) such that E ( μ ) = i I E i ( μ ) for all μ β .
2.
The soft intersection of ( E i , β ) is a soft set ( E , β ) = ˜ i I ( E i , β ) such that E ( μ ) = i I E i ( μ ) for each μ β .
Definition 8 
([23,30]). Let ( E , β ) , ( G , β ) S S ( X ^ ) .
1.
The soft set difference ( E , β ) and ( G , β ) is defined to be the soft set ( H , β ) = ( E , β ) ( G , β ) , where H ( μ ) = E ( μ ) G ( μ ) for all μ β .
2.
The soft symmetric difference of ( E , β ) and ( G , β ) is defined by ( E , β ) Δ ˜ ( G , β ) = [ ( E , β ) ( G , β ) ] ˜ [ ( G , β ) ( E , β ) ] .
In what follow, by two distinct soft points x μ , y ν , we mean either x y or μ ν , and by two disjoint soft sets ( E , β ) , ( G , β ) over X, we mean ( E , β ) ˜ ( G , β ) = Φ .
Definition 9 
([13]). A family τ ˜ S S ( X ^ ) is called a soft topology over X if
1.
Φ , X ^ τ ,
2.
( E , β ) , ( F , β ) τ implies ( E , β ) ˜ ( F , β ) τ , and
3.
{ ( E i , β ) : i I } ˜ τ implies ˜ i I ( E i , β ) τ .
By ( X , τ , β ) , we mean a soft topological space. Soft open sets are elements of τ, and their complements are called soft closed sets. By τ c , we mean the collection of all soft closed sets. The lattice of soft topologies over X is denoted by T ( X ^ ) (see, [31]).
Definition 10 
([13]). Let ( Y , β ) Φ be a soft subset of ( X , τ , β ) . Then, τ ( Y , β ) = { ( G , β ) ˜ ( Y , β ) : ( G , β ) τ } is called a relative soft topology over Y and ( Y , τ ( Y , β ) , β ) is a soft subspace of ( Y , τ , β ) .
Lemma 1 
([13]). Let ( Y , τ ( Y , β ) , β ) be a soft subspace of ( Y , τ , β ) and let ( E , β ) ˜ ( Y , β ) τ . Then, ( E , β ) τ ( Y , β ) if ( E , β ) τ .
Definition 11 
([25]). Let ( G , β ) S S ( X ^ ) and τ T ( X ^ ) . Then, ( G , β ) is called a soft neighborhood of x μ S P ( X ^ ) if there exists ( U , β ) τ ( x μ ) such that x μ ( U , β ) ˜ ( G , β ) , where τ ( x μ ) is the family of all elements of τ that contain x μ .
Definition 12 
([12]). A soft base for a soft topology τ is a subfamily B of τ that represents members of τ as unions of members of B . And τ is said to have a countable soft base if B is countable.
Definition 13 
([31]). Let C ˜ S S ( X ^ ) and T = { τ i T ( X ^ ) : C ˜ τ i , i I } . The ˜ T = ˜ i I τ i is called a soft topology generated by C and is denoted by τ C .
Lemma 2 
([13]). Let ( X , τ , β ) be a soft topological space. Then, for each μ β , the collection τ ( μ ) = { E ( μ ) : ( E , β ) τ } is a (crisp) topology on X.
Lemma 3 
([29]). Let β = { μ } , τ = { ( μ , H ( μ ) ) : H ( μ ) Y } , τ ( μ ) = { H ( μ ) : ( μ , H ( μ ) ) τ } , where Y 2 X . Then, τ is a soft topology if τ ( μ ) is a (crisp) topology on X.
Definition 14 
([13]). Let ( H , β ) S S ( X ^ ) and τ T ( X ^ ) . Then, c l ( H , β ) = ˜ { ( E , β ) : ( H , β ) ˜ ( E , β ) , ( E , β ) τ c } is the soft closure of ( H , β ) and i n t ( H , β ) = ˜ { ( E , β ) : ( E , β ) ˜ ( H , β ) , ( E , β ) τ } is the soft interior of ( H , β ) .
Lemma 4 
([32]). Let ( E , β ) S S ( X ^ ) and τ T ( X ^ ) . Then,
i n t ( ( E , β ) c ) = ( c l ( ( E , β ) ) ) c and c l ( ( E , β ) c ) = ( i n t ( ( E , β ) ) ) c .
Definition 15 
([32,33]). Let ( E , β ) S S ( X ^ ) and τ T ( X ^ ) . The soft boundary of ( E , β ) is given by b ( E , β ) = c l ( E , β ) i n t ( E , β ) .
Definition 16 
([7]). A non-null class I ˜ ˜ S S ( X ^ ) is called a soft ideal over X if I ˜ satisfies the following conditions:
1.
If ( E , β ) , ( G , β ) I ˜ , then ( E , β ) ˜ ( G , β ) I ˜ , and
2.
If ( G , β ) I ˜ and ( E , β ) ˜ ( G , β ) , then ( E , β ) I ˜ .
I ˜ is called a soft σ-ideal if (1) holds for countably many soft sets. We denote the family of soft ideals over X by I ( X ^ ) .
Definition 17 
([11,34]). A family A ˜ S S ( X ^ ) is said to be a soft algebra over X if A satisfies the following conditions:
1.
Φ A ,
2.
If ( E , β ) A , then ( E , β ) c A , and
3.
If ( E m , β ) A , for all m = 1 , 2 , , n , then ˜ m = 1 n ( E m , β ) A .
If (3) holds for countably infinite elements of A , then A is said to be a soft σ -algebra over X (see, [10]).
Definition 18 
([34]). Let C ˜ S S ( X ^ ) . The soft intersection of all soft σ-algebras over X containing C is a soft σ-algebra, and it is called the soft σ-algebra generated by C and is denoted by σ ( C ) .
Definition 19. 
Let ( E , β ) , ( G , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) is called
1.
Soft clopen [35] if ( E , β ) is both soft open and soft closed.
2.
Soft regular open [36] if i n t ( c l ( E , β ) ) = ( E , β ) .
3.
Soft dense in ( G , β ) [21,22] if ( G , β ) ˜ c l ( E , β ) .
4.
Soft codense [22] if i n t ( E , β ) = Φ .
5.
Soft G δ [22] if ( E , β ) = ˜ n = 1 ( G n , β ) , where ( G n , β ) τ .
6.
Soft F σ [22] if ( E , β ) = ˜ n = 1 ( E n , β ) , where ( E n , β ) τ c .
7.
Soft nowhere dense [21] if i n t ( c l ( E , β ) ) = Φ .
8.
Soft meager [21,37] (or of the first category) if ( E , β ) = ˜ n = 1 ( E n , β ) , where each ( E n , β ) is soft nowhere dense, otherwise ( E , β ) is of the second category.
The collection of all soft sets of the first category (resp. soft sets of the second category, soft nowhere dense sets) over X is denoted by M ( τ ) (resp. S ( τ ) , N ( τ ) ).
Remark 1 
([37]). For any soft topological space ( X , τ , β ) , M ( τ ) forms a soft σ-ideal and N ( τ ) forms a soft ideal. By C ( τ ) we mean a soft ideal of soft codense sets.
Definition 20 
([21,22]). Let ( X , τ , β ) be a soft topological space. Then, ( X , τ , β ) is said to be soft Baire whenever Φ ( G , β ) τ implies ( G , β ) M ( τ ) .
Lemma 5 
([37]). Let ( N , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( N , β ) N ( τ ) , then c l ( N , β ) N ( τ ) .
Proposition 1 
([37]). Let ( M , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( M , β ) M ( τ ) , then ( M , β ) ˜ ( E , β ) , where ( E , β ) is a soft F σ set in M ( τ ) .
Definition 21 
([38]). Let ( E , β ) S S ( X ^ ) , τ T ( X ^ ) , and I ˜ I ( X ^ ) . A soft point x μ S P ( X ^ ) is a cluster soft point of ( E , β ) if ( E , β ) ˜ ( U , β ) I ˜ for each ( U , β ) τ ( x μ ) . The set of all the cluster soft points of ( E , β ) is called the cluster soft set of ( E , β ) and is denoted by c ( τ , I ˜ ) ( E , β ) or shortly c ( E , β ) .
The family τ c ( I ˜ ) = { ( E , β ) S S ( X ^ ) : c ( ( E , β ) c ) ˜ ( E , β ) c } is a soft topology over X and is called the cluster soft topology (or soft ideal topology). The Lemma 11 and Theorem 6 in [33] guarantee that the cluster soft topology is equivalent soft τ * -topology constructed differently in [7]. We may write simply τ c instead of τ c ( I ˜ ) if there is no confusion.
Lemma 6 
([38]). Let τ T ( X ^ ) , and I ˜ I ( X ^ ) . Then,
B c ( I ˜ ) = { ( G , β ) ( P , β ) : ( G , β ) τ , ( P , β ) I ˜ }
form a base for the cluster soft topology τ c .
Definition 22 
([38]). Given τ T ( X ^ ) and I ˜ I ( X ^ ) . Then, I ˜ is called a soft adherent ideal if ( R , β ) c ( R , β ) I ˜ for each ( R , β ) S S ( X ^ ) .
Lemma 7 
([38]). If τ T ( X ^ ) has a countable soft base, then each soft σ-ideal on X is soft adherent.
Lemma 8 
([38]). Let τ T ( X ^ ) and I ˜ I ( X ^ ) . If τ has a countable soft base B and I ˜ is a soft σ-ideal, then τ c = { ( G , β ) ( P , β ) : ( G , β ) τ , ( P , β ) I ˜ } .
Lemma 9 
([38]). Let τ T ( X ^ ) , I ˜ I ( X ^ ) , and τ c be the cluster soft topology generated by τ. Then, each element of I ˜ is soft τ c -closed.
Definition 23 
([37]). Let ( E , β ) S S ( X ^ ) and τ T ( X ^ ) . It is said that ( E , β ) is of the second category at a soft point x μ S P ( X ^ ) if ( E , β ) ˜ ( U , β ) M ( τ ) for each ( U , β ) τ ( x μ ) . Otherwise, ( E , β ) is of the first category at x μ . The set of all soft points at which ( E , β ) is of the first (resp. second) category is denoted by C 1 ( E , β ) (resp. C 2 ( E , β ) ).
Remark 2. 
Given τ T ( X ^ ) , evidently, ( E , β ) S S ( X ^ ) is of the first category at soft point x μ S P ( X ^ ) if there exists ( U , β ) τ ( x μ ) such that ( E , β ) ˜ ( U , β ) M ( τ ) .
Lemma 10 
([37]). Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then, ( E , β ) M ( τ ) if C 2 ( E , β ) ˜ ( E , β ) = Φ if C 2 ( E , β ) = Φ .
Theorem 1 
([37]). Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . If ( E , β ) S ( τ ) , then ( E , β ) is of the second category at each soft point in some Φ ( G , β ) τ . Equivalently, if { ( E i , β ) : i I } ˜ S S ( X ^ ) in which ( E i , β ) M ( τ ) and ( E i , β ) τ , then ˜ i I ( E i , β ) M ( τ ) .
Lemma 11 
([37]). Let ( E , β ) , ( G , β ) S S ( X ^ ) and τ T ( X ^ ) . The following properties hold:
1.
If ( E , β ) ˜ ( G , β ) , then C 2 ( E , β ) ˜ C 2 ( G , β ) .
2.
C 2 ( ( E , β ) ˜ ( G , β ) ) ˜ C 2 ( E , β ) ˜ C 2 ( G , β ) .
3.
C 2 ( ( E , β ) ˜ ( G , β ) ) = C 2 ( E , β ) ˜ C 2 ( G , β ) .
4.
C 2 ( E , β ) C 2 ( G , β ) ˜ C 2 ( E , β ) ( G , β ) .
5.
C 2 ( E , β ) ˜ c l ( E , β ) .
6.
C 2 ( E , β ) τ c .
7.
C 2 [ C 2 ( E , β ) ] = C 2 ( E , β ) .
Lemma 12 
([37]). Let τ T ( X ^ ) and ( E , β ) , ( G , β ) S S ( X ^ ) . If ( G , β ) M ( τ ) , then C 2 [ ( E , β ) ˜ ( G , β ) ] = C 2 ( E , β ) = C 2 [ ( E , β ) ( G , β ) ] .
Lemma 13 
([37]). Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then,
1.
C 2 ( C 1 ( E , β ) ) = Φ , i.e., C 2 ( ( E , β ) C 2 ( E , β ) ) = Φ
2.
C 2 ( E , β ) = c l ( i n t ( C 2 ( E , β ) ) ) .

3. Congruence Modulo a Soft Ideal

Definition 24. 
Let ( E , β ) , ( G , β ) S S ( X ^ ) and let I ˜ I ( X ^ ) . It said that ( E , β ) is congruent to ( G , β ) modulo I ˜ , written as ( E , β ) ( G , β )   mod   I ˜ , if ( E , β ) Δ ˜ ( G , β ) I ˜ .
If there is no confusion, we may simply write ( E , β ) ( G , β ) instead of ( E , β ) ( G , β )   mod   I ˜ .
Lemma 14. 
Let ( E , β ) , ( G , β ) , ( H , β ) S S ( X ^ ) and let I ˜ I ( X ^ ) . The relation “ ” is equivalence.
Proof. 
Since ( G , β ) Δ ˜ ( G , β ) = Φ I ˜ , then ( G , β ) ( G , β ) and so “ ” is reflexive. The symmetry follows easily since ( G , β ) Δ ˜ ( E , β ) = ( E , β ) Δ ˜ ( G , β ) . Suppose ( E , β ) ( G , β ) and ( G , β ) ( H , β ) . Then, ( E , β ) Δ ˜ ( G , β ) = ( P , β ) and ( G , β ) Δ ˜ ( H , β ) = ( Q , β ) for some ( P , β ) , ( Q , β ) I ˜ . Now,
( E , β ) Δ ˜ ( H , β ) = ( E , β ) Δ ˜ ( G , β ) Δ ˜ ( G , β ) Δ ˜ ( H , β ) = ( E , β ) Δ ˜ ( G , β ) Δ ˜ ( G , β ) Δ ˜ ( H , β ) = ( P , β ) Δ ˜ ( Q , β ) ˜ ( P , β ) ˜ ( Q , β ) I ˜ .
Therefore, ( E , β ) ( H , β ) . Hence, “ ” is an equivalence relation. □
Lemma 15. 
Let ( D , β ) , ( E , β ) , ( G , β ) , ( H , β ) S S ( X ^ ) and let I ˜ I ( X ^ ) . If ( D , β ) ( E , β ) and ( G , β ) ( H , β ) , then
1.
( D , β ) ˜ ( G , β ) ( E , β ) ˜ ( H , β ) .
2.
( D , β ) ˜ ( G , β ) ( E , β ) ˜ ( H , β ) .
3.
( D , β ) ( G , β ) ( E , β ) ( H , β ) .
Proof. 
Suppose ( D , β ) ( E , β ) and ( G , β ) ( H , β ) . Then, ( D , β ) Δ ˜ ( E , β ) = ( P , β ) and ( G , β ) Δ ˜ ( H , β ) = ( Q , β ) , where ( P , β ) , ( Q , β ) I ˜ . Therefore,
( D , β ) ˜ ( G , β ) Δ ˜ ( E , β ) ˜ ( H , β ) = [ ( D , β ) ˜ ( G , β ) ] [ ( E , β ) ˜ ( H , β ) ] ˜ [ ( E , β ) ˜ ( H , β ) ] [ ( D , β ) ˜ ( G , β ) ]
After a long computation, we obtain
( D , β ) ˜ ( G , β ) Δ ˜ ( E , β ) ˜ ( H , β ) ˜ ( D , β ) Δ ˜ ( G , β ) ˜ ( E , β ) Δ ˜ ( H , β ) = ( P , β ) ˜ ( Q , β ) I ˜ .
Thus, ( D , β ) ˜ ( G , β ) ( E , β ) ˜ ( H , β ) .
The other cases can be proved similarly. □
Lemma 16. 
Let ( E n , β ) , ( G n , β ) S S ( X ^ ) , for n = 1 , 2 , 3 , , and let I ˜ I ( X ^ ) be a soft σ-ideal. If ( E n , β ) ( G n , β ) for each n, then ˜ n = 1 ( E n , β ) ˜ n = 1 ( G n , β ) .
Proof. 
It follows from Lemma 15 (1). □

4. Soft Open Sets Modulo a Soft Ideal

Definition 25. 
Let τ T ( X ^ ) , ( E , β ) S S ( X ^ ) , and I ˜ I ( X ^ ) . Then, ( E , β ) is called soft open modulo I ˜ if there exists ( G , β ) τ such that ( E , β ) is congruent to ( G , β )   mod   I ˜ , i.e., ( E , β ) ( G , β ) . Clearly ( E , β ) ( G , β ) implies ( E , β ) ( G , β ) and ( G , β ) ( E , β ) belong to I ˜ . The set of all soft open sets modulo I ˜ is denoted by B r ( X , τ , I ˜ , β ) or simply B r ( τ , I ˜ ) .
Proposition 2. 
For any τ T ( X ^ ) and I ˜ I ( X ^ ) , B r ( τ , I ˜ ) is closed under finite soft intersections and finite soft unions. Furthermore, B r ( τ , I ˜ ) is a soft algebra if τ c ˜ B r ( τ , I ˜ ) .
Proof. 
Let ( D , β ) , ( E , β ) B r ( τ , I ˜ ) . Therefore, there exists ( G , β ) , ( H , β ) τ such that ( D , β ) ( G , β ) and ( E , β ) ( H , β ) . By Lemma 15 (2), ( D , β ) ˜ ( E , β ) ( G , β ) ˜ ( H , β ) . Since ( G , β ) ˜ ( H , β ) τ , so ( D , β ) ˜ ( E , β ) B r ( τ , I ˜ ) . The case for finite soft unions is similar.
We now prove that B r ( τ , I ˜ ) is closed under soft complements. Suppose ( E , β ) B r ( τ , I ˜ ) . Then, one can find ( G , β ) τ such that ( E , β ) ( G , β ) . We need find ( H , β ) τ such that ( E , β ) c ( H , β ) . From ( E , β ) ( G , β ) , we have ( E , β ) c ( G , β ) c and since ( G , β ) c τ c ˜ B r ( τ , I ˜ ) , then there exists ( H , β ) τ such that ( G , β ) c ( H , β ) . By transitivity, we obtain that ( E , β ) c ( H , β ) and hence, ( E , β ) c B r ( τ , I ˜ ) . And the other case is clear. □
Theorem 2. 
Let τ T ( X ^ ) and I ˜ I ( X ^ ) .
1.
If N ( τ ) ˜ I ˜ , then B r ( τ , I ˜ ) is a soft algebra.
2.
If B r ( τ , C ( τ ) ) is a soft algebra, then N ( τ ) ˜ C ( τ ) .
Proof. 
(1) Suppose N ( τ ) ˜ I ˜ . Let ( E , β ) τ c . Since ( E , β ) i n t ( E , β ) N ( τ ) , so ( E , β ) i n t ( E , β ) I ˜ and therefore, ( E , β ) i n t ( E , β ) . Since i n t ( E , β ) τ , then ( E , β ) B r ( τ , I ˜ ) , by Proposition 2, B r ( τ , I ˜ ) is a soft algebra.
(2) Suppose B r ( τ , C ( τ ) ) is a soft algebra. Let ( E , β ) N ( τ ) ˜ τ c . Since ( E , β ) B r ( τ , C ( τ ) ) , then ( E , β ) ( G , β ) for some ( G , β ) τ and therefore, ( E , β ) Δ ˜ ( G , β ) C ( τ ) . This implies that ( G , β ) ( E , β ) C ( τ ) ˜ τ = { Φ } , which means that ( G , β ) ˜ i n t ( E , β ) = Φ . Thus, ( E , β ) = ( E , β ) Δ ˜ ( G , β ) C ( τ ) . Hence, N ( τ ) ˜ C ( τ ) . □

5. Soft Open Sets Modulo Soft Nowhere Dense Sets

Definition 26. 
Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then, ( E , β ) is called soft open modulo N ( τ ) if there exists ( G , β ) τ such that ( E , β ) is congruent to ( G , β ) mod N ( τ ) , i.e., ( E , β ) ( G , β ) . Clearly ( E , β ) ( G , β ) implies ( E , β ) ( G , β ) and ( G , β ) ( E , β ) belong to N ( τ ) . The set of all soft open sets modulo N ( τ ) shall be B r ( τ , N ( τ ) ) .
Lemma 17. 
Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . If ( E , β ) τ c ˜ τ , then ( E , β ) B r ( τ , N ( τ ) ) .
Proof. 
If ( E , β ) τ c , then ( E , β ) = c l ( E , β ) = i n t ( E , β ) ˜ b ( E , β ) . Clearly b ( E , β ) = ( E , β ) i n t ( E , β ) N ( τ ) . Thus, ( E , β ) B r ( τ , N ( τ ) ) .
If ( E , β ) τ , then, since ( E , β ) = ( E , β ) Φ , ( E , β ) B r ( τ , N ( τ ) ) . □
Proposition 3. 
Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then, ( E , β ) B r ( τ , N ( τ ) ) if there exists ( G , β ) τ such that ( G , β ) ˜ ( E , β ) and ( E , β ) ( G , β ) N ( τ ) .
Proof. 
Suppose ( E , β ) B r ( τ , N ( τ ) ) . Then, there exists ( H , β ) τ such that ( E , β ) Δ ˜ ( H , β ) N ( τ ) . That is, both ( E , β ) ( H , β ) and ( H , β ) ( E , β ) belong to N ( τ ) . Set ( G , β ) = ( H , β ) ˜ i n t ( E , β ) . Therefore,
( E , β ) ( G , β ) = ( ( E , β ) ( H , β ) ) ˜ ( ( E , β ) ˜ c l ( ( E , β ) c ) ) = ( ( E , β ) ( H , β ) ) ˜ ( ( H , β ) ˜ ( E , β ) ˜ c l ( ( E , β ) c ) ) ˜ ( ( E , β ) ( H , β ) ) ˜ c l ( ( H , β ) ( E , β ) ) as ( H , β ) τ .
By Lemma 5, ( E , β ) ( G , β ) N ( τ ) and obviously ( G , β ) ˜ ( E , β ) .
Conversely, suppose there exists ( G , β ) τ such that ( G , β ) ˜ ( E , β ) and ( E , β ) ( G , β ) N ( τ ) . Then, ( E , β ) = ( G , β ) ˜ [ ( E , β ) ( G , β ) ] = ( G , β ) Δ ˜ [ ( E , β ) ( G , β ) ] . Thus, ( E , β ) B r ( τ , N ( τ ) ) . □
Theorem 3. 
Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then, ( E , β ) B r ( τ , N ( τ ) ) if b ( E , β ) N ( τ ) .
Proof. 
Suppose ( E , β ) B r ( τ , N ( τ ) ) . Then, ( E , β ) = ( G , β ) ˜ ( N , β ) for some ( G , β ) τ and ( N , β ) N ( τ ) . From Lemma 4 (7) [33], we have b ( E , β ) ˜ b ( G , β ) ˜ b ( N , β ) . Since b ( G , β ) ˜ b ( N , β ) N ( τ ) , then b ( E , β ) N ( τ ) .
Conversely, let b ( E , β ) N ( τ ) . Set ( G , β ) = i n t ( E , β ) and ( N , β ) = ( E , β ) i n t ( E , β ) . Therefore, ( N , β ) ˜ b ( E , β ) . Thus, by assumption, i n t ( c l ( N , β ) ) ˜ i n t ( b ( E , β ) ) = Φ . Hence, ( N , β ) N ( τ ) . This implies that ( E , β ) = ( G , β ) Δ ˜ ( N , β ) B r ( τ , N ( τ ) ) . □

6. Soft Sets with the Baire Property

Definition 27. 
Let τ T ( X ^ ) and ( E , β ) S S ( X ^ ) . Then, ( E , β ) is called soft open modulo M ( τ ) if there exists ( G , β ) τ such that ( E , β ) is congruent to ( G , β ) mod N ( τ ) . That is, ( E , β ) ( G , β ) mod M ( τ ) , which implies ( E , β ) ( G , β ) and ( G , β ) ( E , β ) belong to M ( τ ) . The set of all soft open sets modulo M ( τ ) shall be B r ( τ , M ( τ ) ) . We call a soft open set modulo M ( τ ) a soft set with the Baire property.
Remark 3. 
[30] Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) has the Baire property if there exists ( G , β ) τ such that ( E , β ) Δ ˜ ( G , β ) M ( τ ) , equivalently, if it is of the form ( E , β ) = ( G , β ) Δ ˜ ( P , β ) , where ( G , β ) τ and ( P , β ) M ( τ ) . This follows from the fact that ( E , β ) = ( G , β ) Δ ˜ ( P , β ) if ( E , β ) Δ ˜ ( G , β ) = ( P , β ) .
Proposition 4. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if ( E , β ) = ( C , β ) Δ ˜ ( Q , β ) , where ( C , β ) τ c and ( Q , β ) M ( τ ) .
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . Then, ( E , β ) = ( G , β ) Δ ˜ ( P , β ) for some ( G , β ) τ and ( P , β ) M ( τ ) . If ( R , β ) = c l ( G , β ) ( G , β ) , then ( R , β ) N ( τ ) . Therefore, ( Q , β ) = ( R , β ) Δ ˜ ( P , β ) M ( τ ) . Set ( C , β ) = c l ( G , β ) . Then,
( E , β ) = ( G , β ) Δ ˜ ( P , β ) = ( c l ( G , β ) Δ ˜ ( R , β ) ) Δ ˜ ( P , β ) = c l ( G , β ) Δ ˜ ( ( R , β ) Δ ˜ ( P , β ) ) = ( C , β ) Δ ˜ ( Q , β ) .
Conversely, suppose ( E , β ) = ( C , β ) Δ ˜ ( Q , β ) , where ( C , β ) τ c and ( Q , β ) M ( τ ) . Set ( G , β ) = i n t ( C , β ) . Then, ( R , β ) = ( C , β ) ( G , β ) N ( τ ) and so ( P , β ) = ( Q , β ) Δ ˜ ( R , β ) .
Therefore,
( E , β ) = ( C , β ) Δ ˜ ( Q , β ) = ( ( G , β ) Δ ˜ ( R , β ) ) Δ ˜ ( Q , β ) = ( G , β ) Δ ˜ ( ( R , β ) Δ ˜ ( Q , β ) ) = ( G , β ) Δ ˜ ( P , β ) .
The proof is finished. □
Proposition 5. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ , M ( τ ) ) , then ( E , β ) c B r ( τ , M ( τ ) ) .
Proof. 
Suppose ( E , β ) B r ( τ , M ( τ ) ) . Then, ( E , β ) = ( G , β ) Δ ˜ ( P , β ) for some ( G , β ) τ and ( P , β ) M ( τ ) . Now,
( E , β ) c = ( ( G , β ) Δ ˜ ( P , β ) ) c = [ ( ( G , β ) ( P , β ) ) ˜ ( ( P , β ) ( G , β ) ) ] c = [ ( ( G , β ) ˜ ( P , β ) ) ( ( G , β ) ˜ ( P , β ) ) ] c = [ ( ( G , β ) ˜ ( P , β ) ) ˜ ( ( G , β ) ˜ ( P , β ) ) c ] c = ( ( G , β ) ˜ ( P , β ) ) c ˜ ( ( G , β ) ˜ ( P , β ) ) = ( ( G , β ) c ˜ ( P , β ) c ) ˜ ( ( G , β ) ˜ ( P , β ) ) = ( ( G , β ) c ˜ ( P , β ) ) ˜ ( ( G , β ) ˜ ( P , β ) c ) = ( ( G , β ) c ˜ ( P , β ) ) ˜ ( ( G , β ) c ˜ ( P , β ) ) c = ( ( G , β ) c ˜ ( P , β ) ) ( ( G , β ) c ˜ ( P , β ) ) = ( G , β ) c Δ ˜ ( P , β ) .
By Proposition 4, ( E , β ) c B r ( τ , M ( τ ) ) . □
Proposition 6. 
Let ( E n , β ) S S ( X ^ ) , for n = 1 , 2 , , and let τ T ( X ^ ) . If ( E n , β ) B r ( τ , M ( τ ) ) , then ˜ n = 1 ( E n , β ) B r ( τ , M ( τ ) ) .
Proof. 
It follows from Lemmas 15 and 16. □
Theorem 4. 
For any τ T ( X ^ ) , B r ( τ , M ( τ ) ) constitutes a soft σ-algebra over X. Furthermore, B r ( τ , M ( τ ) ) is the soft σ-algebra generated by τ together with M ( τ ) .
Proof. 
Obviously, Φ B r ( τ , M ( τ ) ) . Propositions 5 and 6 prove that B r ( τ , M ( τ ) ) is a soft σ -algebra. On the other hand, suppose B r * ( X , τ , I ˜ , β ) is the soft σ -algebra generated by τ and I ˜ = M ( τ ) . Let ( E , β ) B r ( τ , M ( τ ) ) . Then, ( E , β ) = ( G , β ) Δ ˜ ( P , β ) for some ( G , β ) τ and ( P , β ) M ( τ ) . Hence, B r ( τ , M ( τ ) ) ˜ B r * ( X , τ , I ˜ , β ) . For the reverse of the inclusion, since Φ is both in τ and M ( τ ) , so each soft open or soft set of the first category ( E , β ) can be written as ( E , β ) = ( E , β ) Δ ˜ Φ . Therefore, ( E , β ) B r ( τ , M ( τ ) ) and thus B r * ( X , τ , I ˜ , β ) ˜ B r ( τ , M ( τ ) ) . Hence, B r * ( X , τ , I ˜ , β ) = B r ( τ , M ( τ ) ) . □
Proposition 7. 
Let ( E , β ) , ( Y , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ , M ( τ ) ) , then ( E , β ) ˜ ( Y , β ) B r ( τ ( Y , β ) , N ( Y , β ) ) .
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . Then, ( E , β ) = [ ( G , β ) ( P , β ) ] ˜ ( Q , β ) , where ( G , β ) τ and ( P , β ) , ( Q , β ) M ( τ ) . Therefore, ( E , β ) ˜ ( Y , β ) = [ ( ( G , β ) ˜ ( Y , β ) ) ( ( P , β ) ˜ ( Y , β ) ) ] ˜ ( ( Q , β ) ˜ ( Y , β ) ) . Evidently, ( G , β ) ˜ ( Y , β ) τ ( Y , β ) and ( P , β ) ˜ ( Y , β ) , ( P , β ) ˜ ( Y , β ) M ( τ ( Y , β ) ) . Thus, ( E , β ) ˜ ( Y , β ) B r ( τ ( Y , β ) , N ( Y , β ) ) . □
Proposition 8. 
Let ( E , β ) , ( Y , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ ( Y , β ) , N ( Y , β ) ) and ( Y , β ) B r ( τ , M ( τ ) ) , then ( E , β ) B r ( τ , M ( τ ) ) .
Proof. 
Let ( E , β ) B r ( τ ( Y , β ) , N ( Y , β ) ) . Then, ( E , β ) = ( G , β ) ˜ ( P , β ) , where ( G , β ) is a soft G δ set in ( Y , β ) and ( P , β ) M ( τ ( Y , β ) ) . By definition, ( G , β ) = ( H , β ) ˜ ( Y , β ) for some soft G δ set ( H , β ) over X. By Theorem 4, ( E , β ) B r ( τ , M ( τ ) ) . Also, one can see that ( P , β ) M ( τ ) . Consequently, ( E , β ) = ( G , β ) ˜ ( P , β ) B r ( τ , M ( τ ) ) . □
Proposition 9. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if ( E , β ) = [ ( G , β ) ( P , β ) ] ˜ ( Q , β ) , where ( G , β ) τ and ( P , β ) , ( Q , β ) M ( τ ) .
Proof. 
Suppose ( E , β ) B r ( τ , M ( τ ) ) . Then, by Remark 3, there exists ( G , β ) τ such that ( E , β ) ( G , β ) and ( G , β ) ( E , β ) are in M ( τ ) . Set ( P , β ) = ( G , β ) ( E , β ) and ( Q , β ) = ( E , β ) ( G , β ) , we have that ( E , β ) = [ ( G , β ) ( P , β ) ] ˜ ( Q , β ) .
Conversely, suppose ( E , β ) = [ ( G , β ) ( P , β ) ] ˜ ( Q , β ) for some ( G , β ) τ and ( P , β ) , ( Q , β ) M ( τ ) . Therefore, ( E , β ) ( G , β ) ˜ ( Q , β ) and ( G , β ) ( E , β ) ˜ ( P , β ) . By Remark 3, it follows that ( E , β ) B r ( τ , M ( τ ) ) . □
Proposition 10. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if ( E , β ) = [ ( D , β ) ( R , β ) ] ˜ ( S , β ) , where ( D , β ) τ c and ( R , β ) , ( S , β ) M ( τ ) .
Proof. 
It follows from Propositions 4 and 9. □
Proposition 11. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if ( E , β ) = ( H , β ) ˜ ( R , β ) , where ( H , β ) is a soft G δ set and ( R , β ) M ( τ ) .
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . By the definition, ( E , β ) = ( G , β ) Δ ˜ ( P , β ) for some ( G , β ) τ and ( P , β ) M ( τ ) . By Proposition 1, ( P , β ) is a soft subset of some soft F σ set of the first category ( Q , β ) , say. Put ( H , β ) = ( G , β ) ( Q , β ) . Clearly, ( H , β ) is a soft G δ set. Now, we have
( E , β ) = ( G , β ) Δ ˜ ( P , β ) = [ ( G , β ) ( Q , β ) ] Δ ˜ [ ( G , β ) ˜ ( Q , β ) ] Δ ˜ [ ( P , β ) Δ ˜ ( Q , β ) ] = ( H , β ) Δ ˜ [ ( G , β ) Δ ˜ ( P , β ) ] ˜ ( Q , β ) .
Set ( R , β ) = ( G , β ) Δ ˜ ( P , β ) ] ˜ ( Q , β ) . Since ( Q , β ) M ( τ ) and ( R , β ) ˜ ( Q , β ) , so ( R , β ) M ( τ ) . Additionally, ( H , β ) and ( R , β ) are disjoint. Thus, ( E , β ) = ( H , β ) ˜ ( R , β ) , where ( H , β ) is a soft G δ set and ( R , β ) M ( τ ) .
Conversely, if ( E , β ) = ( H , β ) ˜ ( R , β ) , for some soft G δ set ( H , β ) and ( R , β ) M ( τ ) , by Theorem 4, ( E , β ) B r ( τ , M ( τ ) ) . □
Proposition 12. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if ( E , β ) = ( D , β ) ( Q , β ) , where ( D , β ) is a soft F σ set and ( Q , β ) M ( τ ) .
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . By Proposition 5, ( E , β ) c B r ( τ , M ( τ ) ) . Therefore, by Proposition 11, ( E , β ) c = ( H , β ) ˜ ( P , β ) , for some soft G δ set ( H , β ) and ( P , β ) M ( τ ) . Thus, ( E , β ) = ( H , β ) c ( P , β ) . Set ( H , β ) c = ( D , β ) and ( P , β ) = ( Q , β ) .
Conversely, since B r ( τ , M ( τ ) ) is a soft σ -algebra containing all soft F σ sets and all ( P , β ) M ( τ ) , hence, the conclusion follows. □
Lemma 18. 
Let ( G , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( G , β ) τ , then it can be written as ( G , β ) = ( H , β ) c l ( N , β ) , where ( H , β ) is soft regular open and ( N , β ) N ( τ ) .
Proof. 
Let ( H , β ) = i n t ( c l ( G , β ) ) and ( N , β ) = ( H , β ) ( G , β ) . Then, ( H , β ) is soft regular open and ( N , β ) N ( τ ) . If ( G , β ) = ( H , β ) ( N , β ) , then c l ( N , β ) ˜ c l ( H , β ) ( G , β ) . Therefore, ( G , β ) = ( G , β ) ˜ ( H , β ) = ( H , β ) [ c l ( H , β ) ( G , β ) ] ˜ ( H , β ) c l ( N , β ) . On the other hand, we always have ( H , β ) c l ( N , β ) ˜ ( H , β ) ( N , β ) = ( G , β ) . Thus, ( G , β ) = ( H , β ) c l ( N , β ) . □
Proposition 13. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ , M ( τ ) ) , then it can be written as ( E , β ) = ( H , β ) Δ ˜ ( Q , β ) , where ( H , β ) is soft regular open and ( Q , β ) M ( τ ) . Moreover, if ( X , τ , β ) is a soft Baire space, such a representation is unique.
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . Then, ( E , β ) = ( G , β ) Δ ˜ ( P , β ) , where ( G , β ) τ and ( Q , β ) M ( τ ) . By Lemma 18, ( G , β ) = ( H , β ) c l ( N , β ) , where ( H , β ) is soft regular open and ( N , β ) N ( τ ) . Now,
( E , β ) = ( G , β ) Δ ˜ ( P , β ) = [ ( H , β ) c l ( N , β ) ] Δ ˜ ( P , β ) = [ ( H , β ) c l ( N , β ) ( P , β ) ] ˜ ( P , β ) [ ( H , β ) c l ( N , β ) ] = ( H , β ) [ ( P , β ) ˜ c l ( N , β ) ] ˜ [ ( P , β ) c l ( N , β ) ] ( H , β )
Set ( Q , β ) = ( P , β ) c l ( N , β ) . Obviously, ( Q , β ) M ( τ ) . Therefore,
( E , β ) = [ ( H , β ) ( Q , β ) ] ˜ [ ( Q , β ) ( H , β ) ] = ( H , β ) Δ ˜ ( Q , β ) .
We now prove that this representation is unique. Assume ( H , β ) Δ ˜ ( Q , β ) = ( G , β ) Δ ˜ ( P , β ) , where ( H , β ) is soft regular open, ( G , β ) τ , and ( Q , β ) , ( P , β ) M ( τ ) . Then, ( G , β ) c l ( H , β ) ˜ ( G , β ) Δ ˜ ( H , β ) = ( P , β ) Δ ˜ ( Q , β ) . This means that ( G , β ) c l ( H , β ) is a soft open set of the first category. Since ( X , τ , β ) is soft Baire, so we must have ( G , β ) c l ( H , β ) = Φ . Therefore, ( G , β ) ˜ c l ( H , β ) and hence, ( G , β ) ˜ i n t ( c l ( H , β ) ) = ( H , β ) . Thus, in this representation, soft regular open is larger than soft open, and each soft regular open is a soft open set. On the other hand, if both ( G , β ) , ( H , β ) are soft regular open, then we have ( G , β ) ˜ ( H , β ) and ( H , β ) ˜ ( G , β ) . Thus, ( G , β ) = ( H , β ) and ( P , β ) = ( Q , β ) . □
Proposition 14. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if there exists ( M , β ) M ( τ ) such that ( E , β ) ( M , β ) is soft clopen in ( M , β ) c .
Proof. 
Let ( E , β ) B r ( τ , M ( τ ) ) . By Propositions 9 and 10, ( E , β ) = [ ( G , β ) ( P , β ) ] ˜ ( Q , β ) = [ ( D , β ) ( R , β ) ] ˜ ( S , β ) , where ( G , β ) τ , ( D , β ) τ c , and ( P , β ) , ( Q , β ) , ( R , β ) , ( S , β ) M ( τ ) . Set ( M , β ) = ( P , β ) ˜ ( Q , β ) ˜ ( R , β ) ˜ ( S , β ) . Then, ( E , β ) ( M , β ) = ( G , β ) ( M , β ) = ( D , β ) ( M , β ) . This proves that ( E , β ) ( M , β ) is a soft clopen set in ( M , β ) c .
Conversely, suppose there exists ( M , β ) M ( τ ) such that ( E , β ) ( M , β ) is soft clopen in ( M , β ) c . Put ( E , β ) ( M , β ) = ( G , β ) ˜ ( M , β ) c for some soft clopen over X. Evidently, ( E , β ) = ( G , β ) Δ ˜ ( M , β ) and hence, ( E , β ) B r ( τ , M ( τ ) ) . □
Proposition 15. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if C 2 ( E , β ) ( E , β ) M ( τ ) .
Proof. 
Assume ( E , β ) B r ( τ , M ( τ ) ) . If ( E , β ) M ( τ ) , by Lemma 10, C 2 ( E , β ) ( E , β ) M ( τ ) . On the other hand, assume ( E , β ) S ( τ ) . Suppose, otherwise that, C 2 ( E , β ) ( E , β ) S ( τ ) . By Theorem 1, C 2 ( E , β ) ( E , β ) is of the second category in some nun-null soft open ( G , β ) . Since C 2 ( E , β ) ˜ ( G , β ) S ( τ ) , then there exists a soft point x μ S P ( X ^ ) such that x μ C 2 ( E , β ) ˜ ( G , β ) . Since ( G , β ) τ ( x μ ) , so ( E , β ) ˜ ( G , β ) M ( τ ) . Since C 2 ( E , β ) ( E , β ) is of the second category in ( G , β ) and C 2 ( E , β ) ( E , β ) ˜ ( E , β ) c implies ( E , β ) c is of the second category in ( G , β ) . But ( G , β ) ( E , β ) c = ( G , β ) ˜ ( E , β ) M ( τ ) , which is a contradiction. Hence, C 2 ( E , β ) ( E , β ) M ( τ ) .
Conversely, assume C 2 ( E , β ) ( E , β ) M ( τ ) . Consider
( E , β ) = [ C 2 ( E , β ) ( C 2 ( E , β ) ( E , β ) ) ] ˜ [ ( E , β ) C 2 ( E , β ) ] .
Since ( P , β ) = C 2 ( E , β ) ( E , β ) , ( Q , β ) = ( E , β ) C 2 ( E , β ) are in M ( τ ) and C 2 ( E , β ) τ c (by Lemma 11), then ( E , β ) B r ( τ , M ( τ ) ) from Proposition 10. □
Proposition 16. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . Then, ( E , β ) B r ( τ , M ( τ ) ) if C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) N ( τ ) .
Proof. 
Suppose ( E , β ) B r ( τ , M ( τ ) ) . By Proposition 9, ( E , β ) = ( ( G , β ) ( P , β ) ) ˜ ( Q , β ) , where ( G , β ) τ and ( P , β ) , ( Q , β ) M ( τ ) . By Proposition 5, ( E , β ) c = ( G , β ) c ( Q , β ) ˜ [ ( P , β ) ( Q , β ) ] is also in M ( τ ) . By Lemma 12, C 2 ( E , β ) = C 2 ( G , β ) and C 2 ( ( E , β ) c ) = C 2 ( ( G , β ) c ) . By Lemma 11, C 2 ( G , β ) ˜ c l ( G , β ) and C 2 ( ( G , β ) c ) ˜ c l ( ( G , β ) c ) . Therefore, we obtain that
C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) ˜ c l ( G , β ) ˜ c l ( ( G , β ) c ) = c l ( G , β ) ( G , β ) .
Since c l ( G , β ) ( G , β ) N ( τ ) , so C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) N ( τ ) .
Conversely, assume ( E , β ) B r ( τ , M ( τ ) ) . Let ( G , β ) τ such that for each ( H , β ) τ with Φ ( H , β ) ˜ ( G , β ) , ( E , β ) ˜ ( H , β ) and ( E , β ) c ˜ ( H , β ) are in M ( τ ) . From the following identity
( E , β ) ˜ ( H , β ) = [ ( E , β ) ˜ C 2 ( E , β ) ˜ ( H , β ) ] ˜ [ ( ( E , β ) C 2 ( E , β ) ) ˜ ( H , β ) ] ,
we obtain that C 2 ( E , β ) ˜ ( H , β ) S ( τ ) . Since ( H , β ) we chosen arbitrarily, so C 2 ( E , β ) S ( τ ( G , β ) ) . Therefore, ( G , β ) C 2 ( E , β ) M ( τ ) . By the same reason, ( G , β ) C 2 ( ( E , β ) c ) M ( τ ) . Now,
( G , β ) = [ ( G , β ) ˜ C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) ] ˜ [ ( G , β ) C 2 ( E , β ) ] ˜ [ C 2 ( E , β ) ˜ ( ( G , β ) C 2 ( ( E , β ) c ) ) ] ˜ [ ( ( G , β ) C 2 ( E , β ) ) ˜ ( ( G , β ) C 2 ( ( E , β ) c ) ) ] .
From the above equation, one can see that ( G , β ) ˜ C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) S ( τ ) . Thus, C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) cannot be in N ( τ ) . □
Summing up all the above findings regarding soft sets with the Baire property yields the following conclusion:
Theorem 5. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . The following properties are equivalent:
1.
( E , β ) B r ( τ , M ( τ ) ) .
2.
If ( E , β ) = ( H , β ) Δ ˜ ( P , β ) , where ( H , β ) is soft regular open and ( P , β ) M ( τ ) .
3.
If ( E , β ) = ( C , β ) Δ ˜ ( Q , β ) , where ( C , β ) τ c and ( Q , β ) M ( τ ) .
4.
If ( E , β ) = [ ( D , β ) ( R , β ) ] ˜ ( S , β ) , where ( D , β ) τ c and ( R , β ) , ( S , β ) M ( τ ) .
5.
If ( E , β ) = [ ( G , β ) ( M , β ) ] ˜ ( N , β ) , where ( G , β ) τ and ( M , β ) , ( N , β ) M ( τ ) .
6.
If ( E , β ) = ( U , β ) ˜ ( L , β ) , where ( U , β ) is a soft G δ set and ( L , β ) M ( τ ) .
7.
If ( E , β ) = ( W , β ) ( T , β ) , where ( W , β ) is a soft F σ set and ( T , β ) M ( τ ) .
8.
If there exists ( V , β ) M ( τ ) such that ( E , β ) ( V , β ) is soft clopen in ( V , β ) c .
9.
C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) N ( τ ) .
10.
C 2 ( E , β ) ( E , β ) M ( τ ) .
Proposition 17. 
Let ( E , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ , M ( τ ) ) such that no soft point x μ S P ( X ^ ) belongs to C 1 ( E , β ) , Then, ( E , β ) c M ( τ ) .
Proof. 
( E , β ) B r ( τ , M ( τ ) ) such that it not of the first category at any x μ . This means that C 2 ( E , β ) = X ^ . By Theorem 5 (9), C 2 ( ( E , β ) c ) N ( τ ) , i.e., i n t ( c l ( C 2 ( ( E , β ) c ) ) ) = Φ . On the other hand, by Lemma 13 (2), i n t ( c l ( C 2 ( ( E , β ) c ) ) ) = C 2 ( ( E , β ) c ) . The latter statements imply that C 2 ( ( E , β ) c ) = Φ . By Lemma 10, ( E , β ) c M ( τ ) . □
Proposition 18. 
Let ( E , β ) , ( G , β ) S S ( X ^ ) and let τ T ( X ^ ) . If ( E , β ) B r ( τ , M ( τ ) ) and disjoint with ( G , β ) , then i n t ( C 2 ( E , β ) ) ˜ i n t ( C 2 ( G , β ) ) = Φ .
Proof. 
Suppose ( E , β ) B r ( τ , M ( τ ) ) . Since ( E , β ) ˜ ( G , β ) = Φ , so ( G , β ) ˜ ( E , β ) c . By Lemma 11, C 2 ( G , β ) ˜ C 2 ( ( E , β ) c ) . Therefore, C 2 ( G , β ) ˜ C 2 ( E , β ) ˜ C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) . By Proposition 16, C 2 ( E , β ) ˜ C 2 ( ( E , β ) c ) N ( τ ) . Thus, i n t ( C 2 ( E , β ) ) ˜ i n t ( C 2 ( G , β ) ) = Φ . □
Definition 28. 
Let τ T ( X ^ ) . The soft σ-algebra generated by τ is called a soft Borel σ-algebra and is denoted by B ( τ ) . Members of B ( τ ) are called soft Borel sets.
By Theorems 4 and 5, B r ( τ , M ( τ ) ) includes τ , τ c , all soft G δ sets, all soft F σ sets, N ( τ ) , C ( τ ) , and M ( τ ) . Consequently, B ( τ ) ˜ B r ( τ , M ( τ ) ) . That is, each soft Borel set is a soft set of the Baire property. The converse is not true in general. By Lemma 3, we can recall an example in classical topology. It is known that there are infinitely many subsets of the Cantor set that are not Borel. Any of such sets can be regarded as a soft set, which serves as a counterexample; for more details, see [39].
Theorem 6. 
Let τ T ( X ^ ) . If τ has a countable soft base, then B r ( τ , M ) = B ( τ c ( M ) ) , where M = M ( τ ) .
Proof. 
Let τ T ( X ^ ) have a countable soft base. Since M is a soft σ -ideal, by Lemma 7, soft open set with respect to τ c ( M ) are of the form ( G , β ) ( P , β ) , where ( G , β ) τ and ( P , β ) M and soft closed set with respect to τ c ( M ) are of the form ( D , β ) ( Q , β ) , where ( D , β ) τ and ( Q , β ) M . Therefore, τ c ( M ) ˜ B r ( τ , M ) . Since B ( τ c ( M ) ) is the smallest soft σ -algebra containing τ c ( M ) , so B ( τ c ( M ) ) ˜ B r ( τ , M ) .
Conversely, let ( E , β ) B r ( τ , M ) . By Proposition 10, ( E , β ) = [ ( D , β ) ( P , β ) ] ˜ ( Q , β ) , where ( G , β ) τ and ( P , β ) , ( Q , β ) M . Now, we have
( E , β ) = [ ( D , β ) ˜ ( Q , β ) ] ˜ [ ( P , β ) c ˜ ( Q , β ) ] .
Clearly, ( D , β ) ˜ ( Q , β ) is soft τ c ( M ) -closed. On the other hand, ( P , β ) c ˜ ( Q , β ) is soft τ c ( M ) -open since [ ( P , β ) c ˜ ( Q , β ) ] c = ( P , β ) ˜ ( Q , β ) c M and by Lemma 9, [ ( P , β ) c ˜ ( Q , β ) ] c is soft τ c ( M ) -closed. Since B ( τ c ( M ) ) contains all soft τ c ( M ) -open and soft τ c ( M ) -closed set, and is closed under finite soft intersections, hence ( E , β ) B ( τ c ( M ) ) . Thus, B r ( τ , M ) ˜ B ( τ c ( M ) ) . Consequently, B r ( τ , M ) = B ( τ c ( M ) ) . □
This mission is completed by the diagram at the end of this work, which displays the relationships between the previously mentioned soft sets. We encourage that the reader compare Figure 1 here with Figure 1 in [40].
Generally, none of the arrows in Figure 1 is reversible, it is shown in the following example:
Example 1. 
Let R be the set of real numbers and β be a set of parameters. Let τ be the soft topology on R generated by { ( μ , E ( μ ) ) : E ( μ ) = ( t , s ) ; t , s R ; t < s , μ β } . The soft set ( H , β ) = { ( μ , ( 1 , 0 ) ( 0 , 1 ) { 2 } ) : μ β } is a soft open set modulo soft nowhere dense but neither soft open, soft closed, nor soft nowhere dense. While ( G , β ) = { ( μ , R Q ) : μ β } is a soft set with the Baire property but not soft open set modulo soft nowhere dense.

7. Conclusions and Future Work

The continuous launch of new classes of topological spaces, examples, properties, and relations has aided in the advancement of topology. As a result, it is necessary to similarly broaden the area of soft topology. By analyzing particular kinds of soft sets in soft topological spaces, we have made a novel contribution to the subject of soft topology. The research begins by recalling several essential conclusions and procedures for certain classes of soft sets in soft topological spaces. We have proposed the concept of congruence of soft sets modulo a soft ideal. By applying different types of soft ideals in soft topological spaces in this representation, we have defined classes of soft open sets modulo soft ideals. In particular, we have defined soft open sets modulo soft of soft nowhere dense sets and soft open sets modulo soft sets of the first category (known as soft sets with the Baire property). The first class forms a soft algebra, and the last one forms a soft σ -algebra. The soft σ -algebra of soft sets with the Baire property is identical to the soft σ -algebra generated by soft open sets and soft sets of the first category. The operations on elements of this soft σ -algebra are discussed, like restriction to a soft subspace or transferring from a soft subspace to a soft topological space. A characterization of soft sets with the Baire property is demonstrated, which asserts that a soft set with the Baire property can be represented via soft closed, soft clopen relative, soft G δ , soft F σ , and soft regular open with the soft set(s) of the first category in various different ways. Then, we have proved that each soft Borel set is a soft set with the Baire property. On the other hand, there are soft sets with the Baire property that are not soft Borel. However, we have found two different soft topologies for which soft sets with the Baire property and soft Borel sets are identical. Namely, if τ is a soft topology over X with a countable soft base and τ c ( M ) is the cluster soft topology generated by τ and the soft σ -ideal M = M ( τ ) , then the soft σ -algebra of soft sets with the Baire property in τ is similar to the soft Borel σ -algebra of τ c ( M ) , i.e., B r ( τ , M ) = B ( τ c ( M ) ) .
The conclusions in this article are preliminary, and more study will be necessary. These findings can be seen as the foundation for researching new topics of soft topology (see [40]). Also, the obtained results are essential for the growth of soft measure theory. In particular, one can use soft sets of the first category to study the duality (similarity) between soft measure and soft category. Another aspect of this accomplishment is beneficial to the advancement of soft game theory. More precisely, on a specific soft topological space, the determinacy of the Banach-Mazur game can be studied.

Author Contributions

Conceptualization, Z.A.A. and M.H.A.; Methodology, Z.A.A.; Formal Analysis, Z.A.A. and M.H.A.; Investigation, Z.A.A. and M.H.A.; Writing—Original Draft Preparation, Z.A.A.; Writing—Review and Editing, Z.A.A. and M.H.A.; Funding Acquisition, M.H.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Molodtsov, D. Soft set theory—First results. Comput. Math. Appl. 1999, 37, 19–31. [Google Scholar] [CrossRef]
  2. Dalkılıç, O.; Demirtaş, N. Algorithms for COVID-19 outbreak using soft set theory: Estimation and application. Soft Comput. 2022, 27, 3203–3211. [Google Scholar] [CrossRef] [PubMed]
  3. Maji, P.; Roy, A.R.; Biswas, R. An application of soft sets in a decision making problem. Comput. Math. Appl. 2002, 44, 1077–1083. [Google Scholar] [CrossRef]
  4. Pei, D.; Miao, D. From soft sets to information systems. In Proceedings of the 2005 IEEE International Conference on Granular Computing, Beijing, China, 25–27 July 2005; IEEE: New York, NY, USA, 2005; Volume 2, pp. 617–621. [Google Scholar]
  5. Yuksel, S.; Dizman, T.; Yildizdan, G.; Sert, U. Application of soft sets to diagnose the prostate cancer risk. J. Inequal. Appl. 2013, 2013, 229. [Google Scholar] [CrossRef]
  6. Maharana, M.; Mohanty, D. An application of soft set theory in decision making problem by parameterization reduction. Soft Comput. 2021, 25, 3989–3992. [Google Scholar] [CrossRef]
  7. Kandil, A.; AE Tantawy, O.; A El-Sheikh, S.; M Abd El-latif, A. Soft ideal theory soft local function and generated soft topological spaces. Appl. Math. Inf. Sci. 2014, 8, 1595–1603. [Google Scholar] [CrossRef]
  8. Aktaş, H.; Çağman, N. Soft sets and soft groups. Inf. Sci. 2007, 177, 2726–2735. [Google Scholar] [CrossRef]
  9. Acar, U.; Koyuncu, F.; Tanay, B. Soft sets and soft rings. Comput. Math. Appl. 2010, 59, 3458–3463. [Google Scholar] [CrossRef]
  10. Khameneh, A.Z.; Kilicman, A. On soft σ-algebras. Malays. J. Math. Sci. 2013, 7, 17–29. [Google Scholar]
  11. Riaz, M.; Naeem, K.; Ahmad, M.O. Novel concepts of soft sets with applications. Ann. Fuzzy Math. Inform. 2017, 13, 239–251. [Google Scholar] [CrossRef]
  12. Çağman, N.; Karataş, S.; Enginoglu, S. Soft topology. Comput. Math. Appl. 2011, 62, 351–358. [Google Scholar] [CrossRef]
  13. Shabir, M.; Naz, M. On soft topological spaces. Comput. Math. Appl. 2011, 61, 1786–1799. [Google Scholar] [CrossRef]
  14. Aygünoğlu, A.; Aygün, H. Some notes on soft topological spaces. Neural Comput. Appl. 2012, 21, 113–119. [Google Scholar] [CrossRef]
  15. Lin, F. Soft connected spaces and soft paracompact spaces. Int. J. Math. Comput. 2013, 7, 277–283. [Google Scholar]
  16. Asaad, B.A. Results on soft extremally disconnectedness of soft topological spaces. J. Math. Comput. Sci. 2017, 17, 448–464. [Google Scholar] [CrossRef]
  17. Bayramov, S.; Gunduz, C. A new approach to separability and compactness in soft topological spaces. TWMS J. Pure Appl. Math. 2018, 9, 82–93. [Google Scholar]
  18. Al Ghour, S. Soft regular generalized ω-closed sets and soft ω-T 1/2 spaces. Axioms 2022, 11, 529. [Google Scholar] [CrossRef]
  19. Demirtaş, N.; Dalkılıç, O.; Demirtaş, A. Separation axioms on near soft topological spaces. J. Univers. Math. 2023, 6, 227–238. [Google Scholar] [CrossRef]
  20. Al Ghour, S. Between soft θ-openness and soft ω0-openness. Axioms 2023, 12, 311. [Google Scholar] [CrossRef]
  21. Riaz, M.; Fatima, Z. Certain properties of soft metric spaces. J. Fuzzy Math. 2017, 25, 543–560. [Google Scholar]
  22. Ameen, Z.A.; Khalaf, A.B. The invariance of soft Baire spaces under soft weak functions. J. Interdiscip. Math. 2022, 25, 1295–1306. [Google Scholar] [CrossRef]
  23. Ali, M.I.; Feng, F.; Liu, X.; Min, W.K.; Shabir, M. On some new operations in soft set theory. Comput. Math. Appl. 2009, 57, 1547–1553. [Google Scholar] [CrossRef]
  24. Allam, A.; Ismail, T.H.; Muhammed, R. A new approach to soft belonging. J. Ann. Fuzzy Math. Inform. 2017, 13, 145–152. [Google Scholar] [CrossRef]
  25. Nazmul, S.; Samanta, S. Neighbourhood properties of soft topological spaces. Ann. Fuzzy Math. Inf. 2013, 6, 1–15. [Google Scholar]
  26. Xie, N. Soft points and the structure of soft topological spaces. Ann. Fuzzy Math. Inf. 2015, 10, 309–322. [Google Scholar]
  27. Das, S.; Samanta, S. Soft metric. Ann. Fuzzy Math. Inf. 2013, 6, 77–94. [Google Scholar]
  28. Maji, P.K.; Biswas, R.; Roy, A.R. Soft set theory. Comput. Math. Appl. 2003, 45, 555–562. [Google Scholar] [CrossRef]
  29. Terepeta, M. On separating axioms and similarity of soft topological spaces. Soft Comput. 2019, 23, 1049–1057. [Google Scholar] [CrossRef]
  30. Ameen, Z.A.; Al-shami, T.M.; Asaad, B.A. Further properties of soft somewhere dense continuous functions and soft Baire spaces. J. Math. Comput. Sci. 2023, 32, 54–63. [Google Scholar] [CrossRef]
  31. Al Ghour, S.; Ameen, Z.A. Maximal soft compact and maximal soft connected topologies. Appl. Comput. Intell. Soft Comput. 2022, 2022, 9860015. [Google Scholar] [CrossRef]
  32. Hussain, S.; Ahmad, B. Some properties of soft topological spaces. Comput. Math. Appl. 2011, 62, 4058–4067. [Google Scholar] [CrossRef]
  33. Azzam, A.; Ameen, Z.A.; Al-shami, T.M.; El-Shafei, M.E. Generating soft topologies via soft set operators. Symmetry 2022, 14, 914. [Google Scholar] [CrossRef]
  34. Ameen, Z.A.; Al-shami, T.M.; Abu-Gdairi, R.; Mhemdi, A. The relationship between ordinary and soft algebras with an application. Mathematics 2023, 11, 2035. [Google Scholar] [CrossRef]
  35. Al Ghour, S. Boolean algebra of soft Q-sets in soft topological spaces. Appl. Comput. Intell. Soft Comput. 2022, 2022, 5200590. [Google Scholar] [CrossRef]
  36. Yüksel, S.; Tozlu, N.; Ergül, Z.G. Soft regular generalized closed sets in soft topological spaces. Int. J. Math. Anal. 2014, 8, 355–367. [Google Scholar] [CrossRef]
  37. Ameen, Z.A.; Alqahtani, M.H. Baire category soft sets and thier symmetric local properties. Symmetry 2023, 15, 1810. [Google Scholar] [CrossRef]
  38. Ameen, Z.A.; Al Ghour, S. Cluster soft sets and cluster soft topologies. Comput. Appl. Math. 2023, 42, 337. [Google Scholar] [CrossRef]
  39. Srivastava, S.M. A Course on Borel Sets; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2008; Volume 180. [Google Scholar]
  40. Ameen, Z.A.; Alqahtani, M.H. Some classes of soft functions defined by soft open sets modulo soft sets of the first category. Mathematics 2023, 11, 4368. [Google Scholar] [CrossRef]
Figure 1. Generalized soft open sets.
Figure 1. Generalized soft open sets.
Axioms 12 01015 g001
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ameen, Z.A.; Alqahtani, M.H. Congruence Representations via Soft Ideals in Soft Topological Spaces. Axioms 2023, 12, 1015. https://doi.org/10.3390/axioms12111015

AMA Style

Ameen ZA, Alqahtani MH. Congruence Representations via Soft Ideals in Soft Topological Spaces. Axioms. 2023; 12(11):1015. https://doi.org/10.3390/axioms12111015

Chicago/Turabian Style

Ameen, Zanyar A., and Mesfer H. Alqahtani. 2023. "Congruence Representations via Soft Ideals in Soft Topological Spaces" Axioms 12, no. 11: 1015. https://doi.org/10.3390/axioms12111015

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop