Prove there does not exist invertible matrix C satisfying A = CB

  • Thread starter Thread starter songoku
  • Start date Start date
  • Tags Tags
    Matrix
Click For Summary
SUMMARY

The discussion confirms that there does not exist any matrix C, whether invertible or non-invertible, such that A = CB. The reasoning is based on the properties of matrix multiplication and the relationship between the kernels of matrices A and B. Specifically, the independent columns of matrix A cannot be mapped from the dependent columns of matrix B, leading to a contradiction. The analysis provided by participants emphasizes the importance of understanding the kernel and null space in linear transformations.

PREREQUISITES
  • Matrix multiplication and properties
  • Linear transformations and their kernels
  • Concept of independent and dependent columns in matrices
  • Understanding of null space in linear algebra
NEXT STEPS
  • Study the relationship between the kernel and image of linear transformations
  • Learn about the implications of column independence in matrix theory
  • Explore the concept of null space in more depth
  • Investigate examples of transformations that illustrate the kernel's role
USEFUL FOR

Students and professionals in mathematics, particularly those studying linear algebra, matrix theory, and related fields. This discussion is beneficial for anyone seeking to understand the implications of matrix transformations and their properties.

songoku
Messages
2,508
Reaction score
402
Homework Statement
Please see below
Relevant Equations
Matrix Multiplication
1681226190098.png


My attempt:

Let C =
$$\begin{pmatrix}
c_{11} & c_{12} & c_{13} \\
c_{21} & c_{22} & c_{23} \\
c_{31} & c_{32} & c_{33}
\end{pmatrix}$$

If C is multiplied by B, then:

1)
a21 = c21 . b11
0 = c21 . b11 ##\rightarrow c_{21}=0##

2)
a31 = c31 . b11
0 = c31 . b11 ##\rightarrow c_{31}=0##

3)
a32 = c32 . b22
0 = c32 . b22 ##\rightarrow c_{32}=0##

But a33 = c31 . b13 + c32 . b23 + c33 . b33 = 0, which contradicts the restriction from the question

So actually matrix C does not exist, not only invertible matrix C does not exist but also non - invertible matrix C can not exist.

Is this what the question wants? Or I am missing something?

Thanks
 
Physics news on Phys.org
songoku said:
Homework Statement: Please see below
Relevant Equations: Matrix Multiplication

View attachment 324741

My attempt:

Let C =
$$\begin{pmatrix}
c_{11} & c_{12} & c_{13} \\
c_{21} & c_{22} & c_{23} \\
c_{31} & c_{32} & c_{33}
\end{pmatrix}$$

If C is multiplied by B, then:

1)
a21 = c21 . b11
0 = c21 . b11 ##\rightarrow c_{21}=0##

2)
a31 = c31 . b11
0 = c31 . b11 ##\rightarrow c_{31}=0##

3)
a32 = c32 . b22
0 = c32 . b22 ##\rightarrow c_{32}=0##

But a33 = c31 . b13 + c32 . b23 + c33 . b33 = 0, which contradicts the restriction from the question

So actually matrix C does not exist, not only invertible matrix C does not exist but also non - invertible matrix C can not exist.

Is this what the question wants? Or I am missing something?

Thanks
Looks ok. Whether you should calculate it, or reason by a vector in the kernel cannot be said. That depends on the context that you didn't provide.
 
fresh_42 said:
Looks ok. Whether you should calculate it, or reason by a vector in the kernel cannot be said. That depends on the context that you didn't provide.
If the context you mean is related to "Relevant Equations", I want to clarify that what I wrote in there was actually the method I could think of to solve this question, not the method I must use so I really want to learn another approach to solve the question.

I have no idea how to reason by a vector in the kernel. Kernel is null space so what I have in mind is something like this:

Let C be the transformation matrix T that transforms B to A so T(B) = A.
Kernel of T is the set of all B such that T(B) = 0 but not all elements in A is zero so I don't really know how to use kernel to solve the question.

Thanks
 
Your solution is probably the shortest.
 
Thank you very much fresh_42
 
To say how you can approach this thinking about kernels: If ##C## is invertible, then the kernel (I'm more used to using the word 'nullspace' when describing matrices and kernel when describing linear maps, but this is just terminology) of ##B## and the kernel of ##A=CB## are the same. However, the first three columns of ##A## are independent, so there is no nonzero element of the kernel of the form ##\begin{pmatrix} * \\ * \\ * \\0\end{pmatrix}## whereas for ##B##, the first three columns are dependent, so there is such an element in the kernel.
 
  • Like
Likes mathwonk and songoku
to rephrase this nice comment, the matrix C maps the first three columns of B to the first three columns of A, but that is impossible, since dependent columns cannot map to independent ones. I.e. the fact that A and B have 4 columns is a smoke screen, and one can ask the question about their 3x3 left parts, where it is clear. Note also that this does not use invertibility of C either. In terms of the kernel, it uses only that the kernel of CB contains the kernel of B, whether C is invertible or not.
 
Last edited:
  • Like
Likes Infrared and songoku

Similar threads

  • · Replies 175 ·
6
Replies
175
Views
26K