Formalization of Orthogonal Complements of Normed Spaces

Published Online: Dec 31, 2024

Page range: 133 - 139

Received: Nov 28, 2024

DOI: https://doi.org/10.2478/forma-2024-0010

Keywords

dual space, orthonormal complement, minimum norm problem

© 2024 Hiroyuki Okazaki, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.