リーマン多様体
Every tangent space of a pseudo-Riemannian manifold is a pseudo-Euclidean vector space.