Nikiel's conjecture
Let be a compact Hausdorff space.
Call a linearly ordered set with its open-interval topology a linearly ordered topological space, and say that is a continuous image of a compact linearly ordered space if there exist a compact linearly ordered topological space and a continuous surjection .
Call a space monotonically normal if there is an operator assigning to each pair , where is open and , an open set such that
- ; 2. if are open and , then ; 3. if and are open with , , then
Then is a continuous image of a compact linearly ordered space if and only if is monotonically normal.
References
Primary source
Additional references
- Wikipedia, Nikiel's conjecture, the article this problem comes from.
Progress summary
Later mathematical literature says Mary Ellen Rudin solved Nikiel’s conjecture in 2001, although this scan does not independently verify the proof.
Nikiel’s conjecture asserts an equivalence between a compact space being monotonically normal and being a continuous image of a compact ordered space.
Rudin’s 2001 solution
Several later papers state that Mary Ellen Rudin proved the conjecture in 2001, in its full compact Hausdorff form; one also uses the theorem to derive a connected version. The scan found no competing proof, counterexample, reported gap, or retraction.
Current status (as of August 2026): The conjecture is reported as solved by Mary Ellen Rudin in 2001, but the proof is unverified in this automated record.
Sources
- en.wikipedia.org
- export.arxiv.org
- arxiv.org
- ncatlab.org
- math.stackexchange.com
- en.wikipedia.org
- mathoverflow.net
- sciopen.com
- arxiv.org
- scientificamerican.com
- piazza.com
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- scientificamerican.com
- scientificamerican.com
- scientificamerican.com
- scientificamerican.com
Solutions 0
No solutions have been posted yet.