The Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules (Q445855): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
In a normed space \(X\), by the Hahn-Banach theorem, a vector \(\xi\) is orthogonal to a vector \(\eta\) in the Birkhoff-James sense (that is, \(\|\xi+\lambda \eta \|\geq \| \xi\|\) for all \(\lambda \in \mathbb{C}\)) if and only if there is a norm one linear functional \(f\) on \(X\) such that \(f(\xi) = \|\xi\|\) and \(f(\eta) = 0\). Inspired by this fact, the authors characterize the Birkhoff-James orthogonality for elements of a Hilbert \(C^{\ast }\)-module in terms of states of the underlying \(C^{\ast }\)-algebra. They also characterize Hilbert modules in which the Birkhoff-James orthogonality coincides with the orthogonality with respect to the \(C^{\ast }\)-valued inner product by showing that it is the case only in Hilbert spaces. They characterize the norm triangle equality in terms of the Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules. They first show that the triangle equality \(\|\xi+\eta\|=\|\xi\|+\|\eta\|\) holds for two elements of a normed linear space exactly when \(\xi\) is Birkhoff-James-orthogonal to \(\|\eta\|\xi-\|\xi\|\eta\). They then show that the triangle equality \(\|x+y\|=\|x\|+\|y\|\) holds for elements \(x, y\) of a Hilbert \(C^{\ast }\)-module exactly when equalities in the triangle inequality \(\|\langle x,x\rangle+\langle x,y\rangle\| \leq \|\langle x,x\rangle\|+\|\langle x,y\rangle\|\) and the Cauchy-Schwarz inequality \(\|\langle x,y\rangle\|^2 \leq \|\langle x,x\rangle\|\,\|\langle y,y\rangle\|\) are attained. Related to the Birkhoff-James orthogonality and the norm-parallel relation \(||\) (\(x||y\) means \(\|\xi+\lambda \eta\|=\|\xi\|+\|\eta\|\) for some unit \(\lambda \in \mathbb{C}\)), they consider a special class of elementary operators acting on a \(C^{\ast }\)-algebra which contains the ideal of all compact Hilbert space operators. | |||
Property / review text: In a normed space \(X\), by the Hahn-Banach theorem, a vector \(\xi\) is orthogonal to a vector \(\eta\) in the Birkhoff-James sense (that is, \(\|\xi+\lambda \eta \|\geq \| \xi\|\) for all \(\lambda \in \mathbb{C}\)) if and only if there is a norm one linear functional \(f\) on \(X\) such that \(f(\xi) = \|\xi\|\) and \(f(\eta) = 0\). Inspired by this fact, the authors characterize the Birkhoff-James orthogonality for elements of a Hilbert \(C^{\ast }\)-module in terms of states of the underlying \(C^{\ast }\)-algebra. They also characterize Hilbert modules in which the Birkhoff-James orthogonality coincides with the orthogonality with respect to the \(C^{\ast }\)-valued inner product by showing that it is the case only in Hilbert spaces. They characterize the norm triangle equality in terms of the Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules. They first show that the triangle equality \(\|\xi+\eta\|=\|\xi\|+\|\eta\|\) holds for two elements of a normed linear space exactly when \(\xi\) is Birkhoff-James-orthogonal to \(\|\eta\|\xi-\|\xi\|\eta\). They then show that the triangle equality \(\|x+y\|=\|x\|+\|y\|\) holds for elements \(x, y\) of a Hilbert \(C^{\ast }\)-module exactly when equalities in the triangle inequality \(\|\langle x,x\rangle+\langle x,y\rangle\| \leq \|\langle x,x\rangle\|+\|\langle x,y\rangle\|\) and the Cauchy-Schwarz inequality \(\|\langle x,y\rangle\|^2 \leq \|\langle x,x\rangle\|\,\|\langle y,y\rangle\|\) are attained. Related to the Birkhoff-James orthogonality and the norm-parallel relation \(||\) (\(x||y\) means \(\|\xi+\lambda \eta\|=\|\xi\|+\|\eta\|\) for some unit \(\lambda \in \mathbb{C}\)), they consider a special class of elementary operators acting on a \(C^{\ast }\)-algebra which contains the ideal of all compact Hilbert space operators. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mohammad Sal Moslehian / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46L08 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6072640 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Birkhoff-James orthogonality | |||
Property / zbMATH Keywords: Birkhoff-James orthogonality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(C^{\ast }\)-algebra | |||
Property / zbMATH Keywords: \(C^{\ast }\)-algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hilbert \(C^{\ast }\)-module | |||
Property / zbMATH Keywords: Hilbert \(C^{\ast }\)-module / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangle inequality | |||
Property / zbMATH Keywords: triangle inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
state | |||
Property / zbMATH Keywords: state / rank | |||
Normal rank |
Revision as of 10:01, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules |
scientific article |
Statements
The Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules (English)
0 references
27 August 2012
0 references
In a normed space \(X\), by the Hahn-Banach theorem, a vector \(\xi\) is orthogonal to a vector \(\eta\) in the Birkhoff-James sense (that is, \(\|\xi+\lambda \eta \|\geq \| \xi\|\) for all \(\lambda \in \mathbb{C}\)) if and only if there is a norm one linear functional \(f\) on \(X\) such that \(f(\xi) = \|\xi\|\) and \(f(\eta) = 0\). Inspired by this fact, the authors characterize the Birkhoff-James orthogonality for elements of a Hilbert \(C^{\ast }\)-module in terms of states of the underlying \(C^{\ast }\)-algebra. They also characterize Hilbert modules in which the Birkhoff-James orthogonality coincides with the orthogonality with respect to the \(C^{\ast }\)-valued inner product by showing that it is the case only in Hilbert spaces. They characterize the norm triangle equality in terms of the Birkhoff-James orthogonality in Hilbert \(C^{\ast }\)-modules. They first show that the triangle equality \(\|\xi+\eta\|=\|\xi\|+\|\eta\|\) holds for two elements of a normed linear space exactly when \(\xi\) is Birkhoff-James-orthogonal to \(\|\eta\|\xi-\|\xi\|\eta\). They then show that the triangle equality \(\|x+y\|=\|x\|+\|y\|\) holds for elements \(x, y\) of a Hilbert \(C^{\ast }\)-module exactly when equalities in the triangle inequality \(\|\langle x,x\rangle+\langle x,y\rangle\| \leq \|\langle x,x\rangle\|+\|\langle x,y\rangle\|\) and the Cauchy-Schwarz inequality \(\|\langle x,y\rangle\|^2 \leq \|\langle x,x\rangle\|\,\|\langle y,y\rangle\|\) are attained. Related to the Birkhoff-James orthogonality and the norm-parallel relation \(||\) (\(x||y\) means \(\|\xi+\lambda \eta\|=\|\xi\|+\|\eta\|\) for some unit \(\lambda \in \mathbb{C}\)), they consider a special class of elementary operators acting on a \(C^{\ast }\)-algebra which contains the ideal of all compact Hilbert space operators.
0 references
Birkhoff-James orthogonality
0 references
\(C^{\ast }\)-algebra
0 references
Hilbert \(C^{\ast }\)-module
0 references
triangle inequality
0 references
state
0 references