Continuous embedding: Difference between revisions

Revision as of 03:46, 20 October 2020

Revision as of 01:40, 11 November 2021

Line 11:

:<math>\| x \|_Y \leq C \| 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;"↪&rdquo;" to denote a continuous embedding, i.e. &ldquo;"''X''&nbsp;↪&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.

==Examples==

Line 35:

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

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

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