Proof that Every Positive Operator on V has a Unique Positive Square Root

Suppose $V$ is a finite-dimensional, nonzero, inner-product space over $\Bbb{F}$, and $\Bbb{F}$ denotes $\Bbb{R}$ or $\Bbb{C}$.

My thought is : suppose $T$ is a positive operator; thus, $T$ is self-adjoint. Every self-adjoint operator on $V$ has a diagonal matrix with respect to some orthonormal basis of $V$.

But this doesn't tell me that $T$ has distinct eigenvalues. It tells me that $V$ has an orthonormal basis consisting of eigenvectors of $V$, of course, they are linear independent, but it doesn't tell me each vector from the basis has a unique eigenvalue.

It seems that, without distinct eigenvalues, I can't prove the uniqueness of positive square root.

To prove existence, we note that the normality of $T$ implies that $V$ has an orthonormal basis, $\beta = \{v_{1}, ..., v_{n} \}$, of eigenvectors of $T$ with corresponding eigenvalues $\lambda_1,...,\lambda_n$, permitting a unique decomposition: $V = \bigoplus_{i=1}^{m}E_{\lambda_{i}}$. Note that $n \ge m$ and so some of the $\lambda_i$'s may be equal.

That $T$ is self-adjoint implies that $\lambda_{i} \in \mathbb{R}$. That $T$ is positive definite implies that $\lambda_{i} \geq 0$. Now define $S(v_i) = \sqrt{\lambda_{i}}v_{i}$. Check that $S$ is a positive linear operator and that $S^{2}(v_i) = T(v_i)$. Since every $v \in V$ is written uniquely as $v = \sum_{i=1}^{n} a_i v_{i}$ then this will imply that $S^2=T$ on $V$.

To prove uniqueness, suppose that there exists another $S'$ such that $S'$ satisfies the same conditions as $S$, i.e., $S'^2=T$ on $V$. It suffices to show that $S$ and $S'$ agree on an arbitrary vector element in a basis.

Since $S'$ is positive, $V$ has a basis of orthonormal vectors consisting of eigen-vectors of $S'$. Let $u_{j}$ be any element in this basis, then $Tu_{j} =S'^2(u_j)=S'(S'(u_{j})) = \alpha_{j}^{2}u_{j}$. So that $u_{j}$ is an eigenvector of $T$ and by our construction it is also an eigenvector of $S$. Suppose then $Su_{j} = \gamma_{j} u_{j}$. Then $T(u_j)=S^{2}u_{j} = \gamma_{j}^{2}u_{j}$. Therefore, $\gamma_{j}^{2}u_{j} = \alpha_{j}^{2}u_{j} \implies \gamma_{j}^{2}=\alpha_{j}^{2} \implies \gamma_{j} = \alpha_{j}$ by non negativity of these eigenvalues. Therefore $S(u_{j}) = S'(u_{j})$ and hence they two operators agree on V and so they are identical.

Hint: first consider the case of the identity operator.