nLab Riemannian manifold

Context

Differential geometry

differential geometry

synthetic differential geometry

Applications

Manifolds and cobordisms

manifolds and cobordisms

Theorem

Riemannian geometry

Riemannian geometry

Contents

Definition

A Riemannian manifold is a smooth manifold equipped with a Riemannian metric.