Vertical Section preserves Pointwise Limits of Sequences of Functions

Theorem
Let $X$ and $Y$ be sets.

Let $f : X \times Y \to \overline \R$ be a function.

Let $\sequence {f_n}_{n \mathop \in \N}$ be a sequence of functions converging pointwise to $f$.

Let $x \in X$.

Then:


 * $\paren {f_n}_x \to f_x$

pointwise, where:


 * $\paren {f_n}_x$ denotes the $x$-vertical section of $f_n$
 * $f_x$ denotes the $x$-vertical section of $f$.

Proof
From the definition of pointwise convergence, we have:


 * $\ds \map f {x, y} = \lim_{n \mathop \to \infty} \map {f_n} {x, y}$

for each $x \in X$ and $y \in Y$.

Fix $x \in X$.

From the definition of the $x$-vertical section, we have:


 * $\map {f_n} {x, y} = \map {\paren {f_n}_x} y$

and:


 * $\map f {x, y} = \map {f_x} y$

So:


 * $\ds \map {f_x} y = \lim_{n \mathop \to \infty} \map {\paren {f_n}_x} y$

for each $y \in Y$.

So:


 * $\paren {f_n}_x \to f_x$

pointwise.