Continuously embedded

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 defined on the same space. Several of the Sobolev embedding theorems are continuous embedding theorems.

Contents

Definition

Let X and Y be two normed vector spaces, with norms ||·||X and ||·||Y respectively, such that X ⊆ Y. If the inclusion map (identity function)

i : X \hookrightarrow Y : x \mapsto x

is continuous, i.e. if there exists a constant C ≥ 0 such that

\| x \|_{Y} \leq C \| x \|_{X}

for every x in X, then X is said to be continuously embedded in Y. Some authors use the hooked arrow “↪” to denote a continuous embedding, i.e. “X ↪ Y” means “X and Y are normed spaces with X continuously embedded in Y”. This is a consistent use of notation from the point of view of the category of topological vector spaces, in which the morphisms (“arrows”) are the continuous linear maps.

Examples

  • A finite-dimensional example of a continuous embedding is given by a natural embedding of the real line X = R into the plane Y = R2, where both spaces are given the Euclidean norm:
i : \mathbf{R} \to \mathbf{R}^{2} : x \mapsto (x, 0)
In this case, ||x||X = ||x||Y for every real number X. Clearly, the optimal choice of constant C is C = 1.
p^{*} = \frac{n p}{n - p}.
Then the Sobolev space W1,p(Ω; R) is continuously embedded in the Lp space Lp(Ω; R). In fact, for 1 ≤ q < p, this embedding is compact. The optimal constant C will depend upon the geometry of the domain Ω.
  • Infinite-dimensional spaces also offer examples of discontinuous embeddings. For example, consider
X = Y = C^{0} ([0, 1]; \mathbf{R}),
the space of continuous real-valued functions defined on the unit interval, but equip X with the L1 norm and Y with the supremum norm. For n ∈ N, let fn be the continuous, piecewise linear function given by
f_{n} (x) = \begin{cases} - n^{2} x + n , & 0 \leq x \leq \tfrac{1}{n}; \\ 0, & \mbox{otherwise.} \end{cases}
Then, for every n, ||fn||Y = ||fn|| = n, but
\| f_{n} \|_{L^{1}} = \int_{0}^{1} | f_{n} (x) | \, \mathrm{d} x = \frac1{2}.
Hence, no constant C can be found such that ||fn||Y ≤ C||fn||X, and so the embedding of X into Y is discontinuous.

See also

References

  • Rennardy, M., & Rogers, R.C. (1992). An Introduction to Partial Differential Equations. Springer-Verlag, Berlin. ISBN 3-540-97952-2. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Embedded system — Picture of the internals of an ADSL modem/router. A modern example of an embedded system. Labelled parts include a microprocessor (4), RAM (6), and flash memory (7). An embedded system is a computer system designed to do one or a few dedicated… …   Wikipedia

  • Compactly embedded — 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… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Ehrling's lemma — In mathematics, Ehrling s lemma is a result concerning Banach spaces. It is often used in functional analysis to demonstrate the equivalence of certain norms on Sobolev spaces.tatement of the lemmaLet ( X , || middot;|| X ), ( Y , || middot;|| Y… …   Wikipedia

  • Rellich-Kondrachov theorem — In mathematics, the Rellich Kondrachov theorem is a compact embedding theorem concerning Sobolev spaces. It is named after the Italian Austrian mathematician Franz Rellich. tatement of the theoremLet Ω ⊆ R n be an open, bounded Lipschitz domain,… …   Wikipedia

  • Aubin-Lions lemma — In mathematics, the Aubin Lions lemma is a result in the theory of Sobolev spaces of Banach space valued functions. More precisely, it is a compactness criterion that is very useful in the study of nonlinear evolutionary partial differential… …   Wikipedia

  • Lp space — In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p norm for finite dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue (Dunford Schwartz 1958, III.3),… …   Wikipedia

  • Perfect space — In mathematics, in the field of topology, perfect spaces are spaces that have no isolated points. In such spaces, every point can be approximated arbitrarily well by other points given any point and any topological neighborhood of the point,… …   Wikipedia

  • Maximising measure — In mathematics specifically, in ergodic theory a maximising measure is a particular kind of probability measure. Informally, a probability measure μ is a maximising measure for some function f if the integral of f with respect to μ is “as big as… …   Wikipedia

  • Lions–Lax–Milgram theorem — In mathematics, the Lions ndash;Lax ndash;Milgram theorem (or simply Lions rsquo; theorem) is a result in functional analysis with applications in the study of partial differential equations. It is a generalization of the famous Lax Milgram… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”