zbMATH — the first resource for mathematics

The topological product structure of systems of Lebesgue spaces. (English) Zbl 0734.46013
We consider the Banach spaces \(\ell^ p\) and for \(q<p\) the subspace \(\ell^ p_ q\) of \(\ell^ p\) consisting of q-summable sequences. According to the Anderson-Kadec theorem every \(\ell^ p\) is homeomorphic to the countable product of lines \({\mathbb{R}}^ N\). If A is a countable infinite set then we define the following subspaces of the topological Hilbert space \({\mathbb{R}}^ A:\Sigma\) (A) consists of all bounded \(x=(x_ a)_{a\in A}\) in \({\mathbb{R}}^ A\) and \(\sigma\) (A) consists of all \(x\in {\mathbb{R}}^ A\) such that \(x_ a=0\) for all but finitely many \(a\in A\). It is easily seen that every \(\ell^ p_ q\) is a so-called \(\sigma\) Z-set in \(\ell^ p\) and one may expect that \(\ell^ p_ q\) is a Z-absorber, i.e. the pair \((\ell^ p,\ell^ p_ q)\) is homeomorphic to the pairs \(({\mathbb{R}}^ N\times {\mathbb{R}}^ N,{\mathbb{R}}^ N\times \Sigma (N))\) and \(({\mathbb{R}}^ N\times {\mathbb{R}}^ N,{\mathbb{R}}^ N\times \sigma (N))\). This leads to the following defnitions. Let \(p\in (0,\infty]\) and let A be a countable dense subset of the interval (0,p). If \(q\in (0,p)\) then we have \[ Z^ p_ q={\mathbb{R}}^{(0,q]\cap A}\times \Sigma ((q,p)\cap A)\subset {\mathbb{R}}^ A\text{ and } \zeta^ p_ q={\mathbb{R}}^{(0,q]\cap A}\times \sigma ((q,p)\cap A)\subset {\mathbb{R}}^ A. \] The main result is that if B is an arbitrary countable dense subset of (0,p) then there exist homeomorphisms \(\alpha\) and \(\beta\) from \({\mathbb{R}}^ A\) onto \(\ell^ p\) such that for every \(q\in B\), \[ \alpha (Z^ p_ q)=\ell^ p_ q\text{ and } \beta (\zeta^ p_ q)=\ell^ p_ q. \] This means that the connection is established between the structure that the system of subspaces \(\ell^ p_ q\) puts on the space \(\ell^ p\) and a structure that finds its origin in the underlying topological product.
Similar results are obtained for the function spaces \(L^ p\).
Reviewer: J.J.Dijkstra

46B45 Banach sequence spaces
46A45 Sequence spaces (including Köthe sequence spaces)
46B25 Classical Banach spaces in the general theory
Full Text: DOI EuDML
[1] Anderson, R.D.: Hilbert space is homeomorphic to the countable infinite product of lines. Bull. Am. Math. Soc.72, 515-519 (1966) · Zbl 0137.09703 · doi:10.1090/S0002-9904-1966-11524-0
[2] Banach, S.: Th?orie des op?rations lin?aires. Warsaw: PWN 1932 · Zbl 0005.20901
[3] Bessaga, C., Pelzy?ski, A.: Selected topics in infinite-dimensional topology. Warsaw: PWN 1975 · Zbl 0304.57001
[4] Dijkstra, J.J., Dobrowolski, T., Marciszewski, W., Mill, J. van, Mogilski, J.: Recent classification and characterization results in geometric topology. Bull. Am. Math. Soc.22, 277-283 (1990) · Zbl 0713.57011 · doi:10.1090/S0273-0979-1990-15887-2
[5] Dijkstra, J.J., Mill, J. van, Mogilski, J.: The space of infinite-dimensional compacta and other topological copies of (l f 2 )?. Pac. J. Math. (to appear) · Zbl 0786.54012
[6] Dobrowolski, T., Mogilski, J.: Certain sequence and function spaces homeomorphic to the countable product ofl f 2 . J. Lond. Math. Soc. (to appear) · Zbl 0783.46009
[7] Fr?chet, M.: Les espaces abstraits. Paris: Hermann 1928 · JFM 54.0614.02
[8] Kadec, M.I.: A proof of topological equivalence of all separable infinite-dimensional Banach spaces (Russian). Funkts. Anal. Prilozh.1, 53-62 (1967) · doi:10.1007/BF01075865
[9] Kalton, N.J., Peck, N.T., Roberts, J.W.: AnF-space sampler (Lond. Math. Soc. Lect. Note Ser. 89). Cambridge: Cambridge University Press 1984 · Zbl 0556.46002
[10] Toru?czyk, H.: Concerning locally homotopy negligible sets and characterization ofl 2-manifolds. Fundam. Math.101, 93-110 (1978)
[11] Toru?czyk, H.: Characterizing Hilbert space topology. Fundam. Math.111, 247-262 (1981) · Zbl 0468.57015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.