1. ## Another Royden Question

Hi all!
I'm here again with another Royden question. The problem's pretty simple to state:

Given a sequence of real valued functions: $$ where each $f_n$ is continuous and defined for all real numbers, show that
the set $\{x:\ \ converges\}$ is an $f_\sigma_\delta$

I'm fairly certain that I've shown that the set is a $G_\delta$. And I'm pretty sure that I can prove that every G-delta is an F-sigma-delta. This would mean I'm done. But wait! Wouldn't Royden have just asked me to prove it was a G-delta in the first place? By that logic, I think I did something wrong in my proof. Casn anyone lend a hand on this problem. (Or does asnyone think I'm right about the set being a g-delta?) Thanks for any responses. They will be diligently read.

Jake

2. Hello,

here is one way how to write it as a $F_{\sigma\delta}$ set:
$h_{nm}(x):=f_n(x)-f_m(x)$ is continous, so
$F_{nmr}:=h_{nm}^{-1}([-r,r])$ is closed for every $r>0$
$$converges iff $$ is a cauchy-sequence iff
$\forall r\in \mathbb{Q}^{+} \exists n_{0} \forall n,m\geq n_{0} : x \in F_{nmr}$

this is in $F_{\sigma\delta}$.