<< Chapter < Page | Chapter >> Page > |
Definition 1 A linear vector space is given by a signal space (called vectors), a set of scalars , an addition operation , and a multiplication operation , such that:
Example 1 Here are some examples of vector spaces:
Definition 2 A subset is a linear subspace of if itself is a linear vector space. Note that, in particular, this implies that any subspace must obey .
Example 2 Here are some examples of subspaces:
Proposition 1 If and are subspaces of , then is also a subspace.
Proof: We assume that and hold properties of linear vector space, and show that so does :
The other properties are shown in a similar fashion.
Definition 3 A vector , where is a vector space, is a linear combination of a set if it can be written as , . The set of all linear combinations of a set of points builds a linear subspace of .
Example 3 is a linear subspace of containing the set of all quadratic functions, as it corresponds to all linear combinations of the set of functions .
Definition 4 For the set , the span of is written as
Example 4 The space of quadratic functions is written as , with . The space can also be written as with , i.e. . To prove this, we need to show and . For the former case we have
which means that every element that can be spanned by , can also be spanned by , and hence . The latter case can be shown in a similar manner.
Definition 5 A set is a linearly independent set if
Otherwise, the set is linearly dependent .
Definition 6 A finite set of linearly independent vectors is a basis for the space if , i.e. if is spanned by .
Definition 7 The dimension of is the number of elements of its basis . A vector space for which a finite basis does not exist is called an infinite-dimensional space .
Theorem 1 Any two bases of a subspace have the same number of elements.
Proof: We prove by contradiction: assume that and , , are two bases for a subspace with different numbers of elements. We have that since it can be written as a linear combination of :
Order the elements of above so that is nonzero; since must be nonzero then at least one such must exist. Solving the above equation for yields
Thus is a basis, in terms of which we can write any vector of the space , including :
Since are linearly independent, at least one of the values of must be nonzero. Sort the remaining so that is nonzero. Solving for results in
Therefore, is a basis for . Continuing in this way, we can eliminate each , showing that is a basis for . Thus, we have , or equivalently:
As a result, is linearly dependent and is not a basis. Therefore, all bases of must have the same number of elements.
Having a basis in hand for a given subspace allows us to express the points in the subspace in more than one way. For each point in the span of a basis , that is,
there is a one-to-one map (i.e., an equivalence) between and , that is, both and uniquely identify the point in . This is stated more formally as a theorem.
Theorem 2 If is a linearly independent set, then
if and only if for .
Proof: Theorem 1 states that the scalars are unique for . We begin by assuming that indeed
This implies
Since the elements of are linearly independent, each one of the scalars of the sum must be zero, that is, and so for each .
Example 5 (Digital Communications) A transmitter sends two waveforms:
The signal recorded by the receiver is continuous, that is, . Assuming that the propagation delay is known and corrected at the receiver, we will have they the received signal must be in the span of the possible transmitted signals, i.e., . One can check that and are linearly independent. Thus, one can use a unique choice of coefficients and that denote whether bit 0 or bit 1 is transmitted and contain the amount of attenuation caused by the transmission:
The uniqueness of this representation can only be obtained if the transmitted signals and are linearly independent. The waveforms above are used in in phase shift keying (PSK); other similar examples include frequency shift keying (FSK) and quadrature amplitude modulation (QAM).
Notification Switch
Would you like to follow the 'Signal theory' conversation and receive update notifications?