Subspaces of maximal dimension contained in Lp(Ω)−q<p⋃Lq(Ω)
Let (Ω,Σ,μ) be a measure space and 1<p<+∞. In this paper we show that, under quite general conditions, the set Lp(Ω)−1≤q<p⋃Lq(Ω) is maximal spaceable, that is, it contains (except for the null vector) a closed subspace F of Lp(Ω) such that dim(F)=dim(Lp(Ω)). We also show that if those conditions are not fulfilled, then even the larger set Lp(Ω)−Lq(Ω), 1≤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(Ω) with q<p and Lp(Ω)−1≤q<p⋃Lq(Ω).