Hilbert complexes with mixed boundary conditions part 1: de Rham complex

We show that the de Rham Hilbert complex with mixed boundary conditions on bounded strong Lipschitz domains is closed and compact. The crucial results are compact embeddings which follow by abstract arguments using functional analysis together with particular regular decompositions. Higher Sobolev order results are proved as well.