3
$\begingroup$

Is there a sequence of continuous functions $\{f_k\}_{k \in \mathbb{N}},f_k : \mathbb{R} \rightarrow \mathbb{R},$ that converges pointwise to some $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $\{x \in \mathbb{R} : |f(x) - f_k(x)| \leq 1,\forall k \in \mathbb{N}\}$ is not a closed set?

If $f$ is continuous, this clearly cannot happen, because such set would be an intersection of closed sets, hence closed. However, I could not find an example of sequence satisfying the property.

  • 0
    Sorry, wrote the wrong inequality sign. I fixed it now.2011-07-02

1 Answers 1

4

This is the wrong question to ask. A limit only care about the eventual information of a sequence, but your condition cares about $f_k$ for all $k.$ This makes examples very easy to come up with.

Choose any sequence of continuous functions $\langle g_n \rangle$ which converge to the function $f:\mathbb{R} \rightarrow \mathbb{R}$ defined by $f(x) = 0$ if $x$ is negative and $f(x) = 1$ if $x$ is positive which satisfy $|g_n(x) - f(x)| \leq 1$ for all $x.$ Set $f_k = g_{k+1}$ and $f_1(x) = -\frac{1}{2}.$ Then the set $\{ x\in \mathbb{R}: |f(x) - f_k(x)| \leq 1,\forall k\in\mathbb{Z}_+\}$ is the negative reals and hence open.

A more interesting question would be if one can choose a sequence $\langle f_k \rangle$ composed of continuous functions such that the pointwise limit $f$ exists and satisfies the condition that the set $\{ x\in \mathbb{R}: |f(x) - f_k(x)| \leq 1,\forall k>N\}$ is not closed for any $N\in\mathbb{N}.$ The answer is yes. Hint: take $f$ to be the floor function and work backwards.

  • 0
    The simple case was enough for me (I was just trying to see that a certain step in a Theorem proof is necessary) but thanks for the complement, which is indeed more interesting.2011-07-02