Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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: \...
Burak's user avatar
  • 4,265
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 ...
Transcendental's user avatar
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 ...
Fred Dashiell's user avatar
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 ...
喻 良's user avatar
  • 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,\...
Jon-S's user avatar
  • 549
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 ...
SoG's user avatar
  • 307
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....
D.R.'s user avatar
  • 831
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\...
Noah Schweber's user avatar
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 ...
fsp-b's user avatar
  • 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 $\...
SoG's user avatar
  • 307
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 ...
Tatin's user avatar
  • 895
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 : $\...
SoG's user avatar
  • 307