Publication:4529412
From MaRDI portal
zbMath0988.03093MaRDI QIDQ4529412
Fred Richman, Douglas S. Bridges, Peter M. Schuster
Publication date: 22 May 2002
Riesz representation theorem; bilinear forms; bounded operators; constructive mathematics; absolute values; polar decomposition; adjoints
03F60: Constructive and recursive analysis
47A05: General (adjoints, conjugates, products, inverses, domains, ranges, etc.)
47S30: Constructive operator theory
Related Items
Constructive closed range and open mapping theorems, Locating the range of an operator with an adjoint, Unique existence, approximate solutions, and countable choice., Kernels of seminorms in constructive analysis., Review on hermiticity of the volume operators in loop quantum gravity, Adjoints and the image of the ball