Algebrability and Riemann integrability of the composite function

Abstract

In this note we show that there exist a $2^\mathfrak{c}$-generated free algebra $\mathcal{S} \subset \mathbb{R}^\mathbb{R}$ of Riemann integrable functions and a free algebra $\mathcal{C} \subset \mathbb{R}^{[0,1]}$ of continuous functions, having $\mathfrak{c}$-generators, such that $r \circ c$ is not Riemann integrable for any $r \in \mathcal{S}$ and $c \in \mathcal{C}$. This result is the best possible one in terms of lineability within these families of functions and, at the same time, an improvement of a precious result (\cite[Theorem 2.7]{A}). In order to achieve our results we shall employ set theoretical tools such as the Fichtenholz-Kantorovich-Hausdorff theorem, Cantor-Smith-Volterra--type sets, and classical real analysis techniques.

Theorems & Definitions (10)

• Example 1.1
• Example 1.2
• Example 1.3
• Definition 2.1
• Theorem 2.2: Fichtenholz-Kantorovich-Hausdorff
• Lemma 2.3
• proof
• Remark 2.4
• Theorem 2.5
• proof