Vector space orthogonal basis

We start by constructing an orthonormal basis a, b, c (where c is a unit vector along the wavevector k, with a and b in the two-dimensional vector space orthogonal to k). The significance of this ansatz is that any vector function F(x,y,z) is divergence free if and only if its Fourier coefficients F(k) are orthogonal to k, that is if k -F(k) =0. Thus, F(k) is a linear combination of a(k) and b(k). Lesieur defines the complex helical waves as... 

A set of complete orthonormal functions ipfx) of a single variable x may be regarded as the basis vectors of a linear vector space of either finite or infinite dimensions, depending on whether the complete set contains a finite or infinite number of members. The situation is analogous to three-dimensional cartesian space formed by three orthogonal unit vectors. In quantum mechanics we usually (see Section 7.2 for an exception) encounter complete sets with an infinite number of members and, therefore, are usually concerned with linear vector spaces of infinite dimensionality. Such a linear vector space is called a Hilbert space. The functions ffx) used as the basis vectors may constitute a discrete set or a continuous set. While a vector space composed of a discrete set of basis vectors is easier to visualize (even if the space is of infinite dimensionality) than one composed of a continuous set, there is no mathematical reason to exclude continuous basis vectors from the concept of Hilbert space. In Dirac notation, the basis vectors in Hilbert space are called ket vectors or just kets and are represented by the symbol tpi) or sometimes simply by /). These ket vectors determine a ket space. 

It should be clear that the set of all real orthogonal matrices of order n with determinants +1 constitutes a group. This group is denoted by 0(n) and is a continuous, connected, compact, n(n — l)/2 parameter9 Lie group. It can be thought of as the set of all proper rotations in a real n-dimensional vector space. If xux2,. ..,xn are the orthonormal basis vectors in this space, a transformation of 0(n) leaves the quadratic form =1 x invariant. 

Basis functions between these vector spaces are orthogonal because they are contained in Hilbert spaces with different numbers of particles. Hence the four metric matrices that must be constrained to be positive semidefinite for 3-positivity [17] are given by... 

Linear operators in finite-dimensional spaces. It is supposed that an n-dimensional vector space Rn is equipped with an inner product (, ) and associated norm a = / x, x). By the definition of finite-dimensional space, any vector x 6 Rn can uniquely be represented as a linear combination x = Cj + c of linearly independent vectors, ..., which constitute a basis for the space Rn. The numbers ck are called the coordinates of the vector x. One can always choose as a basis an orthogonal and normed system of vectors. .. , n ... 

One can also define orthogonal operators, if a complex-conjugation operator has been defined on the vector space. The last three classifications are basis-set specific and cannot be meaningfully applied to general operators. 

Figure 3.2. Examples, in 2-D space, of (a) an LI set of orthogonal basis vectors ei e2, (b) an LI non-orthogonal basis, and (c) a set of three basis vectors in 2-D space that are not LI because...

This is a most useful result since we often need to calculate the inverse of a 3 x3 MR of a symmetry operator R. Equation (10) shows that when T(R) is real, I R)-1 is just the transpose of T(R). A matrix with this property is an orthogonal matrix. In configuration space the basis and the components of vectors are real, so that proper and improper rotations which leave all lengths and angles invariant are therefore represented by 3x3 real orthogonal matrices. Proper and improper rotations in configuration space may be distinguished by det T(R),... 

The matrix elements Hkk follow directly from (1) and correspond to directional cosines in a vector space. Transfers between adjacent sites are proportional to tpq. The local structure of VB diagrams limits the outcome to possibilities for Hkki that can readily be enumerated [13]. Spin problems in the covalent basis have even simpler[28] Hkki. The matrix H is not symmetric when the basis is not orthogonal, but it is extremely sparse. This follows because N sites yield about N bonds and each transfer integral gives at most two diagrams. There are consequently 2N off-diagonal Hkk> in matrices of order Ps N, Ne)/4 for systems with inversion and... 

The Lanczos vector space CM can be defined through its basis and the appropriate scalar product. A finite sequence of the Lanczos orthogonal polynomials of the first kind is complete, as will be shown in Section 12, and therefore, the set Q (u) with K elements represents a basis. Thus, the polynomial set Q (u) =0 will be our fixed choice for the basis in CK. Of particular importance is the set K, of the zeros uk %=1 of the Kth degree characteristic polynomial QK(u) ... 

The orthogonal characteristic polynomials or eigenpolynomials Qn(u) play one of the central roles in spectral analysis since they form a basis due to the completeness relation (163). They can be computed either via the Lanczos recursion (84) or from the power series representation (114). The latter method generates the expansion coefficients q , -r through the recursion (117). Alternatively, these coefficients can be deduced from the Lanczos recursion (97) for the rth derivative Q /r(0) since we have qni r = (l/r )Q r(0) as in Eq. (122). The polynomial set Qn(u) is the basis comprised of scalar functions in the Lanczos vector space C from Eq. (135). In Eq. (135), the definition (142) of the inner product implies that the polynomials Qn(u) and Qm(u) are orthogonal to each other (for n= m) with respect to the complex weight function dk, as per (166). The completeness (163) of the set Q (u) enables expansion of every function f(u) e C in a series in terms of the... 

A set of numbers representing the states or observables is called a representation. In the geometrical space of three-dimensional vectors r a set of numbers representing r is the set of three coordinates x, y, z in a system of orthogonal axes. We may consider the system of unit vectors x, y, il in the directions of the axes as a basis for the representation of r. A coordinate is the scalar product of r with one of the unit vectors. A different basis is provided by a rotated set of axes. A vector is changed into a new vector by operating with a 3 x 3 matrix. This concept is easily extended to the spaces of quantum mechanics. 

In general, we will have to assume that the 5 and 5° spaces are not orthogonal. This means that there does not exist a vector in the 5-space which is orthogonal to all of the vectors of the 5°-space (22). In addition, the states )° constitute a nonorthonormal basis set for the model space, 5°. From a physical point of view, it is important to have a one-to-one correspondence between the exact eigenvectors, 1 ), and the vectors )°. However, another basis set, denoted w)°, n = 1,, biorthogonal to the previous one w)°, n = 1, N has to be defined and used in Bloch s formulation. These vectors satisfy the following equations ... 

The introduction of the foregoing discussion—unnecessary for the development of the point groups—is intended to emphasize the possible role of sets of symmetry operators as coordinates that define the symmetry space of the object under consideration. Thus, certain properties of an object with known symmetry may be expressable in terms of basis vectors that span the space of the symmetry group elements of the object. We will return to this approach in later chapters. The important idea is that the group elements themselves form a space of dimension equal to the [lumber of elements, and as such it should be possible to find orthogonal basis vectors for this space and then to use these basis vectors to study physical consequences of the symmetry of the system. This is the root of the utility of group theory in physics and chemistry. 

The n basis vectors which define the basis of a coordinate space 5" are n mutually orthogonal and normalized vectors. Together they form a frame of reference axes for that space. 

---