Sesquilinear and hermitian forms
The definition of the inner product which was introduced so far considers only spaces over the real numbers. Let us generalize it to the case of complex numbers. Let every space considered here be a space over complex numbers. We have to notice the following rule. The distance of a real number from zero equals . Meanwhile the distance of a complex number from zero is . This is the idea of the following definition and all subsequent definitions.
We shall say that a form is sesquilinear, if
for any , .
The matrix of a sesquilinear form with respect to basis of is the matrix such that
where are any vectors and and are their coordinates in basis .
A sesquilinear form is hermitian if
for any .
Hermitian inner products and unitary spaces
A hermitian form is a hermitian inner product if
for any non zero (observe that it is always a real number).
A space over along with a fixed hermitian inner product is called an unitary space.
The standard hermitian inner product in is defined by the following formula
Similarly as in the case of euclidean spaces one can define the norm, perpendicularity, orthogonal and orthonormal bases.
A matrix is hermitian if . One can notice that a matrix of a sesquilinear form is hermitian if and only if the form is hermitian.
Mappings of unitary spaces and unitary matrices
The counterpart of an isometry is an isomorphism of unitary spaces, i.e. a linear isomorphism which preserves the hermitian product (unitary isomorphism).
It is easy to prove that a linear isomorphism of unitary spaces is unitary if and only if its matrix with respect to some orthonormal basis is such that . Such matrices are called unitary matrices.
Adjoint space to an unitary space
Notice that if is an unitary space, we get an easy identification between and . Consider a mapping defined as . One can prove that is a bijection and , so is an isomorphism , where is the space with modified operation of multiplication . From this point on we will be identifying with .
It is easy to prove that assuming this identification for any endomorphisms , if and only if for any . Therefore, . The mapping is self-adjoint if and only if . Moreover, a mapping is self-adjoint if and only if its matrix in an orthonormal basis is hermitian.
Diagonalization of endomorphisms of an unitary space
Similarly as in the case of a space over reals, we may notice that every self-adjoint endomorphism of an unitary space has an orthonormal basis consisting of eigenvectors, and moreover the eigenvalues are real.
Another example of an mapping which is diagonalizable in an orthonormal way is an unitary automorphism. Indeed, let us prove it by induction. For one-dimensional space it is obvious. Let as assume that it is so for -dimensional spaces. Let and let be an unitary automorphism. There exists an eigenvector of , for eigenvalue (, since it is an automorphism), thus the space is -dimensional and invariant under , because if , then
We then take the basis from the induction hypothesis and add .
There is a common property of self-adjoint endomorphisms and unitary automorphism. For both of them we get . The mappings satisfying this condition are called normal endomorphims. One can prove that an endomorphism has an orthonormal basis consisting of eigenvectors if and only if it is normal.