Campbell's theorem
Encyclopedia
Campbell's theorem, also known as Campbell’s embedding theorem and the Campbell-Magaarrd theorem, is a mathematical theorem that evaluates the asymptotic distribution
of random impulses acting with a determined intensity on a damped system
. The theorem guarantees that any n-dimensional Riemannian manifold
can be locally embedded in an (n + 1)-dimensional Ricci-flat Riemannian manifold.
can be embedded
locally in an (n + 1)-manifold with a Ricci curvature
of Ra b = 0. The theorem also states, in similar form, that an n-dimensional pseudo-Riemannian manifold
can be both locally and isometrically embedded in an n(n + 1)/2-pseudo-Euclidean space
.
in 5-dimensional Ricci-flat spaces
. It is also used to embed a class of n-dimensional Einstein spaces.
Asymptotic distribution
In mathematics and statistics, an asymptotic distribution is a hypothetical distribution that is in a sense the "limiting" distribution of a sequence of distributions...
of random impulses acting with a determined intensity on a damped system
Damping
In physics, damping is any effect that tends to reduce the amplitude of oscillations in an oscillatory system, particularly the harmonic oscillator.In mechanics, friction is one such damping effect...
. The theorem guarantees that any n-dimensional Riemannian manifold
Riemannian manifold
In Riemannian geometry and the differential geometry of surfaces, a Riemannian manifold or Riemannian space is a real differentiable manifold M in which each tangent space is equipped with an inner product g, a Riemannian metric, which varies smoothly from point to point...
can be locally embedded in an (n + 1)-dimensional Ricci-flat Riemannian manifold.
Statement
Campbell's theorem states that any n-dimensional Riemannian manifoldRiemannian manifold
In Riemannian geometry and the differential geometry of surfaces, a Riemannian manifold or Riemannian space is a real differentiable manifold M in which each tangent space is equipped with an inner product g, a Riemannian metric, which varies smoothly from point to point...
can be embedded
Embedding
In mathematics, an embedding is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup....
locally in an (n + 1)-manifold with a Ricci curvature
Ricci curvature
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, represents the amount by which the volume element of a geodesic ball in a curved Riemannian manifold deviates from that of the standard ball in Euclidean space...
of Ra b = 0. The theorem also states, in similar form, that an n-dimensional pseudo-Riemannian manifold
Pseudo-Riemannian manifold
In differential geometry, a pseudo-Riemannian manifold is a generalization of a Riemannian manifold. It is one of many mathematical objects named after Bernhard Riemann. The key difference between a Riemannian manifold and a pseudo-Riemannian manifold is that on a pseudo-Riemannian manifold the...
can be both locally and isometrically embedded in an n(n + 1)/2-pseudo-Euclidean space
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...
.
Applications
Campbell’s theorem can be used to produce the embedding of numerous 4-dimensional spacetimesSpacetime symmetries
Spacetime symmetries are features of spacetime that can be described as exhibiting some form of symmetry. The role of symmetry in physics is important in simplifying solutions to many problems, spacetime symmetries finding ample application in the study of exact solutions of Einstein's field...
in 5-dimensional Ricci-flat spaces
Ricci-flat manifold
In mathematics, Ricci-flat manifolds are Riemannian manifolds whose Ricci curvature vanishes. In physics, they represent vacuum solutions to the analogues of Einstein's equations for Riemannian manifolds of any dimension, with vanishing cosmological constant...
. It is also used to embed a class of n-dimensional Einstein spaces.