On strong algebrability of families of non-measurable functions of two variables

Recently Tomasz Natkaniec in [On lineability of families of non-measurable functions of two variable. Rev. R. Acad. Cienc. Exactas F\'is. Nat. Ser. A Mat. RACSAM, 115(1):Paper No. 33, 10, 2021] studied the lineability problem for several classes of non-measurable functions in two variables. In this note we improve his results in the direction of algebrability. In particular, we show that most of the classes considered by Natkaniec contain free algebras with $2^{\mathfrak{c}}$ many generators.


Introduction
The last 20 years have seen a huge development in the study of the existence of large and rich algebraic structures within the subsets of linear spaces, function algebras and their Cartesian products.The topic already has its own place in the Mathematical Subject Classification -46B87, and both a monograph (see [1]) and a review article (see [6]) are devoted to it.The customary name for problems in this area is lineability or algebrability problems.These problems occur in many areas of mathematics.
Recently Tomasz Natkaniec in [15] considered the lineability problem for several classes of non-measurable functions of two variables.Most of his results are optimal in the sense that given families are 2 c -lineable in the algebra of all real functions of two variables which is itself of cardinality 2 c .Improving all the results of [15] in the direction of algebrability is the main goal of this paper: • In [15, Theorem 3 and Theorem 9] it is proved that the family of all sup-measurable functions that are non-measurable is 2 c -lineable; first it is proved under CH, then under non(N ) = c.Both of these imply condition (A) (see Section 2.7), which in turn implies that the family is strongly 2 c -algebrable, see Theorem 5. • In [15,Theorem 4 and Theorem 10] it is proved that the family of all weakly supmeasurable functions which are neither measurable nor sup-measurable is 2 c -lineable; first it is proved under CH, then under non(N ) = c.We prove in Theorem 6 that (A) implies that the family is strongly 2 c -algebrable.• In [15,Theorem 12] it is proved that the family of all non-measurable separately measurable functions (see Section 2.3) is 2 c -lineable.We prove that this family is strongly 2 c -algebrable, see Theorem 8. • In [15,Theorem 13] it is proved that the family of all non-measurable functions F : R 2 → R whose all vertical and horizontal sections are Darboux Baire one is c-lineable.We prove that this family is strongly c-algebrable, see Theorem 9. Our proof is relatively simple compared to Natkaniec's.
• In [15,Theorem 16] it is proved that the family of all non-measurable functions having all vertical sections approximately continuous (see Section 2.5) and all horizontal sections measurable is 2 c -lineable under the assumption that cov(N ) = add(N ) (see Section 2.8).In Theorem 10 we improve it to strong 2 c -algebrability.
For completeness, we show that the family of all measurable functions that are not supmeasurable is strongly 2 c -algebrable, see Theorem 4. Furthermore, in Section 2.6 we define a family of sup-Jones functions.We prove that this family is 2 c -lineable, see Theorem 11.
The paper is organised as follows.In Section 2 we give all the ingredients.We have divided it into several subsections to help the reader navigate.In Section 3 we cook up the proofs.

Preliminaries
2.1.Lineability and strong algebrability.Let L be a vector space, A ⊆ L and κ be a cardinal number.We say that A is κ-lineable if A∪{0} contains a κ-dimensional subspace of L. If we take L to be a commutative algebra, A ⊆ L, then we say that A is strongly κ-algebrable if A ∪ {0} contains a κ-generated subalgebra B which is isomorphic to a free algebra.
It turns out that R R , or equivalently R c , contains a set of free generators with cardinality 2 c , see [3].
2.2.Sup-measurable functions.Given a real function f in one variable and a real function F in two variables, we can define the Carathéodory superposition of F and f as a real function F f in one variable given by F f (x) = F (x, f (x)).A function F : R 2 → R is said to be supmeasurable if F f is Lebesgue measurable for every Lebesgue measurable f : R → R. By [5,Lemma 3.4], it is sufficient to check the measurability of F f only for continuous functions f .There are measurable functions that are not sup-measurable: consider F : R 2 → R, F = χ X×{0} , where X ⊆ R is non-measurable.The problem whether sup-measurable functions are measurable is undecidable in ZFC.On the one hand under the continuum hypothesis (CH) there is a sup-measurable function that is non-measurable, see [11] and [13] for the first such constructions.On the other hand there is a model of ZFC in which every sup-measurable function is measurable [16].
A function F : R 2 → R is weakly sup-measurable if the superposition F f is measurable for any continuous and almost everywhere differentiable function f : R → R.

2.3.
Separately measurable functions.For a function F : R 2 → R and y ∈ R we denote by F (•, y) the horizontal section of F at y, i.e. the function x → F (x, y).Similarly, F (y, •) is the vertical section of F at y.
We say that a function F : R 2 → R is separately measurable if all horizontal and vertical sections of F are measurable.A separately measurable function needs not to be measurable.To see this, consider a set A ⊆ R 2 which has full outer measure but its intersection with each vertical and each horizontal line is a finite set (e.g.A = α<c A α , where A α , α < c, are like in Lemma 1 for Y = R 2 ).A has full outer measure, but every vertical section of A is null.Therefore, by Fubini's Theorem, A is non-measurable.Consider the characteristic function χ A of A. Clearly χ A is non-measurable.Let x ∈ R. Then {y ∈ R : (x, y) ∈ A} has at most two elements.Since y → χ A (x, y) takes non-zero values on a finite set, it is measurable.Similarly, x → χ A (x, y) is measurable for every y ∈ R.So χ A is separately measurable.Note that if F : R 2 → R has the property that {(x, y) : F (x, y) = 0} ⊆ A, then F is separately measurable by the very same argument.
The following observation, which is a slight modification of [15,Lemma 11], will be a useful tool for us.
Lemma 1.Let Y ⊂ R 2 be a measurable set with positive measure.There exists a family {A α : α < c} of pairwise disjoint subsets of Y such that (1) each A α has full outer measure (in Y ); (2) all horizontal and vertical sections of α<c A α have at most one element.
2.4.Darboux Baire one functions.We say that that a function f : R → R is Darboux if it has the intermediate value property.We say that f is Baire one if it is a pointwise limit of a sequence of continuous functions.The latter is equivalent to the fact that The next simple lemma will be a useful tool in our investigations.
is an F σ set, since the family of all F σ sets is closed under finite unions and intersections.
is approximately continuous as a composition of a continuous function x → n min{x, 1/n} and an approximately continuous function g.Furthermore, h −1 n (0) is a null cover of N and there exists n such that the measure of R \ h −1 n (1) is less than 1.
2.6.Jones functions.A function f : R → R is called a Jones function if for every closed set K ⊆ R 2 with an uncountable projection on the x-axis we have f ∩ K = ∅.Equivalently, if for any perfect subset P ⊆ R and continuous function g : Jones functions were introduced by F. B. Jones in [12].The author considered solutions of the Cauchy equation f (x + y) = f (x) + f (y).He constructed a discontinuous function with a connected graph which satisfies the equation and the above definition.
One could ask if there is a function F : R 2 → R for which all Carathéodory superpositions with continuous functions are Jones.Note that this problem is trivial -it suffices to define F (x, y) = g(x), where g is any Jones function.Therefore we also consider inverted Carathéodory superpositions: we say that a function

Condition (A). Consider the following condition.
(A) There exists a function f : R → R which is a union of a family of pairwise disjoint partial functions {f α : α < c} such that each f α has positive outer measure and {x ∈ R : f (x) = g(x)} is a null set for each continuous g : R → R. In [17] von Weizsäcker noted that if non(N ) := min{|A| : A ⊆ R is not a null set} = c, then there exists a function f : R → R which has full outer measure and {x ∈ R : f (x) = g(x)} is a null set for every continuous g : R → R.Under the same assumption, by [15,Lemma 8], such a function can be decomposed into c many partial functions of full outer measure.In fact, with the assumption non(N ) = c such a family of pairwise disjoint partial functions can be defined in a similar way to von Weizsäcker's definition of a single function.
Later we will prove that condition (A) implies strong 2 c -algebraility of the family of all sup-measurable functions which are non-measurable.Thus, by the result of Rosłanowski and Shelah, [16] condition (A) is independent of ZFC.It is unclear to us whether condition (A) is equivalent to the existence of a non-measurable sup-measurable function or not.

Condition cov(N ) = add(N ).
The minimal cardinal number κ such that the real line can be covered by κ many null sets is denoted by cov(N ) and it is between ω 1 and c.Similarly, the minimal cardinal number κ such that some union of κ many null sets is not null is denoted by add(N ).Clearly ω 1 ≤ add(N ) ≤ cov(N ).The equality cov(N ) = add(N ) means that R can be covered by κ many null sets but any union of less than κ many of them is null, where κ is the common cardinal cov(N ) and add(N ).This condition is independent of ZFC, see [4] for details.For example, it is fulfilled under CH, where both cov(N ) and add(N ) are ω 1 .
2.9.Almost perfectly everywhere surjective functions and Bernstein sets.We say that f : R → R is almost perfectly everywhere surjective if its range f [R] is one of the following: R, [0, ∞), or (−∞, 0], and f [P ] = f [R] for any perfect set P ⊂ R. Note that this notion is different from that of a perfectly everywhere surjective function known in the literature, cf.[9].Let us denote the family of all almost perfectly everywhere surjective functions by APES. This notion is connected to the following.A set B ⊆ R is called a Bernstein set if B ∩ P = ∅ and (R \ B) ∩ P = ∅ for every perfect subset P of R. It is known that such sets are nonmeasurable.Let f be an almost perfectly everywhere surjective function.Then

2.10.
Approximately differentiable and nowhere approximately differentiable functions.A function f : R → R is said to be approximately differentiable at a point x ∈ R if there exists a measurable set E ⊂ R such that x is its density point, and the restriction f ↾ E is differentiable at x.A function f : R → R is nowhere approximately differentiable if it is approximately differentiable at no x ∈ R.
We will use the following observation.Let g be a continuous and almost everywhere differentiable function, and let f be a continuous and nowhere approximately differentiable function.Then the set E := {x ∈ R : f (x) = g(x)} has measure zero.To see this, first note that E is closed, since both g and f are continuous.Suppose, on the contrary, that E has positive measure.By the Lebesgue Density Theorem, E has a density point, say x, at which g is differentiable.This implies that f is approximately differentiable at x, which is a contradiction.Let X ⊆ B × B be a non-measurable set in which all vertical and horizontal sections have at most one element (e.g.X = α<c A α , where A α , α < c, are like in Lemma 1 for Y = B × B).Let h : X → (0, 1] be any function.Define We will show that all vertical and horizontal sections of F are Darboux Baire one functions.•) is either g or g modified at some point y ∈ C, where (x, y) ∈ X, so it has the intermediate value property.By Lemma 2, F h (x, •) is also Baire one.
Let y ∈ R. Consider the function y) is either ℓ or ℓ modified at one point x ∈ C, provided that (x, y) ∈ X, so it has the intermediate value property.By Lemma 2, F h (•, y) is also Baire one.
2.12.Exponential like functions.We say that a function f : R → R is exponential like if for some positive integer n, non-zero real numbers α 1 , . . ., α n and distinct non-zero real numbers β 1 , . . ., β n .The notion was described in [2], where the Authors proved that if A ⊆ R R is an arbitrary family and there exists a function F ∈ A such that f • F ∈ A for every exponential like function f , then A is strongly c-algebrable.
2.13.Ultrafilters on ω.By an utrafilter on ω we mean any maximal non-trivial family of subsets of ω which is closed under taking supersets and finite intersections.Endowing ω with the discrete topology, we denote by βω its Stone-Čech compactification, that is, the set of all ultrafilters on ω endowed with the topology which basic sets are of the form βa = {U ∈ βω : a ∈ U}, where a ⊂ ω.We will identify ω with the family of all principal ultrafilters δ n = {a ⊂ ω : n ∈ a}, n ∈ ω.
Using the fact that if X is a compact space and f : ω → X is a continuous function, then there exists a continuous extension f : βω → X of f (see e.g.[8]), we prove the following.Lemma 3. Let f : ω → m be any function.Let f be a continuous extension of f , let i < m and u = f −1 (i).Then f (U) = i for every U ∈ βu.
Proof.The extenstion f exists as f is continuous.Take any U ∈ βu and suppose that f (U) = i.Take a neighbourhood V of f (U) with i / ∈ V .Then there is basic open set βb with

Results
Theorem 4. The family of all measurable functions that are not sup-measurable is strongly 2 c -algebrable.
Proof.C is the Cantor ternary set.By {h ξ : ξ < 2 c } we denote a set of free generators of an algebra in R C .Let X ⊆ R be a non-mesurable set.For ξ < c we define For ξ 1 < ξ 2 < • • • < ξ k and polynomial P in k variables without constant term we have y).Let y 0 ∈ C be such that P (h ξ 1 (y 0 ), h ξ 2 (y 0 ), . . ., h ξ k (y 0 )) is non-zero.Define g to be a constant function, for x ∈ R g(x) = y 0 .Then F g = P (h ξ 1 (y 0 ), h ξ 2 (y 0 ), . . ., h ξ k (y 0 ))χ X is a scaled characteristic function of a non-measurable set X, so F is not sup-measurable.In particular, F is non-zero.Theorem 5. Assume (A).Then the family of all non-measurable sup-measurable functions is strongly 2 c -algebrable.
Proof.Let f and f α , α < c, be as in (A).By {h ξ : ξ < 2 c } we denote a set of free generators of an algebra in R c .For ξ < c we define For ξ 1 < ξ 2 < • • • < ξ k and polynomial P in k variables without constant term we have ) is non-zero for some β < c, we have ) has positive outer measure and null vertical sections (as a subset of a graph of a function), so, by Fubini's Theorem, it is non-measureable.In particular, F is non-zero.
Let g : R → R be a continuous function.Note that if F (y, g(y ) is measurable, and consequently F is sup-measurable.Theorem 6. Assume (A).Then the family of all weakly sup-measurable functions that are neither sup-measurable nor measurable is strongly 2 c -algebrable.
Proof.Let f and f α , α < c, be as in (A).Let {h ξ : ξ < 2 c } be a set of free generators of an algebra in R c .Let {p ξ : ξ < 2 c } be a set of free generators spanning an algebra in APES ∪ {0} (in fact, we could replace APES by any strongly 2 c -algebrable family of nonmeasurable functions).Let h : R → R be a continuous nowhere approximately differentiable function.For ξ < 2 c we define G ξ : R 2 → R as follows For ξ 1 < ξ 2 < • • • < ξ k and polynomial P in k variables without constant term we have We need to show that G is weakly sup-measurable, non-measurable and is not sup-measurable (then clearly G is also non-zero).
We already know that F : Since the graph of h has measure zero, then G is also non-measurable.
Let us show that G is not sup-measurable.Consider G h (x) = G(x, h(x)) = p(x) where p(x) := P (p ξ 1 (x), . . ., p ξ k (x)) is almost perfectly everywhere surjective.As we have noticed in Section 2.9, almost perfectly everywhere surjective functions are non-measurable.Therefore G is not sup-measurable.
To finish the proof we need to check that G is weakly sup-measurable.To do this, we fix a continuous almost everywhere differentiable function g.Then Consider the set E := {x ∈ R : g(x) = h(x)}.As we have noticed in Section 2.10, E is a null set.This shows that G g and F g are equal on a set of full measure.We have shown in the proof of Theorem 5 that F g is measurable, and so is G g .Therefore G is weakly sup-measurable.
Corollary 7. Assume (A).The family of all weakly sup-measurable functions that are not sup-measurable is strongly 2 c -algebrable.
Theorem 8.The family of all non-measurable separately measurable functions is strongly 2 c -algebrable.
Proof.Let {h ξ : ξ < 2 c } denote a set of free generators of an algebra in R c .Let {A α : α < c} be a family described in Lemma 1 (for Y = R 2 ).Let A = α<c A α .For ξ < 2 c we define F ξ : R 2 → R as follows For ξ 1 < ξ 2 < • • • < ξ k and polynomial P in k variables without constant term we have Let us show the F is non-measurable.There exists β < c such that Therefore F −1 (P (h ξ 1 (β), . . ., h ξ k (β))) has positive outer measure (as a superset of A β ) and null vertical sections (as a subset of A), so, by Fubini's Theorem, it is non-measureable.Consequently, F is non-measurable.In particular, F is non-zero.
Since each vertical and horizontal section of A has at most two elements and {(x, y) : F (x, y) = 0} ⊆ A, then, using what we observed in Section 2.3, we get that F is separately measurable.
Theorem 9.The family of all non-measurable functions F : R 2 → R whose all vertical and horizontal sections are Darboux Baire one is strongly c-algebrable.
Proof.Here we follow the notation from Section 2.11.Let {A α : α < c} be a family described in Lemma 1 for Y = B × B Let h : X → (0, 1] be defined as follows where {r α : α < c} is a one-to-one enumeration of (0, 1].We will show that the composition f • F h with any exponential like function f is a non-measurable function with Darboux Baire one sections, which implies strong c-algebrability of the considered family (see Section 2.12).
Indeed, let y ∈ R and f be any exponential like function.Note that is a Darboux Baire one as a composition of F h (•, y) with a continuous function.Similarly for vertical sections.Now choose β < c such that f (r β ) = f (0).This can be done because an exponential like function is not constant on any open interval, by the identity theorem for analytic functions.
has full outer measure (in B × B) and null sections.According to Fubini's Theorem, this set is nonmeasurable.So f • F h is non-measurable.
Theorem 10.Assume cov(N ) = add(N ).Then the family of all non-measurable functions having all vertical sections approximately continuous and all horizontal sections measurable, is strongly 2 c -algebrable.
There exists β < c such that Note that the absolute value of the first integral is not greater than while the second integral is infinite and has the same sign as P (h ξ 1 (β), h ξ 2 (β), . . ., h ξ k (β)).So R F (x, y)dy is infinite for x's from the Bernstein set B β .Therefore, the iterated integral R R F (x, y)dy dx is not zero, and, according to Fubini's Theorem, F is non-measurable.
Theorem 11.The family of sup-Jones functions is 2 c -lineable.
Proof.Let L n be the family of all linear functionals defined on R n .Let Note that the cardinality of L is continuum.Let K be a family of all partial real continuous functions with perfect domain and F be a family of all continuous functions.Note that the cardinality of K × F × L is continuum.Let K × F × L = {(g α , f α , l α , p α ) : α < c}.Formally we should write (g α , f α , (l α , p α )) but we omit the inner parentheses for clarity.For each α < c, let K α be the domain of g α and let x α ∈ K α \({f ξ (x ξ ) : ξ < α} ∪ {x ξ : ξ < α}).For an element l α in L n , we find − → x α ∈ R n such that l α ( − → x α ) = g α (x α ).Note that p α ∈ n ω is continuous (as a mapping between two discrete spaces), so we can consider its continuous extension p α : βω → n.
Note that if F is sup-Jones, then F 2 is not.Therefore the family of all sup-Jones functions is not 1-algebrable.We can modify the definition of sup-Jones functions to obtain strong 2 calgebrability.We say that F : R 2 → R is symmetric sup-Jones function if for every continuous function f : R → R and every continuous real valued function g defined on a perfect subset of R, there exist x, y in the domain of g such that F (x, f (x)) ∈ {g(x), −g(x)} and F (f (y), y) ∈

2. 11 .
Grande's construction of non-measurable function with Darboux Baire one sections.In[14] Lipiński constructed an example of a non-measurable function F : R 2 → R whose all vertical and horizontal sections are Darboux Baire one functions.Another such construction is due to Grande [10,Theorem 2].The paper is written in French and is therefore not easily accessible.Here we present Grande's construction, slightly modified for our purposes.The difference is this.The function h : X → (0, 1] used below was constant and equal to 1 in Grande's original construction.Let C ⊆ [0, 1] be a Cantor set of positive measure with 0, 1 ∈ C. Let a 0 = 0, b 0 = 1 and {(a n , b n ) : n ≥ 1} be an enumeration of the gaps.Defineg(x) = g n (x) if x ∈ (a n , b n ) for some n ≥ 1, 0otherwise, where g n : (a n , b n ) → (0, 1], n ≥ 1 are continuous surjections onto (0, 1], with lim x→a + n g n (x) = lim x→b − n g n (x) = 0. Due to the density of the gaps in C, any modification of the function g on C with values in [0, 1] preserves the intermediate value property.Let B ⊆ C \ n≥0 {a n , b n } be a closed set with positive measure. 2