Which boxes does an invertible operator keep as boxes, and how does the singular value decomposition pick them out?
Loading…
Parallelepipeds and their images
Define with coefficients in , then derive for invertible from linearity.
Boxes
Define a box , and use on the unit square to record that a box can map to a non-box.
Theorem: boxes along stay boxes
From the singular value decomposition, prove , recording that each .
The diamond becomes a rectangle
Carry out the singular value decomposition of and apply the theorem to the diamond , checking the image corners directly.