Timeline for Completeness of Borel measure
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 10, 2013 at 11:26 | comment | added | TaQ | @ Nate Eldredge: I follow. Let $\mathscr A$ be the set complements of all closed sets $B$ with $\mu(B)=\mu(X)$. Then $\mu(A)=0$ for all $A\in\mathscr A$ and $\{U\}\cup\mathscr A$ is an open cover of $X$ which is assumed to be compact. So there is a finite $\mathscr B\subseteq\mathscr A$ with $X\subseteq U\cup\bigcup\mathscr B$. Now, do you too follow? | |
| Sep 10, 2013 at 2:23 | comment | added | Nate Eldredge | "Compactness implies that $X$ is the union of $U$ and finitely many open $\mu$-null sets": I don't quite follow this step. Could you elaborate? | |
| Sep 9, 2013 at 23:39 | history | answered | George Lowther | CC BY-SA 3.0 |