Mixed Systems of linear equations and inequalities (Q563145)

In der Arbeit werden notwendige und hinreichende Bedingungen für die Existenz von Lösungen von Systemen \(S\) gegeben, die aus \(p\) linearen Gleichungen und \(m-p\) linearen Ungleichungen in \(n\) Unbekannten bestehen, also die Form \[ \begin{align*}{L_i(x) &=0\quad (i=1,2,\ldots,p), \cr L_i(x) &>0\quad (i=p+1, p+2,\ldots,m)}\end{align*} \] haben, wo \[ L_i(x) = a_{i1}x_1 + a_{i2}x_2+\cdots +a_{in}x_n + b_i. \] Aus diesem System \(S\) wird ein neues, \(S'\), gebildet von der Form \[ \begin{align*}{L_{p+1}(x) + k_i L_i(x) &> 0\quad (i=1,2,\ldots,p), \cr L_i(x) &>0\quad (i=p+1,p+2,\ldots,m),}\end{align*} \] wobei die \(k_i\) irgendwelche Konstanten sind. Eine notwendige und hinreichende Bedingung dafür, daß das System \(S\) die Lösung \[ a_1,a_2,\ldots,a_n \] hat, ist, daß das System \(S'\) auch diese Lösung besitzt für alle Werte der \(k\). Ein System \(S\) soll nun einfach heißen, wenn die Matrix aus den Koeffizienten der \(p\) Gleichungen den Rang \(p\) hat. Dann gilt: Aus dem einfachen System \(S\) bilde man die \(2^p\) Systeme von Ungleichungen, die man erhält, wenn man zu den \(m-p\) Ungleichungen von \(S\) eine der \(2^p\) möglichen Kombinationen derjenigen \(p\) Ungleichungen hinzunimmt, welche entstehen, wenn man in jeder der \(p\) Gleichungen das Gleichheitszeichen durch das Zeichen \(>\) oder \(<\) ersetzt. Eine notwendige und hinreichende Bedingung dafür, daß das einfache System \(S\) lösbar ist, ist, daß jedes der \(2^p\) neugebildeten Systeme von Ungleichungen lösbar ist. Von der Beschränkung auf einfache Systeme kann man sich leicht frei machen.