On cardinality of the intersection of graphs of continuous functions (Q1920798)

Let \({\mathcal C}\) be the metric space of continuous functions \(f:[0,1] \to {\mathcal R}\) with the uniform metric and let \(G\) be the set of all functions \(f \in {\mathcal C}\) such that for each \(x \in (0,1)\) there are positive numbers \(a(x)\), \(k(x)\), \(r(x)\) such that the inequality \(|f(t) - f(x)|\leq k(x)|t - x|^{a(x)}\) holds for all \(t \in (x-r(x),x+r(x))\). We say that \(f_1 \in {\mathcal C}\) dissects \(f_2 \in {\mathcal C}\) if \(f_1 - f_2\) takes values of different signs. If \(\phi:{\mathcal R}_+ \to {\mathcal R}_+\) is a function continuous at \(0\) with \(\phi (0) = 0\) then \(f \in {\phi }_x\) if \(f \in {\mathcal C}\) and there is \(r > 0\) such that \(|f(t) - f(x)|\leq \phi (|t-x|)\) for \(t \in (x-r,x+r)\). Let \({\mathcal F}(\phi )\) be the set of all \(f \in {\mathcal C}\) which belong to \(\phi _x\) for each \(x \in (0,1)\). Denote by \(G(f)\) the graph of \(f\). The following theorems are proved: Th.1. There exists a set \(A \subset {\mathcal C}\) of the first category such that each function \(f \in {\mathcal C} \setminus A\) is such that \(\text{card}(G(f) \cap G(g)) = c\) for every \(g \in G\) which dissects \(f\). Th.2. Let \(\phi :{\mathcal R}_+ \to {\mathcal R}_+\) be continuous at \(0\) with \(\phi (0) = 0\). Then there is a set \(A(\phi ) \subset {\mathcal C}\) of the first category such that for every \(f \in {\mathcal C} \setminus A(\phi )\) the equality \(\text{card}(G(f) \cap G(g)) = c\) is valid for each \(g \in {\mathcal F}(\phi )\) which dissects \(f\).