<< Chapter < Page | Chapter >> Page > |
One of the more powerful tools in statistical communication theory is the abstract concept of a linear vector space . The key result that concerns us is the representation theorem : a deterministic time function can be uniquely represented by a sequence of numbers.The stochastic version of this theorem states that a process can be represented by a sequence of uncorrelated random variables.These results will allow us to exploit the theory of hypothesis testing to derive the optimum detection strategy.
A linear vector space is a collection of elements called vectors having the following properties:
There are many examples of linear vector spaces. A familiar example is the set of column vectors of length . In this case, we define the sum of two vectors to be:
A more interesting (and useful) example is the collection of square integrable functions . A square-integrable function satisfies:
Let be a linear vector space. A subspace of is a subset of which is closed. In other words, if , then and all elements of are elements of , but some elements of are not elements of . Furthermore, the linear combination for all scalars , . A subspace is sometimes referred to as a closed linear manifold .
A structure needs to be defined for linear vector spaces so that definitions for the length of a vector and for thedistance between any two vectors can be obtained. The notions of length and distance are closely related to the concept ofan inner product.
An inner product of two real vectors , is denoted by and is a scalar assigned to the vectors and which satisfies the following properties:
As an example, an inner product for the space consisting of column matrices can be defined as The reader should verify that this is indeed a valid inner product (i.e., it satisfies all of the properties givenabove). It should be noted that this definition of an inner product is not unique: there are other inner product definitions which also satisfy all of theseproperties. For example, another valid inner product is where is an positive-definite matrix. Choices of the matrix which are not positive definite do not yield valid inner products ( property 4 is not satisfied). The matrix is termed the kernel of the inner product. When this matrix is something other than an identity matrix, the innerproduct is sometimes written as to denote explicitly the presence of the kernel in the inner product.
The norm of a vector is denoted by and is defined by:
Because of the properties of an inner product, the norm of a vector is always greater than zero unless the vector isidentically zero. The norm of a vector is related to the notion of the length of a vector. For example, if the vector is multiplied by the constant scalar , the norm of the vector is also multiplied by . In other words, "longer" vectors ( ) have larger norms. A norm can also be defined when the inner product contains a kernel. In this case, the normis written for clarity.
An inner product space is a linear vector space in which an inner product can be defined for allelements of the space and a norm is given by . Note in particular that every element of an inner product space must satisfythe axioms of a valid inner product.
For the space consisting of column matrices, the norm of a vector is given by (consistent with the first choice of an inner product) This choice of a norm corresponds to the Cartesian definition of the length of a vector.
One of the fundamental properties of inner product spaces is the Schwarz inequality
Two vectors are said to be orthogonal if the inner product of the vectors is zero: .
Consistent with these results is the concept of the "angle" between two vectors. The cosine of this angle is defined by: Because of the Schwarz inequality, . The angle between the orthogonal vectors is and the angle between vectors satisfying the Schwarz inequality with equality is zero (the vectors are parallel to each other).
The distance between two vectors is taken to be the norm of the difference of the vectors.
In our example of the normed space of column matrices, the distance between and would be which agrees with the Cartesian notion ofdistance. Because of the properties of the inner product, this distance measure (or metric ) has the following properties:
Notification Switch
Would you like to follow the 'Statistical signal processing' conversation and receive update notifications?