微分幾何学におけるリーマン多様体(リーマンたようたい、英: Riemannian manifold)とは、可微分多様体のうちその各点に基本計量テンソル g が与えられるものを言う。ベルンハルト・リーマンによって導入された。 リーマン多様体の考え方は1828年にカール・フリードリヒ・ガウスが証明した『Theorema Egregium』までさかのぼる。この定理は曲面の曲率(厳密にはガウス曲率)が、曲面が三次元空間にどのように埋め込まれるかに依存せず、単に角度や長さを定める計量テンソルにのみ依存するというものである。ガウスの弟子であったリーマンはガウスの定理を多様体と呼ばれる高次元空間に拡張した。この応用として、アルベルト・アインシュタインが相対性理論においてリーマン多様体の考え方を利用している。 リーマン距離とは多様体上の各点に与えられた計量テンソルにより、点と点を結ぶ距離を多様化したもので