$Ps$-normal and $Ps$-Tychonoff spaces

Ram Chandra Manna; Sagarmoy Bag; Sourav Kanti Patra

arxiv: 1907.08762 · v1 · pith:67V32ZB4new · submitted 2019-07-20 · 🧮 math.GN

Ps-normal and Ps-Tychonoff spaces

Sagarmoy Bag , Ram Chandra Manna , Sourav Kanti Patra This is my paper

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

classification 🧮 math.GN

keywords Ps-normal spacesPs-Tychonoff spacesC-normal spacesCC-normal spacesL-normal spacesC-Tychonoff spacespseudocompact subsetsseparation axioms

0 comments

The pith

A space is Ps-normal if a bijection to a normal space restricts to homeomorphisms on all its pseudocompact subsets.

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

The paper defines a space X to be Ps-normal when there exists a normal space Y together with a bijection f from X to Y such that the restriction of f to any pseudocompact subset K of X is a homeomorphism onto its image. It introduces the parallel notion of Ps-Tychonoff spaces using Tychonoff spaces in place of normal spaces. The authors then establish several relations that connect these two new classes to the previously studied C-normal, CC-normal, L-normal, C-Tychonoff, and CC-Tychonoff spaces. A reader would care because the definitions weaken the usual global normality requirement by enforcing the homeomorphism condition only on pseudocompact subsets, which often control compactness-like behavior.

Core claim

The paper introduces Ps-normal and Ps-Tychonoff spaces via the existence of a bijection from X to a normal or Tychonoff space Y such that the bijection restricts to a homeomorphism on every pseudocompact subset of X, and it establishes concrete relations between these classes and the families of C-normal, CC-normal, L-normal, C-Tychonoff, and CC-Tychonoff spaces.

What carries the argument

The bijection f: X to Y (with Y normal or Tychonoff) that restricts to a homeomorphism on every pseudocompact subset K of X.

If this is right

Every normal space is Ps-normal, taking the identity bijection to itself.
Every Tychonoff space is Ps-Tychonoff by the same identity construction.
The established relations place Ps-normal spaces in a definite position relative to C-normal, CC-normal, and L-normal spaces.
Ps-Tychonoff spaces stand in corresponding relations to C-Tychonoff and CC-Tychonoff spaces.

Where Pith is reading between the lines

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

One could check whether every Ps-normal space must be completely regular or satisfy other separation properties that follow from the bijection construction.
The definition may be applied to concrete examples such as the Sorgenfrey plane or the Michael line to decide membership in the new classes.
If the relations hold, they could be used to transfer compactness or pseudocompactness results from normal spaces back to the original Ps-normal space.

Load-bearing premise

The standard definitions of normal spaces, Tychonoff spaces, and pseudocompact subsets from prior literature are sufficient to support the new definitions and the relations among the listed classes.

What would settle it

A concrete topological space X together with an explicit bijection to a normal space Y that restricts to homeomorphisms on pseudocompact sets, yet violates one of the claimed relations to C-normal or L-normal spaces.

read the original abstract

A space $X$ is called $Ps$-normal($Ps$-Tychonoff) space if there exists a normal(Tychonoff) space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_K:K\mapsto f(K)$ is homeomorphism for any pseudocompact subset $K$ of $X$. We establish a few relations between $C$-normal, $CC$-normal, $L$-normal, $C$-Tychonoff, $CC$-Tychonoff spaces with $Ps$-normal and $Ps$-Tychonoff spaces.

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

The paper defines Ps-normal and Ps-Tychonoff spaces via bijections to normal/Tychonoff spaces that preserve homeomorphisms on pseudocompact subsets and claims relations to C-normal and similar classes, but the abstract supplies no proofs or examples.

read the letter

The main takeaway is that the authors introduce Ps-normal and Ps-Tychonoff spaces defined by the existence of a normal or Tychonoff space Y together with a bijection that restricts to a homeomorphism on every pseudocompact subset. They then establish relations between these and the classes C-normal, CC-normal, L-normal, C-Tychonoff, and CC-Tychonoff. The definitions appear new in their focus on pseudocompact subsets. The paper does a decent job of connecting them to the line of work on C-normal spaces and related weakenings of normality that have been studied recently. The soft spot is the absence of any supporting material in the abstract. No proofs, no examples, and no counterexamples are mentioned, so the relations remain assertions rather than demonstrated facts. If the full paper contains careful arguments, this is a minor but useful addition to the catalog of topological properties; without them the contribution is hard to gauge. This work is aimed at specialists in general topology who keep track of all the variants of normality and Tychonoff properties. Someone already reading papers on pseudocompactness or subset-based separation axioms could find it relevant for organizing their examples, but it does not look like it will draw in a wider audience or resolve any longstanding questions. I would recommend sending it to peer review. The definitions are clear and the topic fits the journal's scope, so referees can check the details and suggest improvements if needed.

Referee Report

1 major / 0 minor

Summary. The manuscript defines a space X to be Ps-normal (resp. Ps-Tychonoff) if there exists a normal (resp. Tychonoff) space Y together with a bijection f: X → Y such that f restricted to any pseudocompact subset K of X is a homeomorphism onto its image. It asserts that relations exist between the new classes and the existing classes C-normal, CC-normal, L-normal, C-Tychonoff and CC-Tychonoff.

Significance. If the asserted relations were established with proofs or counterexamples, the definitions could provide a new lens on how pseudocompactness interacts with separation axioms, potentially refining the hierarchy of generalized normal and Tychonoff spaces. The current manuscript supplies neither proofs nor examples, so no concrete contribution can be evaluated.

major comments (1)

[Abstract] Abstract: the claim that 'a few relations' are established between Ps-normal/Ps-Tychonoff spaces and the listed classes is unsupported; the manuscript contains no statements of the relations, no proofs, no examples, and no counterexamples. This is load-bearing for the central claim of the paper.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We respond point-by-point to the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that 'a few relations' are established between Ps-normal/Ps-Tychonoff spaces and the listed classes is unsupported; the manuscript contains no statements of the relations, no proofs, no examples, and no counterexamples. This is load-bearing for the central claim of the paper.

Authors: The referee is correct that the current manuscript provides no explicit statements, proofs, examples, or counterexamples establishing relations between Ps-normal/Ps-Tychonoff spaces and the classes C-normal, CC-normal, L-normal, C-Tychonoff, and CC-Tychonoff. The abstract claim is therefore unsupported by the body of the paper. We will revise the manuscript by either removing the unsupported claim from the abstract or by adding the necessary theorems with proofs and examples (or counterexamples) to establish the relations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; definitions rest on standard topology primitives

full rationale

The paper defines Ps-normal and Ps-Tychonoff spaces via existence of a normal/Tychonoff Y and a bijection f preserving homeomorphisms exactly on pseudocompact subsets K. All relations to C-normal, CC-normal, L-normal, C-Tychonoff and CC-Tychonoff follow by direct logical comparison using only the classical definitions of normality, complete regularity and pseudocompactness (continuous real-valued functions bounded on the subset). No equations, fitted parameters, self-citations, or uniqueness theorems are invoked that reduce any claim to its own input by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard axioms of general topology plus the new definitions; no free parameters, no invented physical or mathematical entities, and no ad-hoc assumptions beyond the usual background of the field.

axioms (1)

standard math Standard separation axioms and definitions for normal spaces, Tychonoff spaces, and pseudocompact subsets hold as in prior literature.
Invoked directly in the opening definition of Ps-normal and Ps-Tychonoff spaces.

pith-pipeline@v0.9.0 · 5637 in / 1358 out tokens · 28580 ms · 2026-05-24T18:53:39.991677+00:00 · methodology