We investigate the Ramsey theory of continuous graph-structures on complete, separable metric spaces and apply the results to the problem of covering a plane by functions.
Let the homogeneity number
of a pair-coloring c:[X]2→2 be the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2ω, cmin and cmax, which satisfy
and prove:
Theorem. (1) For every Polish space X and every continuous pair-coloringc:[X]2→2with
,
(2) There is a model of set theory in which
and
.
The consistency of
and of
follows from [20].
We prove that
is equal to the covering number of (2ω)2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to cmin gives:
Theorem.There is a model of set theory in which
(1) ℝ2 is coverable byℵ1graphs and reflections of graphs of continuous real functions;
(2) ℝ2 is not coverable byℵ1graphs and reflections of graphs of Lipschitz real functions.
Figure 1.1 in the introduction summarizes the ZFC results in Part I of the paper. The independence results in Part II show that any two rows in Fig. 1.1 can be separated if one excludes
from row (3).