Showing $\left\lbrace x: \lim f_n(x) \text{ exists} \right\rbrace$ is measurable Assuming $\left\lbrace f_n\right\rbrace$ is measurable for all n, I was able to show using the fact that sequences of real numbers converge iff they are Cauchy that:

$\left\lbrace x:  \lim f_n(x) \text{ exists} \right\rbrace =\bigcap_{k=1}^{\infty} \bigcup_{N=1}^{\infty} \bigcap_{m=N}^{\infty} \bigcap_{n=N}^{\infty} \left\lbrace x:  f_n(x)-f_m(x) &lt; \frac{1}{k} \right\rbrace \cap \left\lbrace x:  f_m(x)-f_n(x) &lt; \frac{1}{k} \right\rbrace$

Since $f_n$ is measurble for all n, $\left\lbrace x:  f_n(x)-f_m(x) &lt; \frac{1}{k} \right\rbrace $ should be a measurable set for all $n,m,$ and $k$, and then since there's a bunch of countable intersections and unions of all these sets, I should have that $\left\lbrace x:  \lim f_n(x) exists \right\rbrace$ is measurable as well. What I don't understand is why $f_n$ being measurable immediately implies that $\left\lbrace x:  f_n(x)-f_m(x) &lt; \frac{1}{k}\right\rbrace $ is measurable. We just started learning about measurable functions and I know that $f:X \rightarrow Y$ is $M,N-$measurable if $f^{-1}(E) \in M$ for all $E \in N$ where $M$ is the sigma-algebra on $X$ and $N$ the sigma algebra on $Y$, but I don't see how to apply that definition here.
For sake of completness I shall give a sketch for another proof. 

$1)$ Show that the maps $x \mapsto \lim \inf f_n(x)$ and $x \mapsto \lim \sup f_n(x)$ are measurables.

$2)$ Show that the set if $f, g$ are measurable functions, then the set $\{x : f(x) = g(x)\}$ is measurable.
To do this, use that since $\overline{\mathbb{R}}$ is Hausdorff, then the diagonal $\Delta := \{(x,x) : x \in \mathbb{R}\}$ is closed. Further, use thtat $f\times g(x) := (f(x),g(x))$.

$3)$ Recall that a $\lim f_n(x)$ exists if, and only if, $\lim \sup f_n(x) = \lim \inf f_n(x).$

What is the advantage of such approach? It is because you can change the counterdomain to any second countable Hausdorff space with Borel sigma algebra.
For sake of completness I shall give a sketch for another proof. 

$1)$ Show that the maps $x \mapsto \lim \inf f_n(x)$ and $x \mapsto \lim \sup f_n(x)$ are measurables.

$2)$ Show that the set if $f, g$ are measurable functions, then the set $\{x : f(x) = g(x)\}$ is measurable.
To do this, use that since $\overline{\mathbb{R}}$ is Hausdorff, then the diagonal $\Delta := \{(x,x) : x \in \mathbb{R}\}$ is closed. Further, use thtat $f\times g(x) := (f(x),g(x))$.

$3)$ Recall that a $\lim f_n(x)$ exists if, and only if, $\lim \sup f_n(x) = \lim \inf f_n(x).$

What is the advantage of such approach? It is because you can change the counterdomain to any second countable Hausdorff space with Borel sigma algebra.