Signature (physics)
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the signature of a
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
''g'' (or equivalently, a real
quadratic form In mathematics, a quadratic form is a polynomial with terms all of degree two (" form" is another name for a homogeneous polynomial). For example, 4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong t ...
thought of as a real
symmetric bilinear form In mathematics, a symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map. In other words, it is a biline ...
on a
finite-dimensional In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to d ...
vector space In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
) is the number (counted with multiplicity) of positive, negative and zero
eigenvalue In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s of the real
symmetric matrix In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, Because equal matrices have equal dimensions, only square matrices can be symmetric. The entries of a symmetric matrix are symmetric with ...
of the metric tensor with respect to a basis. In
relativistic physics In physics, relativistic mechanics refers to mechanics compatible with special relativity (SR) and general relativity (GR). It provides a non- quantum mechanical description of a system of particles, or of a fluid, in cases where the velocities o ...
, ''v'' conventionally represents the number of time or virtual dimensions, and ''p'' the number of space or physical dimensions. Alternatively, it can be defined as the dimensions of a maximal positive and null subspace. By
Sylvester's law of inertia Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real quadratic form that remain invariant under a change of basis. Namely, if A is a symmetric matrix, then for any invertible matr ...
these numbers do not depend on the choice of basis and thus can be used to classify the metric. It is denoted by three
integer An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
s , where v is the number of positive eigenvalues, p is the number of negative ones and r is the number of zero eigenvalues of the metric tensor. It can also be denoted implying ''r'' = 0, or as an explicit list of signs of eigenvalues such as or for the signatures and , respectively. The signature is said to be indefinite or mixed if both ''v'' and ''p'' are nonzero, and degenerate if ''r'' is nonzero. A
Riemannian metric In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
is a metric with a
positive definite In mathematics, positive definiteness is a property of any object to which a bilinear form In mathematics, a bilinear form is a bilinear map on a vector space (the elements of which are called '' vectors'') over a field ''K'' (the elements of w ...
signature . A
Lorentzian metric In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
is a metric with signature , or . There is another notion of signature of a nondegenerate metric tensor given by a single number ''s'' defined as , where ''v'' and ''p'' are as above, which is equivalent to the above definition when the dimension ''n'' = ''v'' + ''p'' is given or implicit. For example, ''s'' = 1 − 3 = −2 for and its mirroring ''s' '' = −''s'' = +2 for .


Definition

The signature of a metric tensor is defined as the signature of the corresponding
quadratic form In mathematics, a quadratic form is a polynomial with terms all of degree two (" form" is another name for a homogeneous polynomial). For example, 4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong t ...
. It is the number of positive, negative and zero
eigenvalues In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
of any matrix (i.e. in any basis for the underlying vector space) representing the form, counted with their algebraic multiplicities. Usually, is required, which is the same as saying a metric tensor must be nondegenerate, i.e. no nonzero vector is orthogonal to all vectors. By Sylvester's law of inertia, the numbers are basis independent.


Properties


Signature and dimension

By the
spectral theorem In linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized (that is, represented as a diagonal matrix in some basis). This is extremely useful because computations involvin ...
a symmetric matrix over the reals is always
diagonalizable In linear algebra, a square matrix A is called diagonalizable or non-defective if it is similar to a diagonal matrix. That is, if there exists an invertible matrix P and a diagonal matrix D such that . This is equivalent to (Such D are not ...
, and has therefore exactly ''n'' real eigenvalues (counted with algebraic multiplicity). Thus .


Sylvester's law of inertia: independence of basis choice and existence of orthonormal basis

According to
Sylvester's law of inertia Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real quadratic form that remain invariant under a change of basis. Namely, if A is a symmetric matrix, then for any invertible matr ...
, the signature of the scalar product (a.k.a. real symmetric bilinear form), ''g'' does not depend on the choice of basis. Moreover, for every metric ''g'' of signature there exists a basis such that for , for and otherwise. It follows that there exists an
isometry In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' me ...
if and only if the signatures of ''g''1 and ''g''2 are equal. Likewise the signature is equal for two congruent matrices and classifies a matrix up to congruency. Equivalently, the signature is constant on the orbits of the
general linear group In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
GL(''V'') on the space of symmetric rank 2 contravariant tensors ''S''2''V'' and classifies each orbit.


Geometrical interpretation of the indices

The number ''v'' (resp. ''p'') is the maximal dimension of a vector subspace on which the scalar product ''g'' is positive-definite (resp. negative-definite), and ''r'' is the dimension of the
radical Radical (from Latin: ', root) may refer to: Politics and ideology Politics *Classical radicalism, the Radical Movement that began in late 18th century Britain and spread to continental Europe and Latin America in the 19th century *Radical politics ...
of the scalar product ''g'' or the null subspace of
symmetric matrix In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, Because equal matrices have equal dimensions, only square matrices can be symmetric. The entries of a symmetric matrix are symmetric with ...
of the
scalar product In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. Not to be confused wit ...
. Thus a nondegenerate scalar product has signature , with . A duality of the special cases correspond to two scalar eigenvalues which can be transformed into each other by the mirroring reciprocally.


Examples


Matrices

The signature of the
identity matrix In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere. It has unique properties, for example when the identity matrix represents a geometric transformation, the obje ...
is . The signature of a
diagonal matrix In linear algebra, a diagonal matrix is a matrix in which the entries outside the main diagonal are all zero; the term usually refers to square matrices. Elements of the main diagonal can either be zero or nonzero. An example of a 2×2 diagon ...
is the number of positive, negative and zero numbers on its
main diagonal In linear algebra, the main diagonal (sometimes principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries a_ where i = j. All off-diagonal elements are zero in a diagonal matrix ...
. The following matrices have both the same signature , therefore they are congruent because of
Sylvester's law of inertia Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real quadratic form that remain invariant under a change of basis. Namely, if A is a symmetric matrix, then for any invertible matr ...
: :\begin 1 & 0 \\ 0 & -1 \end, \quad \begin 0 & 1 \\ 1 & 0 \end.


Scalar products

The standard
scalar product In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. Not to be confused wit ...
defined on \mathbb^n has the ''n''-dimensional signatures , where and rank . In physics, the
Minkowski space In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model. The model helps show how a ...
is a spacetime manifold \R^4 with ''v'' = 1 and ''p'' = 3 bases, and has a scalar product defined by either the \check g matrix: :\check g=\begin -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end which has signature (1, 3, 0)^- and known as space-supremacy or space-like; or the mirroring signature (1,3, 0)^+, known as virtual-supremacy or time-like with the \hat g matrix. :\hat g=\begin 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end=-\check g


How to compute the signature

There are some methods for computing the signature of a matrix. * For any nondegenerate
symmetric Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
matrix, diagonalize it (or find all of
eigenvalue In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s of it) and count the number of positive and negative signs. * For a symmetric matrix, the
characteristic polynomial In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The ...
will have all real roots whose signs may in some cases be completely determined by
Descartes' rule of signs In mathematics, Descartes' rule of signs, described by René Descartes in his ''La Géométrie'', counts the roots of a polynomial by examining sign changes in its coefficients. The number of positive real roots is at most the number of sign chang ...
. * Lagrange's algorithm gives a way to compute an
orthogonal basis In mathematics, particularly linear algebra, an orthogonal basis for an inner product space V is a basis for V whose vectors are mutually orthogonal. If the vectors of an orthogonal basis are normalized, the resulting basis is an ''orthonormal b ...
, and thus compute a diagonal matrix congruent (thus, with the same signature) to the other one: the signature of a diagonal matrix is the number of positive, negative and zero elements on its diagonal. * According to Jacobi's criterion, a symmetric matrix is positive-definite if and only if all the
determinant In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
s of its main minors are positive.


Signature in physics

In mathematics, the usual convention for any
Riemannian manifold In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
is to use a positive-definite
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
(meaning that after diagonalization, elements on the diagonal are all positive). In
theoretical physics Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
,
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
is modeled by a
pseudo-Riemannian manifold In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
. The signature counts how many time-like or space-like characters are in the spacetime, in the sense defined by
special relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory of the relationship between Spacetime, space and time. In Albert Einstein's 1905 paper, Annus Mirabilis papers#Special relativity, "On the Ele ...
: as used in
particle physics Particle physics or high-energy physics is the study of Elementary particle, fundamental particles and fundamental interaction, forces that constitute matter and radiation. The field also studies combinations of elementary particles up to the s ...
, the metric has an eigenvalue on the time-like subspace, and its mirroring eigenvalue on the space-like subspace. In the specific case of the
Minkowski metric In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of general_relativity, gravitation. It combines inertial space and time manifolds into a four-dimensional model. The model ...
, : ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2, the metric signature is (1, 3, 0)^+ or (+, −, −, −) if its eigenvalue is defined in the time direction, or (1, 3, 0)^- or (−, +, +, +) if the eigenvalue is defined in the three spatial directions ''x'', ''y'' and ''z''. (Sometimes the opposite
sign A sign is an object, quality, event, or entity whose presence or occurrence indicates the probable presence or occurrence of something else. A natural sign bears a causal relation to its object—for instance, thunder is a sign of storm, or me ...
convention is used, but with the one given here ''s'' directly measures
proper time In relativity, proper time (from Latin, meaning ''own time'') along a timelike world line is defined as the time as measured by a clock following that line. The proper time interval between two events on a world line is the change in proper time ...
.)


Signature change

If a metric is regular everywhere then the signature of the metric is constant. However if one allows for metrics that are degenerate or discontinuous on some hypersurfaces, then signature of the metric may change at these surfaces. Such signature changing metrics may possibly have applications in
cosmology Cosmology () is a branch of physics and metaphysics dealing with the nature of the universe, the cosmos. The term ''cosmology'' was first used in English in 1656 in Thomas Blount's ''Glossographia'', with the meaning of "a speaking of the wo ...
and
quantum gravity Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics. It deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the v ...
.


See also

*
pseudo-Riemannian manifold In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
*
Sign convention In physics, a sign convention is a choice of the physical significance of signs (plus or minus) for a set of quantities, in a case where the choice of sign is arbitrary. "Arbitrary" here means that the same physical system can be correctly descri ...


Notes

{{Riemannian geometry Differential geometry *2