I'm trying to prove that:
$A$ positive definite Hermitian $\iff$ $\exists P \in GL(E)$ s.t. $A=P^*P$.
$GL(E)$ is the set of all invertible matrices.
Proof:
$\Leftarrow:$
Suppose $\exists P \in GL(E)$ s.t. $A=P^*P$
To show: $A=A^*$. We know $A=P^*P.$ And $A^*=\overline{(P^*P)^T} = \overline{P^TP^{*T}} = P^*P \Rightarrow A=A^* \Rightarrow A$ is Hermitian $\Rightarrow \lambda \in \mathbb{R}$(eigenvalues) $\Rightarrow x^TAx =0 \iff x=0 \Rightarrow A$ is positive definite Hermitian.
$\Rightarrow:$
How can I show this? And is my proof so far correct?