Abstract:Inspired by recent work of A. Mardani which elaborates on the elementary fact that for any continuous function $f:\omega_1\times\mathbb{R}\to\mathbb{R}$, there is an $\alpha\in\omega_1$ such that $f(\langle\beta,x\rangle) = f(\langle\alpha,x\rangle)$ for all $\beta\ge\alpha$ and $x\in\mathbb{R}$, we introduce four properties $\mathsf{P}(X,Y)$, $\mathsf{P}\in\{\mathsf{EC},\mathsf{S},\mathsf{L},\mathsf{BR}\}$, which are different formalizations of the idea vaguely stated as "given a continuous $f:X\to Y$, there is a small subspace of $X$ outside of which $f$ does not do anything much new". We say that the spaces $X,Y$ satisfy the property $\mathsf{EC}(X,Y)$ (resp. $\mathsf{S}(X,Y)$) [resp. $\mathsf{L}(X,Y)$] iff given $f:X\to Y$, then there is a Lindelöf $Z\subset X$ such that $f(X-Z)$ is a singleton (resp. there is a retraction $r:X\to Z$ such that $f\circ r = f$) [resp. $f(Z) = f(X)$]. ($\mathsf{BR}(X,Y)$ is defined similarly.) We investigate the relations between these four and other classical topological properties. Two variants of each property are given depending on whether $Z$ can be chosen to be closed. Here is a sample of our results. An uncountable subspace $T$ of a tree of height $\omega_1$ is $\omega_1$-compact iff $\mathsf{S}(T,Y)$ holds for any metrizable space $Y$ of cardinality $>1$. If $M$ is a $\aleph_1$-strongly collectionwise Hausforff non-metrizable manifold satisfying either a weakening of $\mathsf{S}(M,\mathbb{R})$ or $\mathsf{EC}(M,\mathbb{R})$, then $M$ is $\omega_1$-compact. The property $\mathsf{L}(M,\mathbb{R})$ holds for any manifold while $\mathsf{L}(M,\mathbb{R}^2)$ does not. Under PFA, a locally compact countably tight space $Y$ for which $\mathsf{EC}(\omega_1,Y)$ holds is isocompact, while there are counterexamples under $\clubsuit_C$. Some of our results are restatements of other researchers work put in our context.

Second-countable compact Hausdorff spaces as remainders in $\mathbf{ZF}$ and two new notions of infiniteness

Infinite Combinatorics revisited in the absence of Axiom of Choice

Characterizations of $\mathbb{N}$-compactness and realcompactness via ultrafilters in the absence of the axiom of choice

ZFC without power set II: Reflection strikes back

On the consistency of ZF with an elementary embedding from into

Notes on Remainders of Topological Spaces in Some Compactifications

Quasiorders for a characterization of iso-dense spaces

Ketonen's question and other cardinal sins

On ultrafilters in ZF models and indecomposable ultrafilters

A marriage of category theory and set theory: a finitely axiomatized nonstandard first-order theory implying ZF

Eventually Constant and stagnating functions in non-Lindelöf spaces

Squares, ultrafilters and forcing axioms

Mad families and non-meager filters

Partition models, Permutations of infinite sets without fixed points, and weak forms of AC

Relative consistency of a finite nonclassical theory incorporating ZF and category theory with ZF

Infrafiltration Theorem and Some Inductive Sequence of Models of Generalized Second-Order Dedekind Theory of Real Numbers With Exponentially Increasing Powers

On resolvability and tightness in uncountable spaces

Partitions of Baire space into compact sets

Madness and regularity properties

Countable Spaces, Realcompactness, And The Pseudointersection Number

Adding an Abstraction Barrier to ZF Set Theory