A cardinal number connected to the solvability of systems of difference equations in a given function class
Let RR denote the set of real valued functions defined on the real line. A map D:RR→RR is a {\it difference operator}, if there are real numbers ai,bi (i=1,...,n) such that (Df)(x)=∑i=1naif(x+bi) for every f∈RR and x∈R. A {\it system of difference equations} is a set of equations S=Dif=gi:i∈I, where I is an arbitrary set of indices, Di is a difference operator and gi is a given function for every i∈I, and f is the unknown function. One can prove that a system S is solvable if and only if every finite subsystem of S is solvable. However, if we look for solutions belonging to a given class of functions, then the analogous statement fails. For example, there exists a system S such that every finite subsystem of S has a solution which is a trigonometric polynomial, but S has no such solution. This phenomenon motivates the following definition. Let F be a class of functions. The {\it solvability cardinal} $\solc (\iF)$ of F is the smallest cardinal κ such that whenever S is a system of difference equations and each subsystem of S of cardinality less than κ has a solution in F, then S itselfhas a solution in F. In this paper we determine the solvability cardinals of most function classes that occur in analysis. As it turns out, the behaviour of $\solc ({\cal F})$ is rather erratic. For example, $\solc (\text{polynomials})=3$ but $\solc (\text{trigonometric polynomials})=ω_1$, $\solc ({f: f\ \text{is continuous}}) = ω_1$ but $\solc ({f: f\ \text{is Darboux}}) =(2^ω)^+$, and $\solc (\R^\R)=ω$. We consistently determine the solvability cardinals of the classes of Borel, Lebesgue and Baire measurable functions, and give some partial answers for the Baire class 1 and Baire class α functions.
