Some examples of use of transfinite induction in analysis
Pith reviewed 2026-05-16 21:22 UTC · model grok-4.3
The pith
Transfinite induction over ordinals proves existence of maximal objects by forcing any improvement process to stop at a countable ordinal.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Existence of a maximal globally hyperbolic development follows from transfinite recursion: start with any globally hyperbolic development of the initial data and, whenever possible, replace it by a strictly larger one; the process is indexed by ordinals and must terminate at some countable ordinal because an increasing real-valued sequence cannot be defined on all of ω₁. The same conclusion is reached by exhibiting a real-valued function that quantifies the size of any development, allowing the classical countable inductive construction to be used instead.
What carries the argument
Ordinal-indexed transfinite recursion that improves a given object at successor steps and takes unions at limit steps, relying on the absence of strictly increasing functions from ω₁ to ℝ.
If this is right
- Existence of maximal objects is obtained without first defining a real-valued measure of maximality.
- The same transfinite procedure applies directly to the construction of maximal globally hyperbolic developments.
- When a real-valued size function for developments is supplied, the proof reduces to the standard countable inductive limit.
- The method supplies an alternative route to results previously obtained via Zorn's lemma.
Where Pith is reading between the lines
- The technique could replace Zorn-based arguments in other existence problems in geometric analysis where a natural size functional is hard to find.
- It suggests examining whether similar ordinal-indexed constructions can shorten proofs for maximal solutions of nonlinear PDEs.
- The explicit size function constructed for globally hyperbolic developments might be adapted to related problems in Lorentzian geometry.
Load-bearing premise
No strictly increasing function from the first uncountable ordinal into the real numbers can exist.
What would settle it
An explicit construction of a strictly increasing map from ω₁ into ℝ would allow an unending chain of improvements and would prevent the argument from guaranteeing termination at a countable ordinal.
read the original abstract
It is not uncommon in analysis that existence of extremal objects is obtained via an iterative procedure: we start from a given admissible object, then modify it, then modify again etc... If being extremal means maximimizing a real valued quantity and we are sure to approach the supremum fast enough, after a countable number of steps and a limiting procedure we are done. In this short note we want to advertise a slightly different line of thought, where rather than trying to approach the supremum fast enough, we: try to increase, if possible, the function to be maximized and, at the same time, index our recursive procedure over ordinals. Since there are no increasing functions from $\omega_1$ to $\R$, the procedure must stop at some countable ordinal and existence is proved anyway. The advantage of this line of reasoning is that it can be helpful even in situations where it is not so evident how to measure `being maximal' via a real valued function. This is the case, for instance, for existence of a Maximal Globally Hyperbolic Development of an initial data set in General Relativity. Speaking of this particular example, we also show that such `real-valued quantification' of the size of a development is actually possible, thus existence of a maximal one can be obtained in a countable number of steps using the original argument in [2] together with the standard procedure depicted above. This provides a way alternative to the one given in [5] to `dezornify' the proof in [2].
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a transfinite-induction method for proving existence of maximal objects in analysis: one iteratively increases a real-valued quantity along ordinals; because no strictly increasing map ω₁ → ℝ exists, the process must terminate at a countable ordinal. The approach is applied to the existence of a maximal globally hyperbolic development of an initial-data set in general relativity; the authors construct an explicit real-valued size function on developments, thereby reducing the problem to the countable-iteration argument already given in reference [2].
Significance. If the size function is monotone and the termination argument is correctly applied, the note supplies a concrete, non-Zorn alternative for a result previously obtained via Zorn’s lemma. The GR example demonstrates that a real-valued measure can sometimes be supplied even when maximality is not obviously quantitative, which may be useful in other analytic settings where transfinite methods are preferred to choice-based arguments.
major comments (1)
- [Introduction / GR example] The central claim that a real-valued size function on developments exists and is strictly monotone (thereby allowing reduction to the countable case) is asserted in the abstract and introduction but requires an explicit definition and verification that it increases under the extension operation; without this, the reduction to the argument of [2] remains formal rather than constructive.
minor comments (2)
- [Introduction] The notation for the ordinal ω₁ and the real-valued function should be introduced with a short reminder of the relevant set-theoretic fact (no strictly increasing ω₁ → ℝ) at the first use, for readers outside set theory.
- [Introduction] Reference [5] is cited for the ‘dezornify’ procedure but its precise relation to the present construction is not spelled out; a one-sentence comparison would clarify the novelty.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive recommendation. We address the single major comment below.
read point-by-point responses
-
Referee: [Introduction / GR example] The central claim that a real-valued size function on developments exists and is strictly monotone (thereby allowing reduction to the countable case) is asserted in the abstract and introduction but requires an explicit definition and verification that it increases under the extension operation; without this, the reduction to the argument of [2] remains formal rather than constructive.
Authors: We agree that an explicit definition of the size function together with a verification of its strict monotonicity under extensions is required to render the reduction fully constructive. In the revised manuscript we will insert a new subsection (immediately following the statement of the GR example) that (i) defines the real-valued size function on globally hyperbolic developments in terms of the volume of the maximal Cauchy surface and the supremum of the lapse function along the development, and (ii) proves that any proper extension strictly increases this quantity. With this addition the reduction to the countable-iteration argument of [2] becomes explicit rather than formal. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper's core argument invokes the standard external fact from set theory that no strictly increasing function ω₁ → ℝ exists, forcing any transfinite increasing procedure to terminate at a countable ordinal. This fact is independent of the paper and not derived within it. For the GR example, the construction of a real-valued size function on developments reduces the existence question to the countable iterative procedure already established in reference [2], without self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain remains self-contained against external benchmarks from ordinal arithmetic and analysis, with no steps that reduce by construction to the paper's own inputs.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math There is no strictly increasing function from the first uncountable ordinal ω₁ to the real numbers ℝ.
Reference graph
Works this paper leans on
-
[1]
https://mathoverflow.net/questions/301831/countable-dependent-choice
-
[2]
Global aspects of the Cauchy problem in general relativity.Comm
Yvonne Choquet-Bruhat and Robert Geroch. Global aspects of the Cauchy problem in general relativity.Comm. Math. Phys., 14:329–335, 1969
work page 1969
-
[3]
Spinor structure of space-times in general relativity
Robert Geroch. Spinor structure of space-times in general relativity. I.J. Mathematical Phys., 9:1739–1744, 1968
work page 1968
-
[4]
PhD thesis, Scuola Normale Superiore, 2008, Available at: https://cvgmt.sns.it/paper/491/
Nicola Gigli.On the geometry of the space of probability measures inR n endowed with the quadratic optimal transport distance. PhD thesis, Scuola Normale Superiore, 2008, Available at: https://cvgmt.sns.it/paper/491/
work page 2008
-
[5]
On the existence of a maximal Cauchy development for the Einstein equa- tions: a dezornification.Ann
Jan Sbierski. On the existence of a maximal Cauchy development for the Einstein equa- tions: a dezornification.Ann. Henri Poincar´ e, 17(2):301–329, 2016. 11
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.