English

Large free linear algebras of real and complex functions

Rings and Algebras 2013-04-12 v1 General Topology

Abstract

Let XX be a set of cardinality κ\kappa such that κω=κ\kappa^\omega=\kappa. We prove that the linear algebra RX\mathbb{R}^X (or CX\mathbb{C}^X) contains a free linear algebra with 2κ2^\kappa generators. Using this, we prove several algebrability results for spaces CC\mathbb{C}^\mathbb{C} and RR\mathbb{R}^\mathbb{R}. In particular, we show that the set of all perfectly everywhere surjective functions f:CCf:\mathbb{C}\to\mathbb{C} is strongly 2c2^\mathfrak{c}-algebrable. We also show that the set of all functions f:RRf:\mathbb{R}\to\mathbb{R} whose sets of continuity points equals some fixed GδG_\delta set GG is strongly 2c2^\mathfrak{c}-algebrable if and only if RG\mathbb{R}\setminus G is c\mathfrak{c}-dense in itself.

Keywords

Cite

@article{arxiv.1212.4329,
  title  = {Large free linear algebras of real and complex functions},
  author = {Artur Bartoszewicz and Szymon Gł\cab and Adam Paszkiewicz},
  journal= {arXiv preprint arXiv:1212.4329},
  year   = {2013}
}