Trace (math)

from Wikipedia, the free encyclopedia

The trace ( trace function, trace mapping) is a concept in the mathematical sub-areas of linear algebra and functional analysis and is also used in the theory of bodies and body extensions .

The trace in linear algebra

definition

In linear algebra is called the trace of a square - Matrix over a field , the sum of the main diagonal elements of this matrix. For the matrix

is so

If this applies , the matrix is ​​said to be non-marking .

Instead , the spellings are , , or , or from the term trace also derived , , or in use.

properties

  • The trace of a matrix is equal to the trace of its transposed matrix , that is, it holds
.
  • The track is a linear map , that is, for matrices and and applies
.
  • Under the track matrices and may be swapped, that is
: Both is .
It follows immediately in the event that the track of the commutator disappears, that is .
  • The invariance of the track follows from the last property under cyclic exchanges . For example, for three matrices , and :
.
  • It also follows from this that two matrices that are similar to one another have the same track. For a matrix and an invertible matrix we have
.
The trace is therefore invariant under basic transformations .
  • If and matrices, where positive is definite and not negative, then
.
.
  • The trace of a real or complex idempotent matrix is equal to its rank , that is, it holds
(For matrices with entries from another body, this identity only applies modulo the characteristic of the body .)
  • For all real or complex matrices holds
,
where denotes the matrix exponential of .
  • The reverse is true for every diagonalizable real matrix
.
(The identity is based on the fact that functions of diagonalizable matrices - here the natural logarithm - can be defined via the eigenvalues.)
  • Agent can be the Frobenius inner product (real or complex) to define matrices, so that because of the Cauchy-Schwarz inequality is true
.

Trace of an endomorphism

If a finite-dimensional vector space and a linear mapping , i.e. an endomorphism of , then the trace of is defined as the trace of a representation matrix of with respect to an arbitrary basis of . According to the above properties, the track is independent of the choice of this base.

Coordinate-free definition of the track

Is a finite - vector space , it can be the space of endomorphisms on to identify via . Furthermore, the natural pairing is a canonical bilinear mapping which induces a linear mapping due to the universal property of the tensor product . One can easily see that under the above identification this is precisely the trace of an endomorphism.

The trace in functional analysis

Lane class operator

The concept of the trace in linear algebra can also be extended to infinitely dimensional spaces. If a Hilbert space with an orthonormal basis , then the trace for an operator is defined using

if the sum exists. The finiteness of this sum depends on the choice of the orthonormal basis. Operators for which this is always the case (these are always compact ), i.e. whose trace is finite over all orthonormal bases, are called trace class operators. In the case of track class operators, the sum is independent of the choice of the orthonormal basis, and thus the track for this is well-defined. Many properties of the trace from linear algebra are directly transferred to trace class operators.

Application in quantum mechanics

In quantum mechanics or quantum statistics , the term track is generalized in such a way that operators that are not track class operators are also included. In fact, these operators, such as the basic Hamiltonian (energy operator) of the system, only need to be self-adjoint . They then have a spectral representation , where the spectrum is from , while λ is a number on the real axis and the integrals are projection operators on the eigenfunctions belonging to λ (point spectrum!) Or eigenpackets (continuous spectrum). It applies when you are dealing with a mapping of operators, for example with the exponentiation of an operator,

A measure suitable for the projection operators defined above, e.g. B. in the case of the point spectrum the Dirac measure , where is the eigenvalue under consideration, and the at centered delta distribution . In concrete cases the parameter has the meaning of the Kelvin temperature of the system, and the rule was used that all functions of an operator ,, have the same eigenvectors as the operator itself, while the eigenvalues change,

Even if the integral for were to diverge, the application of the formula u. It makes sense, because the formation of tracks in quantum statistics almost always occurs in combination . This combination is the so-called thermal expected value of the measured variable, at which any divergences in the numerator and denominator would compensate each other.

Related integrals can converge even if the operator does not belong to the trace class. In this case, the expression can be approximated with arbitrary precision by sums of trace class operators (even by finite sums), similar to how integrals can be approximated in this way.

In any case, it is advisable to proceed pragmatically with the question of the convergence of the expressions under consideration . In the present case, for example, it should be noted that any spectral components that are much larger in magnitude than the temperature factor are exponentially small.

In the quantum statistics that occurs Partialspur on which can be construed as a generalization of the track. For an operator who lives on the product space , the trace is equal to the execution of the partial traces over and :

.

The trace in body extensions

Is a finite field extension , then the track is a linear map of after . If one understands as vector space, then the trace of an element is defined as the trace of the representation matrix of the mapping .

See also

literature

Web links

Individual evidence

  1. Jörg Liesen, Volker Mehrmann: Lineare Algebra , Lemma 8.3
  2. ^ Pavel Exner: Hilbert Space Operators in Quantum Physics. Springer, 2008
  3. ^ Michael Reed: Methods of Modern Mathematical Physics I: Functional Analysis. Academic Press, 1980, p. 212