Abstract. Our starting point is the following question: To what extent is a function's value at a point x of a topological space determined by its values in an arbitrarily small (deleted) neighborhood of x? For continuous functions, the answer is typically "always" and the method of prediction of f (x) is just the limit operator. We generalize this to the case of an arbitrary function mapping a topological space to an arbitrary set. We show that the best one can ever hope to do is to predict correctly except on a scattered set. Moreover, we give a predictor whose error set, in T 0 spaces, is always scattered.
Topological preliminariesAmong the topological spaces that we will be interested in are the ones arising from a partial ordering by either declaring a set to be open if it is closed upward in the ordering (the upward topology) or closed downward in the ordering (the downward topology). For example, the interval (−∞, 0] is open in the downward topology on the reals. These topologies are not typically T 1 , but they are always T 0 .We will be asserting that certain things happen except on a set that is "topologically small." On the real line R with the downward topology, we want these small sets to be the well-ordered subsets of R, and for the upward topology on an ordinal, we want these small sets to be the finite sets. The following well-known notions achieve both. Definition 1.1. A set S in a topological space X is weakly scattered if for every nonempty T ⊆ S there exists some x ∈ T and some neighborhood V of x such that V ∩ T is finite. We call such points weakly isolated points of T. The set S is scattered if the conclusion can be strengthened to V ∩ T = {x}, in which case these are called isolated points of T.What we are calling "weakly scattered" is called "separated" by Morgan [6]; he attributes the definition to Cantor. Every scattered set is weakly scattered, and it is straightforward to show that the two notions are equivalent in T 0 spaces. The concept of a weakly scattered set is a smallness notion in the sense that these sets are closed under the formation of subsets and finite unions.