Large function algebras with certain topological properties (Q2256697)

Summary: Let \(\mathcal F\) be a family of continuous functions defined on a compact interval. We give a sufficient condition so that \(\mathcal F \cup \{0\}\) contains a dense \(\mathfrak c\)-generated free algebra; in other words, \(\mathcal F\) is densely \(\mathfrak c\)-strongly algebrable. As an application we obtain dense \(\mathfrak c\)-strong algebrability of families of nowhere Hölder functions, Bruckner-Garg functions, functions with a dense set of local maxima and local minima, and nowhere monotonous functions differentiable at all but finitely many points. We also study the problem of the existence of large closed algebras within \(\mathcal F \cup \{0\}\), where \(\mathcal F \subset \mathbb R^X\) or \(\mathcal F \subset \mathbb C^X\). We prove that the set of perfectly everywhere surjective functions together with the zero function contains a \(2^{\mathfrak c}\)-generated algebra closed in the topology of uniform convergence, while it does not contain a nontrivial algebra closed in the pointwise convergence topology. We prove that an infinitely generated algebra which is closed in the pointwise convergence topology needs to contain two valued functions and infinitely valued functions. We give an example of such an algebra; namely, it was shown that there is a subalgebra of \(\mathbb R^{\mathbb R}\) with \(2^{\mathfrak c}\) generators which is closed in the pointwise topology and, for any function \(f\) in this algebra, there is an open set \(U\) such that \(f^{-1}(U)\) is a Bernstein set.