All Questions
10 questions
3
votes
0
answers
117
views
Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?
Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
6
votes
2
answers
1k
views
Definable collections of non measurable sets of reals
Is there a definable (in Zermelo Fraenkel set theory with choice) collection of non measurable sets of reals of size continuum? More verbosely: Is there a class A = {x: \phi(x)} such that ZFC proves "...
- 2,031
9
votes
1
answer
831
views
Baire category theorem for uncountable unions
Any compact Hausdorff space $X$ is a Baire space:
if the set $X$ is a meager set (meaning a countable union of nowhere dense subsets,
also known as a set of first category),
then $X$ is empty.
I am ...
- 3,768
2
votes
1
answer
1k
views
Proving that family of sets has non-empty intersection
Let's say I have an object which can be viewed as family of sets $\mathfrak{S} \subseteq 2^S$, and I want to prove that its intersection is non-empty. What is known already:
$S$ is set of measurable ...
- 105
2
votes
0
answers
240
views
3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators
During my studies, I came across several different Stone spaces, e.g.:
(i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators;
...
- 207
7
votes
2
answers
665
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 3,768
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 39k
16
votes
4
answers
2k
views
Is there a maximum to the amount of disjoint non-measurable subsets of the unit interval with full outer measure?
This question arose a few years back when I was an assistant teacher on a course of basic (Lebesgue) measure theory, but I didn't find an answer or anyone able to solve the problem. The setting of the ...
CommunityBot
- 1
8
votes
1
answer
635
views
Is the Jordan decomposition of a self-adjoint functional constructive?
Let $A$ be an abstract C*-algebra, and let $\varphi\colon A \rightarrow \mathbb C$ be a bounded linear function. Assuming the axiom of choice, there exist unique positive bounded linear functions $\...
- 42.4k
12
votes
3
answers
1k
views
Drawing conclusions by NOT using AC.
The existence of non-measurable subsets and functions on $\mathbb{R}$ require the use of the axiom of choice. That is, there exist models of ZF in which all subsets of (and hence all functions defined ...
- 3,631