Linear Mapping

Mapping $ﾂ･spadesuit$

In chapter 1 and chapter 2, we have studied about vector spaces. In this chapter, we study the relationship between two vector spaces. Before going to detail, we review about the mapping.

Consider two vector spaces $V$ and $W$ . For any element $v$ of $V$ , there is assigned a unique element $w$ of $W$ ; the collection, $T$ , of such assignments is called a mapping from $V$ to $W$ , and is written

$ﾂ･displaystyle T : V ﾂ･longrightarrow W $

Using this idea, $m ﾂ･times n$

matrix represents a mapping which maps a $n$

th column vector to $m$

th column vector. In other words, it is a mapping from ${ﾂ･mathcal R}^{n}$ to ${ﾂ･mathcal R}^{m}$ .

$ﾂ･spadesuit$ Linear Mapping

In vector space, an addition and a scalar product are defined. So, a mapping between two vector spaces had better to satisfy an addition and scalar product.

Definition 3..1

Let

be vector spaces. Then the mapping $T : V ﾂ･longrightarrow W$

is called a linear mapping if it satisfies the following two conditions.
$1. T({ﾂ･bf v} + {ﾂ･bf w}) = T({ﾂ･bf v}) + T({ﾂ･bf w}) ({ﾂ･bf v},{ﾂ･bf w} ﾂ･in V)$

$2. T(ﾂ･alpha {ﾂ･bf v}) = ﾂ･alpha T({ﾂ･bf v}) ({ﾂ･bf v} ﾂ･in V, ﾂ･alpha ﾂ･in R)$

For

, We say the mapping $T$

is a linear transformation of $V$

A linear mapping from $V$ to $W$ is a mapping which preserves the properties of vector space. The image of $T$ , written ${ﾂ･rm Im}T$ , is the set of image point in $W$ :

$ﾂ･displaystyle Im (T) = T(V) = ﾂ･{{ﾂ･bf w} ﾂ･in W : T({ﾂ･bf v}) = {ﾂ･bf w} {ﾂ･rm \ for some} {ﾂ･bf v} ﾂ･in Vﾂ･}$

The kernel of $T$

, written

, is the set of elements in $V$

which map into $0 ﾂ･in W$

$ﾂ･displaystyle ﾂ･ker (T) = ﾂ･{{ﾂ･bf v} ﾂ･in V : T({ﾂ･bf v}) = 0 ﾂ･} $

The following theorems is easily proven.

Theorem 3..1

Let

be a linear mapping. Then the image of $T$

is a subspace of $W$

and the kernel of $T$

is a subspace of $V$

Example 3..1

Let

be the matrix with $m ﾂ･times n$

. Let

$ﾂ･displaystyle T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{m}.$

with

. Then show that $T$

is a linear mapping.

Answer For any vectors ${ﾂ･mathbf x}_{1},{ﾂ･mathbf x}_{2}$ and any real number $ﾂ･alpha$ , we have

$ﾂ･displaystyle T({ﾂ･mathbf x}_{1} + {ﾂ･mathbf x}_{2}) = A({ﾂ･mathbf x}_{1} + {ﾂ･math... ...mathbf x}_{1}) + A({ﾂ･mathbf x}_{2}) = T({ﾂ･mathbf x}_{1}) + T({ﾂ･mathbf x}_{2}),$

$ﾂ･displaystyle T(ﾂ･alpha {ﾂ･mathbf x}_{1}) = A(ﾂ･alpha {ﾂ･mathbf x}_{1}) = ﾂ･alpha A({ﾂ･mathbf x}_{1}) = ﾂ･alpha T({ﾂ･mathbf x}_{1})$

Thus,

is a linear mapping. $ ﾂ･blacksquare$

Suppose that the linear mapping $T : V ﾂ･longrightarrow W$ satisfies the following condition:

$ﾂ･displaystyle {ﾂ･bf v}_{1} ﾂ･neq {ﾂ･bf v}_{2} ﾂ･mbox{implies} T({ﾂ･bf v}_{1}) ﾂ･neq T({ﾂ･bf v}_{2}) ({ﾂ･bf v}_{1},{ﾂ･bf v}_{2} ﾂ･in V)$

Then

is called a one-to-one or injective.

If a linear mapping $T : V ﾂ･longrightarrow W$ satisfies $Im(T) = W$ , then $T$ is called onto mapping from $V$ to $W$ or surjective.

Example 3..2

Suppose that $S : U ﾂ･longrightarrow V, T : V ﾂ･longrightarrow W$

are linear mappings. Then show that the compostion mapping $T ﾂ･circ S$

is a linear mapping.

Answer

$ﾂ･displaystyle (T ﾂ･circ S)(ﾂ･alpha{ﾂ･bf u}_{1} + ﾂ･beta{ﾂ･bf u}_{2})$		$ﾂ･displaystyle T(S(ﾂ･alpha{ﾂ･bf u}_{1} + ﾂ･beta{ﾂ･bf u}_{2}))$
		$ﾂ･displaystyle T(ﾂ･alpha S({ﾂ･bf u}_{1}) + ﾂ･beta S({ﾂ･bf u}_{2}))$
		$ﾂ･displaystyle ﾂ･alpha (T ﾂ･circ S)({ﾂ･bf u}_{1}) + ﾂ･beta (T ﾂ･circ S)({ﾂ･bf u}_{2})$

Thus the composition mapping $T ﾂ･circ S : U ﾂ･longrightarrow W$

is a linear mapping.. $ ﾂ･blacksquare$

$ﾂ･spadesuit$ Isomorphic Mapping

One-to-one and onto mapping is called an isomorphism. If there is an isomorphism from vector space $V$ to $W$ , Then we say $V$ and $W$ are isomorphic and denoted by $V ﾂ･sim W$ . If $T : V ﾂ･longrightarrow W$ is isomorphic and $T({ﾂ･bf v}) = {ﾂ･bf w}$ , then set $S({ﾂ･bf w}) = {ﾂ･bf v}$ . Then we can find a mapping from $W$ to $V$ . This mapping is called an inverse mapping and denoted by $S = T^{-1}$ .

Theorem 3..2

Let $T : V ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ be a linear mapping. Then the following conditions are equivalent.
$(1)$

is isomorphic. In other wordsm $V ﾂ･sim {ﾂ･mathcal R}^{n}$
$(3)$

$ﾂ･ker(T) = ﾂ･{{ﾂ･bf0}ﾂ･}, Im(T) = {ﾂ･mathcal R}^{n}$
$(4)$

$T^{-1} : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow V$ is isomorphic.
$(5)$

If $ﾂ･{{ﾂ･bf w}_{1},{ﾂ･bf w}_{2}, ﾂ･ldots , {ﾂ･bf w}_{n}ﾂ･}$ is the basis of ${ﾂ･mathcal R}^{n}$ then the set of images of $T^{-1}$ :

$ﾂ･{T^{-1}({ﾂ･bf w}_{1}),T^{-1}({ﾂ･bf w}_{2}), ﾂ･ldots , T^{-1}({ﾂ･bf w}_{n})ﾂ･}$ 縺ｯ $V$ is the basis of $V$ .

Proof $(1) ﾂ･Rightarrow (2)$
Let the basis of $V$ be $ﾂ･{{ﾂ･bf v}_{1},{ﾂ･bf v}_{2}ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}$ and $ﾂ･{{ﾂ･bf w}_{1},{ﾂ･bf w}_{2}, ﾂ･ldots , {ﾂ･bf w}_{n}ﾂ･}$ be the basis of ${ﾂ･mathcal R}^{n}$ . Now define $T : V ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ as $T(ﾂ･alpha_{1}{ﾂ･bf v}_{1} + ﾂ･alpha_{2}{ﾂ･bf v}_{2} + ﾂ･cdots + ﾂ･alpha_{n}{ﾂ･bf v}_{n... ... ﾂ･alpha_{1}{ﾂ･bf w}_{1} + ﾂ･alpha_{2}{ﾂ･bf w}_{2} + ﾂ･cdots + ﾂ･alpha_{n}{ﾂ･bf w}_{n}$ . Then $T$ is a linear mapping (Excercise3.1). Also let ${ﾂ･bf a},{ﾂ･bf b} ﾂ･in V$ . Then for some $c_{1},c_{2},ﾂ･ldots,c_{n}, d_{1},d_{2},ﾂ･ldots,d_{n} ﾂ･in R$ , we have

$ﾂ･displaystyle {ﾂ･bf a} = c_{1}{ﾂ･bf v}_{1} + ﾂ･cdots + c_{n}{ﾂ･bf v}_{n},$

$ﾂ･displaystyle {ﾂ･bf b} = d_{1}{ﾂ･bf v}_{1} + ﾂ･cdots + d_{n}{ﾂ･bf v}_{n}.$

Thus

		$ﾂ･displaystyle T(c_{1}{ﾂ･bf v}_{1} + ﾂ･cdots + c_{n}{ﾂ･bf v}_{n}) = T(d_{1}{ﾂ･bf v}_{1} + ﾂ･cdots + d_{n}{ﾂ･bf v}_{n})$
		$ﾂ･displaystyle c_{1}T({ﾂ･bf v}_{1}) + ﾂ･cdots + c_{n}T({ﾂ･bf v}_{n}) = d_{1}T({ﾂ･bf v}_{1}) + ﾂ･cdots + d_{n}T({ﾂ･bf v}_{n})$
		$ﾂ･displaystyle c_{1}{ﾂ･bf w}_{1} + ﾂ･cdots + c_{n}{ﾂ･bf w}_{n} = d_{1}{ﾂ･bf w}_{1} + ﾂ･cdots + d_{n}{ﾂ･bf w}_{n}$
		$ﾂ･displaystyle c_{1} = d_{1}, ﾂ･ldots , c_{n} = d_{n}$

and

is injective. Next suppose that ${ﾂ･mathbf y} ﾂ･in {ﾂ･mathcal R}^{n}$ . Then ${ﾂ･mathbf y} = c_{1}{ﾂ･bf w}_{1} + ﾂ･cdots + c_{n}{ﾂ･bf w}_{n}$ . This shows that $c_{1}{ﾂ･bf v}_{1} + ﾂ･ldots + c_{n}{ﾂ･bf v}_{n}$ is the image of $T$

. Thus,

is injective. Therefore a linear mapping $T$

is bijective. This shows tha t $T$

is isomorphism.
$(2) ﾂ･Rightarrow (3)$

Suppose that $T({ﾂ･bf a}) = {ﾂ･bf0}$

. Then

. By the assumption. ${ﾂ･bf a} = {ﾂ･bf0}$

. Thus,

. Since

is bijection, we have $Im(T) = {ﾂ･mathcal R}^{n}$ .
$(3) ﾂ･Rightarrow (4)$

Since

is isomorphi, for any ${ﾂ･bf w}_{i},{ﾂ･bf w}_{j} ﾂ･in R^{n}$ , we have $T({ﾂ･bf v}_{i}) = {ﾂ･bf w}_{i}, T({ﾂ･bf v}_{j}) = {ﾂ･bf w}_{j}$ . and ${ﾂ･bf v}_{i},{ﾂ･bf v}_{j} ﾂ･in V$ exist. By the linearlity of $T$

, we have

$ﾂ･displaystyle T(ﾂ･alpha{ﾂ･bf v}_{i} + ﾂ･beta{ﾂ･bf v}_{j}) = ﾂ･alpha T({ﾂ･bf v}_{i}) + ﾂ･beta T({ﾂ･bf v}_{j}) = ﾂ･alpha {ﾂ･bf w}_{i} + ﾂ･beta {ﾂ･bf w}_{j}.$

Thus,

$ﾂ･displaystyle T^{-1}(ﾂ･alpha {ﾂ･bf w}_{i} + ﾂ･beta {ﾂ･bf w}_{j}) = ﾂ･alpha{ﾂ･bf v}_{i} + ﾂ･beta{ﾂ･bf v}_{j}.$

Next we show $T^{-1}$ is bijection. First of all, we show $T^{-1}({ﾂ･bf w}_{i}) = T^{-1}({ﾂ･bf w}_{j})$ implies that ${ﾂ･bf w}_{i} = {ﾂ･bf w}_{j}$ .

$ﾂ･displaystyle {ﾂ･bf w}_{i} - {ﾂ･bf w}_{j} = T({ﾂ･bf v}_{i}) - T({ﾂ･bf v}_{j}) = T({ﾂ･bf v}_{i} - {ﾂ･bf v}_{j}) = T({ﾂ･bf0}) = {ﾂ･bf0} .$

Finally, $Im(T) = {ﾂ･mathcal R}^{n}$ implies that

$ﾂ･displaystyle {ﾂ･bf v}_{i} = T^{-1}({ﾂ･bf w}_{i}) .$

Thus, $T^{-1}$ is isomorphic.
$(4) ﾂ･Rightarrow (5)$

To show $ﾂ･{T^{-1}({ﾂ･bf w}_{1}),T^{-1}({ﾂ･bf w}_{2}), ﾂ･ldots , T^{-1}({ﾂ･bf w}_{n})ﾂ･}$ is the basis of $V$

, it is enough to show this set is linearly indepenent and the vector space spanned by this set is $V$

$ﾂ･displaystyle c_{1}T^{-1}({ﾂ･bf w}_{1})+c_{2}T^{-1}({ﾂ･bf w}_{2}) + ﾂ･cdots + c_{n}T^{-1}({ﾂ･bf w}_{n}) = {ﾂ･bf0}$

implies that

$ﾂ･displaystyle T^{-1}(c_{1}{ﾂ･bf w}_{1}+c_{2}{ﾂ･bf w}_{2} + ﾂ･cdots + c_{n}{ﾂ･bf w}_{n}) = {ﾂ･bf0}.$

Note that $T^{-1}$ is isomorphic. Then

$ﾂ･displaystyle c_{1}{ﾂ･bf v}_{1} + c_{2}{ﾂ･bf v}_{2} + ﾂ･cdots + c_{n}{ﾂ･bf v}_{n} = {ﾂ･bf0}.$

Here, $ﾂ･{{ﾂ･bf v}_{1},ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}$ is linearly independent. Thus, we have $c_{1} = c_{2} = ﾂ･cdots = c_{n} = 0$ . Hence,

$ﾂ･displaystyle ﾂ･{T^{-1}({ﾂ･bf w}_{1}),T^{-1}({ﾂ･bf w}_{2}), ﾂ･ldots , T^{-1}({ﾂ･bf w}_{n})ﾂ･}$

is linearly independent. Next let ${ﾂ･bf v} ﾂ･in V$

. Then

$ﾂ･displaystyle {ﾂ･bf v} = c_{1}{ﾂ･bf v}_{1} + ﾂ･cdots + c_{n}{ﾂ･bf v}_{n} = c_{1}T^{-1}({ﾂ･bf w}_{1}) + ﾂ･cdots + c_{n}T^{-1}({ﾂ･bf w}_{n}) .$

Thus, $ﾂ･langle{ﾂ･bf w}_{1},{ﾂ･bf w}_{2},ﾂ･ldots,{ﾂ･bf w}_{n}ﾂ･rangle = V$ .
$(5) ﾂ･Rightarrow (1)$

Since $ﾂ･{T^{-1}({ﾂ･bf w}_{1}),T^{-1}({ﾂ･bf w}_{2}), ﾂ･ldots , T^{-1}({ﾂ･bf w}_{n})ﾂ･}$ is basis of $V$

. Thus,

$ﾂ･spadesuit$ Matrix Representation

To check a linear mapping of the finite dimensional vector space, we apply a matrix for the linear mapping. Then the properties of the linear mapping can be seen directly as the properties of matrices. For example, consider the linear mapping $T$ which describes the rotation of the point on $xy$ plane with $ﾂ･theta$ rotation to a point $(X,Y)$ . Consider the basis of $R^2$ , $ﾂ･{ﾂ･left(ﾂ･begin{array}{c}
1ﾂ･ﾂ･
0
ﾂ･end{array} ﾂ･right), ﾂ･left(ﾂ･begin{array}{c}
0ﾂ･ﾂ･
1
ﾂ･end{array} ﾂ･right) ﾂ･}$ . Then

$ﾂ･displaystyle {ﾂ･mathbf x} = ﾂ･left(ﾂ･begin{array}{c}
xﾂ･ﾂ･
y
ﾂ･end{array} ﾂ･right...
... ﾂ･end{array} ﾂ･right) + y ﾂ･left(ﾂ･begin{array}{c}
0ﾂ･ﾂ･
1
ﾂ･end{array} ﾂ･right), $

Thus, we can show the linear mapping by using matrix

$ﾂ･displaystyle ﾂ･left(ﾂ･begin{array}{c}
Xﾂ･ﾂ･
Y
ﾂ･end{array}ﾂ･right) = ﾂ･left(ﾂ･begin{a...
...s{ﾂ･theta}
ﾂ･end{array}ﾂ･right) ﾂ･left(ﾂ･begin{array}{c}
xﾂ･ﾂ･
y
ﾂ･end{array}ﾂ･right). $

In general, consider $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{m}$ . Let

$ﾂ･displaystyle ﾂ･{{ﾂ･bf v}_{1},ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}, ﾂ･{{ﾂ･bf w}_{1},ﾂ･ldots,{ﾂ･bf w}_{m}ﾂ･}$

be the basis of ${ﾂ･mathcal R}^{n},{ﾂ･mathcal R}^{m}$ . Let ${ﾂ･mathbf x} ﾂ･in {ﾂ･mathcal R}^{n}$ and the image of $T$

be ${ﾂ･mathbf y} = T({ﾂ･mathbf x}) ﾂ･in {ﾂ･mathcal R}^{m}$

$ﾂ･displaystyle {ﾂ･mathbf x} = {ﾂ･bf v}_{1}x_{1} + {ﾂ･bf v}_{2}x_{2} + ﾂ･cdots + {ﾂ･bf v}_{n}x_{n},$

$ﾂ･displaystyle {ﾂ･mathbf y} = {ﾂ･bf w}_{1}y_{1} + {ﾂ･bf w}_{2}y_{2} + ﾂ･cdots + {ﾂ･bf w}_{m}y_{m}$

Then by the linearlity of $T$

, we have

		$ﾂ･displaystyle T({ﾂ･bf v}_{1}x_{1} + {ﾂ･bf v}_{2}x_{2} + ﾂ･cdots + {ﾂ･bf v}_{n}x_{n})$
		$ﾂ･displaystyle T({ﾂ･bf v}_{1})x_{1} + T({ﾂ･bf v}_{2})x_{2} + ﾂ･cdots + T({ﾂ･bf v}_{n})x_{n}$

Here, $ﾂ･{T({ﾂ･bf v}_{1}),ﾂ･ldots,T({ﾂ･bf v}_{n})ﾂ･}$ is in ${ﾂ･mathcal R}^{m}$ , we can express as

$ﾂ･displaystyle T({ﾂ･bf v}_{i}) = a_{1i}{ﾂ･bf w}_{1} + a_{2i}{ﾂ･bf w}_{2} + ﾂ･cdots + a_{mi}{ﾂ･bf w}_{m} (i = 1,2,ﾂ･ldots,n)$

Thus,

		$ﾂ･displaystyle (a_{11}{ﾂ･bf w}_{1} + a_{21}{ﾂ･bf w}_{2} + ﾂ･cdots + a_{m1}{ﾂ･bf w}_{m})x_{1}$
		$ﾂ･displaystyle (a_{12}{ﾂ･bf w}_{1} + a_{22}{ﾂ･bf w}_{2} + ﾂ･cdots + a_{m2}{ﾂ･bf w}_{m})x_{2}$

		$ﾂ･displaystyle (a_{1n}{ﾂ･bf w}_{1} + a_{2n}{ﾂ･bf w}_{2} + ﾂ･cdots + a_{mn}{ﾂ･bf w}_{m})x_{n}$

Here, $ﾂ･{{ﾂ･bf w}_{1},{ﾂ･bf w}_{2},ﾂ･ldots,{ﾂ･bf w}_{m}ﾂ･}$ is the basis of ${ﾂ･mathcal R}^{m}$ . Then the corresponding coefficients must be equal. So, we have the following relations:

$ﾂ･displaystyle ﾂ･left ﾂ･{ ﾂ･begin{array}{rrr} y_{1}& =& a_{11}x_{1} + a_{12}x_{2} +... ...{m}& =& a_{m1}x_{1} + a_{m2}x_{2} + ﾂ･cdots + a_{mn}x_{n} . ﾂ･end{array}ﾂ･right .$

Then the coefficient matrix $A = (a_{ij})$ . This matrix $A$

is called a matrix representation of $T$

on the basis

$ﾂ･displaystyle ﾂ･{{ﾂ･bf v}_{1},ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}, ﾂ･{{ﾂ･bf w}_{1},ﾂ･ldots,{ﾂ･bf w}_{m}ﾂ･}$

and denoted by $[T]_{ﾂ･bf v}^{ﾂ･bf w}$ . For $V = W$

, we take the basis of $ﾂ･{{ﾂ･bf v}_{1},ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}$ of $V$

and the basis $ﾂ･{{ﾂ･bf w}_{1},ﾂ･ldots,{ﾂ･bf w}_{n}ﾂ･}$ of $W$

to be the same and write $[T]_{ﾂ･bf v}$ . Also for $T: { R}^{n} ﾂ･longrightarrow { R}^{n}$ , the following usual basis

$ﾂ･displaystyle ﾂ･{{ﾂ･bf e}_{1} = ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･ﾂ･ 0ﾂ･ﾂ･ﾂ･vdotsﾂ･ﾂ･ 0 ﾂ･end... ...ﾂ･bf e}_{n} = ﾂ･left(ﾂ･begin{array}{c} 0ﾂ･ﾂ･ 0ﾂ･ﾂ･ﾂ･vdotsﾂ･ﾂ･ 1 ﾂ･end{array}ﾂ･right)ﾂ･}$

is used and the matrix representation of $T$

is given by $[T]_{ﾂ･bf e}$ or $[T]$

To summarize, A linear mapping $T$

from ${ﾂ･mathcal R}^{n}$ to ${ﾂ･mathcal R}^{m}$ is represented by the $m ﾂ･times n$

matrix which shows the image of the basis of ${ﾂ･mathcal R}^{n}$ by the basis of ${ﾂ･mathcal R}^{m}$ . Then it satisfies

$ﾂ･displaystyle [T({ﾂ･mathbf x})]_{ﾂ･bf w} = [T]_{ﾂ･bf v}^{ﾂ･bf w}[{ﾂ･mathbf x}]_{ﾂ･bf v}$

Example 3..3

Let $T : {ﾂ･mathcal R}^{2} ﾂ･longrightarrow {ﾂ･mathcal R}^{2}$ be given by $Tﾂ･left(ﾂ･begin{array}{c}
xﾂ･ﾂ･
y
ﾂ･end{array}ﾂ･right) = ﾂ･left(ﾂ･begin{array}{c}
3x - 4yﾂ･ﾂ･
x + 5y
ﾂ･end{array}ﾂ･right)$

$Tﾂ･left(ﾂ･begin{array}{c}
xﾂ･ﾂ･
y
ﾂ･end{array}ﾂ･right) = ﾂ･left(ﾂ･begin{array}{c}
3x - 4yﾂ･ﾂ･
x + 5y
ﾂ･end{array}ﾂ･right)$

. Find the matrix representation $[T]$

relative to the basis $ﾂ･{{ﾂ･bf e}_{1},{ﾂ･bf e}_{2}ﾂ･}$ and the matrix representation of $[T]_{w}$ relative to the basis $ﾂ･{{ﾂ･bf w}_{1} = ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･ﾂ･ 3 ﾂ･end{array}ﾂ･right), {ﾂ･bf w}_{2} = ﾂ･left(ﾂ･begin{array}{c} 2ﾂ･ﾂ･ 5 ﾂ･end{array}ﾂ･right)ﾂ･}$ . Furthermore, find the matrix representation $[T]_{ﾂ･bf e}^{ﾂ･bf w}$ of $T$

relative to $ﾂ･{{ﾂ･bf e}_{1},{ﾂ･bf e}_{2}ﾂ･}, ﾂ･{{ﾂ･bf w}_{1},{ﾂ･bf w}_{2}ﾂ･}$ .

Answer

$ﾂ･begin{displaymath}ﾂ･begin{array}{l} T({ﾂ･bf e}_{1}) = T(ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･... ...5 ﾂ･end{array}ﾂ･right) = -4{ﾂ･bf e}_{1} + 5{ﾂ･bf e}_{2} ﾂ･end{array}ﾂ･end{displaymath}$

implies that $[T] = ﾂ･left(ﾂ･begin{array}{cc}
3&-4ﾂ･ﾂ･
1&5
ﾂ･end{array}ﾂ･right)$

$ﾂ･displaystyle T({ﾂ･bf w}_{1})$		$ﾂ･displaystyle T(ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･ﾂ･ 3 ﾂ･end{array}ﾂ･right)) = ﾂ･left(ﾂ･begin{array}{c} -9ﾂ･ﾂ･ 16 ﾂ･end{array}ﾂ･right) = a{ﾂ･bf w}_{1} + b{ﾂ･bf w}_{2},$
$ﾂ･displaystyle T({ﾂ･bf w}_{2})$		$ﾂ･displaystyle T(ﾂ･left(ﾂ･begin{array}{c} 2ﾂ･ﾂ･ 5 ﾂ･end{array}ﾂ･right)) = ﾂ･left(ﾂ･begin{array}{c} -14ﾂ･ﾂ･ 27 ﾂ･end{array}ﾂ･right) = c{ﾂ･bf w}_{1} + d{ﾂ･bf w}_{2}$

Then $a{ﾂ･bf w}_{1} + b{ﾂ･bf w}_{2} = ﾂ･left(ﾂ･begin{array}{c} -9ﾂ･ﾂ･ 16 ﾂ･end{array}ﾂ･right... ...ﾂ･bf w}_{1} + d{ﾂ･bf w}_{2} = ﾂ･left(ﾂ･begin{array}{c} -14ﾂ･ﾂ･ 27 ﾂ･end{array}ﾂ･right)$ implies that $a = 77,b = -43, c = 124, d = -69$

. Thus, $[T]_{ﾂ･bf w} = ﾂ･left(ﾂ･begin{array}{cc} 77&124ﾂ･ﾂ･ -43&-69 ﾂ･end{array}ﾂ･right)$ .
Also,

$ﾂ･displaystyle T({ﾂ･bf e}_{1})$		$ﾂ･displaystyle T(ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･ﾂ･ 0 ﾂ･end{array}ﾂ･right)) = ﾂ･left(ﾂ･begin{array}{c} 3ﾂ･ﾂ･ 1 ﾂ･end{array}ﾂ･right) = -13{ﾂ･bf w}_{1} + 8{ﾂ･bf w}_{2},$
$ﾂ･displaystyle T({ﾂ･bf e}_{2})$		$ﾂ･displaystyle T(ﾂ･left(ﾂ･begin{array}{c} 0ﾂ･ﾂ･ 1 ﾂ･end{array}ﾂ･right)) = ﾂ･left(ﾂ･begin{array}{c} -4ﾂ･ﾂ･ 5 ﾂ･end{array}ﾂ･right) = 30{ﾂ･bf w}_{1} - 17{ﾂ･bf w}_{2}$

implies that $[T]_{ﾂ･bf e}^{ﾂ･bf w} = ﾂ･left(ﾂ･begin{array}{cc} -13&30ﾂ･ﾂ･ 8&-17 ﾂ･end{array}ﾂ･right)$ . $ ﾂ･blacksquare$

Let $T$ be a linear mapping $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{m}$ . Then $ﾂ･ker(T)$ is a set of all elements of ${ﾂ･mathcal R}^{n}$ so that the image of $T$ is ${ﾂ･bf0}$ . In other words, it is the same as the solution space of the system of linear equations.

$ﾂ･displaystyle ﾂ･left ﾂ･{ ﾂ･begin{array}{rrr} a_{11}x_{1} + a_{12}x_{2} + ﾂ･cdots + ... ...ﾂ･ a_{m1}x_{1} + a_{m2}x_{2} + ﾂ･cdots + a_{mn}x_{n}& = & 0 ﾂ･end{array}ﾂ･right .$

Also by the theorem 2.3, the dimension of the solution space is

$ﾂ･displaystyle ﾂ･dim ﾂ･ker(T) = n - {ﾂ･rm rank}(A)$

How about the $Im(T)$

is the set all images of elements in ${ﾂ･mathcal R}^{n}$ . Then $ﾂ･dim Im(T) = {ﾂ･rm rank}(A)$

. From this, we have the following theorem.

Theorem 3..3

Let $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{m}$ be a linear mapping. Then the following is true.

$ﾂ･displaystyle ﾂ･dim {ﾂ･mathcal R}^{n} = ﾂ･dim ﾂ･ker(T) + ﾂ･dim Im(T)$

Example 3..4

Let the matrix representation of $T : {ﾂ･mathcal R}^{3} ﾂ･longrightarrow {ﾂ･mathcal R}^{3}$ by $A = ﾂ･left(ﾂ･begin{array}{rrr}
1&1&1ﾂ･ﾂ･
2&2&2ﾂ･ﾂ･
3&3&3
ﾂ･end{array}ﾂ･right )$

. Find the $ﾂ･dim ﾂ･ker(T)$

Answer Since $ﾂ･dim ﾂ･ker(T)$ is the same as $ﾂ･dim {ﾂ･mathcal R}^{3} - ﾂ･dim Im(T)$ . Also, $ﾂ･dim Im(T) = {ﾂ･rm rank}(A)$ . Thus if we find the ${ﾂ･rm rank}(A)$ , then we can find .

$ﾂ･displaystyle A = ﾂ･left(ﾂ･begin{array}{rrr}
1&1&1ﾂ･ﾂ･
2&2&2ﾂ･ﾂ･
3&3&3
ﾂ･end{array}ﾂ･...
...ightarrow ﾂ･left(ﾂ･begin{array}{rrr}
1&1&1ﾂ･ﾂ･
0&0&0ﾂ･ﾂ･
0&0&0
ﾂ･end{array}ﾂ･right ) $

implies that ${ﾂ･rm rank}(A) = 1$

. Thus

Given vector spaces $,{ﾂ･mathcal R}^{l},{ﾂ･mathcal R}^{n},{ﾂ･mathcal R}^{m}$ , there is a linear mapping $S$ such that

$ﾂ･displaystyle S : { R}^{l} ﾂ･longrightarrow {ﾂ･mathcal R}^{n}, T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{m}$

Then the composition mapping $T ﾂ･circ S : { R}^{l} ﾂ･longrightarrow { R}^{m}$ is also linear mapping. (see Example3.1). Then take basis for each vector space and let the matrix representation for linear mappings $S,T$

. Then for ${ﾂ･mathbf x} = (x_{i}), {ﾂ･mathbf y} = (y_{j}), {ﾂ･mathbf z} = (z_{k})$ , we have

$ﾂ･displaystyle (y_{i}) = A(x_{j}), (z_{k}) = B(y_{i}) = BA(x_{j})$

Thus the matrix representation for $T ﾂ･circ S$

Theorem 3..4

Let the matrix representation of $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ relative to the basis $ﾂ･{{ﾂ･bf v}_{i}ﾂ･}$ be $A$

. Then the followings areequivalent.
$(1)$

is isomorphic.
$(2)$

The matrix $A$

is regular.

Proof $(1) ﾂ･Rightarrow (2)$
Let the matrix representation of $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ be $A$ . Since $T$ is isomorphic, $T^{-1}$ exists. Now let the matrix representation of $T^{-1}$ be $B$ . Then $BA = I$ and $A$ is regular.
$(2) ﾂ･Rightarrow (1)$
Suppose that $A$ is regular. Then there is a matrix $B$ such that . Now let $S$ be the linear mapping on $B$ . Then $T ﾂ･circ S = 1$ . Thus, by Exercise 3.1, $T$ is isomorphic. $ ﾂ･blacksquare$

Exercise3-2

1. Determine whether the following mapping is linear mapping.

$ﾂ･displaystyle T_{1} : {ﾂ･mathcal R}^{3} ﾂ･longrightarrow {ﾂ･mathcal R}^{2}, T_{1}... ...y}ﾂ･right) = ﾂ･left(ﾂ･begin{array}{c} x_{3}ﾂ･ﾂ･ x_{1} + x_{2} ﾂ･end{array}ﾂ･right) .$

$ﾂ･displaystyle T_{2} : {ﾂ･mathcal R}^{3} ﾂ･longrightarrow {ﾂ･mathcal R}^{2}, T_{2}... ...ight) = ﾂ･left(ﾂ･begin{array}{c} x_{1} + 1ﾂ･ﾂ･ x_{2} + x_{3} ﾂ･end{array}ﾂ･right) .$

2. Let $V$ be the $n$ dimensional vector space. Let $ﾂ･{{ﾂ･bf v}_{1},ﾂ･ldots,{ﾂ･bf v}_{n}ﾂ･}$ be the basis of $V$ . Define $T : V ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ by $T(ﾂ･alpha_{1}{ﾂ･bf v}_{1} + ﾂ･alpha_{2}{ﾂ･bf v}_{2} + ﾂ･cdots + ﾂ･alpha_{n}{ﾂ･bf v}_{n... ... ﾂ･alpha_{1}{ﾂ･bf e}_{1} + ﾂ･alpha_{2}{ﾂ･bf e}_{2} + ﾂ･cdots + ﾂ･alpha_{n}{ﾂ･bf e}_{n}$ . Then show that $T$ is a linear mapping.

3. Let $T : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ be a linear mapping. Then the followings are equivalent.

(a): is isomorphic.
(b): There exists such that and $S : {ﾂ･mathcal R}^{n} ﾂ･longrightarrow {ﾂ･mathcal R}^{n}$ .

4. Suppose that $T : V ﾂ･longrightarrow W$ is a linear mapping. Show that $ﾂ･ker(T),Im(T)$ are the subspace of $V,W$ .

5. Let $T : {ﾂ･mathcal R}^{3} ﾂ･longrightarrow {ﾂ･mathcal R}^{3}$ be a linear transformation such that $Tﾂ･left(ﾂ･begin{array}{r} x_{1}ﾂ･ﾂ･ x_{2}ﾂ･ﾂ･ x_{3} ﾂ･end{array}ﾂ･right) = ﾂ･left(ﾂ･beg... ...x_{3}ﾂ･ﾂ･ 2x_{1} + x_{2} + 3x_{3}ﾂ･ﾂ･ 2x_{1} + 2x_{2} + x_{3} ﾂ･end{array}ﾂ･right)$ . Find the matrix representation $[T]$ of $T$ relative to the usual basis $ﾂ･{{ﾂ･bf e}_{1},{ﾂ･bf e}_{2},{ﾂ･bf e}_{3}ﾂ･}$ . Find also $[T]_{ﾂ･bf w}$ relative to the basis $ﾂ･{{ﾂ･bf w}_{1} = ﾂ･left(ﾂ･begin{array}{c} 1ﾂ･ﾂ･ 2ﾂ･ﾂ･ 1 ﾂ･end{array}ﾂ･right), {ﾂ･bf w}_... ...ﾂ･right), {ﾂ･bf w}_{3} = ﾂ･left(ﾂ･begin{array}{c} 0ﾂ･ﾂ･ -1ﾂ･ﾂ･ 1 ﾂ･end{array}ﾂ･right)ﾂ･}$ .
縺ｾ縺� $ﾂ･dim ﾂ･ker(T)$ 繧呈ｱゅａ繧�.