Decir que tenemos un conjunto de simétrico n×nmatrices Mi 1≤i≤k, elementos en R. Supongamos que cada \boldsymbol{\lambda} = (\lambda_1, \dots , \lambda_k) \in \mathbb{R}^k tenemos el núcleo de
\begin{equation*} M_{\boldsymbol{\lambda}} = \sum_i \lambda_i M_i \end{ecuación *}
es no trivial. ¿Sigue que existe un distinto de cero nvector \textbf{v} M_i \textbf{v} = 0 % todo i?