I have one question of how to derive the nonsingularity of one matrix. Here's the matrix I'm interested in:
\begin{align} A = I + SHFG, \end{align} where $A \in \mathcal{R}^{m \times m}$, $I\in \mathcal{R}^{m \times m}$ is an identity matrix, $S \in \mathcal{R}^{m \times n}$, $H \in \mathcal{R}^{n \times r}$, $F \in \mathcal{R}^{r \times r}$, and $G \in \mathcal{R}^{r \times m}$ are appripriate constant matrices.
I have seen the proof process from one journal that the matrix $A$ is a non-singular matrix if the following inequality is satisfied: \begin{align} S H F G G^T F^T H^T S^T < I. \end{align} Why nonsingularity of matrix $A$ is guaranteed if the above inequality is satisfied?
I have tried to understand the proof process by using my knowledge... however, I don't know how to get the conclusion....