The large sieve inequality

We begin with an abstract hermitian setting which we will use to prove the large sieve inequality. We develop more material than is required for such a task. This is simply to prepare the ground for future uses, and we shall even expand on this setting in chapter 7; the final stroke will only appear in section 10.1.