About the exponential map $\exp: T_pM \to M$

49 Views Asked by At

This is somewhat pedantic, but when we talk about $\exp$ being a local diffeomorphism, what does it mean for $T_pM$ to carry an open set when it has no topology? Are we actually referring to the $TM$ instead?

1

There are 1 best solutions below

0
On BEST ANSWER

A finite dimensional vector space over $\mathbb R$ or $\mathbb C$ always has a canonical topology and analytic structure - the unique structure induced by any isomorphism with $\mathbb R^n$ or $\mathbb C^n$.