If and , the spectral theorem gives eigenvalues . Thus is orthogonal projection onto a line and
for a unit vector ; the only choices are and .
The smooth map , , has image and fibers . Near , restrict to the hemisphere ; there is one-to-one and has smooth inverse obtained by choosing the positive local unit eigenvector. Combining this with a chart of supplies two-dimensional local parametrizations. Hence is a two-dimensional submanifold, diffeomorphic to .
No. The set is closed and bounded in the finite-dimensional space , hence compact and nonempty. A global parametrization would be a homeomorphism from a nonempty open subset of onto this compact surface, but no nonempty open subset of is compact.

Articles by others on the same topic (0)

There are currently no matching articles.