I am trying to understand the following Corollary to the Dominated Convergence Theorem. Suppose, for some $t_0 \in [a,b] $, we have that
$ \lim_{t \to t_0} f(x,t) = f(x,t_0)$,
for each $x \in X$, and that there exists an integrable function $g$ on $X$ such that $|f(x,t)|\leq g(x)$, then $\int f(x,t_0)d\mu (x) = \lim_{t \to t_0} \int f(x,t)d\mu (x)$
The argument goes as follows:
Let $(t_n)$ be a sequence in $[a,b]$ which converges to $t_0$ and apply the Dominated convergence theorem to the sequence $(f_n)$ defined by $f_n(x)=f(x,t_n)$
The following is where I have been stuck.
We have, by the Domiated convergence theorem, that $ \int f(x,t_0)d\mu (x) = \lim_{t_n \to t_0} \int f(x,t_n)d\mu (x)$
My question is, I don't see why $ \lim_{t_n \to t_0} \int f(x,t_n)d\mu (x) = \lim_{t \to t_0} \int f(x,t)d\mu (x)$
I would be very grateful for any explanation of this.
Is this by the sequential characterization of limits, i.e we have for every sequence, $(t_n) \to t_0$ we have that
$\lim_{t_n \to t_0} \int f(x,t_n)d\mu (x) = \int f(x,t_0)d\mu (x)$ form which it follows that $\lim_{t \to t_0} \int f(x,t)d\mu (x) = \int f(x,t_0)d\mu (x)$