A Linear Map From a Finitedimensional Space is Always Continuous
Linear maps are transformations from one vector space to another that have the property of preserving vector addition and scalar multiplication.
Table of contents
-
Definition
-
Matrix multiplication defines a linear map
-
The definition extends to combinations of multiple terms
-
A linear map is completely determined by its values on a basis
-
Solved exercises
-
Exercise 1
-
Exercise 2
-
Let us start with a definition.
Definition Let and
be two linear spaces. Let
be a transformation that associates one and only one element of
to each element of
. The transformation
is said to be a linear map if and only if
for any two scalars
and
and any two vectors
.
While "map" is probably the most commonly used term, we can interchangeably use the terms "mapping", "transformation" and "function".
Example Let be the space of all
column vectors having real entries. Let
be the space of
column vectors having real entries. Suppose the map
associates to each vector
a vector
Now, take any two vectors
and any two scalars
and
. By repeatedly applying the definitions of vector addition and scalar multiplication, we get
Thus,
is a linear map.
We will later prove that every linear map can be represented by a matrix, but the converse is also true: pre-multiplication of vectors by a matrix defines a linear map.
Proposition Let be the linear space of all
column vectors. Let
be the linear space of all
column vectors. Let
be a
matrix. Consider the transformation
defined, for any
, by
where
denotes the matrix product between
and
. Then
is a linear map.
Proof
The same result holds for post-multiplication.
Proposition Let be the linear space of all
row vectors. Let
be the linear space of all
row vectors. Let
be a
matrix. Consider the transformation
defined, for any
, by
where
denotes the matrix product between
and
. Then
is a linear map.
Proof
Analogous to the previous proof.
As it might be intuitive to understand, linear maps preserve the linearity also of combinations that involve more than two terms.
Proposition Let be
scalars and let
be
elements of a linear space
. If
is a linear map, then
Proof
The result is obtained by applying the linearity property to one vector at a time:
A very interesting and useful property is that a linear map is completely determined by its values on a basis of
(i.e., a set of linearly independent vectors such that any vector
can be written as a linear combination of the basis).
Proposition Let and
be linear spaces. Let
be a basis of
. Let
. Then, there is a unique linear map
such that
for
.
Proof
In other words, if we know the values taken by the map in correspondence to the vectors of the basis, then we are able to derive also all the other values taken by the map.
Example Let be the space of all
vectors. Let
be the space of all
vectors. Consider the linear map
such that
The two vectors
form a basis for
(the canonical basis of
). Any vector
can be written as a linear combination of the basis. In particular, if we denote by
and
the two entries of
, then we have that
Therefore, the value of
in correspondence of any vector
can be derived as follows:
Below you can find some exercises with explained solutions.
Exercise 1
Let be the space of all
vectors. Define the function
that maps each vector
as follows:
Determine whether
is a linear map.
Solution
Take any two vectors and any two scalars
and
. We have that
The map would be linear if the vector
was equal to zero for any two scalars
and
. But the latter vector is different from zero for any choice of
and
such that
. Therefore, the map is not linear.
Exercise 2
Let be the space of all
vectors. Define the function
that maps each vector
as follows:
Determine whether
is a linear map.
Solution
For any two vectors and any two scalars
and
, we have that
Thus, the map is linear.
Please cite as:
Taboga, Marco (2021). "Linear map", Lectures on matrix algebra. https://www.statlect.com/matrix-algebra/linear-map.
Source: https://www.statlect.com/matrix-algebra/linear-map
0 Response to "A Linear Map From a Finitedimensional Space is Always Continuous"
Post a Comment