Continuous embedding: Difference between revisions

Revision as of 00:05, 11 July 2016

Revision as of 18:53, 19 October 2016

Line 9:

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

:<math>\| x \|_{Y}_Y \leq C \| x \|_{X}_X</math>

for every ''x'' in ''X'', then ''X'' is said to be '''continuously embedded''' in ''Y''. Some authors use the hooked arrow &ldquo;&#x21aa;&rdquo; to denote a continuous embedding, i.e. &ldquo;''X''&nbsp;&#x21aa;&nbsp;''Y''&rdquo; means &ldquo;''X'' and ''Y'' are normed spaces with ''X'' continuously embedded in ''Y''&rdquo;. This is a consistent use of notation from the point of view of the [[category of topological vector spaces]], in which the [[morphism]]s (&ldquo;arrows&rdquo;) are the [[continuous linear map]]s.

Line 17:

* A finite-dimensional example of a continuous embedding is given by a natural embedding of the [[real line]] ''X''&nbsp;=&nbsp;'''R''' into the plane ''Y''&nbsp;=&nbsp;'''R'''², where both spaces are given the Euclidean norm:

::<math>i : \mathbf{R} \to \mathbf{R}^{2} : x \mapsto (x, 0)</math>

:In this case, ||''x''||_''X''&nbsp;=&nbsp;||''x''||_''Y'' for every real number ''X''. Clearly, the optimal choice of constant ''C'' is ''C''&nbsp;=&nbsp;1.

* An infinite-dimensional example of a continuous embedding is given by the [[Rellich-KondrachovRellich–Kondrachov theorem]]: let Ω&nbsp;⊆&nbsp;'''R'''^''n'' be an [[open set|open]], [[bounded set|bounded]], [[Lipschitz ___domain]], and let 1&nbsp;≤&nbsp;''p''&nbsp;&lt;&nbsp;''n''. Set

::<math>p^{*} = \frac{n p}{n - p}.</math>

Line 29:

* Infinite-dimensional spaces also offer examples of ''discontinuous'' embeddings. For example, consider

::<math>X = Y = C^{0} ([0, 1]; \mathbf{R}),</math>

:the space of continuous real-valued functions defined on the unit interval, but equip ''X'' with the ''L''¹ norm and ''Y'' with the [[supremum norm]]. For ''n''&nbsp;&isin;&nbsp;'''N''', let ''f''_''n'' be the [[continuous function|continuous]], [[piecewise linear function]] given by

::<math>f_{n}f_n (x) = \begin{cases} - n^{2} x + n , & 0 \leq x \leq \tfrac{ 1}{ n}; \\ 0, & \mboxtext{otherwise.} \end{cases}</math>

:Then, for every ''n'', ||''f''_''n''||_''Y''&nbsp;=&nbsp;||''f''_''n''||_&infin;&nbsp;=&nbsp;''n'', but

::<math>\| f_{n}f_n \|_{L^{1}} = \int_{0}int_0^{1} | f_{n}f_n (x) | \, \mathrm{d} x = \frac1{2}.</math>

:Hence, no constant ''C'' can be found such that ||''f''_''n''||_''Y''&nbsp;&le;&nbsp;''C''||''f''_''n''||_''X'', and so the embedding of ''X'' into ''Y'' is discontinuous.

Line 43:

==See also==

* [[CompactlyCompact embeddedembedding]]

==References==