Como já estudei o básico das ferramentas matemáticas necessárias, por enquanto quero priorizar a compreensão física. Assim, aprofundarei a matemática até o nível necessário para compreender, aplicar e questionar criticamente a estrutura física em estudo. Demonstrações e desenvolvimentos puramente matemáticos podem ser deixados para quando se tornarem necessários ou quando eu decidir aprofundar os fundamentos.
Por exemplo, não é necessário, neste momento, aprofundar a demonstração do teorema espectral para matrizes Hermitianas, pois sua prova é predominantemente matemática e não acrescenta, por si só, uma nova interpretação física ao problema. Em contrapartida, vale aprofundar resultados matemáticos que estabelecem relações diretamente relevantes para a teoria física, como demonstrar que dois operadores que possuem uma mesma base completa de autovetores comutam, pois essa relação permite compreender matematicamente a compatibilidade entre observáveis.
Porém estarei compartilhando aqui uma revisão puramente matemática, uma reprodução quase na íntegra deste material: Delft University of Technology (2026).
Álgebra Linear¶
Aritmética Matricial Básica¶
Operação de Matrizes¶
Very often, an -matrix with real entries represents a linear map from the space of vectors of length to the space of vectors of length . Similarly, a matrix with complex entries represents a linear map from to . This map is defined by the matrix-vector product.
Definition: Given a real (resp. complex) -matrix , the linear map associated with is the map that sends each vector to the vector (resp. each vector to the vector ). :::
Matrix multiplication is defined so that the product represents the linear map gotten by first applying and then . In other words, we have
Note that on the left we have one matrix multiplication and one matrix-vector multiplication, while on the right we just have two matrix-vector multiplications. Commutators play an extremely important role in quantum physics.
Definition: Given two -matrices and , the commutator of and is the -matrix
Definition: The transpose of an -matrix is the -matrix defined by
Definition: The adjoint (conjugate transpose or Hermitian transpose) of an -matrix is the -matrix obtained by applying the complex conjugate and the transpose operation: The adjoint of is also known as the ** or ** of .
Definition: The trace of an -matrix is the sum of the diagonal entries of :
The determinant of an -matrix can be defined in various ways. We will make use of permutations. Using the Einstein summation convention[1] and the Levi-Civita symbol[2] commonly used in physics, we can also write this as
Properties of the determinant :
A square matrix is invertible if and only if is non-zero.
Given two -matrices and , we have
The determinant of a diagonal matrix (and more generally of an upper or lower triangular matrix) is the product of the diagonal entries.
4. If is obtained from by scaling a row by a scalar , then .
5. If is obtained from by swapping two rows, then .
6. If is obtained from by adding a multiple of a row to another row, then .
Properties 4-6 also hold for columns instead of rows.
Finally, we define the characteristic polynomial of a square matrix; this will be used in diagonalisation.
Definition: The characteristic polynomial of an -matrix is the polynomial of degree in a variable defined by [3]
Basis transformations¶
Until now, we have been working with one specific coordinate system in which vectors are identified with their coordinate vectors with respect to the standard basis vectors:
In other words, a vector means the same as the corresponding linear combination of the standard basis vectors:
In many situations, it is useful to express vectors in a different coordinate system. For this we need the general concept of a basis.
Definition: A basis of consists of vectors (or ) such that every vector can be written in exactly one way as a linear combination:, with scalars . These scalars are called the coordinates of relative to . The vector is called the coordinate vector of relative to .
Alternatively, a basis consists of vectors with the following two properties:
they span the space , i.e. every vector is a linear combination of ;
they are linearly independent, i.e. the only way to write the zero vector as a linear combination of is as .
A priori, we could have defined a basis as a collection of some number (say ) of vectors that span the space and are linearly independent. However, it can be shown that in fact any two bases contain the same number of vectors. Since the standard basis of consists of vectors, the same therefore holds for any basis.
Suppose we have two bases of , say
Definition: The basis transformation matrix (or change-of-basis matrix) from to is the matrix such that the -th column of contains the coordinates of relative to the basis .
The definition of means:
Given a vector , we write for the coordinate vector of with respect to the basis , and we define similarly. Then we calculate
which shows that
Similarly, given a linear map , we write for the matrix of with respect to the basis , and likewise for . Then and are related by
Namely, consider what happens when we multiply this matrix to a coordinate vector of the form . First, applying [4] to gives . Next, applying gives . Finally, applying gives , which is what we wanted to show.
The trace and the determinant are invariant under basis transformation: if and are square matrices of the same size with invertible, then we have
Because the characteristic polynomial is also defined as a determinant, it too is invariant under basis transformation.
Diagonalisation¶
Hilbert Spaces¶
Operators on Hilbert spaces¶
Tensor products¶
Einstein notation is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving brevity. There are essentially three rules of Einstein summation notation, namely: 1) Repeated indices are implicitly summed over. 2) Each index can appear at most twice in any term. 3) Each term must contain identical non-repeated indices (Wolfram MathWorld).
More generally, in dimensions, the Levi-Civita symbol is defined by: +1 if is an even permutation from , -1 if is an odd permutation and 0 otherwhise.
An alternative definition of the characteristic polynomial, which agrees with the one above up to a factor , is
Note que se e sendo , então , o seja
- Delft University of Technology. (n.d.). Mathematics for Quantum Physics. Retrieved August 31, 2026, from https://interactivetextbooks.tudelft.nl/mqp-v2/