Abstract
In this chapter we start to move further away from the hat problem metaphor and think instead of trying to predict a function’s value at a point based on knowing (something about) its values on nearby points. The most natural setting for this is a topological space and if we wanted to only consider continuous colorings, then the limit operator would serve as a unique optimal predictor. But we want to consider arbitrary colorings. Thus we have each point in a topological space representing an agent, and if f and g are two colorings, then f and g are indistinguishable to agent a if f and g agree on some deleted neighborhood of the point a. It turns out that an optimal predictor in this case is wrong only on a set that is “scattered” (a concept with origins going back to Cantor).
To illustrate one corollary of this topological result, consider the hat problem in which the agents are indexed by real numbers, and each agent sees the hats worn by those to his left (that is, those indexed by smaller real numbers). The set of hat colors is some arbitrary set K. The question is whether or not there is a predictor ensuring that the set of agents guessing incorrectly is a small infinite set—e.g., indexed by a set of reals that is countable and nowhere dense. The answer here (again assuming the axiom of choice) is yes. In fact, there is a predictor guaranteeing the set of agent guessing incorrectly is a set of reals that is well ordered by the usual ordering of the reals. Moreover, this is an optimal predictor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Bibliography
Daviesm, R.O., Galvin, F.: Solution to query 5. Real Anal. Exch. 2, 74–75 (1976)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT, Cambridge (1995)
Freiling, C.: Symmetric derivates, scattered, and semi-scattered sets. Trans. Am. Math. Soc. 318, 705–720 (1990)
George, A.: A proof of induction? Philos. Impr. 7(2), 1–5 (2007)
Hardin, C.S., Taylor, A.D.: A peculiar connection between the axiom of choice and predicting the future. Am. Math. Mon. 115(2), 91–96 (2008)
Hardin, C.S., Taylor, A.D.: Limit-like predictability for discontinuous functions. Proc. AMS 137, 3123–3128 (2009)
Hardin, C.S., Taylor, A.D.: Minimal predictors in hat problems. Fundam. Math. 208, 273–285 (2010)
Horsten, L., Welch, P.: The aftermath. Math. Intell. 35(1), 16–20 (2013)
Paseau, A.: Justifying induction mathematically: strategies and functions. Log. Anal. 203, 263–269 (2008)
Morgan II, J.: Point Set Theory. Marcel Dekker, Inc., New York (1990)
Yiparaki, O.: On some tree partitions. PhD thesis, University of Michigan (1994)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hardin, C.S., Taylor, A.D. (2013). The Topological Setting. In: The Mathematics of Coordinated Inference. Developments in Mathematics, vol 33. Springer, Cham. https://doi.org/10.1007/978-3-319-01333-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-01333-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01332-9
Online ISBN: 978-3-319-01333-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)