A is not square but rank(A) = rank(A') ?

  • Thread starter Thread starter mikeph
  • Start date Start date
  • Tags Tags
    Square
mikeph
Messages
1,229
Reaction score
18
A is not square but rank(A) = rank(A') ?

Hi
Can anyone help with understand a basic idea, I have a matrix A in MATLAB which is 100x3000.

I have checked and there exist many columns of A that are all zeros.

But apparently rank(A) = rank(A') = 100

Wikipedia states that the rank of an m x n matrix cannot be higher than m nor n... my interpretation of this sentence is that rank(A) ≤ min(m, n), is that correct? If so, surely that means my matrix is full-rank despite having zero columns?

My understanding is that a full-rank matrix has fully orthogonal rows/columns, and since my matrix A clearly has multiple columns filled with only zeros, it cannot possibly be full-rank. So why is rank(A) = 100?

Can someone tell me my interpretation of wikipedia is wrong and that this matrix is indeed really rank-deficient, it would make my day.

Thanksedit- bonus question... the nullspace of A is 3000x2900. So surely that would confirm the idea that there are only 100 linearly independent rows/columns in A?
 
Physics news on Phys.org


rank has nothing to do with orthogonality of rows/column. It is the dimension of the image (when the matrix is considered as a map R3000 to R100).

As far as I can tell, your interpretation of wikipedia is correct. All you need to do in order to show that the matrix has rank 100 is to find, among the 3000 columns, 100 of them that are linearly independant. It does not matter that many of them are 0, as long as together they span R100.

MikeyW said:
edit- bonus question... the nullspace of A is 3000x2900. So surely that would confirm the idea that there are only 100 linearly independent rows/columns in A?
The rank-nullity formula says that 3000 = dim(nullspace A) + rank(A). So again, if you know the nullspace has dimension 2900, this proves the rank is 100.
 


Wow, that's a really good answer. Thanks!
 
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...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top