Imbedding of function spaces

From Encyclopedia of Mathematics
Revision as of 16:55, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A set-theoretic inclusion of a linear normed space into a linear normed space , for which the following inequality is valid for any :

where is a constant which does not depend on . Here, is the norm (semi-norm) of the element in , while is the norm (semi-norm) of the element in .

The identity operator from into , which assigns to an element the same element seen as an element of , is said to be the imbedding operator of into . The imbedding operator is always bounded. If the imbedding operator is a completely-continuous operator, the imbedding of function spaces is said to be compact. Facts on imbedding of function spaces are established by so-called imbedding theorems.

Example. Let be a Lebesgue-measurable set in the -dimensional Euclidean space with finite measure and let , , be the Lebesgue space of measurable functions which are -th power summable over with norm

Then, if , one has the imbedding , and


For references cf. Imbedding theorems.

How to Cite This Entry:
Imbedding of function spaces. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by L.P. Kuptsov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article