images Computer Modeling in Engineering & Sciences images

DOI: 10.32604/cmes.2022.018518


A New Attempt to Neutrosophic Soft Bi-Topological Spaces

Arif Mehmood1, Muhammad Aslam2, Muhammad Imran Khan3, Humera Qureshi3, Choonkil Park4,* and Jung Rye Lee5

1Department of Mathematics & Statistics, Riphah International University, Sector I-14, Islamabad, 44000, Pakistan
2Department of Mathematics, College of Sciences, King Khalid University, Abha, 61413, Saudi Arabia
3Department of Pure and Applied Mathematics (Statistics), University of Haripur, Haripur, 22630, Pakistan
4Research Institute for Natural Sciences, Hanyang University, Seoul, 04763, Korea
5Department of Data Science, Daejin University, Kyunggi, 11159, Korea
*Corresponding Author: Choonkil Park. Email: baak@hanyang.ac.kr
Received: 30 July 2021; Accepted: 12 September 2021

Abstract: In this article, new generalized neutrosophic soft * b open set is introduced in neutrosophic soft bi-topological structurers (NSBTS) concerning soft points of the space. This new set is produced by making the marriage of soft semi-open set with soft pre-open set in neutrosophic soft topological structure. An ample of results are investigated in NSBTS on the basis of this new neutrosophic soft * b open set. Proper examples are settled for justification of these results. The non-validity of some results is vindicated with examples.

Keywords: Neutrosophic soft set (NSS); neutrosophic soft points (NSP); neutrosophic soft bi-topological structurers (NSBTS); neutrosophic soft * b-open set and neutrosophic soft * b-separation axioms

1  Introduction

Fuzzy set theory[1] is the most importantly effective way to deal with vagueness and incomplete data and it is being developed and used in various fields of science. Fuzzy set (FS), which is directly an extension of the crisp sets. However, it has a shortcoming, i.e., it only addresses membership value and is unable to address the non-membership value. Since fuzzy set theory (FST) was too young at that time and researchers were working actively. Finally, Atanassov[2] addressed the deficiency in fuzzy set theory in sophisticated way and resulted in bouncing up a new idea with new wording “intusionistic fuzzy set theory (IFST)”. This approach supposes membership value and non-membership value.

Molodtsov[3] opened a new window of research and inaugurated the concept of soft set theory (SST) to address the uncertainty, which links a crisp set with another set of parameters. Soft set theory has a big hand as an application in many fields like function smoothness, Riemann integration, measurement theory, game theory, etc.[4]. The second leading cause of cancer death among men in most industrialized countries is prostate cancer which depends upon various factors, such as family history, age, ethnicity, and prostate-specific blood level (PSA).

PSA levels in the blood are an important way of diagnosing patients initially[57]. Yuksel etal.[8] discussed prostate cancer (PSA), prostrate volume (PV) and age factors of patients on the basis of fuzzy set and soft sets.

Wei etal.[9] leaked out the concept of VSS which is an extension to Huang etal.[10] deeply studied[9] and pointed out some incorrect results. They verified the incorrect result with examples and gave some more new definitions. Wang etal.[11] initiated the concept of vague soft topological structures with title topological structure of vague soft sets. They authors discussed the basic concepts related to vague soft topological and studied the results in vague soft topology. The soft set to the hyper soft set was generalized by Smarandache[12]. In addition to this, the author introduced the hybrids of crisp, fuzzy, intuitionistic fuzzy, neutrosophic, and plithogenic hyper-soft set. Bera etal.[13] opened the door to a new world of mathematics and inaugurated the conception of new structure (neutrosophic soft topology) on the basis of neutrosophic soft set (NSS). He discussed all the fundamentals in polite way and on the basis of these fundamentals he moved to the fundamentals results and for better understanding suitable examples were put forwarded. Ozturk etal.[14] are pioneered in new operations on neutrosophic soft sets and then new approach to neutrosophic soft topology on the basis of these new operations. Ozturk etal.[15] leaked out concept of neutrosophic soft mapping, neutrosophic soft open mapping and neutrosophic soft homeomorphism on the basis of operation defined in[14]. Mehmood etal.[16] generated new open set in NSTS, known as left b star open sets. Neutrosophic soft separation axioms in NSTS are switched on to different results which are countability theorems, linking of these theorems with Hausdorff spaces, convergency of sequences, continuity, product of spaces, Bolzano Weirstrass property, compactness and sequentially compactness, etc. AL-Nafee[17] introduced new family of NSS. The author defined new operation on neutrosophic set. These operations are union, intersection etc. On the basis of these new operations the author defined NSTS. AL-Nafee etal.[18] continued his work and extended the NSTS to NSBTS on the basis of operations defined in[18]. The authors regenerated all the fundamental results of NSBTS on these basic operations. Hasan etal.[19] inaugurated NSBTS on the basis of the operations defined in[13]. The authors introduced pair-wise neutrosophic soft (closed) sets in NSBTS. These references[1319] became source of motivation for my new research.

In our study, we worked with the operations given in references[1416] which are entirely different from references[13,17]. Then unlike[18,19], neutrosophic soft bi-topological structure is reconstructed. In Section 2, some basic recipes are inaugurated. In Section 3, Neutrosophic soft bi-topology (NSBT) is addressed with examples. Some results, union and intersection are also studied in (NSBT). In Section 4, some main results are addressed. Section 5, more main results are addressed. In Section 6, some concluding remarks and future work are announced.


2  Related Work

In this section, fundamental concepts are addressed.

Definition 2.1.[20] A neutrosophic set (NS) symbolized by A on the key set π is defined as: A={κ,κ,iAκ,FAκ:κπ}where,[:π(0,1+)i:π(0,1+),F:π(0,1+)0Aκ+iAκ+FAκ3+.,].

Definition 2.2.[3] π be key set, θ be a set of all parameters, and L(π) symbolizes the key set of π. A pair f,θ is referred to as a soft set (SS) over π, where f is a mapping given by f:θL(π).

Definition 2.3.[21,22] Let π be KS and θ set of parameters. Let L(π) signifies power set of all neutrosophic sets on π. Then a neutrosophic soft set (f~,θ) over π is a set defined by a set valued function f~ representing a mapping f~:θL(π) where f~ is called approximate function of the neutrosophic soft set (f~,θ). It can be written as a set of ordered pairs: (f~,θ)={((𝓃,[[κ,Tf~(n)(κ),If~(n)(κ),Ff~(n)(κ):κπ]]):𝓃θ}.

Definition 2.4.[13] Let (f~,θ) be a neutrosophic soft over the key set π then the complement of (f~,θ) is signified (f~,θ)c and is defined as follows:

(f~,θ)c={((𝓃,[[κ,f~(n)(v),1if~(n)(κ),Ff~(n)(κ):κπ]]):𝓃θ}. It’s clear that


Definition 2.5.[22] Let (f~,θ), (ρ~,θ) two neutrosophic soft over the key set π. (f~,θ) is supposed to be neutrosophic soft sub-set of (ρ~,θ) if f~(n)(κ)ρ~(n)(κ), if~(n)(κ)iρ~(n)(κ), Ff~(n)(κ)Fρ~(n)(κ), 𝓃θ& κπ. It is denoted by (f~,θ)(ρ~,θ). (f~,θ) is said to be neutrosophic soft equal to (ρ~,θ) if (f~,θ) is neutrosophic soft sub-set of (ρ~,θ) and (ρ~,θ) is neutrosophic soft sub-set of (f~,θ). It is denoted by (f~,θ)=(ρ~,θ).

Definition 2.6.[16] Let (f~1,θ),(f~2,θ) be two neutrosophic soft sub-sets over the key set π so that (f~1,θ)(f~2,θ). Then their union is denoted by (f~1,θ)~(f~2,θ)=(f~3,θ) and is defined as (f~3,θ)={((𝓃,[[κ,f~3(n)(κ),if~3(n)(κ),Ff~3(n)(κ):κπ]]):𝓃θ}. where


Definition 2.7.[16] Let (f~1,θ), (f~2,θ) be two neutrosophic soft sub-sets over key set π such that (f~1,θ)(f~2,θ). Then their intersection is denoted by (f~1,θ)~(f~2,θ)=(f~3,θ), is defined as [(f~3,𝓃)={((𝓃,[[[κ,f~3(n)κ,if~3(n)κ,Ff~3(n)κ:κπ]]):𝓃θ}.] where,


Definition 2.8.[14] Neutrosophic soft set (f~,θ) overkey set π is said to be a neutrosophic soft null set If f(n)κ=0,if(n)κ=0,Ff(n)κ=1;,nθ,κπ.

It is signified as 0(π,θ).

Definition 2.9.[14] Neutrosophic soft set (f~,θ) over key set π is an absolute neutrosophic soft set if Tf(n)κ=1,if(n)κ=1,Ff(n)κ=0;,nθ&κπ.

It is signified as 1(π,𝓃). Clearly, 0(π,𝓃)c=1(π,𝓃), 1(π,𝓃)c=0(π,𝓃).

Definition 2.10.[14] Let neutrosophic soft set (π~,θ) be the family of all NS soft sets and τNSS(π~,θ). Then τ is said to be a neutrosophic soft topology on π~ if (1). 0(π,𝓃),1(π,𝓃)τ,(2). The union of any number of neutrosophic set soft sets in ττ,(3). The intersection of a finite number of neutrosophic soft sets in ττ, then (π~,τ,θ) is said to be neutrosophic soft topological space over π~.

Definition 2.11.[14] Let neutrosophic soft set (π,θ)~ be the family of all neutrosophic set over π~, κπ~, then NSκy1,y2,y3 is NS point, for 0<y1,y2,y31 and is defined as follows:


Definition 2.12.[14] Let neutrosophic soft set (π,θ)~ be the family of all neutrosophic soft sets over key set π Then NSS(κy1,y2,y3)e is called a neutrosophic soft point, for every κπ,~0{y1,y2,y3}1,eθ, and is defined as follows:

κey1,y2,y3e(𝓎)=[y1,y2,y3if e=e𝓎=κ(0,0,1)if ee𝓎κ]

Definition 2.13.[14] Let (f~,θ) be a NSS over key set π. κey1,y2,y3NSS(f~,θ) if y1f~(n)κ, y2if~(n)κ, y3Ff~(n)κ.

Definition 2.14.[14] Let (π~,τ,θ) be a NSTS over π. Neutrosophic soft set (f~,θ) in (π,τ,θ) is called a neutrosophic soft neighbourhood of the neutrosophic soft point κy1,y2,y3(f~,θ), if there exists a neutrosophic soft open set (𝓆~,θ) such that κy1,y2,y3(𝓆~,θ).

3  Neutrosophic Soft Bi-Topology

In this part, the concept of NSBTS is defined. Furthermore, new types of open and closed sets have been introduced in neutrosophic soft bitopological spaces.

Definition 3.1. Ifπ,τ1,θ, π,τ2,θ are two NSTS, then π,τ1,τ2,θ is called NSBTS. If π,τ1,τ2,θ be NSBTS. Neutrosophic soft sub-set (f,θ) is said to be open in π,τ1,τ2,θ if there exists a neutrosophic soft open set (f1,θ) in τ1 and neutrosophic soft open set (f2,θ) in τ2 such that (f,θ)=(f1,θ)(f2,θ).

Example 3.2. Let π={κ1,κ2,κ3}, θ={e1,e2} and τ1={0(π,θ),1(π,θ),(ω1,θ),(ω2,θ)},

τ1={0(π,θ),1(π,θ),(1,θ),(2,θ)}, where (ω1,θ),(ω2,θ),(1,θ) ve (2,θ) being neutrosophic soft sub-sets as following:


Then (ω1,θ)(ω2,θ)=(ω2,θ), (ω1,θ)(1,θ)=(1,θ), (ω1,θ)(2,θ)=(ω2,θ), (1,θ)(2,θ)=(1,θ), (ω2,θ)(2,θ)=(ω2,θ) and (ω1,θ)(ω2,θ)=(ω2,θ), (ω1,θ)=(1,θ), (ω1,θ)(2,θ)=(ω2,θ), (1,θ)(2,θ)=(1,θ), (ω2,θ)(2,θ)=(2,θ).

Therefore, τ1, τ2 are NSBTS on π so (π,τ1,τ2,θ) is a NSBTS.

Theorem 3.3. Let (π,τ1,τ2,θ) be a NSBTS. Then τ1τ2 is a NSBTS on π.

Proof:T1 and NST3 are clear. For NST2, let {(ωi,θ);iI}τ1τ2. Then (ωi,θ)τ1, (ωi,θ)τ2. As τ2, τ2 are Neutrosophic soft topologies on π, then i(ωi,θ)τ1, i(ωi,θ)τ2. Therefore i(ωi,θ)τ1τ2.

Remark 3.4. Let (π,τ1,τ2,θ) be a NSBTS, then τ1τ2 need not be a NSBTS on π.

Example 3.5. Let π={κ1,κ2,κ3}, θ={e1,e2} and τ1={0(π,θ),1(π,θ),(ω1,θ),(ω2,θ),(ω3,θ)}, τ2={0(π,θ),1(π,θ),(1,θ),(2,θ) where (ω1,θ),(ω2,θ),(1,θ) ve (2,θ) being NSSs are as following:


Here τ1τ2={0(Y,θ),1(π,θ),(ω1,θ),(ω2,θ),(ω3,θ),(1,θ),(2,θ)} is not aneutrosophic soft topology on π because (ω3,θ)(2,θ)τ1τ2.

Definition 3.6. Let (π,τ1,τ2,θ) be a NSBTS. Then aneutrosophic soft set

(,θ)={(e,{κ,T(e)(κ),I(e)(κ),F(e)(κ)}:κπ,eθ} is called as a pairwise neutrosophic soft open set (PNSOS) if there exist a NSOS τ1 and a NSOS τ2 such that for all xU (,θ)=(1,θ)(2,θ)={(e,{x,max{T(e)(κ),TG(e)(κ)},max{I(e)(x),IG(e)(κ)},min{F(e)(κ),FG(e)(κ)}}):eθ}.

Definition 3.7. Let (π,τ1,τ2,θ) be a NSBTS. Then a neutrosophic soft set

(,θ)={(e,{κ,T(e)(κ),I(e)(κ),F(e)(κ)}):κπ,eθ} is called as a PNSOS if there exist a NSOS τ1 and a τ2 such that for all κπ (,θ)=(1,θ)(2,θ)={(e,{x,max{TH(e)(κ),TG(e)(κ)},max{I(e)(κ),IG(e)(κ)},min{F(e)(κ),FG(e)(κ)}}):eθ}.

The set of all pairwise neutrosophic open sets in (π,τ1,τ2,θ) is denoted by PNSO (π,τ1,τ2,θ).

Definition 3.8. Let (π,τ1,τ2,θ) be a NSBTS. Then a NSS

(,θ)={(e,{κ,T(e)(κ),I(e)(κ),F(e)(x)}):κπ,eθ} is called as a pairwise neutrosophic soft closed set (PNSC) if (,θ)c is a PNSO. It is clear that τ1 and a NSOC τ2 such that for all κπ (,θ)=(1,θ)(2,θ)={(e,{κ,min{(κ),TG(e)(κ)},min{I(e)(κ),IG(e)(κ)},max{F(e)(κ),FG(e)(κ)}}):eθ}

The set of all PNSC in (π,τ1,τ2,θ) is denoted by PNSC (π,τ1,τ2,θ).

Example 3.9. Let π={κ1,κ2,κ3}, θ={e1,e2}, τ1={0(π,θ),1(π,θ),(ω1,θ)}, τ2={0(π,θ),1(π,θ),(ω2,θ)} where (ω1,θ), (ω2,θ) are defined as


Then (ω1,θ)(ω2,θ)={(e1,{κ1,0210,0210,0810,κ2,0110,0410,0510,κ3,0210,0310,0510}), (e2,{κ1,0310,0210,0610,κ2,0110,0510,0510,κ3,0310,0310,0510})} is a PNSOS. Also




is a PNSC.

Theorem 3.10. Let (π,τ1,τ2,θ) be a NSBTS. In this case

1.    0(π,θ),1(π,θ)PNSO(π,τ1,τ2,θ).

2.    If {(i,θ)|iI}PNSO(π,τ1,τ2,θ) then iI(i,θ)PNSO(π,τ1,τ2,θ).

3.    If {(Gi,θ)|iI}PNSC(π,τ1,τ2,θ) then iI(Gi,θ)PNSC(π,τ1,τ2,θ).


1.    Since 0(π,θ)0(π,θ)=0(π,θ), 1(π,θ)1(π,θ)=1(π,θ) then 0(π,θ), 1(π,θ) are PNSC.

2.    Since (i,θ)PNSO(π,τ1,τ2,θ), there exist (i1,θ)τ1, (i1,θ)τ2 such that (i,θ)=(i1,θ)(i1,θ) for all iI. Then


As τ1, τ2 are NST on π, iI(i1,θ)τ1, iI(i2,θ)τ1.

Therefore, iI(i,θ)PNSO(π,τ1,τ2,θ).

3.    Since (Gi,θ)PNSC(π,τ1,τ2,θ), there exist (Gi1,θ)cτ1 and (Gi2,θ)cτ2 such that (Gi,θ)=(Gi1,θ)(Gi2,θ) for all iI. Then


Then iI(Gi,θ)PNSC(π,τ1,τ2,θ) as (iI(Gi1,θ))cτ1, (iI(Gi2,θ))cτ1.

Theorem 3.11. Let (π,τ1,τ2,θ) be a NSBTS. Then every neutrosophic soft i-open set is a PNSOS.

Proof. Let (,θ)τI or (,θ)τ2. Since (,θ)=(,θ)0(X,θ), then (,θ)PNSO(π).

Theorem 3.12. Let (π,τ1,τ2,θ) be a NSBTS and (,θ),(ω,θ)NSS(π). Then,

1.    clPNSS(0(π,θ))=0(π,θ) and clPNSS(1(π,θ))=1(π,θ)

2.    (,θ)clPNSS(,θ)

3.    (,θ) is a PNSCS if clPNSS(,θ)=(,θ)

4.    clPNSS(,θ)clPNSS(ω,θ) if(,θ)(ω,θ)

5.    clPNSS(,θ)clPNSS(ω,θ)clPNSS((,θ)(ω,θ))

6.    clPNSS(clPNSS(,θ))=clPNSS(,θ), i.e., clPNSS(,θ) is a PNSCS.

Proof. It is obvious.

Theorem 3.13. Let (π,τ1,τ2,θ) be a NSBTS over π and (ω,θ)NSS(π). Then, κe(y1,y2,y3)clPNSS(ω,θ) if and only if for all Uxe(y1,y2,y3)τ12(κe(y1,y2,y3)) where Uκe(y1,y2,y3) is any PNSOS contains κe(y1,y2,y3) and τ12(κe(y1,y2,y3)) is the family of all PNSOS contains κe(y1,y2,y3), Uxe(y1,y2,y3)(,θ)0(π,θ).

Proof. Let κe(y1,y2,y3)clPNSS(ω,θ) and suppose that there exists Uκe(y1,y2,y3)τ12(xe(y1,y2,y3)) such that Uκe(y1,y2,y3)(,θ)=0(π,θ). Then (,θ)(Uκe(y1,y2,y3))c. Thus clPNSS(,θ)clPNSS(Uκe(y1,y2,y3))c=(Uκe(y1,y2,y3))c which implies clPNSS(ω,θ)Uκe(y1,y2,y3)c=0(π,θ), a contradiction.

Conversely, that κe(y1,y2,y3)clPNSS(,θ), then κe(y1,y2,y3)(clPNSS(,θ))cτ12(xe(y1,y2,y3)). Therefore, by hypothesis, (clPNSS(,θ))(,θ)0(π,θ), a contradiction.

4  Main Results

In this section, some new definitions are introduced which are necessary for the up-coming sections.

Definition 4.1. Let π,τ1,τ2,θ be a NSBTS over π,(f~,θ) be a neutrosophic soft set overπ. Then (f~,θ) is

(1) Neutrosophic soft semi-open if (f~,θ)VScl(VSint(f~,θ)).

(2) Neutrosophic soft pre-open if (f~,θ)VSint(VScl(f~,θ)).

(3) Neutrosophic soft * b open if (f~,θ)VScl(VSint(f~,θ))VSint(VScl(f~,θ)) and neutrosophic soft * b close if (f~,θ)VScl(VSint(f~,θ))VSint(VScl(f~,θ)).

Definition 4.2. Let π,τ1,τ2,θ be a NSBTS over π, κ1y1,y2,y3κ2/y1/,y2/,y3/ are neutrosophic soft points. If there exist NS * b open sets (f~,θ)&(𝓆~,θ) such that κ1y1,y2,y3(f~,θ),κ1y1,y2,y3(𝓆~,θ)=0(π~,θ) or κ2/y1/,y2/,y3/(𝓆~,θ),κ2/y1/,y2/,y3/(f~,θ)=0(π~,θ), Then π,τ1,τ2,θ is called a NSB * b0 space.

Definition 4.3. Let π,τ1,τ2,θ be a NSBTS over π, κ1y1,y2,y3κ2/y1/,y2/,y3/ are neutrosophic soft points. If there exist NS * b-open sets (f~,θ),(𝓆~,θ) such that κ1y1,y2,y3(f~,θ),κ1y1,y2,y3(𝓆~,θ)=0(π~,θ) and κ2/Δ1/,Δ2/,Δ3/(𝓆~,θ),κ2/y1/,y2/,y3/(f~,θ)=0(π~,θ), Then π,τ1,τ2,θ is called a NSB * b1 space.

Definition 4.4. Let π,τ1,τ2,θ be a NSBTS over π,κ1y1,y2,y3κ2/y1/,y2/,y3/ are neutrosophic soft points. If there exists NS * b open set (f~,θ), such that κ1y1,y2,y3(f~,θ), κ2/y1/,y2/,y3/(𝓆~,θ) & (f~,θ)(𝓆~,θ)=0(π~,θ). Then π,τ1,τ2,θ is called a NSB * b2 space.

Example 4.5. let π~={𝓍1,𝓍2}, the set of conditions by θ={e1,e2}. Let us consider neutrosophic set and 𝓍e11(0.1,0.4,0.7), 𝓍e21(0.2,0.5,0.6), 𝓍e12(0.3,0.3,0.5) and 𝓍e12(0.4,0.4,0.4) be neutrosophic soft points. Then the family τ1={0(π~,θ),1(π~,θ),(f1~,θ),(f2~,θ), (f3~,θ), (f4~,θ),(f5~,θ),(f6~,θ), (f7~,θ),(f8~,θ),(f15~,θ)}, where (f1~,θ)=𝓍e11(0.1,0.4,0.7),(f2~,θ)=𝓍e21(0.2,0.5,0.6), (f3~,θ)=𝓍e12(0.3,0.3,0.5), (f4~,θ)=𝓍e22(0.4,0.4,0.4)(f5~,θ)=(f1~,θ)(f2~,θ),(f6~,θ)=(f1~,θ)(f3~,θ),(f7~,θ)=(f2~,θ)(f4~,θ),(f8~,θ)=(f2~,θ)(f3~,θ),(f9~,θ)=(f2~,θ)(f4~,θ),(f10~,θ)=(f3~,θ)(f4~,θ),(f11~,θ)=(f1~,θ)(f2~,θ)(f3~,θ),(f12~,θ)=(f1~,θ)(f2~,θ)(f4~,θ),(f13~,θ)=(f2~,θ)(f3~,θ)(f4~,θ),(f14~,θ)=(f1~,θ)(f3~,θ)(f4~,θ), (f15~,θ)={𝓍e11(0.1,0.4,0.7),𝓍e21(0.2,0.5,0.6),𝓍e12(0.3,0.3,0.5),𝓍e22(0.4,0.4,0.4)} is a NSTS. Also τ2={0(π~,θ),1(π~,θ),(f1~,θ)}NSTS. Thus (π, τ1,τ2, θ) be a NSBTS. Also (π, τ1,τ2, θ) is VSB * b2 structure.

Theorem 4.6. Let π,τ1,τ2,θ be a NSBTS. Then π,τ1,τ2,θ be a NSB * b1 structure if and only if each neutrosophic soft point is a NS * b-close.

Proof. Let π,τ1,τ2,θ be a NSBTS over π.κ1y1,y2,y3 be an arbitrary neutrosophic soft point. We establish κ1y1,y2,y3 is a neutrosophic soft * b-open set. Let κ2/y1/,y2/,y3/κ1y1,y2,y3. Then either κ2/y1/,y2/,y3/κ1y1,y2,y3 or κ2/y1/,y2/,y3/κ2/y1/,y2/,y3/ or κ2/y1/,y2/,y3/≻≻κ1y1,y2,y3 or κ2/y1/,y2/,y3/≺≺κ1y1,y2,y3. This means that κ2/y1/,y2/,y3/ and κ1y1,y2,y3 are two are distinct NS points. Thus κ1κ2 or κ1κ2 or / or / or κ1≻≻κ2 or κ1≺≺κ2 or /≻≻ or /≺≺. Since π,τ1,τ2,θ be a NS * b1 structure, a NS * b-open set (𝓆~,θ) so that κ2/y1/,y2/,y3/(𝓆~,θ) and κ1y1,y2,y3(𝓆~,θ)=0(π~,θ). Since, κ1y1,y2,y3(𝓆~,θ)=0(π~,θ). So κ2/y1/,y2/,y3/(𝓆~,θ)κ1y1,y2,y3. Thus κ1y1,y2,y3 is a NS * b-open set, i.e., κ1y1,y2,y3 is a NS * b-closed set. Suppose that each neutrosophic soft point κ1y1,y2,y3 is a NS * b-closed. Then (κ1y1,y2,y3)c is a NS * b-open set. Let κ1y1,y2,y3κ2/y1/,y2/,y3/=0(π~,θ). Thus (κ2/y1/,y2/,y3/,θ)(κ1y1,y2,y3)c, κ1y1,y2,y3(κ1y1,y2,y3)c=0(π~,θ). So π,τ1,τ2,θ be a NSB- * b1 space.

Theorem 4.7. Let π,τ1,τ2,θ be a NSTBS over the father set π Then (π,τ,θ) is NS- * b2 space if and only if for distinct neutrosophic soft points κ1y1,y2,y3, κ2/y1/,y2/,y3/, there exists a NS * b-open set (f~,θ) containing but not κ2/y1/,y2/,y3/ such that κ2/y1/,y2/,y3/(f~,θ).¯

Proof. Let κ1y1,y2,y3κ2/y1/,y2/,y3/ be two neutrosophic soft points in NS * b2 space. Then there exists disjoint NS * b open sets (f~,θ),(𝓆~,θ) such that κ1y1,y2,y3(f~,θ)&κ2/y1/,y2/,y3/(𝓆~,θ). Since κ1y1,y2,y3,θκ2/y1/,y2/,y3/=0(π~,θ) and (f~,θ)(𝓆~,θ)=0(π~,θ).κ2/y1/,y2/,y3/(f~,θ)κ2/y1/,y2/,y3/(f~,θ).¯ Next suppose that, κ1y1,y2,y3κ2/y1/,y2/,y3/, there exists a NS * b open set (f~,θ) containing κ1y1,y2,y3 but not κ2/y1/,y2/,y3/ such that κ2/y1/,y2/,y3/(f~,θ)¯c that is (f~,θ) and (f~,θ)¯c are mutually exclusive NS * b open sets supposing κ1y1,y2,y3 and κ2/y1/,y2/,y3/ in turn.

Theorem 4.8. Let π,τ1,τ2,θ be a NSBTS. Then π,τ1,τ2,θ is NS * b1 space if every neutrosophic soft point κ1y1,y2,y3(f~,θ)(π,τ,θ). If there exists NS * b open set (𝓆~,θ) such that κ1y1,y2,y3(𝓆~,θ)(𝓆~,θ)¯(f~,θ), Then π,τ1,τ2,θ a NS * b2 space.

Proof. Suppose κ1y1,y2,y3κ2/y1/,y2/,y3/=0(π~,θ). Since π,τ1,τ2,θ is NS * b1 space. κ1y1,y2,y3 and κ2/y1/,y2/,y3/ are NSb closed sets in π,τ1,τ2,θ. Then κ1y1,y2,y3(κ2/y1/,y2/,y3/)cπ,τ1,τ2,θ. Thus there exists a NS * b open set (𝓆~,θ)π,τ1,τ2,θ such that κ1y1,y2,y3(𝓆~,θ)(𝓆~,θ)¯(κ2/y1/,y2/,y3/)c. So we have κ2/y1/,y2/,y3/(𝓆~,θ) and (𝓆~,θ)((𝓆~,θ))c=0(π~,θ), that is π,τ1,τ2,θ is a neutrosophic soft * b2 space.

Definition 4.9. Let π,τ1,τ2,θ be a NSBTS. (f~,θ) be a NS * b closed set and κ1y1,y2,y3(f~,θ)=0(X~,θ). If there exists NS * b-open sets (𝓆1~,θ) and (𝓆2~,θ) such that κ1y1,y2,y3(𝓆1~,θ),(f~,θ)(𝓆2~,θ) & κ1y1,y2,y3(𝓆1~,θ)=0(π~,θ), then π,τ1,τ2,θ is called a NBS * b-regular space. π,τ1,τ2,θ is said to be NS * b3 space, if it is both a NS regular and NS B * b1 space.

Theorem 4.10. Let π,τ1,τ2,θ be a NSBTS. (π,τ,θ) is soft * b3 space if and only if for every κ1y1,y2,y3(f~,θ) that is (𝓆~,θ) (π,τ1,τ2,θ such that κ1y1,y2,y3(𝓆~,θ)(𝓆~,θ)¯(f~,θ).

Proof. Let π,τ1,τ2,θ is NS * b3 space and κ1y1,y2,y3(f~,θ)π,τ1,τ2,θ. Since π,τ1,τ2,θ is NS * b3 space for the neutrosophic soft point κ1y1,y2,y3 and NS * b closed set (f~,θ)c, there exists (𝓆1~,θ) and (𝓆2~,θ) such that κ1y1,y2,y3(𝓆1~,θ),(f~,θ)c(𝓆2~,θ) and (𝓆1~,θ)(𝓆2~,θ)=0(π~,θ). Then we have κ1y1,y2,y3,θ(𝓆1~,θ)(𝓆2~,θ)c(f~,θ). Since (𝓆2~,θ)cNSb closed set (𝓆1~,θ)¯(𝓆2~,θ)c. Conversely, let κ1y1,y2,y3,θ(H~,θ)=0(π~,θ) and (H~,θ) be a NS * b closed set. κ1y1,y2,y3(H~,θ)c and from the condition of the theorem, we have κ1y1,y2,y3(𝓆~,θ)(𝓆~,θ)¯(H~,θ)c. Thus κ1y1,y2,y3(𝓆~,θ),(H~,θ)(𝓆~,θ)¯c and (𝓆~,θ)(𝓆~,θ)¯c=0(π~,θ). So (π,τ1,τ2,θ is NSB * b3 space.

5  More Main Results

In this section, more main results are addressed. The structures in one space can be switched over to another space through soft functions satisfying some more conditions. These structures are separation axioms and other separation axioms, compactness and countably compactness.

Theorem 5.1. Let π,τ1,τ2,θ be NSBTS such that it is NSB * b Hausdorff space and (Y~,F1,F2,θ) be an-other NSBTS. Let 𝒻,θ: (π,τ1,τ2,θ)(Y~,F1,F2,θ) be an-other NSBTS be a soft function such that it is soft monotone and continuous. Then (Y~,F1,F2,θ) is also of characteristic of NSB * b Hausdorffness.

Proof. Suppose κ1y1,y2,y31,κ1y1,y2,y32π~ such that either κ1y1,y2,y31κ1y1,y2,y32 or κ1y1,y2,y31κ1y1,y2,y32. Since 𝒻,θ is soft monotone. Let us suppose the monotonically increasing case. So, κ1y1,y2,y31κ1Δ1,Δ2,Δ32 or κ1y1,y2,y31κ1y1,y2,y32 implies that 𝒻κ1y1,y2,y31𝒻κ1y1,y2,y32 or 𝒻κ1y1,y2,y31𝒻κ1y1,y2,y32 respectively. Suppose κ2/y1/,y2/,y3/1, κ2/y1/,y2/,y3/2Y~ such that κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 or κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 so, κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 or κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 respectively such that κ2/y1/,y2/,y3/1=𝒻κ1y1,y2,y31,κ2/y1/,y2/,y3/2=𝒻κ1y1,y2,y32, since, (π,τ1,τ2,θ) is NSB * b Hausdorff space so there exists mutually disjoint NS * b open sets 𝓀1,θ and 𝓀2,θ(π,τ1,τ2,θ)𝒻(𝓀1,θ) and 𝒻(𝓀2,θ)Y~,F,θ). We claim that 𝒻(𝓀1,θ)~𝒻(𝓀2,θ)=0(π~,θ~. Otherwise 𝒻(𝓀1,θ)~𝒻(𝓀2,θ)0(π~,θ)~. Suppose there exists κ3//y1//,y2//,y3//1𝒻(𝓀1,θ)~𝒻(𝓀2,θ)κ3//y1//,y2//,y3//1𝒻(𝓀1,θ)κ3//y1//,y2//,y3//1𝒻(𝓀2,θ),κ3//y1//,y2//,y3//1𝒻(𝓀1,θ),𝒻 is soft one-one and there exists κ3//y1//,y2//,y3//2𝓀1,θ such that κ3//y1//,y2//,y3//1=𝒻(κ3//y1//,y2//,y3//2),κ3//y1//,y2//,y3//1𝒻(𝓀2,θ)κ3//y1//,y2//,y3//3𝓀2,θ such that 𝒻(κ3//y1//,y2//,y3//3)𝒻(κ3//y1//,y2//,y3//2)=𝒻(κ3//y1//,y2//,y3//3). Since, 𝒻 is soft one-one κ3//y1//,y2//,y3//2=κ3//y1//,y2//,y3//3 implies that κ3//y1//,y2//,y3//2𝒻(𝓀1,θ),κ3//y1//,y2//,y3//2𝒻(𝓀2,θ) implies that κ3//y1//,y2//,y3//2𝒻(𝓀1,θ)~𝒻(𝓀2,θ). This is contradiction because 𝓀1,θ~𝓀2,θ=0(π~,θ). Therefore, 𝒻(𝓀1,θ)~𝒻(𝓀2,θ)=0(π~,θ). Finally, κ1y1,y2,y31κ1y1,y2,y32orκ1y1,y2,y31κ1y1,y2,y32κ1y1,y2,y31κ1y1,y2,y32𝒻(κ1y1,y2,y31)𝒻(κ1y1,y2,y32) or 𝒻(κ1y1,y2,y31)𝒻(κ1y1,y2,y32)𝒻(κ1y1,y2,y31)𝒻(κ1y1,y2,y32). Given a pair of points κ2/y1/,y2/,y3/1,κ2/y1/,y2/,y3/2Y~κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 We are able to find out mutually exclusive NS * b open sets 𝒻(𝓀1,θ),𝒻(𝓀2,θ)(Y~,F1,F2,θ) such that κ2/y1/,y2/,y3/1𝒻(𝓀1,θ),κ2/y1/,y2/,y3/2𝒻(𝓀2,θ) this proves that (Y~,F1,F2,θ) is NSB * b Husdorff space.

Theorem 5.2. Let (π~,τ1,τ2,θ) be NSBTS and (Y~,F1,F2,θ) be an-other NSBTS which satisfies one more condition of NSB * b Hausdorffness. Let 𝒻,θ: (π~,τ1,τ2,θ)(Y~,F1,F2,θ) a soft function such that it is soft monotone and continuous. Then (π~,τ1,τ2,θ) is also of characteristics of NSB * b Hausdorffness.

Proof. Suppose κ1y1,y2,y31,κ1y1,y2,y32π~ such that either κ1y1,y2,y31κ1y1,y2,y32 or κ1y1,y2,y31κ1y1,y2,y32. Let κ1y1,y2,y31κ1y1,y2,y32 or κ1y1,y2,y31κ1y1,y2,y32 implies that 𝒻(κ1y1,y2,y31)𝒻(κ1y1,y2,y32)or𝒻(κ1y1,y2,y31)𝒻(κ1y1,y2,y32) respectively. Suppose κ2/y1/,y2/,y3/1,κ2/y1/,y2/,y3/2Y~ such that κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 or κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2. So, κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2orκ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 respectively such that κ2/y1/,y2/,y3/2=𝒻((κ1y1,y2,y3)1),κ2/y1/,y2/,y3/2=𝒻(κ1y1,y2,y32) such that κ1y1,y2,y31=𝒻1(κ2/y1/,y2/,y3/1) and κ1y1,y2,y32=𝒻1(κ2/y1/,y2/,y3/2). Since κ2/y1/,y2/,y3/1,κ2/y1/,y2/,y3/2Y~ but (Y~,F1,F2,θ) is NSB * b Hausdorff space. So according to definition κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2 or κ2/y1/,y2/,y3/1κ2/y1/,y2/,y3/2. There definitely exists NS * b open sets 𝓀1,θ and 𝓀2,θ(Y~,F1,F2,θ) such that κ2/y1/,y2/,y3/1𝓀1,θ and κ2/y1/,y2/,y3/2𝓀2,θ and these two NS * b open sets which are disjoint. Since 𝒻1(𝓀1,θ) and 𝒻1(𝓀2,θ) are NS * b open in (π~,τ1,τ2,θ). Now, 𝒻1(𝓀1,θ)~𝒻1(𝓀1,θ)=𝒻1(𝓀1,θ~𝓀2,θ)=𝒻1(~)=0(π~~,θ)~ and (κ2/y1/,y2/,y3/)1𝓀1,θ𝒻1((κ2/y1/,y2/,y3/)1)𝒻1(𝓀1,θ)κ1y1,y2,y31(𝓀1,θ), κ2/y1/,y2/,y3/2𝓀2,θ𝒻1(κ2/y1/,y2/,y3/2)𝒻1(𝓀2,θ) implies that κ1y1,y2,y32(𝓀2,θ). (𝓀1,θ), κ1y1,y2,y32𝒻1(𝓀2,θ). Accordingly, NSBTS is * b Hausdorff space.

Theorem 5.3. Let (π~,τ1,τ2,θ) be NSBTS and (Y~,F1,F2,θ) be an-other NSBTS. Let 𝒻,θ: (π~,τ1,τ2,θ)(Y~,F1,F2,θ) be a soft mapping. Let (Y~,F1,F2,θ) is NSB * b Hausdorff space then it is guaranteed that {(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3)=𝒻(κ2/y1/,y2/,y3/)} is a NS * b closed sub-set of (π~,τ1,τ2,θ)×(Y~,F1,F2,θ).

Proof. Given that (π~,τ1,τ2,θ) be NSBTS and (Y~,F1,F2,θ) be an-other NSBTS. Let 𝒻,θ: (π~,τ1,τ2,θ)(Y~,F1,F2,θ) be a soft mapping such that it is continuous mapping (Y~,F1,F2,θ) is NSB * b Hausdorff space Then we will prove that {(((κ1y1,y2,y3)),κ2/y1/,y2/,y3/): 𝒻((κ1y1,y2,y3))=𝒻(κ2/y1/,y2/,y3/)} is a NS * b closed sub-set of (π~,τ1,τ2,θ)×(Y~,F1,F2,θ). Equavilintly, we will prove that {(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻((κ1y1,y2,y3))=(κ2/y1/,y2/,y3/)}c is NS * b open sub-set of (π~,τ1,τ2,θ)(Y~,F1,F2,θ). Let ((κ1y1,y2,y3),κ2/y1/,y2/,y3/){(κ1y1,y2,y3,κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/:𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c or (κ1y1,y2,y3,κ2/y1/,y2/,y3/){(κ1y1,y2,y3,κ2/y1/,y2/,y3/)withκ1y1,y2,y3κ2/y1/,y2/,y3/: 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c. Then, 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/) or 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/) accordingly. Since, (Y~,F1,F2,θ) is * b Hausdorff space. Certainly, 𝒻(κ1y1,y2,y3),𝒻(κ2/y1/,y2/,y3/) are points of (Y~,F1,F2,θ), there exists NS * b open sets G,θ,𝓀,θ(Y~,F1,F2,θ) such that 𝒻((κ1y1,y2,y3))G,θ, 𝒻(κ1y1,y2,y3)𝓀,θ provided G,θ~𝓀,θ=0(π~~,θ)Y~. Since, 𝒻,θ is soft continuous, 𝒻1(G,θ & 𝒻1(𝓀,θ are NS * b open sets in π~,τ1,τ2,θ supposing κ1y1,y2,y3 and κ2/y1/,y2/,y3/ respectively and so 𝒻1(G,θ×𝒻1(H,θ is basic NS * b open set in (π~,τ1,τ2,θ)(Y~,F1,F2,θ) containing ((κ1y1,y2,y3),κ2/y1/,y2/,y3/). Since G,θ~𝓀,θ=0θY~, it is clear by the definition of {((κ1y1,y2,y3),κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3)=𝒻(κ2/y1/,y2/,y3/)} that is {𝒻1(G,θ&𝒻1(𝓀,θ}~{((κ1y1,y2,y3),κ2/y1/,y2/,y3/):𝒻(𝓍)=𝒻(κ2/y1/,y2/,y3/)}=0(π,θ), that is 𝒻1(G,θ×𝒻1(𝓀,θ{(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3)=𝒻(κ2/y1/,y2/,y3/)}c. Hence, {(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3)=𝒻(κ2/y1/,y2/,y3/)}c implies that {(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3)=𝒻(κ2/y1/,y2/,y3/)} is NS * b closed.

Theorem 5.4. Let (π~,τ1,τ2,θ) be NSBTS and (Y~,F1,F2,θ) be an-other NSBTS. Let 𝒻,θ: (π~,τ1,τ2,θ)(Y~,F1,F2,θ) be a NS * b open mapping such that it is onto. If the soft set {(κ1y1,y2,y3,κ2/y1/,y2/,y3/):𝒻((κ1y1,y2,y3))=𝒻((κ2/y1/,y2/,y3/))} is NS * b closed in π~,τ1,τ2,θ×(Y~,F1,F2,θ), then π~,τ1,τ2,θ will behave as NSB * b Hausdorff space.

Proof. Suppose 𝒻(κ1y1,y2,y3),𝒻(κ2/y1/,y2/,y3/) be two points of Y~ such that either 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/) or 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/). Then (κ1y1,y2,y3, κ2/y1/,y2/,y3/){(κ2/y1/,y2/,y3/) with κ1y1,y2,y3(κ2/y1/,y2/,y3/):𝒻(κ1y1,y2,y3) 𝒻(κ2/y1/,y2/,y3/)} or (κ1y1,y2,y3,κ2/y1/,y2/,y3/){κ1y1,y2,y3 with κ1y1,y2,y3κ2/y1/,y2/,y3/: 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}, that is (κ1y1,y2,y3,κ2/y1/,y2/,y3/){(κ1y1,y2,y3, κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/:𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c or (κ1y1,y2,y3,κ2/y1/,y2/,y3/){(κ1y1,y2,y3,κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/: 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c. Since, (κ1y1,y2,y3,κ2/y1/,y2/,y3/){(κ1y1,y2,y3, κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/:𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c or (κ1y1,y2,y3,κ2/y1/,y2/,y3/){(κ1y1,y2,y3,κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/: 𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c is soft set in π~,τ1,τ2,θ×Y~,F1,F2,θ, then there exists NS * b open sets G,θ and 𝓀,θ in π~,τ1,τ2,θ such that (κ1y1,y2,y3,κ2/y1/,y2/,y3/)G,θ×𝓀,θ{((κ1y1,y2,y3),κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/:𝒻((κ1y1,y2,y3)) 𝒻(κ2/y1/,y2/,y3/)}c or (κ1y1,y2,y3,κ2/y1/,y2/,y3/)G,θ×𝓀,θ{((κ1y1,y2,y3),κ2/y1/,y2/,y3/) with κ1y1,y2,y3κ2/y1/,y2/,y3/:𝒻(κ1y1,y2,y3)𝒻(κ2/y1/,y2/,y3/)}c. Then, since 𝒻 is NS * b open, 𝒻(G,θ) and 𝒻(𝓀,θ) are NS * b open sets in (Y~,F1,F2,θ) containing 𝒻(κ1y1,y2,y3) and 𝒻(κ2/y1/,y2/,y3/) respectively, and 𝒻(G,θ) ~𝒻(𝓀,θ)=0(π~,θ)~ otherwise 𝒻(G,θ) ×𝒻(𝓀,θ)~{((κ1y1,y2,y3),) with (κ1y1,y2,y3)κ2/y1/,y2/,y3/:𝒻((κ1y1,y2,y3))𝒻(κ2/y1/,y2/,y3/)} or (((κ1y1,y2,y3),κ2/y1/,y2/,y3/)){((κ1y1,y2,y3),κ2/y1/,y2/,y3/)with(κ1y1,y2,y3)κ2/y1/,y2/,y3/: 𝒻((κ1y1,y2,y3))𝒻(κ2/y1/,y2/,y3/)}=0(π~,θ)~. It follows that Y~,F1,F2,θ is NSB * b Hausdorff space.

Theorem 5.5. Let π~,τ1,τ2,θ be a NSB second countable space and let 𝒻,θ be NS uncountable sub set of π~,τ1,τ2,θ. Then, at least one point of 𝒻,θ is a soft limit point of 𝒻,θ.

Proof. Let W=B1,B2,B3,B4,Bn:nNforπ~,τ1,τ2,θ.

Let, if possible, no point of 𝒻,θ be a soft limit point of 𝒻,θ. Then, for each κ1y1,y2,y3𝒻,θ there exists NS * b open set ρ,θ(κ1y1,y2,y3) such that κ1y1,y2,y3ρ,θ(κ1y1,y2,y3) and ρ,θ(κ1y1,y2,y3)~𝒻,θ={(κ1y1,y2,y3)}. Since W is soft base there exists Bn(κ1y1,y2,y3)W such that (κ1y1,y2,y3)Bn(κ1y1,y2,y3)ρ,θ(κ1y1,y2,y3). Therefore Bn(κ1y1,y2,y3)~𝒻,θρ,θ(κ1y1,y2,y3)~𝒻,θ={(κ1y1,y2,y3)}. More-over, if κ1y1,y2,y31 and κ1y1,y2,y32 be any two NS points such that κ1y1,y2,y31κ1y1,y2,y32 which means either κ1y1,y2,y31κ1y1,y2,y32 or κ1y1,y2,y31κ1y1,y2,y32 then there exists Bn(κ1y1,y2,y3)1 and Bn(κ1y1,y2,y3)2 in W such that Bn(κ1y1,y2,y3)1~𝒻,θ={(κ1y1,y2,y3)1} and Bn(κ1y1,y2,y3)2~𝒻,θ={(κ1y1,y2,y3)2}. Now, (κ1y1,y2,y3)1(κ1y1,y2,y3)2 which guarantees that {(κ1y1,y2,y3)1}{(κ1y1,y2,y3)2} which implies that Bn(κ1y1,y2,y3)1~𝒻,θBn(κ1y1,y2,y3)2~𝒻,θ which implies Bn(κ1y1,y2,y3)1Bn(κ1y1,y2,y3)2. Thus, there exists a one to one soft correspondence of 𝒻,θ on to {Bn(κ1y1,y2,y3):(κ1y1,y2,y3)𝒻,θ}. Now, 𝒻,θ being NS uncountable, it follows that {Bn(κ1y1,y2,y3):(κ1y1,y2,y3)𝒻,θ} is NS uncountable. But, this is purely a contradiction.

Theorem 5.6. Let π~,τ1,τ2,θ and Y~,F1,F2,θ be two NSBTS and suppose f,θ be a NS continuous function such that f,θ:π~,τ1,τ2,θY~,F1,F2,θ is NS continuous function and let L,θπ~,τ1,τ2,θ supposes the B.V.P. then safely f(L,θ) has the B.V.P.

Proof: Suppose L,θ be an infinite NS sub-set of f,θ, so that L,θ contains an enumerable NS set (κ1y1,y2,y3)n:nN then there exists enumerable NS set (κ2/y1/,y2/,y3/)n:nNL,θ s.t. f((κ2/y1/,y2/,y3/)n)=(κ1y1,y2,y3)n.L,θ has B.V.P implies that every infinite soft subset of L,θ supposes soft accumulation point belonging to L,θ this implies that (κ2/y1/,y2/,y3/)n:nN has soft neutrosophic limit poit, say, (κ2/y1/,y2/,y3/)0L,θ implies that the limit of soft sequence (κ2/y1/,y2/,y3/)n:nN is (κ2/y1/,y2/,y3/)0L,θ(κ2/y1/,y2/,y3/)n(κ2/y1/,y2/,y3/)0L,θ. f is soft continuous implies that it is soft continuous. Furthermore (κ2/y1/,y2/,y3/)n(κ2/y1/,y2/,y3/)0L,θf(((κ2/y1/,y2/,y3/)n))f(((κ2/y1/,y2/,y3/)0))f(L,θ)(κ1y1,y2,y3)nf((κ2/y1/,y2/,y3/)0)f(L,θ) implies that limit of a soft sequence (κ1y1,y2,y3)n:nN is f((κ2/y1/,y2/,y3/)0)f(L,θ) implies that limit of a soft sequence (κ1y1,y2,y3)n:nN is f(y1/,y2/,y3/)f,θ(L,θ). Finally we have shown that there exists infinite soft subset (κ1y1,y2,y3)n:nN of f(L,θ) containing a limit point f((κ2/y1/,y2/,y3/)0)f(L,θ). This guarantees that f(L,θ) has B.V.P.

Theorem5.7. Let π~,τ1,τ2,θ NSBTS and let (κ1y1,y2,y3)n~ be a NS sequence in π~,τ1,τ2,θ such that it converges to a point (κ1y1,y2,y3)0 then the soft set 𝓆,θ consisting of the points (κ1y1,y2,y3)n0 and (κ1y1,y2,y3)n(n=1,2,3,) is soft NSB compact.

Proof. Given π~,τ1,τ2,θNSBTS and let (κ1y1,y2,y3)n~ be a NS sequence in π~,τ1,τ2,θ such that it converges to a point (κ1y1,y2,y3)n0 that is (κ1y1,y2,y3)n~(κ1y1,y2,y3)n0 π~. Let 𝓆,θ=[κ1y1,y2,y3~,(κ1y1,y2,y3)2~,(κ1y1,y2,y3)3~,(κ1y1,y2,y3)4~,(κ1y1,y2,y3)5~,(κ1y1,y2,y3)6~,(κ1y1,y2,y3)7~,]. Let {S,θα:αΔ} be NS * b open covering of 𝓆,θ so that 𝓆,θ~{S,θα:αΔ},(κ1y1,y2,y3)n0𝓆,θ implies that there exists α0Δ such that (κ1y1,y2,y3)n0S,θα0. According to the definition of soft convergence, (κ1y1,y2,y3)n0S,θα0(π~,τ1,τ2,θ) implies thatthere exists n0Ns.t.nn0 and (κ1y1,y2,y3)nS,θα0. Evidently, S,θα0 contains the points (κ1y1,y2,y3)n0,(κ1y1,y2,y3)n0+1, (κ1y1,y2,y3)n0+2, (κ1y1,y2,y3)n0+3,(κ1y1,y2,y3), (κ1y1,y2,y3)n0+n, Look carefully at the points and train them in a way as, (κ1y1,y2,y3)1,(κ1y1,y2,y3)2,(κ1y1,y2,y3)3, (κ1y1,y2,y3)4, (κ1y1,y2,y3)n, generating a finite soft set. Let 1n01. Then (κ1y1,y2,y3)i𝓆,θ. For this i,(κ1y1,y2,y3)i𝓆,θ. Hence there exists αiΔ such that (κ1y1,y2,y3)iS,θαi. Evidently 𝓆,θr=0n01S,θαi~. This shows that {S,θαi:0n01} is NS * b open cover of 𝓆,θ. Thus an arbitrary NS * b open cover {S,θα:αΔ} of 𝓆,θ is reducible to a finite NS cub-cover {S,θαi:i=0,1,2,3,n01}, it follows that 𝓆,θ is soft NSB * b compact.

Theorem5.8. If (π~,τ1,τ2,θ)NSBTS such that it has the characteristics of NS * b sequentially compactness. Then π~,τ1,τ2,θ is safely NSB * b countably compact.

Proof. Let π~,τ1,τ2,θNSBTS and let ρ,θ be finite soft sub-set of π~,τ1,τ2,θ. Let [(κ1y1,y2,y3)1~,(κ1y1,y2,y3)2~,(κ1y1,y2,y3)3~,(κ1y1,y2,y3)4~,(κ1y1,y2,y3)5~,(κ1y1,y2,y3)6~,(κ1y1,y2,y3)7~,] be a soft sequence of soft points of ρ,θ. Then, ρ,θ being finite, at least one of the elements in ρ,θ say (κ1y1,y2,y3)0~ must be duplicated an in-finite number of times in the NS sequence. Hence, [(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,(κ1y1,y2,y3)0~,] is soft sub-sequence of (κ1y1,y2,y3)n~ such that it is soft constant sequence and repeatedly constructed by single soft number (κ1y1,y2,y3)0~ and we know that a soft constant sequence converges on its self. So it converges to (κ1y1,y2,y3)0~ which belongs to ρ,θ. Hence, ρ,θ is soft sequentially NSB * b compact.

Theorem 5.9. Let π~,τ1,τ2,θNSBTS and (Y~,F1,F2,θ) be another NSBTS. Let 𝒻,θ be a soft continuous mapping of a soft neutrosophic sequentially compact NS * b space π~,τ1,τ2,θ into (Y~,F1,F2,θ), then 𝒻,θπ~,τ1,τ2,θ is NSB * b sequentially compact.

Proof. Given π~,τ1,τ2,θNSBTS and (Y~,F1,F2,θ) be another NSBTS. Let 𝒻,θ be a soft continuous mapping of a NSB sequentially compact space (π~,τ1,τ2,θ) into (Y~,F1,F2,θ) then we have to prove 𝒻,θπ~,τ1,τ2,θ NS sequentially. For this we proceed as. Let [(κ2/y1/,y2/,y3/)1~,(κ2/y1/,y2/,y3/)2~,,(κ2/y1/,y2/,y3/)5~,(κ2/y1/,y2/,y3/)6~,(κ2/y1/,y2/,y3/)7~,(κ2/y1/,y2/,y3/)n~,.] be a soft sequence of neutrosophic soft points in 𝒻,θ(π~,τ1,τ2,θ), Then for each nN there exists (κ1y1,y2,y3)1~,(κ1y1,y2,y3)2~,(κ1y1,y2,y3)4~,(κ1y1,y2,y3)5~,(κ1y1,y2,y3)7~,(κ1y1,y2,y3)n~,.(π~,τ1,τ2,θ)such that 𝒻,θ[((κ1y1,y2,y3)1~,(κ1y1,y2,y3)2~,(κ1y1,y2,y3)3~,(κ1y1,y2,y3)7~,(κ1y1,y2,y3)n~,.)]=[(κ2/y1/,y2/,y3/)1~,(κ2/y1/,y2/,y3/)2~,(κ2/y1/,y2/,y3/)3~,κ2/y1/,y2/,y3/4~,(κ2/y1/,y2/,y3/)6~,(κ2/y1/,y2/,y3/)7~,(κ2/y1/,y2/,y3/)n~,.]. Thus we obtain a soft sequence [(κ1y1,y2,y3)1~,(κ1y1,y2,y3)2~,(κ1y1,y2,y3)3~,(κ1y1,y2,y3)4~,(κ1y1,y2,y3)5,(κ1y1,y2,y3)6~,(κ1y1,y2,y3)7~,(κ1y1,y2,y3)n~,.] in π~,τ1,τ2,θ. But π~,τ1,τ2,θ being soft sequentially NSB * b compact, there is a NS sub-sequence (κ1y1,y2,y3)ni~of

(κ1y1,y2,y3)n~ such that (κ1y1,y2,y3)ni~(κ1y1,y2,y3)~π~,τ1,τ2,θ. So, by NS * b contiuity of 𝒻,θ,(κ1y1,y2,y3)ni~(κ1y1,y2,y3θ)~ implies that 𝒻,θ((κ1y1,y2,y3)ni~)𝒻,θ((κ1y1,y2,y3)n~)𝒻,θπ~,τ1,τ2,θ. Thus, 𝒻,θ((κ2/y1/,y2/,y3/)ni~) is a soft sub-sequence of [(κ2/y1/,y2/,y3/)1~,(κ2/y1/,y2/,y3/)2~,(κ2/y1/,y2/,y3/)3,(κ2/y1/,y2/,y3/)5~,(κ2/y1/,y2/,y3/)5~,(κ2/y1/,y2/,y3/)6~,(κ2/y1/,y2/,y3/)7~,(κ2/y1/,y2/,y3/)n~,.] converges to (𝒻,θ)(κ1~) in 𝒻,θ π~,τ1,τ2,θ. Hence, 𝒻,θπ~,τ1,τ2,θ is NS * b sequentially compact.

Theorem5.10. Let π~,τ1,τ2,θNSBTS and suppose 𝒻,θ,𝓆,θ be two NS continuous function on a NS BTS π~,τ1,τ2,θ in to NSBTS Y~,F1,F2,θ which is NSB * b Hausdorff. Then, soft set {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)((κ1y1,y2,y3))} is NS * b closed of π~,τ1,τ2,θ.

Proof: Let If {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)((κ1y1,y2,y3))} is a NS set of function. If {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)(κ1)}c=~, it is clearly NS * b open and therefore, {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)((κ1y1,y2,y3))} is * b closed, that is nothing is proved in this case. Let us consider the case when {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))= (𝓆)((κ1y1,y2,y3))}c(κ1y1,y2,y3) and let ρ{(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))= (𝓆)((κ1y1,y2,y3))}c. Then ρ does not belong {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)(κ1)}. Result in (𝒻)(ρ)(𝓆)(ρ). Now, (Y~,F1,F2,θ) being NSB * b Hausdorff space so there exists NS * b open sets 𝓆,θ, H,θ of (𝒻)(ρ) and (𝓆)(ρ) respectively such that 𝓆,θ and H,θ such that these NS sets such that the possibility of one rules out the possibility of other. By soft continuity of 𝒻,θ,𝓆,θ, 𝒻,θ1 as well as 𝓆,θ1 is NS * b open nhd of ρ and therefore, so is 𝒻,θ1~𝓆,θ1 is contained in {(κ1y1,y2,y3)π~:(𝒻)((κ1y1,y2,y3))=(𝓆)((κ1y1,y2,y3))}, for, (κ1y1,y2,y3)(𝒻,θ1~𝓆,θ1)(𝒻)((κ1y1,y2,y3))𝓆,θ and (𝓆)((𝒻)((κ1y1,y2,y3))(𝓆)((κ1y1,y2,y3)) because 𝓆,θ and H,θ are mutually exclusive. This implies that κ1 does not belong to {(κ1