How to determine if a subset of rank-1 matrices can sum to a full-rank matrix?

  • Thread starter Thread starter Pere Callahan
  • Start date Start date
  • Tags Tags
    Matrices rank Sum
Pere Callahan
Messages
582
Reaction score
1
HI,

I came across the following question, which I could only solve for one trivial special case. I'm hoping for help from your side on how to deal with the general case.

Assume we are in the situation that we have a decomposition of a full-rank d x d matrix, M, into a sum of N rank-1 matrices, N>d, in formulas,
<br /> M = m_1+\ldots+m_N.<br />

I'm interested in whether or not one can in general conclude that there exists a subset \{m_{k_1},\ldots,m_{k_d}\} whose sum is a full-rank (that is rank d) matrix.

The special case I mentioned is the case d=1, in which case there is nothing to prove:smile:
What I tried is writing the rank 1 matrices m_n as an outer product of vectors, that is m_n=b_n\otimes a_n. Then the assumption that the sum of the m_n have full rank certainly implies that the b_n span all of \mathbb{R}^d, so in looking for a subset whose sum is rank d I started with choosing a basis from among the b_n; i did not succeed, however, in showing that the sum of the corresponding m_n is a full rank matrix.I would appreciate any tips from you,

Thanks,
Pere
 
Physics news on Phys.org
Yes, it is true. I'll outline the proof, and let you fill in the details.

For each column there exists a matrix in the decomposition with non-trivial elements in that column.

So if we choose the kth element of our subset as the one with non-zero entries in the kth column the sum of this subset must be full rank.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
Back
Top