Quasipolyhedral sets in linear semiinfinite inequality systems (Q677806)

The authors discuss consistent linear semi-infinite systems (LSIS) of inequalities in \(\mathbb{R}^n\) of the form \(a_t \cdot x\geq b_t\), where \(t\) ranges over an arbitrary index set. An LSIS is said to satisfy the Weyl property, if each extreme point of its solution set satisfies at least \(n\) equations \(a_t \cdot x=b_t\) with linearly independent \(a_t\)'s. It is well known that any finite system has the Weyl property, but for infinite systems this is no longer true as is easily seen from an LSIS whose solution set is a unit disk. The paper contains a sufficient condition for an LSIS to be Weyl, but there are also examples where this condition is not met. See also \textit{E. J. Anderson} and \textit{A. S. Lewis} [Math. Programming A 44, No. 3, 247-269 (1989; Zbl 0682.90058)].