arXiv:2610.35907v1 Announce Type: new Abstract: Let $(X,\tau)$ be a noncompact metrizable space and let $\langle T_n\rangle$ be a sequence of nonempty closed sets converging to the empty set in the sense of Kuratowski--Painlev\'e. The subsets of $X$ whose closures meet at most finitely many terms form a bornology $\mathcal B_\tau(\langle T_n\rangle)$. We give an internal criterion for inclusion between two such bornologies and recover each of them from a canonical free filter of closed sets. In fact, a nontrivial bornology is sequence-induced exactly when it has the enlargement property and its closed polar has countable character. Our principal result says that the bornology of relatively compact sets is sequence-induced precisely when $X$ is locally compact and separable; in the locally compact case the character of its closed polar is the density of $X$. In the penultimate section, we make a clever use of the sequence $T_n=\{n\}$ in the real line to give a negative answer to a conjecture posed in 2001 about a coarsest topology making the associated bornology a nontrivial metric bornology. Finally, we end the paper with a more general result: a coarsest such supertopology exists if and only if the original topology already makes the induced bornology a nontrivial metric bornology, in which case the coarsest supertopology is the original topology itself.
Continue to arXiv Mathematics →You are being forwarded in 6s — stay on this page