A criterion for Cauchy sequences in db-metric spaces

Lech Pasicki

arxiv: 2604.14173 · v1 · submitted 2026-03-25 · 🧮 math.GN

A criterion for Cauchy sequences in db-metric spaces

Lech Pasicki This is my paper

Pith reviewed 2026-05-15 01:00 UTC · model grok-4.3

classification 🧮 math.GN

keywords Cauchy sequencesdb-metric spacesb-metric spacesgeneralized metricsconvergence criteriacompleteness

0 comments

The pith

A refined criterion identifies Cauchy sequences in db-metric spaces

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This note proves a criterion for Cauchy sequences that works in db-metric spaces. The new criterion refines an earlier test given for ordinary b-metric spaces in a 2025 paper. A sympathetic reader would care because it gives a sharper way to decide when sequences converge in these generalized metric settings. The proof uses the extra structure of db-metrics to strengthen the necessary and sufficient condition.

Core claim

In a db-metric space a sequence is Cauchy if and only if it satisfies the refined condition proved here, which improves on the condition that suffices for b-metric spaces.

What carries the argument

The refined Cauchy criterion, a necessary-and-sufficient test that exploits the additional axioms of a db-metric to decide whether a sequence is Cauchy.

Load-bearing premise

The space must obey the extra structural properties that turn a b-metric into a db-metric for the refined test to be valid.

What would settle it

A concrete db-metric space together with a sequence that satisfies the old b-metric test but fails the new criterion, or vice versa, would show the refinement does not hold.

read the original abstract

In this note a criterion for Cauchy sequences is proved which refines the one presented in `Cauchy sequences in b-metric spaces', Topology Appl. 373 (2025) 109477.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This short note gives a direct but narrow refinement of a Cauchy criterion to db-metric spaces.

read the letter

The main takeaway is that this short note extends a Cauchy sequence criterion from b-metric spaces to db-metric spaces by using the extra axioms that come with the db version. The proof is a straightforward adaptation of the earlier argument. What the paper does well is keep the reasoning direct. It defines the db-metric properly with the relaxed triangle inequality and the continuity-type condition, then shows how the Cauchy test carries over without needing additional assumptions. The steps are explicit and follow from the listed properties. On the downside, the advance is quite narrow. It refines one specific result in a specialized area, and the note doesn't explore any consequences for convergence or fixed points. Without examples or applications, it's hard to see how much the refinement changes things in practice. The citation is mostly to that one 2025 paper, which is fine for a note but keeps the context tight. This is really for people working specifically on generalized metric spaces and their fixed-point theory. If you're not already following the b-metric literature, this won't add much. I'd say send it to peer review. The argument looks solid based on the axioms, and a referee can confirm the details quickly. It's not a big result, but it's a fair incremental step.

Referee Report

0 major / 3 minor

Summary. The manuscript proves a refined criterion for Cauchy sequences in db-metric spaces. It defines db-metric spaces via a relaxed triangle inequality with constant and an additional continuity-type condition on the metric, then adapts the argument from the cited b-metric result to obtain the refinement. The proof proceeds directly from the stated axioms without invoking extra completeness or continuity assumptions.

Significance. If the result holds, the refinement supplies a sharper test for Cauchy sequences in this class of generalized metric spaces. This strengthens the toolkit for studying completeness and fixed-point properties in spaces that interpolate between metrics and b-metrics. The direct, axiom-by-axiom adaptation of the prior proof is a clear technical strength.

minor comments (3)

The abstract is terse; a single sentence indicating the extra axiom (continuity-type condition) used in the db-metric would help readers immediately see the source of the refinement.
In the definition of the db-metric (presumably §2), verify that the continuity-type condition is stated with an explicit quantifier order so that its use in the proof is unambiguous.
The bibliography entry for the 2025 Topology Appl. paper should include the full title, authors, and page range for completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation to accept the manuscript. The referee's summary correctly identifies the direct adaptation of the b-metric argument to the db-metric setting and the resulting refinement of the Cauchy criterion.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript proves a refined Cauchy criterion for db-metric spaces by direct adaptation of the argument from the cited b-metric result, invoking only the explicitly listed axioms (relaxed triangle inequality plus continuity-type condition) at each step. No equations reduce a claimed prediction to a fitted input by construction, no uniqueness theorem is imported from overlapping-author prior work as an external fact, and the central claim does not rely on a self-citation chain that itself lacks independent verification. The derivation therefore remains independent of the present paper's own fitted values or definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities are mentioned.

pith-pipeline@v0.9.0 · 5302 in / 973 out tokens · 39987 ms · 2026-05-15T01:00:27.713372+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Lemma 2: lim ρ(x_n,x_m)=0 iff (2a) lim ρ(x_{n+1},x_n)=0 and (2b) the uniform λ/s contraction on p-shifts for small δ
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 1: db-metric axioms (1a)–(1c) with s≥1

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Czerwik, Nonlinear set-valued contraction mappings in b-metric spaces, Atti Semin

S. Czerwik, Nonlinear set-valued contraction mappings in b-metric spaces, Atti Semin. Mat. Fis. Univ. Modena Reggio Emilia, 46 (1998), 263-276

work page 1998
[2]

Hitzler, A

P. Hitzler, A. K. Seda, Dislocated topologies, J. Electr. Engin. 51(12) (2000), 3-7

work page 2000
[3]

Matthews, Partial metric topology, Proc

S.G. Matthews, Partial metric topology, Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994), 183-197

work page 1994
[4]

Pasicki, Cauchy sequences in b-metric spaces, Topology Appl

L. Pasicki, Cauchy sequences in b-metric spaces, Topology Appl. 373 (2025) 109477, DOI: 10.1016/j.topol.2025.109477. 3

work page doi:10.1016/j.topol.2025.109477 2025

[1] [1]

Czerwik, Nonlinear set-valued contraction mappings in b-metric spaces, Atti Semin

S. Czerwik, Nonlinear set-valued contraction mappings in b-metric spaces, Atti Semin. Mat. Fis. Univ. Modena Reggio Emilia, 46 (1998), 263-276

work page 1998

[2] [2]

Hitzler, A

P. Hitzler, A. K. Seda, Dislocated topologies, J. Electr. Engin. 51(12) (2000), 3-7

work page 2000

[3] [3]

Matthews, Partial metric topology, Proc

S.G. Matthews, Partial metric topology, Proc. 8th Summer Conference on General Topology and Applications, Ann. New York Acad. Sci. 728 (1994), 183-197

work page 1994

[4] [4]

Pasicki, Cauchy sequences in b-metric spaces, Topology Appl

L. Pasicki, Cauchy sequences in b-metric spaces, Topology Appl. 373 (2025) 109477, DOI: 10.1016/j.topol.2025.109477. 3

work page doi:10.1016/j.topol.2025.109477 2025