We presume an understanding of the concept of a linear vector space including vector addition, scalar multiplication, and subspaces. The additional concept required by statisticians is the notion of indicator vectors with their associated pointwise multiplication required to describe factorial models.
An indicator vector is one whose coordinates can only take the values 0 and 1. The unit basis vectors, ’s, are examples and any vector can be written as a linear combination of unit basis vectors.
For the previous example, the vectors and are both indicator vectors in six-dimensional space. The zero vector and the one vector are also both indicator vectors.
In six-dimensional space there are indicator vectors. An interesting subset are unit indicator vectors
Note that .
Pointwise multiplication (dot product)
If and are two vectors in -dimensional space then we define the pointwise multiplication by:
so that is a vector in -dimensional space constructed by multiplying the coordinates of and together.
Some useful identities of pointwise multiplication are:
If and are indicator vectors then is also an indicator vector that contains in position if and only if both and . This condition is the main motivation for introducing pointwise multiplication.
Linear combinations
If are vectors in -dimensional space and are scalars (real numbers) then:
is a linear combination of . For instance
are linear combinations of . The linear predictor is a linear combination of the explanatory vectors.
Span
The set of all linear combinations of is known as the span of , and written as . Any vector in this set can be written as for some .
For example, in three-dimensional space, the first two unit indicator vectors are and . Any vector in the space defined by can be written as , but, this space does not contain .
The zero vector . The one vector .
Let denote a subset of vectors in -dimensional space and suppose that and are in .
Then is a subspace if
is in and
is in .
Exercise 6.43
Verify that is a subspace of .
Geometrically, this defines a plane that passes through the origin at right angles to the second axis.
In a similar way, we can show that is a subspace of .
Dimension
The dimension of a subspace , denoted by , is the minimum number of vectors required to span the subspace. In three-dimensional space,
,
.
The sum of two subspaces
If and are two subspaces then the sum is the set of vectors that can be written as where and .
We can show that the sum of two subspaces is also a subspace itself, for instance:
If and are subspaces in six-dimensional space composed of the unit indicator vectors then .
Note that .
In general if and then .
The product of two subspaces
If and are two subspaces then the product is the span of the set of vectors, , that can be written as the pointwise product where and . In particular, if and , the product is
Exercise 6.44
In three-dimensional space find when and
.
Exercise 6.45
In four-dimensional space, let and
. Put , . Find .
Exercise 6.46
Note that the set of vectors , for which with and does not in general constitute a subspace.
Use the previous exercise to find a counter example.