3
$\begingroup$

Let $(E,\mathcal{E})$ be a measure space and let $(m_{n})_{n\in\mathbb{N}} \subset \mathcal{M}_\sigma(E,\mathcal{E})$ be a sequence of $\sigma$-finite measures. I will put my questions and state below what I found so far. I would be glad to obtain some references.

  1. Is there a notion of weak convergence in this general setting?
  2. Assume $E = \bigcup_{i\in \mathbb{N}} E_i$ for some $E_i \in \mathcal{E}$ and $E_i \subset E_{i+1}$ for $i \in \mathbb{N}$. Suppose all $m_n$ are finite on each of the $E_i$: $m_n(E_i) < \infty, \, i,n \in \mathbb{N}$. Is there a notion of weak convergence?
  3. In the setting of 2. Is there a generalization of Prohorov's theorem if we assume $E$ to be Polish and equipped with its Borel $\sigma$-field? Reference?

ad 2: I have seen some work by Matyas Barczy and Gyula Pap on a similar question (see http://www.inf.unideb.hu/valseg/dolgozok/barczy/barczy_pap3.pdf). There $E$ is equipped with a metric and has a distinguished point $x_0 \in E$. There $E_i = E \setminus B(x_0, i^{-1})$, i.e. they remove small balls from $E$.

Using their definition it seems reasonable to define $m_n \Rightarrow m$ iff $m_n|_{E_i} \Rightarrow m|_{E_i}$ as $n\to \infty$ for any $i \in \mathbb{N}$. This uniquely defines a $\sigma$-finite measure $m \in \mathcal{M}_\sigma(E,\mathcal{E})$ using an extension theorem for measures. (I write $m|_{E_i}$ for the restriction of $m$ to $E_i$: $m|_{E_i}(A):=m(A\cap E_i)$).

ad 3: If one requires tightness of finite measures for $(m_n|_{E_i})_{n\in \mathbb{N}}$ for any $i \in \mathbb{N}$ then one can apply the standard Prohorov theorem restricted to $E_i$ and do a diagonalization argument to obtain a limit.

$\endgroup$
  • $\begingroup$ If $(E,r)$ is a complete separable metric space, then there is the concept of weak$^\#$ convergence for boundedly finite measures $\mu \in \mathcal{M}_{\text{bf}}(E) = \{ \mu \in \mathcal{M}(E):\, \mu(A) < \infty \ \text{for all bounded } A \in \mathcal{E} \}$. However, this concept is more related to vague convergence. A good description of the concept can be found in Appendix 2.6 of An Introduction to the Theory of Point Processes: Volume I, by D.J. Daley and D. Vere-Jones. My main interest was the situation $E = \mathbb{R}^d \setminus \{0\}$ so I am happy with this source. $\endgroup$ – Thomas Rippl Jan 27 '14 at 8:34
  • $\begingroup$ Hi, I asked basically the same question a week ago here mathoverflow.net/questions/301498/… I just wanted to check if you found any further answers in full generality? $\endgroup$ – Bruce Wayne Jun 6 '18 at 9:46
  • $\begingroup$ No new answers from my side. A few more sources are listed in this article. $\endgroup$ – Thomas Rippl Jun 9 '18 at 12:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.