All Questions
25 questions
4
votes
0
answers
198
views
When a null uncountable set can be image of some increasing function with discontinuities on a dense countable set
Consider the following result:
A: Let $f:D \to \mathbb R$ be an increasing function with discontinuities on a dense countable subset of $D$ such that the jump values sum to $\mu(D)$, where $D$ is a ...
- 303
14
votes
3
answers
2k
views
Every function on reals a sum of two surjective real functions?
From this question, and the answer thereof, we can see that every real valued function on reals is a sum of two injective functions. Is the same true if we replace injectivity by surjectivity.
For ...
- 2,089
25
votes
2
answers
2k
views
Writing a function on $\mathbb{R}$ as a sum of two injections
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a function. It is well-known that, using transfinite recursion with a well-ordering of $\mathbb{R}$, one can construct two injective functions $g,h: \...
- 4,265
1
vote
1
answer
258
views
What is the measure of two sets which partition the reals into subsets of positive measure?
This is a follow up to this question, where I wish to partition the reals into two sets $A$ and $B$ that are dense (with positive measure) in every non-empty sub-interval $(a,b)$ of $\mathbb{R}$.
(In ...
- 63
10
votes
1
answer
1k
views
Within ZFC, is $2^{\aleph_0}<2^{\aleph_1}$ provable/independent?
So, I ask whether from the ZFC axioms one can prove X that every uncountable set has strictly more than continuum many subsets, or whether X is independent of the ZFC axioms. Note that (within ZFC) ...
- 3,584
15
votes
2
answers
530
views
Nontrivial signed measure on Lebesgue measurable sets being trivial on Borel sets
Let $\mathfrak{L}(\mathbb{R})$ be the collection of Lebesgue measurable sets and $\mathfrak{B}(\mathbb{R})$ be the Borel sets.
Question: Is there a nontrivial signed measure on $\mathfrak{L}(\mathbb{R}...
- 807
14
votes
1
answer
918
views
Was Cantor aware of Lebesgue theory of integration?
Georg Cantor died in 1919, more than ten years after appearance of the Lebesgue theory of measure and integration at the beginning of the twentieth century. Lebesgue theory has a deep connection with ...
- 747
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 ...
- 37.8k
2
votes
1
answer
113
views
Measure of real numbers with converging average over binary digits
Consider the unit interval $[0,1]$, and by digits of $x\in[0,1]$ I mean its binary digits after the separator with no 1-period.
If $x_1,x_2,x_3,...$ are the digits of $x$, then consider the $k$-th ...
- 13.6k
5
votes
0
answers
472
views
Partitioning $\mathbb{R}^n$ into closed sets
Let $n$ be a positive integer. It is well-known that $\mathbb{R}^n$ cannot be non-trivially partitioned into open sets, since it is connected.
Let $\frak P$ be a partition of $\mathbb{R}^n$ into ...
- 48.9k
11
votes
0
answers
381
views
Concerning Luzin-(N)-property
Definition: a function $f:\mathbb{R}\to \mathbb{R}$ has Luzin-(N)-Property if $f$ maps any null set to a null set.
By https://www.encyclopediaofmath.org/index.php/Luzin-N-property, it is known that ...
- 4,201
7
votes
2
answers
664
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?
...
- 6,541
6
votes
1
answer
273
views
Avoiding equal distances
Is the following consistent?
There exists $X \subseteq [0, 1]$, such that $X$ does not have measure zero and for every $Y \subseteq X$, if $Y$ does not have measure zero, then there are $y_1 < y_2 ...
- 9,631
10
votes
1
answer
326
views
Partition into sets of positive outer measure
Let $\mu^{\star}$ denote Lebesgue outer measure. Suppose $X \subseteq [0, 1]$ and $\mu^{\star}(X) > 0$. Can we divide $X$ into uncountably many sets $\{X_i : i \in I\}$ such that for every $i \in I$...
- 121
13
votes
3
answers
820
views
Is there a Borel subset of $ \mathbb{R}^{2} $, with finite vertical cross-sections, whose projection onto the first component is non-Borel?
This question is related to another one that I asked two days ago.
Question. Does there exist a Borel subset $ M $ of $ \mathbb{R}^{2} $ with
the following two properties?
The ...
- 1,396
3
votes
0
answers
689
views
"Nicely" strong measure zero sets
This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: \omega\...
- 21.2k
21
votes
1
answer
840
views
Relative null-ness
Here, "measure" always means Lebesgue measure on $\mathbb{R}$. This question is partly motivated by my answer https://math.stackexchange.com/questions/1444498/is-there-a-categorizaiton-system-for-null-...
- 21.2k
23
votes
0
answers
939
views
A question about small sets of reals
In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, we have that $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$?
This question is ...
- 9,631
11
votes
2
answers
1k
views
Is sigma-additivity of Lebesgue measure deducible from ZF?
Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. ...
- 16.6k
17
votes
2
answers
905
views
Intersection of compact sets in the unit interval
Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr A\...
- 3,584
8
votes
2
answers
3k
views
Finite measure on the power set
Let $X$ be an uncountable set, and let $\Omega$ be the power set of $X$, viewed as a $\sigma$-algebra. Does there exist a positive $\sigma$-additive measure of finite total mass on $(X, \Omega)$ such ...
- 1,199
32
votes
4
answers
4k
views
Is a random subset of the real numbers non-measurable? Is the set of measurable sets measurable?
One might say, "a random subset of $\mathbb{R}$ is not Lebesgue measurable" without really thinking about it. But if we unpack the standard definitions of all those terms (and work in ZFC), it's not ...
- 2,200
21
votes
2
answers
924
views
Codimension of Measurable Sets
I am currently teaching an advanced undergraduate analysis class, and the following question came up.
Intuition suggests that "most" subsets of $[0,1]$ are not Lebesgue measurable. However, the ...
- 8,493
9
votes
3
answers
4k
views
Are there sigma-algebras of cardinality $\kappa>2^{\aleph_0}$ with countable cofinality?
A standard homework in measure theory textbooks asks the student to prove that there are not countably infinite $\sigma$-algebras. The only proof that I know is via a contradiction argument which ...
user2529
9
votes
2
answers
804
views
Partition of R into midpoint convex sets
We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$.
My question is: is it possible to partition $\mathbb{R}$ ...
- 1,359