Pith. sign in

REVIEW 2 major objections 2 minor 42 references

On real-valued functions of Lipschitz type

T0 review · 2 major / 2 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A K-Lipschitz function on a closed subset of a metric space with values in any interval of the real line extends to a K-Lipschitz function on the whole space with values in the same interval.

desk verdict A solid, useful refinement of McShane-Whitney with a neat partition-of-unity argument; the interval extension theorem is new and the proofs check out. read the letter →

arxiv 2411.17825 v2 pith:MX7CBPJH submitted 2024-11-26 math.GN

Valentin Gutev This is my paper · ORCID
classification math.GN MSC 26A1654C2054C6054C6554E3554E40
keywords Lipschitzfunctionlocallypointwiseextensioninterval-valuedpartitionofunityselectiontheoremmetricspace
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a sharp refinement of the classical Lipschitz extension theorem: a K-Lipschitz function defined on a closed subset of a metric space and taking values in any interval Δ of the real line can be extended to a K-Lipschitz function on the whole space that still takes values in Δ. The construction takes the two extremal extensions from the classical theorem, clips them to the interval, and averages; the assumption that the subset is closed is exactly what keeps the average strictly inside the interval outside the subset. The same interval-preserving statement is proved for locally pointwise Lipschitz functions and for locally Lipschitz functions, and the locally Lipschitz version needs a new tool: Lipschitz partitions of unity for countable open covers, built directly without appealing to the paracompactness of metrizable spaces. As applications, the paper shows that every locally Lipschitz real-valued function is a locally finite sum of bounded Lipschitz functions, and obtains a locally Lipschitz analogue of a standard continuous selection theorem for open-convex-valued maps.

What carries the argument

The load-bearing object is the pair of extremal extensions $\Phi_-(p)=\sup_{x\in A}[\phi(x)-Kd(x,p)]$ and $\Phi_+(p)=\inf_{x\in A}[\phi(x)+Kd(x,p)]$ from the classical two-sided Lipschitz extension theorem, together with their clipped arithmetic mean $(\max\{\Phi_-,a\}+\min\{\Phi_+,b\})/2$. These are $K$-Lipschitz extensions that bracket every other $K$-Lipschitz extension, so averaging their clipped versions keeps values inside any bounded interval; for unbounded intervals one of the two envelopes already works. Closedness of $A$ enters through $d(p,A)>0$ for $p\notin A$, which forces the average to stay strictly inside $(a,b)$ off $A$. For locally Lipschitz extension and selection, the carrying mechanism is a direct construction of locally finite Lipschitz partitions of unity for countable open covers of a metric space, built from a Lipschitz positive height function and a sequence of Lipschitz cutoffs; this converts local Lipschitz data into globally defined locally finite sums.

What would settle it

Take $X=\mathbb{R}$, $A=(0,1)$, $\Delta=(0,1)$, and $\phi(t)=t$. This $\phi$ is 1-Lipschitz, but no continuous $f:\mathbb{R}\to(0,1)$ extends it: continuity at 0 and 1 would force $f(0)=0$ and $f(1)=1$, which lie outside $\Delta$.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: for a metric space $(X,d)$, a closed set $A\subset X$, and any interval $\Delta\subset\mathbb{R}$, every $K$-Lipschitz function $\phi:A\to\Delta$ extends to a $K$-Lipschitz function $f:X\to\Delta$. The theorem is proved first for unbounded intervals, where one of the two classical extremal extensions already stays inside $\Delta$ once $A$ is closed, and then for bounded intervals $(a,b)\subset\Delta\subset[a,b]$, where the average of the clipped upper and lower envelopes is a $K$-Lipschitz extension whose values off $A$ lie strictly inside $(a,b)$. The paper then shows the same interval-preserving extension holds for locally pointwise Lipschitz functions and for locally Lipschitz functions. The locally Lipschitz case is assembled from Lipschitz extensions on local pieces via Lipschitz partitions of unity for countable covers, and the same partition-of-unity machinery yields that locally Lipschitz real-valued functions are locally finite sums of bounded Lipschitz functions and a locally Lipschitz version of a classical convex-valued selection theorem. The paper also notes that closedness cannot be dropped: the identity on an open interval admits no continuous extension into that interval.

Load-bearing premise

The subset A must be closed; without that, the interval-preserving extension can fail even for the identity map on an open interval.

Editorial extensions

If this is right

  • Any interval $\Delta\subset\mathbb{R}$ becomes an admissible target for $K$-Lipschitz extension from closed subsets, with the same constant $K$; this includes closed, open, and half-open intervals.
  • The interval-preserving statement holds for locally pointwise Lipschitz functions (Theorem 4.1) and for locally Lipschitz functions (Theorem 7.1), so the refinement is not a quirk of the global Lipschitz case.
  • Every locally Lipschitz real-valued function on a metric space is a locally finite sum of bounded Lipschitz functions, and indeed of bounded nonexpansive functions (Theorem 6.1 and Corollary 6.3).
  • Countable open covers of metric spaces admit locally finite partitions of unity consisting of Lipschitz functions, with a proof that bypasses the usual appeal to the paracompactness of metrizable spaces.
  • Open-convex-valued lower semi-continuous mappings from a metric space to $\mathbb{R}$ have locally Lipschitz selections, and prescribed selections on closed subsets extend (Theorem 7.2).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Extrapolating from the clipped-average proof, the same interval-preserving extension principle should apply to any target set in $\mathbb{R}$ that is convex, since only the two-envelope comparison and averaging are used; the interval case is the cleanest instance.
  • The direct partition-of-unity construction avoids the paracompactness of metrizable spaces, so the locally Lipschitz extension and selection results likely need only countable choice rather than the full paracompactness machinery; this is an editorial extrapolation, not a claim in the paper.
  • Theorem 6.1's representation of locally Lipschitz functions as locally finite sums of bounded Lipschitz pieces gives a practical route to approximating locally Lipschitz functions by finite sums on compact sets, which could support numerical estimates of local Lipschitz constants.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper refines the classical McShane-Whitney extension theorem by showing that a K-Lipschitz function from a closed subset A of a metric space into an arbitrary interval Δ ⊂ R can be extended to a K-Lipschitz function on all of X with values in Δ (Theorem 1.3). The proof (Section 3) clips and averages the two McShane-Whitney extensions, using closedness exactly to obtain strict containment in the open interval. The result is extended to locally pointwise Lipschitz functions (Theorem 4.1) and to locally Lipschitz functions (Theorem 7.1), the latter via a direct construction of locally finite Lipschitz partitions of unity for countable open covers (Theorem 5.1), avoiding Stone's paracompactness theorem. Applications include a decomposition of locally Lipschitz functions into locally finite sums of bounded Lipschitz functions (Theorem 6.1), a characterization of local Lipschitzness through a continuous Lipschitz-constant function (Theorem 6.5), and a locally Lipschitz version of Michael's selection theorem (Theorems 7.2 and 7.4).

Significance. The central interval-extension theorem is a clean and useful refinement of a classical result, and the direct proof of the countable case of Frolík's Lipschitz partition-of-unity theorem is a genuine technical contribution. The later selection and decomposition results are natural and well motivated. The proofs are largely self-contained and carefully written; the paper's historical remarks and references are a strength. If the two proof gaps noted below are repaired, the paper would be a solid addition to the literature.

major comments (2)
  1. [§7, Proof of Theorem 7.1] The step that sets A_n = A ∩ supp(ξ_n) and then applies Theorem 1.3 is not justified as written. In Section 5 the support is defined as coz(ξ) = {x : ξ(x) ≠ 0}, which is an open set. Hence A_n is generally not closed in X, and the hypothesis of Theorem 1.3 (A closed) fails. This matters because Theorem 1.3 is essential for the extension f_n: X → Δ. The gap can be repaired by using a partition of unity whose closed supports are contained in V_n, as the paper itself points out in Remark 5.6, or by another argument ensuring that the set to which Theorem 1.3 is applied is closed.
  2. [§6, Proof of Theorem 6.1] The same issue occurs in the proof of Theorem 6.1, where each g_n = f|supp(ξ_n) is said to be extendable by Proposition 3.2. Since supp(ξ_n) is the cozero set (open), it is not necessarily closed, and Proposition 3.2 requires a closed domain. The intended conclusion is nevertheless obtainable: one can use the McShane-Whitney extension (Theorem 1.1) and then clip to a bounded interval, or first pass to closed supports via Remark 5.6. The proof as written, however, contains an invalid application.
minor comments (2)
  1. [§4, Proof of Theorem 4.1] The sentence "The case of a bounded interval Δ ⊂ R is covered by Theorem 4.1" is circular; it should refer to Theorem 4.2.
  2. [§5, Definition of support] The nonstandard definition supp(ξ) = coz(ξ) (an open set) is the source of the gaps in Theorems 6.1 and 7.1. The paper should either adopt the standard closed support for partitions of unity or explicitly state and use the refinement in Remark 5.6 at every place where Theorem 1.3 or Proposition 3.2 is invoked.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the central interval extension theorem is proved directly from the McShane-Whitney formulas, and every self-cited tool is accompanied by a complete proof in the paper.

full rationale

The paper's central claim (Theorem 1.3) is derived, not assumed: for bounded intervals, Proposition 3.2 starts from the classical McShane-Whitney extension formulas (1.1), clips the two K-Lipschitz extensions to [a,b] via Psi_- = max(Phi_-, a) and Psi_+ = min(Phi_+, b), and averages them; inequality (3.1) then forces the average into (a,b) outside A because closedness gives d(p,A) > 0. The unbounded cases reduce to the same formulas, and the paper explicitly notes that identity on an open interval shows closedness cannot be dropped. The later sections re-prove every tool they borrow: Proposition 5.2 gives a direct construction of the Frolik partition functions, Proposition 5.3 gives a direct Mather-type locally finite refinement, Theorem 5.1 builds Lipschitz partitions of unity, Proposition 6.2 is proved in place despite an attribution to [21, Proposition 4.3], and Theorem 7.4 gives the full construction of locally Lipschitz selections, again with attribution but a complete proof. The several references to the author's earlier paper [21] are therefore side-mentions or attributions, not load-bearing citations; no conclusion is imported without a proof. There are no fitted parameters, no prediction claims, and no result stated as an output that is already present as an input. Consequently the derivation chain is self-contained and no circularity is present.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

No free parameters or invented entities are introduced. The central proofs rest on classical metric-space facts and on Hausdorff's approximation theorem, which is cited but not derived. The paper otherwise provides direct proofs for the partition-of-unity and extension tools it needs.

assumptions (2)
  • standard math Every open set of a metric space is the cozero set of a 1-Lipschitz function.
    Used in Proposition 5.3 to obtain the functions η_n with V_n = coz(η_n), and in Theorem 7.2 for the separating function ξ. This is a standard property of distance functions to complements.
  • standard math Hausdorff's theorem [25]: each upper semi-continuous function on a metric space is the pointwise limit of a decreasing sequence of continuous functions.
    Imported in Proposition 6.6 to produce a continuous function ℓ with η ≤ ℓ, which is needed for Theorem 6.5. The paper cites the theorem and gives no proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On real-valued functions of Lipschitz type." pith.science (2026). https://pith.science/paper/MX7CBPJH

@misc{pith2026241117825,
  author       = {Pith},
  title        = {Pith review of: On real-valued functions of Lipschitz type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MX7CBPJH}},
  note         = {Machine review of arXiv:2411.17825}
}
read the original abstract

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally (pointwise) Lipschitz functions. In contrast to Lipschitz and pointwise Lipschitz extensions, the construction of locally Lipschitz extensions is based on Lipschitz partitions of unity of countable open covers of the domain. Such partitions of unity are a special case of a more general result obtained by Zden\v{e}k Frol\'{\i}k. To avoid the use of Stone's theorem (paracompactness of metrizable spaces), it is given a simple direct proof of this special case of Frol\'{\i}k's result. As an application, it is shown that the locally Lipschitz functions are precisely the locally finite sums of sequences of Lipschitz functions. Also, it is obtained a natural locally Lipschitz version of one of Michael's selection theorems.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [21]

    Gutev, Lipschitz extensions and approximations , J

    V. Gutev, Lipschitz extensions and approximations , J. Math. Anal. Appl. 491 (2020), no. 1, Article ID 124242, 13 p. [22] , Paracompactness and open relations , Math. Slovaca 73 (2023), no. 6, 1577–1586

    work page 2020

  2. [1]

    Aggarwal, Split Lipschitz-type functions , Topology Appl

    M. Aggarwal, Split Lipschitz-type functions , Topology Appl. 341 (2024), Article ID 108730, 13 p

    work page 2024

  3. [2]

    Aggarwal and S ¸t

    M. Aggarwal and S ¸t. Cobza¸ s,On some Lipschitz-type functions , J. Math. Anal. Appl. 517 (2023), no. 2, Article ID 126631, 15 p

    work page 2023

  4. [3]

    Aronsson, Extension of functions satisfying Lipschitz conditions , Ark

    G. Aronsson, Extension of functions satisfying Lipschitz conditions , Ark. Mat. 6 (1967), 551–561

    work page 1967

  5. [4]

    Baire, Sur les s´ eries ` a termes continus et tous de mˆ eme sign e

    R. Baire, Sur les s´ eries ` a termes continus et tous de mˆ eme sign e. Bull. Soc. Math. Fr. 32 (1904), 125–128 (French)

    work page 1904

  6. [5]

    Z. M. Balogh, K. Rogovin, and T. Z¨ urcher, The Stepanov differentiability theorem in metric measure spaces, J. Geom. Anal. 14 (2004), no. 3, 405–422

    work page 2004

  7. [6]

    Beer, Bornologies and Lipschitz analysis , Boca Raton, FL: CRC Press/Science Publish- ers, 2023

    G. Beer, Bornologies and Lipschitz analysis , Boca Raton, FL: CRC Press/Science Publish- ers, 2023

    work page 2023

  8. [7]

    Beer and M

    G. Beer and M. I. Garrido, Locally Lipschitz functions, cofinal completeness, and UC s paces, J. Math. Anal. Appl. 428 (2015), no. 2, 804–816

    work page 2015

Show all 42 references
  1. [8]

    Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom

    J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal. 9 (1999), no. 3, 428–517

    1999

  2. [9]

    Cobza¸ s, R

    S ¸t. Cobza¸ s, R. Miculescu, and A. Nicolae,Lipschitz functions , Lect. Notes Math., vol. 2241, Cham: Springer, 2019

    2019

  3. [10]

    Czipszer and L

    J. Czipszer and L. Geh´ er, Extension of functions satisfying a Lipschitz condition , Acta Math. Acad. Sci. Hung. 6 (1955), 213–220

    1955

  4. [11]

    De Marco and R

    G. De Marco and R. G. Wilson, Realcompactness and partitions of unity, Proc. Amer. Math. Soc. 30 (1971), 189–194

    1971

  5. [12]

    C. H. Dowker, On countably paracompact spaces , Canad. J. of Math. 3 (1951), 291–224

    1951

  6. [13]

    Dugundji, An extension of Tietze’s theorem , Pacific J

    J. Dugundji, An extension of Tietze’s theorem , Pacific J. Math. 1 (1951), 353–367

    1951

  7. [14]

    , Topology, Boston, 1966

    1966

  8. [15]

    Durand-Cartagena and J

    E. Durand-Cartagena and J. A. Jaramillo, Pointwise Lipschitz functions on metric spaces , J. Math. Anal. Appl. 363 (2010), no. 2, 525–548

    2010

  9. [16]

    Engelking, General topology, revised and completed edition , Heldermann Verlag, Berlin, 1989

    R. Engelking, General topology, revised and completed edition , Heldermann Verlag, Berlin, 1989

    1989

  10. [17]

    Fathi, Partitions of unity for countable covers , Amer

    A. Fathi, Partitions of unity for countable covers , Amer. Math. Mon. 104 (1997), no. 8, 720–723

    1997

  11. [18]

    Frol ´ ık,Existence of ℓ∞ -partitions of unity , Rend

    Z. Frol ´ ık,Existence of ℓ∞ -partitions of unity , Rend. Sem. Mat. Univ. Politec. Torino 42 (1984), no. 1, 9–14

    1984

  12. [19]

    M. I. Garrido and J. A. Jaramillo, Homomorphisms on function lattices , Monatsh. Math. 141 (2004), no. 2, 127–146

    2004

  13. [20]

    , Lipschitz-type functions on metric spaces , J. Math. Anal. Appl. 340 (2008), no. 1, 282–290. 20 V ALENTIN GUTEV

    2008

  14. [23]

    Hahn, ¨Uber halbstetige und unstetige Funktionen , Wien

    H. Hahn, ¨Uber halbstetige und unstetige Funktionen , Wien. Ber. 126 (1917), 91–110 (Ger- man)

    1917

  15. [24]

    Springer, 1921 (German)

    , Theorie der reellen Funktionen, Erster Band, Berlin: J. Springer, 1921 (German)

    1921

  16. [25]

    Hausdorff, ¨Uber halbstetige Funktionen und deren Verallgemeinerung , Math

    F. Hausdorff, ¨Uber halbstetige Funktionen und deren Verallgemeinerung , Math. Z. 5 (1919), 292–309 (German)

    1919

  17. [26]

    Heinonen, Lectures on analysis on metric spaces , Universitext, Springer-Verlag, New York, 2001

    J. Heinonen, Lectures on analysis on metric spaces , Universitext, Springer-Verlag, New York, 2001

    2001

  18. [27]

    , Nonsmooth calculus, B. Am. Math. Soc. 44 (2007), no. 2, 163–232

    2007

  19. [28]

    Keith, A differentiable structure for metric measure spaces , Adv

    S. Keith, A differentiable structure for metric measure spaces , Adv. Math. 183 (2004), no. 2, 271–315

    2004

  20. [29]

    , Measurable differentiable structures and the Poincar´ e ine quality, Indiana Univ. Math. J. 53 (2004), no. 4, 1127–1150

    2004

  21. [30]

    Luukkainen, Rings of functions in Lipschitz topology , Ann

    J. Luukkainen, Rings of functions in Lipschitz topology , Ann. Acad. Sci. Fenn. Ser. A I Math. 4 (1979), no. 1, 119–135

    1979

  22. [31]

    Luukkainen and J

    J. Luukkainen and J. V¨ ais¨ al¨ a,Elements of Lipschitz topology , Ann. Acad. Sci. Fenn., Ser. A I Math. 3 (1977), no. 1, 85–122

    1977

  23. [32]

    Mal´ y, A simple proof of the Stepanov theorem on differentiability a lmost everywhere , Expo

    J. Mal´ y, A simple proof of the Stepanov theorem on differentiability a lmost everywhere , Expo. Math. 17 (1999), no. 1, 59–61

    1999

  24. [33]

    E. J. McShane, Extension of range of functions , Bull. Amer. Math. Soc. 40 (1934), no. 12, 837–842

    1934

  25. [34]

    Michael, Continuous selections I , Ann

    E. Michael, Continuous selections I , Ann. of Math. 63 (1956), 361–382

    1956

  26. [35]

    Miculescu, Approximation of continuous functions by Lipschitz functi ons, Real Anal

    R. Miculescu, Approximation of continuous functions by Lipschitz functi ons, Real Anal. Exchange 26 (2000/01), no. 1, 449–452

    2000

  27. [36]

    Ex- change 28 (2002/03), no

    , Approximations by Lipschitz functions generated by extens ions, Real Anal. Ex- change 28 (2002/03), no. 1, 33–40

    2002

  28. [37]

    Rademacher, ¨Uber partielle und totale differenzierbarkeit von Funktion en mehrerer Vari- abeln und ¨ uber die Transformation der Doppelintegrale, Math

    H. Rademacher, ¨Uber partielle und totale differenzierbarkeit von Funktion en mehrerer Vari- abeln und ¨ uber die Transformation der Doppelintegrale, Math. Ann. 79 (1919), no. 4, 340– 359 (German)

    1919

  29. [38]

    Sakai, Geometric aspects of general topology , Tokyo: Springer, 2013

    K. Sakai, Geometric aspects of general topology , Tokyo: Springer, 2013

    2013

  30. [39]

    C. H. Scanlon, Rings of functions with certain Lipschitz properties , Pacific J. Math. 32 (1970), 197–201

    1970

  31. [40]

    Stepanoff, ¨Uber totale Differenzierbarkeit , Math

    W. Stepanoff, ¨Uber totale Differenzierbarkeit , Math. Ann. 90 (1923), no. 3-4, 318–320 (German)

    1923

  32. [41]

    V. V. Stepanov, Sur les conditions de l’existence de la diff´ erentielle tota le, Rec. Math. Moscou 32 (1925), 511–527 (French)

    1925

  33. [42]

    A. H. Stone, Paracompactness and product spaces, Bull. Amer. Math. Soc. 54 (1948), 977– 982

    1948

  34. [43]

    Whitney, Analytic extensions of differentiable functions defined in c losed sets , Trans

    H. Whitney, Analytic extensions of differentiable functions defined in c losed sets , Trans. Amer. Math. Soc. 36 (1934), no. 1, 63–89. Institute of Mathematics and Informatics, Bulgarian Acade my of Sciences, Acad. G. Bonchev Street, Block 8, 1113 Sofia, Bulgaria Email address :...

    1934

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.