Next Article in Journal
Some Refinements of Ostrowski’s Inequality and an Extension to a 2-Inner Product Space
Next Article in Special Issue
Neutrosophic Triangular Norms and Their Derived Residuated Lattices
Previous Article in Journal
Multi-Criteria Fuzzy-Stochastic Diffusion Model of Groundwater Control System Selection
Previous Article in Special Issue
Application of the Bipolar Neutrosophic Hamacher Averaging Aggregation Operators to Group Decision Making: An Illustrative Example
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Introduction to Non-Standard Neutrosophic Topology

by
Mohammed A. Al Shumrani
1 and
Florentin Smarandache
2,*
1
Department of Mathematics, King Abdulaziz University, Jeddah 21589, Saudi Arabia
2
Mathematics Department, University of New Mexico, Gallup, NM 87301, USA
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(5), 706; https://doi.org/10.3390/sym11050706
Submission received: 10 May 2019 / Revised: 16 May 2019 / Accepted: 20 May 2019 / Published: 23 May 2019

Abstract

:
For the first time we introduce non-standard neutrosophic topology on the extended non-standard analysis space, called non-standard real monad space, which is closed under neutrosophic non-standard infimum and supremum. Many classical topological concepts are extended to the non-standard neutrosophic topology, several theorems and properties about them are proven, and many examples are presented.

1. Introduction to Non-Standard Analysis

The purpose of this study is to initiate for the first time a new field of research, called non-standard neutrosophic algebraic structures, and we start with non-standard neutrosophic topology (NNT) in this paper. Being constructed on the set of hyperreals, that includes the infinitesimals, NNT can further be utilized in neutrosophic calculus applications.
As a branch of mathematical logic, non-standard analysis [1] deals with hyperreal numbers, which include infinitesimals and infinities.
The introduction of infinitesimals in calculus has been debated philosophically in the history of mathematics since the time of G. W. Leibniz, with pros and cons. Many mathematicians prefer the epsilon-delta use in calculus concepts’ definitions and theorems’ proofs.
By the 1960s Abraham Robinson had developed non-standard analysis [2] in a more rigorous way.
Besides calculus, non-standard analysis found applications in mathematical physics, mathematical economics, and in probability theory.
In 1998, Smarandache [3] used non-standard analysis in philosophy and in neutrosophic logic, in order to differentiate between absolute truth (which is truth in all possible worlds, according to Leibniz), and relative truth (which is, according to the same Leibniz, truth in at least one world). Let T represent the neutrosophic truth value, I the neutrosophic indeterminacy value, and F the neutrosophic falsehood value, with T, I, F ∊ [0, 1+]. Then T (absolute truth) = 1+ = μ (1+), while T (relative truth) = 1. This is analogously for absolute falsehood vs. relative falsehood, and absolute indeterminacy vs. relative indeterminacy.
Then he extended [3] the use of non-standard analysis to neutrosophic set (absolute membership/indeterminacy/nonmembership vs. relative membership/indeterminacy/nonmembership respectively) and to neutrosophic probability (absolute occurrence/indeterminate occurrence/nonoccurence of an event vs. relative occurrence/indeterminate occurrence/nonoccurence of an event, respectively).
We next recall several notions and results from classical non-standard analysis [2] that are needed to defining and developing the non-standard neutrosophic topology.
The set R* of nonstandard reals (or hyperreals) is the generalization of the real numbers (R).
The transfer principle states that first-order statements that are valid in R are also valid in R*.
R* includes the infinites and the infinitesimals, which on the hyperreal number line may be represented as 1/ε = ω/1.
An infinite (or infinite number) (ω) is a number that is greater than anything:
1 + 1 + 1 + + 1 (for any number of finite terms)
The infinitesimals are reciprocals of infinites.
An infinitesimal (or infinitesimal number) ( ε ) is a number ε such that | ε | < 1 / n , for any non-null positive integer n.
An infinitesimal is so small that it cannot be measured, and it is very close to zero.
The infinitesimal in absolute value, is a number smaller than anything nonzero positive number.
In calculus one uses the infinitesimals.
By R+* we denote the set of positive non-zero hyperreal numbers.
Left Monad {for simplicity, denoted [2] by (a) or only a} was defined as:
μ ( a ) = ( a ) = a = a ¯ = { a x , x R + * | x   i s   i n f i n i t e s i m a l }
Right Monad {for simplicity, denoted [2] by (a+) or only by a+} was defined as:
μ ( a + ) = ( a + ) = a + = a + = { a + x , x R + * | x   i s   i n f i n i t e s i m a l }
μ (a) is a monad (halo) of an element aR*, which is formed by a subset of numbers infinitesimally close (to the left-hand side, or right-hand side) to a.

1.1. Non-Standard Analysis’s First Extension

In 1998, Smarandache [3] introduced the pierced binad.
Pierced binad {for simplicity, denoted by (a+) or only a+} was defined as:
μ ( a + ) = ( a + ) = a + = a + = = { a x , x R + * | x   i s   i n f i n i t e s i m a l }     { a + x , x R + * | x   i s   i n f i n i t e s i m a l } = { a ± x , x R + * | x   i s   i n f i n i t e s i m a l }
This extension was needed in order to be able to do union aggregations of non-standard neutrosophic sets, where a left monad μ (a) had to be united with a right monad μ (a+), as such producing a pierced binad: μ (a) μ (a+) = N μ (a+). Without this pierced binad we would not have been able to define the non-standard neutrosophic operators.

1.2. Non-Standard Analysis’s Second Extension

Smarandache [4,5] introduced at the beginning of 2019 for the first time, the left monad closed to the right, the right monad closed to the left, and unpierced binad, defined as below:
Left Monad Closed to the Right
μ ( a 0 ) = ( a 0 ) = a 0 = { a x | x = 0 , o r   x R + * a n d   x   i s   i n f i n i t e s i m a l } = μ ( a ) { a } = ( a ) { a } =   a { a }
Right Monad Closed to the Left
μ ( a 0 + ) = ( a 0 + ) = a 0 + = { a + x | x = 0 , o r   x R + * a n d   x   i s   i n f i n i t e s i m a l } = μ ( a + ) { a } = ( a + ) { a } = a + { a }
Unpierced Binad
μ ( a 0 + ) = ( a 0 + ) = a 0 + = { a x |   x R + * a n d   x   i s   i n f i n i t e s i m a l } { a + x |   x R + * a n d   x   i s   i n f i n i t e s i m a l } { a } = { a ± x | x = 0 , o r   x R + * a n d   x   i s   i n f i n i t e s i m a l } = μ ( a + ) { a } = ( a + ) { a } =   a + { a }
Therefore, as seen, the element {a} has been included in both the left and right monads, and also in the pierced binad respectively.
All monads and binads are subsets of R*.
This second extension was done in order to be able to compute the non-standard aggregation operators (negation, conjunction, disjunction, implication, equivalence) in non-standard neutrosophic logic, set, and probability, and now we need them in non-standard neutrosophic topology.

1.3. The Best Notations for Monads and Binads

For any standard real number aR, we employ the following notations for monads and binads:
a m { a , a , a 0 , a + , a 0 + , a + , a 0 + }   and   by   convention   a 0 = a ;
where
m ∊ {, −0, +, +0, −+, −0+} = {0, , −0, +, +0, −+, −0+};
thus “m” written above the standard real number “a” means: a standard real number (0, or nothing above), or a left monad (), or a left monad closed to the right (−0), or a right monad (+), or a right monad closed to the left (0+), or a pierced binad (−+), or a unpierced binad (−0+) respectively.
Neutrosophic notations will have an index N associated to each symbol, for example: the classical symbol < (less than), becomes < N (neutrosophically less than, i.e., some indeterminacy is involved, especially with respect to infinitesimals, monads and binads).
Similarly for: ∩ and ∩N, and N etc.

1.4. Non-Standard Neutrosophic Inequalities

We have the following neutrosophic non-standard inequalities (taking into account the definitions of infinitesimals, monads and binads):
(a) < N a < N (a+)
because
x R + * , a x < a < a + x
where x is a (nonzero) positive infinitesimal.
The converse also is true:
(a+) > N a > N (−a)
Similarly:
(a) ≤ N(a+) ≤ N(a+)
To prove it, we rely on the fact that (a+) = (a) (a+) and the number a is in between the subsets (on the real number line) a = (aε, a) and a+ = (a, a + ε), so:
( a ) N ( a ) ( a + ) N ( a + )
Conversely, it is neutrosophically true too:
( a + ) N ( a ) ( a + ) N ( a )
Also , a N a 0 N a N a 0 + N a +   and   a N a + N a 0 + N a +
Conversely, they are also neutrosophically true:
a + N a 0 + N a N a 0 N a   and   a + N a 0 + N a + N a   respectively .
Let a, b be two standard real numbers. If a > b, which is (standard) classical real inequality, then we have:
a > N ( b ) , a > N ( b + ) , a > N ( b + ) , a > N b 0 , a > N b 0 + , a > N b 0 + ;
( a ) > N b , ( a ) > N ( b ) , ( a ) > N ( b + ) , ( a ) > N ( b + ) , a > N b 0 , a > N b 0 + , a > N b 0 + ;
( a + ) > N b , ( a + ) > N b ( b ) , ( a + ) > N b ( b + ) , ( a + ) > N b ( b + ) , a + > N b 0 , a + > N b 0 + , a + > N b 0 + ;
(a+) > N b, (a+) > N (b), (a+) > N (b+), (a+) > N (b+), etc.
No non-standard order relationship between a and (a+),
nor between a and (−0a+).

1.5. Neutrosophic Infimum and Neutrosophic Supremum

1.5.1. Neutrosophic Infimum

Let (S, <N) be a set, which is neutrosophically partially ordered, and let M be a subset of S.
The neutrosophic infimum of M, denoted by infN (M), is the neutrosophically greatest element in S, which is neutrosophically less than or equal to all elements of M.

1.5.2. Neutrosophic Supremum

Let (S, <N) be a set, which is neutrosophically partially ordered, and let M be a subset of S.
The neutrosophic supremum of M, denoted by supN (M), is the neutrosophically smallest element in S, which is neutrosophically greater than or equal to all elements of M.
The neutrosophic infimum and supremum are both extensions of the classical infimum and supremum respectively, using the transfer principle from the real set R to the neutrosophic real MoBiNad set NRMB defined below.

1.5.3. Property

If   a m 1 , b m 2   are   left   monads ,   right   monads ,   pierced   binads ,   or   unpierced   monads , then   both   inf N { a m 1 , b m 2 }   and   sup N { a m 1 , b m 2 }   are   left   monads   or   right   monads .

1.6. Non-Standard Real MoBiNad Set

MoBiNad [3] etymologically comes from monad + binad.
Let R and R* be the set of standard real numbers, and respectively the set of hyper-reals (or non-standard reals) that contains the infinitesimals and infinites.
The Non-standard Real MoBiNad Set [2] is built as follows:
N R M B = N { ε , ω , a , ( a ) , ( a 0 ) , ( a + ) , ( 0 a + ) , ( a + ) , ( a 0 + )   | where   ε   are   infinitesimals , with   ε R * ; ω = 1 / ε   are   infinites ,   with   ω R * ; and   a   are   real   numbers ,   with   a R }
or,
N R M B = N { ε , ω , a m | where   ε , ω * , ε   are   infinitesimals ,   ω = 1 ε   are   infinitesimals ; a R ;   and   m { , ,   0 , + , +   0 ,   + ,   0   + } }
As a set, NRMB is closed under addition, subtraction, multiplication, division [except division by a m , with a = 0 and m { , ,   0 , + , 0 + ,   + ,   0   + } ], and power
{ ( a m 1 ) ( b m 2 )   with :   either   a > 0 ,   or   a     0   but   b = p r   ( irreducible   fraction )   and   p ,   r   are positive   integers   with   r   an   odd   number } .

1.7. Remark

The neutrosophic infimum and neutrosophic maximum are well-defined on the Non-standard Real MoBiNad Set NRMB, in the sense that we can compute infN and supN of any subset of NRMB.

1.8. Non-Standard Real Open Monad Unit Interval

Since there is no relationship of order between a and a+, not between a and (−0a+), and we need a total order relationship on the set of non-standard real numbers, we remove all binads and keep only the open left monads and open right monads [we also remove the monads closed to one side].
] 0 ,   1 + [ M = { a ,   ε , a , a + | a [ 0 , 1 ] , ε R * , ε > 0 }
where a is subunitary real number, and ε is an infinitesimal number.
The non-standard neutrosophic unit interval ]0, 1+[M includes the previously defined ]0, 1+[ as follows:
] 0 , 1 + [ = N ( 0 ) [ 0 , 1 ] ( 1 + ) N ] 0 , 1 + [ M
where the index M means that the interval includes all open monads and infinitesimals between 0 and 1+.

2. General Monad Neutrosophic Set

Let U be a universe of discourse, and S ⊂ U be a subset. Then, a Neutrosophic Set is a set for which each element x from S has a degree of membership (T), a degree of indeterminacy (I), and a degree of non-membership (F), with T, I, F standard or non-standard real monad subsets or infinitesimals, neutrosophically included in or equal to the nonstandard real monad unit interval ], +[M, or
T, I, FN]0, 1+[M
where
0 N i n f N T + i n f N I + i n f N F N s u p N T + s u p N I + s u p N F 3 + .

2.1. Non-Standard Neutrosophic Set

Let us consider the above general definition of general neutrosophic set, and assume that at least one of T, I, or F (the neutrosophic components) is a non-standard real monad subset or infinitesimal, neutrosophically included in or equal to ] 0 , 1 + [ M , where
0 N i n f N T + i n f N I + i n f N F N s u p N T + s u p N I + s u p N F 3 + ,
we have a non-standard neutrosophic set.

2.2. Non-Standard Fuzzy t-Norm and Fuzzy t-Conorm

Let T1, and T2, ∊]0, 1+[M, be nonstandard real numbers (infinitesimals, or open monads), or standard (classical) real numbers, such that at least one of them is a non-standard real number. T1 and T2 are non-standard fuzzy degrees of membership. Then one has:
The non-standard fuzzy t-norms:
T1/\FT2 = infN {T1, T2}
The non-standard fuzzy t-conorms:
T1\/FT2 = supN {T1, T2}

2.3. Aggregation Operators on Non-Standard Neutrosophic Set

Let T1, I1, F1 and T2, I2, F2 ∊ ]0, 1+[MB, be nonstandard real numbers (infinitesimals, or monads), or standard (classical) real numbers, such that at least one of them is a non-standard real number.
Non-Standard Neutrosophic Conjunction
(T1, I1, F1) ∧N (T2, I2, F2) = (T1F T2, I1F I2, F1F F2) =
(infN (T1, T2), supN (I1, I2), supN (F1, F2))
Non-Standard Neutrosophic Disjunctions
(T1, I1, F1) N (T2, I2, F2) = (T1F T2, I1 F I2, F1 F F2) =
(supN (T1, T2), infN (I1, I2), infN (F1, F2))
Non-Standard Neutrosophic Complement/Negation
We may use the notations CN or ¬ N for the neutrosophic complement.
C N ( T 1 , I 1 , F 1 ) = N ¬ N ( T 1 , I 1 , F 1 ) = N ( F 1 , I 1 , T 1 ) .
Non-Standard Neutrosophic Inclusion/Inequality
( T 1 , I 1 , F 1 ) N ( T 2 , I 2 , F 2 )   i f f   T 1 N T 2 , I 1 N I 2 , F 1 N F 2 .
Let A , B P (X), if A N B then B is called a neutrosophic superset of A.
Non-standard Neutrosophic Equality
(T1, I1, F1) =N(T2, I2, F2) iff (T1, I1, F1) ≤ N(T2, I2, F2) and (T2, I2, F2) ≤ N(T1, I1, F1).
Non-Standard Monad Neutrosophic Universe of Discourse
We now introduce for the first time the non-standard neutrosophic universe.
Definition 1.
A general set U, defined such that each element x ∊ U has neutrosophic coordinates of the form x(Tx, Ix, Fx), such that Tx represents the degree of truth-membership of the element x with respect to set U, Ix represents the degree of indeterminate-membership of the element x with respect to the set U, and Fx represents the degree of false-membership of the element x with respect to the set U; where Tx, Ix, and Fx are non-standard or standard subsets of the neutrosophic real monad set NRM, but at least one of all of them is non-standard (i.e., contains infinitesimals, or open monads).
Single-Valued Non-Standard Neutrosophic Topology
Let U be a single-valued non-standard neutrosophic universe of discourse, i.e., for all x U, their neutrosophic components Tx, Ix, Fx are single-values (either real numbers, or infinitesimals, or open monads) belonging to ]0, 1+[
Definition 2.
Let X be a non-standard neutrosophic subset of U. The neutrosophic empty-set, denoted by 0N = (0, 1+, 1+), is a set Φ N X whose all elements have the non-standard neutrosophic components equal to (0, 1+, 1+). The whole set, denoted by 1N = (1+, 0, 0), is a set WN ⊂ X whose all elements have the non-standard neutrosophic components equal to (1+, 0, 0).
Definition 3.
Let X be a non-standard neutrosophic set. Let A = (T1, I1, F1) and B = (T2, I2, F2) be non-standard neutrosophic numbers. Then:
A ∩ B = (infN (T1, T2), supN (I1, I2), supN (F1, F2))
A ∪ B = (supN (T1, T2), infN (I1, I2), infN (F1, F2))
CNA = (F1, I1, T1)
Definition 4.
Let X be a non-standard neutrosophic set. Let A(X) be the family of all non-standard neutrosophic sets in X. Let τ A (X) be a family of non-standard neutrosophic sets in X. Then τ is called a Non-standard Neutrosophic Topology on X, if it satisfies the following axioms:
(i)
0N and 1N are in τ.
(ii)
The intersection of the elements of any finite subcollection of τ is in τ.
(iii)
The union of the elements of any subcollection of τ is in τ.
The pair (X, τ) is called a non-standard neutrosophic topological space. All members of τ are called non-standard neutrosophic open sets in X.
Example 1.
Let X be a non-standard neutrosophic set. Let τ be the set consisting of 0N and 1N. Then τ is a topology on X. It is called the non-standard neutrosophic trivial topology.
Example 2.
Let X be a non-standard neutrosophic set. Let A be a non-standard neutrosophic set in X. Let τ = {0N, 1N, A}. Then it can be easily shown that τ is a topology on X.
Example 3.
Let X be a non-standard neutrosophic set. Let A and B be non-standard neutrosophic sets in X such that A is a neutrosophic superset of B. Let τ = {0N, 1N, A, B}. Then since A ∩ B = B and A ∪ B = A we deduce that τ is a topology on X.
Example 4.
Let X be a non-standard neutrosophic set. Suppose we have a nested sequence
A 1 A 2 A 3 A n 1 A n
of non-standard neutrosophic sets in X such that each An is a neutrosophic superset of An−1 for each
n ∊ {1, 2, 3, …}.
Let τ = {0N, 1N, An: n ∊N}. Then since AiN Aj = Ai and AiN Aj = Aj for each i less than j, we deduce that τ is a topology on X.
Example 5.
Let X be a non-standard neutrosophic infinite set:
X = ( x m , n , p ( ( 0.7 + ) m , ( 0.2 ) n , ( 0.6 ) p ) , x m , n , p X ; m , n , p { 1 , 2 , } )
Let M100 be a family of subsets of X, such that each member Am,n,p of the family has:
m, n, p ∊ {1, 2, …, 100}.
Then τ = {0N, 1N, M100} is a non-standard neutrosophic topology.
Proof. 
Any monad ( a m ) raised to the integer power k > 0, is equal to the monad of ak:
( a m ) k = ( a k ) m
Let’s consider two non-standard neutrosophic elements from X:
x m 1 , n 1 , p 1 ( ( 0.7 + ) m 1 , ( 0.2 ) n 1 , ( 0.6 ) p 1 )   and   x m 2 , n 2 , p 2 ( ( 0.7 + ) m 2 , ( 0.2 ) n 2 , ( 0.6 ) p 2 )
where
m1, n1, p1, m2, n2, p2 ∊ {1, 2, , 100}.
It is sufficient to prove that their non-standard neutrosophic finite intersection and the random union of elements from M100 are in M100.
x m 1 , n 1 , p 1 N   x m 2 , n 2 , p 2 = N ( inf N { ( 0.7 + ) m 1 , ( 0.7 + ) m 2 } , SUP N { ( 0.2 ) n 1 , ( 0.2 ) n 2 } , SUP N { ( 0.6 ) p 1 , ( 0.6 ) p 2 } ) = ( ( 0.7 + ) max { m 1 , m 2 } , ( 0.2 ) min { n 1 , n 2 } , ( 0.6 ) min { p 1 , p 2 } ) M 100
because also max{m1, m2}, min{n1, n2}, min{p1, p2} ∊ M100.
m , n , p ( ψ 1 , ψ 2 , ψ 3 ) { 1 , 2 , , 100 } 3 { x m , n , p ( ( 0.7 + ) m , ( 0.2 ) n , ( 0.6 ) p ) } = ( ( 0.7 + ) min { m , m ψ 1 } , ( 0.2 ) max { n , n ψ 2 } , ( 0.6 ) m ax { p , p ψ 3 } ) M 100
 □
Definition 5.
Let X be a non-standard neutrosophic set. Suppose that τ and τ’ are two topologies on X such that τ ⊂ τ ‘. Then we say that τ’ is finer than τ.
Example 6.
Let X be a non-standard neutrosophic set. Let A and B be non-standard neutrosophic sets in X such that A is a neutrosophic superset of B. Let τ = {0N, 1N, A} and τ’ = {0N, 1N, B}.
Then τ’ is finer than τ.
Example 7.
Let’s consider the above Example 5. In addition to M100, let’s define L100 as follows:
L 100 = { x m , n , p ( ( 0.7 + ) m , ( 0.2 ) n , ( 0.6 ) p ) , x m , n , p X ; m , n , p { 2 , 4 , 6 , , 100 } }
The non-standard neutrosophic topology τ = {0N, 1N, M100} is a finer non-standard neutrosophic topology than the non-standard neutrosophic topology τ’ = {0N, 1N, L100}.
Definition 6.
The subset Z of a non-standard neutrosophic topological space X is called a non-standard neutrosophic closed set if its complement CN (Z) is open in X.
Example 8.
Let Y be a non-standard neutrosophic infinite set
Y = { y m , n ( ( 0.5 + ) m , ( 0.1 ) n , ( 0.5 + ) m ) , y m , n Y ; m , n { 1 , 2 , } }
and P (Y) the power set of Y.
Let τ P (Y) be a non-standard neutrosophic topology.
Each non-standard neutrosophic set A ∊ τ is a non-standard neutrosophic open set and closed set in the same time, because its non-standard neutrosophic complement CN (A) = A.
Proof. 
For any ym,nY one has:
C N ( y m , n ) = C n ( ( 0.5 + ) m , ( 0.1 ) n , ( 0.5 + ) m ) = ( ( 0.5 + ) m , ( 0.1 ) n , ( 0.5 + ) m ) = y m , n
 □
Theorem 1.
Unlike in classical topology, the non-standard neutrosophic empty-set 0N and the non-standard neutrosophic whole set 1N are not necessarily closed, since they are not the non-standard neutrosophic complement of each other.
Proof. 
CN (0, 1+, 1+) =N (1+,1+, 0) ≠ (1+, 0, 0), and reciprocally:
CN (1+, 0, 0) =N (0, 0, 1+) ≠ (0, 1+, 1+).
Theorem 2.
In a non-stardard neutrosophic topology there may be non-standard neutrosophic sets which are both open and closed set.
Proof. 
See the above Example 8. □
Theorem 3.
Unlike in classical topology, the intersection of two non-standard neutrosophic closed sets is not necessarily a non-standard neutrosophic closed set. Moreover, the union of two non-standard neutrosophic closed sets is not necessarily a non-standard neutrosophic closed set.
Proof. 
Consider Example 3 above.
Let A = (T2, I2, F2) and B = (T1, I1, F1). Note that CNA = (F2, I2, T2) and CNB = (F1, I1, T1).
Then CNA ∩N CNB = (F2, I1, T2).
Since CN (CNA ∩N CNB) = (T2, I1, F2)
is not non-standard neutrosophic open set in X, we have that CNA ∩N CNB is not a non-standard neutrosophic closed set in X. Also,
CNA ∩N CNB = (F1, I2, T1).
Since CN (CNA ∩N CNB) = (T1, I2, F1)
is not non-standard neutrosophic open set in X, we have that CNA ∩N CNB is not a non-standard neutrosophic closed set in X. □
General Remark 1.
Since the non-standard neutrosophic aggregation operators (conjunction, disjunction, complement) needed in non-standard neutrosophic topology, are defined by classes of operators (not by exact unique operators) respectively, the classical topological space theorems and properties extended (by the transfer principle) to the non-standard neutrosophic topological space may be valid for some non-standard neutrosophic operators, but invalid for other classes of neutrosophic aggregation operators.
Even worth, due to the fact that non-standard neutrosophic conjunction/disjunction/complement are, in addition, based on fuzzy t-norms and fuzzy t-conorms, which are not fixed either, but characterized by classes!
{Similarly for fuzzy and intuitionistic fuzzy aggregation operators.}
For example, the neutrosophic intersection/\N can be defined in 2 ways:
(T1, I1, F1) /\N (T2, I2, F2) = (T1/\F T2, I1/\F I2, F1/\F F2)
And
(T1, I1, F1) /\N (T2, I2, F2) = (T1/\F T2, I1 \/F I2, F1/\F F2).
In turn, the fuzzy t-norms (/\F) and fuzzy t-conorm (\/F) are also defined in many ways; for example I know at least 3 types of fuzzy t-norms:
a/\F b = min {a, b}
a/\F b = ab
a/\F b = max {a + b − 1, 0}
and 3 types of fuzzy t-conorms:
a\/F b = max {a, b}
a/\F b = a + bab
a/\F b = min {a + b, 1}
therefore there exist at least 2∙3∙3 = 18 possibilities to define the neutrosophic t-norm (/\N).
There exist at least the same number 18 of possibilities of defining the neutrosophic t-conorm (\/N).
From these 18 possibilities of defining/\N and \/N for some of them the classical topological theorems extended to non-standard neutrosophic topology may be valid, for others invalid.
Definition 7.
Let (X, τ) be a nonstandard neutrosophic topological space. Let A be a non-standard neutrosophic set in X. Then the Non-standard Neutrosophic Closure of A is the intersection of all non-standard neutrosophic closed supersets of A, and we denote it by clN (A). The Non-standard Neutrosophic Closure of A is the smallest nonstandard neutrosophic closed set in X that neutrosophically includes A.
Example 9.
Let X be a non-standard neutrosophic set:
X = { x 1 ( 0.4 , 0.1 + , 0.5 ) , x 2 ( 0.5 , 0.1 + , 0.4 ) , x 3 ( 0.5 , 0.1 + , 0.5 ) }
and the following non-standard neutrosophic topology:
τ = { Φ N , 1 N , A 1 { x 1 ( 0.4 , 0.1 + , 0.5 ) , A 2 { x 2 ( 0.5 , 0.1 + , 0.4 ) , A 3 { x 3 ( 0.5 , 0.1 + , 0.5 ) } }
where
Φ N = { x 1 ( 0 , 1 + , 1 + ) , x 2 ( 0 , 1 + , 1 + ) , x 3 ( 0 , 1 + , 1 + ) , 1 N = x 1 ( 1 + , 0 , 0 ) , x 1 ( 1 + , 0 , 0 ) , x 1 ( 1 + , 0 , 0 ) }
Proof. 
τ is a non-standard neutrosophic topology because:
A1N A2 = A1, A1N A3 = A1, A2N A3 = A3
A1N A2 = A2, A1N A3 = A3, A2N A3 = A2, A1N A2N A3 = A2.
(X, τ) is a non-standard neutrosophic topological space.
The non-standard neutrosophic sets A1, A2, A3 are open sets since they belong to τ.
A2 is the non-standard neutrosophic complement of A1, or CN (A2) = A1, therefore A2 is a non-standard neutrosophic closed set in X.
A3 is the non-standard neutrosophic complement of A3 (itself), or CN (A3) = A3, therefore A3 is also a non-standard neutrosophic closed set in X.
A2 and A3 are nonstandard neutrosophic supersets of A1, since A1A2 and A1A3.
Whence, the Non-standard Neutrosophic Closure of A1 is the intersection of its non-standard neutrosophic closed supersets A2 and A3, or
clN (A1) = N A2N A3 =N A3
 □
Definition 8.
The Non-standard Neutrosophic Interior of A is the union of all non-standard neutrosophic open subsets of A that are contained in A, and we denote it by intN (A).
The Non-standard Neutrosophic Interior of A is the largest non-standard neutrosophic open set in X that is neutrosophically included into A.
Example 10.
Into the previous Example 9, let’s compute intN (A2).
A1 and A3 are non-standard neutrosophic open sets in X, with A1N A2 and A3N A2
Whence
intN (A2) = A1N A3 = A3.
Definition 9.
Let (X, τ) be a non-standard neutrosophic topological space, and let Y N X be a non-standard neutrosophic subset of X. Then the collection τ Y = { O N Y , O τ } is a topology on Y. It is called the non-standard neutrosophic subspace topology and Y is called a non-standard neutrosophic subspace of X.
Example 11.
In the same previous Example 9, let’s take Y = A3 ⊂ X, and the non-standard neutrosophic subspace topology
τ Y = { Φ N , 1 N , A 3 , { ( 0.5 , 0.1 + , 0.5 ) } }
Then Y is a non-standard neutrosophic topological subspace of X.
Definition 10.
Let X and Y be two non-standard neutrosophic topological spaces. A map f:
X Y
is said to be non-standard neutrosophic continuous map if for each non-standard neutrosophic open set A in Y, the set f −1 (A) is a non-standard neutrosophic open set in X.
Example 12.
Let X be a non-standard neutrosophic space. Let Y be a non-standard neutrosophic subspace of X. Then the inclusion map i: Y X is non-standard neutrosophic continuous.
Example 13.
Let X be a non-standard neutrosophic set. Suppose that τ and τ‘ are two non-standard neutrosophic topologies on X such that τ’ is finer than τ. Then the identity map id: (X, τ’) (X, τ) is obviously non-standard neutrosophic continuous.
Definition 11.
Let (X1, τ1) and (X2, τ2) be two non-standard neutrosophic topological spaces. Then τ 1 × τ 2 = N { U × V : U τ 1 , V τ 2 } defines a topology on the product
X 1 × X 2
The topology τ1 × τ2 is called non-standard neutrosophic product topology.

3. Development of Neutrosophic Topologies

Since the first definition of neutrosophic topology and neutrosophic topological space [3] in 1998, the neutrosophic topology has been developed tremendously in multiple directions and has added new topological concepts such as: neutrosophic crisp topological [6,7,8,9], neutrosophic crisp α-topological spaces [10], neutrosophic soft topological k-algebras [11,12,13], neutrosophic nano ideal topological structure [14], neutrosophic soft cubic set in topological spaces [15], neutrosophic alpha m-closed sets [16], neutrosophic crisp bi-topological spaces [17], ordered neutrosophic bi-topological space [18], neutrosophic frontier and neutrosophic semi-frontier [19], neutrosophic topological functions [20], neutrosophic topological manifold [21], restricted interval valued neutrosophic topological spaces [22], smooth neutrosophic topological spaces [23], nω–closed sets in neutrosophic topological spaces [24], and other topological properties [25,26], arriving now to the neutrosophic topology extended to the non-standard analysis space.

4. Conclusions

We have introduced for the first time the non-standard neutrosophic topology, non-standard neutrosophic toplogical space and subspace constructed on the non-standard unit interval]−0, 1+[M that is formed by real numbers and positive infinitesimals and open monads, together with several concepts related to them, such as: non-standard neutrosophic open/closed sets, non-standard neutrosophic closure and interior of a given set, and non-standard neutrosophic product topology. Several theorems were proven and non-standard neutrosophic examples were presented.
Non-standard neutrosophic topology (NNT) is initiated now for the first time. It is a neutrosophic topology defined on the set of hyperreals, while the previous neutrosophic topologies were initiated and developed on the set of reals.
The novelty of NNT is its possibility to be used in calculus due to the involvement of infinitesimals, while the previous neutrosophic topologies could not be used due to lack of infinitesimals.
Thus, the paper has contributed to the foundation of a new field of study, called non-standard neutrosophic topology.
As future work, we intend to study more non-standard neutrosophic algebraic structures, such as: non-standard neutrosophic group, non-standard neutroosphic ring and field, non-standard neutrosophic vector space and so on.

Author Contributions

The authors contributed in the following way: methodology by M.A.A.S.; and conceptualization by F.S.

Funding

This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant No. KEP-34-130-38. The authors, therefore, acknowledge with thanks DSR for technical and financial support.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Insall, M.; Weisstein, E.W. Nonstandard Analysis. From MathWorld—A Wolfram Web Resource. Available online: http://mathworld.wolfram.com/NonstandardAnalysis.html (accessed on 10 May 2019).
  2. Robinson, A. Non-Standard Analysis; Princeton University Press: Princeton, NJ, USA, 1996. [Google Scholar]
  3. Smarandache, F. A Unifying Field in Logics: Neutrosophic Logic Neutrosophy, Neutrosophic Set, Neutrosophic Probability and Statistics. 1998. Available online: http://fs.unm.edu/eBook-Neutrosophics6.pdf (accessed on 21 April 2019).
  4. Smarandache, F. Extended Nonstandard Neutrosophic Logic., Set, and Probability Based on Extended Nonstandard Analysis; 31 pages, arXiv; Cornell University: Ithaca, NY, USA, 11 March 2019. [Google Scholar]
  5. Smarandache, F. Extended Nonstandard Neutrosophic Logic, Set, and Probability Based on Extended Nonstandard Analysis. arXiv 2019, arXiv:1903.04558. [Google Scholar]
  6. AL-Nafee, A.B.; Al-Hamido, R.K.; Smarandache, F. Separation Axioms in Neutrosophic Crisp Topological Spaces. Neutrosophic Sets Syst. 2019, 25, 25–32. [Google Scholar] [CrossRef]
  7. Al-Omeri, W. Neutrosophic crisp Sets via Neutrosophic crisp Topological Spaces. Neutrosophic Sets Syst. 2016, 13, 96–104. [Google Scholar] [CrossRef]
  8. Salama, A.A.; Smarandache, F.; ALblowi, S.A. New Neutrosophic Crisp Topological Concepts. Neutrosophic Sets Syst. 2014, 4, 50–54. [Google Scholar] [CrossRef]
  9. Salama, A.A.; Smarandache, F.; Kroumov, V. Neutrosophic Crisp Sets & Neutrosophic Crisp Topological Spaces. Neutrosophic Sets Syst. 2014, 2, 25–30. [Google Scholar] [CrossRef]
  10. Salama, A.A.; Hanafy, I.M.; Elghawalby, H.; Dabash, M.S. Neutrosophic Crisp α-Topological Spaces. Neutrosophic Sets Syst. 2016, 12, 92–96. [Google Scholar] [CrossRef]
  11. Akram, M.; Gulzar, H.; Smarandache, F. Neutrosophic Soft Topological K-Algebras. Neutrosophic Sets Syst. 2019, 25, 104–124. [Google Scholar] [CrossRef]
  12. Mukherjee, A.; Datta, M.; Smarandache, F. Interval Valued Neutrosophic Soft Topological Spaces. Neutrosophic Sets Syst. 2014, 6, 18–27. [Google Scholar] [CrossRef]
  13. Bera, T.; Mahapatra, N.K. On Neutrosophic Soft Topological Space. Neutrosophic Sets Syst. 2018, 19, 3–15. [Google Scholar] [CrossRef]
  14. Parimala, M.; Karthika, M.; Jafari, S.; Smarandache, F.; Udhayakumar, R. Neutrosophic Nano ideal topological structure. Neutrosophic Sets Syst. 2019, 24, 70–76. [Google Scholar] [CrossRef]
  15. Cruz, R.A.; Irudayam, F.N. Neutrosophic Soft Cubic Set in Topological Spaces. Neutrosophic Sets Syst. 2018, 23, 23–44. [Google Scholar] [CrossRef]
  16. Mohammed, F.M.; Matar, S.F. Fuzzy Neutrosophic Alpha m-Closed Sets in Fuzzy Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2018, 21, 56–65. [Google Scholar] [CrossRef]
  17. Hamido, R.K.; Gharibah, T. Neutrosophic Crisp Bi-Topological Spaces. Neutrosophic Sets Syst. 2018, 21, 66–73. [Google Scholar] [CrossRef]
  18. Devi, R.N.; Dhavaseelan, R.; Jafari, S. On Separation Axioms in an Ordered Neutrosophic Bitopological Space. Neutrosophic Sets Syst. 2017, 18, 27–36. [Google Scholar] [CrossRef]
  19. Iswarya, P.; Bageerathi, K. A Study on Neutrosophic Frontier and Neutrosophic Semi-frontier in Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2017, 16, 6–15. [Google Scholar] [CrossRef]
  20. Arokiarani, I.; Dhavaseelan, R.; Jafari, S.; Parimala, M. On Some New Notions and Functions in Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2017, 16, 16–19. [Google Scholar] [CrossRef]
  21. Salama, A.A.; El Ghawalby, H.; Ali, S.F. Topological Manifold Space via Neutrosophic Crisp Set Theory. Neutrosophic Sets Syst. 2017, 15, 18–21. [Google Scholar] [CrossRef]
  22. Mukherjee, A.; Datta, M.; Sarkar, S. Restricted Interval Valued Neutrosophic Sets and Restricted Interval Valued Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2016, 12, 45–53. [Google Scholar] [CrossRef]
  23. El-Gayyar, M.K. Smooth Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2016, 12, 65–72. [Google Scholar] [CrossRef]
  24. Santhi, R.; Udhayarani, N. Nω –Closed Sets in Neutrosophic Topological Spaces. Neutrosophic Sets Syst. 2016, 12, 114–117. [Google Scholar] [CrossRef]
  25. Thao, N.X.; Smarandache, F. Standard neutrosophic rough set and its topologies properties. Neutrosophic Sets Syst. 2016, 14, 65–70. [Google Scholar] [CrossRef]
  26. Sweety, C.A.C.; Arockiarani, I. Topological structures of fuzzy neutrosophic rough sets. Neutrosophic Sets Syst. 2015, 9, 50–57. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Al Shumrani, M.A.; Smarandache, F. Introduction to Non-Standard Neutrosophic Topology. Symmetry 2019, 11, 706. https://doi.org/10.3390/sym11050706

AMA Style

Al Shumrani MA, Smarandache F. Introduction to Non-Standard Neutrosophic Topology. Symmetry. 2019; 11(5):706. https://doi.org/10.3390/sym11050706

Chicago/Turabian Style

Al Shumrani, Mohammed A., and Florentin Smarandache. 2019. "Introduction to Non-Standard Neutrosophic Topology" Symmetry 11, no. 5: 706. https://doi.org/10.3390/sym11050706

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