Allgemeines nicht-strenges Finsler-Lemma

Das neue nicht-strenge Finsler-Lemma bietet notwendige und hinreichende Bedingungen für die Lösbarkeit linearer Matrixungleichungen mit nicht-strengen Ungleichungen, ohne Einschränkungen an die beteiligten Matrizen.