Předpovídání budoucnosti a axiom výběru

Abstract

Máme-li funkci f : R → R, o jejímž chování nic nepředpokládáme, zdá se nemožné předvídat její budoucí hodnoty z předcházejícího vývoje. Z axiomu výběru ovšem vyplývá existence strategie, která na základě hodnot funkce f na nějakém intervalu (s, t) správně předpoví její hodnoty na intervalu [t, t + ) v každém bodě t reálné osy vyjma spočetné množiny. Tento výsledek Alana Taylora a Christophera Hardina práce prezentuje i se zobecněním na zobrazení z libovolného topologického prostoru v kontextu takzvaných her s klobouky, matematických her, při nichž hráči hádají barvu obvykle svého klobouku na základě barev klobouků ostatních hráčů. 1

Given arbitrary function f : R → R it seems practically impossible to predict its future values based on our knowledge of its previous values. Nevertheless, axiom of choice surprisingly implies the existence of strategy that from values of the function f on some interval (s, t) correctly predicts its values on interval [t, t+ ) for every t of real line except for countable set. This result of Christopher Hardin and Alan Taylor is presented along with its generalization to mappings from topological space in the context of hat guessing games, mathematical games in which the players are supposed to guess color of their own hat while knowing only colors of other's hats. 1