I was in a class and the professor said he knew of no applications (in a proof or elsewhere) of these two generalizations of Fatou's lemma and Lebesgue's dominated convergence theorem that I write below.
I want to look for such an application, but it's very difficult to look up anything about them when they aren't "named" theorems.
These theorems come from Royden's Real Analysis, Chapter 11, Section 4.
Proposition 1: Let $(X, \mathscr{B})$ be a measurable space, $<\mu_n>$ a sequence of measures that converge setwise to a measure $\mu$, and $
$\displaystyle\int f d{\mu} \leq \liminf \displaystyle\int f_n d{\mu_n}.$
Proposition 2: Let $(X, \mathscr{B})$ be a measurable space and $<\mu_n>$ a sequence of measures on $\mathscr{B}$ that converge setwise to a measure $\mu$. Let $
$\lim \displaystyle\int g_n d{\mu_n} = \displaystyle\int g d{\mu} < \infty.$
Then
$\lim \displaystyle\int f_n d{\mu_n} = \displaystyle\int f d{\mu}.$
I am aware that Vitali's convergence theorem is a generalization of Lebesgue's dominated convergence theorem, but it does not seem to be the same generalization.
Does this generalization have a name? If not, do you know any applications of it?