English

Subspaces of maximal dimension contained in $L_p(\Omega) - \bigcup\limits_{q<p} L_q (\Omega)$

Functional Analysis 2015-10-02 v2

Abstract

Let (Ω,Σ,μ)(\Omega,\Sigma,\mu) be a measure space and 1<p<+1< p < +\infty. In this paper we show that, under quite general conditions, the set Lp(Ω)1q<pLq(Ω)L_{p}(\Omega) - \bigcup\limits_{1 \leq q < p}L_{q}(\Omega) is maximal spaceable, that is, it contains (except for the null vector) a closed subspace FF of Lp(Ω)L_{p}(\Omega) such that dim(F)=dim(Lp(Ω))\dim(F) = \dim(L_{p}(\Omega)). We also show that if those conditions are not fulfilled, then even the larger set Lp(Ω)Lq(Ω)L_p(\Omega) - L_q(\Omega), 1q<p1 \leq q < p, may fail to be maximal spaceable. The aim of the results presented here is, among others, to generalize all the previous work (since the 1960's) related to the linear structure of the sets Lp(Ω)Lq(Ω)L_{p}(\Omega) - L_{q}(\Omega) with q<pq < p and Lp(Ω)1q<pLq(Ω)L_{p}(\Omega) - \bigcup\limits_{1 \leq q < p}L_{q}(\Omega).

Keywords

Cite

@article{arxiv.1204.2170,
  title  = {Subspaces of maximal dimension contained in $L_p(\Omega) - \bigcup\limits_{q<p} L_q (\Omega)$},
  author = {G. Botelho and D. Cariello and V. V. Fávaro and D. Pellegrino and J. B. Seoane-Sepúlveda},
  journal= {arXiv preprint arXiv:1204.2170},
  year   = {2015}
}

Comments

This new version contains the solution to a conjecture presented in the first version of the manuscript