A symmetric matrix

Linear Algebra
Post Reply
User avatar
Riemann
Posts: 176
Joined: Sat Nov 14, 2015 6:32 am
Location: Melbourne, Australia

A symmetric matrix

#1

Post by Riemann »

Let $A$ be square matrix over a field $\mathbb{F}$. If
\begin{equation}A^2 = A A^\top \end{equation}
holds , then prove that $A$ is symmetric.
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: A symmetric matrix

#2

Post by Tolaso J Kos »

Let $A$ be an $n \times n$ square matrix over a field $\mathbb{F}$ such that

\begin{equation} A^2 =AA^{\top} \end{equation}

Taking transposed matrices back at $(1)$ we get that

\begin{align*}
\left ( A^2 \right )^\top = \left ( A A^\top \right )^\top &\Rightarrow \left ( A^\top \right )^2 = \left ( A^\top \right )^\top A^\top
\\ &\Rightarrow \left ( A^2 \right )^2 = A A^\top
\end{align*}

and thus

\begin{equation} A^2 = \left( A^\top \right)^2 \end{equation}

On the other hand it holds that

$$\left ( A A^\top - A^\top A \right )^2 = \mathbb{O}_{n \times n}$$

since

\begin{align*}
\left ( A A^\top - A^\top A \right )^2 &= \left ( A A^\top - A^\top A \right ) \left ( A A^\top - A^\top A \right ) \\
&=A A^\top A A^\top - A A^\top A^\top A - \\
&\quad \quad -A^\top A A A^\top + A^\top A A^\top A \\
&\overset{(2)}{=} \cancel{A A A A - A A AA} - \\ &\quad \quad -A^\top AA A^\top +A^\top A A^\top A\\
&=-A^\top AA A^\top +A^\top A A^\top A \\
&\overset{(2)}{=} \cancel{A^\top A^\top A^\top A^\top - A^\top A^\top A^\top A^\top} \\ &=\mathbb{O}_{n \times n}
\end{align*}

Of course it holds that if a matrix $M$ is symmetric or antisymmetric and $M^2=\mathbb{O}_{n \times n}$ then $M=\mathbb{O}_{n \times n}$. The proof is left as an exercise to the reader.

We can safely conclude using the above observations that for our matrix $A$ it holds that

\begin{equation} A A^\top = A^\top A \end{equation}

But then for the matrix $A-A^\top$ it holds that

\begin{align*}
\left ( A - A^\top \right )^2 &= \left ( A - A^\top \right ) \left ( A - A^\top \right ) \\
&=A A - A A^\top - A^\top A + A^\top A^\top \\
&\mathop {=} \limits_{(3)}^{(2)} A A - A A^\top -A A^\top + A A \\
&\overset{(2)}{=} A A - AA - AA + AA\\
&= \mathbb{O}_{n \times n}
\end{align*}

and since the matrix $A- A^\top$ is antisymmetric we conclude that $A - A^\top = \mathbb{O}_{n \times n}$ and thus $A = A^\top $. Hence the result.
Imagination is much more important than knowledge.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 6 guests