Let n⩾1 be an integer.
(a) Show that Sn={x∈Rn+1:x12+⋯+xn+12=1} defines a submanifold of Rn+1 and identify explicitly its tangent space TxSn for any x∈Sn.
(b) Show that the matrix group SO(n)⊂Rn2 defines a submanifold. Identify explicitly the tangent space TRSO(n) for any R∈SO(n).
(c) Given v∈Sn, show that the set Sv={R∈SO(n+1):Rv=v} defines a submanifold Sv⊂SO(n+1) and compute its dimension. For v=w, is it ever the case that Sv and Sw are transversal?
[You may use standard theorems from the course concerning regular values and transversality.]