Pseudo-Riemannian manifold

Pseudo-Riemannian manifold

In differential geometry, a pseudo-Riemannian manifold (also called a semi-Riemannian manifold) is a generalization of a Riemannian manifold. It is one of many things named after Bernhard Riemann. The key difference between the two is that on a pseudo-Riemannian manifold the metric tensor need not be positive-definite. Instead a weaker condition of nondegeneracy is imposed.

Introduction

Manifolds

"Main articles: Manifold, differentiable manifolds"

In differential geometry a differentiable manifold is a space which is locally similar to a Euclidean space. In an n-dimensional Euclidean space any point can be specified by n real numbers. These are called the coordinates of the point.

An n-dimensional differentiable manifold is a generalisation of n-dimensional Euclidean space. In a manifold it may only be possible to define coordinates "locally". This is achieved by defining coordinate patches: subsets of the manifold which can be mapped into n-dimensional Euclidean space.

See Manifold, differentiable manifold, coordinate patch for more details.

Tangent spaces and metric tensors

"Main articles: Tangent space, metric tensor"

Associated with each point p in an n-dimensional differentiable manifold M is a tangent space (denoted ,T_pM). This is an n-dimensional vector space whose elements can be thought of as equivalence classes of curves passing through the point p.

A metric tensor is a non-degenerate, smooth, symmetric, bilinear map which assigns a real number to pairs of tangent vectors at each tangent space of the manifold. Denoting the metric tensor by g we can express this as g : T_pM imes T_pM o mathbb{R}.

The map is symmetric and bilinear so if X, Y, Z in T_pM are tangent vectors at a point p in the manifold M then we have
* ,g(X,Y) = g(Y,X)
* ,g(aX + Y, Z) = a g(X,Z) + g(Y,Z)for some real number a.

That g is non-degenerate means there are no non-zero X in T_pM such that ,g(X,Y) = 0 for all Y in T_pM.

Metric signatures

"Main article: Metric signature"

For an n-dimensional manifold the metric tensor (in a fixed coordinate system) has n eigenvalues. If the metric is non-degenerate then none of these eigenvalues are zero. The signature of the metric denotes the number of positive and negative eigenvalues, this quantity is independent of the chosen coordinate system by Sylvester's rigidity theorem and locally non-decreasing. If the metric has p positive eigenvalues and q negative eigenvalues then the metric signature is (p,q). For a non-degenerate metric p + q = n.

Definition

A pseudo-Riemannian manifold ,(M,g) is a differentiable manifold ,M equipped with a non-degenerate, smooth, symmetric metric tensor ,g which, unlike a Riemannian metric, need not be positive-definite, but must be non-degenerate. Such a metric is called a pseudo-Riemannian metric and its values can be positive, negative or zero.

The signature of a pseudo-Riemannian metric is (p,q) where both p and q are non-negative.

Lorentzian manifold

A Lorentzian manifold is an important special case of a pseudo-Riemannian manifold in which the signature of the metric is (1,n-1) (or sometimes (n-1,1), see sign convention). Such metrics are called Lorentzian metrics. They are named after the physicist Hendrik Lorentz.

Applications in physics

After Riemannian manifolds, Lorentzian manifolds form the most important subclass of pseudo-Riemannian manifolds. They are important because of their physical applications to the theory of general relativity.

A principal assumption of general relativity is that spacetime can be modeled as a 4-dimensional Lorentzian manifold of signature (3,1) (or equivalently (1,3)). Unlike Riemannian manifolds with positive-definite metrics, a signature of (p,1) or (1,q) allows tangent vectors to be classified into "timelike", "null" or "spacelike" (see Causal structure).

Properties of pseudo-Riemannian manifolds

Just as Euclidean space mathbb{R}^n can be thought of as the model Riemannian manifold, Minkowski space mathbb{R}^{n-1,1} with the flat Minkowski metric is the model Lorentzian manifold. Likewise, the model space for a pseudo-Riemannian manifold of signature (p,q) is mathbb{R}^{p,q} with the metric:g = dx_1^2 + cdots + dx_p^2 - dx_{p+1}^2 - cdots - dx_n^2

Some basic theorems of Riemannian geometry can be generalized to the pseudo-Riemannian case. In particular, the fundamental theorem of Riemannian geometry is true of pseudo-Riemannian manifolds as well. This allows one to speak of the Levi-Civita connection on a pseudo-Riemannian manifold along with the associated curvature tensor. On the other hand, there are many theorems in Riemannian geometry which do not hold in the generalized case. For example, it is "not" true that every smooth manifold admits a pseudo-Riemannian metric of a given signature; there are certain topological obstructions. Furthermore, a submanifold of a pseudo-Riemannianmanifold need not be a pseudo-Riemannian manifold.

See also

*Riemannian manifold
*Causal structure
*Metric (mathematics)
*Metric signature


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • pseudo-Riemannian manifold — noun in differential geometry, a generalization of a Riemannian manifold Syn: semi Riemannian manifold …   Wiktionary

  • Riemannian manifold — In Riemannian geometry, a Riemannian manifold ( M , g ) (with Riemannian metric g ) is a real differentiable manifold M in which each tangent space is equipped with an inner product g in a manner which varies smoothly from point to point. The… …   Wikipedia

  • 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

  • Pseudo-Euclidean space — A pseudo Euclidean space is a finite dimensional real vector space together with a non degenerate indefinite quadratic form. Such a quadratic form can, after a change of coordinates, be written as : q(x) = left(x 1^2+cdots + x k^2 ight) left(x… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

  • Curvature of Riemannian manifolds — In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous… …   Wikipedia

  • Conformally flat manifold — A (pseudo )Riemannian manifold is conformally flat if each point has a neighborhood that can be mapped to flat space by a conformal transformation. More formally, let (M, g) be a pseudo Riemannian manifold. Then (M, g) is conformally flat if for… …   Wikipedia

  • Fundamental theorem of Riemannian geometry — In Riemannian geometry, the fundamental theorem of Riemannian geometry states that on any Riemannian manifold (or pseudo Riemannian manifold) there is a unique torsion free metric connection, called the Levi Civita connection of the given metric …   Wikipedia

  • Einstein manifold — In differential geometry and mathematical physics, an Einstein manifold is a Riemannian or pseudo Riemannian manifold whose Ricci tensor is proportional to the metric. They are named after Albert Einstein because this condition is equivalent to… …   Wikipedia

  • Geodesic manifold — In mathematics, a geodesic manifold (or geodesically complete manifold) is a surface on which any two points can be joined by a shortest path, called a geodesic.DefinitionLet (M, g) be a (connected) (pseudo ) Riemannian manifold, and let gamma :… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”