The equality conjecture for iterated local dimension sets

From papers

Let XX be a topological space that is almost zero-dimensional, meaning that it has a basis of open sets whose boundaries are zero-dimensional. Define

Λ(X)={xX:X is 1-dimensional at x}\Lambda(X)=\{x\in X:X\text{ is 1-dimensional at }x\}

and

Λ2(X)=Λ(Λ(X))={xΛ(X):Λ(X) is 1-dimensional at x}.\Lambda^2(X)=\Lambda(\Lambda(X))=\{x\in\Lambda(X):\Lambda(X)\text{ is 1-dimensional at }x\}.

Equality conjecture. If XX is almost zero-dimensional, then

Λ2(X)=Λ(X).\Lambda^2(X)=\Lambda(X).

The preceding result establishes only that Λ2(X)\Lambda^2(X) is dense in Λ(X)\Lambda(X) for almost zero-dimensional spaces; the conjecture asks whether this dense subset must equal all of Λ(X)\Lambda(X).

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

David S. Lipham, “A dichotomy for spaces near dimension zero”, arXiv:2304.09380 (2023).

Solutions 0

No solutions have been posted yet.