In mathematics, cocompact embeddings are embeddings of normed vector spaces possessing a certain property similar to but weaker than compactness.
Cocompactness has been in use in mathematical analysis since the 1980s, without being referred to by any name [1](Lemma 6),[2](Lemma 2.5),[3](Theorem 1), or by ad-hoc monikers such as vanishing lemma or inverse embedding.
[4] Cocompactness property allows to verify convergence of sequences, based on translational or scaling invariance in the problem, and is usually considered in the context of Sobolev spaces.
The term cocompact embedding is inspired by the notion of cocompact topological space.
Let
{\displaystyle G}
be a group of isometries on a normed vector space
One says that a sequence
converges to
-weakly, if for every sequence
, the sequence
is weakly convergent to zero.
A continuous embedding of two normed vector spaces,
is called cocompact relative to a group of isometries
-weakly convergent sequence
is convergent in
[5] Embedding of the space
ℓ
into itself is cocompact relative to the group
of shifts
{\displaystyle (x_{n})\mapsto (x_{n-j}),j\in \mathbb {Z} }
, is a sequence
-weakly convergent to zero, then
for any choice of
In particular one may choose
, which implies that
ℓ