REVIEW 5 major objections 4 minor 6 references
A new method for compactification with the help of order topology and limit point
T0 review · 5 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper claims that adjoining a black-hole-like limit point ∞ to the ordinal space [0,ω) yields a compact bounded space [0,∞ω], giving a new compactification method that is said to work for spaces satisfying any separation axiom.
desk verdict An incoherent manuscript that asserts its main compactification step via a black-hole analogy and contains no valid theorem; the only concrete example is the standard one-point compactification of N. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central machinery is the ordinal-indexed order topology together with a black-hole model of limit points. A limit point $w$ is defined in the usual way—every neighbourhood of $w$ meets $A$ at a point different from $w$—and the paper's interpretive move is to view $w$ as a hole that attracts $A$ toward itself, with three properties: a limit point is a hole in the space, it attracts sets in the space, and limit points first draw each other and then bend their surrounding space. The ordinal map $O: [0,\omega) \to \tau_A$ arranges the discrete points of $A$ in a sequence approaching $\infty$, and the identification $\omega = \infty_\omega$ is the step that is supposed to convert the non-compact ordinal space $[0,\omega)$ into the compact $[0,\infty_\omega]$. The homotopy $H: A \times I \to \tau_i$ between trivial and discrete topologies carries the separation-axiom argument, since $H(A,0)=\tau_0$ satisfies no separation axiom and $H(A,1)=\tau_1$ satisfies all of them.
What would settle it
Settle the claim by writing down the neighbourhood system of $\infty$ in the final step of the construction. For the ordinal-indexed space $[0,\omega)$, the tail sets $U_n=\{\infty\}\cup\{k\in[0,\omega): k\ge n\}$ form an open cover with no finite subcover if all $U_n$ are open in the resulting space. If the paper's method makes all such $U_n$ open, then $[0,\infty_\omega]$ is not compact; if instead the topology is the usual order topology of $\omega+1$, the space is compact but the black-hole attraction is not what provides compactness.
Extended reading notes
Core claim
The central claim, stated on the paper's own terms, is that compactification can be performed in four steps using only limit points and order topology. A subset $A$ of a compact space $W$ is first made discrete through a continuous map $C_i: A \to \tau_i$ that runs over all topologies on $A$ from the trivial topology $\tau_0$ to the discrete topology $\tau_1$. The discrete space is then re-indexed by the ordinals below $\omega$ through $O: [0,\omega) \to \tau_A$, so that its points line up approaching the accumulation point $\infty$. In the final step, the limit point $\infty$ is treated as a black hole: it draws the members of $A$ to itself, and the ordinal space $[0,\omega)$ is claimed to turn into the compact bounded space $[0,\infty_\omega]$ with $\omega = \infty_\omega$. A homotopy $H: A \times I \to \tau_i$ with $H(A,0)=\tau_0$ and $H(A,1)=\tau_1$ is divided into six intervals assigned to the axioms $T_0$ through $T_4$, and the paper claims that reaching the discrete endpoint at $i=1$ makes the method applicable to spaces satisfying any separation axiom.
Load-bearing premise
The load-bearing premise is that a point which every neighbourhood keeps approaching can be treated like a black hole that pulls the whole space toward itself, and that this pull alone makes the enlarged space compact; if that attraction is only a metaphor and not a real topological operation, the central claim has no proof.
Editorial extensions
If this is right
- If the construction is valid, any space can be compactified by first passing through the discrete topology, ordering its points by ordinals below $\omega$, and adjoining one attracting limit point.
- For the natural numbers with the usual order topology, the claimed compactification $[0,\infty_\omega]$ coincides with the one-point compactification of $\mathbb{N}$.
- Under the trivial-topology endpoint, the construction is claimed to reproduce the Stone–Čech compactification of $\omega$, because every real-valued continuous function on $[0,\omega)$ is eventually constant.
- The homotopy $H$ between topologies gives a continuous ladder of separation levels, so the compactification could vary continuously from an indiscrete to a discrete compact space.
Reading between the lines
- A natural formal reading of the black-hole attraction is that every neighbourhood of $\infty$ contains a tail of the ordinal-indexed sequence; under that reading the construction becomes the ordinary one-point compactification of a countable discrete space, and the new content is the ordinal indexing plus the topology homotopy rather than a new class of compact spaces.
- The six-interval assignment in the homotopy ($T_0$ through $T_4$ on sixths of $I$) is chosen rather than derived; a testable extension would define the transition points by the first topology in the lattice on a fixed set that satisfies each axiom, and check whether the order of transitions is actually $T_0,T_1,T_2,T_3,T_4$.
- If the method were adapted to uncountable cardinals, replacing $\omega$ by an arbitrary ordinal $\kappa$, the same construction would suggest a compactification ladder indexed by regular cardinals, with each step adjoining the next limit point; the paper does not discuss uncountable cases.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a new method of compactification based on order topology and ordinal numbers. Its four chapters (1) introduce a 'black hole' interpretation of limit points, (2) describe a four-step compactification procedure, (3) attempt to extend the method to all separation axioms via a homotopy of topologies, and (4) compare the method with one-point and Stone-Čech compactification. The paper contains no formal theorem statements or proofs; the central step in which a limit point is said to make a space compact is asserted through the black-hole analogy rather than demonstrated.
Significance. The basic idea that adjoining a limit point in an order-topological way can compactify a space is a legitimate classical theme, and the ordinal space [0,ω] with the order topology is indeed compact. If the paper supplied a rigorous construction of the claimed compactification [0,∞ω] for arbitrary spaces satisfying arbitrary separation axioms, it could be a useful unification. However, the manuscript as written does not provide such a construction: the key 'black hole' mechanism is not a defined topological operation, the homotopy argument rests on undefined notions of continuity, and no machine-checked proofs, reproducible computations, or falsifiable predictions are included. The paper is therefore best read as a set of informal remarks rather than a research claim that can be evaluated as true or false.
major comments (5)
- [§3.1 (Step 1)] The method is circular. Step 1 assumes that there exists a compact space W with A as a dense subset and ∞ as an accumulation point, and then concludes that A can be compactified. But this is exactly the statement to be proved: any compactification of A would supply such a W. The paper never explains how to construct W, or its topology, from a given space A that is not already known to be embeddable in a compact space.
- [§3.4 (Step 4)] The compactness claim is unsupported. No topology on [0,∞ω] is defined, no neighbourhood base for the adjoined point ∞ω is specified, and no open-cover argument is given. The statement that ∞ω 'acts like a black hole and draws members of A to itself' is a physical analogy, not a topological construction. Moreover, the equality ω=∞ω conflates the ordinal ω with the adjoined point: if ∞ω is intended to be the ordinal ω, then [0,∞ω] is the familiar ordinals [0,ω], but that space has the order topology, not the discrete topology assigned to A in Step 2; if ∞ω is a genuinely new point, the notation [0,∞ω] is undefined because no order or topology on A∪{∞ω} is specified.
- [§3.3 (Step 3)] The map O:[0,ω)→τ_A^1 is undefined. Here τ_A^1 is a family of topologies on A, not a topological space whose points are ordinals; no rule is given that assigns to each α∈[0,ω) a point O(α)∈A, nor is a topology on the image specified. Consequently, Step 3 does not produce a dense embedding or prepare the claimed compactification.
- [Chapter 3 (Homotopy of topologies)] There is a direct contradiction with the earlier definition of τ1. In §3.2, τ1 is defined as the discrete topology, but in Chapter 3 the homotopy is written with H(A,1)=τ1 (indiscrete topology). Furthermore, the homotopy H:A×I→τi has codomain the set of topologies on A, which is not given a topology, so continuity of H and of the functions Ci is undefined. The partition of I into intervals labelled T0, T1, T2, T3, T4 is asserted without any derivation from properties of the topologies τi, so the claim that the method works for all separation axioms is not established.
- [§5.2 (Stone-Čech comparison)] The comparison with Stone-Čech compactification is incoherent. The statement that at i=0 any continuous function from [0,ω) to R is eventually constant and that 'the Stone-Cech compactification of ω is [0,∞ω]' is not supported: the space [0,ω) as constructed is a discrete set of ordinals, continuous real-valued functions on a discrete countably infinite space need not be eventually constant, and the Stone-Čech compactification of a countable discrete space is βN, not the one-point extension [0,∞ω]. This section does not validate the proposed method.
minor comments (4)
- [Throughout] There are numerous typographical errors and misspellings (e.g., 'chapetr', 'seperation', 'acheive', 'pint'), which obscure the text and should be corrected before any further review.
- [§3.2] The symbol τi is used both for the set of all topologies on A and for an individual topology in the family, which makes the definitions of Ci and the diagrams impossible to parse consistently.
- [References] References [5] and [6] are identical duplicates; the list also omits page numbers for several entries and includes an arXiv preprint by the authors that is not obviously related to the topic.
- [Introduction/Abstract] The abstract and the first sentences of the introduction are nearly identical; the introduction should state the main theorem or construction precisely and give an outline of the proof.
Circularity Check
Compactification is assumed in Step 1 and asserted in Step 4; the separation-axiom claim is built into the homotopy definition, and Section 5.1 reduces the method to the known one-point compactification.
-
self definitional
[Section 3.1 (Step 1)]
"Let suppose that W is a compact space and there is a subset of it which we called it A, and We want to embed this subset as dense subset of W in which∞ is an accumulation point of A. We will show that ¯A =W . In this situation, we know that every point like w in W either belongs to A or is a limit point of A. The first condition is satisfied(If Space A doesn't contain all point of W other thank limit points Then we cannot compactify A)"
The compactification of A is assumed at the start: a compact superspace W with A dense and ∞ as an accumulation point is exactly a compactification of A. The promised proof '¯A = W' is just the definition of density, and the conditional clause concedes that if W contains points other than limit points, A cannot be compactified. Thus the conclusion is contained in the premise; no construction of W from A is given.
-
self definitional
[Section 3.4 (Step 4)]
"limit pint∞ acts like a black hole and it draws members of to itself and then ordinal space [0,ω ) will turn into a compact and bounded space [0,∞ω] such that ω =∞ω."
Compactness of [0,∞ω] is asserted, not proved. Setting ω = ∞ω makes [0,∞ω] equal to the ordinal [0,ω], whose compactness in the order topology is a known theorem; but no topology on the adjoined point, no neighbourhood base, and no open-cover argument is supplied. The 'black hole attraction' is a verbal stipulation introduced in Remark 2.2 to guarantee intersections V_i∩A≠∅, so the compactness conclusion is not derived from independent topological hypotheses but from the prior stipulation that the point attracts A.
2 more flagged steps
-
self definitional
[Section 4 (Chapter 3), after the piecewise definition of H(A,i)]
"In consequence, based on the last step i = 1 we have a discrete topology that satisfies all of the separation axioms so that we can use this method for all spaces with every separation axioms."
The claim that the method works for all separation axioms is hardwired into the definition of H(A,i): the piecewise description assigns 'no separation axiom' to τ0, topologies satisfying T0–T4 to fixed intervals, and the discrete topology to i=1 because it satisfies all of T0–T4. No theorem proves that these topologies arise from the method; the desired outcome is stipulated by choosing τ1 to be the discrete topology. The 'homotopy' is a labelling of topologies, not a derivation that the compactification preserves or produces those separation properties.
-
renaming known result
[Section 5.1 (Chapter 4)]
"When ω =∞ω the space A based on [0 ,ω ) is just N with the usual order topology after using order topology compactification, we have [0 ,∞ω] which is one-point compactification of N."
The paper presents the construction as a new method, but this sentence identifies the output with the standard one-point compactification of N (or of [0,ω) with the usual order topology). The black-hole and ordinal machinery is notation: ω = ∞ω and [0,∞ω] = [0,ω]. Thus the claimed novelty is a relabelling of a classical construction, not an independently derived compactification method.
full rationale
The paper's derivation chain does not produce a compactification from independent hypotheses. In §3.1, the existence of a compact space W with A dense and ∞ an accumulation point is assumed; the 'proof' that Ā = W is the definition of density, so the target compactification is already in the premise. In §3.4, compactness of [0,∞ω] is asserted via the black-hole metaphor, with ω = ∞ω identifying the new point with the ordinal; no topology or open-cover verification is provided. In §4, the claim that the method covers every separation axiom is forced by the piecewise definition of H, which assigns the discrete topology (which satisfies T0–T4) to i = 1; the 'homotopy' is a labelling of topologies, not a proof that they arise from the construction. Finally, §5.1 explicitly identifies the output with the standard one-point compactification of N, so the supposed new method is a relabelling of a classical result. The paper's own aside that 'If Space A doesn't contain all point of W other thank limit points Then we cannot compactify A' confirms that the construction is conditional on a pre-existing compact superspace. No external benchmark verifies a genuinely new compactification; the central claims are embedded in definitions and stipulations rather than derived.
Assumptions & free parameters
free parameters (1)
- Separation axiom partition of I =
1/6, 2/6, 3/6, 4/6, 5/6
assumptions (3)
- domain assumption The set of all topologies on A forms a space over which continuous maps and homotopies can be defined.
- ad hoc to paper A limit point behaves as a black hole, attracting all points of A toward itself and compactifying the space.
- ad hoc to paper There exists a compact space W containing A as a dense subset with ∞ as an accumulation point.
invented entities (1)
-
Black hole limit point ∞
Cite this review
Pith. "Pith review of A new method for compactification with the help of order topology and limit point." pith.science (2026). https://pith.science/paper/M5SUNZLF
@misc{pith2026190809366,
author = {Pith},
title = {Pith review of: A new method for compactification with the help of order topology and limit point},
year = {2026},
howpublished = {\url{https://pith.science/paper/M5SUNZLF}},
note = {Machine review of arXiv:1908.09366}
}
read the original abstract
In this paper, we introduce a new method for compactification of a topological space by order topology and through ordinal numbers. The idea behind our approach originates from the definition of a limit point, and then we try to find an intuition for this concept. Finally, we utilise the Homotopy concept for separation Axiom
Reference graph
Works this paper leans on
-
[6]
B. K. Lahiri A First Course in Algebraic Topology . Alpha Science Interna- tional, Ltd; 1 edition (August 1, 2000)
work page 2000
-
[1]
Cambridge Univ Pr; 1 edition (September 1, 2005)
Allen Hatcher Algebraic Topology. Cambridge Univ Pr; 1 edition (September 1, 2005)
work page 2005
-
[2]
James Munkres. Topology; a first course. Pearson College Div (June 1, 1974)
work page 1974
-
[3]
An Illustrated Introduction to Topology and Homotopy
Sasho Kalajdzievski. An Illustrated Introduction to Topology and Homotopy. Chapman and Hall/CRC 2015
work page 2015
-
[4]
Triple extension of Tietze theorem and Baer criterion
Assad Rashidi, Kaveh Mohammadi Triple extension of Tietze theorem and Baer criterionn. arXiv preprint arXiv:1906.02784, 2019
work page Pith review arXiv 1906
- [7]
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.