1
$\begingroup$

Suppose I have a sequence of inner regular measures, is it true that the lim-inf of the sequence an inner regular measure?

I will be more specific for the context of my problem.

Let $\Omega_l$ be such that $\Omega_l \subset \Omega_{l+1}$ and $\cup_l \Omega_l = \Omega$, furthermore $\mu(\Omega_l) , \mu(\Omega) < \infty$, $\mu$ denotes the Lebesgue measure. Let $u_{\varepsilon} \geq 0$ be a sequence of bounded integrable functions, then does $$\lim_l \liminf_{\varepsilon} \int_{\Omega_l} u_{\varepsilon}(x)dx = \liminf_{\varepsilon} \int_{\Omega} u_{\varepsilon}(x)dx ?$$

  • 1
    Borel measure on $\mathbb R^d$.2012-11-27
  • 0
    I have a sequence of measures $\mu_n$ for $n \in \mathbb N$. I take the lim inf pointwise, that is for each Borel set $U$ $\liminf_{n \rightarrow \infty} \mu_n(U)$.2012-11-28
  • 0
    Updated the question to be more specific.2012-11-28
  • 0
    You may also assume that the lim inf is finite.2012-11-28
  • 0
    $\Omega$ has finite measure (bounded in $\mathbb R^d$) your other two assumptions are correct2012-11-28
  • 0
    It's probably also important that $u_{\varepsilon}$ is positive.2012-11-28
  • 0
    Apologies, it seems you are the only person considering the question at present which is why I replied in a more conversational format.2012-11-28
  • 1
    No problem, now I will think on it.2012-11-28

1 Answers 1

1

Assume that $\mu(\Omega_l)>\mu(\Omega_{l-1})$, and let $u_n:=\frac{\chi_{\Omega_n\setminus\Omega_{n-1}}}{\mu(\Omega_n)-\mu(\Omega_{n-1})}$. It's a bounded non-negative function, and $\int_{\Omega}u_nd\mu=1$ for all $n$, so the RHS is $1$. For a fixed $l$, $$\liminf_{n\to +\infty}\int_{\Omega_l}u_nd\mu=0.$$

  • 0
    Thank you. Especially for your patience.2012-11-28