Orthonormal pairs of operators
arXiv:2207.01965
Abstract
We consider pairs of operators , where is a Hilbert space, such that there exist a linear isometry from the span of into mapping into orthonormal vectors. We prove some necessary conditions for the existence of such an and determine all such pairs among commuting normal operators. Then we characterize all such pairs (in fact, we consider general sets instead of just pairs) under the additional requirement that is a complete isometry, when carries the column (or the row) operator space structure. We also metrically characterize elements in a C-algebra with orthogonal ranges.
17 pages