arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.25573

Goldbach and Alexandroff Shake Hands

Lourival Lima·Jorge Vielma
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce a relational Alexandroff topology associated with the strong Goldbach conjecture on the set of even integers greater than or equal to six. The construction is induced by a multivalued map encoding Goldbach representations and leads naturally to a notion of relational reachability. For arbitrary binary relations, we show that singleton closures coincide with reachable sets and that the common intersection of all singleton closures consists exactly of the globally reachable points. In the Goldbach setting, this yields a topological characterization of the conjecture in terms of the distinguished point \(6\). In particular, the strong Goldbach conjecture is equivalent to the associated relational space being non-\(wR_0\) and connected. We also obtain compactness and supercompactness criteria in terms of the set of possible Goldbach exceptions.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lourival Lima, Jorge Vielma. 2026-10-18. Goldbach and Alexandroff Shake Hands. https://arxiv.org/abs/2610.25573

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An Extension of Galvin's Theorem Related to the Banach-Mazur Game

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.

math.GN↗
arXiv2026

Nielsen coincidence theory of $(n,m)$-valued pairs of maps

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.

math.GN↗