Convergent Sequence of Continuous Real Functions is Integrable Termwise

Theorem
Let $I = \closedint a b \subseteq \R$ be a closed real interval.

Let $\struct {\map CI, \norm {\, \cdot \,}_\infty}$ be the normed vector space of real-valued functions continuous on $I$ equipped with the supremum norm.

Let $\sequence {f_k}_{k \mathop \in \N_{>0} } \in C \closedint a b$ be a sequence.

Suppose $\ds \sum_{k \mathop = 1}^\infty f_k$ converges to $f$ in $\struct {\map C I, \norm {\, \cdot \,}_\infty}$.

Then:


 * $\ds \sum_{k \mathop = 1}^\infty \int_a^b f_k \rd t = \int_a^b \map f t \rd t$