All Questions
12 questions
3
votes
1
answer
71
views
How irregular can the set of points of non-differentiability for an L1 function's primitive F get, before the FTC fails?
A Fundamental Theorem of Calculus for Lebesgue Integration, J. J. Koliha begins with the passage
Lebesgue proved a number of remarkable results on the relation between integration and differentiation....
- 831
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
0
answers
64
views
Prescribed class of measurable sets
Let $X\neq\emptyset$ and let $\mu:P(X)\to[0,\infty]$ be an outer measure. Recall that, a set $A\subseteq X$ is $\mu$-measurable if
$$
\mu(B)=\mu(A\cap B)+\mu(B\setminus A), \text{ for all }B\subseteq ...
- 895
3
votes
1
answer
132
views
Does there exist $f:\Bbb{R}\to \Bbb{R}$ additive onto function such that $f(F) \subset \Bbb{R}$ has the property of Baire for every $F$?
Let $F\subset \Bbb{R}$ intersect every closed uncountable subsets of $\Bbb{R}$.
Does there exist $f:\Bbb{R}\to \Bbb{R}$ additive onto function such that $f(F) \subset \Bbb{R}$ has the property of ...
- 307
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
2
votes
1
answer
148
views
Borel $\sigma$-algebras on paths of bounded variation
Let $(C, \|\cdot\|)$ be the Banach space of continuous paths $x: [0,1]\rightarrow\mathbb{R}^d$ starting at zero with sup-norm $\|\cdot\|$.
Let further $B\subset C$ be the subspace of $0$-started ...
- 463
1
vote
1
answer
183
views
Topological analog of the Lusin-N property
$A\subset \Bbb{R}$ is meager if $A$ can be expressed as a countable union of nowhere dense sets.
Let $f:[a, b]\to \Bbb{R}$ is absolutely continuous, i.e., for every $\epsilon>0$, there exists $\...
- 307
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
6
votes
1
answer
728
views
Intuition behind the non-Borel Lusin example
Among the concrete examples of a non-borel subset of $\mathbb{R}$,
I know only the Lusin example.
This is the set $L$ of all irrational numbers whose
continued fraction representation $(a_0,a_1,\...
- 549
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
12
votes
0
answers
435
views
Uniform closure of subspaces of Baire class 1
Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
- 1,704