cocompactness noun1 •The property of being cocompact.This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic analysis. — 2016