PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] Riemann curvature tensor (Definition)

Let $\mathcal{X}$ denote the vector space of smooth vector fields on a smooth Riemannian manifold $(M,g)$ . Note that $\mathcal{X}$ is actually a $\mathcal{C}^\infty(M)$ module because we can multiply a vector field by a function to obtain another vector field. The Riemann curvature tensor is the tri-linear $\mathcal{C}^\infty$ mapping $$R:{\mathcal{X}}\times{\mathcal{X}}\times{\mathcal{X}}\to{\mathcal{X}},$$ which is defined by $$R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z$$ where $X,Y,Z\in\mathcal{X}$ are vector fields, where $\nabla$ is the Levi-Civita connection attached to the metric tensor $g$ , and where the square brackets denote the Lie bracket of two vector fields. The tri-linearity means that for every smooth $f\colon M\to\mathbb{R}$ we have $$fR(X,Y)Z=R(fX,Y)Z=R(X,fY)Z=R(X,Y)fZ.$$

In components this tensor is classically denoted by a set of four-indexed components ${R^i}_{jkl}$ . This means that given a basis of linearly independent vector fields $X_i$ we have $$R(X_j,X_k)X_l=\sum_s {R^s}_{jkl}X_s.$$

In a two dimensional manifold it is known that the Gaussian curvature it is given by $$K_g=\frac{R_{1212}}{g_{11}g_{22}-{g_{12}}^2}$$




Anyone with an account can edit this entry. Please help improve it!

"Riemann curvature tensor" is owned by juanman. [ full author list (3) ]
(view preamble | get metadata)

View style:

See Also: curvature, connection, analytics and formal logics in meta-mathematics


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: Gaussian curvature, manifold, linearly independent, basis, tensor, components, Lie bracket, square, metric tensor, Levi-Civita connection, mapping, function, module, Riemannian manifold, vector fields, smooth, vector space
There are 6 references to this entry.

This is version 7 of Riemann curvature tensor, born on 2006-11-28, modified 2007-01-29.
Object id is 8592, canonical name is RiemannCurvatureTensor.
Accessed 3095 times total.

Classification:
AMS MSC53A55 (Differential geometry :: Classical differential geometry :: Differential invariants , geometric objects)
 53B20 (Differential geometry :: Local differential geometry :: Local Riemannian geometry)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
wikipedia by juanman on 2006-11-28 13:37:14
Does anybody know what's happening at wikipedia.org {\sl et al}?
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)