Neutrosophic metric Spaces
Pith reviewed 2026-05-25 12:40 UTC · model grok-4.3
The pith
A distance function on neutrosophic numbers creates a metric space in which the Baire category theorem and the uniform convergence theorem have direct analogues.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors introduce a distance function d that maps pairs of neutrosophic numbers to neutrosophic numbers, verify that d obeys non-negativity, symmetry and the triangle inequality, and then show that the induced topology supports the statement and proof of the Baire category theorem together with the statement and proof of the uniform convergence theorem.
What carries the argument
The neutrosophic metric: a distance function from pairs of neutrosophic numbers to neutrosophic numbers that satisfies the three metric axioms and induces a topology on the space.
If this is right
- In a complete neutrosophic metric space the intersection of countably many dense open sets is dense.
- The uniform limit of a sequence of continuous functions between neutrosophic metric spaces is itself continuous.
- Cauchy sequences with respect to the neutrosophic distance converge when the space is complete.
- Open and closed sets can be defined directly from the neutrosophic distance values.
Where Pith is reading between the lines
- The same distance construction could be tested on other generalized number systems to see which classical theorems survive.
- Fixed-point results that rely on completeness might be examined next in neutrosophic metric spaces.
- The topology induced by the neutrosophic metric supplies a concrete setting in which to compare ordinary convergence with convergence that tracks indeterminacy.
Load-bearing premise
The proposed distance function on neutrosophic numbers satisfies the metric axioms and induces a topology in which the classical proofs of the Baire category theorem and the uniform convergence theorem remain valid.
What would settle it
An explicit triple of neutrosophic numbers for which the proposed distance violates the triangle inequality, or a concrete sequence of functions that converges uniformly in the neutrosophic metric yet whose pointwise limit fails to be continuous.
read the original abstract
In present paper, the definition of new metric space with neutrosophic numbers is given. Several topological and structural properties have been investigated. The analogues of Baire Category Theorem and Uniform Convergence Theorem are given for Neutrosophic metric spaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a definition of a metric space whose underlying set consists of neutrosophic numbers, investigates several topological and structural properties of this space, and states analogues of the Baire Category Theorem and the Uniform Convergence Theorem that are claimed to hold in the new setting.
Significance. A correctly verified metric on neutrosophic numbers would supply a concrete topological framework for handling truth-indeterminacy-falsity triples, allowing classical results such as Baire category and uniform convergence to be transferred. The paper supplies no machine-checked proofs, no reproducible code, and no parameter-free derivations, so its contribution remains conditional on the metric axioms being satisfied.
major comments (1)
- [Definition section / main construction] Definition of the distance function on neutrosophic numbers: the manuscript asserts that the proposed distance satisfies the metric axioms (non-negativity, symmetry, triangle inequality) but supplies neither an explicit verification of the triangle inequality for arbitrary triples of neutrosophic numbers nor a derivation from the component-wise operations on the truth, indeterminacy and falsity components. This verification is load-bearing for the claim that the structure is a metric space and therefore for the validity of the stated analogues of the Baire Category Theorem and Uniform Convergence Theorem.
minor comments (2)
- [Abstract] Abstract: the sentence 'In present paper' should read 'In the present paper'.
- [Definition section] The manuscript does not indicate which specific neutrosophic operations (e.g., component-wise addition or a custom combination) are used to define the distance; this notation should be made explicit.
Simulated Author's Rebuttal
We thank the referee for the detailed review and for identifying the need for explicit verification of the metric axioms. We address the major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Definition section / main construction] Definition of the distance function on neutrosophic numbers: the manuscript asserts that the proposed distance satisfies the metric axioms (non-negativity, symmetry, triangle inequality) but supplies neither an explicit verification of the triangle inequality for arbitrary triples of neutrosophic numbers nor a derivation from the component-wise operations on the truth, indeterminacy and falsity components. This verification is load-bearing for the claim that the structure is a metric space and therefore for the validity of the stated analogues of the Baire Category Theorem and Uniform Convergence Theorem.
Authors: We agree that the triangle inequality requires explicit verification for arbitrary triples and that a derivation from the component-wise operations on the truth, indeterminacy, and falsity components should be supplied. In the revised manuscript we will insert a complete, self-contained proof of all metric axioms, with the triangle inequality proved directly from the definition of the distance function. This addition will also clarify the foundation for the Baire Category and Uniform Convergence analogues. revision: yes
Circularity Check
No circularity; definition and theorems are self-contained.
full rationale
The paper defines a neutrosophic metric space and states analogues of the Baire Category Theorem and Uniform Convergence Theorem for it. No quoted equations, self-citations, or constructions reduce any claimed result to its inputs by construction, rename a fitted parameter as a prediction, or import uniqueness via author overlap. The load-bearing premise (that the proposed distance satisfies metric axioms) is a standard definitional step whose verification is external to any circular loop; the derivation chain therefore remains independent of the patterns that trigger circularity scores.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Atanassov, Intuitionistic fuzzy sets , Fuzzy Sets and Systems, 20, (1986), 87–96
K. Atanassov, Intuitionistic fuzzy sets , Fuzzy Sets and Systems, 20, (1986), 87–96
work page 1986
-
[2]
K. Atanassov, G. Gargov, Interval valued intuitionistic fuzzy sets , Inf. Comp. 31, (1989), 343–349
work page 1989
-
[3]
T Bera, NK Mahapatra, Neutrosophic Soft Linear Spaces , Fuzzy Information and Engineering, 2017; 9:299–324
work page 2017
-
[4]
T Bera, NK Mahapatra, Neutrosophic Soft Normed Linear Spaces , neutrosohic Sets and Systems, 2018; 23:52–71
work page 2018
- [5]
- [6]
- [7]
-
[8]
Kiri¸ sci, Integrated and Differentiated Spaces of Triangular Fuzzy Nu mbers, Fas
M. Kiri¸ sci, Integrated and Differentiated Spaces of Triangular Fuzzy Nu mbers, Fas. Math. 59, (2017), 75–89. DOI:10.1515/fascmath-2017-0018
-
[9]
M. Kiri¸ sci, Multiplicative generalized metric spaces and fixed point th eorems, Journal of Mathematical Analysis, 2017; 8:212–224
work page 2017
-
[10]
Kiri¸ sci,Topological structure of non-newtonian metric spaces , Electron
M. Kiri¸ sci,Topological structure of non-newtonian metric spaces , Electron. J. Math. Anal. Appl., 2017; 5:156–169
work page 2017
-
[11]
I. Kramosil, J. Michalek, Fuzzy metric and statistical metric spaces , Kybernetika 1975; 11:336–344
work page 1975
-
[12]
Menger, Statistical metrics , Proc Nat Acad Sci 1942; 28:535–537
K. Menger, Statistical metrics , Proc Nat Acad Sci 1942; 28:535–537
work page 1942
-
[13]
JH Park, Intuitionistic fuzzy metric spaces , Chaos, Solitons & Fractals, 2004; 22:1039-1046
work page 2004
-
[14]
JJ Peng, JQ W ang, J W ang, HY Zhang, XH Chen, Simplified neutrosophic sets and their applications in multi-criteria group decision-making problems , International Journal of Systems Science, 2016; 47:10, 2342-2358, DOI: 10.1080/00207721.2014.994050
-
[15]
Smarandache, Neutrosophic set, a generalisation of the intuitionistic f uzzy sets , Inter
F. Smarandache, Neutrosophic set, a generalisation of the intuitionistic f uzzy sets , Inter. J. Pure Appl. Math., 24, (2005), 287–297. Neutrosophic Metric Spaces 11
work page 2005
-
[16]
Smarandache, A Unifying Field in Logics: Neutrosophic Logic
F. Smarandache, A Unifying Field in Logics: Neutrosophic Logic. Neutrosoph y, Neutrosophic Set, Neutrosophic Probability and Statistics , Phoenix: Xiquan, (2003)
work page 2003
-
[17]
I. Turksen, Interval valued fuzzy sets based on normal forms , Fuzzy Sets and Systems, 20, (1986), 191–210
work page 1986
- [18]
-
[19]
RR. Yager, Pythagorean fuzzy subsets , In: Proc Joint IFSA W orld Congress and NAFIPS Annual M eeting, Edmonton, Canada; (2013), 57–61
work page 2013
-
[20]
J. Ye, A multicriteria decision-making method using aggregation operators for simplified neutrosophic sets, J Intell Fuzzy Syst, 2014; 26(5):2459–2466
work page 2014
-
[21]
L. A. Zadeh, Fuzzy sets, Inf. Comp. 8, (1965), 338–353
work page 1965
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.