In a precise way, what is the “size” of the set of continuous functions intersecting a given continuous function

functional-analysisgeneral-topology

I came across this question, which while highly imprecise, got me thinking about a somewhat related question.

Let $C(\mathbb{R})$ be the set of continuous real functions. Say you have a continuous function $f:\mathbb{R}\to\mathbb{R}$. Is the set $G:=\{g\in C(\mathbb{R})| \exists x\in\mathbb{R}\text{ s.t. }f(x)=g(x)\}$ meagre? Does it depend on $f$? Is there an intuition of "size" that applies here?

I have read this document but I don't understand how to apply this to the set I defined here. The set $G$ is not a subset of any balls centred at $f$, nor is any ball centred at $f$ a subset of $G$.

I've ruled out $G$ being comeagre. How should one proceed?

Best Answer

Consider $f(x) = 0$ and corresponding set $G_0$. Then $$ \text{Int}\ G_0 = \{\textit{g: g continuous and changes sign somewhere}\} \\ \overline{G_0} = \{\textit{g: g continuous and not separated from 0, i.e. }\inf|g| = 0\} $$ It is not meagre as its interior is not empty. When it comes to size, $G_0$ is what remains in $C(\mathbb{R})$ when you remove all functions of constant nonzero sign.

For arbitrary $f$ you have $G_f = f + G_0$.

Related Question