Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Pseudo-Riemannian manifold

From Wikipedia, the free encyclopedia
(Redirected fromLorentz metric)

Differentiable manifold with nondegenerate metric tensor
General relativity
Spacetime curvature schematic

Inmathematical physics, apseudo-Riemannian manifold,[1][2] also called asemi-Riemannian manifold, is adifferentiable manifold with ametric tensor that is everywherenondegenerate. This is a generalization of aRiemannian manifold in which the requirement ofpositive-definiteness is relaxed.

Everytangent space of a pseudo-Riemannian manifold is apseudo-Euclidean vector space.

A special case used ingeneral relativity is a four-dimensionalLorentzian manifold for modelingspacetime, where tangent vectors can be classified astimelike, null, and spacelike.

Introduction

[edit]

Manifolds

[edit]
Main articles:Manifold andDifferentiable manifold

Indifferential geometry, adifferentiable manifold is a space that is locally similar to aEuclidean space. In ann-dimensional Euclidean space any point can be specified byn real numbers. These are called thecoordinates of the point.

Ann-dimensional differentiable manifold is a generalisation ofn-dimensional Euclidean space. In a manifold it may only be possible to define coordinateslocally. This is achieved by definingcoordinate patches: subsets of the manifold that can be mapped inton-dimensional Euclidean space.

SeeManifold,Differentiable manifold,Coordinate patch for more details.

Tangent spaces and metric tensors

[edit]
Main articles:Tangent space andMetric tensor

Associated with each pointp{\displaystyle p} in ann{\displaystyle n}-dimensional differentiable manifoldM{\displaystyle M} is atangent space (denotedTpM{\displaystyle T_{p}M}). This is ann{\displaystyle n}-dimensionalvector space whose elements can be thought of asequivalence classes of curves passing through the pointp{\displaystyle p}.

Ametric tensor is anon-degenerate, smooth, symmetric,bilinear map that assigns areal number to pairs of tangent vectors at each tangent space of the manifold. Denoting the metric tensor byg{\displaystyle g} we can express this as

g:TpM×TpMR.{\displaystyle g:T_{p}M\times T_{p}M\to \mathbb {R} .}

The map is symmetric and bilinear so ifX,Y,ZTpM{\displaystyle X,Y,Z\in T_{p}M} are tangent vectors at a pointp{\displaystyle p} to the manifoldM{\displaystyle M} then we have

for any real numberaR{\displaystyle a\in \mathbb {R} }.

Thatg{\displaystyle g} isnon-degenerate means there is no non-zeroXTpM{\displaystyle X\in T_{p}M} such thatg(X,Y)=0{\displaystyle g(X,Y)=0} for allYTpM{\displaystyle Y\in T_{p}M}.

Metric signatures

[edit]
Main article:Metric signature

Given a metric tensorg on ann-dimensional real manifold, thequadratic formq(x) =g(x,x) associated with the metric tensor applied to each vector of anyorthogonal basis producesn real values. BySylvester's law of inertia, the number of each positive, negative and zero values produced in this manner are invariants of the metric tensor, independent of the choice of orthogonal basis. Thesignature(p,q,r) of the metric tensor gives these numbers, shown in the same order. A non-degenerate metric tensor hasr = 0 and the signature may be denoted(p,q), wherep +q =n.

Definition

[edit]

Apseudo-Riemannian manifold(M,g) is adifferentiable manifoldM that is equipped with an everywhere non-degenerate, smooth, symmetricmetric tensorg.

Such a metric is called apseudo-Riemannian metric. Applied to a vector field, the resulting scalar field value at any point of the manifold can be positive, negative or zero.

The signature of a pseudo-Riemannian metric is(p, q), where bothp andq are non-negative. The non-degeneracy condition together with continuity implies thatp andq remain unchanged throughout the manifold (assuming it is connected).

Lorentzian manifold

[edit]

ALorentzian manifold is an important special case of a pseudo-Riemannian manifold in which thesignature of the metric is(1, n−1) (equivalently,(n−1, 1); seeSign convention). Such metrics are calledLorentzian metrics. They are named after the Dutch physicistHendrik Lorentz.

Applications in physics

[edit]

After Riemannian manifolds, Lorentzian manifolds form the most important subclass of pseudo-Riemannian manifolds. They are important in applications ofgeneral relativity.

A principal premise of general relativity is thatspacetime can be modeled as a 4-dimensional Lorentzian manifold of signature(3, 1) or, equivalently,(1, 3). Unlike Riemannian manifolds with positive-definite metrics, an indefinite signature allows tangent vectors to be classified intotimelike,null orspacelike. With a signature of(p, 1) or(1, q), the manifold is also locally (and possibly globally) time-orientable (seeCausal structure).

Properties of pseudo-Riemannian manifolds

[edit]

Just asEuclidean spaceRn{\displaystyle \mathbb {R} ^{n}} can be thought of as the local model of aRiemannian manifold,Minkowski spaceRn1,1{\displaystyle \mathbb {R} ^{n-1,1}} with the flatMinkowski metric is the local model of a Lorentzian manifold. Likewise, the model space for a pseudo-Riemannian manifold of signature (p, q) ispseudo-Euclidean spaceRp,q{\displaystyle \mathbb {R} ^{p,q}}, for which there exist coordinatesxi such that

g=dx12++dxp2dxp+12dxp+q2{\displaystyle g=dx_{1}^{2}+\cdots +dx_{p}^{2}-dx_{p+1}^{2}-\cdots -dx_{p+q}^{2}}

Some theorems of Riemannian geometry can be generalized to the pseudo-Riemannian case. In particular, thefundamental theorem of Riemannian geometry is true of all pseudo-Riemannian manifolds. This allows one to speak of theLevi-Civita connection on a pseudo-Riemannian manifold along with the associatedcurvature tensor. On the other hand, there are many theorems in Riemannian geometry that do not hold in the generalized case. For example, it isnot true that every smooth manifold admits a pseudo-Riemannian metric of a given signature; there are certaintopological obstructions. Furthermore, asubmanifold does not always inherit the structure of a pseudo-Riemannian manifold; for example, the metric tensor becomes zero on anylight-likecurve. TheClifton–Pohl torus provides an example of a pseudo-Riemannian manifold that is compact but not complete, a combination of properties that theHopf–Rinow theorem disallows for Riemannian manifolds.[3]

See also

[edit]

Notes

[edit]
  1. ^Benn & Tucker 1987, p. 172
  2. ^Bishop & Goldberg 1968, p. 208
  3. ^O'Neill 1983, p. 193

References

[edit]

External links

[edit]
Basic concepts
Main theorems(list)
Maps
Types of
manifolds
Tensors
Vectors
Covectors
Bundles
Connections
Related
Generalizations
Basic concepts
Types of manifolds
Main results
Generalizations
Applications
Retrieved from "https://en.wikipedia.org/w/index.php?title=Pseudo-Riemannian_manifold&oldid=1284986917#Lorentzian_manifold"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp