2
$\begingroup$

Let $S\colon \mathbb{R}^3\to \mathbb{R}^4$ and $T\colon \mathbb{R}^4\to \mathbb{R}^3$ be two linear transformations. If $TS$ is an identity map then can we say that $ST$ is also an identity map? I think it should be, because $ST\colon \mathbb{R}^3\to \mathbb{R}^3$. Please guide me.

  • 0
    It’s only when the two vector spaces have the same finite dimension that you can say that $TS$ is identity if and only if $ST$ is identity.2012-12-26

2 Answers 2

4

There are two conventions about the order of multiplication. The more common one is that $AB$ means do $B$ first and then $A$.

With that convention, let $S$ be the map from $\mathbb{R^3}$ to $\mathbb{R}^4$ that takes $(a,b,c)$ to $(a,b,c,0)$. Let $T$ be the map from $\mathbb{R}^4$ to $\mathbb{R}^3$ that takes $(a,b,c,d)$ to $(a,b,c)$. Then $TS$ is the identity map from $\mathbb{R}^3$ to $\mathbb{R}^3$. But $ST$ is certainly not the identity map from $\mathbb{R}^4$ to $\mathbb{R}^4$.

If we use the opposite convention, the result is vacuously true. Any linear map from $\mathbb{R}^4$ to $\mathbb{R}^3$ has image of dimension $\le 3$. If this is followed by a linear map from $\mathbb{R}^3$ to $\mathbb{R}^4$, the image remains of dimension $\le 3$. Thus the composition cannot be the identity mapping.

0

Not necessarily. For example, consider

$S\colon \mathbb{R}^3\to \mathbb{R}^4:(x,y,z)\mapsto (x,y,z,0)$ & $T\colon \mathbb{R}^4\to \mathbb{R}^3:(x,y,z,w)\mapsto (x,y,z)$. Then $TS:\mathbb R^3\to\mathbb R^3$ is the identity map. But $ST:\mathbb{R}^4\to \mathbb{R}^4:(x,y,z,w)\mapsto(x,y,z,0)$ is not the identity map.

Note:

  • $S(\alpha(x_1,y_1,z_1)+(x_2,y_2,z_2))=(\alpha x_1+x_2,\alpha y_1+y_2,\alpha z_1+z_2,0)=(\alpha x_1,\alpha y_1,\alpha z_1,0)+(x_2,y_2,z_2,0)=\alpha S(x_1,y_1,z_1)+S(x_2,y_2,z_2).$

  • $T(\alpha(x_1,y_1,z_1,w_1)+(x_2,y_2,z_2,w_2))=(\alpha x_1+x_2,\alpha y_1+y_2,\alpha z_1+z_2)=\alpha(x_1,y_1,z_1)+(x_2,y_2,z_2)=\alpha T(x_1,y_1,z_1,w_1)+T(x_2,y_2,z_2,w_2).$

  • 1
    @mr.FS: I noticed that later (though it's not a convincing excuse).2012-12-26