Glossary of Riemannian and metric geometry

﻿
Glossary of Riemannian and metric geometry

This is a glossary of some terms used in Riemannian geometry and metric geometry &mdash; it doesn't cover the terminology of differential topology. The following articles may also be useful. These either contain specialised vocabulary or provide more detailed expositions of the definitions given below.

* Connection
* Curvature
* Metric space
* Glossary of general topology
* Glossary of differential geometry and topology
* List of differential geometry topics

Unless stated otherwise, letters "X", "Y", "Z" below denote metric spaces, "M", "N" denote Riemannian manifolds, |"xy"| or $|xy|_X$ denotes the distance between points "x" and "y" in "X". Italic "word" denotes a self-reference to this glossary.

"A caveat": many terms in Riemannian and metric geometry, such as "convex function", "convex set" and others, do not have exactly the same meaning as in general mathematical usage.

__NOTOC__

A

Alexandrov space a generalization of Riemannian manifolds with upper, lower or integral curvature bounds (the last one works only in dimension 2)

Almost flat manifold

Arc-wise isometry the same as "path isometry".

B

Baricenter, see "center of mass".

bi-Lipschitz map. A map $f:X o Y$ is called bi-Lipschitz if there are positive constants "c" and "C" such that for any "x" and "y" in "X":$c|xy|_Xle|f\left(x\right)f\left(y\right)|_Yle C|xy|_X$

Busemann function given a "ray", γ : [0, ∞)→"X", the Busemann function is defined by:$B_gamma\left(p\right)=lim_\left\{t oinfty\right\}\left(|gamma\left(t\right)p|-t\right)$

C

Cartan–Hadamard theorem is the statement that a connected, simply connected complete Riemannian manifold with non-positive sectional curvature is diffeomorphic to Rn via the exponential map; for metric spaces, the statement that a connected, simply connected complete geodesic metric space with non-positive curvature in the sense of Alexandrov is a (globally) CAT(0) space.

Center of mass. A point "q" ∈ "M" is called the center of mass of the points $p_1,p_2,dots,p_k$ if it is a point of global minimum of the function

:$f\left(x\right)=sum_i |p_ix|^2$

Such a point is unique if all distances $|p_ip_j|$ are less than "radius of convexity".

Christoffel symbol

Collapsing manifold

Complete space

Completion

Conformal map is a map which preserves angles.

Conformally flat a "M" is conformally flat if it is locally conformally equivalent to a Euclidean space, for example standard sphere is conformally flat.

Conjugate points two points "p" and "q" on a geodesic $gamma$ are called conjugate if there is a Jacobi field on $gamma$ which has a zero at "p" and "q".

Convex function. A function "f" on a Riemannian manifold is a convex if for any geodesic $gamma$ the function $fcircgamma$ is convex. A function "f" is called $lambda$-convex if for any geodesic $gamma$ with natural parameter $t$, the function $fcircgamma\left(t\right)-lambda t^2$ is convex.

Convex A subset "K" of a Riemannian manifold "M" is called convex if for any two points in "K" there is a "shortest path" connecting them which lies entirely in "K", see also "totally convex".

Cotangent bundle

Covariant derivative

D

Diameter of a metric space is the supremum of distances between pairs of points.

Developable surface is a surface isometric to the plane.

Dilation of a map between metric spaces is the infimum of numbers "L" such that the given map is "L"-Lipschitz.

E

Exponential map

F

Finsler metric

First fundamental form for an embedding or immersion is the pullback of the metric tensor.

G

Geodesic is a curve which locally minimizes distance.

Geodesic flow is a flow on a tangent bundle "TM" of a manifold "M", generated by a vector field whose trajectories are of the form $\left(gamma\left(t\right),gamma\text{'}\left(t\right)\right)$ where $gamma$ is a geodesic.

Gromov-Hausdorff convergence

Geodesic metric space is a metric space where any two points are the endpoints of a minimizing geodesic.

H

Hadamard space is a complete simply connected space with nonpositive curvature.

Horosphere a level set of "Busemann function".

I

Injectivity radius The injectivity radius at a point "p" of a Riemannian manifold is the largest radius for which the exponential map at "p" is a diffeomorphism. The injectivity radius of a Riemannian manifold is the infimum of the injectivity radii at all points.

For complete manifolds, if the injectivity radius at "p" is a finite number "r", then either there is a geodesic of length 2"r" which starts and ends at "p" or there is a point "q" conjugate to "p" (see conjugate point above) and on the distance "r" from "p". For a closed Riemannian manifold the injectivity radius is either half the minimal length of a closed geodesic or the minimal distance between conjugate points on a geodesic.

Infranil manifold Given a simply connected nilpotent Lie group "N" acting on itself by left multiplication and a finite group of automorphisms "F" of "N" one can define an action of semidirect product $N times F$ on "N". A compact factor of "N" by subgroup of $N times F$ acting freely on "N" is called "infranil manifold".Infranil manifolds are factors of nil manifolds by finite group (but the converse fails).

Isometry is a map which preserves distances.

Intrinsic metric

J

Jacobi field A Jacobi field is a vector field on a geodesic γ which can be obtained on the following way: Take a smooth one parameter family of geodesics $gamma_ au$ with $gamma_0=gamma$, then the Jacobi field is described by:$J\left(t\right)=partialgamma_ au\left(t\right)/partial au|_\left\{ au=0\right\}$.

Jordan curve

K

Killing vector field

L

Length metric the same as "intrinsic metric".

Levi-Civita connection is a natural way to differentiate vector field on Riemannian manifolds.

Lipschitz convergence the convergence defined by Lipschitz metric.

Lipschitz distance between metric spaces is the infimum of numbers "r" such that there is a bijective "bi-Lipschitz" map between these spaces with constants exp(-"r"), exp("r").

Lipschitz map

Logarithmic map is a right inverse of Exponential map.

M

Mean curvature

Metric ball

Metric tensor

Minimal surface is a submanifold with (vector of) mean curvature zero.

N

Natural parametrization is the parametrization by length.

Net. A sub set "S" of a metric space "X" is called $epsilon$-net if for any point in "X" there is a point in "S" on the distance $leepsilon$. This is distinct from topological nets which generalise limits.

Nil manifolds: the minimal set of manifolds which includes a point, and has the following property: any oriented $S^1$-bundle over a nil manifold is a nil manifold. It also can be defined as a factor of a connected nilpotent Lie group by a lattice.

Normal bundle: associated to an imbedding of a manifold "M" into an ambient Euclidean space $\left\{mathbb R\right\}^N$, the normal bundle is a vector bundle whose fiber at each point "p" is the orthogonal complement (in $\left\{mathbb R\right\}^N$) of the tangent space $T_pM$.

Nonexpanding map same as "short map"

P

Parallel transport

Polyhedral space a simplicial complex with a metric such that each simplex with induced metric is isometric to a simplex in Euclidean space.

Principal curvature is the maximum and minimum normal curvatures at a point on a surface.

Principal direction is the direction of the principal curvatures.

Path isometry

Proper metric space is a metric space in which every closed ball is compact. Every proper metric space is complete.

Q

Quasigeodesic has two meanings; here we give the most common. A map $f: extbf\left\{R\right\} o Y$ is called quasigeodesic if there are constants $K > 0$ and $C ge 0$ such that :$\left\{1over K\right\}d\left(x,y\right)-Cle d\left(f\left(x\right),f\left(y\right)\right)le Kd\left(x,y\right)+C.$ Note that a quasigeodesic is not necessarily a continuous curve.

Quasi-isometry. A map $f:X o Y$ is called a quasi-isometry if there are constants $K ge 1$ and $C ge 0$ such that :$\left\{1over K\right\}d\left(x,y\right)-Cle d\left(f\left(x\right),f\left(y\right)\right)le Kd\left(x,y\right)+C.$ and every point in "Y" has distance at most "C" from some point of "f"("X").Note that a quasi-isometry is not assumed to be continuous, for example any map between compact metric spaces is a quasi isometry. If there exists a quasi-isometry from X to Y, then X and Y are said to be quasi-isometric.

R

Radius of metric space is the infimum of radii of metric balls which contain the space completely.

Radius of convexity at a point "p" of a Riemannian manifold is the largest radius of a ball which is a "convex" subset.

Ray is a one side infinite geodesic which is minimizing on each interval

Riemann curvature tensor

Riemannian manifold

Riemannian submersion is a map between Riemannian manifolds which is submersion and "submetry" at the same time.

S

Second fundamental form is a quadratic form on the tangent space of hypersurface, usually denoted by II, an equivalent way to describe the "shape operator" of a hypersurface, :$II\left(v,w\right)=langle S\left(v\right),w angle$It can be also generalized to arbitrary codimension, in which case it is a quadratic form with values in the normal space.

Shape operator for a hypersurface "M" is a linear operator on tangent spaces, "S""p": "T""p""M"→"T""p""M". If "n" is a unit normal field to "M" and "v" is a tangent vector then :$S\left(v\right)=pm abla_\left\{v\right\}n$ (there is no standard agreement whether to use + or − in the definition).

Short map is a distance non increasing map.

Smooth manifold

Sol manifold is a factor of a connected solvable Lie group by a lattice.

Submetry a short map "f" between metric spaces called submetry if for any point "x" and radius "r" we have that image of metric "r"-ball is an "r"-ball, i.e.:$f\left(B_r\left(x\right)\right)=B_r\left(f\left(x\right)\right) ,!$

Sub-Riemannian manifold

Systole. The "k"-systole of "M", $syst_k\left(M\right)$, is the minimal volume of "k"-cycle nonhomologous to zero.

T

Tangent bundle

Totally convex. A subset "K" of a Riemannian manifold "M" is called totally convex if for any two points in "K" any geodesic connecting them lies entirely in "K", see also "convex".

Totally geodesic submanifold is a "submanifold" such that all "geodesics" in the submanifold are also geodesics of the surrounding manifold.

W

Word metric on a group is a metric of the Cayley graph constructed using a set of generators.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Riemannian geometry — Elliptic geometry is also sometimes called Riemannian geometry. Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a Riemannian metric , i.e. with an inner product on the tangent… …   Wikipedia

• Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

• Glossary of differential geometry and topology — This is a glossary of terms specific to differential geometry and differential topology. The following two glossaries are closely related: *Glossary of general topology *Glossary of Riemannian and metric geometry.See also: *List of differential… …   Wikipedia

• Line (geometry) — Three lines the red and blue lines have the same slope, while the red and green ones have same y intercept …   Wikipedia

• List of differential geometry topics — This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… …   Wikipedia

• Differential geometry — A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines. Differential geometry is a mathematical discipline that uses the techniques of differential and integral calculus, as well as… …   Wikipedia

• Cartan–Hadamard theorem — The Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a… …   Wikipedia

• List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

• Теорема о душе — Теорема о душе  теорема в римановой геометрии, в значительной степени сводящая изучение полных многообразий неотрицательной секционной кривизны к компактному случаю. Чигер (англ.) и Громол (англ.) доказали теорему в 1972, обобщив… …   Википедия

• Lists of mathematics topics — This article itemizes the various lists of mathematics topics. Some of these lists link to hundreds of articles; some link only to a few. The extremely long list of mathematics articles contains all mathematical articles in alphabetical order.… …   Wikipedia