pith. sign in

arxiv: 1907.04715 · v1 · pith:YJK7H7QOnew · submitted 2019-07-10 · 🧮 math.GN

Core-compactness of Smyth powerspaces

Zhenchao Lyu , Xiaodong Jia This is my paper

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

classification 🧮 math.GN
keywords Smyth powerspacecore-compactnesslocal compactnesstopological spaceshyperspaces
0
0 comments X

The pith

The Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact.

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

The paper proves that the Smyth powerspace Q(X) is core-compact exactly when the underlying space X is locally compact. This equivalence directly implies that the Smyth powerspace construction does not preserve core-compactness in general. A reader would care because core-compactness controls how open sets can be approximated by compact sets in topological and domain-theoretic settings. The result therefore identifies the precise condition under which this standard hyperspace operation maintains the property.

Core claim

We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness generally.

What carries the argument

The Smyth powerspace Q(X), the hyperspace of nonempty compact subsets of X equipped with the upper Vietoris topology, which carries the core-compactness property.

If this is right

  • Q(X) is core-compact precisely when X is locally compact.
  • The Smyth powerspace construction does not preserve core-compactness for arbitrary spaces.
  • Local compactness of X is both necessary and sufficient for Q(X) to be core-compact.

Where Pith is reading between the lines

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

  • Similar preservation questions can be posed for other hyperspace constructions such as the Vietoris or lower Vietoris topologies.
  • The result separates spaces where the powerspace operation interacts cleanly with approximation properties from those where it does not.

Load-bearing premise

The standard definitions of the Smyth powerspace and of core-compactness are used without modification.

What would settle it

A topological space X that is not locally compact yet has a core-compact Smyth powerspace Q(X), or a locally compact X whose Q(X) fails to be core-compact, would disprove the equivalence.

read the original abstract

We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powerspace construction does not preserve core-compactness generally.

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 proves that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a consequence, the Smyth powerspace construction does not preserve core-compactness in general.

Significance. If correct, the result gives a precise characterization of core-compactness for Smyth powerspaces, which is relevant to hyperspace theory and domain theory. The non-preservation consequence follows immediately from the equivalence together with the known existence of core-compact non-locally-compact spaces.

minor comments (1)
  1. The abstract and claim rely on standard definitions of Q(X) (upper Vietoris topology on nonempty compact subsets) and core-compactness; a short paragraph recalling these (with references) would improve accessibility without lengthening the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and the positive recommendation to accept the manuscript. The report contains no major comments.

Circularity Check

0 steps flagged

No significant circularity; direct proof from standard definitions

full rationale

The paper states a direct biconditional theorem: Q(X) is core-compact iff X is locally compact, proved from the standard definitions of Smyth powerspace (upper Vietoris topology on nonempty compact subsets) and core-compactness (continuous lattice of opens). No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the non-preservation consequence follows immediately from the existence of core-compact non-locally-compact spaces. The derivation is self-contained against external topological benchmarks and does not invoke author-specific uniqueness theorems or ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard definitions of Smyth powerspace and core-compactness drawn from prior topology literature; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • standard math Standard definitions and axioms of general topology for core-compactness and Smyth powerspace construction.
    The abstract invokes these terms without redefinition, relying on background knowledge from the field.

pith-pipeline@v0.9.0 · 5544 in / 1102 out tokens · 17183 ms · 2026-05-24T23:24:15.559212+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    Abramsky and A

    S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Semantic Structures, volume 3 of Handbook of Logic in Computer Science , pages 1–168. Clarendon Press, 1994. 3

    work page 1994

  2. [2]

    Gierz, K

    G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislov e, and D. S. Scott. Continu- ous Lattices and Domains , volume 93 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, 2003

    work page 2003

  3. [3]

    Goubault-Larrecq

    J. Goubault-Larrecq. Non-Hausdorff Topology and Domain Theory , volume 22 of New Math- ematical Monographs. Cambridge University Press, 2013

    work page 2013

  4. [4]

    Goubault-Larrecq

    J. Goubault-Larrecq. Full abstraction for non-determi nistic and probabilistic extensions of PCF I — the angelic cases. Journal of Logic and Algebraic Methods in Programming , 84(1):155 – 184, 2015

    work page 2015

  5. [5]

    Goubault-Larrecq, K

    J. Goubault-Larrecq, K. Keimel. Choquet-Kendall-Math eron theorems for non-Hausdorff space. Mathematical Structures in Computer Science , 21:511–561, 2011

    work page 2011

  6. [6]

    Heckmann and K

    R. Heckmann and K. Keimel. Quasicontinuous domains and t he Smyth powerdomain. In D. Kozen and M. Mislove, editors, Proceedings of the 29th Conference on the Mathemati- cal Foundations of Programming Semantics , volume 298 of Electronic Notes in Theoretical Computer Science , pages 215–232. Elsevier Science Publishers B.V., 2013

    work page 2013

  7. [7]

    Achim Jung Fest: A commemoration in honour of his 60th birthday

    W. Ho. A domain-theoretic silk road. Talk at An Intersect ion of Neighbourhoods “Achim Jung Fest: A commemoration in honour of his 60th birthday”, S eptember 2018

    work page 2018

  8. [8]

    W. Ho, A. Jung, and D. Zhao. Join-continuity+ hyperconti nuity= prime continuity. Avail- able at https://arxiv.org/abs/1607.01886, 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  9. [9]

    K. H. Hofmann and J. Lawson. The spectral theory of distri butive continuous lattices. Transitions of the American Mathematical Society , 246:285–310, 1978

    work page 1978

  10. [10]

    A. Schalk. Algebras for Generalized Power Constructions . Doctoral thesis, Technische Hochschule Darmstadt, 1993. 166 pp

    work page 1993

  11. [11]

    M. B. Smyth. Powerdomains and predicate transformers: a topological view. In J. Diaz, editor, Automata, Languages and Programming , volume 154 of Lecture Notes in Computer Science, pages 662–675. Springer Verlag, 1983

    work page 1983

  12. [12]

    X. Xu, X. Xi, and D. Zhao. A complete Heyting algebra whos e scott space is non-sober. Available at https://arxiv.org/abs/1903.00615, 2019. 4

    work page internal anchor Pith review Pith/arXiv arXiv 1903