A new Farkas lemma for positive semidefinite matrices

We consider a general linear system over the cone of positive semidefinite matrices. To check consistency, one may not invoke the standard Farkas lemma because the cone of positive semidefinite matrices is not polyhedral, and thus an additional closedness assumption is required. In this note, we provide a modified Farkas lemma with no closedness assumption