Professional Documents
Culture Documents
DOI: http://dx.doi.org/10.21123/bsj.2018.15.3.0352
Abstract:
The soft sets were known since 1999, and because of their wide applications and their great flexibility
to solve the problems, we used these concepts to define new types of soft limit points, that we called soft
turning points.
Finally, we used these points to define new types of soft separation axioms and we study their properties.
Keywords: Soft compact, Soft ideal, Soft separation axioms, Soft set and Soft turning points.
Introduction:
The concept of soft sets was first presented (14) characterize the soft regular l_ closed and soft
by Molodtsov (1) in 1999 as a common numerical AI_ set and give decay of coherence in a domain
instrument for managing dubious objects. Later, in Hayashi_ Samuels space and the range soft
2011, Shabir and Naz (2) studied the soft spaces and topological space. Compact space are one of the
they characterized soft topology on the gathering of most important classes in general topological spaces
soft sets. Consequently, they defined fundamental (15,16,17). They well-know properties which use in
concepts of soft spaces, for example, soft closed set, many disciplines. Aygunoglu and Aygun (18),
soft open set, soft subspace and soft separation studied the soft compact around on a soft topology.
axioms. Zorlutuna el at. (3) introduced soft interior In this paper, we are utilized to characterize another
points, soft interior set, soft closure set and soft kind of a limit points and set up a connection
continuous function. In (4), Kharal and Ahmad gave amongst them and we characterize another sort of
the definition of mapping on soft classes and found soft separation axioms in soft ideal topological
some properties of image and inverse image of such space.
mapping. Shabir and Ahmad (5), introduced
separation axioms in the soft space that was defined Preliminaries
by Zorlutuna. While the concept of soft ideal and Through auto the proper we take Ę the
likewise soft local function were first presented at parameters of the element of universe set. Also we
(6,7). In 2014, Kandil el at. (6) presented the take the symbol ĘӼ be the union of Ę and the
concept of supra generalized closed soft sets as for negation set of Ę (ℸĘ). Now for any subset Ą of ĘӼ
via soft ideal and they found their properties. we define the soft set ƑĄ over Ӽ as
Rodyna el at. (8), presented the semi closed and
open sets modulo a soft ideal in the soft spaces. ƑĄ = {(ę, Ƒ(ę)); ę ∈ Ą , Ƒ: Ą ⟶ Ƥ(Ӽ)} .
Mustafa el at. (9), presented the soft generalized where Ƥ(Ӽ) is the power set of Ӽ .(10)
closed sets and expand this idea into soft ideal
topological spaces. In 2015 Aysequl and Goknur Definition 2.1 : (19)
(10) introduced I_ regular, I_ normal and found a The soft set ƑĄ is called the ,
squire relations between them. The properties for 1. "Null soft set" if Ƒ(ę) = φ , for all ęϵĄ , and
instance, separation axioms and compactness to obtained by 𝜑̃ .
more details (11,12). Moreover, Kanal el at. (7) That means 𝜑̃ = {(ę, φ): ę ∈ Ą} .
presented the concepts of soft normal (regular) 2. "Absolute soft set" if Ƒ(ę) = Ӽ , for allęϵĄ , and
space in view of the thoughts of soft ideals and semi obtained by Ӽ̃ .
That means Ӽ̃ = {(ę, Ӽ): ę ∈ Ą} .
open soft set .Recently, Zehra and Saziye (13)
characterize open sets and soft regular generalized
closed as for soft spaces and Yunus el at.
Definition 2.2 : (19)
Department of Mathematics, College of Education for ̃ ӃӃ(Ӽ). Then:
Pure Sciences, University of Babylon, Babylon, Iraq. ̃
Let ƑĄ , ƓĄ ∈
Corresponding author: fofo924@yahoo.com
352
Baghdad Science Journal Vol.15(3)2018
353
Baghdad Science Journal Vol.15(3)2018
354
Baghdad Science Journal Vol.15(3)2018
Let ℐ̃Ą and 𝒥̃Ą be two soft ideals over Ӽ . Then ℐ̃Ą is ̃ ℐ̃ then Ƒ ∈
̃ ̃ ̃ ̃ ̃̃ 𝒥̃ .
ƓĄ ∈ Ą Ą ̃ ℐĄ → 1. To show that ℐĄ ⊆ Ą
̃ ̃ ̃
said to be"finer then"𝒥̃Ą if and only if 𝒥̃Ą ⊆
̃ ℐ̃Ą . Any
̃ ̃
̃ ℐĄ.
Let ƊĄ ∈ Since ƊĄ ⊆ ̃ (ƑĄ ∪̃ ƓĄ ),
̃ ̃
̃ 𝒥Ą and we have ℐĄ ⊆ ̃ ̃ 𝒥Ą . But ℐ̃Ą is
̃ ̃
soft ideal over Ӽ is finer then ℐ̃ = {𝜑̃ } . A
Ą then ƊĄ ∈
non_empty soft set ƑĄ is called finite if Ą is finite on maximal soft ideal, then ℐ̃Ą ⊆
̃ 𝒥̃Ą . By (1) ƑĄ ∈
̃ ̃ ℐ̃Ą .
̃
∃ą1 , … , ą𝓃 ∈ Ą ∋ Ƒ(ąį ) ≠ φ ∀ į = 1, … , 𝓃. From 2) ⟹ 1). Let 𝒥̃ be a proper soft ideal over Ӽ and
Ą
this property we state the following theorem. ̃
ℐ̃Ą ⊆
̃ 𝒥̃Ą . To prove that 𝒥̃Ą ⊆̃
̃ ℐ̃Ą . Suppose 𝒥̃Ą ⊆̃ ℐ̃ ,
̃ Ą
then there exists ƓĄ ∈̃ ̃
̃ 𝒥Ą , such that ƓĄ ∉ ̃ ̃
̃ ℐĄ . Then
Definition 3.4.
Let ℐ̃Ą be a soft ideal over Ӽ. Then ℐ̃Ą is said to be by hypothesis Ɠ ∈
ƈ̃ ̃ ̃
̃ ℐ . But ℐ̃ ⊆
Ą Ą ̃ 𝒥̃ . So
̃
Ą Ą
"maximal soft ideal" over Ӽ if and only if ℐ̃ is not
Ą ƓĄ
ƈ̃ ̃
∈
̃
̃̃ ƓĄ ƈ ) = Ӽ̃ ∈
̃ 𝒥̃Ą . Thus (ƓĄ ∪ ̃
̃ 𝒥̃Ą . But this
contained any other soft ideal over Ӽ .
contradiction because Ӽ̃ ∉ ̃
̃ 𝒥̃Ą , so that 𝒥̃Ą ⊆
̃ ℐ̃Ą we
̃
(i. e) ℐ̃Ą is maximal soft ideal over Ӽ if and only if
for every proper soft ideal 𝒥̃ over Ӽ such that have ℐ̃Ą = 𝒥̃Ą . Therefore ℐ̃Ą is maximal soft ideal.
Ą
̃ 𝒥̃ then ℐ̃ = 𝒥̃ . 1) ⟺ 3). The prove is directly by the Definitions
ℐ̃Ą ⊆
̃ Ą Ą Ą (3.3) and (3.4).
1) ⟹ 4). Let ℐ̃Ą is maximal soft ideal over Ӽ and
Theorem 3.5.
Let Ӽ be a set. Every soft ideal over Ӽ is contained
in a maximal soft ideal over Ӽ. ̃ Ӽ̃ such that
̃
let ƑĄ , ƓĄ ∈
(Ƒ ∩ ̃̃ Ɠ ) ∈̃ ℐ̃ . If possible that Ƒ ∉
̃ ̃
̃ ℐ̃ and Ɠ
Ą Ą Ą Ą Ą Ą
Theorem 3.6. ̃ ℐ̃ . Then Ƒ ≠ Ӽ̃ and Ɠ ≠ Ӽ̃ because if Ƒ = Ӽ̃,
̃
∉ Ą Ą Ą Ą
Let Ӽ be any set and let ℐ̃Ą be soft ideal over Ӽ such ̃ ̃
then (ƑĄ ∩̃ ̃
̃ ƓĄ ) = (Ӽ ∩ ̃
̃ ƓĄ ) = ƓĄ ∈
̃ ℐĄ, which is
that (⋃ ̃̃ ̃ ƓĄ ) = Ӽ̃ . Then ℐ̃Ą is finer then the
contracted and similar if Ɠ = Ӽ̃ . Let 𝒥̃ =
ƓĄ ∈ ℐĄ
Ą Ą
finite soft ideal over Ӽ. Where the finite soft ideal
̃ ℐ̃ }. Then Ɠ ∈
̃̃ ƑĄ ) ∈
̃ ̃ ̃
𝒥̃Ą ={ƑĄ : ƑĄ is finite}. {ℋĄ : (ℋĄ ∩ Ą Ą ̃ 𝒥Ą because
Proof: Is directed from Definitions (3.1) and (3.3) (ƑĄ ∩ ̃ ℐ̃Ą . To show that 𝒥̃Ą is a soft ideal
̃̃ ƓĄ ) ∈
̃
.∎ over Ӽ .
1. Since (Ӽ̃ ∩ ̃ ℐ̃ . So Ӽ̃ ∉
̃̃ ƑĄ ) = ƑĄ and ƑĄ ∉
̃ ̃ 𝒥̃ .
̃
Ą Ą
There are many properties of maximal soft ideal,
the following theorems show that. 2. Let ℋ ∈ ̃ ̃
̃ 𝒥 and Ɗ ⊆ ̃ ℋ . Imply that
̃
Ą Ą Ą Ą
̃ ℐ̃ and (Ɗ ∩
̃̃ ƑĄ ) ⊆
̃ ̃ ̃ (ℋ ∩
̃ ̃
(ℋĄ ∩ Ą Ą ̃ ƑĄ ) ⊆ Ą ̃ ƑĄ ) .
Theorem 3.7.
But ℐ̃Ą is a soft ideal then (ƊĄ ∩ ̃̃ ƑĄ ) ∈
̃
̃ ℐ̃Ą .
The following statements are equivalent:
1. A soft ideal ℐ̃Ą over Ӽ is maximal soft ideal. So ƊĄ ∈̃ 𝒥̃Ą .
̃
̃ ℐ̃ , then (ℋ ∩ ̃ ̃ ℐ̃ and
2. For each ƑĄ ⊆ ̃ Ӽ̃ , then either ƑĄ ∈
̃ ̃ ℐ̃ or
̃ 3. Let ℋ1Ą , ℋ2Ą ∈ ̃ Ą 1Ą ̃ ƑĄ ) ∈̃ Ą
Ą
ƈ̃ ̃
̃
̃ ̃
̃ ̃ ̃
(ℋ ∩ Ƒ ) ∈ ℐ . Since ℐ is a soft ideal, then
Ƒ ∈
Ą
̃
̃ℐ .
Ą
2Ą Ą Ą Ą
̃̃ ƑĄ ) ∪
(ℋ1Ą ∩ ̃̃ (ℋ2Ą ∩ ̃ ℐ̃Ą
̃̃ ƑĄ ) ∈
̃
3. ℐ̃Ą Contains all those soft sub sets ƑĄ of Ӽ̃ which
.
̃ Ɠ ) ≠ Ӽ̃ for eachƓ ∈ ̃ ̃ So(ℋ1Ą ∪̃̃ ℋ2Ą ) ∩ ̃ ℐ̃Ą and we
̃̃ ƑĄ ∈
̃ have
(ƑĄ ∪̃ Ą Ą ̃ ℐĄ .
(ℋ ∪ ̃̃ ℋ ) ∈ ̃ 𝒥̃ .
̃
4. For any two soft sub sets Ƒ and Ɠ of Ӽ̃ such
Ą Ą
1Ą 2Ą Ą
̃̃ ƓĄ ) ∈
̃ ̃
̃ ℐ̃Ą , we have either ƑĄ ∈
̃ ℐ̃Ą To prove that ℐ̃Ą ⊆ ̃ 𝒥̃ . Let Ɗ
̃ Ą Ą
̃ ℐ̃ .
̃
∈ Ą
that (ƑĄ ∩
̃̃ ̃
̃ ̃
̃
Since(ƊĄ ∩ ƑĄ ) ⊆ ƊĄ , then (ƊĄ ∩ ƑĄ ) ∈ ̃
̃ ̃ℐ and
or ƓĄ ∈̃ ℐ̃Ą .
̃ Ą
355
Baghdad Science Journal Vol.15(3)2018
356
Baghdad Science Journal Vol.15(3)2018
̃ ̃ ̃
each ƑĄ ƈ ∈ ̃ ℐĄ and each 𝒱ᾼ ∈ ̃ ƝƑę , we have 3. For each two distinct soft points Ƒę1 ≠ Ƒę2 , Ƒę1 is
̃
̃ ̃ ̃ not a soft turning point of ℐƑ2Ą or Ƒę2 is not a soft
(ƑĄ ∩ ̃
̃ 𝒱ᾼ ) ≠ 𝜑̃ as Ƒę ∈ ̃
̃ 𝒸ℓ(ƑĄ ), so (ƑĄ ƈ ∪ ̃ 𝒱ᾼ ƈ ) ≠
turning point of ℐƑ1Ą .
Ӽ̃, as Ƒę ∈ ̃
̃ 𝒸ℓ(ƑĄ ). Thus from Properties Proof:
ƈ̃ 1) ⟺ 2). By directed by the Definition (2.14).
(3.10).(ℐ̃Ą ∪ ̃ (Ɲ ) ) from subbase for soft ideal
̃ Ƒę
2) ⟹ 3). Let Ƒę1 , Ƒę2 ∈ ̃ Ӽ̃ such that Ƒ ≠
̃ ę1
̃ ̃ ̃
̃ ̃
𝒥Ą , ℐĄ ⊆ 𝒥Ą and Ƒę is a soft turning point for a soft ̃
Ƒę2 . Since Ӽ is SƮ0 _space then Ƒę1 is not
̃
ideal 𝒥Ą . a soft turning point of ℐƑ2Ą or Ƒę2 is not soft
Conversely. Let ℘ be a collection of soft closed sets turning point of ℐƑ1Ą . Suppose Ƒę1 is not
with finite intersection properties. Then by a soft turning point of ℐƑ2Ą then there is ƑĄ
ƈ̃ ̃
̃ ℘}
Properties (3.11), ℋĄ = {ℋĄ ; ℋĄ ∈ from ̃
̃ ƝƑę1 such that ƑĄ ƈ ∉
̃ ̃
̃ ℐƑ , so Ƒę2 ∉ ̃
̃ ƑĄ and we
∈ 1Ą
̃
subbase for soft ideal ℐĄ . By hypothesis there exists ̃ ̃ ̃
have Ƒę2 ∈ ̃ ƑĄ ƈ . ƑĄ ƈ is soft closed set containing
̃ ̃
a soft ideal 𝒥Ą finer then ℐĄ and has a soft turning
Ƒę2 but not Ƒę1 . We get 𝒸ℓ(Ƒę2 ) ⊆ ̃ Ƒ ƈ̃ and
̃
̃
point of 𝒥Ą , say Ƒę . So for each ƯĄ ∈ ̃
̃ ƝƑę and each Ą
Ƒę1 ∉̃ ̃
̃ ƑĄ which implies that Ƒę1 ∉
ƈ ̃
̃ 𝒸ℓ(Ƒę2 ). So we
̃ ̃
̃ ℋĄ we must have (ƯĄ 𝒸̃̃ ∪
𝒱ᾼ 𝒸̃ ∈ ̃ 𝒱ᾼ 𝒸̃̃ ) ≠ Ӽ̃, thus
̃
̃ 𝒸ℓ(Ƒ ) but Ƒ ∉ ̃ 𝒸ℓ(Ƒ ) . Therefore
have Ƒę1 ∈ ̃ ę1 ę1
̃ ę2
(ƯĄ ∩ ̃ 𝒱 ) ≠ 𝜑̃ and we have Ƒ ∈
̃ ̃ 𝒸ℓ(Ƒ ). Since
̃
ᾼ ę Ą 𝒸ℓ(Ƒę1 ) and 𝒸ℓ(Ƒę2 ) are distinct.
𝒱ᾼ is soft closed, then 𝒸ℓ(𝒱ᾼ ) = 𝒱ᾼ , so we have 3) ⟹ 2). Let Ƒę1 and Ƒę2 are two distinct soft
̃ ̃ ̃ ̃ ̃ ̃
Ƒę ∈̃ 𝒱ᾼ . So Ƒę ∈ ̃ ⋂℘. Thus ⋂℘ ≠ 𝜑 . Therefore Ӽ points in Ӽ̃ with 𝒸ℓ(Ƒę1 ) ≠ 𝒸ℓ(Ƒę2 ) we have to
is soft compact. ∎ ̃, Ą) is SƮ _space .Then we can find one
prove (Ӽ̃, Ʈ̃ 0
357
Baghdad Science Journal Vol.15(3)2018
̃
(Ӽ̃ , Ʈ
̃, Ą) is SƮ0 _space, then Ƒę3 is not a soft then Ƒę is a soft turning point of ℐ̃0Ą ,the converse
turning point of ℐƑę4 or Ƒę4 is not soft turning point may be not true.
of ℐƑę3 . Suppose Ƒę3 is not a soft turning point of
ℐƑę4 , then there is aƮ_ soft open nhd ƑĄ of Ƒę1 such
that Ƒ ƈ ∉ ̃ ℐ , so Ƒ ∉
̃ ̃ ̃ Ƒ .Since 𝒻 is an open and
̃ Proof:
Ą Ƒę4 ę4 Ą
injective mapping, 𝒻(ƑĄ ) is a 𝛿_ soft open set Let Ƒę be a soft turning point of 𝒾𝓃𝓉(ℐ̃0Ą ). Then by
̃
Properties (4.3), for each Ɠ,Ą ∈
̃ ƝƑę there exists
containing 𝒻(Ƒę3 ) = Ƒę1 and not containing
𝒻(Ƒę4 ) = Ƒę2 . In other words, 𝒻(ƑĄ ) is a 𝛿_ 𝒾𝓃𝓉(Ƒ ) ∈ ̃ 𝒾𝓃𝓉(ℐ̃ ) such that (Ɠ, )ƈ̃ ⊆
̃ ̃ 𝒾𝓃𝓉(ℐ̃ ).
̃
Ą 0Ą Ą Ą
soft open nhd of Ƒę1 not containing Ƒę2 . So that ̃ Ƒ , then ̃ Ƒ , i.e. for each
̃
Since 𝒾𝓃𝓉(ƑĄ ) ⊆ Ą ̃
⊆ Ą(Ɠ,Ą )ƈ̃
̃
(𝒻(ƑĄ ))ƈ̃ ∉
̃ ℐƑ and we have Ƒę1 is not a soft
ę2 , ̃
̃ ƝƑę there exists ƑĄ ∈
ƓĄ ⊆ ̃ ̃
̃ ℐ0Ą such that
turning point of a soft ideal ℐƑę2 over Ƴ. Hence ̃ Ƒ . Again by Properties (4.3), we get Ƒ is
, ƈ̃ ̃
(Ɠ ) ⊆ Ą ę
̃ , 𝛿̃, Ɓ) is also SƮ0 _space. Since the property of
̃
(Ƴ
Ą
a soft turning point of ℐ̃0Ą .∎
being SƮ0 _space is preserved under injective, onto
open soft mapping, if is a certainly preserved under
By Theorem (4.9) and by Definition (2.10) part 1
homeomorphisms. Hence it is a soft topological
we get the following result :
property.
If we take Let Ӽ = {ɦ1 , ɦ2 } and Ą = {ę1 , ę2 } .Let
Also, we can take another prove to Theorem ̃
(2.15) by using properties of the soft turning points, ̃ = {𝜑̃, Ӽ̃ , ƑĄ , ƓĄ , ℋĄ , ƊĄ } be a soft topological
Ʈ
as follows : space and where
̃
Let (Ӽ̃ , Ʈ
̃, Ą) be a SƮ0 _space we prove that every ƑĄ = {(ę1 , {ɦ1 }), (ę2 , {ɦ2 })} , ƓĄ =
̃ {(ę1 , Ӽ), (ę2 , {ɦ2 })} ,
subspace Ƴ ̃ of Ӽ̃ is SƮℐ _space. Let Ƒ , Ƒ be two
0 ę1 ę2
̃ ̃
̃ . Since Ƴ
̃⊆̃ Ӽ̃ , then Ƒ , Ƒ are
̃ ℋĄ = {(ę1 , {ɦ2 }), (ę2 , {ɦ2 })} and
distinct points of Ƴ ę1 ę2
̃ ̃
also distinct points of Ӽ . Again since (Ӽ, Ʈ ̃, Ą) is a
̃ ƊĄ = {(ę1 , φ), (ę2 , {ɦ2 })}
SƮ0 _space, then Ƒę1 is not The all soft points Ƒę on Ӽ̃ are
a soft turning point of a soft ideal ℐƑ2Ą over Ӽ or Ƒ1ę1 = {(ę1 , {ɦ1 }), (ę2 , φ)}, Ƒ2ę1 =
Ƒę2 is not a soft turning point of {(ę1 , {ɦ2 }), (ę2 , φ)}, Ƒ3ę1 =
a soft ideal ℐƑ1Ą over Ӽ. Suppose Ƒę1 is {(ę1 , Ӽ), (ę2 , φ)}, Ƒ4ę2 =
not a soft turning point of a soft ideal ℐƑ2Ą . So that {(ę1 , φ), (ę2 , {ɦ1 })}, Ƒ5ę2 = {(ę1 , φ), (ę2 , {ɦ2 })}
̃ Ɠ but Ɠ 𝒸̃ ∉
̃ ̃ ̃
̃ and Ƒ6ę2 = {(ę1 , φ), (ę2 , Ӽ)}
∃ Ʈ_soft open sets Ɠ such that Ƒ ∈
Ą ę1 Ą Ą
ℐƑę2 . Then ̃ 𝛿̃) is Ʈ _soft open set
Ɠ,Ą =(ƓĄ ∩
̃ and ƝƑ = {Ӽ̃ , ƑĄ , ƓĄ },
1ę1
Ƴ
such that Ƒę1 ̃ , ̃
̃ ƓĄ but Ƒę2 ∉
∈ ,
̃̃ Ɠ,Ą
̃ ƓĄ . So that Ƒę1 ∈ ƝƑ2ę1 = {Ӽ̃ , ℋĄ , ƓĄ }, ƝƑ 3ę1
= {Ӽ̃ , ƓĄ },
̃ ℐ
but (Ɠ, )ƈ̃ ∉
̃ ℐƳƑę2 is soft ideal over Ƴ.
ƳƑę2 where
ƝƑ4ę2 = ƝƑ6ę2 = {Ӽ̃} and
Ą
Hence Ƒę1 is not ƝƑ5ę2 = {Ӽ̃, ƑĄ , ƓĄ , ℋĄ , ƊĄ }.
soft turning point of a soft ideal ℐƳƑ2Ą over Ƴ, so ƈ̃ ̃
Let ℐ̃0Ą = {𝜑̃, ƑĄ ƈ , ƓĄ , ℋĄ ƈ } is soft ideal base, so
̃
̃, Ʈ
̃
(Ƴ ̃ , Ą) is SƮ _space.
̃Ƴ 0
each soft points in Ӽ̃ are soft turning point of
Lemma 4.8. ℐ̃0Ą.But
̃
Let (Ӽ̃ , Ʈ
̃, Ą) be a soft space and ℐ̃Ą be a soft ideal 𝒾𝓃𝓉(ℐ̃ ) = {φ}.
0Ą
base over Ӽ , then 𝒾𝓃𝓉(ℐ̃ ) = {𝒾𝓃𝓉(Ƒ ) = So Ƒ4ę2 , Ƒ6ę2 are soft turning point of
0Ą Ą
̃ ℐ̃0Ą } is a soft ideal over Ӽ.
̃ 𝒾𝓃𝓉(ℐ̃0Ą )but Ƒ1ę1 , Ƒ2ę1 , Ƒ3ę1 , Ƒ5ę2
ƑĄ ∈
are not soft turning points of 𝒾𝓃𝓉(ℐ̃0Ą )
Theorem 4.9.
Let Ӽ̃ be a soft space , and ℐ̃Ą be a soft ideal base Theorem 4.10.
over Ӽ . If Ƒ is a soft turning point of 𝒾𝓃𝓉(ℐ̃ ) ̃, Ą), we have the following
For any soft space (Ӽ̃, Ʈ
̃
ę 0Ą
statements are equivalent:
358
Baghdad Science Journal Vol.15(3)2018
∀ Ƒ ,Ƒ ∈ ̃ ̃
̃ Ӽ, Ƒ ≠ Ƒ then Ƒ is not SƮℐ1 _space.
ę1 ę2 ę1 ę2 ę1 2
a soft turning point of ℐƑ2Ą or Ƒę2 is not a soft Proof:
turning point of ℐƑ1Ą . The prove is directed by the Definition ( 4.15) and a
Theorem 4.12. Theorem (2.15). ∎
The property of a space being a SƮℐ1_space is Theorem 4.20.
preserved under injective soft open and hence is a Let ƑĄ be a soft compact subset of a SƮℐ1 _space
2
soft topological property. ̃
(Ӽ̃, Ʈ
̃, Ą) and suppose Ƒ1Ą ∈̃ Ƒƈ̃ . Then ∃ soft open
̃ Ą
Proof:
The prove is directed by the Definition ( 4.11) and ̃ ̃
̃ ƓĄ , ƑĄ ⊆
sets ƓĄ , ℋĄ ∋ Ƒę1 ∈ ̃
̃ ℋĄ , ƓĄ ∩
̃ ℋĄ = 𝜑̃.
Theorem (4.7).∎
Theorem 4 .13. Corollary 4.21.
Every soft sub space of a SƮℐ1 _space is a Let Ӽ̃ be a soft compact SƮℐ1 _space
SƮℐ1_space. 2
Proof: ̃
(Ӽ̃ , Ʈ ̃ Ӽ̃ and ℐ̃ be a soft ideal base over
̃, Ą), Ƒę ∈
̃ 0Ą
The prove is directed by the Definition ( 4.11) and Ӽ. Ƒę is a soft turning point of ℐ̃0Ą if and only if Ƒę is
Theorem (2.15).∎
Theorem 4.14. a soft turning point of 𝒾𝓃𝓉(ℐ̃0Ą ).
359
Baghdad Science Journal Vol.15(3)2018
:الخالصة
استخدمنا هذه المفاهيم لتحديد، وبسبب تطبيقاتها الواسعة ومرونتها الكبيرة لحل المشاكل،1999 المجموعات المرنة عرفت منذ
و أخيراً استخدمنا تلك النقاط لتعريف انواع جديدة من بديهيات الفصل. انواع جديدة من النقاط المرنة التي أطلقنا عليها نقاط التحول المرنة
.المرنة و دراسة أهم خواصها
. المجموعات المرنة ونقاط التحول المرنة، بديهيات الفصل المرنة، المرنة المثالية، المرصوصة المرنة:الكلمات المفتاحية
360