A characterization of real Hilbert spaces using the Bochnak complexification norm (Q1401628): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00013-003-0471-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W165420172 / rank | |||
Normal rank |
Latest revision as of 03:43, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of real Hilbert spaces using the Bochnak complexification norm |
scientific article |
Statements
A characterization of real Hilbert spaces using the Bochnak complexification norm (English)
0 references
18 August 2003
0 references
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.
0 references
Bochnak norm
0 references
real Hilbert space
0 references
complexification
0 references