Euclidean space as a manifold
Let be -dimensional Euclidean space, and let be the corresponding -dimensionalinner product space of translation
isometries
. Alternatively, we canconsider Euclidean space as an inner product space that has forgottenwhich point is its origin. Forgetting even more information, we havethe structure of as a differential manifold. We can obtain anatlas with just one coordinate chart, a Cartesian coordinate system which gives us a bijection between and . Thetangent bundle
is trivial, with Equivalently, every tangent space
. is isomorphicto .
We can retain a bit more structure, and consider as a Riemannianmanifold by equipping it with the metric tensor
We can also describe in a coordinate-free fashion as
Properties
- 1.
Geodesics
are straight lines in .
- 2.
The Christoffel symbols
vanish identically.
- 3.
The Riemann curvature tensor
vanish identically.
Conversely, we cancharacterize Eucldiean space as a connected, complete Riemannianmanifold with vanishing curvature and trivial fundamental group.