pith. sign in

arxiv: 2305.07354 · v3 · submitted 2023-05-12 · 🧮 math.GN · math.MG

Banakh spaces and their geometry

Taras Banakh This is my paper

Pith reviewed 2026-05-24 08:33 UTC · model grok-4.3

classification 🧮 math.GN math.MG
keywords Banakh spacesmetric spacesisometric embeddingssubgroups of the real linedistance setssphere geometry
0
0 comments X

The pith

Banakh spaces isometric to subgroups of the real line can be characterized, while non-embeddable examples exist for any prescribed distance set.

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

The paper defines a metric space to be Banakh when every nonempty sphere of positive radius r has exactly two points separated by distance 2r. It characterizes the Banakh spaces that are isometric to subgroups of the real line. It also proves the existence of Banakh spaces that fail to embed into the real line yet realize any given distance set d[X^2]. A sympathetic reader cares because the sphere condition turns out to be compatible both with rigid linear geometry and with more flexible abstract realizations of distances.

Core claim

Following the definition of Banakh spaces as metric spaces in which nonempty spheres of positive radius r have cardinality two and diameter 2r, the paper characterizes those Banakh spaces that are isometric to subgroups of the real line and constructs examples of Banakh spaces that do not embed into the real line yet realize any prescribed distance set d[X^2].

What carries the argument

The Banakh sphere condition that every positive-radius sphere has cardinality two and diameter exactly 2r.

If this is right

  • Banakh spaces that embed isometrically into the real line satisfy a specific geometric characterization derived from the sphere condition.
  • Any prescribed distance set can be realized by some Banakh space that does not embed into the real line.
  • The sphere condition distinguishes embeddable cases from non-embeddable ones without forcing embeddability.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The sphere condition alone does not force a space to be linear.
  • Explicit constructions for particular distance sets could be checked computationally for small finite cases.
  • The result opens the possibility of studying topological invariants preserved by the sphere condition in non-embeddable examples.

Load-bearing premise

The sphere condition of cardinality two and diameter 2r is assumed to be compatible with metric axioms in a manner that permits both the characterization and the non-embeddable constructions.

What would settle it

A concrete metric space satisfying the two-point sphere condition for every radius but failing either the embeddable characterization or the existence of a realization for some distance set would falsify the claims.

read the original abstract

Following Will Brian, we define a metric space $X$ to be $Banakh$ if all nonempty spheres of positive radius $r$ in $X$ have cardinality $2$ and diameter $2r$. Standard examples of Banakh spaces are subgroups of the real line. In this paper we study the geometry of Banakh spaces, characterize Banakh spaces which are isometric to subgroups of the real line, and also construct Banakh spaces $(X,d)$ which do not embed into the real line and have a prescribed distance set $d[X^2]$.

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.

Referee Report

0 major / 1 minor

Summary. The paper defines a metric space X to be Banakh if every nonempty sphere of positive radius r has cardinality exactly 2 and diameter 2r. Standard examples are subgroups of the real line. The manuscript characterizes the Banakh spaces isometric to subgroups of R and constructs Banakh spaces that do not embed into R yet realize any prescribed distance set d[X²].

Significance. If the characterization and constructions are correct, the work supplies a precise description of the linear case and demonstrates that the sphere condition is compatible with non-embeddable examples whose distance sets can be chosen freely. This would strengthen the understanding of metric spaces whose spheres are rigidly constrained.

minor comments (1)
  1. The abstract states the main results cleanly, but the absence of any displayed proofs, constructions, or section references in the provided material prevents verification of the load-bearing steps.

Simulated Author's Rebuttal

0 responses · 0 unresolved

Thank you for the opportunity to respond to the referee report on our paper 'Banakh spaces and their geometry'. The referee provides a concise summary of the definition, the characterization of Banakh spaces isometric to subgroups of the real line, and the construction of non-embeddable examples with prescribed distance sets. We note the positive assessment of the potential significance of the work, conditional on correctness. As no specific major comments or concerns were listed in the report, we have no point-by-point responses to provide at this time. We stand ready to clarify any aspects of the manuscript or address any questions that may arise.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper begins with an explicit definition of Banakh spaces (all nonempty positive-radius spheres have cardinality 2 and diameter 2r), cites external prior work by Will Brian for the definition, notes standard examples as subgroups of R, then states a characterization of the linear isometric case and an existence construction for non-embeddable examples with prescribed distance sets. No equation or claim reduces by construction to a fitted parameter, self-citation, or renamed input; the sphere condition is an independent axiom, and the results are presented as consequences of metric-space properties rather than tautological restatements. This is the normal non-circular pattern for a definitional geometry paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Abstract only; the definition relies on standard metric axioms and the new sphere condition. No free parameters or invented physical entities appear. The Banakh class itself is a newly named collection of spaces rather than a postulated object with independent evidence.

axioms (1)
  • standard math Standard metric space axioms (non-negativity, symmetry, triangle inequality, identity of indiscernibles)
    Invoked implicitly when defining spheres and distances in any metric space.
invented entities (1)
  • Banakh space no independent evidence
    purpose: To name and study the class of metric spaces satisfying the two-point sphere condition
    New definition introduced following Will Brian; no independent falsifiable evidence outside the paper is supplied in the abstract.

pith-pipeline@v0.9.0 · 5603 in / 1287 out tokens · 23137 ms · 2026-05-24T08:33:09.319849+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Game extensions of floppy graph metrics

    math.CO 2023-06 unverdicted novelty 6.0

    Floppy graph metrics with countably many missing edges can be extended to full metrics by choosing lengths from dense subsets of positive reals in the interval between one-third check d plus two-thirds hat d and hat d.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper

  1. [1]

    Banakh, Classical Set Theory: Theory of Sets and Classes , ( arxiv.org/abs/2006.01613)

    T. Banakh, Classical Set Theory: Theory of Sets and Classes , ( arxiv.org/abs/2006.01613)

    work page arXiv 2006

  2. [2]

    Banakh, T

    I. Banakh, T. Banakh, M. Kolinko, A. Ravsky, Metric characterizations of some subsets of the real line , Mat. Studi ˘ ı (to appear)

    work page

  3. [3]

    Banakh, P

    T. Banakh, P. Mayer, Game extensions of floppy graph metrics , preprint

    work page

  4. [4]

    Bolyai, Apendix: The Theory of Space , North Holland, 1987

    J. Bolyai, Apendix: The Theory of Space , North Holland, 1987

    work page 1987

  5. [5]

    Borsuk, W

    K. Borsuk, W. Szmielew, Foundations of Geometry: Euclidean, Bolyai–Lobachevskia n, and Projective Geome- try, Dover Publ. Inc., Mineola, NY, 2018

    work page 2018

  6. [6]

    Bowers, P

    J. Bowers, P. Bowers, A Menger redux: embedding metric spaces isometrically in Eu clidean space, Amer. Math. Monthly 124:7 (2017), 621–636

    work page 2017

  7. [7]

    Engelking, General Topology, Heldermann Verlag, Berlin, 1989

    R. Engelking, General Topology, Heldermann Verlag, Berlin, 1989

    work page 1989

  8. [8]

    Greenberg, Euclidean and non-Euclidean Geometries: Development and H istory, W.H

    M.J. Greenberg, Euclidean and non-Euclidean Geometries: Development and H istory, W.H. Freeman and Co., 2008

    work page 2008

  9. [9]

    Hartshorne, Geometry: Euclid and Beyond , Springer, 2000

    R. Hartshorne, Geometry: Euclid and Beyond , Springer, 2000

    work page 2000

  10. [10]

    Hilbert, Foundations of Geometry , The Open Court Publ

    D. Hilbert, Foundations of Geometry , The Open Court Publ. Co., La Salle, Illinois, 1950

    work page 1950

  11. [11]

    Jech, Set Theory , Springer-Verlag, Berlin, 2003

    T. Jech, Set Theory , Springer-Verlag, Berlin, 2003

    work page 2003

  12. [12]

    Menger, New Foundation of Euclidean Geometry , Amer

    K. Menger, New Foundation of Euclidean Geometry , Amer. J. Math. 53:4 (1931), 721–745

    work page 1931

  13. [13]

    Petrov, On the uniqueness of continuation of a partially defined metr ic, Theory Appl

    E. Petrov, On the uniqueness of continuation of a partially defined metr ic, Theory Appl. Graphs 10:1 (2023), Art. 1, 6 pp

    work page 2023

  14. [14]

    Schwabh¨ auser, W

    W. Schwabh¨ auser, W. Szmielew, A. Tarski, Metamathematische Methoden in der Geometrie , Springer-Verlag, 1983

    work page 1983

  15. [15]

    Taras Banakh , A metric characterization of the real line , ( mathoverflow.net/q/442772/61536)

    work page

  16. [16]

    Taras Banakh , A generic metric on X ∪ Z, mathoverflow.net/q/446586/61536)

    work page

  17. [17]

    Will Brian , ( mathoverflow.net/a/442872/61536)

    work page

  18. [18]

    Ivan Franko National University of L viv (Ukraine), and Jan Koch anowski University in Kielce (Poland) Email address : t.o.banakh@gmail.com

    Pietro Mayer , mathoverflow.net/a/442799/61536). Ivan Franko National University of L viv (Ukraine), and Jan Koch anowski University in Kielce (Poland) Email address : t.o.banakh@gmail.com

    work page