arXiv · 2610.25156
This note provides a negative answer to the well-known Reich's problem in fixed point theory.
Explore connections, maps & timelines
Luong Van Nguyen. 2026-10-18. A counterexample to Reich's fixed point problem. https://arxiv.org/abs/2610.25156
Cite the original work for its findings. Save a collection to share your selection of sources.
KEEP EXPLORING
Let $X$ be a topological space. Galvin's theorem on the Banach-Mazur game states that if $X$ has a $π$-base $\mathcal{B}$ satisfying the following condition: \textit{For any $U \in \mathcal{B}$, there exists a disjoint family $\mathcal{A}_U$ of nonempty open subsets of $U$ such that} \[ |\mathcal{A}_U| \geq |\{ B \in \mathcal{B} : U \subseteq B \}|, \] then, in the Banach-Mazur game on $X$, the second player, denoted NONEMPTY, has a 2-tactic if NONEMPTY has a winning strategy in this game. In this paper, we extend the disjointness condition of this family by replacing it with the condition of being open finite family. With this extension of the family $\mathcal{A}_U$, we showed that, the theorem is also true.
We consider pairs of maps $(f,g)$, where $f$ is an $n$-valued map and $g$ is an $m$-valued map, defined on connected finite polyhedra. A point $x$ such that $f(x)\cap g(x)\neq \emptyset$ is called a coincidence point of $f$ and $g$. A useful device for studying coincidence points would be a Nielsen-type invariant which provides a lower bound for the number of coincidence points of all $(n, m)$-valued pairs of maps homotopic to $(f,g)$. The construction of such an invariant $N(f:g)$ was proposed in [J. Fixed Point Theory Appl. 14, 309--324 (2013)]. Unfortunately, this approach has some flaws. In this paper, we present a modified construction that yields a corrected form of the invariant, defined in terms of the intersection points of the graphs of $f$ and $g$. In the case of $(n, m)$-valued pairs of maps of the circle our invariant provides a sharp lower bound, which we precisely determine.
The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.