Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(ZF + Countable Choice)




Let $\langle X,\mathcal{T} \hspace{.06 in} \rangle$ be a second-countable Hausdorff space. Let $\mu$ be a Borel measure on $X$.
Let $\langle I,\leq_I \rangle$ be a directed set, and let $\{\mu_i : i\in I\}$ be a collection of Borel measures on $X$.
Are the following are equivalent?


$1. \qquad$ For all open subsets $U$ of $X$, $\hspace{.12 in} \mu(U) \hspace{.08 in} \leq \hspace{.08 in} \displaystyle\liminf_i \hspace{.06 in} \mu_i(U)$

$2. \qquad$ For all closed subsets $C$ of $X$, $\hspace{.12 in} \displaystyle\limsup_i \hspace{.06 in} \mu_i(C) \hspace{.08 in} \leq \hspace{.08 in} \mu(C)$



Assume $\delta$ is a proximity relation on $X$ that induces $\mathcal{T} \hspace{.05 in}$. $\hspace{.04 in}$ Are the following equivalent?


For all Borel subsets $A$ and $B$ of $X$, if $\quad A \; \; \delta \; \; (X-B) \quad$ is false, then

$3. \qquad \mu(A) \hspace{.08 in} \leq \hspace{.08 in} \displaystyle\liminf_i \hspace{.06 in} \mu_i(B)$

$4. \qquad \displaystyle\limsup_i \hspace{.06 in} \mu_i(A) \hspace{.08 in} \leq \hspace{.08 in} \mu(B)$


Is (1 and 2) equivalent to (3 and 4) ?

share|improve this question
    
Another setting: omit hypothesis of second-countable, but use general completely regular Hausdorff space. In place of closed sets use zero sets (of continuous real-valued functions); in place of open sets use cozero sets; in place of Borel sets use Baire sets (sigma-algebra generated by zero sets). Good reference: Gillman & Jerison, Rings of Continuous Functions –  Gerald Edgar Jun 12 '11 at 12:25
add comment

1 Answer

up vote 0 down vote accepted

Allowing infinite measures will defeat equivalence of 1 and 2. Say Hausdorff measures of various dimensions $<1$ on $\mathbb R$. All nonempty open sets have measure $\infty$. But closed sets can have interesting values.

On the other hand, for finite measures, then of course 1 and 2 are equivalent, by taking complements.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.