Jump to content

Compact embedding

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Dcirovic (talk | contribs) at 23:16, 10 July 2016 (References: refs using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 and functional analysis.

Definition (topological spaces)

Let (XT) be a topological space, 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.

Definition (normed spaces)

Let X and Y be two normed vector spaces 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

If Y is a Banach space, an equivalent definition is that the embedding operator (the identity) i : X → Y is a compact operator.

When applied to functional analysis, this version of compact embedding is usually used with Banach spaces 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

  • Adams, Robert A. (1975). Sobolev Spaces. Boston, MA: Academic Press. ISBN 978-0-12-044150-1..
  • Evans, Lawrence C. (1998). Partial differential equations. Providence, RI: American Mathematical Society. ISBN 0-8218-0772-2..
  • Renardy, M.; Rogers, R. C. (1992). An Introduction to Partial Differential Equations. Berlin: Springer-Verlag. ISBN 3-540-97952-2. {{cite book}}: Unknown parameter |last-author-amp= ignored (|name-list-style= suggested) (help).