The topological product structure of systems of Lebesgue spaces
type: Item
instance of: scholarly article
title: The topological product structure of systems of Lebesgue spaces
zbMATH Open document ID: 0734.46013
DOI: 10.1007/BF01459258
author: Jan J. Dijkstra
author: Jerzy Mogilski
published in: Mathematische Annalen
publication date: 1991-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164831
review text: 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\).
Mathematics Subject Classification ID: 46B45
Mathematics Subject Classification ID: 46A45
Mathematics Subject Classification ID: 46B25
zbMATH DE Number: 4214709
zbMATH Keywords: topological product structure
zbMATH Keywords: Lebesgue sequence spaces
zbMATH Keywords: Anderson-Kadec theorem
MaRDI profile type: Publication
cites work: Hilbert space is homeomorphic to the countable infinite product of lines
cites work: Q4482954
cites work: Q4060144
cites work: Recent classification and characterization results in geometric topology
cites work: The space of infinite-dimensional compacta and other topological copies of \((l_ f^ 2)^ \omega\)
cites work: Certain Sequence and Function Spaces Homeomorphic to the Countable Product of l 2 f
cites work: Q3219291
cites work: Characterizing Hilbert space topology
OpenAlex ID: W2008277822
description: scientific article; zbMATH DE number 4214709