MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 13 characters in body

Unitary matrices preserve measure. A diagonal matrix of full rank is a Lesbesgue-Lesbesgue measurable transformation. Linear maps over the reals have a singular value decomposition.

show/hide this revision's text 1

Unitary matrices preserve measure. A diagonal matrix is a Lesbesgue-Lesbesgue measurable transformation. Linear maps over the reals have a singular value decomposition.