Cocompact embedding
In mathematics, cocompact embeddings are embeddings of normed [vector space]s 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,,, or by ad-hoc monikers such as vanishing lemma or inverse embedding.
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.
Definitions
Let 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 on if every -weakly convergent sequence is convergent in.
An elementary example: cocompactness for
Embedding of the space into itself is cocompact relative to the group of shifts. Indeed, if,, is a sequence -weakly convergent to zero, then for any choice of. In particular one may choose such that, which implies that
in.
Some known embeddings that are cocompact but not compact
- ,, relative to the action of translations on :.
- ,,, relative to the actions of translations on.
- ,, relative to the product group of actions of dilations and translations on.
- Embeddings of Sobolev space in the Moser–Trudinger case into the corresponding Orlicz space.
- Embeddings of Besov and Triebel–Lizorkin spaces.
- Embeddings of Strichartz spaces.