Consider the m &#x00D7;<!-- × --> m -matrix B , which is symmetric and positive defi

prirodnogbk 2022-07-03 Answered
Consider the m × m-matrix B, which is symmetric and positive definite (full rank). Now this matrix is transformed using another matrix, say A, in the following manner: A B A T . The matrix A is n × m with n < m. Furthermore the constraint r a n k ( A ) < n is imposed.
My intuition tells me that A B A T must be symmetric and positive semi-definite, but what is the mathematical proof for this? (why exactly does the transformation preserve symmetry and why is it that possibly negative eigenvalues in A still result in the transformation to be PSD? Or is my intuition wrong)?
You can still ask an expert for help

Want to know more about Matrix transformations?

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

Solve your problem for the price of one coffee

  • Available 24/7
  • Math expert for every subject
  • Pay only if we can solve it
Ask Question

Answers (1)

Kiana Cantu
Answered 2022-07-04 Author has 22 answers
For symmetry: note that in general, we have ( A B ) T = B T A T , hence ( A B C ) T = C T B T A T . With that, we see that
( A B A T ) T = A T T B T A T = A B A T .
For positive semidefiniteness: an n × n symmetric matrix M is positive semidefinite if (and only if) x T M x 0 whenever x R n . We note that
x T ( A B A T ) x = ( x T A ) B ( A T x ) = ( A T x ) T B ( A T x ) .
Because B is positive definite (and hence positive semidefinite), we must have y T B y 0 for y = A T x. Thus, x T ( A B A T ) x 0, so that A B A T is indeed positive semidefinite.
Did you like this example?
Subscribe for all access

Expert Community at Your Service

  • Live experts 24/7
  • Questions are typically answered in as fast as 30 minutes
  • Personalized clear answers
Learn more

You might be interested in

asked 2021-09-18

I need to find a unique description of Nul A, namely by listing the vectors that measure the null space.
A=[154310121000000]

asked 2021-09-13

Suppose that A is row equivalent to B. Find bases for the null space of A and the column space of A.
A=[12511324515212045365192]
B=[12045005780000900000]

asked 2021-06-13

For the matrix A below, find a nonzero vector in the null space of A and a nonzero vector in the column space of A
A=[2359891121431727] 
Find a vector in the null space of A that is not the zero vector 
A=[3201]

asked 2022-07-16
representative matrix of a linear transformation
given a linear transformation: T : M n ( C ) M n ( C ), T ( A ) = A 2 A T , what is the
asked 2021-11-23
If we have a matrices
A=[abcd] and e12(λ)=[1λ01]
then by doing product Ae12(λ)=[aaλ+bccλ+d] and e12(λ)A=[a+cλb+dλcd]
we can interpret that right multiplication by e12 to A gives a column-operation: add λ-times first column to the second column. In similar way, left multiplication by e12(λ) to A gives row-operation on A.
Is there any conceptual (not computational, if any) way to see that elementary row and column operations on a matrix can be expressed as multiplication by elementary matrices on left or right, accordingly?
asked 2022-07-05
T ( e 1 ) = T ( 1 , 0 ) = ( cos θ , sin θ )
and
T ( e 2 ) = T ( 0 , 1 ) = ( sin θ , cos θ )
and
A = [ T ( e 1 ) | T ( e 2 ) ] = [ cos θ sin θ sin θ cos θ ]
When I rotate a vector [ x y ] I get
[ x y ] = [ x cos θ y sin θ x sin θ + y cos θ ]
Correct me if I'm wrong, but I thought that column 1 of A [ cos θ sin θ ] , holds the 'x' values and column 2 holds the 'y' values. What I'm confused about is why does x' contain both an x component and a y component?
asked 2022-06-24
Let { x , y , z } be the basis of R 3 and A : R 3 R 3 is a linear operator given by the matrix:
[ 1 2 5 0 2 2 2 2 4 ]
a) Determine the transformation matrix A with respect to the basis { x + y , y + z , z + x } .
b)Determine if A is a linear transformation.
A
What is the process in determining the transformation matrix with respect to a new basis when you already have a transformation matrix with respect to another?

New questions