Riemannian geometry
has at least two meanings, one which described in this article and an other also called elliptic_geometry. ---- In differential_geometry, Riemannian geometry is the study of smooth manifolds with Riemannian_metrics; i.e. a choice of positive-definite quadratic_form on a manifold's tangent_spaces which varies smoothly from point to point. This gives in particular local ideas of angle, length of curves, and volume. From those some other global quantities can be derived, by integrating local contributions. It was first put forward in generality by Bernhard_Riemann in the nineteenth_century. As particular special cases there occur the two standard types (spherical_geometry and hyperbolic_geometry) of Non-Euclidean_geometry, as well as Euclidean_geometry itself. These are all treated on the same basis, as are a broad range of geometries whose metric properties vary from point to point. Any smooth manifold admits a Riemannian_metric and this additional structure often helps to solve problems of differential_topology. It also serves as an entry level for the more complicated structure of pseudo-Riemannian_manifolds, which (in dimension four) are the main objects of general_relativity theory. There is no easy introduction to Riemannian geometry. One should work quite a while to build some geometric intuition here; it is usually done by doing enormous amount of calculations. The following articles might serve as a rough introduction #Metric_tensor #Riemannian_manifold #Levi-Civita_connection #Curvature #Curvature_tensor. The following articles might be also useful: #List_of_differential_geometry_topics #Glossary_of_Riemannian_and_metric_geometryClassical theorems in Riemannian geometry
What follows is a non complete list of the most classical theorems in Riemannian geometry. The choice is made depending on its importance beauty and simplicity of formulation. The formulations given are far from being very exact or the most general. This list is oriented to those who already know the basic definitions and want to know what these definitions are about.General theorems
#Gauss-Bonnet_Theorem The integral of Gauss curvature on a compact 2-dimensional Riemannian manifold is equal to 2\pi\chi(M), here \chi(M) denotes the Euler_characteristic of ''M''. #Nash_embedding_theorems also called Fundamental Theorem of Riemannian geometry. They state that every Riemannian_manifold can be isometrically embedded in a Euclidean_space R''n''.Local to Global Theorems
In all of the following theorems we assume some local behavior of the space (usually formulated using curvature assumption) and get some information on the global structure of the space either some information on topologycal type of manifold or on behavior of point on "big" distances.=Pinched sectional_curvature
= #1/4-pinched Sphere Theorem. If ''M'' is a complete ''n''-dimensional Riemannian manifold with sectional_curvature strictly pinched between 1 and 4 then ''M'' is homeomorphic to ''n''-sphere. #Cheeger's Finiteness theorem. Given constants ''C'' and ''D'' there are only finitely many (up to diffeomorphism) compact ''n''-dimensional Riemannian manifolds with sectional_curvature |K|\le C and diameter \le D. #Gromov's almost flat manifolds. There is an \epsilon_n>0 such that if ''n''-dimensional Riemannian manifold has a metric with sectional_curvature .html">nil manifold.=Positive curvature
=Positive sectional_curvature
#Soul Theorem. if ''M'' is non-compact complete positively curved ''n''-dimensional Riemannian manifold then it is diffeomorphic to Rn.
#Gromov's Betti number theorem. There is a constant ''C=C(n)'' such that if ''M'' is a compact connected ''n''-dimensional Riemannian manifold with positive sectional curvature then sum of its Betti numbers is at most ''C''.
Positive Ricci_curvature
#Mayer's Theorem. If a compact Riemannian manifold has positive Ricci_curvature then it has finite fundamental_group.
#Splitting theorem. If a complete ''n''-dimensional Riemannian manifold has nonnegative Ricci curvature and a straight line (i.e. a geodesic which minimize distance on each interval) then it is isometric to a direct product of the real line and a complete (''n''-1)-dimensional Riemannian manifold has nonnegative Ricci curvature
#Bishop's inequality. the volume of a metric ball of radius ''r'' in a complete ''n''-dimensional Riemannian manifold manifold with positive Ricci curvature is at most as large as the volume of ball of the same radius ''r'' in Euclidean space.
#Gromov Compactness Theorem. The set of all Riemannian manifolds which with positive Ricci curvature and diameter at most ''D'' is pre-compact in Gromov-Hausdorff metric.
Scalar_curvature
# ''n''-dimensional torus does not admit a metric with positive Scalar_curvature.
#If injectivity radius of a compact ''n''-dimensional Riemannian manifold is \ge \pi then average scalar curvature is at most ''n''(''n''-1).
=Negative curvature
=Negative sectional_curvature
#For any two points of complete simply connected Riemannian manifold with nonpositive sectional_curvature are joint by unique geodesic.
#If ''M'' is a complete Riemannian manifold with negative sectional_curvature then any abelian subgroup of its fundamental_group of ''M'' is isomorphic to Z.
Negative Ricci_curvature
#Any compact Riemannian manifold with negative Ricci_curvature has discrete Isometry group.
#Any smooth manifold admits a Riemannian metric with negative Ricci curvature.
External Links
Original, History and Authors:
en-wikipedia-org/wiki/Riemannian geometry | History and Authors | Edit Content
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation. A copy of the license is included in the section entitled
"GNU Free Documentation License".
