Let , and . We show that there is a linear operator such that Φ(f)=f a.e. for every , and Φ commutes with all translations. On the other hand, if is a linear operator such that Φ(f)=f for every , then the group = a ∈ ℝ:Φ commutes with the translation by a is of measure zero and, assuming Martin’s axiom, is of cardinality less than continuum. Let Φ be a linear operator from into the space of complex-valued measurable functions. We show that if Φ(f) is non-zero for every , then must...
We prove that for every Borel ideal, the ideal limits of sequences of continuous functions on a Polish space are of Baire class one if and only if the ideal does not contain a copy of Fin × Fin. In particular, this is true for ideals. In the proof we use Borel determinacy for a game introduced by C. Laflamme.
Let (FP) abbreviate the statement that
holds for every bounded function f: [0,1]² → ℝ whenever each of the integrals involved exists. We shall denote by (SFP) the statement that the equality above holds for every bounded function f: [0,1]² → ℝ having measurable vertical and horizontal sections. It follows from well-known results that both of (FP) and (SFP) are independent of the axioms of ZFC. We investigate the logical connections of these statements with several other strong Fubini type properties...
The classical Denjoy-Young-Saks theorem gives a relation, here termed the Denjoy property, between the Dini derivatives of an arbitrary one-variable function that holds almost everywhere. Concerning the possible generalizations to higher dimensions, A. S. Besicovitch proved the following: there exists a continuous function of two variables such that at each point of a set of positive measure there exist continuum many directions, in each of which one Dini derivative is infinite and the other...
Download Results (CSV)