For , take the matrix whose leading block is and whose other entries are zero. Its square has leading block , soThis contradicts the positive definiteness required of an inner product. Even the nonzero matrix unit has .
The printed assertion has an exception: when , is an inner product on . Thus the requested failure requires , a restriction absent from the printed question.
Articles by others on the same topic
There are currently no matching articles.