generalization of [a matrix of rank at most 1 if and only if a matrix is a product of two vectors]

61 Views Asked by At

I know that a matrix is of rank $\le 1$ if and only if it is a product of two vectors. Then is there some generalization of this fact? Specifically, I am wondering that such sentence: a $m \times n$ matrix is of rank $\le 2$ if and only if it is a product of $m\times 2$ and $2 \times n$ matrix. The reason that I have such a question is actually I want to know when a matrix ,which is of rank >1, can be expressed as product of two matrices.

I'll be very thankful if anyone gives me some advice or reference. Thanks for reading my question.

1

There are 1 best solutions below

0
On BEST ANSWER

I prefer to work in linear maps than matrices, though they are more or less the same in finite dimensions.

Suppose $T$ is a rank $k$ transformation from $\mathbb{R}^m$ to $\mathbb{R}^n$. We can obtain this transformation from an $n \times m$ matrix $M$ by defining $Tv = Mv$. In this way, we define $T$ by its standard matrix, $M$.

Then $T$ has a range that is a dimension $k$ subspace of $\mathbb{R}^n$ (call it $R$). Then $T$ with codomain restricted to $R$ is then a transformation from $m$ dimensions to $k$ dimensions. Once you choose a $k$-element basis $B$ for $R$, we can form an $k \times m$ matrix $A$ representing this transformation. That is, if $S_m$ is the standard basis on $\mathbb{R}^m$, then $A[v]_{S_m} = [Tv]_B$.

We can then consider the inclusion map from $R$ to $\mathbb{R}^n$ (i.e. the identity on $R$, but with a larger codomain of $\mathbb{R}^n$). We can form the matrix from $C$ to $S_n$, which is an $n \times k$ matrix $C$, satisfying $C[v]_B = [v]_{S_n}$.

Therefore, in total, we have, $$CA[v]_{S_m} = C[Tv]_B = [Tv]_{S_n}.$$ Therefore, $CA$ is the standard matrix of $T$, that is $M = CA$, where $C$ is $n \times k$ and $A$ is $k \times m$. This gives you one direction of the result.

To get the other direction, simply recall that the rank of a matrix is bounded above by the minimum of its dimensions, and $\operatorname{rank}(AB) \le \min\lbrace\operatorname{rank}(A), \operatorname{rank}(B) \rbrace$.