A characterization of real Hilbert spaces using the Bochnak complexification norm
type: Item
instance of: scholarly article
title: A characterization of real Hilbert spaces using the Bochnak complexification norm
zbMATH Open document ID: 1035.46016
author: J. Ferrera
author: Gustavo A. Muñoz
published in: Archiv der Mathematik
publication date: 2003-08-18T00:00:00Z
review text: Let \(E\) be a real Banach space. The algebraic complexification \(\tilde E\) of \(E\) is the tensor product \(E\otimes {\mathbb R}^2\), which identifies with \(E\oplus iE\). There are infinitely many ways to extend the norm on \(E\) to a complex complete norm on \(\tilde E\). A norm on \(\tilde E\) is a natural complexification norm for \(\| .\| _E\) if for every \(x,y\in E\), \(\| x\| _{\tilde E}=\| x\| _E\) and \(\| x+iy\| _{\tilde E}=\| x-iy\| _{\tilde E}\). The largest natural complexification norm on \(\tilde E\) is the projective tensor norm on \(E\otimes\ell_2^2\) which is called the Bochnak norm, denoted by \(\| .\| _B\). It was proved by \textit{G. A. Muñoz, Y. Sarantopoulos} and \textit{A. Tonge} [Stud. Math. 134, 1--33 (1999; Zbl 0945.46010)] that \[ \| x+iy\| _{B}\leq\inf_{t\in[0,2\pi]}\| x\cos t-y\sin t\| _E+\| x\sin t+y\cos t\| _E=B(x+iy). \] In the paper under review, the authors show that \(B\) coincides with the Bochnak norm (i.e., \(B\) is a natural complexification norm on \(\tilde E\)) if and only if \(E\) is a real Hilbert space.
reviewed by: Pascal Lefèvre
Mathematics Subject Classification ID: 46C15
Mathematics Subject Classification ID: 46B99
zbMATH DE Number: 1966462
zbMATH Keywords: Bochnak norm
zbMATH Keywords: real Hilbert space
zbMATH Keywords: complexification
MaRDI profile type: Publication
full work available at URL: s00013-003-0471-3
OpenAlex ID: W165420172
DOI: 10.1007/S00013-003-0471-3
description: scientific article; zbMATH DE number 1966462