Lineability and additivity in \(\mathbb R^{\mathbb R}\) (Q982593)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lineability and additivity in \(\mathbb R^{\mathbb R}\)
scientific article

    Statements

    Lineability and additivity in \(\mathbb R^{\mathbb R}\) (English)
    0 references
    7 July 2010
    0 references
    In recent years the question whether there exists an infinite dimensional vector space of functions \({\mathbb R}\to {\mathbb R}\) with given properties (e.g. nowhere differentiability or everywhere surjectivity) has been studied by various authors. A quantitative version of this question is expressed by the notion of \textit{lineability}: A familiy of functions \({\mathcal F}\subseteq {\mathbb R}^{\mathbb R}\) is called \(\kappa\)-lineable if it contains a vector space of dimension \(\kappa\) where \(\kappa\) is a cardinal number. In the present paper, the authors uncover a connection between lineability and another, seemingly unconnected notion, the \textit{additivity} of \({\mathcal F}\). The additivity of \({\mathcal F}\) is the cardinal number \({\mathcal A}({\mathcal F})\) satisfying \[ {\mathcal A}({\mathcal F}) = \min\left(\{\text{card}\,F:\;F\subseteq {\mathbb R}^{\mathbb R},\; \forall \varphi\in{\mathbb R}^{\mathbb R}:\;\varphi+F \not\subseteq {\mathcal F}\} \cup \{(2^c)^+\}\right) \] where \((2^c)^+\) is the successor cardinal of \(2^c\) with \(c\) as the cardinality of the continuum. In the first half of the paper, the authors prove that if \({\mathcal F}\) is such that \(\alpha {\mathcal F} \subseteq {\mathcal F}\) for all \(\alpha \in {\mathbb R}\) and if \(c\leq {\mathcal A}({\mathcal F}) \leq 2^c\), then \({\mathcal F}\) is \({\mathcal A}({\mathcal F})\)-lineable. This is the previously unknown connection between lineability and additivity. The authors also give several applications of this result (e.g., for everywhere surjective or for almost continuous functions). In the second half of the paper, the authors investigate a specific class \(J({\mathbb R})\) of ``pathological'' functions, the so-called \textit{Jones functions}. These are functions \(f:{\mathbb R}\to{\mathbb R}\) which have graph\(\,f \cap K \neq \emptyset\) for every closed set \(K\subseteq {\mathbb R}^2\) with uncountable projection on the \(x\) axis. The authors give a characterization of Jones functions, they investigate their relations to other, similar classes of functions, and they compute the additivity and prove the lineability of \(J({\mathbb R})\).
    0 references
    lineability
    0 references
    additivity
    0 references
    Jones functions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers