## Weak convergence of measures on non-metrizable spaces

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

(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) ?

-

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 2011 at 12:25

## 1 Answer

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.887957751750946, "perplexity_flag": "middle"}