Next Article in Journal
Based on Symmetric Jump Risk Market: Study on the Ruin Problem of a Risk Model with Liquid Reserves and Proportional Investment
Next Article in Special Issue
A New Fuzzy Bayesian Inference Approach for Risk Assessments
Previous Article in Journal
A New Modification of the Weibull Distribution: Model, Theory, and Analyzing Engineering Data Sets
Previous Article in Special Issue
A Novel Neutrosophic Likert Scale Analysis of Perceptions of Organizational Distributive Justice via a Score Function: A Complete Statistical Study and Symmetry Evidence Using Real-Life Survey Data
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Neutrosophic Fuzzy Metric Space and Its Topological Properties

by
Samriddhi Ghosh
1,
Sonam
1,
Ramakant Bhardwaj
1 and
Satyendra Narayan
2,*
1
Department of Mathematics, Amity University Kolkata, Newtown, Kolkata 700135, West Bengal, India
2
Department of Applied Computing, Sheridan Institute of Technology, Oakville, ON L6H 2L1, Canada
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(5), 613; https://doi.org/10.3390/sym16050613
Submission received: 10 April 2024 / Revised: 30 April 2024 / Accepted: 2 May 2024 / Published: 15 May 2024
(This article belongs to the Special Issue Research on Fuzzy Logic and Mathematics with Applications II)

Abstract

:
The present research introduces a novel concept termed “neutrosophic fuzzy metric space”, which extends the traditional metric space framework by incorporating the notion of neutrosophic fuzzy sets. A thorough investigation of various structural and topological properties within this newly proposed generalization of metric space has been conducted. Additionally, counterparts of well-known theorems such as the Uniform Convergence Theorem and the Baire Category Theorem have been established for this generalized metric space. Through rigorous analysis, a detailed understanding of its fundamental characteristics has been attained, illuminating its potential applications and theoretical significance.

1. Introduction

Fuzzy set theory is a mathematical framework that deals with sets whose elements have degrees of membership. This departure from traditional set theory, where an element either belongs or does not belong to a set, allows for more nuanced and flexible modelling, particularly in situations where boundaries between categories are ambiguous or uncertain. Zadeh’s [1] seminal paper, “Fuzzy Sets”, published in 1965, laid the foundation for this field of study. This whole new field of study has influenced many other scientific fields since that time. Numerous advancements have emerged subsequent to Zadeh’s introduction of fuzzy sets in 1965. For instance, Atanassov [2] introduced intuitionistic fuzzy sets, Smarandache [3] proposed neutrosophic sets, and in 2023, Al-Shami and Mhemdi [4] introduced orthopair fuzzy sets. These foundational contributions paved the way for the development of various related concepts, including the introduction of fuzzy metric spaces by Kramosil and Michálek [5] in 1975 and its modification by George and Veeramani [6] in 1994, intuitionistic fuzzy topological spaces by Coker [7] in 1997, and intuitionistic fuzzy metric spaces by Park [8] in 2004.
The introduction of all these concepts and ideologies has impacted many other research works by several mathematicians, such as: in 1984, Kaleva and Seikkala [9] defined fuzzy metric space as a distance between two points and expressed it as a positive fuzzy number; in 2006, Smarandache [10] gave the notion of neutrosophic sets as a generalization of intuitionistic fuzzy sets; Salama and Alblowi [11] in 2012 extended the concepts of fuzzy topological space and intuitionistic fuzzy topological space to the case of neutrosophic sets; Ejegwa [12], in 2014, introduced some algebraic operations such as modal operator, and normalization to intuitionistic fuzzy sets; and Majumdar [13] conducted an exploration into the practical applications of neutrosophic sets within decision-making contexts. Apart from these, several researchers delved into various generalizations of fuzzy metric space such as intuitionistic fuzzy metric space, soft fuzzy metric space, fuzzy soft metric space, orthogonal fuzzy metric space, bipolar fuzzy metric space, etc. [14,15,16,17,18,19,20,21,22,23,24]. Furthermore, Broumi [25] introduced several novel concepts related to neutrosophic sets, including refined neutrosophic sets, bipolar neutrosophic sets, neutrosophic hesitant sets, multi-valued neutrosophic sets, rough neutrosophic sets, and rough bipolar neutrosophic sets. Additionally, Jeyaraman [26] applied multi-criteria decision-making (MCDM) techniques in conjunction with neutrosophic sets to address a real-life problem involving wind turbines.
In 2020, Kirisci and Şimşek [27] introduced the notion of neutrosophic metric spaces. Further, several fixed-point results have been established in this generalization [28] with some generalizations of neutrosophic fuzzy metric space were introduced by researchers such as orthogonal neutrosophic metric spaces by Ishtiaq et al. [29], neutrosophic 2-metric spaces by Asghar et al. [30], orthogonal neutrosophic 2-metric spaces by Janardhanan et al. [31], neutrosophic pentagonal metric spaces by Mani et al. [32], neutrosophic b-metric space [33], etc. Further, Das et al. [34] introduced the conception of neutrosophic fuzzy sets. It is quite noticeable how the concept of fuzzy sets has been used to establish the concept of fuzzy metric space. In a similar way, the ideology of neutrosophic sets has been used to define the conception of neutrosophic metric space. Keeping these in mind, the primary objective of this research is to elucidate the conceptual framework of neutrosophic fuzzy metric space. The concept of neutrosophic fuzzy sets has been utilised for this purpose, in a similar manner as described above.
The motivation behind introducing neutrosophic fuzzy metric spaces (NFMS) lies in their ability to model uncertainty and indeterminacy in real-world phenomena more accurately than traditional fuzzy or crisp sets. Neutrosophic sets allow for the representation of elements with three components, truth, indeterminacy, and falsehood, providing a more nuanced description of uncertainty. An example that highlights the need for NFMS could be in the field of medical diagnosis. Consider a scenario where a patient presents symptoms that are not clearly indicative of a single disease. Traditional fuzzy sets could represent the likelihood of the patient having a certain disease on a continuum between 0 and 1. However, this approach might not adequately capture the uncertainty associated with the diagnosis, especially if the symptoms are ambiguous or conflicting. In contrast, neutrosophic sets can represent the uncertainty more comprehensively by explicitly accounting for the degree of truth, indeterminacy, and falsehood associated with each symptom and potential diagnosis. NFMS can then be used to define a metric space where the distance between two diagnoses reflects not only their similarity but also the degree of uncertainty or indeterminacy associated with each.
By introducing NFMS, we provide a mathematical framework that aligns more closely with the complex and uncertain nature of real-world phenomena, such as medical diagnosis, decision making under uncertainty, or pattern recognition in ambiguous data sets. This motivates the development of NFMS theory to enhance our ability to model, analyze, and make decisions in uncertain environments more effectively.
The following describes the structure of the paper. Some characteristics and fundamental ideas of neutrosophic fuzzy sets and neutrosophic metric spaces are provided in Section 2. Section 3 introduces the conception of neutrosophic fuzzy metric space, followed by examples of neutrosophic fuzzy metric space. The topological characteristics of the established generalization of metric space have been demonstrated in this section. In this section, we have also presented various results describing distinct properties of the established neutrosophic fuzzy metric space, such as the Hausdorff property, compactness, completeness, and nowhere denseness. Section 4 of this work contains the conclusion. Further, this study can be extended to investigate neutrosophic fuzzy metric space in connection with other concepts such as best proximity point results, optimization theory, approximation theory, etc. Moreover, concepts like soft sets, soft equality, soft lattices, etc., can be connected to the established theory and results [35,36].

2. Preliminaries

In this section, we provide some fundamentally useful definitions for establishing the main results. Here, ] 0 , 1 + [ is a non-standard unit interval, where the non-standard finite numbers ( 1 + ) = 1 + ε , where “1” is its standard part and ε its non-standard part, and ( 0 ) = 0 ε , where “0” is its standard part and ε its non-standard part. Here, 0 and 1 are analogously non-standard numbers infinitely small but less than 0 or infinitely small but greater than 1, respectively, and belong to the non-standard unit interval ] 0 , 1 + [ .
Definition 1
([1]). With respect to a universal set X, a fuzzy set F is characterised by the expression F = { < a , μ F ( a ) > : 0 μ F ( a ) 1 , a X } . Here, μ F ( a ) signifies the membership grade of a in F.
Definition 2
([27]). A neutrosophic set N with respect to a universal set X is declared as N = < a , ( T N ( a ) , I N ( a ) , F N ( a ) ) > : a X , T N ( a ) , I N ( a ) , F N ( a ) ] 0 , 1 + [ . Here, T N ( a ) , I N ( a ) , and F N ( a ) denote the truth, indeterminacy, and falsity membership grades of a in N , respectively, and ] 0 , 1 + [ a non-standard unit interval.
Definition 3
([34]). A neutrosophic fuzzy set B in a universal set X is defined as
B = { < x , ( μ B ( x ) , T B ( x , μ ) , I B ( x , μ ) , F ( x , μ ) ) > : x X , μ B ( x ) [ 0 , 1 ] , T B ( x , μ ) , I B ( x , μ ) , F ( x , μ ) ] 0 , 1 + [ }
In this context, each membership grade μ B ( x ) is expressed by a truth, indeterminacy, and falsity membership grade denoted by T B ( x , μ ) , I B ( x , μ ) and F ( x , μ ) , respectively, and ] 0 , 1 + [ a non-standard unit interval.
Definition 4
([6,27]). A function : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is said to be a continuous t-norm (TN) if the following conditions hold t , s , j , k [ 0 , 1 ] :
1. 
t 1 = t ;
2. 
t s and j k implies t j s k ;
3. 
continuity of ★;
4. 
commutativity and associativity of ★.
Definition 5
([6,27]). A function : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is said to be a continuous t-conorm (TC) if the following conditions hold t , s , j , k [ 0 , 1 ] :
1. 
t 0 = t ;
2. 
t s and j k implies t j s k ;
3. 
Continuity of ⋄;
4. 
Commutativity and associativity of ⋄.
Definition 6
([27]). A 6-tuple ( G , A , M , R , , ) is known as a Neutrophic Metric Space (NMS) if G is a non-empty arbitary set, ★ represents a continuous t-norm, ⋄ denotes a continuous t-conorm, and A, M, and R are three fuzzy sets defined on G 2 × ( 0 , ) , subject to the following conditions for all p , q , r G and s , t > 0 :
1. 
0 A ( p , q , t ) 1 , 0 M ( p , q , t ) 1 , 0 R ( p , q , t ) 1 ;
2. 
A ( p , q , t ) + M ( p , q , t ) + R ( p , q , t ) 3 ;
3. 
A ( p , q , t ) = A ( q , p , t ) ;
4. 
A ( p , q , t ) = 1 if p = q ;
5. 
lim t A ( p , q , t ) = 1 ;
6. 
A ( p , q , t ) A ( q , r , s ) A ( p , r , t + s ) ;
7. 
Continuity of A ( p , q , . ) : R + 0 ( 0 , 1 ] ;
8. 
M ( p , q , t ) = M ( q , p , t ) ;
9. 
M ( p , q , t ) = 0 if p = q ;
10. 
lim t M ( p , q , t ) = 0 ;
11. 
M ( p , q , t ) M ( q , r , s ) M ( p , r , t + s ) ;
12. 
Continuity of M ( p , q , . ) : R + 0 ( 0 , 1 ] ;
13. 
R ( p , q , t ) = R ( q , p , t ) ;
14. 
R ( p , q , t ) = 0 if p = q ;
15. 
lim t R ( p , q , t ) = 0 ;
16. 
R ( p , q , t ) R ( q , r , s ) R ( p , r , t + s ) ;
17. 
Continuity of R ( p , q , . ) : R + 0 ( 0 , 1 ] ;
18. 
For t 0 , A ( p , q , t ) = 0 , M ( p , q , t ) = 1 and R ( p , q , t ) = 1 .
In this context, A ( x , y , t ) represents the degree of nearness, M ( x , y , t ) stands for the degree of neutralness, and R ( x , y , t ) denotes the degree of non-nearness between x and y with respect to t, respectively.

3. Neutrosophic Fuzzy Metric Space and Its Topological Properties

This section introduces the concept of neutrosophic fuzzy metric space and explores various topological characteristics of it. Firstly, we present the definition of a neutrosophic fuzzy metric space.
Definition 7.
A 7-tuple ( G , S , A , M , R , , ) is known as a Neutrophic Fuzzy Metric Space (NFMS) if G is an arbitary set, is a continuous t-norm, is a continuous t-conorm, and S, A, M, and R are fuzzy sets on G 2 × ( 0 , ) satisfying the following conditions: p , q , r G and t , s > 0 ,
1. 
0 S ( p , q , t ) 1 , 0 A ( p , q , t ) 1 , 0 M ( p , q , t ) 1 , 0 R ( p , q , t ) 1 ;
2. 
S ( p , q , t ) + A ( p , q , t ) + M ( p , q , t ) + R ( p , q , t ) 4 ;
3. 
S ( p , q , t ) = S ( q , p , t ) ;
4. 
S ( p , q , t ) = 1 if p = q ;
5. 
lim t S ( p , q , t ) = 1 ;
6. 
S ( p , q , t ) S ( q , r , s ) S ( p , r , t + s ) ;
7. 
S ( p , q , . ) : R + 0 ( 0 , 1 ] is continuous;
8. 
A ( p , q , t ) = A ( q , p , t ) ;
9. 
A ( p , q , t ) = 1 if p = q ;
10. 
lim t A ( p , q , t ) = 1 ;
11. 
A ( p , q , t ) A ( q , r , s ) A ( p , r , t + s ) ;
12. 
A ( p , q , . ) : R + 0 ( 0 , 1 ] is continuous;
13. 
M ( p , q , t ) = M ( q , p , t ) ;
14. 
M ( p , q , t ) = 0 if p = q
15. 
lim t M ( p , q , t ) = 0 ;
16. 
M ( p , q , t ) M ( q , r , s ) M ( p , r , t + s ) ;
17. 
M ( p , q , . ) : R + 0 ( 0 , 1 ] is continuous;
18. 
R ( p , q , t ) = R ( q , p , t ) ;
19. 
R ( p , q , t ) = 0 if p = q ;
20. 
lim t R ( p , q , t ) = 0 ;
21. 
R ( p , q , t ) R ( q , r , s ) R ( p , r , t + s ) ;
22. 
R ( p , q , . ) : R + 0 ( 0 , 1 ] is continuous;
23. 
For t 0 , S ( p , q , t ) = 0 , A ( p , q , t ) = 0 , M ( p , q , t ) = 1 and R ( p , q , t ) = 1 .
In this context, S ( x , y , t ) represents the certainity that distance between x and y is less than t, A ( x , y , t ) represents the degree of nearness, M ( x , y , t ) stadns for the degree of neutralness, and R ( x , y , t ) denotes the degree of non-nearness between x and y with respect to t, respectively.
Example 1.
Let ( G , d ) be a metric space where G = ( , ) and d ( x , y ) = | x y | . Define the t-norm and t-conorm, and as x y = min x , y and x y = max x , y . And let the fuzzy sets S , A , M , R on G 2 × ( 0 , ) be defined as:
S ( x , y , t ) = t + d ( x , y ) t + 2 d ( x , y ) , A ( x , y , t ) = t t + d ( x , y ) , M ( x , y , t ) = d ( x , y ) t + d ( x , y ) , R ( x , y , t ) = d ( x , y ) t
Note that,
(1) 
0 S ( x , y , t ) 1 ,
(2) 
Since d ( x , y ) = d ( y , x ) , we have S ( x , y , t ) = S ( y , x , t ) ,
(3) 
S ( x , y , t ) = 1 if x = y , and
(4) 
lim t t + d ( x , y ) t + 2 d ( x , y ) = 1 , for all x , y G and t > 0 .
(5) 
S ( x , y , t ) S ( y , z , s ) S ( x , z , t + s ) , for all x , y , z G , s , t > 0 .
Similarlly, all the conditions for A , M , and R can be verified. Therefore, ( G , S , A , M , R , , ) is an NFMS induced by a metric d, called the standard neutrosophic fuzzy metric.
Example 2.
Take G = [ 2.5 , 3.4 ] , be a TN and be a TC defined as p q = min 0 , p + q 1 and p q = p + q p q . Also, p , q G , s ( 0 , ) , we define:
S ( p , q , s ) = 1 | p q | 2 t
A ( p , q , s ) = s 3 | p q | s 3
M ( p , q , s ) = ( q p ) / ( q + s ) if p q ( p q ) / ( p + s ) if q p
R ( p , q , s ) = ( q 2 p 2 ) / ( q 2 + s 2 ) if p q ( p 2 q 2 ) / ( p 2 + s 2 ) if q p
Note that,
(1) 
0 S ( p , q , s ) , A ( p , q , s ) , M ( p , q , s ) , R ( p , q , s ) 1 ,
(2) 
Since | p q | = | q p | , we have S ( p , q , s ) = S ( q , p , s ) , A ( p , q , s ) = A ( q , p , s ) ,
M ( p , q , s ) = M ( q , p , s ) , R ( p , q , s ) = R ( q , p , s ) ,
(3) 
S ( p , q , s ) = A ( p , q , s ) = 1 , M ( q , p , s ) = R ( p , q , s ) = 0 , if p = q ,
(4) 
lim t 1 | p q | 2 t = 1 , lim t s 3 | p q | s 3 = 1 , lim t M ( q , p , s ) = 0 ,
lim t R ( p , q , s ) = 0 , for all x , y G and t > 0 .
(5) 
S ( p , q , s ) S ( q , r , s ) S ( p , r , t + s ) , A ( p , q , s ) A ( q , r , s ) A ( p , r , t + s )
M ( p , q , s ) M ( q , r , s ) M ( p , r , t + s ) , R ( p , q , s ) R ( q , r , s ) R ( p , r , t + s ) , for all x , y , z G , s , t > 0 .
Therefore, ( G , S , A , M , R , , ) forms an NFMS.
Remark 1.
The 7-tuple ( G , S , A , M , R , , ) defined in above Example 1 would not be a NFMS if t-norm p q = min 0 , p + q 1 and t-conorm p q = p + q p q .
Definition 8.
Consider ( G , S , A , M , R , , ) as an NFMS. For ε ( 0 , 1 ) , t R + , and p G , denote the set:
O ( p , ε , t ) = { b G : S ( p , q , t ) > 1 ε , A ( p , q , t ) > 1 ε , M ( p , q , t ) < ε , R ( p , q , t ) < ε }
as an open ball (OB), where p serves as the center and ε as the radius with respect to t.
Definition 9.
Consider ( G , S , A , M , R , , ) as an NFMS. A subset H of G is said to be an open set if for each p H , there exists an open ball O ( p , ε , t ) such that O ( p , ε , t ) H .
Theorem 1.
Each OB, O ( p , ε , t ) within an NFMS constitutes an open set (OS).
Proof. 
We consider an open ball O ( p , ε , t ) and choose q O ( p , ε , t ) . Then, S ( p , q , t ) > 1 ε , A ( p , q , t ) > 1 ε , M ( p , q , t ) < ε , R ( p , q , t ) < ε .
There exists t 0 ( 0 , t ) such that,
S ( p , q , t 0 ) > 1 ε , A ( p , q , t 0 ) > 1 ε , M ( p , q , t 0 ) < ε , R ( p , q , t 0 ) < ε . Since , S ( p , q , t ) > 1 ε
Taking ε 0 = S ( p , q , t 0 ) , ϱ ( 0 , 1 ) for ε 0 > 1 ε , so that ε 0 > 1 ϱ > 1 ε .
For any given ε 0 and ϱ so that ε 0 > 1 ϱ . Then, ε 1 , ε 2 , ε 3 , ε 4 ( 0 , 1 ) s.t,
ε 0 ε 1 > 1 ϱ , ε 0 ε 2 > 1 ϱ , ( 1 ε 0 ) ( 1 ε 3 ) ϱ , ( 1 ε 0 ) ( 1 ε 4 ) ϱ .
Choosing ε 5 = max ε 1 , ε 2 , ε 3 , ε 4 and considering the open ball O ( q , 1 ε 5 , t t 0 ) , our motive is to show that O ( q , 1 ε 5 , t t 0 ) O ( p , ε , t ) .
Now taking r O ( q , 1 ε 5 , t t 0 ) we get,
S ( q , r , t t 0 ) > ε 5 , A ( q , r , t t 0 ) > ε 5 , M ( q , r , t t 0 ) < ε 5 , R ( q , r , t t 0 ) < ε 5 .
Also,
S ( p , r , t ) > S ( p , q , t 0 ) S ( q , r , t t 0 ) ε 0 ε 5 ε 0 ε 1 1 ϱ > 1 ε ,
A ( p , r , t ) > A ( p , q , t 0 ) A ( p , r , t t 0 ) ε 0 ε 5 ε 0 ε 2 1 ϱ > 1 ε ,
M ( p , r , t ) > M ( p , q , t 0 ) M ( q , r , t t 0 ) ( 1 ε 0 ) ( 1 ε 5 ) ( 1 ε 0 ) ( 1 ε 3 ) ϱ < ε ,
R ( p , r , t ) > R ( p , q , t 0 ) R ( q , r , t t 0 ) ( 1 ε 0 ) ( 1 ε 5 ) ( 1 ε 0 ) ( 1 ε 4 ) ϱ < ε .
Hence, r O ( p , ε , t ) and O ( q , 1 ε 5 , t t 0 ) O ( p , ε , t ) . □
Remark 2.
From Definition 9 and Theorem 1, it can be said that,
τ N = H G : t > 0 a n d 0 < ε < 1 s u c h t h a t O ( p , ε , t ) H , p H
is a topology on G. In this case every neutrosophic fuzzy metric N = ( S , A , M , R ) on G produces a topology τ N on G which has a base as the family of open sets { O ( p , ε , t ) : p N , ε ( 0 , 1 ) , a n d t > 0 } .
Theorem 2.
Let ( G , S , A , M , R , , ) be an NFMS. Then,
(i) 
ϕ and G are open sets in ( G , S , A , M , R , , ) .
(ii) 
The union of any finite, countable, or uncountable family of open sets is open.
(iii) 
The intersection of a finite family of open sets is open.
Proof. 
(i) As an empty set contains no points, the necessity that each point in ϕ is the centre of an open ball contained in it is satisfied automatically.
The whole space G is open since every open ball centred at any of its points is contained in G.
(ii) Let M α : α Λ be a family of open sets and H = α Λ M α . If H = ϕ then it is open [by (i)]. So let H ϕ . Taking x H , it can be said that x M α for some α Λ . Since M α is open, r > 0 such that O ( x , r , t ) M α H (where t > 0 ). Thus, for each x H r > 0 such that O ( x , r , t ) H . Implies that H is open.
(iii) Let M i : 1 i n be a finite family of open sets in G, and let M = i = 1 n M i . If M is empty, then it is open. (by (i)).
Suppose M ϕ , and x M . Then, x M j , j = 1 , 2 , , n . Since M j is open, r j > 0 such that O ( x , r j , t ) M j where t > 0 and j = 1 , 2 , , n .
Let r = m i n r 1 , r 2 , . . . , r n . Then r > 0 and O ( x , r , t ) O ( x , r j , t ) where t > 0 and j = 1 , 2 , , n . Therefore, O ( x , r , t ) centred at x satisfies
O ( x , r , t ) j = 1 n O ( x , r j , t ) M
This completes the proof. □
Theorem 3.
A subset X in a NFMS ( G , S , A , M , R , , ) is open if it is the union of all open balls contained in X.
Proof. 
Let X be open. If X = ϕ , then there are no open balls contained in it. Thus, the union of all open balls contained in X is the union of an empty class, which is empty and therefore equal to X.
Now if X ϕ , then since X is open, each of its points is the centre of an open ball entirely contained in X. So X is the union of all open balls contained in it. The converse follows from Theorem 3.1 and Theorem 3.3. □
Definition 10.
Let A be a subset of an NFMS ( G , S , A , M , R , , ) . A point x G is an interior point of A if O ( x , r , t ) A for some r , t > 0 . That is, x O ( x , r , t ) A .
Theorem 4.
Let A be a subset of an NFMS ( G , S , A , M , R , , ) . Then,
(i) 
I n t ( A ) is an open subset of A that contains every open subset of A.
(ii) 
A is open if A = I n t ( A ) .
Proof. 
Let x I n t ( A ) be arbitary. Then, by Definition 3.4, O ( x , r , t ) A for some r , t > 0 . But since O ( x , r , t ) is an open set [by Theorem 3.1], each point of it is the centre of an open ball contained in O ( x , r , t ) and consequently also in A. Therefore, each point of O ( x , r , t ) is an interior point of A. That is, O ( x , r , t ) I n t ( A ) . Thus, x is the centre of an open ball contained in I n t ( A ) . Since x I n t ( A ) is arbitary, it can be said that each x I n t ( A ) has the property of being the centre of an open ball contained in I n t ( A ) . Hence, I n t ( A ) is open.
Now it is to be shown that I n t ( A ) contains every open subset X A . Let x X . Since X is open, O ( x , r , t ) X A . So x I n t ( A ) . This shows that x X x I n t ( A ) . In other words, X I n t ( A ) .
(ii) is immediate after (i). □
Definition 11.
Let ( G , S , A , M , R , , ) be an NFMS and let C ( G ) be the collection of all non empty compact subsets of G. Consider P , Q C ( G ) and t > 0 .
Define H A , H B , H C and H D : C ( G ) × C ( G ) × ( 0 , ) ( 0 , ) as follows:
H A ( P , Q , t ) = min inf w P A ( w , Q , t ) , inf k Q A ( P , k , t ) ,
H B ( P , Q , t ) = min inf w P B ( w , Q , t ) , inf k Q B ( P , k , t ) ,
H C ( P , Q , t ) = max sup w P C ( w , Q , t ) , sup k Q C ( P , k , t ) ,
H D ( P , Q , t ) = max sup w P D ( w , Q , t ) , sup k Q D ( P , k , t ) .
The 6-tuple ( H A , H B , H C , H D , , ) is called Hausdorff NFMS, or shortly HNFMS.
Theorem 5.
Every NFMS possesses the property of being Hausdorff.
Proof. 
We consider ( G , S , A , M , R , , ) as an NFMS. Let p , q G be different. Then, S ( p , q , t ) , A ( p , q , t ) , M ( p , q , t ) , R ( p , q , t ) ( 0 , 1 ) .
Take ε 1 = S ( p , q , t ) , ε 2 = A ( p , q , t ) , ε 3 = M ( p , q , t ) , ϵ 4 = R ( p , q , t )
and ε = max ε 1 , ε 2 , 1 ε 3 , 1 ε 4 .
Now, taking ε 0 ( ε , 1 ) , ε 5 , ε 6 , ε 7 , ε 8 such that,
ε 5 ε 5 ε 0 , ε 6 ε 6 ε 0 , ( 1 ε 7 ) ( 1 ε 7 ) 1 ε 0 and ( 1 ε 8 ) ( 1 ε 8 ) 1 ε 0 .
Taking ε 9 = max ε 5 , ε 6 , ε 7 , ε 8 if we consider the open balls O ( p , 1 ε 9 , t 2 ) and O ( q , 1 ε 9 , t 2 ) . Then, it is clear that, O ( p , 1 ε 9 , t 2 ) O ( q , 1 ε 9 , t 2 ) = .
Now, if we choose a point r O ( p , 1 ε 9 , t 2 ) O ( q , 1 ε 9 , t 2 ) then,
ε 1 = S ( p , q , t ) S ( p , r , t 2 ) S ( r , q , t 2 ) ε 9 ε 9 ε 5 ε 5 ε 0 > ε 1 .
ε 2 = A ( p , q , t ) A ( p , r , t 2 ) A ( r , q , t 2 ) ε 9 ε 9 ε 6 ε 6 ε 0 > ε 2 .
ε 3 = M ( p , q , t ) M ( p , r , t 2 ) M ( r , q , t 2 ) ( 1 ε 9 ) ( 1 ε 9 ) ( 1 ε 7 ) ( 1 ε 7 ) 1 ε 0 < ε 3 .
ε 4 = R ( p , q , t ) R ( p , r , t 2 ) R ( r , q , t 2 ) ( 1 ε 9 ) ( 1 ε 9 ) ( 1 ε 8 ) ( 1 ε 8 ) 1 ε 0 < ε 4 ,
which shows a contradiction. Therefore, every NFMS is Hausdorff. □
Definition 12.
We consider ( G , S , A , M , R , , ) as an NFMS. A set W G is known as nuetrosophic bounded (NB) if, there remains a positive real number t and ε in ( 0 , 1 ) satisfying, S ( p , q , t ) > 1 ε , A ( p , q , t ) > 1 ε , M ( p , q , t ) < ε and R ( p , q , t ) < ε p , q W .
Definition 13.
Let an NFMS ( G , S , A , M , R , , ) be given, then
(1) 
Consider C N as an assembly of open sets and W U C N U . Then, the assembly C N is said to be an open cover(OC) of W.
(2) 
A subspace W of G is compact, if every open cover of W has a finite subcover.
(3) 
A subspace W of G is said to be sequentially compact if each sequence in W possesses a convergent subsequence in W.
Theorem 6.
In an NFMS, every compact subset is neutrosophic bounded.
Proof. 
We consider ( G , S , A , M , R , , ) as an NFMS, and W be a compact subset of G. Also consider an open cover O ( p , ε , t ) : p W of W where t > 0 and 0 < ε < 1 . W being a compact set, there exists p 1 , p 2 , . . . , p n W in such a way that W k = 1 n O ( p k , ε , t ) . Further, for p , q W there remains some k , m { 1 , 2 , 3 , . . . , n } such that p O ( p k , ε , t ) and q O ( p m , ε , t ) . Then, we can write
S ( p , p k , t ) > 1 ε , A ( p , p k , t ) > 1 ε , M ( p , p k , t ) < ϵ , R ( p , p k , t ) < ε and
S ( q , p m , t ) > 1 ε , A ( q , p m , t ) > 1 ε , M ( q , p m , t ) < ε , R ( q , p m , t ) < ε
Now, take α = min S ( p k , p m , t ) : 1 k , m n , β = min A ( p k , p m , t ) : 1 k , m n
γ = max M ( p k , p m , t ) : 1 k , m n , δ = max R ( p k , p m , t ) : 1 k , m n .
Then, α , β , γ , δ > 0 . From here, we can have some ϱ 1 , ϱ 2 , ϱ 3 , ϱ 4 ( 0 , 1 ) satisfying,
S ( p , q , 3 t ) S ( p , p k , t ) S ( p k , p m , t ) S ( p m , q , t ) ( 1 ε ) ( 1 ε ) α > 1 ϱ 1 ,
A ( p , q , 3 t ) A ( p , p k , t ) A ( p k , p m , t ) A ( p m , q , t ) ( 1 ε ) ( 1 ε ) β > 1 ϱ 2 ,
M ( p , q , 3 t ) M ( p , p k , t ) M ( p k , p m , t ) M ( p m , q , t ) ε ε γ < ϱ 3
R ( p , q , 3 t ) R ( p , p k , t ) R ( p k , p m , t ) R ( p m , q , t ) ε ε δ < ϱ 4
Taking ϱ = max ϱ 1 , ϱ 2 , ϱ 3 , ϱ 4 and t 0 = 3 t , we have S ( p , q , t 0 ) > 1 ϱ , A ( p , q , t 0 ) > 1 ϱ , M ( p , q , t 0 ) < ϱ , R ( p , q , t 0 ) < ϱ p , q W . Therefore, the set W is Neutrosophic bounded. □
If ( G , S , A , M , R , , ) is a NFMS produced by a metric d on G and W G , then W is Neutrosophic bounded if it is bounded. As a result with Theorems 5 and 6 it can be written that:
Corollary 1.
In an NFMS, each compact set is both closed set and bounded set.
Theorem 7.
We consider ( G , S , A , M , R , , ) as an NFMS and τ N to be the topology on G produced by the FM, then p m p G if and only if,
S ( p m , p , s ) 1 , A ( p m , p , s ) 1 , M ( p m , p , s ) 0 , R ( p m , p , s ) 0 , a s m .
Proof. 
We consider s > 0 . Suppose p m p . For any given ε ( 0 , 1 ) , there remains N N such that,
p m O ( p , ε , s ) m N .
Thus, 1 S ( p m , p , s ) < ε , 1 A ( p m , p , s ) < ε , M ( p m , p , s ) < ε , R ( p m , p , s ) < ε .
In these cases, we express it as follows:
S ( p m , p , s ) 1 , A ( p m , p , s ) 1 , M ( p m , p , s ) 0 , R ( p m , p , s ) 0 , a s m .
Conversely, suppose S ( p m , p , s ) 1 , A ( p m , p , s ) 1 , M ( p m , p , s ) 0 , R ( p m , p , s ) 0 , as m , for each s > 0 . Then for any ε ( 0 , 1 ) , there exists N N so that 1 S ( p m , p , s ) < ε , 1 A ( p m , p , s ) < ε , M ( p m , p , s ) < ε , R ( p m , p , s ) < ε N N . By this, we obtain S ( p m , p , s ) > 1 ε , A ( p m , p , s ) > 1 ε , M ( p m , p , s ) < ε , R ( p m , p , s ) < ε N N . Thus, p m O ( p , ε , s ) m N . Hence the proof. □
Definition 14.
We consider ( G , S , A , M , R , , ) as an NFMS. Any sequence p n in G is said to be a Cauchy sequence if for any positive real numbers ε and t, there subsists N N so that, the following conditions hold:
S ( p n , p m , t ) > 1 ε , A ( p n , p m , t ) > 1 ε , M ( p n , p m , t ) < ε , R ( p n , p m , t ) < ε ,
for all n , m N .
Moreover, ( G , S , A , M , R , , ) is said to be a complete NFMS if each Cauchy sequence converges with respect to the topology τ N in G.
Theorem 8.
We consider ( G , S , A , M , R , , ) as an NFMS. Under the assumption that each Cauchy sequence of G possesses a converging subsequence, the NFMS ( G , S , A , M , R , , ) is considered complete.
Proof. 
We consider p n as a Cauchy sequence in G and assume a subsequence p i n of p n coverges to a point p G . We complete the proof by showing p n p . Let t > 0 and 0 < ν < 1 . Taking ε ( 0 , 1 ) so that ( 1 ε ) ( 1 ε ) 1 ν , ϵ ϵ ν . By the Cauchyness of a n , there exists N N so that m , n N ,
S ( p m , p n , t 2 ) > 1 ε , A ( p m , p n , t 2 ) > 1 ε , M ( p m , p n , t 2 ) < ε , R ( p m , p n , t 2 ) < ε .
Since p n p , there remains i N satisfying S ( p i , p , t 2 ) > 1 ε , A ( p i , p , t 2 ) > 1 ε , M ( p i , p , t 2 ) < ε , R ( p i , p , t 2 ) < ε , i > N . Then, for n N ,
S ( p n , p , t ) S ( p n , p i , t 2 ) S ( p i , p , t 2 ) > ( 1 ε ) ( 1 ε ) 1 ν ,
A ( p n , p , t ) A ( p n , p i , t 2 ) A ( p i , p , t 2 ) > ( 1 ε ) ( 1 ε ) 1 ν ,
M ( p n , p , t ) M ( p n , p i , t 2 ) M ( p i , p , t 2 ) > ε ε ν ,
R ( p n , p , t ) R ( p n , p i , t 2 ) R ( p i , p , t 2 ) > ε ε ν ,
Thus, we have a n a . Therefore, NFMS ( G , S , A , M , R , , ) is complete. □
Theorem 9.
Consider ( G , S , A , M , R , , ) as an NFMS and W be a subset of G with the subspace NFM ( S W , A W , M W , R W ) = ( S | W 2 × , A | W 2 × , M | W 2 × , R | W 2 × ) . Then ( W , S W , A W , M W , R W , , ) is complete if and only if W G is closed.
Proof. 
Let W G is closed. Suppose p n be Cauchy in ( W , S W , A W , M W , R W , , ) . Since p n is Cauchy in G, there exists p G such that p n p . It is clear that, p W ¯ = W and so p n converges in W.
In contrary, let ( W , S W , A W , M W , R W , , ) be complete. Also, suppose W is open. If we choose a point p W ¯ / W , then there exists p n of points belonging to W converging to p and thus, p n is Cauchy. This gives, for n , m N , each ν ( 0 , 1 ) and t > 0 , N N satisfying
S ( p n , p m , t ) > 1 ν , A ( p n , p m , t ) > 1 ν , M ( p n , p m , t ) < ν , R ( p n , p m , t ) < ν .
Now, since p n is in W, we can write S ( p n , p m , t ) = S W ( p n , p m , t ) , A ( p n , p m , t ) = A W ( p n , p m , t ) , M ( p n , p m , t ) = M W ( p n , p m , t ) , R ( p n , p m , t ) = R W ( p n , p m , t ) . Therefore, p n is Cauchy in W. Since ( G , S , A , M , R , , ) is complete, q W such that p n q . Hence, n N such that S W ( q , p n , t ) > 1 ν , A W ( q , p n , t ) > 1 ν , M W ( q , p n , t ) < ν , R W ( q , p n , t ) < ν for all n N , each ν ( 0 , 1 ) and t > 0 . Since p n is in W and q W , we can write S ( q , p n , t ) = S W ( q , p n , t ) , A ( q , p n , t ) = A W ( q , p n , t ) , M ( q , p n , t ) = M W ( q , p n , t ) , R ( q , p n , t ) = R W ( q , p n , t ) . This concludes that p n converges both to p and q in ( G , S , A , M , R , , ) . Since q W and p W , this implies p q . This contradiction leads to the desired result. □
Lemma 1.
Let ( G , S , A , M , R , , ) be a NFMS. If t > 0 and 0 < ε 1 , ε 2 < 1 satisfy ( 1 ε 2 ) ( 1 ε 2 ) ( 1 ε 1 ) , ε 2 ε 2 ε 1 , then O ( p , ε 2 , t 2 ) ¯ O ( p , ε 1 , t ) .
Proof. 
We take q O ( p , ε 2 , t 2 ) ¯ and O ( q , ε 2 , t 2 ) be an open ball with radius ε 2 and centered at q. Since O ( p , ε 2 , t 2 ) O ( q , ε 2 , t 2 ) , r O ( p , ε 2 , t 2 ) O ( q , ε 2 , t 2 ) . Then we obtain,
S ( p , q , t ) S ( p , r , t 2 ) S ( q , r , t 2 ) > ( 1 ε 2 ) ( 1 ε 2 ) 1 ε 1 ,
A ( p , q , t ) A ( p , r , t 2 ) A ( q , r , t 2 ) > ( 1 ε 2 ) ( 1 ε 2 ) 1 ε 1 ,
M ( p , q , t ) M ( p , r , t 2 ) M ( q , r , t 2 ) < ε 2 ε 2 ε 1 ,
R ( p , q , t ) R ( p , r , t 2 ) R ( q , r , t 2 ) < ε 2 ε 2 ε 1 .
Hence, q O ( p , ε 1 , t ) and thus O ( p , ε 2 , t 2 ) ¯ O ( p , ε 1 , t ) . □
Theorem 10.
For an NFMS ( G , S , A , M , R , , ) , a subset W G is nowhere dense if and only if each non-empty OS in G consists of an OB such that the closure of the OB and W are disjoint.
Proof. 
We consider ψ , ψ G as open. Then, there exists a non-empty OS Δ such that Δ ψ , Δ W ¯ . If we take p Δ , then 0 < ε 1 < 1 and t R + such that O ( p , ε 1 , t ) Δ . Now, choose 0 < ε 2 < 1 such that ( 1 ε 2 ) ( 1 ε 2 ) 1 ε 1 and ε 2 ε 2 ε 1 . By Lemma 1, we obtain O ( p , ε 2 , t 2 ) ¯ O ( p , ε 1 , t ) . In this scenario, we can assert that O ( p , ε 2 , t 2 ) ψ and O ( p , ε 2 , t 2 ) ¯ W = .
On the contrary, presume that W is not nowhere dense. Hence, i n t ( W ¯ ) , indicating the existence of an OS ψ ϕ such that ψ W ¯ . Assume O ( p , ε 1 , t ) as an OB, so as O ( p , ε 1 , t ) ψ . Consequently, O ( p , ε 2 , t ) ¯ W , contradicts the assumption. □
Now, we present the Baire Category Theorem in NFMS.
Theorem 11.
In a complete NFMS, the intersection of countably many dense open sets is dense.
Proof. 
Consider a sequence of dense open subsets { ψ n : n N } in a complete NFMS ( G , S , A , M , R , , ) . Then, it is to be proved that the intersection n N ψ n is dense within G. Consider Δ as a non-empty open set of G. As ψ 1 G is dense, Δ ψ 1 . Let p 1 Δ ψ 1 . Now, Δ ψ 1 being open, ε 1 ( 0 , 1 ) , t 1 > 0 so that O ( p 1 , ε 1 , t 1 ) Δ ψ 1 . Choose ε 1 < ε 1 and t 1 = min t 1 , 1 such that O ( p 1 , ε 1 , t 1 ) ¯ Δ ψ 1 . As ψ 2 G is dense, O ( p 1 , ε 1 , t 1 ) ψ 2 . Choose p 2 O ( p 1 , ε 1 , t 1 ) ψ 2 . As O ( p 1 , ε 1 , t 1 ) ψ 2 is open, ε 2 ( 0 , 1 / 2 ) and t 2 > 0 so that O ( p 2 , ε 2 , t 2 ) O ( p 1 , ϵ 1 , t 1 ) ψ 2 . Choose ε 2 < ε 2 and t 2 = min t 2 , 1 / 2 so that O ( p 2 , ε 2 , t 2 ) ¯ O ( p 1 , ε 1 , t 2 ) ψ 2 . By proceeding in this manner, we establish a sequence { p n } in G along with another sequence { t n } where t n ( 0 , 1 / n ) , and
O ( p n , ε n , t n ) ¯ O ( p n 1 , ε n 1 , t n 1 ) ψ n
Next, we demonstrate that { p n } is Cauchy. For any t , ν > 0 , we select N N such that 1 N < t and 1 N < ν . Thus, for n N and m n , we have
S ( p n , p m , t ) S ( p n , p m , 1 / n ) 1 1 n > 1 ν ,
A ( p n , p m , t ) A ( p n , p m , 1 / n ) 1 1 n > 1 ν ,
M ( p n , p m , t ) M ( p n , p m , 1 / n ) 1 n ν ,
R ( p n , p m , t ) R ( p n , p m , 1 / n ) 1 n ν .
This shows that p n is Cauchy. G being complete, there exists p G so that p n p . As a k O ( p n , ε n , t n ) k n , we obtain p O ( p n , ε n , t n ) ¯ . Hence, it can be written that a O ( a n , ϵ n , t n ) ¯ O ( a n 1 , ϵ n 1 , t n 1 ) ψ n , n . Then, Δ ( n N ψ n ) . Then n N ψ n is dense in G. □
Definition 15.
Consider an NFMS ( G , S , A , M , R , , ) . We define a collection ( D m ) , where m N , to possess neutrosophic diameter zero (NDZ) if for every ε ( 0 , 1 ) and t R + , there exists N N such that S ( p , q , t ) > 1 ε , A ( p , q , t ) > 1 ε , M ( p , q , t ) < ε , and R ( p , q , t ) < ε hold for all p , q D N .
Theorem 12.
The NFMS ( G , S , A , M , R , , ) is complete if and only if each sequence ( D m ) m N of nested non-empty closed sets, each possessing NDZ, has a nonempty intersection.
Proof. 
Assuming the given condition is satisfied, i.e., every sequence ( D m ) m N of nested nonempty closed sets, each possessing NDZ, has a nonempty intersection. It remains to be demonstrated that ( G , S , A , M , R , , ) is complete. Consider the Cauchy sequence { p m } G . Define μ m = a k : k m and D m = μ m ¯ . It can then be asserted that ( D m ) possesses NDZ. Given 0 < ϱ < 1 and t > 0 , choose ε ( 0 , 1 ) such that ( 1 ε ) ( 1 ε ) ( 1 ε ) > 1 ϱ and ε ε ε < ϱ . As { p m } is Cauchy, there exists a natural number N satisfying
S ( p m , q n , t 3 ) > 1 ε , A ( p m , q n , t 3 ) > 1 ε , M ( a n , a m , t 3 ) < ε , R ( p m , q n , t 3 ) < ε , m , n N .
So, we obtain S ( p , q , t 3 ) > 1 ϵ , A ( p , q , t 3 ) > 1 ϵ , M ( p , q , t 3 ) < ϵ , R ( p , q , t 3 ) < ε , m , n μ N [where μ N = ( S , A , M , R ) , the NFM on G].
Select p , q D N . Then, sequences { p m } and { q m } exist such that p m p and q m q . Hence, for sufficiently large m, p m O ( p , ε , t 3 ) and q m O ( q , ε , t 3 ) . Consequently, we obtain
S ( p , q , t ) S ( p , p m , t 3 ) S ( p m , q m , t 3 ) S ( q m , q , t 3 ) > ( 1 ε ) ( 1 ε ) ( 1 ε ) > 1 ϱ ,
A ( p , q , t ) A ( p , p m , t 3 ) A ( p m , q m , t 3 ) A ( q m , q , t 3 ) > ( 1 ε ) ( 1 ε ) ( 1 ε ) > 1 ϱ ,
M ( p , q , t ) M ( p , p m , t 3 ) M ( p m , q m , t 3 ) M ( q m , q , t 3 ) < ε ε ε < ϱ ,
R ( p , q , t ) R ( p , p m , t 3 ) R ( p m , q m , t 3 ) R ( q m , q , t 3 ) < ε ε ε < ϱ .
Therefore, S ( p , q , t ) > 1 ϱ , A ( p , q , t ) > 1 ϱ , M ( p , q , t ) < ϱ , R ( p , q , t ) < ϱ ( p , q D N ) . This implies that ( D N ) possesses NDZ, hence, by the assumption, m N D m is non-empty. Let p m N D m . Then, for ε in ( 0 , 1 ) and t, a positive real number, N 1 N such that S ( p m , p , t ) > 1 ε , A ( p m , p , t ) > 1 ε , M ( p m , p , t ) < ε , R ( p m , p , t ) < ε ( n N 1 ) . That is, S ( p m , p , t ) 1 , A ( p m , p , t ) 1 , M ( p m , p , t ) 0 , R ( p m , p , t ) 0 for each t > 0 as m . Hence, p m p , which means ( G , S , A , M , R , , ) is complete.
Conversely, assume ( G , S , A , M , R , , ) is complete. Consider a nested sequence ( D m ) m N of nonempty closed sets having NDZ. For each m N , let p m be a point in D m . Our aim is to demonstrate that { p m } is a Cauchy sequence. Since ( D m ) possesses NDZ, for t R + and ε ( 0 , 1 ) , there exists N N such that S ( p , q , t ) > 1 ε , A ( p , q , t ) > 1 ε , M ( p , q , t ) < ε , R ( p , q , t ) < ε hold for all p , q D N . Due to the fact that ( D m ) is nested, it can be written that S ( p m , p n , t ) > 1 ε , A ( p m , p n , t ) > 1 ε , M ( p m , p n , t ) < ε , R ( p m , p n , t ) < ε , m , n N . Thus, { p m } forms a Cauchy sequence. As ( G , S , A , M , R , , ) is complete, { p m } converges to some p G . This implies that p D m ¯ = D m , for all m, and therefore, p belongs to m N D m . □
Theorem 13.
Every separable NFMS possesses second countability.
Proof. 
Let ( G , S , A , M , R , , ) be separable. Consider W = { p j : j N } , W G as countable dense. Define a collection B = { O ( p k , 1 / m , 1 / m ) : k , m N } . It is evident that B is countable. Our objective is to demonstrate that B serves as a basis for the assembly of all OS within G. Take ψ as an open set in G containing p. Then, t R + , ε ( 0 , 1 ) s.t O ( p , ε , t ) ψ . Due to this fact, ε ( 0 , 1 ) , 0 < ϱ < 1 s.t ( 1 ϱ ) ( 1 ϱ ) > 1 ε and ϱ ϱ < ε . Chosse t N so that 1 / t < min ϱ , t / 2 . As W G is dense, p k G such that p O ( p , 1 / t , 1 / t ) . If q O ( p k , 1 / t , 1 / t ) , we can write
S ( p , q , t ) S ( p , p k , t / 2 ) S ( q , p k , t / 2 ) S ( p , p k , 1 / t ) S ( q , p k , 1 / t ) ( 1 1 / t ) ( 1 1 / t ) ( 1 ϱ ) ( 1 ϱ ) > 1 ε ,
A ( p , q , t ) A ( p , p k , t / 2 ) A ( q , p k , t / 2 ) A ( p , p k , 1 / t ) A ( q , p k , 1 / t ) ( 1 1 / t ) ( 1 1 / t ) ( 1 ϱ ) ( 1 ϱ ) > 1 ε ,
M ( p , q , t ) M ( p , p k , t / 2 ) M ( q , p k , t / 2 ) M ( p , p k , 1 / t ) M ( q , p k , 1 / t ) 1 / t 1 / t ϱ ϱ < ε ,
R ( p , q , t ) R ( p , p k , t / 2 ) R ( q , p k , t / 2 ) R ( p , p k , 1 / t ) R ( q , p k , 1 / t ) 1 / t 1 / t ϱ ϱ < ε .
Then q O ( p , ε , t ) ψ , thus B forms a basis. □
Remark 3.
It is worth noting that second countability implies separability, and second countability is an inherited property. Hence, it follows that every subspace of a separable NFMS is also separable.
Definition 16.
Consider a set W and a NFMS ( G , S , A , M , R , , ) . We say that the sequence of functions ( f m ) : W G uniformly converges to a function f : W G if corresponding to any t > 0 , 0 < ε < 1 , there remains a natural number N satisfying
S ( f n ( p ) , f ( p ) , t ) > 1 ε , A ( f m ( p ) , f ( p ) , t ) > 1 ε , M ( f m ( p ) , f ( p ) , t ) < ε , R ( f m ( p ) , f ( p ) , t ) < ε ,
for all n N and p W .
Now we present uniform convergence theorem for NFMS.
Theorem 14.
Let W be a topological space, ( G , S , A , M , R , , ) be a NFMS, and f n : W G be a sequence of continuous functions. If ( f n ) converges uniformly to f : W G then f is considered continuous.
Proof. 
Assume μ as an OS in G, p 0 f 1 ( μ ) . Since μ is open, t R + , ε ( 0 , 1 ) so that O ( f ( p 0 ) , f ( p ) , t ) μ . Since ε ( 0 , 1 ) , we select ϱ ( 0 , 1 ) such that ( 1 ϱ ) ( 1 ϱ ) ( 1 ϱ ) > 1 ε and ϱ ϱ ϱ < ε . Given that ( f n ) is uniformly convergent to f ,for any t > 0 and 0 < ϱ < 1 N N so that S ( f n ( p ) , f ( p ) , t 3 ) > 1 ϱ , A ( f n ( p ) , f ( p ) , t 3 ) > 1 ϱ , M ( f n ( p ) , f ( p ) , t 3 ) < ϱ , R ( f n ( p ) , f ( p ) , t 3 ) < ϱ for all n N , p G . Since f n are continuous, we have for each n that there remains δ , a neighborhood of p 0 , so as f n ( δ ) O ( f n ( p 0 ) , ϱ , t 3 ) . Therefore, S ( f n ( p ) , f n ( p 0 ) , t 3 ) > 1 ϱ , A ( f n ( p ) , f n ( p 0 ) , t 3 ) > 1 ϱ , M ( f n ( p ) , f n ( p 0 ) , t 3 ) < ϱ , R ( f n ( p ) , f n ( p 0 ) , t 3 ) < ϱ p δ . Now,
S ( f ( p ) , f ( p 0 ) , t ) S ( f ( p ) , f n ( p ) , t / 3 ) S ( f n ( p ) , f n ( p 0 ) , t / 3 ) S ( f n ( p 0 ) , f ( p 0 ) , t / 3 ) ( 1 ϱ ) ( 1 ϱ ) ( 1 ϱ ) > 1 ε ,
A ( f ( p ) , f ( p 0 ) , t ) A ( f ( p ) , f n ( p ) , t / 3 ) A ( f n ( p ) , f n ( p 0 ) , t / 3 ) A ( f n ( p 0 ) , f ( p 0 ) , t / 3 ) ( 1 ϱ ) ( 1 ϱ ) ( 1 ϱ ) > 1 ε ,
M ( f ( p ) , f ( p 0 ) , t ) M ( f ( p ) , f n ( p ) , t / 3 ) M ( f n ( p ) , f n ( p 0 ) , t / 3 ) M ( f n ( p 0 ) , f ( p 0 ) , t / 3 ) ϱ ϱ ϱ < ε ,
R ( f ( p ) , f ( p 0 ) , t ) R ( f ( p ) , f n ( p ) , t / 3 ) R ( f n ( p ) , f n ( p 0 ) , t / 3 ) R ( f n ( p 0 ) , f ( p 0 ) , t / 3 ) ϱ ϱ ϱ < ε .
Implies that f ( p ) O ( f ( p 0 ) , ε , t ) μ p δ . Therefore, f ( δ ) μ and thus, f is continuous. □

4. Conclusions

This study presents an exploration into the realm of neutrosophic fuzzy metric spaces, introducing an innovative extension of traditional metric spaces tailored to accommodate the intricacies of real-world phenomena characterized by uncertainty and imprecision. The motivation behind this work stems from the recognition of the limitations of classical metric spaces in capturing the nuances inherent in complex systems modelled by neutrosophic fuzzy sets. By introducing and investigating the properties of neutrosophic fuzzy metric spaces, we aim to provide a robust theoretical framework capable of addressing these challenges. Our examination of the structural and topological aspects of neutrosophic fuzzy metric spaces has yielded valuable insights into their fundamental characteristics. Through rigorous analysis, we have elucidated key properties such as completeness, continuity, and convergence within this novel framework. Moreover, the establishment of counterparts to well-known theorems such as the Uniform Convergence Theorem and the Baire Category Theorem underscores the theoretical richness and depth of neutrosophic fuzzy metric spaces.
The inspiration for the introduction of Neutrosophic Fuzzy Metric Spaces draws from the pioneering work of M. Kirisci in 2020, where the concept was first proposed and its topological properties were established. This framework offers a versatile framework wherein fixed points for various types of mappings can be determined, presenting applications across diverse domains such as boundary value problems, nonlinear differential and integral equations, optimization theory, variational inequality, and complementarity problems. Furthermore, NFMS equips us with essential tools to tackle challenges in mathematical analysis and game theory effectively.
Looking ahead, several avenues for future research and application emerge from our findings. Firstly, further exploration of the properties and structures of neutrosophic fuzzy metric spaces promises to deepen our understanding of their mathematical underpinnings. Investigations into additional properties, such as compactness and connectedness, could uncover new insights and lead to the development of more sophisticated mathematical tools and techniques. Additionally, establishing connections between neutrosophic fuzzy metric spaces and other areas of mathematics, such as functional analysis and differential equations, holds the potential to broaden the scope of their applicability and facilitate interdisciplinary collaborations. Beyond the realm of pure mathematics, neutrosophic fuzzy metric spaces offer a powerful framework for modelling and analyzing uncertain and imprecise data, making them particularly relevant in fields such as computer science, engineering, and decision making. Future applications could include the development of robust algorithms for data analysis, optimization techniques for complex systems, and decision support systems for uncertain environments. By bridging the gap between theoretical advancements and real-world challenges, we aim to contribute to the advancement of knowledge and the development of innovative solutions to complex problems.

Author Contributions

Conceptualization, S.G., S., R.B., and S.N.; methodology, S.G., S. and R.B.; validation, S.G., S., R.B., and S.N.; formal analysis, S.G., S., R.B., and S.N.; investigation, S.G., S., R.B., and S.N.; writing—original draft preparation, S.G., S.; writing—review and editing, S., R.B.; visualization and supervision, S.G., S., R.B. and S.N. All authors have read and agreed to the published of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No data was used for the research described in the article.

Acknowledgments

Authors are thankful to the editors and reviewers for their insightful remarks and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control. 1965, 8, 338–353. [Google Scholar] [CrossRef]
  2. Atanassov, K. Intuitionistic fuzzy sets. Int. J. Bioautomation 2016, 20, 1. [Google Scholar]
  3. Smarandache, F. A Unifying Field in Logics: Neutrosophic Logic; Philosophy, American Research Press: New York, NY, USA, 1999; pp. 1–141. [Google Scholar]
  4. Al-shami, T.M.; Mhemdi, A. Generalized frame for orthopair fuzzy sets:(m, n)-fuzzy sets and their applications to multi-criteria decision-making methods. Information 2023, 14, 56. [Google Scholar] [CrossRef]
  5. Kramosil, I.; Michálek, J. Fuzzy metrics and statistical metric spaces. Kybernetika 1975, 11, 336–344. [Google Scholar]
  6. George, A.; Veeramani, P. On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64, 395–399. [Google Scholar] [CrossRef]
  7. Çoker, D. An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets Syst. 1997, 88, 81–89. [Google Scholar] [CrossRef]
  8. Park, J.H. Intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2004, 22, 1039–1046. [Google Scholar] [CrossRef]
  9. Kaleva, O.; Seikkala, S. On fuzzy metric spaces. Fuzzy Sets Syst. 1984, 12, 215–229. [Google Scholar] [CrossRef]
  10. Smarandache, F. Neutrosophic set-a generalization of the intuitionistic fuzzy set. In Proceedings of the IEEE International Conference on Granular Computing, Atlanta, GA, USA, 10–12 May 2006. [Google Scholar]
  11. Salama, A.A.; Alblowi, S.A. Neutrosophic set and neutrosophic topological spaces. IOSR J. Math. 2012, 3, 31–35. [Google Scholar] [CrossRef]
  12. Ejegwa, P.A.; Akowe, S.O.; Otene, P.M.; Ikyule, J.M. An overview on intuitionistic fuzzy sets. Int. J. Sci. Technol. Res. 2014, 3, 142–145. [Google Scholar]
  13. Majumdar, P. Neutrosophic sets and its applications to decision making. In Computational Intelligence for Big Data Analysis: Frontier Advances and Applications; Springer International Publishing: Cham, Switzerland, 2015; pp. 97–115. [Google Scholar]
  14. Alaca, C.; Turkoglu, D.; Yildiz, C. Fixed points in intuitionistic fuzzy metric spaces. Chaos Solitons Fractals 2006, 29, 1073–1078. [Google Scholar] [CrossRef]
  15. Nădăban, S. Fuzzy b-metric spaces. Int. J. Comput. Commun. Control. 2016, 11, 273–281. [Google Scholar] [CrossRef]
  16. Sonam; Bhardwaj, R.; Narayan, S. Fixed point results in soft fuzzy metric spaces. Mathematics 2023, 11, 3189. [Google Scholar] [CrossRef]
  17. Sonam. Some fixed point results in soft fuzzy metric spaces via altering soft distance. Adv. Math. Sci. Appl. 2024, 33, 189–200. [Google Scholar]
  18. Gregori, V.; Miñana, J.J.; Miravet, D. Fuzzy partial metric spaces. Int. J. Gen. Syst. 2019, 48, 260–279. [Google Scholar] [CrossRef]
  19. Gregori, V.; Romaguera, S. Fuzzy quasi-metric spaces. Appl. Gen. Topol. 2004, 5, 129–136. [Google Scholar] [CrossRef]
  20. Sonam; Rathore, V.; Pal, A.; Bhardwaj, R.; Narayan, S. Fixed-Point Results for Mappings Satisfying Implicit Relation in Orthogonal Fuzzy Metric Spaces. Adv. Fuzzy Syst. 2023, 2023, 5037401. [Google Scholar] [CrossRef]
  21. Zararsız, Z.; Riaz, M. Bipolar fuzzy metric spaces with application. Comput. Appl. Math. 2022, 41, 49. [Google Scholar] [CrossRef]
  22. Vetro, C. Fixed points in weak non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 2011, 162, 84–90. [Google Scholar] [CrossRef]
  23. Sonam; Chauhan, C.S.; Bharadwaj, R.; Narayan, S. Fixed point results in soft rectangular b-metric space. Nonlinear Funct. Anal. Appl. 2023, 28, 753–774. [Google Scholar]
  24. Sonam; Bhardwaj, R. Existence and Uniqueness of Solutions of Nonlinear Integral Equations through Results in Fuzzy Bipolar Metric Spaces. J. Nonlinear Model. Anal. 2024, in press. [Google Scholar]
  25. Broumi, S.; Bakali, A.; Talea, M.; Smarandache, F.; Uluçay, V.; Sahin, M.; Dey, A.; Dhar, M.; Tan, R.P.; Bahnasse, A.; et al. Neutrosophic sets: An overview. In On Neutrosophic Theory and Applications II; Pons, Ed.; EU: Brussels, Belgium, 2018; pp. 403–434. ISBN 978-1-59973-559-7. [Google Scholar]
  26. Jeyaraman, M.; Jeyanthi, V.; Mangayarkkarasi, A.N.; Smarandache, F. Some new structures in neutrosophic metric spaces. Neutrosophic Sets Syst. 2021, 42, 49–64. [Google Scholar]
  27. Kirişci, M.; Şimşek, N. Neutrosophic metric spaces. Math. Sci. 2020, 14, 241–248. [Google Scholar] [CrossRef]
  28. Sowndrarajan, S.; Jeyaraman, M.; Smarandache, F. Fixed point results for contraction theorems in neutrosophic metric spaces. Neutrosophic Sets Syst. 2020, 36, 308–318. [Google Scholar]
  29. Ishtiaq, U.; Javed, K.; Uddin, F.; Sen, M.D.L.; Ahmed, K.; Ali, M.U. Fixed point results in orthogonal neutrosophic metric spaces. Complexity 2021, 2021, 2809657. [Google Scholar] [CrossRef]
  30. Asghar, A.; Hussain, A.; Ahmad, K.; Ishtiaq, U.; Sulami, H.A.; Hussain, N. On neutrosophic 2-metric spaces with application. J. Funct. Spaces 2023, 2023, 9057107. [Google Scholar] [CrossRef]
  31. Janardhanan, G.; Mani, G.; Ege, O.; Varadharajan, V.; George, R. Orthogonal neutrosophic 2-metric spaces. J. Inequalities Appl. 2023, 2023, 112. [Google Scholar] [CrossRef]
  32. Mani, G.; Subbarayan, P.; Mitrović, Z.D.; Aloqaily, A.; Mlaiki, N. Solving Some Integral and Fractional Differential Equations via Neutrosophic Pentagonal Metric Space. Axioms 2023, 2, 758. [Google Scholar] [CrossRef]
  33. Saeed, M.; Ishtiaq, U.; Kattan, D.A.; Ahmad, K.; Sessa, S. New Fixed Point Results in Neutrosophic b-Metric Spaces with Application. Int. J. Anal. Appl. 2023, 21, 73. [Google Scholar] [CrossRef]
  34. Das, S.; Roy, B.K.; Kar, M.B.; Kar, S.; Pamučar, D. Neutrosophic fuzzy set and its application in decision making. J. Ambient. Intell. Humaniz. Comput. 2020, 11, 5017–5029. [Google Scholar] [CrossRef]
  35. Abbas, M.; Ali, B.; Romaguera, S. On Generalized Soft Equality and Soft Lattice Structure. Filomat 2014, 28, 1191–1203. [Google Scholar] [CrossRef]
  36. Ali, B.; Saleem, N.; Sundus, N.; Khaleeq, S.; Saeed, M.; George, R. A Contribution to the Theory of Soft Sets via Generalized Relaxed Operations. Mathematics 2022, 10, 2636. [Google Scholar] [CrossRef]
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

Ghosh, S.; Sonam; Bhardwaj, R.; Narayan, S. On Neutrosophic Fuzzy Metric Space and Its Topological Properties. Symmetry 2024, 16, 613. https://doi.org/10.3390/sym16050613

AMA Style

Ghosh S, Sonam, Bhardwaj R, Narayan S. On Neutrosophic Fuzzy Metric Space and Its Topological Properties. Symmetry. 2024; 16(5):613. https://doi.org/10.3390/sym16050613

Chicago/Turabian Style

Ghosh, Samriddhi, Sonam, Ramakant Bhardwaj, and Satyendra Narayan. 2024. "On Neutrosophic Fuzzy Metric Space and Its Topological Properties" Symmetry 16, no. 5: 613. https://doi.org/10.3390/sym16050613

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