Intereting Posts

Probability that n points on a circle are in one quadrant
Bochner: Lebesgue Obsolete?
Putting the table on the ground
Show that the number or $r$ combinations of $X$ which contain no consecutive integers is given by $\binom{n-r+1}{r}$
Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$?
What is exactly meant by “preserves the group operation”?
Why is this quotient space not Hausdorff?
Get the numbers from (0-30) by using the number $2$ four times
Epsilon-n proof confusion
Maximum number of edges that a bipartite graph with $n,m$ vertices can have when it doesn't contain $4$-cycle
Completion of a Noetherian ring R at the ideal $ (a_1,\ldots,a_n)$
Unpacking the Diagonal Lemma
How does one actually show from associativity that one can drop parentheses?
Limits of transfinite numbers
How would I go about finding a closed form solution for $g(x,n) = f(f(f(…(x))))$, $n$ times?

Question was

Let $$A= \left[\begin{matrix}

a_1 & a_2\\

a_3&a_4\\

\end{matrix}\right]$$

$$P= \left[\begin{matrix}

p_1 & p_2\\

p_3&p_4\\

\end{matrix}\right]$$

Find the matrix $Q$ such that

- Center of the Orthogonal Group and Special Orthogonal Group
- How can I use math to fill out my NCAA tournament bracket?
- What is the standard proof that $\dim(k^{\mathbb N})$ is uncountable?
- Infinite dimensional vector space. Linearly independent subsets and spanning subsets
- Are all of the following statements equivalent? (vectors and matrices)
- Are the proofs I made correct?

$$ Q\left[

\begin{array}

\\

p_1\\p_3\\p_2\\p_4

\end{array}

\right] = \left[

\begin{array}

\\

1\\0\\0\\1

\end{array}

\right]$$ is equivalent to the equation $A^TPA+P=I$

In this question I approached to make $Q$ to $2\times 2$ matrix. but I couldn’t get any idea.. I need you genius to help.

- Why does calculating matrix inverses, roots, etc. using the spectrum of a matrix work?
- How to solve this equation? $x^2 - y^2 = 5$ & $ xy = 2$. Find $x$ and $y.$
- What can be computed by axiomatic summation?
- Similar Matrices and their Jordan Canonical Forms
- Find the eigenvalues of a projection operator
- Sign of det(UV) in SVD
- Orthogonal basis transformation matrix type
- Norm inequality for sum and difference of positive-definite matrices
- Cokernel of a Composition.
- Prove that the integral operator has no eigenvalues

Hint. $Q$ is a $4\times 4$ matrix. Try to understand what happens when $p_1=1$, and $p_2=p_3=p_4=0$. Then you will be able to find the first column of $Q$.

Can you take it from here?

P.S. Finally you will find that

$$Q=\left[

\begin{array}

\\

a_1^2+a_1 &a_1a_3+a_1&a_1a_3+a_1&a_3^2+a_1

\\a_1a_2+a_2 &a_1a_4+a_2&a_2a_3+a_2&a_3a_4+a_2

\\a_1a_2+a_3 &a_2a_3+a_3&a_1a_4+a_3&a_3a_4+a_3

\\a_2^2+a_4 &a_2a_4+a_4&a_2a_4+a_4&a_4^2+a_4

\end{array}

\right]$$

Using the vec operation we get

$$\operatorname{vec}(A^TPA + P) = \operatorname{vec} (I) = \begin{pmatrix} 1 \\ 0 \\ 0 \\ 1 \end{pmatrix}$$

Then, using linearity and the properties given on wikipedia:

$$(A^T \otimes A^T)\operatorname{vec}(P) + \operatorname{vec}(P) = \operatorname{vec} (I)$$

Rearranging gives

$$(A^T \otimes A^T + I_4)\operatorname{vec} (P) = \operatorname{vec}(I)$$

Which is what you require.

- Why is ${x^{\frac{1}{2}}}$ the same as $\sqrt x $?
- What are necessary and sufficient conditions such that sup A < inf B implies there is a c such that a<c<b for all a,b in their respecitve sets
- An application of Yoneda Lemma
- Show that there exist continuous functions $g,h:\rightarrow \mathbb{R}$
- Why do the Fibonacci numbers recycle these formulas?
- Does Bezout's lemma work both ways.
- Taylor series of a polynomial
- Component of a vector perpendicular to another vector.
- Why isn't this a regular language?
- Asymptotic expansion of an integral
- Local homeomorphisms which are not covering map?
- how to express the set of natural numbers in ZFC
- Eigenvalues of the sum of two negative definite matrices with real eigenvalues
- show that $(k!)^{k^n+ k^{n-1} ~+k^{~n-2}~~+\cdots+k+1}|(k^{n+1})!$
- what is a faithfully exact functor?