Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2023/4/b/i/solution

The curve-based tangent space at consists of velocities of smooth curves satisfying . For an arbitrary subset these velocities need not form a vector space; for a smooth submanifold they do, and this is its usual tangent space. This definition suffices for the direct computation at the identity.

New to topics? Read the docs here!