Intereting Posts

Show that if there are 101 people of different heights standing in a line
Prove that $\int_{0}^{1}\sin{(\pi x)}x^x(1-x)^{1-x}\,dx =\frac{\pi e}{24} $
Closed form of an inhomogeneous non-constant recurrence relation
A nonlinear version of the Riesz isomorphism
show that $\int_{0}^{\infty } \frac {\cos (ax) -\cos (bx)} {x^2}dx=\pi \frac {b-a} {2}$
A question concerning Borel measurability and monotone functions
Finitely generated modules in exact sequence
Lie algebra of a quotient of Lie groups
Combinatorics Involving Seating People in a Line
“Cascade induction”?
Is there a problem when defining exponential with negative base?
Relation between convergence class and convergence space
Minimum of the Gamma Function $\Gamma (x)$ for $x>0$. How to find $x_{\min}$?
Problem books in higher mathematics
Show $P(A\cap B)\geq P(A)+P(B)-1$

Let $A$ be an $n\times n$ symmetric positive definite matrix and let $B$ be an $m\times n$ matrix with $\mathrm{rank}(B)= m$. Show that $BAB'$ is symmetric positive definite.

- How to find perpendicular vector to another vector?
- Proving: “The trace of an idempotent matrix equals the rank of the matrix”
- Show that the Area of image = Area of object $\cdot |\det(T)|$? Where $T$ is a linear transformation from $R^2 \rightarrow R^2$
- For all square matrices $A$ and $B$ of the same size, it is true that $(A+B)^2 = A^2 + 2AB + B^2$?
- How to prove that $\langle Av,w\rangle=\langle v,A^Tw\rangle$?
- Why is minimizing least squares equivalent to finding the projection matrix $\hat{x}=A^Tb(A^TA)^{-1}$?
- Derivations of important algebras?
- Eigenvalues of $MA$ versus eigenvalues of $A$ for orthogonal projection $M$
- basis of a vector space
- Prove that $A$ is diagonalizable iff $\mbox{tr} A\neq 0$

The result is symmetric since $(BAB')'= BAB'$

$$\begin{bmatrix}

.&. &. &.

\end{bmatrix}

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.

\end{bmatrix}

\begin{bmatrix}

.\\.\\.\\.

\end{bmatrix}

$$

This matrix is always positive definite since you can always denote the outer factors as $B'x = y$ and since $A$ is positive definite $y'Ay$ > 0

$$

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.

\end{bmatrix}

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.

\end{bmatrix}

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.

\end{bmatrix}'

$$

We obtain $BAB'= C$. If $B$ is invertible then this is called congruence transformation. From Sylvester’s Law of Inertia, the number of positive, zero and negative eigenvalues of C are equal to of $A$. Therefore, if $A$ is positive definite, so is $C$. Since matrix $B$ is full rank, it is invertible. If $B$ was not invertible, then there exists a nonzero $x\in\mathbb{R}^n$ such that $B'x=0$ Thus, $BAB'$ becomes only positive semi definite.

Then $B$ cannot have a rank of $m$ but suppose the question was modified and only `B is full rank`

is given.

$$

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.\\.&.&.&.\\.&.&.&.

\end{bmatrix}

\begin{bmatrix}

. &. &. &.\\. &.&.&.\\. &.&. &.\\.&.&.&.

\end{bmatrix}

\begin{bmatrix}

. &. &. &.&.&.\\. &.&.&.&.&.\\. &.&. &.&.&.\\.&.&.&.&.&.

\end{bmatrix}

$$

Similarly, this case leads only to a positive semidefinite product. The quickest way is to observe that The product is a matrix of $m\times m$ and the rank of this matrix is at max $n$ since we cannot arrive to a full rank matrix with a product of elements that have ranks less than the resulting matrix.You can think of the tensor(or outer) product of two vectors $a\otimes b = ab'$.

Take $\xi$ different from zero and show that $\xi' B A B' \xi$ is always positive. If not, then $\mathrm{rank}(B) < m$.

- Topology and axiom of choice
- Why is this limit said to equal some value rather than approach that value?
- Reverse of Chinese Remainder Theorem
- To prove $f$ to be a monotone function
- Calculating $\int_{0}^{\infty} x^{a-1} \cos(x) \ \mathrm dx = \Gamma(a) \cos (\pi a/2)$
- Does a median always exist for a random variable
- Diophantine equation: $n^p+3^p=k^2$
- Is every Mersenne prime of the form : $x^2+3 \cdot y^2$?
- Is $1-\sin(x)$ a contraction mapping? And is there a sufficient/necessary condition for a real-valued function to be a contraction?
- Show that among every consecutive 5 integers one is coprime to the others
- Joint moments of Brownian motion
- Easiest way to prove that $2^{\aleph_0} = c$
- Probability Bayesian network problem
- Proof of a formula containing double factorial
- Counterexample for the Open Mapping Theorem