A Hilbert space characterization among function spaces
type: Item
instance of: scholarly article
title: A Hilbert space characterization among function spaces
zbMATH Open document ID: 0863.46018
DOI: 10.1007/BF01904269
published in: Analysis Mathematica
publication date: 1997-06-03T00:00:00Z
review text: A Banach space \(E\) of measurable functions on the interval \([0,1]\) is said to be rearrangement invariant provided that, (i) if \(|x(t)|\leq |y(t)|\) and \(y\) is in \(E\), then \(x\) is in \(E\) and \(|x|_E\leq|y|_E\), and, (ii) if \(x\) and \(y\) are equimeasurable functions and \(y\) is in \(E\), then \(x\) is in \(E\) and \(|x|_E=|y|_E\). Some examples of rearrangement invariant spaces (RI-spaces, for short) are the \(L_p\) and Orlicz spaces. Indeed, the inclusion \(L_\infty\subset E\subset L_1\) holds for any non-trivial RI-space \(E\), and \(|x|_1\leq|x|_E\leq|x|_\infty\) provided the norm on \(E\) is properly normalized. The projection \(P\) onto the constant functions, defined by \((Px)(t)=\int^1_0x(s)ds\) is a norm one operator from \(L_1\) into \(L_\infty\) and, hence, is also a bounded operator on every RI-space \(E\). One has \(|P|_E=1\) and \(1\leq|I-P|_E\leq 2\), where \(I\) is the identity operator on \(E\). The main result (Theorem 1) of the paper under review is that, if \(E\) is an RI-space for which \(|I-P|_E=1\), then \(E=L_2[0,1]\) and \(|x|_E=|x|_2\) for every \(x\) in \(E\). Notable among the auxiliary results used to prove the main theorem and Theorem 2, which says that, if \(X\) is a normed space of dimension at least 3 and if every triangle in \(X\) can be strictly separated from any closed bounded convex set disjoint from it by a hyperplane \(V\) for which there exists a norm one operator \(L:X\to X\) whose restriction to \(V\) is the identity, then \(X\) is a Hilbert space, and Lemma 5, which says that, if \(\{x_n\}\) is a bounded sequence in \(L_\infty\) with \(|x_n|_\infty\leq 1\) for all \(n\) and if \(E\) is a separable RI-space, then there is a subsequence \(n_k\) and some \(x_0\) in \(L_\infty\) with \(|x_0|_\infty\leq 1\) such that \(\{x_{n_k}\}\) converges to \(x_0\) weakly in \(E\). Along the way, the authors evoke a characterization of Hilbert spaces due to Garkavi and Klee, a convexity theorem of Lyapunov, and a reflexivity …
Mathematics Subject Classification ID: 46E20
Mathematics Subject Classification ID: 46E30
Mathematics Subject Classification ID: 46C15
zbMATH DE Number: 808260
zbMATH Keywords: Banach space of measurable functions
zbMATH Keywords: rearrangement invariant spaces
zbMATH Keywords: Orlicz spaces
zbMATH Keywords: projection
zbMATH Keywords: Hilbert space
zbMATH Keywords: separable RI-space
zbMATH Keywords: convexity theorem of Lyapunov
zbMATH Keywords: reflexivity theorem of Lozanovskii
author: Carlo Franchetti
author: E. M. Semenov
reviewed by: Timothy G. Feeman
MaRDI profile type: Publication
cites work: Characterizations of inner product spaces
cites work: Q3971243
cites work: A course on optimization and best approximation
cites work: Q4104377
cites work: SURJECTIVE ISOMETRIES ON REARRANGEMENT-INVARIANT SPACES
cites work: Period, index and potential \(\text Ш\)
cites work: Q5583892
full work available at URL: https://doi.org/10.1007/bf01904269
OpenAlex ID: W139952630
description: scientific article; zbMATH DE number 808260