For , take the matrix whose leading block is and whose other entries are zero. Its square has leading block , so
This 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 (0)

There are currently no matching articles.