A Unified Non-Strict Finsler Lemma

Abstract

In this letter, we present a unified general non-strict Finsler lemma. This result is general in the sense that it does not impose any restrictions on the involved matrices and, thereby, it encompasses all existing non-strict versions of Finsler’s lemma that do impose such restrictions. To further illustrate its usefulness, we showcase applications of the non-strict Finsler’s lemma in deriving a structured solution to a special case of the non-strict projection lemma, and we use the unified non-strict Finsler’s lemma to prove a more general version of the matrix Finsler’s lemma.