Let be linear functionals on , and
Under what conditions is H compact? So my intuition tells me we must have , and and at least n of them must be linearly independent in the dual space, not sure how to prove it though, since we're working with a system of inequalities rather then equalities. That is, my idea was to write:
...