Normed lattices majorizing in their norm completions
Pith reviewed 2026-05-10 16:07 UTC · model grok-4.3
The pith
The majorizing property for normed lattices under a null-sequence condition is equivalent to every P-ideal on the naturals being meager.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that Question 8.17 from the prior work—whether the majorizing property holds whenever every norm-null sequence in X has an order-bounded subsequence—is equivalent to the question whether every P-ideal on ℕ is meager. This is a longstanding open problem in set theory, and it has a negative answer under various set-theoretical assumptions, in particular under the continuum hypothesis. We also present several equivalent conditions to both of the two aforementioned properties, and give a simple proof of a well-known Riesz-Fischer-style characterization of completeness of a normed lattice.
What carries the argument
The equivalence between the majorizing property of a normed lattice in its norm completion (under the order-bounded subsequence condition for null sequences) and the meagerness of every P-ideal on ℕ.
If this is right
- Whenever every P-ideal on ℕ is meager, every normed lattice satisfying the subsequence condition for null sequences is majorizing in its completion.
- Under the continuum hypothesis there exist normed lattices that satisfy the subsequence condition but are not majorizing in their completions.
- The two properties admit several common equivalent formulations.
- Normed lattices admit a simple Riesz-Fischer characterization of completeness.
Where Pith is reading between the lines
- Set-theoretic assumptions can decide whether concrete normed lattices majorize in their completions.
- Techniques from set theory such as forcing might be used to construct explicit counterexamples in the lattice setting.
- The short completeness proof may simplify arguments for other classes of partially ordered normed spaces.
Load-bearing premise
The equivalence relies on the definitions and results from the prior paper being correctly formulated together with standard interpretations of P-ideals and meagerness.
What would settle it
Exhibiting one P-ideal on the natural numbers that is not meager would produce a normed lattice X in which every norm-null sequence has an order-bounded subsequence yet X fails to be majorizing in its norm completion.
read the original abstract
This note is a follow-up to \cite{bt}. We focus on conditions under which a normed lattice $X$ is majorizing in its norm completion. We show that \cite[Question 8.17]{bt} -- namely, whether this holds whenever every norm-null sequence in $X$ has an order-bounded subsequence -- is equivalent to the question whether every P-ideal on $\N$ is meager. This is a longstanding open problem in Set Theory, and it has a negative answer under various set-theoretical assumptions, in particular under the Continuum Hypothesis. We also present several equivalent conditions to both of the two aforementioned properties, and give a simple proof of a well-known Riesz-Fischer-style characterization of completeness of a normed lattice.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is a follow-up to [bt] focusing on normed lattices. It claims to show that the majorizing property of a normed lattice X in its norm completion, whenever every norm-null sequence has an order-bounded subsequence (Question 8.17 from [bt]), is equivalent to the set-theoretic statement that every P-ideal on ℕ is meager. The paper also presents several equivalent conditions for these properties and supplies an independent short proof of the Riesz-Fischer completeness criterion for normed lattices. It notes that the set-theoretic statement is open in ZFC and fails under CH and other assumptions.
Significance. If the claimed equivalence is correct, the work usefully reduces an open question in the theory of normed lattices to a longstanding open problem in set theory about P-ideals and meagerness, thereby clarifying the consistency status of the majorizing property (negative under CH). The supply of multiple equivalent conditions provides alternative characterizations that may aid further study, and the short self-contained proof of the Riesz-Fischer criterion is a clear positive contribution that stands independently of the main equivalence. The reduction itself, when verified, constitutes a non-trivial link between the two fields.
major comments (1)
- The central equivalence to Question 8.17 of [bt] is load-bearing for the main claim, yet the manuscript does not restate the relevant definitions (majorizing property, norm-null sequences, order-bounded subsequences) or the precise statement of the question from [bt]. Without these, the steps of the reduction cannot be checked internally; a brief recap or explicit reference to the exact formulations used would be required to confirm the equivalence holds as stated.
minor comments (2)
- The abstract states that 'several equivalent conditions' are presented; listing the main ones (or at least their number and brief descriptions) already in the abstract would improve readability and allow readers to grasp the scope immediately.
- Notation: ensure consistent use of ℕ versus N throughout; the abstract uses ℕ while the title and some references may vary.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation and the recommendation of minor revision. The suggestion to improve internal verifiability is well taken, and we address it directly below.
read point-by-point responses
-
Referee: The central equivalence to Question 8.17 of [bt] is load-bearing for the main claim, yet the manuscript does not restate the relevant definitions (majorizing property, norm-null sequences, order-bounded subsequences) or the precise statement of the question from [bt]. Without these, the steps of the reduction cannot be checked internally; a brief recap or explicit reference to the exact formulations used would be required to confirm the equivalence holds as stated.
Authors: We agree that the manuscript would benefit from greater self-containment on this point. Although the abstract briefly indicates the content of Question 8.17, we will add a short preliminary paragraph in the revised version that explicitly recalls the definitions of the majorizing property, norm-null sequences, and order-bounded subsequences, together with the precise wording of Question 8.17 as stated in [bt]. This will allow readers to follow the reduction without immediate recourse to the reference. revision: yes
Circularity Check
No significant circularity; equivalence to external open problem
full rationale
The paper proves an equivalence between the majorizing property (Question 8.17 from the cited prior work) and the set-theoretic statement that every P-ideal on ℕ is meager, which is explicitly identified as a longstanding open problem independent of the present manuscript. Equivalent conditions are listed and a short independent proof is supplied for the well-known Riesz-Fischer completeness criterion. No derivation step reduces by construction to a fitted parameter, self-defined quantity, or load-bearing self-citation chain; the prior citation supplies only background definitions and the question statement, while the core reduction uses standard interpretations of P-ideals and meagerness outside the paper's own parameters.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms of ZFC set theory and the definitions of normed lattices and their completions from prior work.
Reference graph
Works this paper leans on
-
[1]
[AB03] Charalambos D. Aliprantis and Owen Burkinshaw,Locally solid Riesz spaces with applica- tions to economics, 2nd ed., Mathematical Surveys and Monographs, vol. 105, American Mathematical Society, Providence, RI, 2003. [BCTvdW25] E. Bilokopytov, J. Conradie, V.G. Troitsky, and J.H. van der Walt,Locally solid convergence structures, to appear in Disser...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.