My question is "how weak convergences of measurable functions is defined?" There seems to be two different definitions which are both based on weak convergence of measures generated by the measurable functions, but differ in how the measurable functions generate their new measures.
In terms of the new measure $\nu(A):=\int_A f \,d\mu$ generated from a measurable function $f$ wrt a measure $\mu$ on its domain:
From "Weak Compactness" in Section 19 "The $L^p$ spaces" of "Probability and Measure" by Billingsley:
Suppose that $f$ and $f_n$ are elements of $L^p(\Omega, \mathcal{F},\mu)$. If $\int f \times g \, d\mu= \lim_{n\rightarrow \infty} \int f \times g \, d\mu$ for each $g$ in $L^q(\Omega, \mathcal{F},\mu)$ with $1/p + 1/q = 1$, then $f_n$ converges weakly to $f$.
At the end of Section 4.1 of "A Course in Probability Theory" by Kai Lai Chung, weak convergence of random variables in $L^1$ space is also defined similarly to Billingsley's.
In terms of the pushforward measure of a measurable function:
In Wikipedia,
In this case the term weak convergence is preferable (see weak convergence of measures), and we say that a sequence of random elements $\{X_n\}$ converges weakly to $X$ if $ \operatorname{E}^*h(X_n) \to \operatorname{E}\,h(X) $ for all continuous bounded functions h(·). Here $E^*$ denotes the outer expectation, that is the expectation of a “smallest measurable function g that dominates $h(X_n)$”.
Also from Wikipedia:
Let $(\Omega, \mathcal{F}, P)$ be a probability space and $\textbf{X}$ be a metric space. If $X_n, X: Ω → \textbf{X}$ is a sequence of random variables then $X_n$ is said to converge weakly (or in distribution or in law) to $X$ as $n → ∞$ if the sequence of pushforward measures $(X_n)_∗(P)$ converges weakly to $X_∗(P)$ in the sense of weak convergence of measures on $\textbf{X}$.
I wonder if the two definitions of weak convergence of measurable functions are equivalent? Why are there two different definitions for the same concept?
Thanks and regards!