Product and sum of positive operators is positive

functional-analysis

I would use $ST = S^{1/2} T S^{1/2}$. But I don't know if you have done square roots of positive operators yet.

Related

Find the distance between two lines
Proving independence of $N(\mu,\sigma^2)$ sample mean $\bar X$ and variance $S^2$ by change of variables
Proving that $f$ is measurable with $f(x+y)= f(x)+f(y)$ then $f(x) =Ax$ for some $A\in\Bbb R$?
Minimum number of iterations in Newton's method to find a square root
Sum of squares diophantine equation
Finding the spanning subgraphs of a complete bipartite graph
What is the probability that the selected function maps prime numbers to prime numbers?
Proof- vs. model-theoretic definitions of extension and of conservative extension
How many quadratic extension are there on a field?
Jacobson radical of upper triangular matrix rings
If $g \circ f$ is injective, so is $g$
Nonlinear Systems