Assume a compact self-adjoint operator \(T:X\to X\), where \(X\) is a separable Hilbert space, satisfies \(\langle Tx,x\rangle \ge 0\) for all \(x\in X\).
- State the spectral theorem for compact self-adjoint operators.
- Show that all the eigenvalues of \(T\) are non-negative.
- Construct an operator \(S:X\to X\) such that \(T=S^2\).