When can a double limit $\lim_{k\to\infty}\lim_{m\to\infty}f_{k,m}(x)$ be combined into $\lim_{k\to\infty}f_{k,k}(x)$?

112 Views Asked by At

Let $f_{k,m}:\mathbb{R}^n\to \mathbb{R}, \forall k, m \in \mathbb{N}$ and suppose that $\lim_{m\to\infty}f_{k,m} = f_{k,-}$ uniformly in $m$ and $\lim_{k\to\infty}f_{k,m} = f_{-,m}$ at least pointwise. Can I then combine the double limit $\lim_{k\to\infty}\lim_{m\to\infty}f_{k,m}$ to $\lim_{k\to\infty}\lim_{m\to\infty}f_{k,m} = \lim_{k\to\infty}f_{k,k}$? I already tried to search my analysis notes and books, but as this sort of limit combining is quite rare at least in standard curriculum (I cannot reside any that important theorem that combines limits), so I could not find anything useful. I am aware that under these assumptions conditions one can change the order of the limits of $\lim_{n\to\infty}\lim_{m\to\infty}f_{k,m}$ to $\lim_{m\to\infty}\lim_{k\to\infty}f_{k,m}$.

Edit: A guiding motivation to my question relates to convergence discussed in a problem such as this: Dense subspace of the space of functions vanishing at infinity, where one acceptable approach is this. If I understood that answer correctly, we are showing that we can approximate a continuous function $\tilde{f}_k$ with a compact support in the infinity norm with a sequence of smooth compactly supported functions $g_{k,m}$. We are taking it as granted that we can approximate a continuous function $f$ vanishing at infinity with such $\tilde{f}_k$s, so in the end we are approximating $f$ with a sequence that itself is approximated with some other functions. Therefore once wrote out, the entire expression is something like

$$\lim_{k\to \infty}||f - \tilde{f}_k||_\infty = \lim_{k\to \infty}||f - \lim_{m\to\infty}g_{k,m}||_\infty$$