set of symmetric positive definite matrix open?

I consider a collection of symmetric positive definite matrices of the same dimension. I've learned it's an open set but have no clue about the proof. Also, can the symmetry condition be dropped? Thanks.


Hint: any symmetric matrix is diagonalizable with real diagonal entries. Since the matrix is also positive definite, the diagonal entries are positive. So, a little "perturbation" of the diagonal elements still gives you a positive definite matrix, and hence this set is open. Can you formalize this now?

Also, positive definiteness is defined for symmetric matrices, and hence symmetry condition can't be dropped :-P

However, in general its true that set of invertible elements is an open set (even in a Banach algebra). (See here).


We have to show that if $Q$ is positive definite, then given a small perturbation $E$, the matrix $Q+E$ is still positive definite. For any particular $x$, it is clear that if $||E||$ is small enough (say, less than some $\epsilon_x$), then $x^T(Q+E)x > 0.$ Ideally, we would like to pick the smallest $\epsilon_x$, and we would be done. However, since there are (potentially) infinitely many $\epsilon_x's$, we cannot do that. In this sort of situation, you usually resort to a compactness argument.

In a compactness argument, you usually have two options: a direct proof (with open covers), or a proof by contradiction which involves sequential compactness. I will choose the second option.

Suppose, for a contradiction, that for every positive integer $n$, there exists a matrix $E_n$ with $||E_n|| < \frac 1n$ such that $Q + E_n$ is not PD. Therefore for each $n$, there exists an $x_n$ (which we can assume has norm $1$) such that $$x_n^T(Q+E_n)x_n \le 0.$$ Since the sequence $(x_n)$ is in a compact space (the unit circle) it has a convergent subsequence $x_{n_k}$ which converges to some $x^*$. Therefore $$x_{n_k}^T(Q+E_{n_k})x_{n_k} \le 0.$$

Taking the limit as $k \to \infty$, we get ${x^*}^TQx^* \le 0,$ which contradicts the assumption that $Q$ is P.D.