In mathematics, the notion of being compactly embedded expresses the idea that one set or space is "well contained" inside another. There are versions of this concept appropriate to general

topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

and

functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined o ...

Definition (topological spaces)

Let (''X'', ''T'') be a

topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...

, and let ''V'' and ''W'' be subsets of ''X''. We say that ''V'' is compactly embedded in ''W'', and write ''V'' ⊂⊂ ''W'', if * ''V'' ⊆ Cl(''V'') ⊆ Int(''W''), where Cl(''V'') denotes the closure of ''V'', and Int(''W'') denotes the interior of ''W''; and * Cl(''V'') is

compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...

Definition (normed spaces)

Let ''X'' and ''Y'' be two

normed vector space In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length ...

s with norms , , •, , _''X'' and , , •, , _''Y'' respectively, and suppose that ''X'' ⊆ ''Y''. We say that ''X'' is compactly embedded in ''Y'', and write ''X'' ⊂⊂ ''Y'', if * ''X'' is

continuously embedded In mathematics, one normed vector space is said to be continuously embedded in another normed vector space if the inclusion function between them is continuous. In some sense, the two norms are "almost equivalent", even though they are not both defi ...

in ''Y''; i.e., there is a constant ''C'' such that , , ''x'', , _''Y'' ≤ ''C'', , ''x'', , _''X'' for all ''x'' in ''X''; and * The embedding of ''X'' into ''Y'' is a

compact operator In functional analysis, a branch of mathematics, a compact operator is a linear operator T: X \to Y, where X,Y are normed vector spaces, with the property that T maps bounded subsets of X to relatively compact subsets of Y (subsets with compact c ...

: any bounded set in ''X'' is

totally bounded In topology and related branches of mathematics, total-boundedness is a generalization of compactness for circumstances in which a set is not necessarily closed. A totally bounded set can be covered by finitely many subsets of every fixed “size� ...

in ''Y'', i.e. every

sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...

in such a bounded set has a

subsequence In mathematics, a subsequence of a given sequence is a sequence that can be derived from the given sequence by deleting some or no elements without changing the order of the remaining elements. For example, the sequence \langle A,B,D \rangle is a ...

that is

Cauchy Baron Augustin-Louis Cauchy (, ; ; 21 August 178923 May 1857) was a French mathematician, engineer, and physicist who made pioneering contributions to several branches of mathematics, including mathematical analysis and continuum mechanics. He w ...

in the norm , , •, , _''Y''. If ''Y'' is a Banach space, an equivalent definition is that the embedding operator (the identity) ''i'' : ''X'' → ''Y'' is a

. When applied to functional analysis, this version of compact embedding is usually used with

Banach spaces In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...

of functions. Several of the Sobolev embedding theorems are compact embedding theorems. When an embedding is not compact, it may possess a related, but weaker, property of cocompactness.

References

* . * . * {{cite book , author1=Renardy, M. , author2= Rogers, R. C. , name-list-style=amp , title=An Introduction to Partial Differential Equations , location=Berlin , publisher=Springer-Verlag , year=1992 , isbn=3-540-97952-2 . Compactness (mathematics) Functional analysis General topology