arxiv: 2604.28092 · v1 · submitted 2026-04-30 · 🧮 math.GN

Recognition: unknown

On centered local π-bases

Nathan Carlson

Authors on Pith no claims yet

Pith reviewed 2026-05-07 05:12 UTC · model grok-4.3

classification 🧮 math.GN

keywords centered local π-basecountable chain conditionHausdorff spacecardinalityHajnal-Juhász theoremPospíšil theoremfirst-countability

0 comments

The pith

Hausdorff ccc spaces with countable centered local π-bases have size at most the continuum.

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

The paper improves the 1967 Hajnal-Juhász theorem by showing that the first-countability assumption can be weakened to each point having a countable centered local π-base while still concluding that the space has size at most the continuum under the countable chain condition. A centered local π-base is a local π-base with the finite intersection property, making it behave more like a neighborhood base. The same technique strengthens a 1937 result of Pospíšil. Examples are provided to show the improvement is strict, and the ideas are applied to compact Hausdorff spaces and variations of the centered condition.

Core claim

If X is a Hausdorff space with the countable chain condition such that each point has a countable centered local π-base, then the cardinality of X is at most 𝔠. This extends the celebrated Hajnal-Juhász theorem by weakening first-countability, with the finite intersection property of the centered bases playing the key role in the argument. An analogous improvement is made to Pospíšil's theorem.

What carries the argument

A countable centered local π-base at a point, which is a countable family of nonempty open sets having the finite intersection property and meeting every neighborhood of the point.

If this is right

The Hajnal-Juhász cardinality bound holds for spaces with this weaker local condition.
Pospíšil's theorem receives a parallel strengthening.
Strict examples separate the new condition from first-countability in ccc Hausdorff spaces.
The results extend to compact Hausdorff spaces with variations of the centered local π-base notion.

Where Pith is reading between the lines

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

The finite intersection property is what allows the combinatorial argument to succeed without actual point containment in the base elements.
This weakening might permit larger examples in non-Hausdorff settings or under different axioms.
Variations mentioned in the paper could be used to derive further cardinality results in related classes of spaces.

Load-bearing premise

The space is Hausdorff, and each point has a countable collection of open sets forming a centered local π-base, so the finite intersection property suffices to carry the combinatorial argument from the 1967 theorem.

What would settle it

A counterexample would be a Hausdorff ccc space larger than the continuum in which every point has a countable centered local π-base.

read the original abstract

In 1967 Hajnal and Juh{\'a}sz showed that the cardinality of a first-countable Hausdorff space with the countable chain condition has cardinality at most $\mathfrak{c}$, the cardinality of the real line. We give an improvement of this celebrated theorem by replacing ``first-countable" with the weaker condition ``each point has a countable centered local $\pi$-base". Given a point $p$ in a topological space $X$, a \emph{local} $\pi$-\emph{base} $\scr{B}$ at $p$ acts like a neighborhood base at $p$ except that $p$ may not be in any member of $\scr{B}$. A local $\pi$-base $\scr{B}$ has the \emph{finite intersection property} if any finite intersection of members of $\scr{B}$ is nonempty. We call this type of local $\pi$-base \emph{centered}. A centered local $\pi$-base behaves even more like a neighborhood base in a sense. A space has the \emph{countable chain condition} if every family of pairwise disjoint open sets is countable. We also improve a theorem of Pospi{\v s}il from 1937 using centered local $\pi$-bases. As is customary, examples are given to demonstrate these improvements are strict. Compact Hausdorff spaces are also explored in this connection, along with variations on the notion of a centered local $\pi$-base.

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 paper weakens first-countability to countable centered local π-bases and carries the Hajnal-Juhász and Pospíšil bounds through with separating examples.

read the letter

The main point is that Carlson replaces the first-countability hypothesis in the 1967 Hajnal-Juhász theorem with the weaker condition that every point has a countable centered local π-base, and the Hausdorff + CCC space still has size at most the continuum. The same move improves the 1937 Pospíšil result. The paper gives explicit examples showing the new condition is strictly weaker than first-countability, which matters for the claim to be an actual improvement rather than a restatement.

Referee Report

0 major / 4 minor

Summary. The paper improves the 1967 Hajnal-Juhász theorem by showing that any Hausdorff space with the countable chain condition in which every point has a countable centered local π-base has cardinality at most the continuum 𝔠. It provides a parallel improvement to Pospíšil's 1937 theorem, supplies explicit examples demonstrating that the centered local π-base condition is strictly weaker than first-countability, and explores related questions for compact Hausdorff spaces together with variations on the centered local π-base notion.

Significance. If the central result holds, the work meaningfully generalizes a classical bound on the size of ccc Hausdorff spaces by isolating a weaker local-base condition that still suffices for the cardinality restriction. The self-contained adaptation of the Hajnal-Juhász combinatorial argument, the concrete examples confirming strict improvement, and the additional discussion of compact spaces constitute a solid contribution to set-theoretic topology.

minor comments (4)

§2 (Definitions): the precise definition of a local π-base (every neighborhood of p contains a member of B) is stated clearly, but the subsequent sentence on the finite-intersection property would benefit from an explicit remark that the members of B are required to be open sets.
§3 (Main theorem): the construction of the injective map into the reals follows the 1967 argument, but the step that invokes the finite-intersection property to guarantee a nonempty open set from which the next point is chosen could be written out in one additional sentence for readers unfamiliar with the original proof.
§4 (Examples): the verification that the exhibited spaces possess countable centered local π-bases but fail to be first-countable is present; adding a short sentence confirming that the chosen families satisfy the finite-intersection property would make the strict-improvement claim fully self-contained.
§5 (Compact spaces and variations): the discussion of alternative notions of centeredness is interesting, but the text does not indicate whether any of the listed variations still imply the cardinality bound; a brief remark on this point would help readers assess the robustness of the technique.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for recommending minor revision. The referee's summary accurately captures the central contributions: the improvement of the Hajnal-Juhász theorem by replacing first-countability with the weaker condition of countable centered local π-bases in ccc Hausdorff spaces (yielding |X| ≤ 𝔠), the parallel strengthening of Pospíšil's 1937 result, the explicit examples separating the new condition from first-countability, and the additional material on compact Hausdorff spaces and variants of the centered local π-base notion. We appreciate the recognition that this constitutes a solid contribution to set-theoretic topology.

Circularity Check

0 steps flagged

No significant circularity; proof adapts external 1967 argument using new definition

full rationale

The paper defines a centered local π-base (local π-base with finite intersection property) and proves the cardinality bound by directly adapting the Hajnal-Juhász combinatorial construction: at each stage the FIP yields a nonempty open set, a point is chosen, and Hausdorff separation plus ccc bound the family exactly as in the cited 1967 proof. The same technique improves the 1937 Pospíšil result. No parameter fitting, no self-citation load-bearing the central claim, no uniqueness theorem imported from the authors, and no renaming of a known result as a derivation. The new definition is strictly weaker (explicit examples given) and the implication chain is self-contained against the external combinatorial template.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper introduces the new concept of a centered local π-base to weaken first-countability while preserving the cardinality conclusion under CCC and the Hausdorff axiom.

axioms (2)

domain assumption The space is Hausdorff
Required for the separation properties used in the cardinality argument.
domain assumption The space satisfies the countable chain condition
Limits the number of disjoint open sets and is essential to the bound.

invented entities (1)

centered local π-base no independent evidence
purpose: To serve as a weaker replacement for a countable neighborhood base at each point.
Newly defined collection of open sets with the finite intersection property that need not contain the point.

pith-pipeline@v0.9.0 · 5552 in / 1373 out tokens · 116711 ms · 2026-05-07T05:12:55.183698+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages

[1]

Carlson,A survey of bounds on the cardinality of a Hausdorff space, Top

N. Carlson,A survey of bounds on the cardinality of a Hausdorff space, Top. Proc. 65 (2025) pp. 161–188

2025
[2]

Carlson,A bound for the density of any Hausdorff space, Topol

N. Carlson,A bound for the density of any Hausdorff space, Topol. Appl.,345(2024), 108838, https://doi.org/10.1016/j.topol.2024.108838

work page doi:10.1016/j.topol.2024.108838 2024
[3]

Carlson,New bounds on the cardinality of Hausdorff spaces and regular spaces, Acta Math

N. Carlson,New bounds on the cardinality of Hausdorff spaces and regular spaces, Acta Math. Hungar.,170, no. 1 (2023), 302–322

2023
[4]

Engelking,General Topology, Heldermann Verlag, Berlin, second ed., 1989

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

1989
[5]

Erd ˝os, R

P. Erd ˝os, R. Rado,A partition calculus in set theory, Bull. Amer. Math. Soc.,62(1956), 427– 489

1956
[6]

and Hruˇs´ak, M.,Topology of Mr ´owka-Isbell spaces, Pseudocompact topological spaces, 253–289, Dev

Hern ´andez-Hern´andez, F. and Hruˇs´ak, M.,Topology of Mr ´owka-Isbell spaces, Pseudocompact topological spaces, 253–289, Dev. Math., 55 Springer, Cham, 2018

2018
[7]

Hajnal, I

A. Hajnal, I. Juh ´asz,Discrete subspaces of topological spaces, Indag. Math.,29(1967), 343– 356

1967
[8]

Juh ´asz,Cardinal functions in topology—ten years later, second ed., Mathematical Centre Tracts, vol

I. Juh ´asz,Cardinal functions in topology—ten years later, second ed., Mathematical Centre Tracts, vol. 123, Mathematisch Centrum, Amsterdam, 1980

1980
[9]

Pospi ˇsil,Sur la puissance d’un espace contenant une partie dense de puissance donn ´ee, ˇCasopis Pestov´ani Matematiky a Fysiky67(1937), 89–96

B. Pospi ˇsil,Sur la puissance d’un espace contenant une partie dense de puissance donn ´ee, ˇCasopis Pestov´ani Matematiky a Fysiky67(1937), 89–96. 10 NATHAN CARLSON DEPARTMENT OFMATHEMATICS, CALIFORNIALUTHERANUNIVERSITY, 60 W. OLSENRD, MC 3750, THOUSANDOAKS, CA 91360 USA Email address:ncarlson@callutheran.edu

1937