Dimension vector space

In terms of linear vector space, Buckingham s theorem (Theorem 2) simply states that the null space of the dimensional matrix has a fixed dimension, and Van Driest s rule (Theorem 3) then specifies the nullity of the dimensional matrix. The problem of finding a complete set of B-numbers is equivalent to that of computing a fundamental system of solutions of equation 13 called a complete set of B-vectors. For simplicity, the matrix formed by a complete set of B-vectors will be called a complete B-matrix. It can also be demonstrated that the choice of reference dimensions does not affect the B-numbers (22). 

As we will see later, it is possible to present the principal aspects of the theory of difference schemes with further treatment of Hh as an abstract vector space of arbitrary dimension. 

A vector space spanned by a set of p vectors (z,... z ) with the same dimension n is the set of all vectors that are linear combinations of the p vectors that span the... 

A set of n vectors of dimension n which are linearly independent is called a basis of an -dimensional vector space. There can be several bases of the same vector... 

The set of unit vectors of dimension n defines an n-dimensional rectangular (or Cartesian) coordinate space 5 . Such a coordinate space S" can be thought of as being constructed from n base vectors of unit length which originate from a common point and which are mutually perpendicular. Hence, a coordinate space is a vector space which is used as a reference frame for representing other vector spaces. It is not uncommon that the dimension of a coordinate space (i.e. the number of mutually perpendicular base vectors of unit length) exceeds the dimension of the vector space that is embedded in it. In that case the latter is said to be a subspace of the former. For example, the basis of 5 is ... 

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. 

A complete unitary space is called a Hilbert space. The unitary spaces of finite dimension are necessarily complete. For reasons of completeness the vector space of all n-tuplets of rational numbers is not a Hilbert space, since it is not complete. For instance, it is possible to define a sequence of rational numbers that approaches the irrational number y/2 as a limit. The set of all rational numbers therefore does not define a Hilbert space. Similar arguments apply to the set of all n-tuplets of rational numbers. 

In the vector space L defined over the field of real numbers, every operator acting on L does not necessarily have eigenvalues and eigenvectors. Thus for the operation of 7t/2 rotation on a two-dimensional vector space of (real) position vectors, the operator has no eigenvectors since there is no non-zero vector in this space which transforms into a real multiple of itself. However, if L is a vector space over the field of complex numbers, every operator on L has eigenvectors. The number of eigenvalues is equal to the dimension of the space L. The set of eigenvalues of an operator is called its spectrum. 

If, in a vector space of an infinite number of dimensions the components Ai and Bi become continuously distributed and everywhere dense, i is no longer a denumerable index but a continuous variable (x) and the scalar product turns into an overlap integral f A(x)B(x)dx. If it is zero the functions A and B are said to be orthogonal. This type of function is more suitable for describing wave motion. 

A vector space 91" of dimension n is the set of all the n-tuples, called vectors, of real numbers or scalars. 

The idea of a vector space is usefully extended to an infinite number of dimensions for continuous functions. Given a function /(e.g.,/ = sinx) and a definition domain (e.g., 0 to In), the coordinates of / = sin x will be the infinite number of values of the function over the definition domain. This definition is consistent with that of Euclidian spaces if a metric is defined. In about the same way as the squared norm of the n-vector x(xux2,. .., x ) is... 

Example 3.14 (Application to description given in Proposition 2.9). Let us consider Hermitian vector spaces V and W whose dimensions are n and 1 respectively. Then M = End(P)0End(l/) Hom(lT, P) Hom(P, W) becomes a vector space with a Hermitian product. We consider an action of G = U(P) on M given by... 

However there is another way to describe the moduli space which is called the ADHM description. It is quite relevant to us, so let us review on that. Let V, W he hermitian vector spaces whose dimensions are n, r. Define a complex vector space M by... 

Horiuti calls H the number of independent intermediates. Temkin (10) describes the equation P = S - H as Horiuti s rule, and the equation R = Q — H as expressing the number of basic overall equations. To avoid confusion, let us confine the term basis and the concept of linear independence to sets of vectors, and let numbers such as H, P, Q, R, S be understood as dimensions of vector spaces. This makes it simple to determine their values and the relations among them, as will be done in Section III. 

Definition 2.4 Let V be a finite-dimensional complex vector space. Suppose that ui,..., u is a finite basis ofV. Then the dimension of V is n. 

Let us calculate, for future reference, the dimension of the complex vector space of homogeneous polynomials (with complex coefficients) of degree n on various Euclidean spaces. Homogeneous polynomials of degree n on the real line R are particularly simple. This complex vector space is onedimensional for each n. In fact, every element has the form ex for some c e C. In other words, the one-element set x" is a finite basis for the homogeneous polynomials of degree n on the real line. 

Likewise, one can obtain the dimension of the vector space P3 of homoge-... 

In the end, dimension is important physically because we can associate a certain complex vector space to each orbital type, and the dimension of the complex vector space tells us how many different states can fit in each orbital of that type. Roughly speaking, this insight, along with the Pauli exclusion principle, determines the number of electrons that fit simultaneously into each shell. These numbers determine the structure of the periodic table. 

Not only are linear transformations necessary for the very definition of a representation in Chapter 6, but they are useful in calculating dimensions of vector spaces — see Proposition 2.5. Linear transformations are at the heart of homomorphisms of representations and many other constructions. We will often appeal to the propositions in this section as we construct linear transformations. For example, we will use Proposition 2.4 in Section 5.3 to define the tensor product of representations. 

We will reserve the plainer symbol P for homogeneous polynomials of degree n in only two variables, a star player in our drama.) The set P is a complex vector space of dimension 1 the set containing only the function f C, (x, y, z) 1 is a basis. Let T denote the restriction of the... 

Proposition 2.11 Suppose V is a complex vector space of dimension zz e N. Suppose T . V V is a complex linear operator. Then T has at least one eigenvalue (and at least one corresponding eigenvector). 

Exercise 2.3 Show that C (with the usual addition and multiplication) is itself a complex vector space of dimension 1. Then show thatC with the usual addition but with scalar multiplication by real numbers only is a real vector space of dim ension 2. 

Exercise 2.6 Let V be an arbitraty complex vector space of dimension n. Show that by restricting scalar multiplication to the reals one obtains a real vector space of dimension 2n. 

Exercise 2.7 Consider the complex plane C as a real vector space of dimension two. Is complex conjugation a real linear transformation ... 

Exercise 2.12 Show that the set C2 of twice-differentiable complex-valued functions on R Zv a complex vector space. Find its dimension. Show that the Laplacian is a linear operator on C. ... 

Exercise 2.13 Suppose V is a complex vector space of finite dimension. Suppose W is a subspace ofV and dim W = dim V. Show that W = V. 

Exercise 2.24 (Used in Exercise 3.20) Suppose V and W are vector spaces. DgyzneHom(V, IV) to be the set of linear transformations from V to W. Show that Honi(V, IV) is a vector space. Express its dimension in terms of the dimensions of V and W. 

Show that Sym" V is a vector space and that its dimension is ), where d is the dimension of V. 

Recall from Section 2.2 that the complex vector space P - of homogeneous complex polynomials of degree n in two variables has dimension n +-1 and has a basis of the form x",, xy" , y . The action of the... 

In other words, the natural representation of G on Hoiiv (V. W) is trivial. Still, ( V, W) does carry important information. In Section 6.4 we will find the vector space dimension of HomoCV, W) to be useful. 

Exercise 6.5 Use Proposition 6.3 to prove that every irreducible representation of the circle group T is one dimensional. Then generalize this result to prove that every irreducible representation of an n-fold product of circles T X X T (otherwise known as an n-torus) is one dimensional. (As always in this text, representations are complex vector spaces, so one dimensional refers to one complex dimension.)... 

To calculate the dimension of the vector space H for every nonnegative integer f we will use the Fundamental Theorem of Linear Algebra (Proposition 2.5), which we repeat here if T is a linear transformation from a finitedimensional vector space V to a finite-dimensional vector space W, then we have... 

Proposition 7.1 Suppose f is a nonnegative integer. Then the dimension of the vector space ZZ of homogeneous harmonic polynomials of degree f in three variables is -F 1. 

The surjectivity of the restricted Laplacian allows us to finish our computation of the dimension of the vector space of homogeneous harmoiuc polynomials of degree I. We already knew that the dimension of the domain of the restricted Laplacian was - - l)(f + 2). We now know that the dimension of the image of the restricted Laplacian is the dimension of that is, — l)f. Hence by Proposition 2.5 the dimension of the space of harmoiuc homogeneous polynomials of degree f is... 

---