Riemannian manifolds
E3649
Riemannian manifolds are smooth manifolds equipped with an inner product on each tangent space that allows one to measure lengths, angles, and curvature in a curved geometric setting.
Aliases (5)
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
differential geometric object
→
geometric structure → mathematical object → |
| allows |
definition of curvature
→
definition of geodesics → measurement of angles between tangent vectors → measurement of areas and volumes → measurement of lengths of curves → |
| contrastsWith |
Finsler manifold
→
pseudo-Riemannian manifold → |
| definedAs |
smooth manifold equipped with an inner product on each tangent space
→
|
| enables |
definition of distance function
→
definition of divergence and Laplace–Beltrami operator → definition of gradient of functions → integration of scalar fields and differential forms → |
| field |
Riemannian geometry
→
differential geometry → |
| generalizes |
Euclidean space
→
curved surfaces → |
| hasComponent |
Levi-Civita connection
→
Riemann curvature tensor → metric tensor → tangent bundle → |
| hasDimension |
any positive integer
→
|
| hasHistoricalOrigin |
19th century
→
|
| hasPart |
Riemannian metric
→
smooth manifold → |
| hasProperty |
locally Euclidean as a topological space
→
positive-definite metric tensor → smooth structure → |
| hasVariant |
Einstein manifold
→
Kähler manifold → Riemannian surface → compact Riemannian manifold → complete Riemannian manifold → |
| introducedBy |
Bernhard Riemann
→
|
| namedAfter |
Bernhard Riemann
→
|
| requires |
smoothness of metric tensor
→
smoothness of transition maps → |
| specialCaseOf |
smooth manifold with additional structure
→
|
| studiedIn |
comparison geometry
→
global Riemannian geometry → spectral geometry → |
| usedIn |
general relativity
→
geometric analysis → global analysis → topology via metric methods → |